{"action":"opened","issue":{"url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/4983","repository_url":"https://api.github.com/repos/Zimmi48/bugzilla-test","labels_url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/4983/labels{/name}","comments_url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/4983/comments","events_url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/4983/events","html_url":"https://github.com/Zimmi48/bugzilla-test/issues/4983","id":253132730,"number":4983,"title":"[psatz] is unbearably slow","user":{"login":"Zimmi48","id":1108325,"avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-08-27T00:45:39Z","updated_at":"2017-08-27T00:45:39Z","closed_at":null,"body":"Note: the issue was created automatically with bugzilla2github tool\n\n# Bugzilla Bug ID: 4983\nDate: 2016-08-02 00:34:55 +0200\nFrom: @_JasonGross\nTo:   \nCC:   coq-bugs-redist@lists.gforge.inria.fr, @_silene, @_ppedrot\n\nLast updated: 2016-09-01 07:37:13 +0200\n\n\n## Bugzilla Comment ID: 13255\nDate: 2016-08-02 00:34:55 +0200\nFrom: @_JasonGross\n\nThe extremely simple example given in the reference manual for psatz takes 40 \nseconds on my machine, and spawns at least as many csdp processes as I have \ncores.  (Luckily, subsequent runs are fast.)\n\nRequire Import Coq.ZArith.ZArith Coq.micromega.Psatz.\nLocal Open Scope Z_scope.\nGoal forall x, -x ^ 2 >= 0 -> x - 1 >= 0 -> False.\nProof.\n  intro.\n  Time psatz Z 2. (* Finished transaction in 38.539 secs (0.009u,0.008s) \n(successful) *)\n\nThe machine has 6 physical cores (12 with hyperthreading) (each Intel(R) \nXeon(R) CPU E5-1650 v3 @ 3.50GHz) with 64 GB of RAM.\n\n\n## Bugzilla Comment ID: 13262\nDate: 2016-08-02 10:18:41 +0200\nFrom: @_fajb\n\nI am puzzled by this behaviour.\nEspecially the spawing of csdp processes. The coqtop process is supposed to spawn one csdp process at a time and wait for its completion.\n\nAfter removing the proof cache (csdp.cache), can you reproduce this behaviour with 8.5 ? BTW, what is your version of Ocaml?\n\n\n## Bugzilla Comment ID: 13265\nDate: 2016-08-02 11:29:22 +0200\nFrom: @_fajb\n\nI cannot reproduce your bug with coq.8.6.dev and ocaml 4.03.0.\nIs anyone having the same issue ?\nCould it be a OS issue or a csdp issue ?\n\n\n## Bugzilla Comment ID: 13268\nDate: 2016-08-02 18:09:26 +0200\nFrom: @_JasonGross\n\nYes, it's consistently reproducible: each time I remove csdp.cache, it takes about 40s the first time.  I'll see if it happens with 8.5 as well as 8.6, and I'll see if I can spin up a VM or a travis instance that reproduces the problem.\n\nI built Coq v8.6 (dabe6d0e1d1782d3e9647e04aa1bf161765ad882) with OCaml 4.02.3 from opam, though I think when cdsp was running, 4.01.0 was the OCaml in path.\n\nHere are some system stats:\n$  coqc --config\nLOCAL=0\nCOQLIB=/usr/local/google/home/jagro/.local64/coq/coq-v8.6/lib/coq/\nDOCDIR=/usr/local/google/home/jagro/.local64/coq/coq-v8.6/share/doc/coq/\nOCAMLFIND=/usr/local/google/home/jagro/.opam/4.02.3/bin/ocamlfind\nCAMLP4=camlp5\nCAMLP4O=/usr/local/google/home/jagro/.opam/4.02.3/bin/camlp5o\nCAMLP4BIN=/usr/local/google/home/jagro/.opam/4.02.3/bin/\nCAMLP4LIB=/usr/local/google/home/jagro/.opam/4.02.3/lib/camlp5\nCAMLP4OPTIONS=-loc loc\nHASNATDYNLINK=true\n$ csdp\nCSDP 6.1.1\n \nUsage: \n\ncsdp <input problem> [<final solution>] [<initial solution>]\n$ apt-get -s install coinor-csdp\nNOTE: This is only a simulation!\n      apt-get needs root privileges for real execution.\n      Keep also in mind that locking is deactivated,\n      so don't depend on the relevance to the real current situation!\nReading package lists... Done\nBuilding dependency tree       \nReading state information... Done\ncoinor-csdp is already the newest version (6.1.1-1).\n0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.\n$ lsb_release -a\nLSB Version:    core-2.0-amd64:core-2.0-noarch:core-3.0-amd64:core-3.0-noarch:core-3.1-amd64:core-3.1-noarch:core-3.2-amd64:core-3.2-noarch:core-4.0-amd64:core-4.0-noarch:core-4.1-amd64:core-4.1-noarch:cxx-3.0-amd64:cxx-3.0-noarch:cxx-3.1-amd64:cxx-3.1-noarch:cxx-3.2-amd64:cxx-3.2-noarch:cxx-4.0-amd64:cxx-4.0-noarch:cxx-4.1-amd64:cxx-4.1-noarch:desktop-3.1-amd64:desktop-3.1-noarch:desktop-3.2-amd64:desktop-3.2-noarch:desktop-4.0-amd64:desktop-4.0-noarch:desktop-4.1-amd64:desktop-4.1-noarch:graphics-2.0-amd64:graphics-2.0-noarch:graphics-3.0-amd64:graphics-3.0-noarch:graphics-3.1-amd64:graphics-3.1-noarch:graphics-3.2-amd64:graphics-3.2-noarch:graphics-4.0-amd64:graphics-4.0-noarch:graphics-4.1-amd64:graphics-4.1-noarch:languages-3.2-amd64:languages-3.2-noarch:languages-4.0-amd64:languages-4.0-noarch:languages-4.1-amd64:languages-4.1-noarch:multimedia-3.2-amd64:multimedia-3.2-noarch:multimedia-4.0-amd64:multimedia-4.0-noarch:multimedia-4.1-amd64:multimedia-4.1-noarch:printing-3.2-amd64:printing-3.2-noarch:printing-4.0-amd64:printing-4.0-noarch:printing-4.1-amd64:printing-4.1-noarch:qt4-3.1-amd64:qt4-3.1-noarch:security-4.0-amd64:security-4.0-noarch:security-4.1-amd64:security-4.1-noarch\nDistributor ID: Ubuntu\nDescription:    Ubuntu 14.04 LTS\nRelease:        14.04\nCodename:       trusty\n$ uname -a\nLinux [...] 3.13.0-85-generic #129-Ubuntu SMP Thu Mar 17 20:50:15 UTC 2016 x86_64 x86_64 x86_64 GNU/Linux\n\n\n## Bugzilla Comment ID: 13269\nDate: 2016-08-02 19:48:30 +0200\nFrom: @_fajb\n\nI suspect the culprit is csdp itself.\n\nRecent versions of csdp can be multi-core which may explain it spawns many processes.\n\nI also remember that fine-tuning the compiler flags has a dramatic impact on csdp.\n\nPS: For the record, I am running a pre-built mono-core CSDP 6.0.1.\nI tested with 8.6 and it works fine.\n\n\n## Bugzilla Comment ID: 13288\nDate: 2016-08-04 08:45:47 +0200\nFrom: @_silene\n\nI cannot reproduce it either. I tried with Coq 8.5 and CSDP 6.1.1. Micromega sequentially launches 8 instances of csdp; every csdp process creates 3 additional threads to max out the cores. But every process terminates in a split second and the whole tactic takes about 0.2 seconds.\n\n\n## Bugzilla Comment ID: 13582\nDate: 2016-08-28 18:05:33 +0200\nFrom: @_ppedrot\n\nI can't reproduce the issue on my i7-4600U laptop, but I can indeed reproduce it on pyrolyse which uses a 32-core Xeon E5-2650. So this may have to do with the number of CPU. The version of CSDP is slightly different, I don't know if this has an effect (Debian Unstable 6.1.1-1+b1 vs. Ubuntu Precise 6.1.1-1).\n\n\n## Bugzilla Comment ID: 13614\nDate: 2016-08-29 20:42:18 +0200\nFrom: @_fajb\n\nCreated attachment 754\ntest case\n\nWould you mind running csdp on sos.dat-s and send me the output ?\n\ntar -xvf test-case.tar\ncd test-case\ncsdp sos.dat-s\n\nThanks,\n--\nFrederic\n\n> Attached file: test-case.tar (application/x-tar, 4096 bytes)\n> Description:   test case\n\n\n## Bugzilla Comment ID: 13616\nDate: 2016-08-30 00:22:15 +0200\nFrom: @_JasonGross\n\njagro@jagro0:~/Downloads$ tar -xvf test-case.tar\ntest-case/\ntest-case/param.csdp\ntest-case/sos.dat-s\njagro@jagro0:~/Downloads$ cd test-case\njagro@jagro0:~/Downloads/test-case$ csdp sos.dat-s 2>&1 | tee csdp-sos-dat-s.log\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -3.0263307e+01 Ad: 9.00e-01 Dobj:  1.0164032e+00 \nIter:  2 Ap: 1.00e+00 Pobj: -1.3920293e+01 Ad: 9.00e-01 Dobj:  9.1922350e-01 \nIter:  3 Ap: 1.00e+00 Pobj: -1.4227229e+00 Ad: 7.29e-01 Dobj:  1.0157536e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  9.7614684e-01 Ad: 9.00e-01 Dobj:  1.0014493e+00 \nIter:  5 Ap: 1.00e+00 Pobj:  9.9998011e-01 Ad: 9.00e-01 Dobj:  1.0001448e+00 \nIter:  6 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000145e+00 \nIter:  7 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000014e+00 \nIter:  8 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000001e+00 \nIter:  9 Ap: 1.00e+00 Pobj:  9.9999757e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 10 Ap: 1.00e+00 Pobj:  9.9999974e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 11 Ap: 1.00e+00 Pobj:  9.9999997e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 12 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nSuccess: SDP solved\nPrimal objective value: 1.0000000e+00 \nDual objective value: 1.0000000e+00 \nRelative primal infeasibility: 1.32e-14 \nRelative dual infeasibility: 3.64e-11 \nReal Relative Gap: -7.83e-13 \nXZ Relative Gap: 6.17e-09 \nDIMACS error measures: 1.59e-14 0.00e+00 4.39e-11 0.00e+00 -7.83e-13 6.17e-09\nElements time: 0.135900 \nFactor time: 0.000042 \nOther time: 0.598860 \nTotal time: 0.734802\n\n\n## Bugzilla Comment ID: 13619\nDate: 2016-08-30 09:41:12 +0200\nFrom: @_fajb\n\nCreated attachment 755\nAll the sos problems\n\nSilly me. I provided only the successful csdp instance.\n\nBear with me and be kind enough to try all the attached csdp instances: sosxxx.dat-s.\n\nI also attached my outputs : sosxxx.out\n\n> Attached file: test-case-all.tar (application/x-tar, 17920 bytes)\n> Description:   All the sos problems\n\n\n## Bugzilla Comment ID: 13660\nDate: 2016-08-30 21:22:20 +0200\nFrom: @_JasonGross\n\njagro@jagro0:~/Downloads$ tar -xvf test-case-all.tar \ntest-case/\ntest-case/param.csdp\ntest-case/sos19824d.dat-s\ntest-case/sos19824d.out\ntest-case/sos23df78.dat-s\ntest-case/sos23df78.out\ntest-case/sos52b7f4.dat-s\ntest-case/sos52b7f4.out\ntest-case/sos71ee5e.dat-s\ntest-case/sos71ee5e.out\ntest-case/sos9174a9.dat-s\ntest-case/sos9174a9.out\ntest-case/sosa1f79f.dat-s\ntest-case/sosa1f79f.out\ntest-case/sosd6995a.dat-s\ntest-case/sosd6995a.out\njagro@jagro0:~/Downloads$ cd test-case/\njagro@jagro0:~/Downloads/test-case$ for i in *.dat-s; do echo $i; (csdp $i 2>&1 | tee $i.out); done\nsos19824d.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -7.5103360e+00 Ad: 9.00e-01 Dobj:  5.0210041e-01 \nIter:  2 Ap: 1.00e+00 Pobj:  5.8656836e+01 Ad: 6.56e-01 Dobj:  4.8730919e-01 \nIter:  3 Ap: 5.90e-01 Pobj:  6.8180182e+04 Ad: 5.73e-03 Dobj:  4.9434506e-01 \nIter:  4 Ap: 1.00e+00 Pobj:  1.2536662e+08 Ad: 2.25e-02 Dobj:  4.8361567e-01 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=7.97661e-09\nElements time: 0.053956 \nFactor time: 0.000027 \nOther time: 0.321490 \nTotal time: 0.375473 \nsos23df78.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -1.2809798e+01 Ad: 9.00e-01 Dobj:  1.1979448e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  4.7091541e+02 Ad: 2.82e-01 Dobj:  1.1190737e+00 \nIter:  3 Ap: 1.00e+00 Pobj:  4.6067015e+05 Ad: 3.09e-02 Dobj:  1.1142723e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  7.3482526e+10 Ad: 2.47e-03 Dobj:  1.1140211e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.36087e-11\nElements time: 0.066348 \nFactor time: 0.000026 \nOther time: 0.289674 \nTotal time: 0.356048 \nsos52b7f4.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -4.6855819e+01 Ad: 8.62e-01 Dobj:  2.6992626e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  2.3511749e+01 Ad: 8.01e-01 Dobj:  1.1927785e+00 \nIter:  3 Ap: 7.67e-01 Pobj:  9.4043232e+02 Ad: 1.94e-01 Dobj:  1.3438151e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  5.5757075e+04 Ad: 1.07e-01 Dobj:  1.3123786e+00 \nIter:  5 Ap: 1.00e+00 Pobj:  6.7408263e+07 Ad: 2.61e-02 Dobj:  1.3081079e+00 \nIter:  6 Ap: 1.00e+00 Pobj:  8.7336023e+12 Ad: 2.51e-03 Dobj:  1.3077231e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.61720e-13\nElements time: 0.066667 \nFactor time: 0.000027 \nOther time: 0.318194 \nTotal time: 0.384888 \nsos71ee5e.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -3.0263307e+01 Ad: 9.00e-01 Dobj:  1.0164032e+00 \nIter:  2 Ap: 1.00e+00 Pobj: -1.3920293e+01 Ad: 9.00e-01 Dobj:  9.1922350e-01 \nIter:  3 Ap: 1.00e+00 Pobj: -1.4227229e+00 Ad: 7.29e-01 Dobj:  1.0157536e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  9.7614684e-01 Ad: 9.00e-01 Dobj:  1.0014493e+00 \nIter:  5 Ap: 1.00e+00 Pobj:  9.9998011e-01 Ad: 9.00e-01 Dobj:  1.0001448e+00 \nIter:  6 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000145e+00 \nIter:  7 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000014e+00 \nIter:  8 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000001e+00 \nIter:  9 Ap: 1.00e+00 Pobj:  9.9999757e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 10 Ap: 1.00e+00 Pobj:  9.9999974e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 11 Ap: 1.00e+00 Pobj:  9.9999997e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 12 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nSuccess: SDP solved\nPrimal objective value: 1.0000000e+00 \nDual objective value: 1.0000000e+00 \nRelative primal infeasibility: 1.32e-14 \nRelative dual infeasibility: 3.64e-11 \nReal Relative Gap: -7.83e-13 \nXZ Relative Gap: 6.17e-09 \nDIMACS error measures: 1.59e-14 0.00e+00 4.39e-11 0.00e+00 -7.83e-13 6.17e-09\nElements time: 0.291098 \nFactor time: 0.000046 \nOther time: 1.045385 \nTotal time: 1.336529 \nsos9174a9.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -1.2809798e+01 Ad: 9.00e-01 Dobj:  1.1979448e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  4.7091541e+02 Ad: 2.82e-01 Dobj:  1.1190737e+00 \nIter:  3 Ap: 1.00e+00 Pobj:  4.6067015e+05 Ad: 3.09e-02 Dobj:  1.1142723e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  7.3482526e+10 Ad: 2.47e-03 Dobj:  1.1140211e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.36087e-11\nElements time: 0.066268 \nFactor time: 0.000037 \nOther time: 0.286670 \nTotal time: 0.352975 \nsosa1f79f.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -7.5103360e+00 Ad: 9.00e-01 Dobj:  5.0210041e-01 \nIter:  2 Ap: 1.00e+00 Pobj:  5.8656836e+01 Ad: 6.56e-01 Dobj:  4.8730919e-01 \nIter:  3 Ap: 5.90e-01 Pobj:  6.8180182e+04 Ad: 5.73e-03 Dobj:  4.9434506e-01 \nIter:  4 Ap: 1.00e+00 Pobj:  1.2536662e+08 Ad: 2.25e-02 Dobj:  4.8361567e-01 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=7.97661e-09\nElements time: 0.065004 \nFactor time: 0.000026 \nOther time: 0.332421 \nTotal time: 0.397451 \nsosd6995a.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -1.2809798e+01 Ad: 9.00e-01 Dobj:  1.1979448e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  4.7091541e+02 Ad: 2.82e-01 Dobj:  1.1190737e+00 \nIter:  3 Ap: 1.00e+00 Pobj:  4.6067015e+05 Ad: 3.09e-02 Dobj:  1.1142723e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  7.3482526e+10 Ad: 2.47e-03 Dobj:  1.1140211e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.36087e-11\nElements time: 0.070690 \nFactor time: 0.000027 \nOther time: 0.363561 \nTotal time: 0.434278\n\n\n## Bugzilla Comment ID: 13668\nDate: 2016-08-31 10:05:33 +0200\nFrom: @_fajb\n\nHi Jason,\n\nThe running time printed by your csdp is consistently 1000 times mine.\nAre you running csdp inside a VM ? I cannot believe that your multi-core is 1000 times slower than mine. This probably does not explain you observed slowdown of 40s but is highly suspicious.\n\nIn the absence of further information or insight, I intend to close this bug (csdp bug). \n\n\nPS: If noboby experiences problems with CSDP 6.0.1, I would update the doc and advise to use this particular version.\n\n\n## Bugzilla Comment ID: 13686\nDate: 2016-08-31 20:27:14 +0200\nFrom: @_JasonGross\n\nI am not running inside a VM.  If you have a machine that's uniformly 1000x faster, it would be able to compile all of Coq in under half a second, and I want to know where I can get a machine like that.\n\nI have 64 GB of RAM, and `cat /proc/cpuinfo` tells me about 12 processors like this:\nvendor_id\t: GenuineIntel\ncpu family\t: 6\nmodel\t\t: 63\nmodel name\t: Intel(R) Xeon(R) CPU E5-1650 v3 @ 3.50GHz\nstepping\t: 2\nmicrocode\t: 0x36\ncpu MHz\t\t: 1200.000\ncache size\t: 15360 KB\nphysical id\t: 0\nsiblings\t: 12\ncore id\t\t: 5\ncpu cores\t: 6\napicid\t\t: 11\ninitial apicid\t: 11\nfpu\t\t: yes\nfpu_exception\t: yes\ncpuid level\t: 15\nwp\t\t: yes\nflags\t\t: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase tsc_adjust bmi1 avx2 smep bmi2 erms invpcid\nbogomips\t: 6983.87\nclflush size\t: 64\ncache_alignment\t: 64\naddress sizes\t: 46 bits physical, 48 bits virtual\npower management:\n\n\n## Bugzilla Comment ID: 13687\nDate: 2016-08-31 20:32:06 +0200\nFrom: @_JasonGross\n\nWhen I use the pre-built csdp 6.1.0 from https://projects.coin-or.org/Csdp/, I get (on the original problem in the bug report) Finished transaction in 0.057 secs (0.007u,0.008s) (successful), which is indeed about 1000x faster.\n\n\n## Bugzilla Comment ID: 13688\nDate: 2016-08-31 20:45:27 +0200\nFrom: @_JasonGross\n\nIt does not seem to be the version of csdp that is bad; when I run on the packaged CSDP 6.1.1-1 in Ubuntu 14.04 on Travis (https://travis-ci.org/JasonGross/csdp-test/jobs/156602103), it runs quickly (about 400x faster than on my machine with the same csdp).  I am inclined to think that it has something to do with the number of cores; perhaps the aptitude distributed version of csdp uses different code when it detects enough cores, and that code runs more slowly?\n\n\n## Bugzilla Comment ID: 13689\nDate: 2016-08-31 20:49:04 +0200\nFrom: @_JasonGross\n\nIndeed, this seems to be the issue, as I can verify with taskset -c 0.  Can Coq force csdp to only use one core (possibly conditioned on whether or not an option is set)?\n\n$ for i in *.dat-s; do echo $i; (/usr/bin/csdp $i 2>&1 | tee $i.out); done # multiple cores\nsos19824d.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -7.5103360e+00 Ad: 9.00e-01 Dobj:  5.0210041e-01 \nIter:  2 Ap: 1.00e+00 Pobj:  5.8656836e+01 Ad: 6.56e-01 Dobj:  4.8730919e-01 \nIter:  3 Ap: 5.90e-01 Pobj:  6.8180182e+04 Ad: 5.73e-03 Dobj:  4.9434506e-01 \nIter:  4 Ap: 1.00e+00 Pobj:  1.2536662e+08 Ad: 2.25e-02 Dobj:  4.8361567e-01 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=7.97661e-09\nElements time: 0.046631 \nFactor time: 0.000025 \nOther time: 0.272863 \nTotal time: 0.319519 \nsos23df78.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -1.2809798e+01 Ad: 9.00e-01 Dobj:  1.1979448e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  4.7091541e+02 Ad: 2.82e-01 Dobj:  1.1190737e+00 \nIter:  3 Ap: 1.00e+00 Pobj:  4.6067015e+05 Ad: 3.09e-02 Dobj:  1.1142723e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  7.3482526e+10 Ad: 2.47e-03 Dobj:  1.1140211e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.36087e-11\nElements time: 0.044078 \nFactor time: 0.000026 \nOther time: 0.207769 \nTotal time: 0.251873 \nsos52b7f4.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -4.6855819e+01 Ad: 8.62e-01 Dobj:  2.6992626e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  2.3511749e+01 Ad: 8.01e-01 Dobj:  1.1927785e+00 \nIter:  3 Ap: 7.67e-01 Pobj:  9.4043232e+02 Ad: 1.94e-01 Dobj:  1.3438151e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  5.5757075e+04 Ad: 1.07e-01 Dobj:  1.3123786e+00 \nIter:  5 Ap: 1.00e+00 Pobj:  6.7408263e+07 Ad: 2.61e-02 Dobj:  1.3081079e+00 \nIter:  6 Ap: 1.00e+00 Pobj:  8.7336023e+12 Ad: 2.51e-03 Dobj:  1.3077231e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.61720e-13\nElements time: 0.066665 \nFactor time: 0.000036 \nOther time: 0.344291 \nTotal time: 0.410992 \nsos71ee5e.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -3.0263307e+01 Ad: 9.00e-01 Dobj:  1.0164032e+00 \nIter:  2 Ap: 1.00e+00 Pobj: -1.3920293e+01 Ad: 9.00e-01 Dobj:  9.1922350e-01 \nIter:  3 Ap: 1.00e+00 Pobj: -1.4227229e+00 Ad: 7.29e-01 Dobj:  1.0157536e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  9.7614684e-01 Ad: 9.00e-01 Dobj:  1.0014493e+00 \nIter:  5 Ap: 1.00e+00 Pobj:  9.9998011e-01 Ad: 9.00e-01 Dobj:  1.0001448e+00 \nIter:  6 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000145e+00 \nIter:  7 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000014e+00 \nIter:  8 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000001e+00 \nIter:  9 Ap: 1.00e+00 Pobj:  9.9999757e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 10 Ap: 1.00e+00 Pobj:  9.9999974e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 11 Ap: 1.00e+00 Pobj:  9.9999997e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 12 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nSuccess: SDP solved\nPrimal objective value: 1.0000000e+00 \nDual objective value: 1.0000000e+00 \nRelative primal infeasibility: 1.32e-14 \nRelative dual infeasibility: 3.64e-11 \nReal Relative Gap: -7.83e-13 \nXZ Relative Gap: 6.17e-09 \nDIMACS error measures: 1.59e-14 0.00e+00 4.39e-11 0.00e+00 -7.83e-13 6.17e-09\nElements time: 0.140656 \nFactor time: 0.000042 \nOther time: 0.569587 \nTotal time: 0.710284 \nsos9174a9.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -1.2809798e+01 Ad: 9.00e-01 Dobj:  1.1979448e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  4.7091541e+02 Ad: 2.82e-01 Dobj:  1.1190737e+00 \nIter:  3 Ap: 1.00e+00 Pobj:  4.6067015e+05 Ad: 3.09e-02 Dobj:  1.1142723e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  7.3482526e+10 Ad: 2.47e-03 Dobj:  1.1140211e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.36087e-11\nElements time: 0.044745 \nFactor time: 0.000027 \nOther time: 0.232256 \nTotal time: 0.277028 \nsosa1f79f.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -7.5103360e+00 Ad: 9.00e-01 Dobj:  5.0210041e-01 \nIter:  2 Ap: 1.00e+00 Pobj:  5.8656836e+01 Ad: 6.56e-01 Dobj:  4.8730919e-01 \nIter:  3 Ap: 5.90e-01 Pobj:  6.8180182e+04 Ad: 5.73e-03 Dobj:  4.9434506e-01 \nIter:  4 Ap: 1.00e+00 Pobj:  1.2536662e+08 Ad: 2.25e-02 Dobj:  4.8361567e-01 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=7.97661e-09\nElements time: 0.043816 \nFactor time: 0.000026 \nOther time: 0.247621 \nTotal time: 0.291463 \nsosd6995a.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -1.2809798e+01 Ad: 9.00e-01 Dobj:  1.1979448e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  4.7091541e+02 Ad: 2.82e-01 Dobj:  1.1190737e+00 \nIter:  3 Ap: 1.00e+00 Pobj:  4.6067015e+05 Ad: 3.09e-02 Dobj:  1.1142723e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  7.3482526e+10 Ad: 2.47e-03 Dobj:  1.1140211e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.36087e-11\nElements time: 0.042661 \nFactor time: 0.000026 \nOther time: 0.234043 \nTotal time: 0.276730 \n\n\n$ for i in *.dat-s; do echo $i; (taskset -c 0 /usr/bin/csdp $i 2>&1 | tee $i.out); done # single core\nsos19824d.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -7.5103360e+00 Ad: 9.00e-01 Dobj:  5.0210041e-01 \nIter:  2 Ap: 1.00e+00 Pobj:  5.8656836e+01 Ad: 6.56e-01 Dobj:  4.8730919e-01 \nIter:  3 Ap: 5.90e-01 Pobj:  6.8180182e+04 Ad: 5.73e-03 Dobj:  4.9434506e-01 \nIter:  4 Ap: 1.00e+00 Pobj:  1.2536662e+08 Ad: 2.25e-02 Dobj:  4.8361567e-01 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=7.97661e-09\nElements time: 0.000016 \nFactor time: 0.000023 \nOther time: 0.000649 \nTotal time: 0.000688 \nsos23df78.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -1.2809798e+01 Ad: 9.00e-01 Dobj:  1.1979448e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  4.7091541e+02 Ad: 2.82e-01 Dobj:  1.1190737e+00 \nIter:  3 Ap: 1.00e+00 Pobj:  4.6067015e+05 Ad: 3.09e-02 Dobj:  1.1142723e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  7.3482526e+10 Ad: 2.47e-03 Dobj:  1.1140211e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.36087e-11\nElements time: 0.000015 \nFactor time: 0.000022 \nOther time: 0.000630 \nTotal time: 0.000667 \nsos52b7f4.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -4.6855819e+01 Ad: 8.62e-01 Dobj:  2.6992626e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  2.3511749e+01 Ad: 8.01e-01 Dobj:  1.1927785e+00 \nIter:  3 Ap: 7.67e-01 Pobj:  9.4043232e+02 Ad: 1.94e-01 Dobj:  1.3438151e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  5.5757075e+04 Ad: 1.07e-01 Dobj:  1.3123786e+00 \nIter:  5 Ap: 1.00e+00 Pobj:  6.7408263e+07 Ad: 2.61e-02 Dobj:  1.3081079e+00 \nIter:  6 Ap: 1.00e+00 Pobj:  8.7336023e+12 Ad: 2.51e-03 Dobj:  1.3077231e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.61720e-13\nElements time: 0.000021 \nFactor time: 0.000022 \nOther time: 0.000586 \nTotal time: 0.000629 \nsos71ee5e.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -3.0263307e+01 Ad: 9.00e-01 Dobj:  1.0164032e+00 \nIter:  2 Ap: 1.00e+00 Pobj: -1.3920293e+01 Ad: 9.00e-01 Dobj:  9.1922350e-01 \nIter:  3 Ap: 1.00e+00 Pobj: -1.4227229e+00 Ad: 7.29e-01 Dobj:  1.0157536e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  9.7614684e-01 Ad: 9.00e-01 Dobj:  1.0014493e+00 \nIter:  5 Ap: 1.00e+00 Pobj:  9.9998011e-01 Ad: 9.00e-01 Dobj:  1.0001448e+00 \nIter:  6 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000145e+00 \nIter:  7 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000014e+00 \nIter:  8 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000001e+00 \nIter:  9 Ap: 1.00e+00 Pobj:  9.9999757e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 10 Ap: 1.00e+00 Pobj:  9.9999974e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 11 Ap: 1.00e+00 Pobj:  9.9999997e-01 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nIter: 12 Ap: 1.00e+00 Pobj:  1.0000000e+00 Ad: 9.00e-01 Dobj:  1.0000000e+00 \nSuccess: SDP solved\nPrimal objective value: 1.0000000e+00 \nDual objective value: 1.0000000e+00 \nRelative primal infeasibility: 1.32e-14 \nRelative dual infeasibility: 3.64e-11 \nReal Relative Gap: -7.83e-13 \nXZ Relative Gap: 6.17e-09 \nDIMACS error measures: 1.59e-14 0.00e+00 4.39e-11 0.00e+00 -7.83e-13 6.17e-09\nElements time: 0.000024 \nFactor time: 0.000018 \nOther time: 0.000659 \nTotal time: 0.000700 \nsos9174a9.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -1.2809798e+01 Ad: 9.00e-01 Dobj:  1.1979448e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  4.7091541e+02 Ad: 2.82e-01 Dobj:  1.1190737e+00 \nIter:  3 Ap: 1.00e+00 Pobj:  4.6067015e+05 Ad: 3.09e-02 Dobj:  1.1142723e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  7.3482526e+10 Ad: 2.47e-03 Dobj:  1.1140211e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.36087e-11\nElements time: 0.000015 \nFactor time: 0.000020 \nOther time: 0.000466 \nTotal time: 0.000501 \nsosa1f79f.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -7.5103360e+00 Ad: 9.00e-01 Dobj:  5.0210041e-01 \nIter:  2 Ap: 1.00e+00 Pobj:  5.8656836e+01 Ad: 6.56e-01 Dobj:  4.8730919e-01 \nIter:  3 Ap: 5.90e-01 Pobj:  6.8180182e+04 Ad: 5.73e-03 Dobj:  4.9434506e-01 \nIter:  4 Ap: 1.00e+00 Pobj:  1.2536662e+08 Ad: 2.25e-02 Dobj:  4.8361567e-01 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=7.97661e-09\nElements time: 0.000010 \nFactor time: 0.000015 \nOther time: 0.000417 \nTotal time: 0.000442 \nsosd6995a.dat-s\nIter:  0 Ap: 0.00e+00 Pobj:  0.0000000e+00 Ad: 0.00e+00 Dobj:  0.0000000e+00 \nIter:  1 Ap: 1.00e+00 Pobj: -1.2809798e+01 Ad: 9.00e-01 Dobj:  1.1979448e+00 \nIter:  2 Ap: 1.00e+00 Pobj:  4.7091541e+02 Ad: 2.82e-01 Dobj:  1.1190737e+00 \nIter:  3 Ap: 1.00e+00 Pobj:  4.6067015e+05 Ad: 3.09e-02 Dobj:  1.1142723e+00 \nIter:  4 Ap: 1.00e+00 Pobj:  7.3482526e+10 Ad: 2.47e-03 Dobj:  1.1140211e+00 \nDeclaring dual infeasibility.\nSuccess: SDP is dual infeasible\nCertificate of dual infeasibility: tr(CX)=1.00000e+00, ||A(X)||=1.36087e-11\nElements time: 0.000020 \nFactor time: 0.000022 \nOther time: 0.000592 \nTotal time: 0.000634\n\n\n## Bugzilla Comment ID: 13690\nDate: 2016-08-31 20:56:22 +0200\nFrom: @_JasonGross\n\nThe user time of your test case grows roughly linearly with the number of processors csdp is allowed to use, and the real time grows as well, though somewhat slower:\n$ cat test.sh\n#!/bin/bash\nfor i in *.dat-s; do /usr/bin/csdp $i 2>/dev/null >/dev/null; done\nexit 0\n$ for j in $(seq 0 11); do /usr/bin/time -f \"$j (real: %e, user: %U, sys: %S, mem: %M ko)\" taskset -c 0-$j ./test.sh; done\n0 (real: 0.01, user: 0.00, sys: 0.01, mem: 1860 ko)\n1 (real: 0.01, user: 0.00, sys: 0.01, mem: 1880 ko)\n2 (real: 1.58, user: 3.10, sys: 0.03, mem: 5964 ko)\n3 (real: 1.57, user: 4.61, sys: 0.02, mem: 1892 ko)\n4 (real: 1.58, user: 6.20, sys: 0.01, mem: 1900 ko)\n5 (real: 1.66, user: 6.75, sys: 0.01, mem: 1908 ko)\n6 (real: 1.86, user: 8.72, sys: 0.00, mem: 1916 ko)\n7 (real: 1.09, user: 6.70, sys: 0.02, mem: 1928 ko)\n8 (real: 2.23, user: 12.77, sys: 0.08, mem: 3968 ko)\n9 (real: 2.26, user: 14.76, sys: 0.10, mem: 1944 ko)\n10 (real: 2.51, user: 15.85, sys: 0.09, mem: 6028 ko)\n11 (real: 2.51, user: 17.63, sys: 0.09, mem: 1964 ko)\n\n\n## Bugzilla Comment ID: 13691\nDate: 2016-08-31 21:50:26 +0200\nFrom: @_silene\n\nThere certainly seems to be something wrong with your version of csdp. That is what I get on a 16-core server:\n\n$ for j in $(seq 0 15); do /usr/bin/time -f \"$j (real: %e, user: %U, sys: %S, mem: %M ko)\" taskset -c 0-$j ./test.sh; done\n0 (real: 0.01, user: 0.00, sys: 0.00, mem: 4208 ko)\n1 (real: 0.01, user: 0.00, sys: 0.00, mem: 4152 ko)\n2 (real: 0.01, user: 0.00, sys: 0.00, mem: 4152 ko)\n3 (real: 0.01, user: 0.00, sys: 0.00, mem: 4076 ko)\n4 (real: 0.01, user: 0.00, sys: 0.00, mem: 4032 ko)\n5 (real: 0.01, user: 0.00, sys: 0.00, mem: 4208 ko)\n6 (real: 0.01, user: 0.00, sys: 0.00, mem: 4092 ko)\n7 (real: 0.01, user: 0.00, sys: 0.00, mem: 4104 ko)\n8 (real: 0.01, user: 0.00, sys: 0.00, mem: 4036 ko)\n9 (real: 0.01, user: 0.00, sys: 0.00, mem: 4200 ko)\n10 (real: 0.01, user: 0.00, sys: 0.00, mem: 4108 ko)\n11 (real: 0.01, user: 0.00, sys: 0.00, mem: 4264 ko)\n12 (real: 0.01, user: 0.00, sys: 0.00, mem: 4100 ko)\n13 (real: 0.01, user: 0.00, sys: 0.00, mem: 4072 ko)\n14 (real: 0.01, user: 0.00, sys: 0.00, mem: 4232 ko)\n15 (real: 0.01, user: 0.00, sys: 0.00, mem: 4152 ko)\n\nYou should report your issue upstream.\n\n\n## Bugzilla Comment ID: 13694\nDate: 2016-08-31 23:18:12 +0200\nFrom: @_JasonGross\n\nPierre-Marie, can you reproduce the behavior I mentioned on pyrolyse?  Guillaume, which csdp are you running?  (From debian / apt-get, or elsewhere?)\n\n\n## Bugzilla Comment ID: 13695\nDate: 2016-08-31 23:38:42 +0200\nFrom: @_JasonGross\n\nReported at https://bugs.launchpad.net/ubuntu/+source/coinor-csdp/+bug/1619055\n\n\n## Bugzilla Comment ID: 13696\nDate: 2016-09-01 07:37:13 +0200\nFrom: @_silene\n\nWhen using debian's 6.1.1-1 version instead (and its dependencies from jessie), I get the following results:\n\n0 (real: 0.00, user: 0.00, sys: 0.00, mem: 4268 ko)\n1 (real: 0.01, user: 0.00, sys: 0.00, mem: 4276 ko)\n2 (real: 0.12, user: 0.22, sys: 0.00, mem: 4128 ko)\n3 (real: 0.01, user: 0.00, sys: 0.00, mem: 4292 ko)\n4 (real: 0.03, user: 0.08, sys: 0.00, mem: 4304 ko)\n5 (real: 0.01, user: 0.01, sys: 0.01, mem: 4128 ko)\n6 (real: 0.04, user: 0.19, sys: 0.00, mem: 4152 ko)\n7 (real: 0.01, user: 0.01, sys: 0.02, mem: 4216 ko)\n8 (real: 0.02, user: 0.09, sys: 0.03, mem: 4180 ko)\n9 (real: 0.01, user: 0.02, sys: 0.04, mem: 4208 ko)\n10 (real: 0.01, user: 0.02, sys: 0.04, mem: 4220 ko)\n11 (real: 0.01, user: 0.02, sys: 0.05, mem: 4352 ko)\n12 (real: 0.05, user: 0.47, sys: 0.00, mem: 4360 ko)\n13 (real: 0.01, user: 0.06, sys: 0.03, mem: 4380 ko)\n14 (real: 0.01, user: 0.03, sys: 0.07, mem: 4256 ko)\n15 (real: 0.01, user: 0.03, sys: 0.10, mem: 4288 ko)\n\nThe timing are now a lot noisier, but it still does not exhibit the linear behavior you are experiencing.\n\nFrom what I can tell, the difference between the Debian build and the prebuilt one on Coin-or's site is that the latter does not use OpenMP. So perhaps OpenMP does not work properly on your computer.\n\n"}}
{"actor":{"display_login":"Zimmi48"}}