Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.02 | 1811.54 |
Name | csp/pseudo/uclid/ normalized-ooo-burch-dill-8-accl.xml |
MD5SUM | a836148987a747fe0e78f1f820e1fc6b |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 21380 |
Number of constraints | 60983 |
Maximum constraint arity | 13 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 60983 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 11.55/11.78 c CASE TO CLASSIFY: 11.55/11.78 c Case: 0 11.55/11.79 c 19 > 96.464600 | c 35 > 26.930900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.184000 | c 15 > 20.298200 | c 34 > 42.870300 | c 16 > 13.000000 | c 13 > 8.248760 | c 14 > 10.118900 | c 11 > 14.383900 | c 12 > 4.333410 | c 21 > 1.414200 | c 20 > 3.535410 | 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 > 16.741800 | c 1 > 14.383900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.631600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.488600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.55/11.80 c choco : 1801.0 11.55/11.80 c mistral : 1801.0 11.55/11.80 c abscon : 1801.0 11.55/11.80 c 11.55/11.80 c 11.85/12.05 c List of same ones: 40 11.85/12.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf9.xml 11.85/12.05 c 19 > 96.824300 | c 35 > 26.551200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.515100 | c 15 > 19.485000 | c 34 > 42.158000 | c 16 > 13.000000 | c 13 > 6.330600 | c 14 > 8.903880 | c 11 > 14.319400 | c 12 > 3.231970 | c 21 > 1.414200 | c 20 > 3.175740 | 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 > 16.576900 | c 1 > 14.319400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.329200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.949700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.85/12.06 c choco : 1801.0 11.85/12.06 c mistral : 486.27 11.85/12.06 c abscon : 1800.1 11.85/12.06 c 11.85/12.06 c 11.85/12.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv10-ucl.xml 11.85/12.06 c 19 > 91.196100 | c 35 > 23.971400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.415800 | c 15 > 19.128100 | c 34 > 37.234200 | c 16 > 9.000000 | c 13 > 3.298200 | c 14 > 7.257390 | c 11 > 14.211400 | c 12 > 2.114260 | c 21 > 1.412310 | c 20 > 8.803860 | 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.053800 | c 1 > 13.117800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 16.691200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.85/12.07 c choco : 1801.0 11.85/12.07 c mistral : 6.01008 11.85/12.07 c abscon : 91.5061 11.85/12.07 c 11.85/12.07 c 11.85/12.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf8.xml 11.85/12.07 c 19 > 85.716000 | c 35 > 27.034100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.511400 | c 15 > 19.405500 | c 34 > 43.254200 | c 16 > 11.000000 | c 13 > 5.621090 | c 14 > 8.294620 | c 11 > 12.559600 | c 12 > 3.361290 | c 21 > 1.412930 | c 20 > 14.284000 | 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.024200 | c 1 > 12.559600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.217800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.859300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.85/12.08 c choco : 105.94 11.85/12.08 c mistral : 13.16 11.85/12.08 c abscon : 104.611 11.85/12.08 c 11.85/12.08 c 11.85/12.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/37s-smv.xml 11.85/12.08 c 19 > 87.995000 | c 35 > 26.587100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.549300 | c 15 > 19.437700 | c 34 > 42.721600 | c 16 > 11.000000 | c 13 > 4.848390 | c 14 > 9.807350 | c 11 > 11.935500 | c 12 > 3.277080 | c 21 > 1.393860 | c 20 > 12.005000 | 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.492900 | c 1 > 10.131900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.574100 | c 6 > 3.584960 | c 32 > -1.000000 | c 5 > 16.299000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.85/12.09 c choco : 1801.0 11.85/12.09 c mistral : 21.11 11.85/12.09 c abscon : 101.771 11.85/12.09 c 11.85/12.09 c 11.85/12.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv8-ucl.xml 11.85/12.09 c 19 > 87.661300 | c 35 > 24.972600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.627600 | c 15 > 19.261800 | c 34 > 39.123500 | c 16 > 9.000000 | c 13 > 4.107600 | c 14 > 8.661780 | c 11 > 12.759700 | c 12 > 2.349210 | c 21 > 1.414210 | c 20 > 12.338700 | 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.356900 | c 1 > 11.201500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.161100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.786300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.85/12.10 c choco : 9.84 11.85/12.10 c mistral : 1.89971 11.85/12.10 c abscon : 16.4835 11.85/12.10 c 11.85/12.10 c 11.85/12.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf7.xml 11.85/12.10 c 19 > 85.443800 | c 35 > 26.109400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.095100 | c 15 > 19.030500 | c 34 > 41.303600 | c 16 > 11.000000 | c 13 > 5.954350 | c 14 > 8.581200 | c 11 > 13.676400 | c 12 > 2.553270 | c 21 > 1.412320 | c 20 > 14.556200 | 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.214900 | c 1 > 11.859500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.302200 | c 6 > 2.321930 | c 32 > -1.000000 | c 5 > 17.739800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.93/12.11 c choco : 782.2 11.93/12.11 c mistral : 251.58 11.93/12.11 c abscon : 320.647 11.93/12.11 c 11.93/12.11 c 11.93/12.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf6.xml 11.93/12.11 c 19 > 84.827600 | c 35 > 26.211000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.105500 | c 15 > 19.134800 | c 34 > 41.578100 | c 16 > 9.000000 | c 13 > 5.711110 | c 14 > 9.002820 | c 11 > 12.712500 | c 12 > 3.225330 | c 21 > 1.410880 | c 20 > 15.172400 | 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.149400 | c 1 > 10.803300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.264700 | c 6 > 2.000000 | c 32 > -1.000000 | c 5 > 16.034100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.93/12.12 c choco : 28.2 11.93/12.12 c mistral : 5.10822 11.93/12.12 c abscon : 56.1605 11.93/12.12 c 11.93/12.12 c 11.93/12.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf7.xml 11.93/12.12 c 19 > 84.617700 | c 35 > 27.276000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.976700 | c 15 > 17.621300 | c 34 > 43.879900 | c 16 > 11.000000 | c 13 > 4.848120 | c 14 > 8.252670 | c 11 > 12.330900 | c 12 > 2.439020 | c 21 > 1.410480 | c 20 > 15.382300 | 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.744400 | c 1 > 10.359700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.983000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.359300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.93/12.12 c choco : 7.85 11.93/12.12 c mistral : 0.439932 11.93/12.12 c abscon : 5.2372 11.93/12.12 c 11.93/12.12 c 11.93/12.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-12-16.xml 11.93/12.12 c 19 > 96.228700 | c 35 > 31.725800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.526000 | c 15 > 18.840600 | c 34 > 53.130800 | c 16 > 29.000000 | c 13 > 3.183720 | c 14 > 10.765700 | c 11 > 12.186700 | c 12 > 4.473390 | c 21 > 1.414210 | c 20 > 3.771280 | 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.608100 | c 1 > 12.186700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.232600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.268800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.93/12.13 c choco : 1801.0 11.93/12.13 c mistral : 554.94 11.93/12.13 c abscon : 1800.07 11.93/12.13 c 11.93/12.13 c 11.93/12.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-13.xml 11.93/12.13 c 19 > 96.152600 | c 35 > 31.743800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.514400 | c 15 > 18.917900 | c 34 > 53.167200 | c 16 > 29.000000 | c 13 > 3.193410 | c 14 > 10.755700 | c 11 > 12.177400 | c 12 > 4.449120 | c 21 > 1.414210 | c 20 > 3.847390 | 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.580100 | c 1 > 12.177400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.217200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.241600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.93/12.14 c choco : 1801.0 11.93/12.14 c mistral : 926.13 11.93/12.14 c abscon : 1800.08 11.93/12.14 c 11.93/12.14 c 11.93/12.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-98.xml 11.93/12.14 c 19 > 83.428400 | c 35 > 36.655300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.057000 | c 15 > 17.235500 | c 34 > 44.998100 | c 16 > 22.000000 | c 13 > 0.341304 | c 14 > 8.823370 | c 11 > 13.799600 | c 12 > 0.730699 | c 21 > 1.414140 | c 20 > 16.571600 | 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.775800 | c 1 > 12.174600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.234200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.478800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.93/12.15 c choco : 9.0 11.93/12.15 c mistral : 1.57 11.93/12.15 c abscon : 4.20736 11.93/12.15 c 11.93/12.15 c 11.93/12.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-100.xml 11.93/12.15 c 19 > 83.402500 | c 35 > 37.196200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.041500 | c 15 > 18.523500 | c 34 > 45.536500 | c 16 > 24.000000 | c 13 > 0.360403 | c 14 > 9.924810 | c 11 > 13.421900 | c 12 > 1.654670 | c 21 > 1.414180 | c 20 > 16.597500 | 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.058100 | c 1 > 13.421900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.530600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.765900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.93/12.17 c choco : 21.59 11.93/12.17 c mistral : 2.67 11.93/12.17 c abscon : 27.9078 11.93/12.17 c 11.93/12.17 c 11.93/12.17 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-98.xml 11.93/12.17 c 19 > 83.754300 | c 35 > 37.136600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.252600 | c 15 > 18.553600 | c 34 > 45.512000 | c 16 > 25.000000 | c 13 > 0.359948 | c 14 > 9.911390 | c 11 > 13.423800 | c 12 > 1.642270 | c 21 > 1.414180 | c 20 > 16.245700 | 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.049700 | c 1 > 13.423800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.518600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.789700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.93/12.18 c choco : 23.15 11.93/12.18 c mistral : 2.66 11.93/12.18 c abscon : 28.4847 11.93/12.18 c 11.93/12.18 c 11.93/12.18 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-100.xml 11.93/12.18 c 19 > 83.121800 | c 35 > 36.849800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.873100 | c 15 > 17.267300 | c 34 > 45.162000 | c 16 > 23.000000 | c 13 > 0.356037 | c 14 > 8.954200 | c 11 > 13.814000 | c 12 > 0.734359 | c 21 > 1.414140 | c 20 > 16.878200 | 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.791000 | c 1 > 12.172400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.256500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.507700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.93/12.19 c choco : 8.83 11.93/12.19 c mistral : 1.53 11.93/12.19 c abscon : 3.86341 11.93/12.19 c 11.93/12.19 c 11.93/12.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.5-100.xml 11.93/12.19 c 19 > 84.954300 | c 35 > 37.254800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.972600 | c 15 > 17.510000 | c 34 > 45.750300 | c 16 > 27.000000 | c 13 > 0.343706 | c 14 > 8.577430 | c 11 > 13.786800 | c 12 > 0.737149 | c 21 > 1.414130 | c 20 > 15.045700 | 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.759800 | c 1 > 12.118300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.241800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.713900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.20 c choco : 8.64 12.00/12.20 c mistral : 1.51 12.00/12.20 c abscon : 4.21336 12.00/12.20 c 12.00/12.20 c 12.00/12.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/25s-smv.xml 12.00/12.20 c 19 > 81.899000 | c 35 > 34.137800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.248800 | c 15 > 19.683600 | c 34 > 57.433700 | c 16 > 15.000000 | c 13 > 8.543310 | c 14 > 10.347600 | c 11 > 11.964000 | c 12 > 5.683650 | c 21 > 1.337030 | c 20 > 18.101000 | 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.377800 | c 1 > 11.964000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.025600 | c 6 > 8.285400 | c 32 > -1.000000 | c 5 > 21.753700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.21 c choco : 1801.0 12.00/12.21 c mistral : 7.27 12.00/12.21 c abscon : 1800.14 12.00/12.21 c 12.00/12.21 c 12.00/12.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-98.xml 12.00/12.21 c 19 > 81.888200 | c 35 > 35.038500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.132900 | c 15 > 14.612200 | c 34 > 43.227400 | c 16 > 18.000000 | c 13 > 0.304654 | c 14 > 6.266790 | c 11 > 11.374000 | c 12 > 0.712184 | c 21 > 1.413820 | c 20 > 18.111800 | 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.343700 | c 1 > 9.821770 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.772300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.889000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.21 c choco : 3.35 12.00/12.21 c mistral : 0.159974 12.00/12.21 c abscon : 1.38479 12.00/12.21 c 12.00/12.21 c 12.00/12.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.5-100.xml 12.00/12.21 c 19 > 84.373400 | c 35 > 36.723700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.624100 | c 15 > 18.773900 | c 34 > 45.161000 | c 16 > 31.000000 | c 13 > 0.339423 | c 14 > 9.884170 | c 11 > 13.394900 | c 12 > 1.667390 | c 21 > 1.414180 | c 20 > 15.626600 | 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.046400 | c 1 > 13.394900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.530900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.979700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.22 c choco : 22.47 12.00/12.22 c mistral : 2.7 12.00/12.22 c abscon : 28.0167 12.00/12.22 c 12.00/12.22 c 12.00/12.22 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-100.xml 12.00/12.22 c 19 > 82.015100 | c 35 > 35.593200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.209000 | c 15 > 14.716000 | c 34 > 43.794700 | c 16 > 20.000000 | c 13 > 0.316783 | c 14 > 6.426260 | c 11 > 11.440900 | c 12 > 0.715530 | c 21 > 1.413830 | c 20 > 17.984900 | 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.408300 | c 1 > 9.865730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.851000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.985300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.23 c choco : 3.46 12.00/12.23 c mistral : 0.165974 12.00/12.23 c abscon : 1.48277 12.00/12.23 c 12.00/12.23 c 12.00/12.23 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml 12.00/12.23 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.659700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.011290 | c 14 > 11.151700 | c 11 > 9.216750 | c 12 > 6.484070 | c 21 > 2.000000 | c 20 > 0.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 > -1.000000 | c 10 > 12.676200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.216700 | c 31 > -1.000000 | c 4 > 9.216750 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.24 c choco : 1801.0 12.00/12.24 c mistral : 1053.11 12.00/12.24 c abscon : 4.93525 12.00/12.24 c 12.00/12.24 c 12.00/12.24 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml 12.00/12.24 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.714900 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.567570 | c 14 > 11.431000 | c 11 > 9.131860 | c 12 > 6.926300 | c 21 > 2.000000 | c 20 > 0.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 > -1.000000 | c 10 > 12.546900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.131900 | c 31 > -1.000000 | c 4 > 9.131860 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.24 c choco : 1801.0 12.00/12.24 c mistral : 26.38 12.00/12.24 c abscon : 9.93749 12.00/12.24 c 12.00/12.24 c 12.00/12.24 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml 12.00/12.24 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.846800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.663050 | c 14 > 11.258000 | c 11 > 9.044390 | c 12 > 7.151360 | c 21 > 2.000000 | c 20 > 0.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 > -1.000000 | c 10 > 12.413600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.044400 | c 31 > -1.000000 | c 4 > 9.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.25 c choco : 1801.0 12.00/12.25 c mistral : 20.05 12.00/12.25 c abscon : 4.68729 12.00/12.25 c 12.00/12.25 c 12.00/12.25 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml 12.00/12.25 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.893500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.099220 | c 14 > 11.470700 | c 11 > 8.954200 | c 12 > 7.521510 | c 21 > 2.000000 | c 20 > 0.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 > -1.000000 | c 10 > 12.276100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.954200 | c 31 > -1.000000 | c 4 > 8.954200 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.25 c choco : 1801.0 12.00/12.25 c mistral : 3.82 12.00/12.25 c abscon : 2.82057 12.00/12.25 c 12.00/12.25 c 12.00/12.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-100.xml 12.00/12.25 c 19 > 80.400000 | c 35 > 33.780000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.240000 | c 15 > 13.281900 | c 34 > 41.820000 | c 16 > 16.000000 | c 13 > 0.325073 | c 14 > 5.781360 | c 11 > 10.253800 | c 12 > 0.694520 | c 21 > 1.413400 | c 20 > 19.600000 | 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.215500 | c 1 > 8.761550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.620220 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.594100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.26 c choco : 2.44 12.00/12.26 c mistral : 0.067988 12.00/12.26 c abscon : 1.14282 12.00/12.26 c 12.00/12.26 c 12.00/12.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.5-100.xml 12.00/12.26 c 19 > 80.023100 | c 35 > 35.034600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.013900 | c 15 > 14.422500 | c 34 > 43.037000 | c 16 > 20.000000 | c 13 > 0.307201 | c 14 > 6.686500 | c 11 > 11.135700 | c 12 > 0.695202 | c 21 > 1.413760 | c 20 > 19.976900 | 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.082100 | c 1 > 9.598050 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.526500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.693700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.27 c choco : 3.1 12.00/12.27 c mistral : 0.133979 12.00/12.27 c abscon : 1.3158 12.00/12.27 c 12.00/12.27 c 12.00/12.27 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml 12.00/12.27 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 15.187400 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 3.029710 | c 14 > 8.285400 | c 11 > 8.764870 | c 12 > 4.249850 | c 21 > 2.000000 | c 20 > 0.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 > -1.000000 | c 10 > 11.987300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.764900 | c 31 > -1.000000 | c 4 > 8.764870 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.27 c choco : 6.47 12.00/12.27 c mistral : 0.41 12.00/12.27 c abscon : 2.32765 12.00/12.27 c 12.00/12.27 c 12.00/12.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-98.xml 12.00/12.27 c 19 > 79.831900 | c 35 > 33.655500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 47.899200 | c 15 > 13.155300 | c 34 > 41.638700 | c 16 > 16.000000 | c 13 > 0.306703 | c 14 > 5.426260 | c 11 > 10.174900 | c 12 > 0.695439 | c 21 > 1.413350 | c 20 > 20.168100 | 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.137000 | c 1 > 8.679480 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.543030 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.478800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.28 c choco : 2.37 12.00/12.28 c mistral : 0.066989 12.00/12.28 c abscon : 1.19982 12.00/12.28 c 12.00/12.28 c 12.00/12.28 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml 12.00/12.28 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.462300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.824500 | c 14 > 8.022370 | c 11 > 8.228820 | c 12 > 3.986710 | c 21 > 2.000000 | c 20 > 0.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 > -1.000000 | c 10 > 11.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.228800 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.28 c choco : 4.54 12.00/12.28 c mistral : 0.22 12.00/12.28 c abscon : 1.44478 12.00/12.28 c 12.00/12.28 c 12.00/12.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.5-100.xml 12.00/12.28 c 19 > 79.523800 | c 35 > 33.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 47.714300 | c 15 > 13.153200 | c 34 > 41.785700 | c 16 > 18.000000 | c 13 > 0.295546 | c 14 > 5.491850 | c 11 > 10.019600 | c 12 > 0.684313 | c 21 > 1.413260 | c 20 > 20.476200 | 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.967230 | c 1 > 8.535280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.381540 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.446300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.29 c choco : 2.29 12.00/12.29 c mistral : 0.064989 12.00/12.29 c abscon : 1.10083 12.00/12.29 c 12.00/12.29 c 12.00/12.29 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml 12.00/12.29 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.540600 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 4.542180 | c 14 > 6.209450 | c 11 > 6.044390 | c 12 > 5.198780 | c 21 > 2.000000 | c 20 > 0.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 > -1.000000 | c 10 > 10.044400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.044390 | c 31 > -1.000000 | c 4 > 6.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.00/12.30 c choco : 2.93 12.00/12.30 c mistral : 1800.03 12.00/12.30 c abscon : 753.112 12.00/12.30 c 12.00/12.30 c 12.00/12.30 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml 12.00/12.30 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.500500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.992500 | c 14 > 13.532200 | c 11 > 6.906890 | c 12 > 11.311300 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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.129280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.491850 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.30 c choco : 11.33 12.05/12.30 c mistral : 0.71 12.05/12.30 c abscon : 1.44378 12.05/12.30 c 12.05/12.30 c 12.05/12.30 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml 12.05/12.30 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.572500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.863200 | c 14 > 13.762900 | c 11 > 6.714250 | c 12 > 11.623500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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.829720 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.299210 | c 31 > -1.000000 | c 4 > 6.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.31 c choco : 2.57 12.05/12.31 c mistral : 0.23 12.05/12.31 c abscon : 1.16082 12.05/12.31 c 12.05/12.31 c 12.05/12.31 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml 12.05/12.31 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.531800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.088490 | c 14 > 10.597100 | c 11 > 4.584960 | c 12 > 9.666960 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 7.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.31 c choco : 7.04 12.05/12.31 c mistral : 0.39 12.05/12.31 c abscon : 1.11383 12.05/12.31 c 12.05/12.31 c 12.05/12.31 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-13-3.xml 12.05/12.31 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.997200 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.840080 | c 14 > 5.781360 | c 11 > 6.285400 | c 12 > 2.957770 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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.159870 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.870360 | c 31 > -1.000000 | c 4 > 6.285400 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.32 c choco : 1.92 12.05/12.32 c mistral : 0.03 12.05/12.32 c abscon : 0.867867 12.05/12.32 c 12.05/12.32 c 12.05/12.32 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-10-3.xml 12.05/12.32 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 9.375040 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.310420 | c 14 > 5.321930 | c 11 > 5.491850 | c 12 > 2.485430 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 6.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.076820 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.33 c choco : 1.46 12.05/12.33 c mistral : 0.02 12.05/12.33 c abscon : 0.777881 12.05/12.33 c 12.05/12.33 c 12.05/12.33 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-23-3.xml 12.05/12.33 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.115000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.705710 | c 14 > 3.807350 | c 11 > 4.523560 | c 12 > 3.498810 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 6.918860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.108520 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.34 c choco : 1.45 12.05/12.34 c mistral : 0.08 12.05/12.34 c abscon : 0.737886 12.05/12.34 c 12.05/12.34 c 12.05/12.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf6.xml 12.05/12.34 c 19 > 76.335900 | c 35 > 26.946600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 52.442700 | c 15 > 9.592460 | c 34 > 43.358800 | c 16 > 7.000000 | c 13 > 1.245600 | c 14 > 1.584960 | c 11 > 7.888740 | c 12 > 1.428670 | c 21 > 1.392950 | c 20 > 23.664100 | 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.076820 | c 1 > 5.977280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.442940 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.579300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.34 c choco : 1.54 12.05/12.34 c mistral : 0.02 12.05/12.34 c abscon : 0.748886 12.05/12.34 c 12.05/12.34 c 12.05/12.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-4-3.xml 12.05/12.34 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | 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.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.35 c choco : 3.29 12.05/12.35 c mistral : 0.25796 12.05/12.35 c abscon : 1.26581 12.05/12.35 c 12.05/12.35 c 12.05/12.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-4-3.xml 12.05/12.35 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | 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.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.36 c choco : 3.26 12.05/12.36 c mistral : 0.25996 12.05/12.36 c abscon : 1.22581 12.05/12.36 c 12.05/12.36 c 12.05/12.36 c /home/eomahony/cpZilla/CSP/zhou/schur.xml 12.05/12.36 c 19 > 100.000000 | c 35 > 29.818200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 14.850400 | c 34 > 40.000000 | c 16 > 3.000000 | c 13 > 4.983360 | c 14 > 5.906890 | c 11 > 6.781360 | c 12 > 5.768670 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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.562700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.103290 | c 31 > -1.000000 | c 4 > 6.781360 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.05/12.36 c choco : 5.74 12.05/12.36 c mistral : 0.291955 12.05/12.36 c abscon : 2.07068 12.05/12.36 c 12.05/12.36 c 12.05/12.37 c Length: 40 12.05/12.37 c 2.909873600089874 13.655861248225982 16.304070907987988 16.364673846539077 16.796834648057953 17.499461790040865 19.439839409259534 19.689872811552142 21.3183233566573 21.342011578272093 26.247809153376153 26.548021574189836 26.56330722605045 27.0127490421288 27.045769428377092 28.194391935757366 28.797421163323154 28.962926739875044 29.130623642112933 31.21740412724447 31.274889529007133 31.317292584624873 31.391625125083923 31.41403945042199 31.575525475879978 32.1718743551895 32.235814347362 32.59880309688532 32.9930480446761 33.48831144823967 33.563220020299006 33.78635029832906 34.721104237391415 35.20431417059989 36.50764362828968 36.728963989342255 38.46420890722959 40.048050127885126 40.048050127885126 41.237241643320424 12.05/12.37 c 12.05/12.37 c 1.0 0.7810219517955929 0.7410326385721845 0.7401653756331643 0.7340392706432591 0.7242927555080615 0.6986735473939477 0.6955035225343065 0.6755409462585913 0.6752590135081757 0.6215386255780224 0.6185273762992816 0.6183748356111047 0.6139230908537776 0.6135985484534887 0.6025189665801968 0.59686083336334 0.5953264570027657 0.5937797906456185 0.5751846084487711 0.574688828925907 0.5743236736079511 0.5736846749505679 0.5734922694468084 0.5721098718875435 0.5670620798011867 0.5665261423046766 0.563502710812446 0.5602552859459675 0.5562284273062257 0.5556243993898375 0.553832929173417 0.5464518647970767 0.5427129210589683 0.5328786161684784 0.5312439290294282 0.518766708199324 0.5078790362025154 0.5078790362025154 0.5 12.05/12.38 c 12.05/12.38 c solver 0 12.05/12.38 c before 0.0 seconds: {} 0 12.05/12.38 c before 18.0 seconds: {4, 7, 10, 13, 14, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15467 12.05/12.38 c before 36.0 seconds: {4, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17299 12.05/12.38 c before 72.0 seconds: {4, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17998 12.05/12.38 c before 108.0 seconds: {1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20260 12.05/12.38 c before 324.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20984 12.05/12.38 c before 756.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21540 12.05/12.38 c 12.05/12.38 c solver 1 12.05/12.38 c before 0.0 seconds: {} 0 12.05/12.38 c before 18.0 seconds: {1, 2, 4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18398 12.05/12.38 c before 36.0 seconds: {1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20287 12.05/12.38 c before 252.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21012 12.05/12.38 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22012 12.05/12.38 c before 558.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22687 12.05/12.38 c before 936.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, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23362 12.05/12.38 c before 1062.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, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23938 12.05/12.38 c 12.05/12.38 c solver 2 12.05/12.38 c before 0.0 seconds: {} 0 12.05/12.38 c before 18.0 seconds: {4, 7, 10, 13, 14, 16, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13725 12.05/12.38 c before 36.0 seconds: {4, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16256 12.05/12.38 c before 108.0 seconds: {2, 4, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16997 12.05/12.38 c before 792.0 seconds: {2, 4, 5, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17721 12.05/12.38 c 12.05/12.38 cTotal time: 145 12.05/12.39 c run abscon for 756.0 seconds {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21540 12.05/12.39 c run mistral for 936.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, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23362 12.05/12.39 c run choco for 108.0 seconds {2, 4, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16997 12.05/12.39 c Starting solver: HOME/cpHydra_k_40/solver/abscon 12.05/12.39 c On Instance: HOME/instance-1064938-1215144862.xml 12.05/12.39 c Running for: 756 seconds 770.91/771.56 c Starting solver: HOME/cpHydra_k_40/solver/mistral 770.91/771.56 c On Instance: HOME/instance-1064938-1215144862.xml 770.91/771.56 c Running for: 936 seconds 1706.76/1716.49 c Starting solver: HOME/cpHydra_k_40/solver/choco 1706.76/1716.49 c On Instance: HOME/instance-1064938-1215144862.xml 1706.76/1716.49 c Running for: 108 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-1064938-1215144862/watcher-1064938-1215144862 -o /tmp/evaluation-result-1064938-1215144862/solver-1064938-1215144862 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1064938-1215144862.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.00 2.00 2.00 4/80 22169 /proc/meminfo: memFree=1616240/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=18572 CPUtime=0 /proc/22169/stat : 22169 (runsolver) R 22167 22169 18683 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1993459524 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 213116316967 0 0 4096 24578 0 0 0 17 1 0 0 /proc/22169/statm: 4643 292 257 25 0 2626 0 [startup+0.0559189 s] /proc/loadavg: 2.00 2.00 2.00 4/80 22169 /proc/meminfo: memFree=1616240/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=0 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993459524 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101923 s] /proc/loadavg: 2.00 2.00 2.00 4/80 22169 /proc/meminfo: memFree=1616240/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=0 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993459524 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301945 s] /proc/loadavg: 2.00 2.00 2.00 4/80 22169 /proc/meminfo: memFree=1616240/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=0 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993459524 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701989 s] /proc/loadavg: 2.00 2.00 2.00 4/80 22169 /proc/meminfo: memFree=1616240/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=0 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993459524 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50108 s] /proc/loadavg: 2.00 2.00 2.00 3/82 22173 /proc/meminfo: memFree=1598816/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=0 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993459524 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 236 195 169 0 51 0 [pid=22173] ppid=22169 vsize=28360 CPUtime=1.45 /proc/22173/stat : 22173 (xsolve) R 22169 22169 18683 0 -1 4194304 6513 0 0 0 143 2 0 0 25 0 1 0 1993459525 29040640 6309 996147200 134512640 135239763 4294956176 18446744073709551615 134683419 0 0 4096 0 0 0 0 17 1 0 0 /proc/22173/statm: 7090 6309 375 177 0 5993 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 33720 [startup+3.10125 s] /proc/loadavg: 2.00 2.00 2.00 3/82 22173 /proc/meminfo: memFree=1583584/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=0 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993459524 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 236 195 169 0 51 0 [pid=22173] ppid=22169 vsize=53740 CPUtime=3.04 /proc/22173/stat : 22173 (xsolve) R 22169 22169 18683 0 -1 4194304 13185 0 0 0 298 6 0 0 25 0 1 0 1993459525 55029760 12690 996147200 134512640 135239763 4294956176 18446744073709551615 134683382 0 0 4096 0 0 0 0 17 1 0 0 /proc/22173/statm: 13435 12690 376 177 0 12338 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 59100 [startup+6.3026 s] /proc/loadavg: 2.00 2.00 2.00 3/82 22173 /proc/meminfo: memFree=1465256/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=5.85 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 375 40368 0 0 0 0 566 19 20 0 1 0 1993459524 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 5.85 Current children cumulated vsize (KiB) 5360 [startup+12.7023 s] /proc/loadavg: 2.08 2.02 2.01 4/90 22185 /proc/meminfo: memFree=1583272/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=5.85 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 375 40368 0 0 0 0 566 19 20 0 1 0 1993459524 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 238 196 169 0 51 0 [pid=22177] ppid=22169 vsize=197436 CPUtime=6.27 /proc/22177/stat : 22177 (java) S 22169 22169 18683 0 -1 0 14009 0 1 0 609 18 0 0 18 0 10 0 1993460118 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22177/statm: 49359 9563 2544 9 0 43941 0 [pid=22177/tid=22178] ppid=22169 vsize=197436 CPUtime=4.91 /proc/22177/task/22178/stat : 22178 (java) S 22169 22169 18683 0 -1 64 3988 0 1 0 484 7 0 0 25 0 10 0 1993460119 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22177/tid=22179] ppid=22169 vsize=197436 CPUtime=1.1 /proc/22177/task/22179/stat : 22179 (java) S 22169 22169 18683 0 -1 64 8551 0 0 0 101 9 0 0 16 0 10 0 1993460120 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22180] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22180/stat : 22180 (java) S 22169 22169 18683 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993460120 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22181] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22181/stat : 22181 (java) S 22169 22169 18683 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993460120 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22182] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22182/stat : 22182 (java) S 22169 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993460123 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22183] ppid=22169 vsize=197436 CPUtime=0.23 /proc/22177/task/22183/stat : 22183 (java) S 22169 22169 18683 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1993460123 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22184] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22184/stat : 22184 (java) S 22169 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993460123 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22185] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22185/stat : 22185 (java) S 22169 22169 18683 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1993460123 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.12 Current children cumulated vsize (KiB) 202796 [startup+25.5027 s] /proc/loadavg: 2.07 2.02 2.00 4/102 22197 /proc/meminfo: memFree=1342536/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=5.85 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 375 40368 0 0 0 0 566 19 20 0 1 0 1993459524 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 238 196 169 0 51 0 [pid=22177] ppid=22169 vsize=197436 CPUtime=6.27 /proc/22177/stat : 22177 (java) S 22169 22169 18683 0 -1 0 14035 0 1 0 609 18 0 0 18 0 10 0 1993460118 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22177/statm: 49359 9563 2544 9 0 43941 0 [pid=22187] ppid=22177 vsize=5356 CPUtime=0 /proc/22187/stat : 22187 (abscon) S 22177 22169 18683 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1993460764 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22187/statm: 1339 237 196 169 0 50 0 [pid=22188] ppid=22187 vsize=655704 CPUtime=13.08 /proc/22188/stat : 22188 (java) S 22187 22169 18683 0 -1 0 66759 0 1 0 1060 248 0 0 18 0 9 0 1993460764 671440896 63582 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22188/statm: 163926 63582 2616 9 0 158454 0 [pid=22188/tid=22190] ppid=22187 vsize=655704 CPUtime=10.2 /proc/22188/task/22190/stat : 22190 (java) R 22187 22169 18683 0 -1 64 12566 0 1 0 794 226 0 0 25 0 9 0 1993460765 671440896 63582 996147200 134512640 134550740 4294955808 18446744073709551615 4127407221 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22191] ppid=22187 vsize=655704 CPUtime=2.46 /proc/22188/task/22191/stat : 22191 (java) S 22187 22169 18683 0 -1 64 52878 0 0 0 227 19 0 0 16 0 9 0 1993460766 671440896 63582 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22192] ppid=22187 vsize=655704 CPUtime=0 /proc/22188/task/22192/stat : 22192 (java) S 22187 22169 18683 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993460767 671440896 63582 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22193] ppid=22187 vsize=655704 CPUtime=0 /proc/22188/task/22193/stat : 22193 (java) S 22187 22169 18683 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 1993460767 671440896 63582 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22194] ppid=22187 vsize=655704 CPUtime=0 /proc/22188/task/22194/stat : 22194 (java) S 22187 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993460768 671440896 63582 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22195] ppid=22187 vsize=655704 CPUtime=0.39 /proc/22188/task/22195/stat : 22195 (java) S 22187 22169 18683 0 -1 64 756 0 0 0 38 1 0 0 16 0 9 0 1993460768 671440896 63582 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22196] ppid=22187 vsize=655704 CPUtime=0 /proc/22188/task/22196/stat : 22196 (java) S 22187 22169 18683 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1993460768 671440896 63582 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22197] ppid=22187 vsize=655704 CPUtime=0 /proc/22188/task/22197/stat : 22197 (java) S 22187 22169 18683 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993460769 671440896 63582 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22189] ppid=22187 vsize=7044 CPUtime=0 /proc/22189/stat : 22189 (translate) S 22187 22169 18683 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993460765 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22189/statm: 1761 213 182 1 0 41 0 [pid=22177/tid=22178] ppid=22169 vsize=197436 CPUtime=4.91 /proc/22177/task/22178/stat : 22178 (java) S 22169 22169 18683 0 -1 64 3988 0 1 0 484 7 0 0 25 0 10 0 1993460119 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22177/tid=22179] ppid=22169 vsize=197436 CPUtime=1.1 /proc/22177/task/22179/stat : 22179 (java) S 22169 22169 18683 0 -1 64 8553 0 0 0 101 9 0 0 16 0 10 0 1993460120 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22180] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22180/stat : 22180 (java) S 22169 22169 18683 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993460120 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22181] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22181/stat : 22181 (java) S 22169 22169 18683 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993460120 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22182] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22182/stat : 22182 (java) S 22169 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993460123 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22183] ppid=22169 vsize=197436 CPUtime=0.23 /proc/22177/task/22183/stat : 22183 (java) S 22169 22169 18683 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1993460123 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22184] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22184/stat : 22184 (java) S 22169 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993460123 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22185] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22185/stat : 22185 (java) S 22169 22169 18683 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1993460123 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22186] ppid=22169 vsize=197436 CPUtime=0 /proc/22177/task/22186/stat : 22186 (java) S 22169 22169 18683 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993460764 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.2 Current children cumulated vsize (KiB) 870900 [startup+51.1025 s] /proc/loadavg: 2.04 2.01 2.00 5/102 22197 /proc/meminfo: memFree=1342280/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=5.85 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 375 40368 0 0 0 0 566 19 20 0 1 0 1993459524 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 238 196 169 0 51 0 [pid=22177] ppid=22169 vsize=197436 CPUtime=6.27 /proc/22177/stat : 22177 (java) S 22169 22169 18683 0 -1 0 14035 0 1 0 609 18 0 0 18 0 10 0 1993460118 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22177/statm: 49359 9563 2544 9 0 43941 0 [pid=22187] ppid=22177 vsize=5356 CPUtime=0 /proc/22187/stat : 22187 (abscon) S 22177 22169 18683 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1993460764 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22187/statm: 1339 237 196 169 0 50 0 [pid=22188] ppid=22187 vsize=655704 CPUtime=38.67 /proc/22188/stat : 22188 (java) S 22187 22169 18683 0 -1 0 66795 0 1 0 3619 248 0 0 18 0 9 0 1993460764 671440896 63607 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22188/statm: 163926 63607 2616 9 0 158454 0 [pid=22188/tid=22190] ppid=22187 vsize=655704 CPUtime=35.74 /proc/22188/task/22190/stat : 22190 (java) R 22187 22169 18683 0 -1 64 12571 0 1 0 3348 226 0 0 25 0 9 0 1993460765 671440896 63607 996147200 134512640 134550740 4294955808 18446744073709551615 4127443849 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22191] ppid=22187 vsize=655704 CPUtime=2.46 /proc/22188/task/22191/stat : 22191 (java) S 22187 22169 18683 0 -1 64 52878 0 0 0 227 19 0 0 16 0 9 0 1993460766 671440896 63607 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22192] ppid=22187 vsize=655704 CPUtime=0 /proc/22188/task/22192/stat : 22192 (java) S 22187 22169 18683 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993460767 671440896 63607 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22193] ppid=22187 vsize=655704 CPUtime=0 /proc/22188/task/22193/stat : 22193 (java) S 22187 22169 18683 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 1993460767 671440896 63607 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22194] ppid=22187 vsize=655704 CPUtime=0 /proc/22188/task/22194/stat : 22194 (java) S 22187 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993460768 671440896 63607 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22195] ppid=22187 vsize=655704 CPUtime=0.43 /proc/22188/task/22195/stat : 22195 (java) S 22187 22169 18683 0 -1 64 787 0 0 0 42 1 0 0 15 0 9 0 1993460768 671440896 63607 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22188/tid=22196] ppid=22187 vsize=655704 CPUtime=0 ################ # More data... # ################ /proc/22177/statm: 49440 9569 2545 9 0 44022 0 [pid=22266] ppid=22177 vsize=5356 CPUtime=0 /proc/22266/stat : 22266 (choco) S 22177 22169 18683 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1993631173 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22266/statm: 1339 238 197 169 0 50 0 [pid=22267] ppid=22266 vsize=655480 CPUtime=64.5 /proc/22267/stat : 22267 (java) S 22266 22169 18683 0 -1 0 102970 0 1 0 6392 58 0 0 18 0 9 0 1993631175 671211520 102199 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22267/statm: 163870 102199 1939 9 0 158399 0 [pid=22267/tid=22268] ppid=22266 vsize=655480 CPUtime=55.94 /proc/22267/task/22268/stat : 22268 (java) R 22266 22169 18683 0 -1 64 12492 0 1 0 5583 11 0 0 25 0 9 0 1993631176 671211520 102199 996147200 134512640 134550740 4294955936 18446744073709551615 4127623200 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22269] ppid=22266 vsize=655480 CPUtime=7.96 /proc/22267/task/22269/stat : 22269 (java) S 22266 22169 18683 0 -1 64 89097 0 0 0 751 45 0 0 16 0 9 0 1993631177 671211520 102199 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22270] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22270/stat : 22270 (java) S 22266 22169 18683 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993631177 671211520 102199 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22271] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22271/stat : 22271 (java) S 22266 22169 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993631177 671211520 102199 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22272] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22272/stat : 22272 (java) S 22266 22169 18683 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993631179 671211520 102199 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22273] ppid=22266 vsize=655480 CPUtime=0.57 /proc/22267/task/22273/stat : 22273 (java) S 22266 22169 18683 0 -1 64 826 0 0 0 56 1 0 0 16 0 9 0 1993631179 671211520 102199 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22274] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22274/stat : 22274 (java) S 22266 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993631179 671211520 102199 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22275] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22275/stat : 22275 (java) S 22266 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993631179 671211520 102199 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22177/tid=22178] ppid=22169 vsize=197760 CPUtime=1699.65 /proc/22177/task/22178/stat : 22178 (java) S 22169 22169 18683 0 -1 64 4145 107437 1 1 484 7 169192 282 16 0 10 0 1993460119 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22177/tid=22179] ppid=22169 vsize=197760 CPUtime=1695.84 /proc/22177/task/22179/stat : 22179 (java) S 22169 22169 18683 0 -1 64 8605 107437 0 1 101 9 169192 282 16 0 10 0 1993460120 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22180] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22180/stat : 22180 (java) S 22169 22169 18683 0 -1 64 10 107437 0 1 0 0 169192 282 16 0 10 0 1993460120 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22181] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22181/stat : 22181 (java) S 22169 22169 18683 0 -1 64 6 107437 0 1 0 0 169192 282 15 0 10 0 1993460120 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22182] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22182/stat : 22182 (java) S 22169 22169 18683 0 -1 64 1 107437 0 1 0 0 169192 282 18 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22183] ppid=22169 vsize=197760 CPUtime=1694.97 /proc/22177/task/22183/stat : 22183 (java) S 22169 22169 18683 0 -1 64 699 107437 0 1 23 0 169192 282 16 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22177/tid=22184] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22184/stat : 22184 (java) S 22169 22169 18683 0 -1 64 1 107437 0 1 0 0 169192 282 19 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22185] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22185/stat : 22185 (java) S 22169 22169 18683 0 -1 64 44 107437 0 1 0 0 169192 282 15 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22265] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22265/stat : 22265 (java) S 22169 22169 18683 0 -1 64 43 107437 0 1 0 0 169192 282 18 0 10 0 1993631173 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1771.38 Current children cumulated vsize (KiB) 863956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1811.5 s] /proc/loadavg: 2.08 2.11 2.04 3/93 22275 /proc/meminfo: memFree=1252352/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=5.85 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 375 40368 0 0 0 0 566 19 20 0 1 0 1993459524 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 238 196 169 0 51 0 [pid=22177] ppid=22169 vsize=197760 CPUtime=1701.03 /proc/22177/stat : 22177 (java) S 22169 22169 18683 0 -1 0 14402 107437 1 1 610 19 169192 282 18 0 10 0 1993460118 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22177/statm: 49440 9569 2545 9 0 44022 0 [pid=22266] ppid=22177 vsize=5356 CPUtime=0 /proc/22266/stat : 22266 (choco) S 22177 22169 18683 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1993631173 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22266/statm: 1339 238 197 169 0 50 0 [pid=22267] ppid=22266 vsize=655480 CPUtime=93.14 /proc/22267/stat : 22267 (java) S 22266 22169 18683 0 -1 0 102978 0 1 0 9254 60 0 0 18 0 9 0 1993631175 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22267/statm: 163870 102204 1939 9 0 158399 0 [pid=22267/tid=22268] ppid=22266 vsize=655480 CPUtime=84.57 /proc/22267/task/22268/stat : 22268 (java) R 22266 22169 18683 0 -1 64 12495 0 1 0 8444 13 0 0 25 0 9 0 1993631176 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4127623219 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22269] ppid=22266 vsize=655480 CPUtime=7.96 /proc/22267/task/22269/stat : 22269 (java) S 22266 22169 18683 0 -1 64 89097 0 0 0 751 45 0 0 16 0 9 0 1993631177 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22270] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22270/stat : 22270 (java) S 22266 22169 18683 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993631177 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22271] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22271/stat : 22271 (java) S 22266 22169 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993631177 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22272] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22272/stat : 22272 (java) S 22266 22169 18683 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993631179 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22273] ppid=22266 vsize=655480 CPUtime=0.59 /proc/22267/task/22273/stat : 22273 (java) S 22266 22169 18683 0 -1 64 831 0 0 0 58 1 0 0 16 0 9 0 1993631179 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22274] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22274/stat : 22274 (java) S 22266 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993631179 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22275] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22275/stat : 22275 (java) S 22266 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993631179 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22177/tid=22178] ppid=22169 vsize=197760 CPUtime=1699.65 /proc/22177/task/22178/stat : 22178 (java) S 22169 22169 18683 0 -1 64 4145 107437 1 1 484 7 169192 282 16 0 10 0 1993460119 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22177/tid=22179] ppid=22169 vsize=197760 CPUtime=1695.84 /proc/22177/task/22179/stat : 22179 (java) S 22169 22169 18683 0 -1 64 8605 107437 0 1 101 9 169192 282 16 0 10 0 1993460120 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22180] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22180/stat : 22180 (java) S 22169 22169 18683 0 -1 64 10 107437 0 1 0 0 169192 282 16 0 10 0 1993460120 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22181] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22181/stat : 22181 (java) S 22169 22169 18683 0 -1 64 6 107437 0 1 0 0 169192 282 15 0 10 0 1993460120 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22182] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22182/stat : 22182 (java) S 22169 22169 18683 0 -1 64 1 107437 0 1 0 0 169192 282 18 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22183] ppid=22169 vsize=197760 CPUtime=1694.97 /proc/22177/task/22183/stat : 22183 (java) S 22169 22169 18683 0 -1 64 699 107437 0 1 23 0 169192 282 16 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22177/tid=22184] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22184/stat : 22184 (java) S 22169 22169 18683 0 -1 64 1 107437 0 1 0 0 169192 282 19 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22185] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22185/stat : 22185 (java) S 22169 22169 18683 0 -1 64 44 107437 0 1 0 0 169192 282 15 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22265] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22265/stat : 22265 (java) S 22169 22169 18683 0 -1 64 43 107437 0 1 0 0 169192 282 18 0 10 0 1993631173 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 863956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1811.5 s] /proc/loadavg: 2.08 2.11 2.04 3/93 22275 /proc/meminfo: memFree=1252352/2055920 swapFree=4179916/4192956 [pid=22169] ppid=22167 vsize=5360 CPUtime=5.85 /proc/22169/stat : 22169 (hydra) S 22167 22169 18683 0 -1 4194304 375 40368 0 0 0 0 566 19 20 0 1 0 1993459524 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22169/statm: 1340 238 196 169 0 51 0 [pid=22177] ppid=22169 vsize=197760 CPUtime=1701.03 /proc/22177/stat : 22177 (java) S 22169 22169 18683 0 -1 0 14402 107437 1 1 610 19 169192 282 18 0 10 0 1993460118 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22177/statm: 49440 9569 2545 9 0 44022 0 [pid=22266] ppid=22177 vsize=5356 CPUtime=0 /proc/22266/stat : 22266 (choco) S 22177 22169 18683 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1993631173 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22266/statm: 1339 238 197 169 0 50 0 [pid=22267] ppid=22266 vsize=655480 CPUtime=93.14 /proc/22267/stat : 22267 (java) S 22266 22169 18683 0 -1 0 102978 0 1 0 9254 60 0 0 18 0 9 0 1993631175 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22267/statm: 163870 102204 1939 9 0 158399 0 [pid=22267/tid=22268] ppid=22266 vsize=655480 CPUtime=84.57 /proc/22267/task/22268/stat : 22268 (java) R 22266 22169 18683 0 -1 64 12495 0 1 0 8444 13 0 0 25 0 9 0 1993631176 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4127623219 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22269] ppid=22266 vsize=655480 CPUtime=7.96 /proc/22267/task/22269/stat : 22269 (java) S 22266 22169 18683 0 -1 64 89097 0 0 0 751 45 0 0 16 0 9 0 1993631177 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22270] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22270/stat : 22270 (java) S 22266 22169 18683 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993631177 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22271] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22271/stat : 22271 (java) S 22266 22169 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993631177 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22272] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22272/stat : 22272 (java) S 22266 22169 18683 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993631179 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22273] ppid=22266 vsize=655480 CPUtime=0.59 /proc/22267/task/22273/stat : 22273 (java) S 22266 22169 18683 0 -1 64 831 0 0 0 58 1 0 0 16 0 9 0 1993631179 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22274] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22274/stat : 22274 (java) S 22266 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993631179 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22267/tid=22275] ppid=22266 vsize=655480 CPUtime=0 /proc/22267/task/22275/stat : 22275 (java) S 22266 22169 18683 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993631179 671211520 102204 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22177/tid=22178] ppid=22169 vsize=197760 CPUtime=1699.65 /proc/22177/task/22178/stat : 22178 (java) S 22169 22169 18683 0 -1 64 4145 107437 1 1 484 7 169192 282 16 0 10 0 1993460119 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22177/tid=22179] ppid=22169 vsize=197760 CPUtime=1695.84 /proc/22177/task/22179/stat : 22179 (java) S 22169 22169 18683 0 -1 64 8605 107437 0 1 101 9 169192 282 16 0 10 0 1993460120 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22180] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22180/stat : 22180 (java) S 22169 22169 18683 0 -1 64 10 107437 0 1 0 0 169192 282 16 0 10 0 1993460120 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22181] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22181/stat : 22181 (java) S 22169 22169 18683 0 -1 64 6 107437 0 1 0 0 169192 282 15 0 10 0 1993460120 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22182] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22182/stat : 22182 (java) S 22169 22169 18683 0 -1 64 1 107437 0 1 0 0 169192 282 18 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22183] ppid=22169 vsize=197760 CPUtime=1694.97 /proc/22177/task/22183/stat : 22183 (java) S 22169 22169 18683 0 -1 64 699 107437 0 1 23 0 169192 282 16 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22177/tid=22184] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22184/stat : 22184 (java) S 22169 22169 18683 0 -1 64 1 107437 0 1 0 0 169192 282 19 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22185] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22185/stat : 22185 (java) S 22169 22169 18683 0 -1 64 44 107437 0 1 0 0 169192 282 15 0 10 0 1993460123 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22177/tid=22265] ppid=22169 vsize=197760 CPUtime=1694.74 /proc/22177/task/22265/stat : 22265 (java) S 22169 22169 18683 0 -1 64 43 107437 0 1 0 0 169192 282 18 0 10 0 1993631173 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 863956 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22169 and gives # childrusage.ru_utime.tv_sec=5 # childrusage.ru_utime.tv_usec=661139 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=198969 # CPU time returned by wait4() is 5.86011 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1811.54 CPU time (s): 1800.02 CPU user time (s): 1796.22 CPU system time (s): 3.8 CPU usage (%): 99.3643 Max. virtual memory (cumulated for all children) (KiB): 876532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.66114 system time used= 0.198969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40743 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= 33 involuntary context switches= 252 runsolver used 4.48132 second user time and 12.5561 second system time The end
Begin job on node37 at 2008-07-04 06:14:22 IDJOB=1064938 IDBENCH=55009 IDSOLVER=366 FILE ID=node37/1064938-1215144862 PBS_JOBID= 7877303 Free space on /tmp= 66548 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-ooo-burch-dill-8-accl.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064938-1215144862/watcher-1064938-1215144862 -o /tmp/evaluation-result-1064938-1215144862/solver-1064938-1215144862 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1064938-1215144862.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= a836148987a747fe0e78f1f820e1fc6b RANDOM SEED=756141649 node37.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.236 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.236 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1616720 kB Buffers: 33360 kB Cached: 162656 kB SwapCached: 6964 kB Active: 322372 kB Inactive: 58292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1616720 kB SwapTotal: 4192956 kB SwapFree: 4179916 kB Dirty: 33600 kB Writeback: 0 kB Mapped: 200860 kB Slab: 43460 kB Committed_AS: 4246680 kB PageTables: 2140 kB VmallocTotal: 536870911 kB VmallocUsed: 264884 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66516 MiB End job on node37 at 2008-07-04 06:44:36