Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800 | 1810.13 |
Name | csp/pseudo/uclid/ normalized-cache-ibm-q-unbounded-Icl2arity-ucl.xml |
MD5SUM | 9d4795f9e32ba7017720fe7b897ab8b7 |
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 | 140.591 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 23837 |
Number of constraints | 67567 |
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 | 67567 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 11.12/11.27 c CASE TO CLASSIFY: 11.12/11.27 c Case: 0 11.12/11.27 c 19 > 96.468700 | c 35 > 27.940700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.182000 | c 15 > 20.048600 | c 34 > 44.842600 | c 16 > 13.000000 | c 13 > 4.094210 | c 14 > 6.599910 | c 11 > 14.465000 | c 12 > 3.008580 | c 21 > 1.395970 | c 20 > 3.531310 | 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.877900 | c 1 > 14.465000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.805300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.728700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.12/11.28 c choco : 1801.0 11.12/11.28 c mistral : 1801.0 11.12/11.28 c abscon : 1801.0 11.12/11.28 c 11.12/11.28 c 11.22/11.35 c List of same ones: 40 11.22/11.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf9.xml 11.22/11.35 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.22/11.36 c choco : 1801.0 11.22/11.36 c mistral : 486.27 11.22/11.36 c abscon : 1800.1 11.22/11.36 c 11.22/11.36 c 11.22/11.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv10-ucl.xml 11.22/11.36 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.22/11.37 c choco : 1801.0 11.22/11.37 c mistral : 6.01008 11.22/11.37 c abscon : 91.5061 11.22/11.37 c 11.22/11.37 c 11.22/11.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf8.xml 11.22/11.37 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.22/11.38 c choco : 105.94 11.22/11.38 c mistral : 13.16 11.22/11.38 c abscon : 104.611 11.22/11.38 c 11.22/11.38 c 11.22/11.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/37s-smv.xml 11.22/11.38 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.22/11.38 c choco : 1801.0 11.22/11.38 c mistral : 21.11 11.22/11.38 c abscon : 101.771 11.22/11.38 c 11.22/11.38 c 11.22/11.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv8-ucl.xml 11.22/11.38 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.22/11.39 c choco : 9.84 11.22/11.39 c mistral : 1.89971 11.22/11.39 c abscon : 16.4835 11.22/11.39 c 11.22/11.39 c 11.22/11.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf7.xml 11.22/11.39 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.30/11.40 c choco : 782.2 11.30/11.40 c mistral : 251.58 11.30/11.40 c abscon : 320.647 11.30/11.40 c 11.30/11.40 c 11.30/11.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf7.xml 11.30/11.40 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.30/11.41 c choco : 7.85 11.30/11.41 c mistral : 0.439932 11.30/11.41 c abscon : 5.2372 11.30/11.41 c 11.30/11.41 c 11.30/11.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf6.xml 11.30/11.41 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.30/11.42 c choco : 28.2 11.30/11.42 c mistral : 5.10822 11.30/11.42 c abscon : 56.1605 11.30/11.42 c 11.30/11.42 c 11.30/11.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-12-16.xml 11.30/11.42 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.30/11.43 c choco : 1801.0 11.30/11.43 c mistral : 554.94 11.30/11.43 c abscon : 1800.07 11.30/11.43 c 11.30/11.43 c 11.30/11.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-13.xml 11.30/11.43 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.30/11.44 c choco : 1801.0 11.30/11.44 c mistral : 926.13 11.30/11.44 c abscon : 1800.08 11.30/11.44 c 11.30/11.44 c 11.30/11.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-98.xml 11.30/11.44 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.48/11.63 c choco : 9.0 11.48/11.63 c mistral : 1.57 11.48/11.63 c abscon : 4.20736 11.48/11.63 c 11.48/11.63 c 11.48/11.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-100.xml 11.48/11.63 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.48/11.64 c choco : 21.59 11.48/11.64 c mistral : 2.67 11.48/11.64 c abscon : 27.9078 11.48/11.64 c 11.48/11.64 c 11.48/11.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-98.xml 11.48/11.64 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.48/11.66 c choco : 23.15 11.48/11.66 c mistral : 2.66 11.48/11.66 c abscon : 28.4847 11.48/11.66 c 11.48/11.66 c 11.48/11.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.5-100.xml 11.48/11.66 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 11.48/11.66 c choco : 8.64 11.48/11.66 c mistral : 1.51 11.48/11.66 c abscon : 4.21336 11.48/11.66 c 11.48/11.66 c 11.48/11.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-100.xml 11.48/11.66 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.48/11.67 c choco : 8.83 11.48/11.67 c mistral : 1.53 11.48/11.67 c abscon : 3.86341 11.48/11.67 c 11.48/11.67 c 11.48/11.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-98.xml 11.48/11.67 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 11.48/11.67 c choco : 3.35 11.48/11.67 c mistral : 0.159974 11.48/11.67 c abscon : 1.38479 11.48/11.67 c 11.48/11.67 c 11.48/11.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-100.xml 11.48/11.67 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 11.48/11.68 c choco : 3.46 11.48/11.68 c mistral : 0.165974 11.48/11.68 c abscon : 1.48277 11.48/11.68 c 11.48/11.68 c 11.48/11.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/25s-smv.xml 11.48/11.68 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 11.48/11.68 c choco : 1801.0 11.48/11.68 c mistral : 7.27 11.48/11.68 c abscon : 1800.14 11.48/11.68 c 11.48/11.68 c 11.48/11.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.5-100.xml 11.48/11.68 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 11.48/11.69 c choco : 22.47 11.48/11.69 c mistral : 2.7 11.48/11.69 c abscon : 28.0167 11.48/11.69 c 11.48/11.69 c 11.48/11.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-100.xml 11.48/11.69 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 11.56/11.70 c choco : 2.44 11.56/11.70 c mistral : 0.067988 11.56/11.70 c abscon : 1.14282 11.56/11.70 c 11.56/11.70 c 11.56/11.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.5-100.xml 11.56/11.70 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 11.56/11.71 c choco : 3.1 11.56/11.71 c mistral : 0.133979 11.56/11.71 c abscon : 1.3158 11.56/11.71 c 11.56/11.71 c 11.56/11.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-98.xml 11.56/11.71 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 11.56/11.71 c choco : 2.37 11.56/11.71 c mistral : 0.066989 11.56/11.71 c abscon : 1.19982 11.56/11.71 c 11.56/11.71 c 11.56/11.71 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml 11.56/11.71 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 11.56/11.72 c choco : 6.47 11.56/11.72 c mistral : 0.41 11.56/11.72 c abscon : 2.32765 11.56/11.72 c 11.56/11.72 c 11.56/11.72 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml 11.56/11.72 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 11.56/11.72 c choco : 1801.0 11.56/11.72 c mistral : 1053.11 11.56/11.72 c abscon : 4.93525 11.56/11.72 c 11.56/11.72 c 11.56/11.72 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml 11.56/11.72 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 11.56/11.73 c choco : 1801.0 11.56/11.73 c mistral : 26.38 11.56/11.73 c abscon : 9.93749 11.56/11.73 c 11.56/11.73 c 11.56/11.73 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml 11.56/11.73 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 11.56/11.74 c choco : 1801.0 11.56/11.74 c mistral : 20.05 11.56/11.74 c abscon : 4.68729 11.56/11.74 c 11.56/11.74 c 11.56/11.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.5-100.xml 11.56/11.74 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 11.56/11.74 c choco : 2.29 11.56/11.74 c mistral : 0.064989 11.56/11.74 c abscon : 1.10083 11.56/11.74 c 11.56/11.74 c 11.56/11.74 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml 11.56/11.74 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 11.56/11.75 c choco : 4.54 11.56/11.75 c mistral : 0.22 11.56/11.75 c abscon : 1.44478 11.56/11.75 c 11.56/11.75 c 11.56/11.75 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml 11.56/11.75 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 11.56/11.75 c choco : 1801.0 11.56/11.75 c mistral : 3.82 11.56/11.75 c abscon : 2.82057 11.56/11.75 c 11.56/11.75 c 11.56/11.75 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml 11.56/11.75 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 11.56/11.76 c choco : 2.93 11.56/11.76 c mistral : 1800.03 11.56/11.76 c abscon : 753.112 11.56/11.76 c 11.56/11.76 c 11.56/11.76 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-13-3.xml 11.56/11.76 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 11.56/11.76 c choco : 1.92 11.56/11.76 c mistral : 0.03 11.56/11.76 c abscon : 0.867867 11.56/11.76 c 11.56/11.76 c 11.56/11.76 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml 11.56/11.76 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 11.56/11.77 c choco : 11.33 11.56/11.77 c mistral : 0.71 11.56/11.77 c abscon : 1.44378 11.56/11.77 c 11.56/11.77 c 11.56/11.77 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml 11.56/11.77 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 11.56/11.77 c choco : 2.57 11.56/11.77 c mistral : 0.23 11.56/11.77 c abscon : 1.16082 11.56/11.77 c 11.56/11.77 c 11.56/11.77 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml 11.56/11.77 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 11.56/11.78 c choco : 7.04 11.56/11.78 c mistral : 0.39 11.56/11.78 c abscon : 1.11383 11.56/11.78 c 11.56/11.78 c 11.56/11.78 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-10-3.xml 11.56/11.78 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 11.56/11.79 c choco : 1.46 11.56/11.79 c mistral : 0.02 11.56/11.79 c abscon : 0.777881 11.56/11.79 c 11.56/11.79 c 11.56/11.79 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-23-3.xml 11.56/11.79 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 11.56/11.79 c choco : 1.45 11.56/11.79 c mistral : 0.08 11.56/11.79 c abscon : 0.737886 11.56/11.79 c 11.56/11.79 c 11.56/11.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf6.xml 11.56/11.79 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 11.62/11.80 c choco : 1.54 11.62/11.80 c mistral : 0.02 11.62/11.80 c abscon : 0.748886 11.62/11.80 c 11.62/11.80 c 11.62/11.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-4-3.xml 11.62/11.80 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 11.62/11.80 c choco : 3.29 11.62/11.80 c mistral : 0.25796 11.62/11.81 c abscon : 1.26581 11.62/11.81 c 11.62/11.81 c 11.62/11.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-4-3.xml 11.62/11.81 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 11.62/11.81 c choco : 3.26 11.62/11.81 c mistral : 0.25996 11.62/11.81 c abscon : 1.22581 11.62/11.81 c 11.62/11.81 c 11.62/11.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/44s-smv.xml 11.62/11.81 c 19 > 75.292900 | c 35 > 38.839200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.079900 | c 15 > 19.766000 | c 34 > 67.231100 | c 16 > 13.000000 | c 13 > 9.295790 | c 14 > 10.263300 | c 11 > 11.288300 | c 12 > 5.478330 | c 21 > 1.327260 | c 20 > 24.707100 | 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.964700 | c 1 > 8.558420 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.751100 | c 6 > 3.700440 | c 32 > -1.000000 | c 5 > 17.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.62/11.82 c choco : 526.57 11.62/11.82 c mistral : 10.6244 11.62/11.82 c abscon : 22.7125 11.62/11.82 c 11.62/11.82 c 11.62/11.82 c Length: 40 11.62/11.82 c 4.5984491638921 13.687304416904007 16.306039701297802 16.678832575627105 17.108786363024116 17.86970133464183 19.435880416886185 19.8570080446879 20.16096757025317 20.181919941613582 24.823316582592206 25.264094305586116 25.281944902782772 25.55126513618997 25.630921954737996 27.39876343789719 27.709363889593874 27.716713666679535 27.827280326098506 30.23378729717415 30.370385564226297 31.060897696705897 31.523995319246897 31.530780800777833 31.712133750922533 31.75915577431806 31.839332808758495 31.89618773895244 31.93001568744056 32.903260056625086 34.1742189978074 34.81144666666124 35.04971185548036 35.24677955350247 35.39062876409799 35.68350674605566 37.361854909905105 38.34629491158696 38.34629491158696 41.10938398248263 11.62/11.82 c 11.62/11.82 c 1.0 0.800682081238965 0.7571972504142581 0.7513880287323486 0.7447977850389279 0.7334136370185691 0.7110437509869494 0.7052596463585529 0.7011429539897671 0.7008609542744316 0.6435254879430092 0.6385645109230285 0.6383652125340514 0.635373332162992 0.6344937906076175 0.6155819575067513 0.6123750788956493 0.6122995987554843 0.6111663515777213 0.5874999913006109 0.5862114912823198 0.5797835986491637 0.5755510749971507 0.575489517775909 0.5738491665596501 0.5734253742978226 0.5727042098339344 0.5721939177977561 0.5718907318954252 0.5633034753808589 0.5524701982126466 0.5471939909468233 0.545246962856029 0.5436470262949233 0.5424850712167602 0.5401346074206497 0.5270484644244479 0.5196636566179003 0.5196636566179003 0.5 11.62/11.83 c 11.62/11.83 c solver 0 11.62/11.83 c before 0.0 seconds: {} 0 11.62/11.83 c before 18.0 seconds: {4, 6, 10, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38} 15203 11.62/11.83 c before 36.0 seconds: {4, 6, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17591 11.62/11.83 c before 72.0 seconds: {4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18296 11.62/11.83 c before 108.0 seconds: {1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20605 11.62/11.83 c before 324.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21339 11.62/11.83 c before 756.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21902 11.62/11.83 c 11.62/11.83 c solver 1 11.62/11.84 c before 0.0 seconds: {} 0 11.62/11.84 c before 18.0 seconds: {1, 2, 4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18744 11.62/11.84 c before 36.0 seconds: {1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20642 11.62/11.84 c before 252.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21376 11.62/11.84 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22376 11.62/11.84 c before 558.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23077 11.62/11.84 c before 936.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, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23778 11.62/11.84 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} 24353 11.62/11.84 c 11.62/11.84 c solver 2 11.62/11.84 c before 0.0 seconds: {} 0 11.62/11.84 c before 18.0 seconds: {4, 6, 10, 13, 14, 15, 16, 19, 20, 21, 22, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 13471 11.62/11.84 c before 36.0 seconds: {4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 16065 11.62/11.84 c before 108.0 seconds: {2, 4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 16822 11.62/11.84 c before 540.0 seconds: {2, 4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17322 11.62/11.84 c before 792.0 seconds: {2, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18055 11.62/11.84 c 11.62/11.84 cTotal time: 145 11.62/11.84 c run abscon for 756.0 seconds {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21902 11.62/11.84 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, 19, 20, 21, 22, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23778 11.62/11.84 c run choco for 108.0 seconds {2, 4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 16822 11.62/11.84 c Starting solver: HOME/cpHydra_k_40/solver/abscon 11.62/11.84 c On Instance: HOME/instance-1064833-1215144257.xml 11.62/11.84 c Running for: 756 seconds 770.90/774.93 c Starting solver: HOME/cpHydra_k_40/solver/mistral 770.90/774.93 c On Instance: HOME/instance-1064833-1215144257.xml 770.90/774.93 c Running for: 936 seconds 1706.76/1715.56 c Starting solver: HOME/cpHydra_k_40/solver/choco 1706.76/1715.56 c On Instance: HOME/instance-1064833-1215144257.xml 1706.76/1715.56 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-1064833-1215144257/watcher-1064833-1215144257 -o /tmp/evaluation-result-1064833-1215144257/solver-1064833-1215144257 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1064833-1215144257.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: 1.98 2.00 1.99 4/81 11912 /proc/meminfo: memFree=1528216/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=880 CPUtime=0 /proc/11912/stat : 11912 (hydra) R 11910 11912 8830 0 -1 4194304 40 0 0 0 0 0 0 0 21 0 1 0 255368501 901120 25 996147200 4194304 4889804 548682068816 18446744073709551615 214942414101 0 0 4096 0 0 0 0 17 1 0 0 /proc/11912/statm: 220 25 18 169 0 8 0 [startup+0.0686741 s] /proc/loadavg: 1.98 2.00 1.99 4/81 11912 /proc/meminfo: memFree=1528216/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=0 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 255368501 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11912/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102678 s] /proc/loadavg: 1.98 2.00 1.99 4/81 11912 /proc/meminfo: memFree=1528216/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=0 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 255368501 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11912/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301721 s] /proc/loadavg: 1.98 2.00 1.99 4/81 11912 /proc/meminfo: memFree=1528216/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=0 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 255368501 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11912/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701799 s] /proc/loadavg: 1.98 2.00 1.99 4/81 11912 /proc/meminfo: memFree=1528216/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=0 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 255368501 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11912/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50195 s] /proc/loadavg: 1.98 2.00 1.99 3/83 11916 /proc/meminfo: memFree=1509000/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=0 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 255368501 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11912/statm: 1340 236 195 169 0 51 0 [pid=11916] ppid=11912 vsize=31016 CPUtime=1.48 /proc/11916/stat : 11916 (xsolve) R 11912 11912 8830 0 -1 4194304 7167 0 0 0 146 2 0 0 25 0 1 0 255368502 31760384 6963 996147200 134512640 135239763 4294956176 18446744073709551615 134683164 0 0 4096 0 0 0 0 17 0 0 0 /proc/11916/statm: 7754 6963 375 177 0 6657 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 36376 [startup+3.10126 s] /proc/loadavg: 1.98 2.00 1.99 3/83 11916 /proc/meminfo: memFree=1492680/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=0 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 255368501 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11912/statm: 1340 236 195 169 0 51 0 [pid=11916] ppid=11912 vsize=58856 CPUtime=3.08 /proc/11916/stat : 11916 (xsolve) R 11912 11912 8830 0 -1 4194304 14468 0 0 0 301 7 0 0 25 0 1 0 255368502 60268544 13492 996147200 134512640 135239763 4294956176 18446744073709551615 3035673 0 0 4096 0 0 0 0 17 0 0 0 /proc/11916/statm: 14714 13492 376 177 0 13617 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 64216 [startup+6.30188 s] /proc/loadavg: 2.06 2.02 2.00 3/83 11916 /proc/meminfo: memFree=1361160/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=6.01 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 375 44067 0 0 0 0 577 24 19 0 1 0 255368501 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11912/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 6.01 Current children cumulated vsize (KiB) 5360 [startup+12.7021 s] /proc/loadavg: 2.06 2.02 2.00 4/103 11940 /proc/meminfo: memFree=1492136/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=6.01 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 375 44067 0 0 0 0 577 24 19 0 1 0 255368501 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11912/statm: 1340 238 196 169 0 51 0 [pid=11920] ppid=11912 vsize=197420 CPUtime=5.64 /proc/11920/stat : 11920 (java) S 11912 11912 8830 0 -1 0 13931 0 1 0 546 18 0 0 18 0 10 0 255369107 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11920/statm: 49355 9480 2544 9 0 43937 0 [pid=11930] ppid=11920 vsize=5356 CPUtime=0 /proc/11930/stat : 11930 (abscon) S 11920 11912 8830 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 255369686 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11930/statm: 1339 237 196 169 0 50 0 [pid=11931] ppid=11930 vsize=655700 CPUtime=0.83 /proc/11931/stat : 11931 (java) S 11930 11912 8830 0 -1 0 14721 0 1 0 75 8 0 0 25 0 9 0 255369687 671436800 14240 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11931/statm: 163925 14240 1989 9 0 158453 0 [pid=11931/tid=11933] ppid=11930 vsize=655700 CPUtime=0.62 /proc/11931/task/11933/stat : 11933 (java) R 11930 11912 8830 0 -1 64 12342 0 1 0 56 6 0 0 22 0 9 0 255369688 671436800 14240 996147200 134512640 134550740 4294955808 18446744073709551615 4126521509 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11934] ppid=11930 vsize=655700 CPUtime=0.05 /proc/11931/task/11934/stat : 11934 (java) S 11930 11912 8830 0 -1 64 1250 0 0 0 4 1 0 0 16 0 9 0 255369689 671436800 14240 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11935] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11935/stat : 11935 (java) S 11930 11912 8830 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 255369689 671436800 14240 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11936] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11936/stat : 11936 (java) S 11930 11912 8830 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 255369689 671436800 14240 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11937] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11937/stat : 11937 (java) S 11930 11912 8830 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 255369691 671436800 14240 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11938] ppid=11930 vsize=655700 CPUtime=0.13 /proc/11931/task/11938/stat : 11938 (java) S 11930 11912 8830 0 -1 64 583 0 0 0 13 0 0 0 16 0 9 0 255369691 671436800 14240 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11939] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11939/stat : 11939 (java) S 11930 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 255369691 671436800 14240 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11940] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11940/stat : 11940 (java) S 11930 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 255369691 671436800 14240 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11932] ppid=11930 vsize=7044 CPUtime=0 /proc/11932/stat : 11932 (translate) S 11930 11912 8830 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 255369687 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 214945202258 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/11932/statm: 1761 213 182 1 0 41 0 [pid=11920/tid=11921] ppid=11912 vsize=197420 CPUtime=4.35 /proc/11920/task/11921/stat : 11921 (java) S 11912 11912 8830 0 -1 64 3900 0 1 0 429 6 0 0 25 0 10 0 255369108 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11920/tid=11922] ppid=11912 vsize=197420 CPUtime=1.05 /proc/11920/task/11922/stat : 11922 (java) S 11912 11912 8830 0 -1 64 8561 0 0 0 94 11 0 0 16 0 10 0 255369109 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11923] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11923/stat : 11923 (java) S 11912 11912 8830 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 255369109 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11924] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11924/stat : 11924 (java) S 11912 11912 8830 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 255369109 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11925] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11925/stat : 11925 (java) S 11912 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 255369111 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11926] ppid=11912 vsize=197420 CPUtime=0.21 /proc/11920/task/11926/stat : 11926 (java) S 11912 11912 8830 0 -1 64 667 0 0 0 21 0 0 0 16 0 10 0 255369111 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11927] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11927/stat : 11927 (java) S 11912 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 255369111 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11928] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11928/stat : 11928 (java) S 11912 11912 8830 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 255369111 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11929] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11929/stat : 11929 (java) S 11912 11912 8830 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 255369686 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.48 Current children cumulated vsize (KiB) 870880 [startup+25.5036 s] /proc/loadavg: 2.11 2.03 2.00 3/103 11940 /proc/meminfo: memFree=1198696/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=6.01 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 375 44067 0 0 0 0 577 24 19 0 1 0 255368501 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11912/statm: 1340 238 196 169 0 51 0 [pid=11920] ppid=11912 vsize=197420 CPUtime=5.64 /proc/11920/stat : 11920 (java) S 11912 11912 8830 0 -1 0 13958 0 1 0 546 18 0 0 18 0 10 0 255369107 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11920/statm: 49355 9480 2544 9 0 43937 0 [pid=11930] ppid=11920 vsize=5356 CPUtime=0 /proc/11930/stat : 11930 (abscon) S 11920 11912 8830 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 255369686 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11930/statm: 1339 237 196 169 0 50 0 [pid=11931] ppid=11930 vsize=655700 CPUtime=13.57 /proc/11931/stat : 11931 (java) S 11930 11912 8830 0 -1 0 81643 0 1 0 1076 281 0 0 25 0 9 0 255369687 671436800 78391 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11931/statm: 163925 78392 2615 9 0 158453 0 [pid=11931/tid=11933] ppid=11930 vsize=655700 CPUtime=10.47 /proc/11931/task/11933/stat : 11933 (java) R 11930 11912 8830 0 -1 64 12545 0 1 0 797 250 0 0 25 0 9 0 255369688 671436800 78393 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11934] ppid=11930 vsize=655700 CPUtime=2.78 /proc/11931/task/11934/stat : 11934 (java) R 11930 11912 8830 0 -1 64 67866 0 0 0 250 28 0 0 16 0 9 0 255369689 671436800 78395 996147200 134512640 134550740 4294955808 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11935] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11935/stat : 11935 (java) S 11930 11912 8830 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 255369689 671436800 78396 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11936] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11936/stat : 11936 (java) S 11930 11912 8830 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 255369689 671436800 78397 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11937] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11937/stat : 11937 (java) S 11930 11912 8830 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 255369691 671436800 78399 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11938] ppid=11930 vsize=655700 CPUtime=0.29 /proc/11931/task/11938/stat : 11938 (java) S 11930 11912 8830 0 -1 64 681 0 0 0 28 1 0 0 16 0 9 0 255369691 671436800 78400 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11939] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11939/stat : 11939 (java) S 11930 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 255369691 671436800 78401 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11931/tid=11940] ppid=11930 vsize=655700 CPUtime=0 /proc/11931/task/11940/stat : 11940 (java) S 11930 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 255369691 671436800 78402 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11932] ppid=11930 vsize=7044 CPUtime=0 /proc/11932/stat : 11932 (translate) S 11930 11912 8830 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 255369687 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 214945202258 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/11932/statm: 1761 213 182 1 0 41 0 [pid=11920/tid=11921] ppid=11912 vsize=197420 CPUtime=4.35 /proc/11920/task/11921/stat : 11921 (java) S 11912 11912 8830 0 -1 64 3900 0 1 0 429 6 0 0 25 0 10 0 255369108 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11920/tid=11922] ppid=11912 vsize=197420 CPUtime=1.05 /proc/11920/task/11922/stat : 11922 (java) S 11912 11912 8830 0 -1 64 8561 0 0 0 94 11 0 0 16 0 10 0 255369109 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11923] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11923/stat : 11923 (java) S 11912 11912 8830 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 255369109 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11924] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11924/stat : 11924 (java) S 11912 11912 8830 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 255369109 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11925] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11925/stat : 11925 (java) S 11912 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 255369111 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11926] ppid=11912 vsize=197420 CPUtime=0.21 /proc/11920/task/11926/stat : 11926 (java) S 11912 11912 8830 0 -1 64 667 0 0 0 21 0 0 0 16 0 10 0 255369111 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11927] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11927/stat : 11927 (java) S 11912 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 255369111 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11928] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11928/stat : 11928 (java) S 11912 11912 8830 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 255369111 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11929] ppid=11912 vsize=197420 CPUtime=0 /proc/11920/task/11929/stat : 11929 (java) S 11912 11912 8830 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 255369686 202158080 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.22 Current children cumulated vsize (KiB) 870880 [startup+51.1026 s] ################ # More data... # ################ /proc/11920/statm: 49436 9521 2545 9 0 44018 0 [pid=11987] ppid=11920 vsize=5356 CPUtime=0 /proc/11987/stat : 11987 (choco) S 11920 11912 8830 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 255540057 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/11987/statm: 1339 238 197 169 0 50 0 [pid=11988] ppid=11987 vsize=655512 CPUtime=65.75 /proc/11988/stat : 11988 (java) S 11987 11912 8830 0 -1 0 113842 0 1 0 6525 50 0 0 19 0 9 0 255540058 671244288 113028 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 163878 113028 1940 9 0 158407 0 [pid=11988/tid=11989] ppid=11987 vsize=655512 CPUtime=57.35 /proc/11988/task/11989/stat : 11989 (java) R 11987 11912 8830 0 -1 64 12560 0 1 0 5725 10 0 0 25 0 9 0 255540059 671244288 113028 996147200 134512640 134550740 4294955936 18446744073709551615 4127811805 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11990] ppid=11987 vsize=655512 CPUtime=7.84 /proc/11988/task/11990/stat : 11990 (java) S 11987 11912 8830 0 -1 64 99917 0 0 0 746 38 0 0 16 0 9 0 255540060 671244288 113028 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11987 11912 8830 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 255540061 671244288 113028 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11987 11912 8830 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 255540061 671244288 113028 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11987 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 255540063 671244288 113028 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11994] ppid=11987 vsize=655512 CPUtime=0.54 /proc/11988/task/11994/stat : 11994 (java) S 11987 11912 8830 0 -1 64 811 0 0 0 53 1 0 0 15 0 9 0 255540063 671244288 113028 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11987 11912 8830 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 255540063 671244288 113028 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11996] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11987 11912 8830 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 255540063 671244288 113028 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11920/tid=11921] ppid=11912 vsize=197744 CPUtime=1699.52 /proc/11920/task/11921/stat : 11921 (java) S 11912 11912 8830 0 -1 64 4056 128730 1 1 429 6 169203 314 16 0 10 0 255369108 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=11920/tid=11922] ppid=11912 vsize=197744 CPUtime=1696.22 /proc/11920/task/11922/stat : 11922 (java) S 11912 11912 8830 0 -1 64 8607 128730 0 1 94 11 169203 314 16 0 10 0 255369109 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11920/tid=11923] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11923/stat : 11923 (java) S 11912 11912 8830 0 -1 64 11 128730 0 1 0 0 169203 314 16 0 10 0 255369109 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11924] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11924/stat : 11924 (java) S 11912 11912 8830 0 -1 64 5 128730 0 1 0 0 169203 314 15 0 10 0 255369109 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11925] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11925/stat : 11925 (java) S 11912 11912 8830 0 -1 64 1 128730 0 1 0 0 169203 314 18 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11926] ppid=11912 vsize=197744 CPUtime=1695.38 /proc/11920/task/11926/stat : 11926 (java) S 11912 11912 8830 0 -1 64 695 128730 0 1 21 0 169203 314 16 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11927] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11927/stat : 11927 (java) S 11912 11912 8830 0 -1 64 1 128730 0 1 0 0 169203 314 19 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11928] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11928/stat : 11928 (java) S 11912 11912 8830 0 -1 64 49 128730 0 1 0 0 169203 314 15 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11986] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11986/stat : 11986 (java) S 11912 11912 8830 0 -1 64 51 128730 0 1 0 0 169203 314 17 0 10 0 255540057 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1772.58 Current children cumulated vsize (KiB) 863972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1810.1 s] /proc/loadavg: 2.03 2.01 2.00 3/103 11996 /proc/meminfo: memFree=1120192/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=6.01 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 375 44067 0 0 0 0 577 24 19 0 1 0 255368501 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11912/statm: 1340 238 196 169 0 51 0 [pid=11920] ppid=11912 vsize=197744 CPUtime=1700.82 /proc/11920/stat : 11920 (java) S 11912 11912 8830 0 -1 0 14309 128730 1 1 546 19 169203 314 18 0 10 0 255369107 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11920/statm: 49436 9521 2545 9 0 44018 0 [pid=11987] ppid=11920 vsize=5356 CPUtime=0 /proc/11987/stat : 11987 (choco) S 11920 11912 8830 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 255540057 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/11987/statm: 1339 238 197 169 0 50 0 [pid=11988] ppid=11987 vsize=655512 CPUtime=93.17 /proc/11988/stat : 11988 (java) S 11987 11912 8830 0 -1 0 114525 0 1 0 9265 52 0 0 19 0 9 0 255540058 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 163878 113705 1940 9 0 158407 0 [pid=11988/tid=11989] ppid=11987 vsize=655512 CPUtime=84.71 /proc/11988/task/11989/stat : 11989 (java) R 11987 11912 8830 0 -1 64 12566 0 1 0 8460 11 0 0 25 0 9 0 255540059 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4127811833 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11990] ppid=11987 vsize=655512 CPUtime=7.87 /proc/11988/task/11990/stat : 11990 (java) S 11987 11912 8830 0 -1 64 100588 0 0 0 749 38 0 0 16 0 9 0 255540060 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11987 11912 8830 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 255540061 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11987 11912 8830 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 255540061 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11987 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 255540063 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11994] ppid=11987 vsize=655512 CPUtime=0.55 /proc/11988/task/11994/stat : 11994 (java) S 11987 11912 8830 0 -1 64 817 0 0 0 54 1 0 0 16 0 9 0 255540063 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11987 11912 8830 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 255540063 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11996] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11987 11912 8830 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 255540063 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11920/tid=11921] ppid=11912 vsize=197744 CPUtime=1699.52 /proc/11920/task/11921/stat : 11921 (java) S 11912 11912 8830 0 -1 64 4056 128730 1 1 429 6 169203 314 16 0 10 0 255369108 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=11920/tid=11922] ppid=11912 vsize=197744 CPUtime=1696.22 /proc/11920/task/11922/stat : 11922 (java) S 11912 11912 8830 0 -1 64 8607 128730 0 1 94 11 169203 314 16 0 10 0 255369109 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11920/tid=11923] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11923/stat : 11923 (java) S 11912 11912 8830 0 -1 64 11 128730 0 1 0 0 169203 314 16 0 10 0 255369109 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11924] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11924/stat : 11924 (java) S 11912 11912 8830 0 -1 64 5 128730 0 1 0 0 169203 314 15 0 10 0 255369109 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11925] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11925/stat : 11925 (java) S 11912 11912 8830 0 -1 64 1 128730 0 1 0 0 169203 314 18 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11926] ppid=11912 vsize=197744 CPUtime=1695.38 /proc/11920/task/11926/stat : 11926 (java) S 11912 11912 8830 0 -1 64 695 128730 0 1 21 0 169203 314 16 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11927] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11927/stat : 11927 (java) S 11912 11912 8830 0 -1 64 1 128730 0 1 0 0 169203 314 19 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11928] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11928/stat : 11928 (java) S 11912 11912 8830 0 -1 64 49 128730 0 1 0 0 169203 314 15 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11986] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11986/stat : 11986 (java) S 11912 11912 8830 0 -1 64 51 128730 0 1 0 0 169203 314 17 0 10 0 255540057 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 863972 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1810.1 s] /proc/loadavg: 2.03 2.01 2.00 3/103 11996 /proc/meminfo: memFree=1120192/2055920 swapFree=4180776/4192956 [pid=11912] ppid=11910 vsize=5360 CPUtime=6.01 /proc/11912/stat : 11912 (hydra) S 11910 11912 8830 0 -1 4194304 375 44067 0 0 0 0 577 24 19 0 1 0 255368501 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11912/statm: 1340 238 196 169 0 51 0 [pid=11920] ppid=11912 vsize=197744 CPUtime=1700.82 /proc/11920/stat : 11920 (java) S 11912 11912 8830 0 -1 0 14309 128730 1 1 546 19 169203 314 18 0 10 0 255369107 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11920/statm: 49436 9521 2545 9 0 44018 0 [pid=11987] ppid=11920 vsize=5356 CPUtime=0 /proc/11987/stat : 11987 (choco) S 11920 11912 8830 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 255540057 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/11987/statm: 1339 238 197 169 0 50 0 [pid=11988] ppid=11987 vsize=655512 CPUtime=93.17 /proc/11988/stat : 11988 (java) S 11987 11912 8830 0 -1 0 114525 0 1 0 9265 52 0 0 19 0 9 0 255540058 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 163878 113705 1940 9 0 158407 0 [pid=11988/tid=11989] ppid=11987 vsize=655512 CPUtime=84.71 /proc/11988/task/11989/stat : 11989 (java) R 11987 11912 8830 0 -1 64 12566 0 1 0 8460 11 0 0 25 0 9 0 255540059 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4127811833 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11990] ppid=11987 vsize=655512 CPUtime=7.87 /proc/11988/task/11990/stat : 11990 (java) S 11987 11912 8830 0 -1 64 100588 0 0 0 749 38 0 0 16 0 9 0 255540060 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11987 11912 8830 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 255540061 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11987 11912 8830 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 255540061 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11987 11912 8830 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 255540063 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11994] ppid=11987 vsize=655512 CPUtime=0.55 /proc/11988/task/11994/stat : 11994 (java) S 11987 11912 8830 0 -1 64 817 0 0 0 54 1 0 0 16 0 9 0 255540063 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11987 11912 8830 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 255540063 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11988/tid=11996] ppid=11987 vsize=655512 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11987 11912 8830 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 255540063 671244288 113705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11920/tid=11921] ppid=11912 vsize=197744 CPUtime=1699.52 /proc/11920/task/11921/stat : 11921 (java) S 11912 11912 8830 0 -1 64 4056 128730 1 1 429 6 169203 314 16 0 10 0 255369108 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=11920/tid=11922] ppid=11912 vsize=197744 CPUtime=1696.22 /proc/11920/task/11922/stat : 11922 (java) S 11912 11912 8830 0 -1 64 8607 128730 0 1 94 11 169203 314 16 0 10 0 255369109 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11920/tid=11923] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11923/stat : 11923 (java) S 11912 11912 8830 0 -1 64 11 128730 0 1 0 0 169203 314 16 0 10 0 255369109 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11924] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11924/stat : 11924 (java) S 11912 11912 8830 0 -1 64 5 128730 0 1 0 0 169203 314 15 0 10 0 255369109 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11925] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11925/stat : 11925 (java) S 11912 11912 8830 0 -1 64 1 128730 0 1 0 0 169203 314 18 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11926] ppid=11912 vsize=197744 CPUtime=1695.38 /proc/11920/task/11926/stat : 11926 (java) S 11912 11912 8830 0 -1 64 695 128730 0 1 21 0 169203 314 16 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11927] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11927/stat : 11927 (java) S 11912 11912 8830 0 -1 64 1 128730 0 1 0 0 169203 314 19 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11928] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11928/stat : 11928 (java) S 11912 11912 8830 0 -1 64 49 128730 0 1 0 0 169203 314 15 0 10 0 255369111 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11920/tid=11986] ppid=11912 vsize=197744 CPUtime=1695.17 /proc/11920/task/11986/stat : 11986 (java) S 11912 11912 8830 0 -1 64 51 128730 0 1 0 0 169203 314 17 0 10 0 255540057 202489856 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 863972 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11912 and gives # childrusage.ru_utime.tv_sec=5 # childrusage.ru_utime.tv_usec=772122 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=251961 # CPU time returned by wait4() is 6.02408 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1810.13 CPU time (s): 1800 CPU user time (s): 1795.91 CPU system time (s): 4.09 CPU usage (%): 99.4401 Max. virtual memory (cumulated for all children) (KiB): 876512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.77212 system time used= 0.251961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44442 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= 29 involuntary context switches= 214 runsolver used 4.67829 second user time and 11.6922 second system time The end
Begin job on node85 at 2008-07-04 06:04:17 IDJOB=1064833 IDBENCH=54996 IDSOLVER=366 FILE ID=node85/1064833-1215144257 PBS_JOBID= 7877210 Free space on /tmp= 126852 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-cache-ibm-q-unbounded-Icl2arity-ucl.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064833-1215144257/watcher-1064833-1215144257 -o /tmp/evaluation-result-1064833-1215144257/solver-1064833-1215144257 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1064833-1215144257.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 9d4795f9e32ba7017720fe7b897ab8b7 RANDOM SEED=1339852279 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: 1528632 kB Buffers: 44632 kB Cached: 339108 kB SwapCached: 6988 kB Active: 218200 kB Inactive: 262076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1528632 kB SwapTotal: 4192956 kB SwapFree: 4180776 kB Dirty: 34732 kB Writeback: 0 kB Mapped: 109764 kB Slab: 32372 kB Committed_AS: 1371304 kB PageTables: 1732 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= 126832 MiB End job on node85 at 2008-07-04 06:34:30