Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 1012.26 | 1029.91 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 43991 |
CHECKS | 177041000 |
Name | csp/pseudo/uclid/ normalized-elf-rf9.xml |
MD5SUM | 6fea805b38dfb180ddb73a033dd0e468 |
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 | 34.6417 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 20445 |
Number of constraints | 58443 |
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 | 58443 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 11.64/11.89 c CASE TO CLASSIFY: 11.64/11.89 c Case: 0 11.64/11.89 c 19 > 96.824300 | c 35 > 26.551200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.515100 | c 15 > 20.210200 | c 34 > 42.158000 | c 16 > 13.000000 | c 13 > 8.233660 | c 14 > 9.616550 | c 11 > 14.319400 | c 12 > 4.142460 | 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.74/11.90 c choco : 1801.0 11.74/11.90 c mistral : 1801.0 11.74/11.90 c abscon : 1801.0 11.74/11.91 c 11.74/11.91 c 11.74/11.98 c List of same ones: 40 11.74/11.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf9.xml 11.74/11.98 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.74/11.99 c choco : 1801.0 11.74/11.99 c mistral : 486.27 11.74/11.99 c abscon : 1800.1 11.74/11.99 c 11.74/11.99 c 11.74/11.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv10-ucl.xml 11.74/11.99 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.84/12.00 c choco : 1801.0 11.84/12.00 c mistral : 6.01008 11.84/12.00 c abscon : 91.5061 11.84/12.00 c 11.84/12.00 c 11.84/12.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/37s-smv.xml 11.84/12.00 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.84/12.01 c choco : 1801.0 11.84/12.01 c mistral : 21.11 11.84/12.01 c abscon : 101.771 11.84/12.01 c 11.84/12.01 c 11.84/12.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf8.xml 11.84/12.01 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.84/12.02 c choco : 105.94 11.84/12.02 c mistral : 13.16 11.84/12.02 c abscon : 104.611 11.84/12.02 c 11.84/12.02 c 11.84/12.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv8-ucl.xml 11.84/12.02 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.84/12.03 c choco : 9.84 11.84/12.03 c mistral : 1.89971 11.84/12.03 c abscon : 16.4835 11.84/12.03 c 11.84/12.03 c 11.84/12.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf7.xml 11.84/12.03 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.84/12.04 c choco : 782.2 11.84/12.04 c mistral : 251.58 11.84/12.04 c abscon : 320.647 11.84/12.04 c 11.84/12.04 c 11.84/12.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf6.xml 11.84/12.04 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.84/12.05 c choco : 28.2 11.84/12.05 c mistral : 5.10822 11.84/12.05 c abscon : 56.1605 11.84/12.05 c 11.84/12.05 c 11.84/12.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf7.xml 11.84/12.05 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.84/12.05 c choco : 7.85 11.84/12.05 c mistral : 0.439932 11.84/12.05 c abscon : 5.2372 11.84/12.05 c 11.84/12.05 c 11.84/12.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-12-16.xml 11.84/12.05 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.84/12.06 c choco : 1801.0 11.84/12.06 c mistral : 554.94 11.84/12.06 c abscon : 1800.07 11.84/12.06 c 11.84/12.06 c 11.84/12.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-13.xml 11.84/12.06 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.84/12.07 c choco : 1801.0 11.84/12.07 c mistral : 926.13 11.84/12.07 c abscon : 1800.08 11.84/12.07 c 11.84/12.07 c 11.84/12.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-98.xml 11.84/12.07 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.84/12.08 c choco : 9.0 11.84/12.08 c mistral : 1.57 11.84/12.08 c abscon : 4.20736 11.84/12.08 c 11.84/12.08 c 11.84/12.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-100.xml 11.84/12.08 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.90/12.10 c choco : 21.59 11.90/12.10 c mistral : 2.67 11.90/12.10 c abscon : 27.9078 11.90/12.10 c 11.90/12.10 c 11.90/12.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-98.xml 11.90/12.10 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.90/12.11 c choco : 23.15 11.90/12.11 c mistral : 2.66 11.90/12.11 c abscon : 28.4847 11.90/12.11 c 11.90/12.11 c 11.90/12.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.5-100.xml 11.90/12.12 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.90/12.12 c choco : 8.64 11.90/12.12 c mistral : 1.51 11.90/12.12 c abscon : 4.21336 11.90/12.12 c 11.90/12.12 c 11.90/12.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-100.xml 11.90/12.12 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.90/12.13 c choco : 8.83 11.90/12.13 c mistral : 1.53 11.90/12.13 c abscon : 3.86341 11.90/12.13 c 11.90/12.13 c 11.90/12.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-98.xml 11.90/12.13 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.90/12.13 c choco : 3.35 11.90/12.13 c mistral : 0.159974 11.90/12.13 c abscon : 1.38479 11.90/12.13 c 11.90/12.13 c 11.90/12.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/25s-smv.xml 11.90/12.13 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.90/12.14 c choco : 1801.0 11.90/12.14 c mistral : 7.27 11.90/12.14 c abscon : 1800.14 11.90/12.14 c 11.90/12.14 c 11.90/12.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-100.xml 11.90/12.14 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.90/12.15 c choco : 3.46 11.90/12.15 c mistral : 0.165974 11.90/12.15 c abscon : 1.48277 11.90/12.15 c 11.90/12.15 c 11.90/12.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.5-100.xml 11.90/12.15 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.90/12.16 c choco : 22.47 11.90/12.16 c mistral : 2.7 11.90/12.16 c abscon : 28.0167 11.90/12.16 c 11.90/12.16 c 11.90/12.16 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml 11.90/12.16 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.90/12.17 c choco : 1801.0 11.90/12.17 c mistral : 1053.11 11.90/12.17 c abscon : 4.93525 11.90/12.17 c 11.90/12.17 c 11.90/12.17 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml 11.90/12.17 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.90/12.17 c choco : 1801.0 11.90/12.17 c mistral : 26.38 11.90/12.17 c abscon : 9.93749 11.90/12.17 c 11.90/12.17 c 11.90/12.17 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml 11.90/12.17 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.90/12.18 c choco : 1801.0 11.90/12.18 c mistral : 20.05 11.90/12.18 c abscon : 4.68729 11.90/12.18 c 11.90/12.18 c 11.90/12.18 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml 11.90/12.18 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.90/12.18 c choco : 1801.0 11.90/12.18 c mistral : 3.82 11.90/12.18 c abscon : 2.82057 11.90/12.18 c 11.90/12.18 c 11.90/12.18 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-100.xml 11.90/12.18 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.90/12.19 c choco : 2.44 11.90/12.19 c mistral : 0.067988 11.90/12.19 c abscon : 1.14282 11.90/12.19 c 11.90/12.19 c 11.90/12.19 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml 11.90/12.19 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.95/12.20 c choco : 6.47 11.95/12.20 c mistral : 0.41 11.95/12.20 c abscon : 2.32765 11.95/12.20 c 11.95/12.20 c 11.95/12.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.5-100.xml 11.95/12.20 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.95/12.21 c choco : 3.1 11.95/12.21 c mistral : 0.133979 11.95/12.21 c abscon : 1.3158 11.95/12.21 c 11.95/12.21 c 11.95/12.21 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml 11.95/12.21 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.95/12.21 c choco : 4.54 11.95/12.21 c mistral : 0.22 11.95/12.21 c abscon : 1.44478 11.95/12.21 c 11.95/12.21 c 11.95/12.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-98.xml 11.95/12.21 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.95/12.22 c choco : 2.37 11.95/12.22 c mistral : 0.066989 11.95/12.22 c abscon : 1.19982 11.95/12.22 c 11.95/12.22 c 11.95/12.22 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml 11.95/12.22 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.95/12.23 c choco : 2.93 11.95/12.23 c mistral : 1800.03 11.95/12.23 c abscon : 753.112 11.95/12.23 c 11.95/12.23 c 11.95/12.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.5-100.xml 11.95/12.23 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.95/12.23 c choco : 2.29 11.95/12.23 c mistral : 0.064989 11.95/12.23 c abscon : 1.10083 11.95/12.23 c 11.95/12.23 c 11.95/12.23 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml 11.95/12.23 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.95/12.24 c choco : 11.33 11.95/12.24 c mistral : 0.71 11.95/12.24 c abscon : 1.44378 11.95/12.24 c 11.95/12.24 c 11.95/12.24 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml 11.95/12.24 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.95/12.24 c choco : 2.57 11.95/12.24 c mistral : 0.23 11.95/12.24 c abscon : 1.16082 11.95/12.24 c 11.95/12.24 c 11.95/12.24 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml 11.95/12.25 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.95/12.25 c choco : 7.04 11.95/12.25 c mistral : 0.39 11.95/12.25 c abscon : 1.11383 11.95/12.25 c 11.95/12.25 c 11.95/12.25 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-13-3.xml 11.95/12.25 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.95/12.26 c choco : 1.92 11.95/12.26 c mistral : 0.03 11.95/12.26 c abscon : 0.867867 11.95/12.26 c 11.95/12.26 c 11.95/12.26 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-10-3.xml 11.95/12.26 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.95/12.27 c choco : 1.46 11.95/12.27 c mistral : 0.02 11.95/12.27 c abscon : 0.777881 11.95/12.27 c 11.95/12.27 c 11.95/12.27 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-23-3.xml 11.95/12.27 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.95/12.27 c choco : 1.45 11.95/12.27 c mistral : 0.08 11.95/12.27 c abscon : 0.737886 11.95/12.27 c 11.95/12.27 c 11.95/12.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf6.xml 11.95/12.27 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.95/12.28 c choco : 1.54 11.95/12.28 c mistral : 0.02 11.95/12.28 c abscon : 0.748886 11.95/12.28 c 11.95/12.28 c 11.95/12.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-4-3.xml 11.95/12.28 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.95/12.28 c choco : 3.29 11.95/12.28 c mistral : 0.25796 11.95/12.28 c abscon : 1.26581 11.95/12.28 c 11.95/12.28 c 11.95/12.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-4-3.xml 11.95/12.28 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.95/12.29 c choco : 3.26 11.95/12.29 c mistral : 0.25996 11.95/12.29 c abscon : 1.22581 11.95/12.29 c 11.95/12.29 c 11.95/12.29 c /home/eomahony/cpZilla/CSP/zhou/schur.xml 11.95/12.29 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 11.95/12.30 c choco : 5.74 11.95/12.30 c mistral : 0.291955 11.95/12.30 c abscon : 2.07068 11.95/12.30 c 11.95/12.30 c 12.03/12.30 c Length: 40 12.03/12.30 c 2.341888761790364 13.16445243463244 16.423270695330448 16.621163387356493 16.64044218435015 17.658076559625627 19.556204324211276 19.882096308528432 21.59973282248417 21.626049680494123 26.688333133364786 27.087552626210964 27.089193890048552 27.45115650076945 27.461654156551273 29.033625556011977 29.03932058016509 29.387357054412508 29.416662164689395 30.947084478318793 31.01040883524595 31.04977033165463 31.128311916168858 31.57213640026231 31.824713451445245 31.838668362722782 32.234281653094115 32.39134121853847 33.06863383287553 33.15624001729847 33.31342502263164 33.53864223338357 34.36819570890069 34.76553024679474 36.05262889698475 36.247398381041094 38.47213370245404 40.59409215018978 40.59409215018978 40.98509696991212 12.03/12.30 c 12.03/12.31 c 1.0 0.7812110624921436 0.7329257203193832 0.7301850959933303 0.7299191983390049 0.7161534610924039 0.6918174240387801 0.6878045360703998 0.6674007931447262 0.6670975877312288 0.6134850189756063 0.6096213253944381 0.6096055414958178 0.6061444302208167 0.6060446372653915 0.5914630862050276 0.5914115348801516 0.5882780757149847 0.5880157494313757 0.5746338344538304 0.5740932404301091 0.5737577273879901 0.5730894182169957 0.5693419868801495 0.5672311532671517 0.5671149856441124 0.5638413844515865 0.5625522120427094 0.557059741017654 0.5563571266617356 0.5551009129301683 0.5533108449477527 0.5468158105123319 0.5437585649988294 0.5340856870002659 0.5326518423119775 0.516803846563417 0.5025424457168783 0.5025424457168783 0.5 12.03/12.32 c 12.03/12.32 c solver 0 12.03/12.32 c before 0.0 seconds: {} 0 12.03/12.32 c before 18.0 seconds: {4, 7, 10, 13, 14, 15, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15392 12.03/12.32 c before 36.0 seconds: {4, 7, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17200 12.03/12.32 c before 72.0 seconds: {4, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17891 12.03/12.32 c before 108.0 seconds: {1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20136 12.03/12.32 c before 324.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20852 12.03/12.32 c before 756.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21409 12.03/12.32 c 12.03/12.32 c solver 1 12.03/12.32 c before 0.0 seconds: {} 0 12.03/12.32 c before 18.0 seconds: {1, 3, 4, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18272 12.03/12.32 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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20152 12.03/12.32 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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20869 12.03/12.32 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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21869 12.03/12.32 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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22536 12.03/12.32 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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23203 12.03/12.32 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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23778 12.03/12.32 c 12.03/12.32 c solver 2 12.03/12.32 c before 0.0 seconds: {} 0 12.03/12.32 c before 18.0 seconds: {4, 7, 10, 13, 14, 15, 17, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13654 12.03/12.32 c before 36.0 seconds: {4, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16153 12.03/12.32 c before 108.0 seconds: {3, 4, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16883 12.03/12.32 c before 792.0 seconds: {3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17599 12.03/12.32 c 12.03/12.32 cTotal time: 145 12.03/12.32 c run abscon for 756.0 seconds {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21409 12.03/12.32 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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23203 12.03/12.32 c run choco for 108.0 seconds {3, 4, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16883 12.03/12.32 c Starting solver: HOME/cpHydra_k_40/solver/abscon 12.03/12.32 c On Instance: HOME/instance-1064875-1215144453.xml 12.03/12.32 c Running for: 756 seconds 771.10/786.49 c Starting solver: HOME/cpHydra_k_40/solver/mistral 771.10/786.49 c On Instance: HOME/instance-1064875-1215144453.xml 771.10/786.49 c Running for: 936 seconds 1012.15/1029.85 c mistral-prime version 1.313 1012.15/1029.85 s UNSATISFIABLE 1012.15/1029.85 d CHECKS 177041030 1012.15/1029.85 d ASSIGNMENTS 43991
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064875-1215144453/watcher-1064875-1215144453 -o /tmp/evaluation-result-1064875-1215144453/solver-1064875-1215144453 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1064875-1215144453.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.84 1.97 1.98 4/72 22161 /proc/meminfo: memFree=1643376/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=18572 CPUtime=0 /proc/22161/stat : 22161 (runsolver) R 22159 22161 22124 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1993417870 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 221954764071 0 0 4096 24578 0 0 0 17 1 0 0 /proc/22161/statm: 4643 292 257 25 0 2626 0 [startup+0.220135 s] /proc/loadavg: 1.84 1.97 1.98 4/72 22161 /proc/meminfo: memFree=1643376/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=0 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993417870 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302139 s] /proc/loadavg: 1.84 1.97 1.98 4/72 22161 /proc/meminfo: memFree=1643376/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=0 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993417870 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.401144 s] /proc/loadavg: 1.84 1.97 1.98 4/72 22161 /proc/meminfo: memFree=1643376/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=0 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993417870 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701174 s] /proc/loadavg: 1.84 1.97 1.98 4/72 22161 /proc/meminfo: memFree=1643376/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=0 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993417870 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50225 s] /proc/loadavg: 1.85 1.97 1.98 3/74 22165 /proc/meminfo: memFree=1623648/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=0 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993417870 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 236 195 169 0 51 0 [pid=22165] ppid=22161 vsize=28048 CPUtime=1.47 /proc/22165/stat : 22165 (xsolve) R 22161 22161 22124 0 -1 4194304 6449 0 0 0 143 4 0 0 25 0 1 0 1993417872 28721152 6245 996147200 134512640 135239763 4294956176 18446744073709551615 134573953 0 0 4096 0 0 0 0 17 1 0 0 /proc/22165/statm: 7012 6245 375 177 0 5915 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 33408 [startup+3.10139 s] /proc/loadavg: 1.85 1.97 1.98 3/74 22165 /proc/meminfo: memFree=1608928/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=0 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993417870 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 236 195 169 0 51 0 [pid=22165] ppid=22161 vsize=59836 CPUtime=3.05 /proc/22165/stat : 22165 (xsolve) R 22161 22161 22124 0 -1 4194304 14482 0 0 0 297 8 0 0 25 0 1 0 1993417872 61272064 13473 996147200 134512640 135239763 4294956176 18446744073709551615 134888543 0 0 4096 0 0 0 0 17 1 0 0 /proc/22165/statm: 14959 13473 381 177 0 13862 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 65196 [startup+6.30168 s] /proc/loadavg: 1.87 1.97 1.98 3/74 22165 /proc/meminfo: memFree=1509600/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=5.78 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 375 36876 0 0 0 0 555 23 18 0 1 0 1993417870 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 5.78 Current children cumulated vsize (KiB) 5360 [startup+12.7013 s] /proc/loadavg: 1.88 1.97 1.98 3/82 22177 /proc/meminfo: memFree=1615136/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=5.78 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 375 36876 0 0 0 0 555 23 18 0 1 0 1993417870 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 238 196 169 0 51 0 [pid=22169] ppid=22161 vsize=197436 CPUtime=6.27 /proc/22169/stat : 22169 (java) S 22161 22161 22124 0 -1 0 11449 0 1 0 610 17 0 0 18 0 10 0 1993418457 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22169/statm: 49359 9428 2544 9 0 43941 0 [pid=22169/tid=22170] ppid=22161 vsize=197436 CPUtime=5.06 /proc/22169/task/22170/stat : 22170 (java) S 22161 22161 22124 0 -1 64 3860 0 1 0 498 8 0 0 25 0 10 0 1993418458 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22169/tid=22171] ppid=22161 vsize=197436 CPUtime=0.94 /proc/22169/task/22171/stat : 22171 (java) S 22161 22161 22124 0 -1 64 6121 0 0 0 87 7 0 0 16 0 10 0 1993418460 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22172] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22172/stat : 22172 (java) S 22161 22161 22124 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993418460 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22173] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22173/stat : 22173 (java) S 22161 22161 22124 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993418460 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22174] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22174/stat : 22174 (java) S 22161 22161 22124 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993418462 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22175] ppid=22161 vsize=197436 CPUtime=0.24 /proc/22169/task/22175/stat : 22175 (java) S 22161 22161 22124 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 1993418462 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22176] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22176/stat : 22176 (java) S 22161 22161 22124 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993418462 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22177] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22177/stat : 22177 (java) S 22161 22161 22124 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1993418462 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.05 Current children cumulated vsize (KiB) 202796 [startup+25.5084 s] /proc/loadavg: 1.89 1.97 1.98 3/94 22189 /proc/meminfo: memFree=1390976/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=5.78 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 375 36876 0 0 0 0 555 23 18 0 1 0 1993417870 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 238 196 169 0 51 0 [pid=22169] ppid=22161 vsize=197436 CPUtime=6.27 /proc/22169/stat : 22169 (java) S 22161 22161 22124 0 -1 0 11475 0 1 0 610 17 0 0 18 0 10 0 1993418457 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22169/statm: 49359 9428 2544 9 0 43941 0 [pid=22179] ppid=22169 vsize=5356 CPUtime=0 /proc/22179/stat : 22179 (abscon) S 22169 22161 22124 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1993419104 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22179/statm: 1339 237 196 169 0 50 0 [pid=22180] ppid=22179 vsize=655676 CPUtime=12.92 /proc/22180/stat : 22180 (java) S 22179 22161 22124 0 -1 0 61542 0 1 0 1036 256 0 0 18 0 9 0 1993419104 671412224 58288 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22180/statm: 163919 58288 2616 9 0 158447 0 [pid=22180/tid=22182] ppid=22179 vsize=655676 CPUtime=9.89 /proc/22180/task/22182/stat : 22182 (java) R 22179 22161 22124 0 -1 64 12533 0 1 0 758 231 0 0 25 0 9 0 1993419105 671412224 58288 996147200 134512640 134550740 4294955808 18446744073709551615 4126677557 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22183] ppid=22179 vsize=655676 CPUtime=2.66 /proc/22180/task/22183/stat : 22183 (java) S 22179 22161 22124 0 -1 64 47715 0 0 0 243 23 0 0 16 0 9 0 1993419106 671412224 58288 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22184] ppid=22179 vsize=655676 CPUtime=0 /proc/22180/task/22184/stat : 22184 (java) S 22179 22161 22124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993419106 671412224 58288 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22185] ppid=22179 vsize=655676 CPUtime=0 /proc/22180/task/22185/stat : 22185 (java) S 22179 22161 22124 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 1993419106 671412224 58288 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22186] ppid=22179 vsize=655676 CPUtime=0 /proc/22180/task/22186/stat : 22186 (java) S 22179 22161 22124 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993419108 671412224 58288 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22187] ppid=22179 vsize=655676 CPUtime=0.34 /proc/22180/task/22187/stat : 22187 (java) S 22179 22161 22124 0 -1 64 735 0 0 0 34 0 0 0 15 0 9 0 1993419108 671412224 58288 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22188] ppid=22179 vsize=655676 CPUtime=0 /proc/22180/task/22188/stat : 22188 (java) S 22179 22161 22124 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993419109 671412224 58288 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22189] ppid=22179 vsize=655676 CPUtime=0 /proc/22180/task/22189/stat : 22189 (java) S 22179 22161 22124 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993419109 671412224 58288 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22181] ppid=22179 vsize=7044 CPUtime=0 /proc/22181/stat : 22181 (translate) S 22179 22161 22124 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1993419104 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221954932818 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/22181/statm: 1761 213 182 1 0 41 0 [pid=22169/tid=22170] ppid=22161 vsize=197436 CPUtime=5.06 /proc/22169/task/22170/stat : 22170 (java) S 22161 22161 22124 0 -1 64 3860 0 1 0 498 8 0 0 25 0 10 0 1993418458 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22169/tid=22171] ppid=22161 vsize=197436 CPUtime=0.94 /proc/22169/task/22171/stat : 22171 (java) S 22161 22161 22124 0 -1 64 6123 0 0 0 87 7 0 0 16 0 10 0 1993418460 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22172] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22172/stat : 22172 (java) S 22161 22161 22124 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993418460 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22173] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22173/stat : 22173 (java) S 22161 22161 22124 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993418460 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22174] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22174/stat : 22174 (java) S 22161 22161 22124 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993418462 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22175] ppid=22161 vsize=197436 CPUtime=0.24 /proc/22169/task/22175/stat : 22175 (java) S 22161 22161 22124 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 1993418462 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22176] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22176/stat : 22176 (java) S 22161 22161 22124 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993418462 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22177] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22177/stat : 22177 (java) S 22161 22161 22124 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1993418462 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22169/tid=22178] ppid=22161 vsize=197436 CPUtime=0 /proc/22169/task/22178/stat : 22178 (java) S 22161 22161 22124 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1993419104 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 24.97 Current children cumulated vsize (KiB) 870872 [startup+51.1027 s] /proc/loadavg: 1.93 1.97 1.98 3/94 22189 /proc/meminfo: memFree=1384384/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=5.78 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 375 36876 0 0 0 0 555 23 18 0 1 0 1993417870 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 238 196 169 0 51 0 [pid=22169] ppid=22161 vsize=197436 CPUtime=6.27 /proc/22169/stat : 22169 (java) S 22161 22161 22124 0 -1 0 11475 0 1 0 610 17 0 0 18 0 10 0 1993418457 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22169/statm: 49359 9428 2544 9 0 43941 0 [pid=22179] ppid=22169 vsize=5356 CPUtime=0 /proc/22179/stat : 22179 (abscon) S 22169 22161 22124 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1993419104 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22179/statm: 1339 237 196 169 0 50 0 [pid=22180] ppid=22179 vsize=655676 CPUtime=37.99 /proc/22180/stat : 22180 (java) S 22179 22161 22124 0 -1 0 63140 0 1 0 3541 258 0 0 18 0 9 0 1993419104 671412224 59872 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22180/statm: 163919 59872 2616 9 0 158447 0 [pid=22180/tid=22182] ppid=22179 vsize=655676 CPUtime=34.78 /proc/22180/task/22182/stat : 22182 (java) R 22179 22161 22124 0 -1 64 12561 0 1 0 3246 232 0 0 25 0 9 0 1993419105 671412224 59872 996147200 134512640 134550740 4294955808 18446744073709551615 4127433097 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22183] ppid=22179 vsize=655676 CPUtime=2.73 /proc/22180/task/22183/stat : 22183 (java) S 22179 22161 22124 0 -1 64 49224 0 0 0 249 24 0 0 16 0 9 0 1993419106 671412224 59872 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22184] ppid=22179 vsize=655676 CPUtime=0 /proc/22180/task/22184/stat : 22184 (java) S 22179 22161 22124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993419106 671412224 59872 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22185] ppid=22179 vsize=655676 CPUtime=0 /proc/22180/task/22185/stat : 22185 (java) S 22179 22161 22124 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 1993419106 671412224 59872 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22186] ppid=22179 vsize=655676 CPUtime=0 /proc/22180/task/22186/stat : 22186 (java) S 22179 22161 22124 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993419108 671412224 59872 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22187] ppid=22179 vsize=655676 CPUtime=0.46 /proc/22180/task/22187/stat : 22187 (java) S 22179 22161 22124 0 -1 64 796 0 0 0 45 1 0 0 16 0 9 0 1993419108 671412224 59872 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22180/tid=22188] ppid=22179 vsize=655676 CPUtime=0 ################ # More data... # ################ /proc/loadavg: 2.06 1.99 1.99 3/85 22192 /proc/meminfo: memFree=1476096/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=5.78 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 375 36876 0 0 0 0 555 23 18 0 1 0 1993417870 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 238 196 169 0 51 0 [pid=22169] ppid=22161 vsize=197760 CPUtime=765.41 /proc/22169/stat : 22169 (java) S 22161 22161 22124 0 -1 0 11671 63726 1 1 610 17 75651 263 18 0 10 0 1993418457 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22169/statm: 49440 9435 2545 9 0 44022 0 [pid=22191] ppid=22169 vsize=5356 CPUtime=0 /proc/22191/stat : 22191 (mistral) S 22169 22161 22124 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1993496520 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22191/statm: 1339 238 198 169 0 50 0 [pid=22192] ppid=22191 vsize=145864 CPUtime=235.31 /proc/22192/stat : 22192 (xsolve) R 22191 22161 22124 0 -1 4194304 36257 0 0 0 23512 19 0 0 25 0 1 0 1993496521 149364736 34672 996147200 134512640 135239763 4294955968 18446744073709551615 134543129 0 4 0 0 0 0 0 17 1 0 0 /proc/22192/statm: 36466 34672 414 177 0 35369 0 [pid=22169/tid=22170] ppid=22161 vsize=197760 CPUtime=764.2 /proc/22169/task/22170/stat : 22170 (java) S 22161 22161 22124 0 -1 64 3942 63726 1 1 498 8 75651 263 16 0 10 0 1993418458 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22169/tid=22171] ppid=22161 vsize=197760 CPUtime=760.08 /proc/22169/task/22171/stat : 22171 (java) S 22161 22161 22124 0 -1 64 6146 63726 0 1 87 7 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22172] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22172/stat : 22172 (java) S 22161 22161 22124 0 -1 64 10 63726 0 1 0 0 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22173] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22173/stat : 22173 (java) S 22161 22161 22124 0 -1 64 5 63726 0 1 0 0 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22174] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22174/stat : 22174 (java) S 22161 22161 22124 0 -1 64 1 63726 0 1 0 0 75651 263 18 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22175] ppid=22161 vsize=197760 CPUtime=759.39 /proc/22169/task/22175/stat : 22175 (java) S 22161 22161 22124 0 -1 64 701 63726 0 1 25 0 75651 263 16 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22176] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22176/stat : 22176 (java) S 22161 22161 22124 0 -1 64 1 63726 0 1 0 0 75651 263 19 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22177] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22177/stat : 22177 (java) S 22161 22161 22124 0 -1 64 38 63726 0 1 0 0 75651 263 15 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22169/tid=22190] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22190/stat : 22190 (java) S 22161 22161 22124 0 -1 64 48 63726 0 1 0 0 75651 263 17 0 10 0 1993496520 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1006.5 Current children cumulated vsize (KiB) 354340 [startup+1027.3 s] /proc/loadavg: 2.06 1.99 1.99 3/85 22192 /proc/meminfo: memFree=1476096/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=5.78 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 375 36876 0 0 0 0 555 23 18 0 1 0 1993417870 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 238 196 169 0 51 0 [pid=22169] ppid=22161 vsize=197760 CPUtime=765.41 /proc/22169/stat : 22169 (java) S 22161 22161 22124 0 -1 0 11671 63726 1 1 610 17 75651 263 18 0 10 0 1993418457 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22169/statm: 49440 9435 2545 9 0 44022 0 [pid=22191] ppid=22169 vsize=5356 CPUtime=0 /proc/22191/stat : 22191 (mistral) S 22169 22161 22124 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1993496520 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22191/statm: 1339 238 198 169 0 50 0 [pid=22192] ppid=22191 vsize=145864 CPUtime=238.47 /proc/22192/stat : 22192 (xsolve) R 22191 22161 22124 0 -1 4194304 36257 0 0 0 23828 19 0 0 25 0 1 0 1993496521 149364736 34672 996147200 134512640 135239763 4294955968 18446744073709551615 134820514 0 4 0 0 0 0 0 17 1 0 0 /proc/22192/statm: 36466 34672 414 177 0 35369 0 [pid=22169/tid=22170] ppid=22161 vsize=197760 CPUtime=764.2 /proc/22169/task/22170/stat : 22170 (java) S 22161 22161 22124 0 -1 64 3942 63726 1 1 498 8 75651 263 16 0 10 0 1993418458 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22169/tid=22171] ppid=22161 vsize=197760 CPUtime=760.08 /proc/22169/task/22171/stat : 22171 (java) S 22161 22161 22124 0 -1 64 6146 63726 0 1 87 7 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22172] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22172/stat : 22172 (java) S 22161 22161 22124 0 -1 64 10 63726 0 1 0 0 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22173] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22173/stat : 22173 (java) S 22161 22161 22124 0 -1 64 5 63726 0 1 0 0 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22174] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22174/stat : 22174 (java) S 22161 22161 22124 0 -1 64 1 63726 0 1 0 0 75651 263 18 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22175] ppid=22161 vsize=197760 CPUtime=759.39 /proc/22169/task/22175/stat : 22175 (java) S 22161 22161 22124 0 -1 64 701 63726 0 1 25 0 75651 263 16 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22176] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22176/stat : 22176 (java) S 22161 22161 22124 0 -1 64 1 63726 0 1 0 0 75651 263 19 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22177] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22177/stat : 22177 (java) S 22161 22161 22124 0 -1 64 38 63726 0 1 0 0 75651 263 15 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22169/tid=22190] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22190/stat : 22190 (java) S 22161 22161 22124 0 -1 64 48 63726 0 1 0 0 75651 263 17 0 10 0 1993496520 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1009.66 Current children cumulated vsize (KiB) 354340 [startup+1028.9 s] /proc/loadavg: 2.06 1.99 1.99 3/85 22192 /proc/meminfo: memFree=1476096/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=5.78 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 375 36876 0 0 0 0 555 23 18 0 1 0 1993417870 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 238 196 169 0 51 0 [pid=22169] ppid=22161 vsize=197760 CPUtime=765.41 /proc/22169/stat : 22169 (java) S 22161 22161 22124 0 -1 0 11671 63726 1 1 610 17 75651 263 18 0 10 0 1993418457 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22169/statm: 49440 9435 2545 9 0 44022 0 [pid=22191] ppid=22169 vsize=5356 CPUtime=0 /proc/22191/stat : 22191 (mistral) S 22169 22161 22124 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1993496520 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22191/statm: 1339 238 198 169 0 50 0 [pid=22192] ppid=22191 vsize=145864 CPUtime=240.06 /proc/22192/stat : 22192 (xsolve) R 22191 22161 22124 0 -1 4194304 36257 0 0 0 23987 19 0 0 25 0 1 0 1993496521 149364736 34672 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 1 0 0 /proc/22192/statm: 36466 34672 414 177 0 35369 0 [pid=22169/tid=22170] ppid=22161 vsize=197760 CPUtime=764.2 /proc/22169/task/22170/stat : 22170 (java) S 22161 22161 22124 0 -1 64 3942 63726 1 1 498 8 75651 263 16 0 10 0 1993418458 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22169/tid=22171] ppid=22161 vsize=197760 CPUtime=760.08 /proc/22169/task/22171/stat : 22171 (java) S 22161 22161 22124 0 -1 64 6146 63726 0 1 87 7 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22172] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22172/stat : 22172 (java) S 22161 22161 22124 0 -1 64 10 63726 0 1 0 0 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22173] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22173/stat : 22173 (java) S 22161 22161 22124 0 -1 64 5 63726 0 1 0 0 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22174] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22174/stat : 22174 (java) S 22161 22161 22124 0 -1 64 1 63726 0 1 0 0 75651 263 18 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22175] ppid=22161 vsize=197760 CPUtime=759.39 /proc/22169/task/22175/stat : 22175 (java) S 22161 22161 22124 0 -1 64 701 63726 0 1 25 0 75651 263 16 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22176] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22176/stat : 22176 (java) S 22161 22161 22124 0 -1 64 1 63726 0 1 0 0 75651 263 19 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22177] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22177/stat : 22177 (java) S 22161 22161 22124 0 -1 64 38 63726 0 1 0 0 75651 263 15 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22169/tid=22190] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22190/stat : 22190 (java) S 22161 22161 22124 0 -1 64 48 63726 0 1 0 0 75651 263 17 0 10 0 1993496520 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1011.25 Current children cumulated vsize (KiB) 354340 [startup+1029.7 s] /proc/loadavg: 2.06 1.99 1.99 3/85 22192 /proc/meminfo: memFree=1480128/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=5.78 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 375 36876 0 0 0 0 555 23 18 0 1 0 1993417870 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 238 196 169 0 51 0 [pid=22169] ppid=22161 vsize=197760 CPUtime=765.41 /proc/22169/stat : 22169 (java) S 22161 22161 22124 0 -1 0 11671 63726 1 1 610 17 75651 263 18 0 10 0 1993418457 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22169/statm: 49440 9435 2545 9 0 44022 0 [pid=22191] ppid=22169 vsize=5356 CPUtime=0 /proc/22191/stat : 22191 (mistral) S 22169 22161 22124 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1993496520 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22191/statm: 1339 238 198 169 0 50 0 [pid=22192] ppid=22191 vsize=140332 CPUtime=240.86 /proc/22192/stat : 22192 (xsolve) R 22191 22161 22124 0 -1 4194304 36270 0 0 0 24066 20 0 0 25 0 1 0 1993496521 143699968 33646 996147200 134512640 135239763 4294955968 18446744073709551615 2408455 0 4 0 0 0 0 0 17 1 0 0 /proc/22192/statm: 35083 33646 427 177 0 33986 0 [pid=22169/tid=22170] ppid=22161 vsize=197760 CPUtime=764.2 /proc/22169/task/22170/stat : 22170 (java) S 22161 22161 22124 0 -1 64 3942 63726 1 1 498 8 75651 263 16 0 10 0 1993418458 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22169/tid=22171] ppid=22161 vsize=197760 CPUtime=760.08 /proc/22169/task/22171/stat : 22171 (java) S 22161 22161 22124 0 -1 64 6146 63726 0 1 87 7 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22172] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22172/stat : 22172 (java) S 22161 22161 22124 0 -1 64 10 63726 0 1 0 0 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22173] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22173/stat : 22173 (java) S 22161 22161 22124 0 -1 64 5 63726 0 1 0 0 75651 263 16 0 10 0 1993418460 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22174] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22174/stat : 22174 (java) S 22161 22161 22124 0 -1 64 1 63726 0 1 0 0 75651 263 18 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22175] ppid=22161 vsize=197760 CPUtime=759.39 /proc/22169/task/22175/stat : 22175 (java) S 22161 22161 22124 0 -1 64 701 63726 0 1 25 0 75651 263 16 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22176] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22176/stat : 22176 (java) S 22161 22161 22124 0 -1 64 1 63726 0 1 0 0 75651 263 19 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22177] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22177/stat : 22177 (java) S 22161 22161 22124 0 -1 64 38 63726 0 1 0 0 75651 263 15 0 10 0 1993418462 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22169/tid=22190] ppid=22161 vsize=197760 CPUtime=759.14 /proc/22169/task/22190/stat : 22190 (java) S 22161 22161 22124 0 -1 64 48 63726 0 1 0 0 75651 263 17 0 10 0 1993496520 202506240 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1012.05 Current children cumulated vsize (KiB) 348808 [startup+1029.9 s] /proc/loadavg: 2.06 1.99 1.99 3/85 22192 /proc/meminfo: memFree=1480128/2055920 swapFree=4179776/4192956 [pid=22161] ppid=22159 vsize=5360 CPUtime=5.78 /proc/22161/stat : 22161 (hydra) S 22159 22161 22124 0 -1 4194304 375 36876 0 0 0 0 555 23 18 0 1 0 1993417870 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22161/statm: 1340 238 196 169 0 51 0 [pid=22169] ppid=22161 vsize=197760 CPUtime=1006.44 /proc/22169/stat : 22169 (java) S 22161 22161 22124 0 -1 0 11772 100305 1 1 610 17 99731 286 18 0 9 0 1993418457 202506240 9436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22169/statm: 49440 9436 2545 9 0 44022 0 [pid=22169/tid=22170] ppid=22161 vsize=197760 CPUtime=1005.23 /proc/22169/task/22170/stat : 22170 (java) S 22161 22161 22124 0 -1 64 4005 100305 1 1 498 8 99731 286 16 0 9 0 1993418458 202506240 9436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22171] ppid=22161 vsize=197760 CPUtime=1001.11 /proc/22169/task/22171/stat : 22171 (java) S 22161 22161 22124 0 -1 64 6171 100305 0 1 87 7 99731 286 16 0 9 0 1993418460 202506240 9436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22172] ppid=22161 vsize=197760 CPUtime=1000.17 /proc/22169/task/22172/stat : 22172 (java) S 22161 22161 22124 0 -1 64 10 100305 0 1 0 0 99731 286 16 0 9 0 1993418460 202506240 9436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22173] ppid=22161 vsize=197760 CPUtime=1000.17 /proc/22169/task/22173/stat : 22173 (java) S 22161 22161 22124 0 -1 64 5 100305 0 1 0 0 99731 286 16 0 9 0 1993418460 202506240 9436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22174] ppid=22161 vsize=197760 CPUtime=1000.17 /proc/22169/task/22174/stat : 22174 (java) S 22161 22161 22124 0 -1 64 1 100305 0 1 0 0 99731 286 18 0 9 0 1993418462 202506240 9436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22175] ppid=22161 vsize=197760 CPUtime=1000.42 /proc/22169/task/22175/stat : 22175 (java) S 22161 22161 22124 0 -1 64 701 100305 0 1 25 0 99731 286 16 0 9 0 1993418462 202506240 9436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22176] ppid=22161 vsize=197760 CPUtime=1000.17 /proc/22169/task/22176/stat : 22176 (java) S 22161 22161 22124 0 -1 64 1 100305 0 1 0 0 99731 286 19 0 9 0 1993418462 202506240 9436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22169/tid=22177] ppid=22161 vsize=197760 CPUtime=1000.17 /proc/22169/task/22177/stat : 22177 (java) S 22161 22161 22124 0 -1 64 38 100305 0 1 0 0 99731 286 15 0 9 0 1993418462 202506240 9436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1012.22 Current children cumulated vsize (KiB) 203120 Child status: 0 Real time (s): 1029.91 CPU time (s): 1012.26 CPU user time (s): 1008.98 CPU system time (s): 3.2825 CPU usage (%): 98.2864 Max. virtual memory (cumulated for all children) (KiB): 876504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1008.98 system time used= 3.2825 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 149372 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47109 involuntary context switches= 54562 runsolver used 3.2815 second user time and 9.32458 second system time The end
Begin job on node43 at 2008-07-04 06:07:34 IDJOB=1064875 IDBENCH=54999 IDSOLVER=366 FILE ID=node43/1064875-1215144453 PBS_JOBID= 7877409 Free space on /tmp= 66540 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-elf-rf9.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064875-1215144453/watcher-1064875-1215144453 -o /tmp/evaluation-result-1064875-1215144453/solver-1064875-1215144453 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1064875-1215144453.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 6fea805b38dfb180ddb73a033dd0e468 RANDOM SEED=1494584772 node43.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.230 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.230 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: 1643792 kB Buffers: 16480 kB Cached: 159596 kB SwapCached: 7048 kB Active: 300576 kB Inactive: 52264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1643792 kB SwapTotal: 4192956 kB SwapFree: 4179776 kB Dirty: 33420 kB Writeback: 0 kB Mapped: 184224 kB Slab: 44356 kB Committed_AS: 3830728 kB PageTables: 2160 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= 66516 MiB End job on node43 at 2008-07-04 06:24:44