Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.06 | 1807.84 |
Name | csp/pseudo/mpsReduced/ normalized-mps-red-gr4x6.xml |
MD5SUM | 676da83a245da5754e645c85d459182b |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1562.29 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 744 |
Number of constraints | 44 |
Maximum constraint arity | 180 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 44 |
Global constraints used (with number of constraints) |
0.00/0.01 c cpHydra_k_40 version 0.0 6.65/7.28 c CASE TO CLASSIFY: 6.65/7.28 c Case: 0 6.65/7.29 c 19 > 0.000000 | c 35 > 169.091000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.727300 | c 15 > 21.280100 | c 34 > 272.727000 | c 16 > 180.000000 | c 13 > 8.421860 | c 14 > 11.102600 | c 11 > 11.456400 | c 12 > 6.477460 | c 21 > 1.234580 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.375000 | c 1 > 8.607330 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.375000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.044300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.74/7.30 c choco : 1801.0 6.74/7.30 c mistral : 1801.0 6.74/7.30 c abscon : 1801.0 6.74/7.30 c 6.74/7.30 c 6.74/7.37 c List of same ones: 40 6.74/7.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bk4x3.xml 6.74/7.37 c 19 > 0.000000 | c 35 > 143.077000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 14.942400 | c 34 > 230.769000 | c 16 > 120.000000 | c 13 > 0.604055 | c 14 > 7.451210 | c 11 > 10.541100 | c 12 > 0.592046 | c 21 > 1.230220 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.343200 | c 1 > 7.577430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.343200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.624900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.74/7.38 c choco : 5.25 6.74/7.38 c mistral : 0.17 6.74/7.38 c abscon : 1800.09 6.74/7.38 c 6.74/7.38 c 6.74/7.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml 6.74/7.38 c 19 > 0.000000 | c 35 > 105.366000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 40.000000 | c 15 > 19.853600 | c 34 > 171.951000 | c 16 > 169.000000 | c 13 > 4.829990 | c 14 > 8.442940 | c 11 > 11.734700 | c 12 > 3.200360 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.866500 | c 1 > 7.569860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.866500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.843600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.74/7.39 c choco : 2.64 6.74/7.39 c mistral : 1.78 6.74/7.39 c abscon : 65.1051 6.74/7.39 c 6.74/7.39 c 6.74/7.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-rgn.xml 6.74/7.39 c 19 > 0.000000 | c 35 > 93.548400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 38.709700 | c 15 > 19.503700 | c 34 > 187.097000 | c 16 > 127.000000 | c 13 > 6.481930 | c 14 > 10.316300 | c 11 > 11.964300 | c 12 > 3.424420 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.442900 | c 1 > 10.299200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.442900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.165900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.74/7.39 c choco : 37.43 6.74/7.40 c mistral : 1800.06 6.74/7.40 c abscon : 384.748 6.74/7.40 c 6.74/7.40 c 6.74/7.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml 6.74/7.40 c 19 > 21.689000 | c 35 > 111.094000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.771300 | c 15 > 19.752000 | c 34 > 202.328000 | c 16 > 270.000000 | c 13 > 4.428430 | c 14 > 6.965780 | c 11 > 11.941400 | c 12 > 3.092220 | c 21 > 1.211450 | c 20 > 78.311000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.686100 | c 1 > 11.941400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.666900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.855700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.83/7.40 c choco : 23.83 6.83/7.40 c mistral : 4.90325 6.83/7.40 c abscon : 7.12692 6.83/7.40 c 6.83/7.40 c 6.83/7.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-opt1217.xml 6.83/7.40 c 19 > 0.000000 | c 35 > 137.611000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.017700 | c 15 > 16.381500 | c 34 > 207.257000 | c 16 > 67.000000 | c 13 > 0.529806 | c 14 > 9.525520 | c 11 > 11.598100 | c 12 > 0.631367 | c 21 > 1.413310 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.065100 | c 1 > 9.616550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.065100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.345600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.83/7.41 c choco : 2.76 6.83/7.41 c mistral : 0.59 6.83/7.41 c abscon : 5.06423 6.83/7.41 c 6.83/7.41 c 6.83/7.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc01.xml 6.83/7.41 c 19 > 0.000000 | c 35 > 111.831000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 40.563400 | c 15 > 18.420800 | c 34 > 166.197000 | c 16 > 101.000000 | c 13 > 3.527310 | c 14 > 7.761550 | c 11 > 10.493900 | c 12 > 2.036790 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.617500 | c 1 > 6.820180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.617500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.095300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.83/7.42 c choco : 1.96 6.83/7.42 c mistral : 0.89 6.83/7.42 c abscon : 25.1202 6.83/7.42 c 6.83/7.42 c 6.83/7.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/enigma.xml 6.83/7.42 c 19 > 0.000000 | c 35 > 94.761900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.142900 | c 15 > 14.122200 | c 34 > 189.524000 | c 16 > 90.000000 | c 13 > 0.608555 | c 14 > 6.584960 | c 11 > 9.854870 | c 12 > 0.557701 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.103300 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.103300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.452400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.83/7.43 c choco : 1.49 6.83/7.43 c mistral : 0.08 6.83/7.43 c abscon : 1.3048 6.83/7.43 c 6.83/7.43 c 6.83/7.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1.xml 6.83/7.43 c 19 > 21.205800 | c 35 > 115.021000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.960500 | c 15 > 18.134700 | c 34 > 190.988000 | c 16 > 77.000000 | c 13 > 0.491467 | c 14 > 11.026500 | c 11 > 12.070100 | c 12 > 1.563900 | c 21 > 1.341360 | c 20 > 78.794200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.421400 | c 1 > 12.070100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.407900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.997500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.83/7.44 c choco : 9.52 6.83/7.44 c mistral : 1.89 6.83/7.44 c abscon : 1605.97 6.83/7.44 c 6.83/7.44 c 6.83/7.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml 6.83/7.44 c 19 > 0.000000 | c 35 > 99.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.200000 | c 15 > 19.988500 | c 34 > 160.000000 | c 16 > 240.000000 | c 13 > -1.511630 | c 14 > 10.840000 | c 11 > 12.173100 | c 12 > 1.984930 | c 21 > 1.365340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.889900 | c 1 > 12.173100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.889900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.609200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.83/7.44 c choco : 18.53 6.83/7.44 c mistral : 1800.06 6.83/7.44 c abscon : 1348.66 6.83/7.44 c 6.83/7.44 c 6.83/7.45 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm2.xml 6.83/7.45 c 19 > 0.000000 | c 35 > 94.691400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.666700 | c 15 > 15.755100 | c 34 > 189.259000 | c 16 > 84.000000 | c 13 > -0.301197 | c 14 > -1.000000 | c 11 > 11.427300 | c 12 > 2.237580 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.622200 | c 1 > 11.427300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.622200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.683200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.83/7.45 c choco : 5.27 6.83/7.45 c mistral : 0.63 6.83/7.45 c abscon : 1800.14 6.83/7.45 c 6.83/7.45 c 6.83/7.45 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm1.xml 6.83/7.45 c 19 > 0.000000 | c 35 > 94.691400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.666700 | c 15 > 15.737100 | c 34 > 189.259000 | c 16 > 82.000000 | c 13 > 0.033345 | c 14 > -1.000000 | c 11 > 11.427300 | c 12 > 2.218800 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.602800 | c 1 > 11.427300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.602800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.623400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.66 c choco : 5.19 7.01/7.66 c mistral : 0.63 7.01/7.66 c abscon : 1800.11 7.01/7.66 c 7.01/7.66 c 7.01/7.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10c.xml 7.01/7.66 c 19 > 0.000000 | c 35 > 221.429000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.857100 | c 15 > 17.922400 | c 34 > 353.429000 | c 16 > 300.000000 | c 13 > 0.193346 | c 14 > 9.413630 | c 11 > 13.155300 | c 12 > 1.310720 | c 21 > 1.235890 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.436700 | c 1 > 10.675100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.436700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.953000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.67 c choco : 11.95 7.01/7.67 c mistral : 3.32 7.01/7.67 c abscon : 1800.09 7.01/7.67 c 7.01/7.67 c 7.01/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10b.xml 7.01/7.67 c 19 > 0.000000 | c 35 > 221.429000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.857100 | c 15 > 18.018600 | c 34 > 353.500000 | c 16 > 300.000000 | c 13 > 0.193058 | c 14 > 9.535280 | c 11 > 13.151500 | c 12 > 1.310500 | c 21 > 1.235240 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.431600 | c 1 > 10.670700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.431600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.943100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.68 c choco : 11.83 7.01/7.68 c mistral : 3.33 7.01/7.68 c abscon : 1800.05 7.01/7.68 c 7.01/7.68 c 7.01/7.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10a.xml 7.01/7.68 c 19 > 0.000000 | c 35 > 221.429000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.857100 | c 15 > 17.973100 | c 34 > 354.500000 | c 16 > 300.000000 | c 13 > 0.192144 | c 14 > 9.479780 | c 11 > 13.153700 | c 12 > 1.310070 | c 21 > 1.235240 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.433500 | c 1 > 10.670700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.433500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.944800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.69 c choco : 11.84 7.01/7.69 c mistral : 3.36 7.01/7.69 c abscon : 1800.08 7.01/7.69 c 7.01/7.69 c 7.01/7.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1-o.xml 7.01/7.69 c 19 > 20.960700 | c 35 > 117.762000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.257600 | c 15 > 17.800200 | c 34 > 195.699000 | c 16 > 54.000000 | c 13 > 0.347454 | c 14 > 11.366300 | c 11 > 12.070100 | c 12 > 1.501510 | c 21 > 1.341360 | c 20 > 79.039300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.323900 | c 1 > 12.070100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.310300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.980900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.70 c choco : 10.89 7.01/7.70 c mistral : 1.77 7.01/7.70 c abscon : 1071.66 7.01/7.70 c 7.01/7.70 c 7.01/7.70 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-2.xml 7.01/7.70 c 19 > 0.000000 | c 35 > 150.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 13.033100 | c 34 > 299.091000 | c 16 > 15.000000 | c 13 > 1.690370 | c 14 > 3.700440 | c 11 > 7.189820 | c 12 > 1.202490 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.290020 | c 1 > 3.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.262090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.509600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.70 c choco : 1.19 7.08/7.70 c mistral : 0.02 7.08/7.70 c abscon : 2.15967 7.08/7.70 c 7.08/7.70 c 7.08/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/f51m-b.xml 7.08/7.70 c 19 > 2.923980 | c 35 > 111.326000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.345000 | c 15 > 18.781100 | c 34 > 118.148000 | c 16 > 123.000000 | c 13 > 4.863770 | c 14 > 7.276120 | c 11 > 8.647460 | c 12 > 5.030370 | c 21 > 1.409850 | c 20 > 97.076000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.702100 | c 1 > 8.647460 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.700700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.187000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.71 c choco : 3.95 7.08/7.71 c mistral : 0.97 7.08/7.71 c abscon : 3.01554 7.08/7.71 c 7.08/7.71 c 7.08/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-enigma.xml 7.08/7.71 c 19 > 0.000000 | c 35 > 94.761900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.571400 | c 15 > 20.129800 | c 34 > 142.143000 | c 16 > 90.000000 | c 13 > 6.570010 | c 14 > 9.894820 | c 11 > 9.515700 | c 12 > 5.423830 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.823370 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.823370 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.520800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.71 c choco : 1.86 7.08/7.71 c mistral : 0.86 7.08/7.71 c abscon : 1800.07 7.08/7.71 c 7.08/7.71 c 7.08/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-enigma.xml 7.08/7.71 c 19 > 0.000000 | c 35 > 94.761900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.571400 | c 15 > 20.829000 | c 34 > 142.143000 | c 16 > 90.000000 | c 13 > 6.767430 | c 14 > 10.433600 | c 11 > 9.396600 | c 12 > 5.943450 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.836050 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.836050 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.701500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.72 c choco : 2.76 7.08/7.72 c mistral : 18.74 7.08/7.72 c abscon : 1800.07 7.08/7.72 c 7.08/7.72 c 7.08/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml 7.08/7.72 c 19 > 0.000000 | c 35 > 64.598900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.534800 | c 15 > 20.157300 | c 34 > 127.487000 | c 16 > 147.000000 | c 13 > -0.784144 | c 14 > 10.462500 | c 11 > 12.167400 | c 12 > 2.516780 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.436900 | c 1 > 12.167400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.436900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.838100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.73 c choco : 482.24 7.08/7.73 c mistral : 1800.08 7.08/7.73 c abscon : 1800.1 7.08/7.73 c 7.08/7.73 c 7.08/7.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc02.xml 7.08/7.73 c 19 > 3.773580 | c 35 > 89.434000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.415100 | c 15 > 14.210600 | c 34 > 142.264000 | c 16 > 79.000000 | c 13 > 1.217250 | c 14 > 5.169930 | c 11 > 9.784630 | c 12 > 0.653117 | c 21 > 1.414210 | c 20 > 96.226400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.952740 | c 1 > 6.475730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.949830 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.749000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.74 c choco : 1.68 7.08/7.74 c mistral : 0.07 7.08/7.74 c abscon : 21.5577 7.08/7.74 c 7.08/7.74 c 7.08/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mzzv11.xml 7.08/7.74 c 19 > 3.888380 | c 35 > 80.594700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.323400 | c 15 > 19.455300 | c 34 > 146.118000 | c 16 > 68.000000 | c 13 > 3.973000 | c 14 > 7.748190 | c 11 > 13.457300 | c 12 > 3.829950 | c 21 > 1.414210 | c 20 > 96.111600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.120700 | c 1 > 13.457300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.114100 | c 6 > 9.609180 | c 32 > -1.000000 | c 5 > 22.291800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.74 c choco : 53.92 7.08/7.74 c mistral : 14.2 7.08/7.74 c abscon : 307.272 7.08/7.74 c 7.08/7.74 c 7.08/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml 7.08/7.74 c 19 > 0.000000 | c 35 > 69.635600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.534400 | c 15 > 19.531800 | c 34 > 120.081000 | c 16 > 263.000000 | c 13 > 2.690570 | c 14 > 7.339850 | c 11 > 13.434100 | c 12 > 1.502390 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.479500 | c 1 > 8.179910 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.479500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.479800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.75 c choco : 5.96 7.08/7.75 c mistral : 22.01 7.08/7.75 c abscon : 1008.63 7.08/7.75 c 7.08/7.75 c 7.08/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/alu4-b.xml 7.08/7.75 c 19 > 5.990020 | c 35 > 94.642300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.412600 | c 15 > 19.780300 | c 34 > 101.514000 | c 16 > 98.000000 | c 13 > 5.384320 | c 14 > 8.791160 | c 11 > 9.627530 | c 12 > 5.492460 | c 21 > 1.407190 | c 20 > 94.010000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.135300 | c 1 > 9.627530 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.131300 | c 6 > 1.584960 | c 32 > -1.000000 | c 5 > 19.161100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.75 c choco : 7.44 7.08/7.75 c mistral : 2.31 7.08/7.75 c abscon : 6.18006 7.08/7.75 c 7.08/7.75 c 7.08/7.75 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-3.xml 7.08/7.75 c 19 > 0.000000 | c 35 > 200.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 15.365500 | c 34 > 396.364000 | c 16 > 20.000000 | c 13 > 1.654420 | c 14 > 6.044390 | c 11 > 7.614710 | c 12 > 1.252570 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.690000 | c 1 > 4.321930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.643860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.472000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.76 c choco : 1.21 7.08/7.76 c mistral : 0.029994 7.08/7.76 c abscon : 25.7201 7.08/7.76 c 7.08/7.76 c 7.08/7.76 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-13.xml 7.08/7.76 c 19 > 1.562500 | c 35 > 69.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 9.902380 | c 34 > 208.594000 | c 16 > 15.000000 | c 13 > 0.069842 | c 14 > -1.000000 | c 11 > 10.126700 | c 12 > 1.161010 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 0.000000 | c 2 > 7.149750 | c 10 > 10.019600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.727920 | c 6 > 9.103290 | c 32 > -1.000000 | c 5 > 12.100300 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.76 c choco : 7.21 7.08/7.76 c mistral : 0.06 7.08/7.76 c abscon : 3.45 7.08/7.76 c 7.08/7.76 c 7.08/7.76 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-48.xml 7.08/7.76 c 19 > 3.125000 | c 35 > 70.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.709900 | c 34 > 210.000000 | c 16 > 13.000000 | c 13 > 0.220161 | c 14 > -1.000000 | c 11 > 10.041700 | c 12 > 1.128890 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 1.000000 | c 2 > 7.129280 | c 10 > 9.927780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.618390 | c 6 > 9.014020 | c 32 > -1.000000 | c 5 > 11.985800 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.77 c choco : 10.27 7.08/7.77 c mistral : 0.07 7.08/7.77 c abscon : 4.22 7.08/7.77 c 7.08/7.77 c 7.08/7.77 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-8.xml 7.08/7.77 c 19 > 0.000000 | c 35 > 68.437500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.134400 | c 34 > 205.312000 | c 16 > 15.000000 | c 13 > 0.064821 | c 14 > 6.554590 | c 11 > 10.149700 | c 12 > 0.394251 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.043000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.758220 | c 6 > 9.126700 | c 32 > -1.000000 | c 5 > 12.134400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.77 c choco : 13.68 7.08/7.77 c mistral : 0.08 7.08/7.77 c abscon : 16.06 7.08/7.77 c 7.08/7.77 c 7.08/7.77 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-22.xml 7.08/7.77 c 19 > 1.562500 | c 35 > 69.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.171500 | c 34 > 208.594000 | c 16 > 13.000000 | c 13 > 0.036555 | c 14 > 6.507790 | c 11 > 10.068800 | c 12 > 0.384492 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 1.000000 | c 2 > 7.149750 | c 10 > 9.957100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.651050 | c 6 > 9.044390 | c 32 > -1.000000 | c 5 > 11.994400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.78 c choco : 5.87 7.08/7.78 c mistral : 0.09 7.08/7.78 c abscon : 6.43 7.08/7.78 c 7.08/7.78 c 7.08/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-flugpl.xml 7.08/7.78 c 19 > 0.000000 | c 35 > 67.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 36.000000 | c 15 > 20.735000 | c 34 > 130.571000 | c 16 > 65.000000 | c 13 > 5.926460 | c 14 > 12.123200 | c 11 > 9.379380 | c 12 > 3.744580 | c 21 > 1.320380 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.951280 | c 1 > 7.622050 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.951280 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.247200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.78 c choco : 3.16 7.08/7.78 c mistral : 3.08 7.08/7.78 c abscon : 4.10837 7.08/7.78 c 7.08/7.78 c 7.08/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-25-25.xml 7.08/7.78 c 19 > 0.000000 | c 35 > 125.186000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 18.596400 | c 34 > 138.586000 | c 16 > 25.000000 | c 13 > 2.280380 | c 14 > 9.008430 | c 11 > 13.528200 | c 12 > 1.536570 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.408900 | c 1 > 9.873440 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.408900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.487300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.79 c choco : 1801.0 7.08/7.79 c mistral : 396.43 7.08/7.79 c abscon : 1800.1 7.08/7.79 c 7.08/7.79 c 7.08/7.79 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-1.xml 7.08/7.79 c 19 > 0.000000 | c 35 > 67.812500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.725400 | c 34 > 203.438000 | c 16 > 13.000000 | c 13 > 0.227596 | c 14 > -1.000000 | c 11 > 10.124100 | c 12 > 1.153170 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.016800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.721100 | c 6 > 9.103290 | c 32 > -1.000000 | c 5 > 12.079200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.79 c choco : 12.76 7.08/7.79 c mistral : 0.07 7.08/7.79 c abscon : 3.51 7.08/7.79 c 7.08/7.79 c 7.08/7.79 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-49.xml 7.08/7.79 c 19 > 0.000000 | c 35 > 65.468800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.494100 | c 34 > 196.406000 | c 16 > 16.000000 | c 13 > 1.270150 | c 14 > 6.794420 | c 11 > 10.105900 | c 12 > 0.554979 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 9.997180 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.696970 | c 6 > 9.084810 | c 32 > -1.000000 | c 5 > 12.084500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.80 c choco : 8.63 7.08/7.80 c mistral : 0.1 7.08/7.80 c abscon : 8.24 7.08/7.80 c 7.08/7.80 c 7.08/7.80 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-15.xml 7.08/7.80 c 19 > 0.000000 | c 35 > 66.093800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.365000 | c 34 > 198.281000 | c 16 > 14.000000 | c 13 > 0.048954 | c 14 > 6.700440 | c 11 > 10.084800 | c 12 > 0.406042 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 9.974410 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.668880 | c 6 > 9.063400 | c 32 > -1.000000 | c 5 > 12.025800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.13/7.81 c choco : 9.58 7.13/7.81 c mistral : 0.09 7.13/7.81 c abscon : 7.03 7.13/7.81 c 7.13/7.81 c 7.13/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mzzv42z.xml 7.13/7.81 c 19 > 7.116990 | c 35 > 66.027400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.288000 | c 15 > 19.554500 | c 34 > 117.346000 | c 16 > 80.000000 | c 13 > 4.029350 | c 14 > 7.434630 | c 11 > 13.620700 | c 12 > 3.829030 | c 21 > 1.414210 | c 20 > 92.883000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.272500 | c 1 > 13.620700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.262100 | c 6 > 10.224000 | c 32 > -1.000000 | c 5 > 22.314300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.13/7.81 c choco : 63.36 7.13/7.81 c mistral : 16.05 7.13/7.81 c abscon : 350.484 7.13/7.81 c 7.13/7.81 c 7.13/7.81 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-41.xml 7.13/7.81 c 19 > 1.562500 | c 35 > 65.156200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.388020 | c 34 > 195.469000 | c 16 > 16.000000 | c 13 > 0.086762 | c 14 > -1.000000 | c 11 > 10.121500 | c 12 > 1.160400 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.149750 | c 10 > 10.014000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.721100 | c 6 > 9.098030 | c 32 > -1.000000 | c 5 > 12.107900 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.13/7.82 c choco : 5.75 7.13/7.82 c mistral : 0.07 7.13/7.82 c abscon : 3.65 7.13/7.82 c 7.13/7.82 c 7.13/7.82 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-2.xml 7.13/7.82 c 19 > 0.000000 | c 35 > 65.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.883400 | c 34 > 195.000000 | c 16 > 16.000000 | c 13 > 0.217638 | c 14 > -1.000000 | c 11 > 10.154800 | c 12 > 1.144390 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.049800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.761550 | c 6 > 9.134430 | c 32 > -1.000000 | c 5 > 12.135100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.13/7.82 c choco : 14.6 7.13/7.83 c mistral : 0.07 7.13/7.83 c abscon : 4.01 7.13/7.83 c 7.13/7.83 c 7.13/7.83 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-35.xml 7.13/7.83 c 19 > 0.000000 | c 35 > 65.468800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.130200 | c 34 > 196.406000 | c 16 > 14.000000 | c 13 > 0.086019 | c 14 > 6.599910 | c 11 > 10.113700 | c 12 > 0.393061 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.005600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.707360 | c 6 > 9.092760 | c 32 > -1.000000 | c 5 > 12.072800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.13/7.83 c choco : 14.05 7.13/7.83 c mistral : 0.09 7.13/7.83 c abscon : 5.05 7.13/7.83 c 7.13/7.83 c 7.13/7.83 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-43.xml 7.13/7.83 c 19 > 1.562500 | c 35 > 65.156200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.482100 | c 34 > 195.469000 | c 16 > 14.000000 | c 13 > 0.037656 | c 14 > 6.672430 | c 11 > 10.071500 | c 12 > 0.399197 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 0.000000 | c 2 > 7.149750 | c 10 > 9.960000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.654640 | c 6 > 9.047120 | c 32 > -1.000000 | c 5 > 12.033400 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.13/7.84 c choco : 11.05 7.13/7.84 c mistral : 0.08 7.13/7.84 c abscon : 6.99 7.13/7.84 c 7.13/7.84 c 7.13/7.84 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-17.xml 7.13/7.84 c 19 > 0.000000 | c 35 > 64.687500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.935200 | c 34 > 194.062000 | c 16 > 15.000000 | c 13 > 0.185270 | c 14 > -1.000000 | c 11 > 10.152300 | c 12 > 1.127330 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.047100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.758220 | c 6 > 9.131860 | c 32 > -1.000000 | c 5 > 12.143700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.13/7.84 c choco : 9.74 7.13/7.84 c mistral : 0.07 7.13/7.84 c abscon : 3.8 7.13/7.84 c 7.13/7.84 c 7.13/7.85 c Length: 40 7.13/7.85 c 78.85335030384643 120.50317448590431 126.93286939024225 133.58605328359207 135.4400872015788 145.18949044735746 146.32023404676266 146.91721777667635 147.56670058919622 149.75631067690418 151.0218143455396 154.55531694197936 154.5886614924643 155.11521082046616 160.6475045153725 171.12575525753567 175.17447756605526 175.5102903999347 175.7763554309788 183.43575330404434 184.50167523788323 192.32877860591321 200.86064600967703 204.51284624564832 206.80619453164937 207.34028264752516 208.286219149732 208.4977298946907 208.5520711608126 209.4566615880478 209.8785420096118 211.32956220108957 212.131477019455 212.77240407939718 212.91595271327085 213.17930241993088 213.26523552935643 213.74854656628054 214.23695356401467 214.52846607151528 7.13/7.85 c 7.13/7.85 c 1.0 0.7651214533394682 0.7383493530675844 0.712550128772016 0.7056788119262958 0.6716215646286677 0.6678831363998623 0.6659261453539032 0.6638100397136624 0.6567740309249626 0.6527751104562026 0.6418629409748391 0.6417617036255376 0.6401672711687488 0.6238817823807876 0.5952032965233144 0.5848160038962179 0.5839707106419731 0.5833027164868265 0.5647070545948497 0.5622127522016137 0.5445507505281395 0.526520669345808 0.5191624441943447 0.5146461542622386 0.5136056323672964 0.5117730270004551 0.5113650453176755 0.5112603318147676 0.5095234986544357 0.5087175078760766 0.5059647362149613 0.5044561445512399 0.5032568619623589 0.5029890394438381 0.50249844132499 0.5023385622734778 0.5014412510733032 0.5005377294420673 0.5 7.13/7.86 c 7.13/7.86 c solver 0 7.13/7.86 c before 0.0 seconds: {} 0 7.13/7.86 c before 18.0 seconds: {3, 4, 6, 15, 16, 23, 25, 26, 27, 28, 29, 31, 32, 33, 35, 36, 37, 38, 39} 10363 7.13/7.86 c before 36.0 seconds: {3, 4, 5, 6, 15, 16, 20, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 35, 36, 37, 38, 39} 12111 7.13/7.86 c before 72.0 seconds: {1, 3, 4, 5, 6, 15, 16, 20, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 35, 36, 37, 38, 39} 12876 7.13/7.86 c before 324.0 seconds: {1, 3, 4, 5, 6, 15, 16, 20, 21, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 35, 36, 37, 38, 39} 13421 7.13/7.86 c before 360.0 seconds: {1, 3, 4, 5, 6, 15, 16, 20, 21, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13924 7.13/7.86 c before 396.0 seconds: {1, 2, 3, 4, 5, 6, 15, 16, 20, 21, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14662 7.13/7.86 c before 1026.0 seconds: {1, 2, 3, 4, 5, 6, 15, 16, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15189 7.13/7.86 c before 1080.0 seconds: {1, 2, 3, 4, 5, 6, 14, 15, 16, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15813 7.13/7.86 c before 1350.0 seconds: {1, 2, 3, 4, 5, 6, 8, 14, 15, 16, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16477 7.13/7.86 c before 1620.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 14, 15, 16, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17142 7.13/7.86 c 7.13/7.86 c solver 1 7.13/7.86 c before 0.0 seconds: {} 0 7.13/7.86 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20031 7.13/7.86 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21141 7.13/7.86 c before 414.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21650 7.13/7.86 c 7.13/7.86 c solver 2 7.13/7.86 c before 0.0 seconds: {} 0 7.13/7.86 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 35, 36, 37, 38, 39} 19381 7.13/7.86 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 35, 36, 37, 38, 39} 20757 7.13/7.86 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 35, 36, 37, 38, 39} 22040 7.13/7.86 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22543 7.13/7.86 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23108 7.13/7.86 c 7.13/7.86 cTotal time: 140 7.13/7.86 c run abscon for 396.0 seconds {1, 2, 3, 4, 5, 6, 15, 16, 20, 21, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14662 7.13/7.86 c run mistral for 414.0 seconds {0, 1, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21650 7.13/7.86 c run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23108 7.13/7.87 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.13/7.87 c On Instance: HOME/instance-1063426-1215136921.xml 7.13/7.87 c Running for: 396 seconds 403.41/406.17 c Starting solver: HOME/cpHydra_k_40/solver/mistral 403.41/406.17 c On Instance: HOME/instance-1063426-1215136921.xml 403.41/406.17 c Running for: 414 seconds 817.42/820.40 c Starting solver: HOME/cpHydra_k_40/solver/choco 817.42/820.40 c On Instance: HOME/instance-1063426-1215136921.xml 817.42/820.40 c Running for: 486 seconds
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected) Got answer:
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063426-1215136921/watcher-1063426-1215136921 -o /tmp/evaluation-result-1063426-1215136921/solver-1063426-1215136921 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1063426-1215136921.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.02 2.00 10/97 10445 /proc/meminfo: memFree=1297264/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=0 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 254634896 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10442/statm: 1340 236 195 169 0 51 0 [pid=10445] ppid=10442 vsize=820 CPUtime=0 /proc/10445/stat : 10445 (xsolve) R 10442 10442 8830 0 -1 4194304 46 0 0 0 0 0 0 0 22 0 1 0 254634897 839680 25 996147200 134512640 135239763 4294956176 18446744073709551615 2601764 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/10445/statm: 205 25 19 177 0 3 0 [startup+0.216775 s] /proc/loadavg: 2.01 2.02 2.00 10/97 10445 /proc/meminfo: memFree=1297264/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=0 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 254634896 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10442/statm: 1340 236 195 169 0 51 0 [pid=10445] ppid=10442 vsize=10916 CPUtime=0.19 /proc/10445/stat : 10445 (xsolve) R 10442 10442 8830 0 -1 4194304 2134 0 0 0 18 1 0 0 19 0 1 0 254634897 11177984 1995 996147200 134512640 135239763 4294956176 18446744073709551615 134821027 0 0 4096 0 0 0 0 17 1 0 0 /proc/10445/statm: 2729 1995 431 177 0 1632 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16276 [startup+0.302793 s] /proc/loadavg: 2.01 2.02 2.00 10/97 10445 /proc/meminfo: memFree=1297264/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=0 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 254634896 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10442/statm: 1340 236 195 169 0 51 0 [pid=10445] ppid=10442 vsize=10916 CPUtime=0.28 /proc/10445/stat : 10445 (xsolve) R 10442 10442 8830 0 -1 4194304 2134 0 0 0 27 1 0 0 19 0 1 0 254634897 11177984 1995 996147200 134512640 135239763 4294956176 18446744073709551615 134820700 0 0 4096 0 0 0 0 17 1 0 0 /proc/10445/statm: 2729 1995 431 177 0 1632 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 16276 [startup+0.401821 s] /proc/loadavg: 2.01 2.02 2.00 10/97 10445 /proc/meminfo: memFree=1297264/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=0 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 254634896 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10442/statm: 1340 236 195 169 0 51 0 [pid=10445] ppid=10442 vsize=10916 CPUtime=0.38 /proc/10445/stat : 10445 (xsolve) R 10442 10442 8830 0 -1 4194304 2134 0 0 0 37 1 0 0 20 0 1 0 254634897 11177984 1995 996147200 134512640 135239763 4294956176 18446744073709551615 135019497 0 0 4096 0 0 0 0 17 1 0 0 /proc/10445/statm: 2729 1995 431 177 0 1632 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 16276 [startup+0.701872 s] /proc/loadavg: 2.01 2.02 2.00 10/97 10445 /proc/meminfo: memFree=1297264/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=0 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 254634896 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10442/statm: 1340 236 195 169 0 51 0 [pid=10445] ppid=10442 vsize=10916 CPUtime=0.65 /proc/10445/stat : 10445 (xsolve) R 10442 10442 8830 0 -1 4194304 2134 0 0 0 64 1 0 0 23 0 1 0 254634897 11177984 1995 996147200 134512640 135239763 4294956176 18446744073709551615 135020830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10445/statm: 2729 1995 431 177 0 1632 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 16276 [startup+1.50203 s] /proc/loadavg: 2.17 2.05 2.01 4/90 10486 /proc/meminfo: memFree=1292736/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=0 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 254634896 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10442/statm: 1340 236 195 169 0 51 0 [pid=10445] ppid=10442 vsize=10916 CPUtime=1.38 /proc/10445/stat : 10445 (xsolve) R 10442 10442 8830 0 -1 4194304 2134 0 0 0 137 1 0 0 25 0 1 0 254634897 11177984 1995 996147200 134512640 135239763 4294956176 18446744073709551615 135071106 0 0 4096 0 0 0 0 17 1 0 0 /proc/10445/statm: 2729 1995 431 177 0 1632 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 16276 [startup+3.10133 s] /proc/loadavg: 2.17 2.05 2.01 3/99 10515 /proc/meminfo: memFree=1290872/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=1.55 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 375 2730 0 0 0 0 154 1 19 0 1 0 254634896 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10442/statm: 1340 238 196 169 0 51 0 [pid=10501] ppid=10442 vsize=197020 CPUtime=1.33 /proc/10501/stat : 10501 (java) S 10442 10442 8830 0 -1 0 5173 0 1 0 128 5 0 0 20 0 9 0 254635067 201748480 4329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10501/statm: 49255 4329 1679 9 0 43837 0 [pid=10501/tid=10502] ppid=10442 vsize=197020 CPUtime=1.03 /proc/10501/task/10502/stat : 10502 (java) R 10442 10442 8830 0 -1 64 2767 0 1 0 102 1 0 0 25 0 9 0 254635068 201748480 4329 996147200 134512640 134550740 4294955968 18446744073709551615 4126441077 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10503] ppid=10442 vsize=197020 CPUtime=0.13 /proc/10501/task/10503/stat : 10503 (java) S 10442 10442 8830 0 -1 64 1066 0 0 0 11 2 0 0 16 0 9 0 254635069 201748480 4329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10504] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10504/stat : 10504 (java) S 10442 10442 8830 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 254635069 201748480 4329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10505] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10505/stat : 10505 (java) S 10442 10442 8830 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 254635069 201748480 4329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10506] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10506/stat : 10506 (java) S 10442 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 254635071 201748480 4329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10507] ppid=10442 vsize=197020 CPUtime=0.14 /proc/10501/task/10507/stat : 10507 (java) S 10442 10442 8830 0 -1 64 615 0 0 0 14 0 0 0 16 0 9 0 254635071 201748480 4329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10508] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10508/stat : 10508 (java) S 10442 10442 8830 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 254635071 201748480 4329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10509] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10509/stat : 10509 (java) S 10442 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 254635071 201748480 4329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.88 Current children cumulated vsize (KiB) 202380 [startup+6.30195 s] /proc/loadavg: 2.17 2.05 2.01 8/102 10655 /proc/meminfo: memFree=1277512/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=1.55 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 375 2730 0 0 0 0 154 1 19 0 1 0 254634896 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10442/statm: 1340 238 196 169 0 51 0 [pid=10501] ppid=10442 vsize=197020 CPUtime=4.27 /proc/10501/stat : 10501 (java) S 10442 10442 8830 0 -1 0 10042 0 1 0 415 12 0 0 20 0 9 0 254635067 201748480 8325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10501/statm: 49255 8325 2541 9 0 43837 0 [pid=10501/tid=10502] ppid=10442 vsize=197020 CPUtime=3.36 /proc/10501/task/10502/stat : 10502 (java) R 10442 10442 8830 0 -1 64 3556 0 1 0 333 3 0 0 25 0 9 0 254635068 201748480 8325 996147200 134512640 134550740 4294955968 18446744073709551615 4126439946 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10503] ppid=10442 vsize=197020 CPUtime=0.71 /proc/10501/task/10503/stat : 10503 (java) R 10442 10442 8830 0 -1 64 5130 0 0 0 64 7 0 0 15 0 9 0 254635069 201748480 8325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10504] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10504/stat : 10504 (java) S 10442 10442 8830 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 254635069 201748480 8325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10505] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10505/stat : 10505 (java) S 10442 10442 8830 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 254635069 201748480 8325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10506] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10506/stat : 10506 (java) S 10442 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 254635071 201748480 8325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10507] ppid=10442 vsize=197020 CPUtime=0.16 /proc/10501/task/10507/stat : 10507 (java) S 10442 10442 8830 0 -1 64 631 0 0 0 16 0 0 0 16 0 9 0 254635071 201748480 8325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10508] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10508/stat : 10508 (java) S 10442 10442 8830 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 254635071 201748480 8325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10509] ppid=10442 vsize=197020 CPUtime=0 /proc/10501/task/10509/stat : 10509 (java) S 10442 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 254635071 201748480 8325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.82 Current children cumulated vsize (KiB) 202380 [startup+12.7022 s] /proc/loadavg: 2.45 2.12 2.03 4/109 10892 /proc/meminfo: memFree=1210056/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=1.55 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 375 2730 0 0 0 0 154 1 19 0 1 0 254634896 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10442/statm: 1340 238 196 169 0 51 0 [pid=10501] ppid=10442 vsize=197344 CPUtime=5.63 /proc/10501/stat : 10501 (java) S 10442 10442 8830 0 -1 0 13964 0 1 0 546 17 0 0 20 0 10 0 254635067 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10501/statm: 49336 9480 2544 9 0 43918 0 [pid=10776] ppid=10501 vsize=5356 CPUtime=0 /proc/10776/stat : 10776 (abscon) S 10501 10442 8830 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 254635684 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/10776/statm: 1339 237 196 169 0 50 0 [pid=10777] ppid=10776 vsize=655388 CPUtime=4.46 /proc/10777/stat : 10777 (java) S 10776 10442 8830 0 -1 0 15573 0 1 0 436 10 0 0 25 0 9 0 254635685 671117312 14890 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10777/statm: 163847 14890 2616 9 0 158375 0 [pid=10777/tid=10779] ppid=10776 vsize=655388 CPUtime=4.15 /proc/10777/task/10779/stat : 10779 (java) R 10776 10442 8830 0 -1 64 12559 0 1 0 407 8 0 0 25 0 9 0 254635685 671117312 14890 996147200 134512640 134550740 4294955808 18446744073709551615 4126957824 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10777/tid=10780] ppid=10776 vsize=655388 CPUtime=0.05 /proc/10777/task/10780/stat : 10780 (java) S 10776 10442 8830 0 -1 64 1923 0 0 0 5 0 0 0 16 0 9 0 254635687 671117312 14890 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10777/tid=10781] ppid=10776 vsize=655388 CPUtime=0 /proc/10777/task/10781/stat : 10781 (java) S 10776 10442 8830 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 254635687 671117312 14890 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10777/tid=10782] ppid=10776 vsize=655388 CPUtime=0 /proc/10777/task/10782/stat : 10782 (java) S 10776 10442 8830 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 254635687 671117312 14890 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10777/tid=10783] ppid=10776 vsize=655388 CPUtime=0 /proc/10777/task/10783/stat : 10783 (java) S 10776 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 254635689 671117312 14890 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10777/tid=10784] ppid=10776 vsize=655388 CPUtime=0.23 /proc/10777/task/10784/stat : 10784 (java) S 10776 10442 8830 0 -1 64 545 0 0 0 23 0 0 0 16 0 9 0 254635689 671117312 14890 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10777/tid=10785] ppid=10776 vsize=655388 CPUtime=0 /proc/10777/task/10785/stat : 10785 (java) S 10776 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 254635689 671117312 14890 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10777/tid=10786] ppid=10776 vsize=655388 CPUtime=0 /proc/10777/task/10786/stat : 10786 (java) S 10776 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 254635689 671117312 14890 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10778] ppid=10776 vsize=7044 CPUtime=0 /proc/10778/stat : 10778 (translate) S 10776 10442 8830 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 254635685 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 214945202258 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/10778/statm: 1761 213 182 1 0 41 0 [pid=10501/tid=10502] ppid=10442 vsize=197344 CPUtime=4.34 /proc/10501/task/10502/stat : 10502 (java) S 10442 10442 8830 0 -1 64 3900 0 1 0 428 6 0 0 24 0 10 0 254635068 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=10501/tid=10503] ppid=10442 vsize=197344 CPUtime=1.04 /proc/10501/task/10503/stat : 10503 (java) S 10442 10442 8830 0 -1 64 8570 0 0 0 95 9 0 0 16 0 10 0 254635069 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10504] ppid=10442 vsize=197344 CPUtime=0 /proc/10501/task/10504/stat : 10504 (java) S 10442 10442 8830 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 254635069 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10505] ppid=10442 vsize=197344 CPUtime=0 /proc/10501/task/10505/stat : 10505 (java) S 10442 10442 8830 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 254635069 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10506] ppid=10442 vsize=197344 CPUtime=0 /proc/10501/task/10506/stat : 10506 (java) S 10442 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 254635071 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10507] ppid=10442 vsize=197344 CPUtime=0.22 /proc/10501/task/10507/stat : 10507 (java) S 10442 10442 8830 0 -1 64 671 0 0 0 22 0 0 0 16 0 10 0 254635071 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10508] ppid=10442 vsize=197344 CPUtime=0 /proc/10501/task/10508/stat : 10508 (java) S 10442 10442 8830 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 254635071 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10509] ppid=10442 vsize=197344 CPUtime=0 /proc/10501/task/10509/stat : 10509 (java) S 10442 10442 8830 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 254635071 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10775] ppid=10442 vsize=197344 CPUtime=0 /proc/10501/task/10775/stat : 10775 (java) S 10442 10442 8830 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 254635684 202080256 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.64 Current children cumulated vsize (KiB) 870492 [startup+25.5077 s] /proc/loadavg: 2.45 2.13 2.04 3/104 10948 /proc/meminfo: memFree=1186624/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=1.55 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 375 2730 0 0 0 0 154 1 19 0 1 0 254634896 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10442/statm: 1340 238 196 169 0 51 0 ################ # More data... # ################ /proc/10501/statm: 49417 9523 2545 9 0 43999 0 [pid=11039] ppid=10501 vsize=5356 CPUtime=0 /proc/11039/stat : 11039 (choco) S 10501 10442 8830 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 254716937 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11039/statm: 1339 238 197 169 0 50 0 [pid=11040] ppid=11039 vsize=656612 CPUtime=897.15 /proc/11040/stat : 11040 (java) S 11039 10442 8830 0 -1 0 15327 0 1 0 89212 503 0 0 20 0 9 0 254716938 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11040/statm: 164153 14828 1933 9 0 158682 0 [pid=11040/tid=11041] ppid=11039 vsize=656612 CPUtime=896.7 /proc/11040/task/11041/stat : 11041 (java) R 11039 10442 8830 0 -1 64 12231 0 1 0 89170 500 0 0 25 0 9 0 254716938 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11040/tid=11042] ppid=11039 vsize=656612 CPUtime=0.13 /proc/11040/task/11042/stat : 11042 (java) S 11039 10442 8830 0 -1 64 1917 0 0 0 12 1 0 0 16 0 9 0 254716940 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11040/tid=11043] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11043/stat : 11043 (java) S 11039 10442 8830 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 254716940 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11044] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11044/stat : 11044 (java) S 11039 10442 8830 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 254716940 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11045] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11045/stat : 11045 (java) S 11039 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11046] ppid=11039 vsize=656612 CPUtime=0.29 /proc/11040/task/11046/stat : 11046 (java) S 11039 10442 8830 0 -1 64 631 0 0 0 29 0 0 0 15 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11047] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11047/stat : 11047 (java) S 11039 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11048] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11048/stat : 11048 (java) S 11039 10442 8830 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10502] ppid=10442 vsize=197668 CPUtime=814.58 /proc/10501/task/10502/stat : 10502 (java) S 10442 10442 8830 0 -1 64 4054 18611 1 1 428 6 81007 17 16 0 10 0 254635068 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=10501/tid=10503] ppid=10442 vsize=197668 CPUtime=811.28 /proc/10501/task/10503/stat : 10503 (java) S 10442 10442 8830 0 -1 64 8609 18611 0 1 95 9 81007 17 16 0 10 0 254635069 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10504] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10504/stat : 10504 (java) S 10442 10442 8830 0 -1 64 11 18611 0 1 0 0 81007 17 16 0 10 0 254635069 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10505] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10505/stat : 10505 (java) S 10442 10442 8830 0 -1 64 5 18611 0 1 0 0 81007 17 15 0 10 0 254635069 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10506] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10506/stat : 10506 (java) S 10442 10442 8830 0 -1 64 1 18611 0 1 0 0 81007 17 25 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10507] ppid=10442 vsize=197668 CPUtime=810.46 /proc/10501/task/10507/stat : 10507 (java) S 10442 10442 8830 0 -1 64 701 18611 0 1 22 0 81007 17 16 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10508] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10508/stat : 10508 (java) S 10442 10442 8830 0 -1 64 0 18611 0 1 0 0 81007 17 25 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10509] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10509/stat : 10509 (java) S 10442 10442 8830 0 -1 64 38 18611 0 1 0 0 81007 17 15 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=11038] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/11038/stat : 11038 (java) S 10442 10442 8830 0 -1 64 53 18611 0 1 0 0 81007 17 17 0 10 0 254716937 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1714.59 Current children cumulated vsize (KiB) 864996 [startup+1782.3 s] /proc/loadavg: 2.00 2.16 2.32 3/103 11157 /proc/meminfo: memFree=868064/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=1.55 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 375 2730 0 0 0 0 154 1 19 0 1 0 254634896 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10442/statm: 1340 238 196 169 0 51 0 [pid=10501] ppid=10442 vsize=197668 CPUtime=815.89 /proc/10501/stat : 10501 (java) S 10442 10442 8830 0 -1 0 14305 18611 1 1 547 18 81007 17 20 0 10 0 254635067 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10501/statm: 49417 9523 2545 9 0 43999 0 [pid=11039] ppid=10501 vsize=5356 CPUtime=0 /proc/11039/stat : 11039 (choco) S 10501 10442 8830 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 254716937 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11039/statm: 1339 238 197 169 0 50 0 [pid=11040] ppid=11039 vsize=656612 CPUtime=957.12 /proc/11040/stat : 11040 (java) S 11039 10442 8830 0 -1 0 15332 0 1 0 95174 538 0 0 20 0 9 0 254716938 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11040/statm: 164153 14828 1933 9 0 158682 0 [pid=11040/tid=11041] ppid=11039 vsize=656612 CPUtime=956.67 /proc/11040/task/11041/stat : 11041 (java) R 11039 10442 8830 0 -1 64 12236 0 1 0 95132 535 0 0 25 0 9 0 254716938 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4127063997 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11040/tid=11042] ppid=11039 vsize=656612 CPUtime=0.13 /proc/11040/task/11042/stat : 11042 (java) S 11039 10442 8830 0 -1 64 1917 0 0 0 12 1 0 0 16 0 9 0 254716940 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11040/tid=11043] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11043/stat : 11043 (java) S 11039 10442 8830 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 254716940 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11044] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11044/stat : 11044 (java) S 11039 10442 8830 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 254716940 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11045] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11045/stat : 11045 (java) S 11039 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11046] ppid=11039 vsize=656612 CPUtime=0.29 /proc/11040/task/11046/stat : 11046 (java) S 11039 10442 8830 0 -1 64 631 0 0 0 29 0 0 0 15 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11047] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11047/stat : 11047 (java) S 11039 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11048] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11048/stat : 11048 (java) S 11039 10442 8830 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10502] ppid=10442 vsize=197668 CPUtime=814.58 /proc/10501/task/10502/stat : 10502 (java) S 10442 10442 8830 0 -1 64 4054 18611 1 1 428 6 81007 17 16 0 10 0 254635068 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=10501/tid=10503] ppid=10442 vsize=197668 CPUtime=811.28 /proc/10501/task/10503/stat : 10503 (java) S 10442 10442 8830 0 -1 64 8609 18611 0 1 95 9 81007 17 16 0 10 0 254635069 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10504] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10504/stat : 10504 (java) S 10442 10442 8830 0 -1 64 11 18611 0 1 0 0 81007 17 16 0 10 0 254635069 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10505] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10505/stat : 10505 (java) S 10442 10442 8830 0 -1 64 5 18611 0 1 0 0 81007 17 15 0 10 0 254635069 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10506] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10506/stat : 10506 (java) S 10442 10442 8830 0 -1 64 1 18611 0 1 0 0 81007 17 25 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10507] ppid=10442 vsize=197668 CPUtime=810.46 /proc/10501/task/10507/stat : 10507 (java) S 10442 10442 8830 0 -1 64 701 18611 0 1 22 0 81007 17 16 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10508] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10508/stat : 10508 (java) S 10442 10442 8830 0 -1 64 0 18611 0 1 0 0 81007 17 25 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10509] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10509/stat : 10509 (java) S 10442 10442 8830 0 -1 64 38 18611 0 1 0 0 81007 17 15 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=11038] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/11038/stat : 11038 (java) S 10442 10442 8830 0 -1 64 53 18611 0 1 0 0 81007 17 17 0 10 0 254716937 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1774.56 Current children cumulated vsize (KiB) 864996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1807.8 s] /proc/loadavg: 2.00 2.14 2.31 3/103 11157 /proc/meminfo: memFree=868000/2055920 swapFree=4180776/4192956 [pid=10442] ppid=10440 vsize=5360 CPUtime=1.55 /proc/10442/stat : 10442 (hydra) S 10440 10442 8830 0 -1 4194304 375 2730 0 0 0 0 154 1 19 0 1 0 254634896 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10442/statm: 1340 238 196 169 0 51 0 [pid=10501] ppid=10442 vsize=197668 CPUtime=815.89 /proc/10501/stat : 10501 (java) S 10442 10442 8830 0 -1 0 14305 18611 1 1 547 18 81007 17 20 0 10 0 254635067 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10501/statm: 49417 9523 2545 9 0 43999 0 [pid=11039] ppid=10501 vsize=5356 CPUtime=0 /proc/11039/stat : 11039 (choco) S 10501 10442 8830 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 254716937 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11039/statm: 1339 238 197 169 0 50 0 [pid=11040] ppid=11039 vsize=656612 CPUtime=982.62 /proc/11040/stat : 11040 (java) S 11039 10442 8830 0 -1 0 15334 0 1 0 97708 554 0 0 20 0 9 0 254716938 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11040/statm: 164153 14828 1933 9 0 158682 0 [pid=11040/tid=11041] ppid=11039 vsize=656612 CPUtime=982.17 /proc/11040/task/11041/stat : 11041 (java) R 11039 10442 8830 0 -1 64 12238 0 1 0 97666 551 0 0 25 0 9 0 254716938 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4127048658 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11040/tid=11042] ppid=11039 vsize=656612 CPUtime=0.13 /proc/11040/task/11042/stat : 11042 (java) S 11039 10442 8830 0 -1 64 1917 0 0 0 12 1 0 0 16 0 9 0 254716940 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11040/tid=11043] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11043/stat : 11043 (java) S 11039 10442 8830 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 254716940 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11044] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11044/stat : 11044 (java) S 11039 10442 8830 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 254716940 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11045] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11045/stat : 11045 (java) S 11039 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11046] ppid=11039 vsize=656612 CPUtime=0.29 /proc/11040/task/11046/stat : 11046 (java) S 11039 10442 8830 0 -1 64 631 0 0 0 29 0 0 0 15 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11047] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11047/stat : 11047 (java) S 11039 10442 8830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11040/tid=11048] ppid=11039 vsize=656612 CPUtime=0 /proc/11040/task/11048/stat : 11048 (java) S 11039 10442 8830 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 254716942 672370688 14828 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10502] ppid=10442 vsize=197668 CPUtime=814.58 /proc/10501/task/10502/stat : 10502 (java) S 10442 10442 8830 0 -1 64 4054 18611 1 1 428 6 81007 17 16 0 10 0 254635068 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=10501/tid=10503] ppid=10442 vsize=197668 CPUtime=811.28 /proc/10501/task/10503/stat : 10503 (java) S 10442 10442 8830 0 -1 64 8609 18611 0 1 95 9 81007 17 16 0 10 0 254635069 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10504] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10504/stat : 10504 (java) S 10442 10442 8830 0 -1 64 11 18611 0 1 0 0 81007 17 16 0 10 0 254635069 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10505] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10505/stat : 10505 (java) S 10442 10442 8830 0 -1 64 5 18611 0 1 0 0 81007 17 15 0 10 0 254635069 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10506] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10506/stat : 10506 (java) S 10442 10442 8830 0 -1 64 1 18611 0 1 0 0 81007 17 25 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10507] ppid=10442 vsize=197668 CPUtime=810.46 /proc/10501/task/10507/stat : 10507 (java) S 10442 10442 8830 0 -1 64 701 18611 0 1 22 0 81007 17 16 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10508] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10508/stat : 10508 (java) S 10442 10442 8830 0 -1 64 0 18611 0 1 0 0 81007 17 25 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=10509] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/10509/stat : 10509 (java) S 10442 10442 8830 0 -1 64 38 18611 0 1 0 0 81007 17 15 0 10 0 254635071 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10501/tid=11038] ppid=10442 vsize=197668 CPUtime=810.24 /proc/10501/task/11038/stat : 11038 (java) S 10442 10442 8830 0 -1 64 53 18611 0 1 0 0 81007 17 17 0 10 0 254716937 202412032 9523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 864996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10442 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=550764 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=22996 # CPU time returned by wait4() is 1.57376 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1807.84 CPU time (s): 1800.06 CPU user time (s): 1794.16 CPU system time (s): 5.9 CPU usage (%): 99.5699 Max. virtual memory (cumulated for all children) (KiB): 870492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.55076 system time used= 0.022996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3105 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25 involuntary context switches= 74 runsolver used 7.10992 second user time and 13.6929 second system time The end
Begin job on node85 at 2008-07-04 04:02:01 IDJOB=1063426 IDBENCH=54748 IDSOLVER=366 FILE ID=node85/1063426-1215136921 PBS_JOBID= 7877210 Free space on /tmp= 126848 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-gr4x6.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063426-1215136921/watcher-1063426-1215136921 -o /tmp/evaluation-result-1063426-1215136921/solver-1063426-1215136921 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1063426-1215136921.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 676da83a245da5754e645c85d459182b RANDOM SEED=900509813 node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1299368 kB Buffers: 35312 kB Cached: 503312 kB SwapCached: 6804 kB Active: 318000 kB Inactive: 398200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1299368 kB SwapTotal: 4192956 kB SwapFree: 4180776 kB Dirty: 24528 kB Writeback: 0 kB Mapped: 195192 kB Slab: 24400 kB Committed_AS: 1310404 kB PageTables: 2676 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 126840 MiB End job on node85 at 2008-07-04 04:32:12