Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 655.782 | 684.542 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 652 |
CHECKS | 1886440 |
Name | csp/os-gp/ normalized-gp10-05-1071.xml |
MD5SUM | edcaa13bc864d407223412ca462d8cd5 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.604907 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 1000 |
Maximum constraint arity | 2 |
Maximum domain size | 1072 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1000 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 6.45/22.69 c CASE TO CLASSIFY: 6.45/22.69 c Case: 0 6.45/22.70 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 23.339700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 8.654800 | c 14 > 11.363600 | c 11 > 10.891800 | c 12 > 6.783910 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.55/22.70 c choco : 1801.0 6.55/22.70 c mistral : 1801.0 6.55/22.70 c abscon : 1801.0 6.55/22.70 c 6.55/22.70 c 6.55/22.77 c List of same ones: 40 6.55/22.77 c /home/eomahony/cpZilla/CSP/os-gp/gp10-09-1112.xml 6.55/22.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.244200 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 7.444610 | c 14 > 9.667110 | c 11 > 10.891800 | c 12 > 5.181960 | c 21 > 33.196200 | c 20 > 100.000000 | c 22 > 33.361700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.081900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.55/22.77 c choco : 5.26 6.55/22.77 c mistral : 0.369943 6.55/22.77 c abscon : 1800.07 6.55/22.77 c 6.55/22.77 c 6.55/22.77 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-09-1112.xml 6.55/22.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.065800 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 7.186340 | c 14 > 9.491850 | c 11 > 10.891800 | c 12 > 5.001420 | c 21 > 33.196200 | c 20 > 100.000000 | c 22 > 33.361700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.081900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.55/22.78 c choco : 14.03 6.55/22.78 c mistral : 1.14 6.55/22.78 c abscon : 1801.0 6.55/22.78 c 6.55/22.78 c 6.55/22.78 c /home/eomahony/cpZilla/CSP/os-gp/gp10-04-1077.xml 6.55/22.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.210500 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 6.747930 | c 14 > 9.509780 | c 11 > 10.891800 | c 12 > 4.617740 | c 21 > 32.670100 | c 20 > 100.000000 | c 22 > 32.832900 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.035600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.55/22.78 c choco : 6.77 6.55/22.78 c mistral : 0.297953 6.55/22.78 c abscon : 1800.11 6.55/22.78 c 6.55/22.78 c 6.55/22.78 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-04-1077.xml 6.55/22.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.050400 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 6.465870 | c 14 > 9.337620 | c 11 > 10.891800 | c 12 > 4.378510 | c 21 > 32.670100 | c 20 > 100.000000 | c 22 > 32.832900 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.035600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.55/22.79 c choco : 15.35 6.55/22.79 c mistral : 0.9 6.55/22.79 c abscon : 1801.0 6.55/22.79 c 6.55/22.79 c 6.55/22.79 c /home/eomahony/cpZilla/CSP/os-gp/gp10-08-1093.xml 6.55/22.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.284400 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.189530 | c 14 > 9.459430 | c 11 > 10.891800 | c 12 > 3.523690 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.55/22.79 c choco : 5.52 6.55/22.79 c mistral : 0.348946 6.55/22.79 c abscon : 1800.07 6.55/22.79 c 6.55/22.79 c 6.55/22.79 c /home/eomahony/cpZilla/CSP/os-gp/gp10-05-1071.xml 6.55/22.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.218700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.220520 | c 14 > 9.159870 | c 11 > 10.891800 | c 12 > 3.664120 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.66/22.80 c choco : 11.7 6.66/22.80 c mistral : 1.40479 6.66/22.80 c abscon : 1800.1 6.66/22.80 c 6.66/22.80 c 6.66/22.80 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-10-1092.xml 6.66/22.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.301700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.062940 | c 14 > 9.317410 | c 11 > 10.891800 | c 12 > 3.460120 | c 21 > 32.896600 | c 20 > 100.000000 | c 22 > 33.060600 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.055600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.66/22.80 c choco : 13.97 6.66/22.80 c mistral : 0.8 6.66/22.80 c abscon : 1801.0 6.66/22.80 c 6.66/22.80 c 6.66/22.80 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-05-1071.xml 6.66/22.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.131600 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.133260 | c 14 > 9.087460 | c 11 > 10.891800 | c 12 > 3.593980 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.66/22.80 c choco : 20.25 6.66/22.80 c mistral : 14.08 6.66/22.80 c abscon : 1801.0 6.66/22.80 c 6.66/22.80 c 6.66/22.80 c /home/eomahony/cpZilla/CSP/os-gp/gp10-07-1079.xml 6.66/22.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.301100 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.249350 | c 14 > 9.079480 | c 11 > 10.891800 | c 12 > 3.361690 | c 21 > 32.700400 | c 20 > 100.000000 | c 22 > 32.863400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.038300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.66/22.81 c choco : 7.45 6.66/22.81 c mistral : 0.532918 6.66/22.81 c abscon : 1800.11 6.66/22.81 c 6.66/22.81 c 6.66/22.81 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-08-1093.xml 6.66/22.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.175600 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.081010 | c 14 > 9.364130 | c 11 > 10.891800 | c 12 > 3.440180 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.66/22.81 c choco : 14.17 6.66/22.81 c mistral : 1.52 6.66/22.81 c abscon : 1801.0 6.66/22.81 c 6.66/22.81 c 6.66/22.81 c /home/eomahony/cpZilla/CSP/os-gp/gp10-10-1092.xml 6.66/22.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.254700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.037670 | c 14 > 9.278450 | c 11 > 10.891800 | c 12 > 3.430640 | c 21 > 32.896600 | c 20 > 100.000000 | c 22 > 33.060600 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.055600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.01 c choco : 5.92 6.86/23.01 c mistral : 0.305952 6.86/23.01 c abscon : 1800.09 6.86/23.01 c 6.86/23.01 c 6.86/23.01 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-07-1079.xml 6.86/23.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.253700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.214810 | c 14 > 9.057990 | c 11 > 10.891800 | c 12 > 3.343030 | c 21 > 32.700400 | c 20 > 100.000000 | c 22 > 32.863400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.038300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.01 c choco : 16.56 6.86/23.01 c mistral : 5.33 6.86/23.01 c abscon : 1801.0 6.86/23.01 c 6.86/23.01 c 6.86/23.01 c /home/eomahony/cpZilla/CSP/os-gp/gp10-01-1093.xml 6.86/23.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.165500 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.971420 | c 14 > 9.746510 | c 11 > 10.891800 | c 12 > 3.239110 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.01 c choco : 6.81 6.86/23.01 c mistral : 0.327949 6.86/23.01 c abscon : 1800.07 6.86/23.01 c 6.86/23.01 c 6.86/23.01 c /home/eomahony/cpZilla/CSP/os-gp/gp10-06-1071.xml 6.86/23.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.147400 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.013100 | c 14 > 9.121530 | c 11 > 10.891800 | c 12 > 3.388620 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.01 c choco : 6.95 6.86/23.01 c mistral : 0.271957 6.86/23.01 c abscon : 1800.1 6.86/23.01 c 6.86/23.01 c 6.86/23.01 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-06-1071.xml 6.86/23.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.147200 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.013100 | c 14 > 9.113740 | c 11 > 10.891800 | c 12 > 3.388620 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.01 c choco : 15.66 6.86/23.01 c mistral : 0.64 6.86/23.01 c abscon : 1801.0 6.86/23.01 c 6.86/23.01 c 6.86/23.01 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-01-1093.xml 6.86/23.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.048400 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.855760 | c 14 > 9.658210 | c 11 > 10.891800 | c 12 > 3.148330 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.02 c choco : 14.92 6.86/23.02 c mistral : 3.68 6.86/23.02 c abscon : 1801.0 6.86/23.02 c 6.86/23.02 c 6.86/23.02 c /home/eomahony/cpZilla/CSP/os-gp/gp10-03-1081.xml 6.86/23.02 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.203300 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.549570 | c 14 > 9.179910 | c 11 > 10.891800 | c 12 > 3.063870 | c 21 > 32.730700 | c 20 > 100.000000 | c 22 > 32.893800 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.041000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.02 c choco : 6.31 6.86/23.02 c mistral : 1.17882 6.86/23.02 c abscon : 1800.05 6.86/23.02 c 6.86/23.02 c 6.86/23.02 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-03-1081.xml 6.86/23.02 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.042600 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.411440 | c 14 > 9.033420 | c 11 > 10.891800 | c 12 > 2.945550 | c 21 > 32.730700 | c 20 > 100.000000 | c 22 > 32.893800 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.041000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.02 c choco : 16.32 6.86/23.02 c mistral : 1801.0 6.86/23.02 c abscon : 1801.0 6.86/23.02 c 6.86/23.02 c 6.86/23.02 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-5.xml 6.86/23.02 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 22.518000 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 7.474520 | c 14 > 11.865000 | c 11 > 7.813780 | c 12 > 6.384360 | c 21 > 30.174800 | c 20 > 100.000000 | c 22 > 30.967700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.505400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.02 c choco : 12.7 6.86/23.02 c mistral : 0.288956 6.86/23.02 c abscon : 139.854 6.86/23.02 c 6.86/23.02 c 6.86/23.02 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-1.xml 6.86/23.02 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.621300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 7.824080 | c 14 > 10.693500 | c 11 > 7.813780 | c 12 > 6.426560 | c 21 > 30.115700 | c 20 > 100.000000 | c 22 > 30.935400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.499700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.03 c choco : 13.01 6.86/23.03 c mistral : 0.396939 6.86/23.03 c abscon : 107.067 6.86/23.03 c 6.86/23.03 c 6.86/23.03 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-1.xml 6.86/23.03 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.529700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 5.961620 | c 14 > 10.410500 | c 11 > 7.813780 | c 12 > 5.964190 | c 21 > 30.902400 | c 20 > 100.000000 | c 22 > 31.701700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.574000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.03 c choco : 12.73 6.86/23.03 c mistral : 0.296954 6.86/23.03 c abscon : 41.0688 6.86/23.03 c 6.86/23.03 c 6.86/23.03 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-3.xml 6.86/23.03 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.885700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.549570 | c 14 > 10.590600 | c 11 > 7.813780 | c 12 > 6.111500 | c 21 > 29.959000 | c 20 > 100.000000 | c 22 > 30.757100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.484700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.03 c choco : 12.83 6.86/23.03 c mistral : 0.792878 6.86/23.03 c abscon : 82.8884 6.86/23.03 c 6.86/23.03 c 6.86/23.03 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-7.xml 6.86/23.03 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.944600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.151970 | c 14 > 10.198400 | c 11 > 7.813780 | c 12 > 6.085760 | c 21 > 30.242300 | c 20 > 100.000000 | c 22 > 31.016100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.511800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.03 c choco : 12.67 6.86/23.03 c mistral : 0.374942 6.86/23.03 c abscon : 58.2261 6.86/23.03 c 6.86/23.03 c 6.86/23.03 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-9.xml 6.86/23.03 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.351700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.678820 | c 14 > 9.008430 | c 11 > 7.813780 | c 12 > 6.038460 | c 21 > 30.552300 | c 20 > 100.000000 | c 22 > 31.336900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.541200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.03 c choco : 12.51 6.86/23.03 c mistral : 0.303953 6.86/23.03 c abscon : 42.4445 6.86/23.03 c 6.86/23.03 c 6.86/23.03 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-5.xml 6.86/23.03 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.722400 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 5.519230 | c 14 > 9.449150 | c 11 > 7.813780 | c 12 > 5.928210 | c 21 > 30.960000 | c 20 > 100.000000 | c 22 > 31.733300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.579300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.04 c choco : 53.91 6.86/23.04 c mistral : 0.288955 6.86/23.04 c abscon : 41.3687 6.86/23.04 c 6.86/23.04 c 6.86/23.04 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-7.xml 6.86/23.04 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.245200 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.707180 | c 14 > 11.452200 | c 11 > 7.813780 | c 12 > 6.134680 | c 21 > 29.471900 | c 20 > 100.000000 | c 22 > 30.265500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.437500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.04 c choco : 12.78 6.86/23.04 c mistral : 0.379941 6.86/23.04 c abscon : 59.8509 6.86/23.04 c 6.86/23.04 c 6.86/23.04 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-95-8.xml 6.86/23.04 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 22.080100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.292410 | c 14 > 11.190400 | c 11 > 7.813780 | c 12 > 6.087460 | c 21 > 29.227700 | c 20 > 100.000000 | c 22 > 30.050000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.413500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.04 c choco : 21.09 6.86/23.04 c mistral : 5.9261 6.86/23.04 c abscon : 1800.09 6.86/23.04 c 6.86/23.04 c 6.86/23.04 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-02-1097.xml 6.86/23.04 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 18.734200 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.452120 | c 14 > 8.558420 | c 11 > 10.891800 | c 12 > 2.222120 | c 21 > 32.971800 | c 20 > 100.000000 | c 22 > 33.136100 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.062200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.04 c choco : 13.88 6.86/23.04 c mistral : 0.69 6.86/23.04 c abscon : 71.81 6.86/23.04 c 6.86/23.04 c 6.86/23.04 c /home/eomahony/cpZilla/CSP/os-gp/gp10-02-1097.xml 6.86/23.04 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 18.734200 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.452120 | c 14 > 8.558420 | c 11 > 10.891800 | c 12 > 2.222120 | c 21 > 32.971800 | c 20 > 100.000000 | c 22 > 33.136100 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.062200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.05 c choco : 5.52 6.86/23.05 c mistral : 0.18597 6.86/23.05 c abscon : 638.337 6.86/23.05 c 6.86/23.05 c 6.86/23.05 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-1.xml 6.86/23.05 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.646800 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 4.145940 | c 14 > 7.774790 | c 11 > 11.720700 | c 12 > 2.462110 | c 21 > 33.919400 | c 20 > 100.000000 | c 22 > 34.641000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.978100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.05 c choco : 20.19 6.86/23.05 c mistral : 73.1569 6.86/23.05 c abscon : 1800.11 6.86/23.05 c 6.86/23.05 c 6.86/23.05 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-3.xml 6.86/23.05 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 19.669300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 5.115260 | c 14 > 9.445010 | c 11 > 7.813780 | c 12 > 5.629290 | c 21 > 30.733400 | c 20 > 100.000000 | c 22 > 31.511900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.558200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.05 c choco : 12.77 6.86/23.05 c mistral : 0.280956 6.86/23.05 c abscon : 40.8558 6.86/23.05 c 6.86/23.05 c 6.86/23.05 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-9.xml 6.86/23.05 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.500900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.201930 | c 14 > 10.691700 | c 11 > 7.813780 | c 12 > 5.866690 | c 21 > 29.773200 | c 20 > 100.000000 | c 22 > 30.577800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.466800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.05 c choco : 19.98 6.86/23.05 c mistral : 0.649901 6.86/23.05 c abscon : 145.126 6.86/23.05 c 6.86/23.05 c 6.86/23.05 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-9.xml 6.86/23.05 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.644600 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.711880 | c 14 > 7.459430 | c 11 > 11.720700 | c 12 > 2.316190 | c 21 > 34.022500 | c 20 > 100.000000 | c 22 > 34.741900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.986800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.06 c choco : 31.0 6.86/23.06 c mistral : 1800.05 6.86/23.06 c abscon : 1800.13 6.86/23.06 c 6.86/23.06 c 6.86/23.06 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-7.xml 6.86/23.06 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.707900 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.387950 | c 14 > 7.199670 | c 11 > 11.720700 | c 12 > 2.192220 | c 21 > 33.321500 | c 20 > 100.000000 | c 22 > 34.058800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.926800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.06 c choco : 20.45 6.86/23.06 c mistral : 7.82681 6.86/23.06 c abscon : 1800.09 6.86/23.06 c 6.86/23.06 c 6.86/23.06 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-3.xml 6.86/23.06 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.744100 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.564180 | c 14 > 7.693490 | c 11 > 11.720700 | c 12 > 2.286000 | c 21 > 34.530200 | c 20 > 100.000000 | c 22 > 35.213600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.029500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.06 c choco : 39.45 6.86/23.06 c mistral : 1146.73 6.86/23.06 c abscon : 1800.07 6.86/23.06 c 6.86/23.06 c 6.86/23.06 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-6.xml 6.86/23.06 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.622900 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.126110 | c 14 > 7.475730 | c 11 > 11.720700 | c 12 > 2.090500 | c 21 > 33.506000 | c 20 > 100.000000 | c 22 > 34.249100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.942700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.06 c choco : 47.22 6.86/23.06 c mistral : 31.1053 6.86/23.06 c abscon : 1800.07 6.86/23.06 c 6.86/23.06 c 6.86/23.06 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-5.xml 6.86/23.06 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.686600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.589970 | c 14 > 10.477800 | c 11 > 8.643860 | c 12 > 6.420340 | c 21 > 34.701800 | c 20 > 100.000000 | c 22 > 35.383600 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.165500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.06 c choco : 15.3 6.86/23.06 c mistral : 1.13783 6.86/23.06 c abscon : 112.772 6.86/23.06 c 6.86/23.06 c 6.86/23.06 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-3.xml 6.86/23.06 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.553800 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.096810 | c 14 > 7.199670 | c 11 > 11.720700 | c 12 > 2.078200 | c 21 > 32.777100 | c 20 > 100.000000 | c 22 > 33.496300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.879400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.07 c choco : 7.89 6.86/23.07 c mistral : 4.93025 6.86/23.07 c abscon : 1800.1 6.86/23.07 c 6.86/23.07 c 6.86/23.07 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-95-1.xml 6.86/23.07 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.854600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.716770 | c 14 > 11.898200 | c 11 > 8.643860 | c 12 > 6.416800 | c 21 > 34.842300 | c 20 > 100.000000 | c 22 > 35.566800 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.177100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.07 c choco : 166.52 6.86/23.07 c mistral : 1800.05 6.86/23.07 c abscon : 1800.12 6.86/23.07 c 6.86/23.07 c 6.86/23.07 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-2.xml 6.86/23.07 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.593600 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.074840 | c 14 > 7.294620 | c 11 > 11.720700 | c 12 > 2.078510 | c 21 > 33.500800 | c 20 > 100.000000 | c 22 > 34.219900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.942200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.86/23.07 c choco : 19.83 6.86/23.07 c mistral : 7.62184 6.86/23.07 c abscon : 1800.11 6.86/23.07 c 6.86/23.07 c 6.86/23.08 c Length: 40 6.86/23.08 c 3.47397973492938 3.8439885059921814 4.039220735265653 4.465374609738807 5.541705126601378 5.557196746148188 5.700250400622766 5.712566523560142 5.719395575172257 5.732098915571853 5.764252210157013 5.776688673158699 5.8050206358375664 5.884133772187712 5.8871809334944 6.002649515847147 6.330142637460866 6.594839399227248 7.200187438372696 7.3464020770510485 7.526363872255978 7.6664285471006615 7.677796080139141 7.783542126731247 7.819409524650821 8.039585581614263 8.144421185167179 8.237919082444304 8.237919082444304 8.373487207376627 8.748038168692451 8.796610564421956 8.864111242538645 8.991728619675975 9.052222540956446 9.15033709638612 9.168088230236444 9.17262583426905 9.176797959342899 9.268996960750393 6.86/23.08 c 6.86/23.08 c 1.0 0.9399826097651774 0.9111292371728469 0.8539147254677727 0.7370223734563398 0.7355731057824502 0.7224547110385449 0.7213471332911439 0.7207344651968981 0.7195975497409809 0.7167358796147294 0.7156351188495182 0.7131400164071373 0.7062640181438677 0.7060018296545848 0.6962079690321633 0.6698527992532501 0.6499660434122194 0.6086419834499985 0.5994366124653464 0.5884818757878577 0.5802289793804337 0.5795693252271633 0.5735040392689094 0.5714755194656489 0.5593309577296868 0.5537279736317643 0.548824799644968 0.548824799644968 0.541867674283775 0.5235321723366698 0.5212448889359591 0.5180992549970131 0.5122546660279405 0.5095300036747125 0.5051719985020744 0.504391488654719 0.504192359031014 0.5040094068925649 0.5 6.86/23.08 c 6.86/23.08 c solver 0 6.86/23.08 c before 0.0 seconds: {} 0 6.86/23.08 c before 54.0 seconds: {20, 23, 24, 30} 2256 6.86/23.08 c before 72.0 seconds: {20, 22, 23, 24, 25, 27, 30} 3944 6.86/23.08 c before 90.0 seconds: {20, 21, 22, 23, 24, 25, 27, 30} 4524 6.86/23.08 c before 108.0 seconds: {19, 20, 21, 22, 23, 24, 25, 27, 30} 5124 6.86/23.08 c before 126.0 seconds: {19, 20, 21, 22, 23, 24, 25, 27, 30, 36} 5628 6.86/23.08 c before 144.0 seconds: {18, 19, 20, 21, 22, 23, 24, 25, 27, 30, 36} 6237 6.86/23.08 c before 162.0 seconds: {18, 19, 20, 21, 22, 23, 24, 25, 27, 30, 31, 36} 6758 6.86/23.08 c before 648.0 seconds: {18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 31, 36} 7307 6.86/23.08 c 6.86/23.08 c solver 1 6.86/23.08 c before 0.0 seconds: {} 0 6.86/23.08 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 39} 22363 6.86/23.08 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 35, 36, 37, 39} 22868 6.86/23.08 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 35, 36, 37, 39} 23410 6.86/23.08 c before 1152.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 39} 23919 6.86/23.08 c 6.86/23.08 c solver 2 6.86/23.08 c before 0.0 seconds: {} 0 6.86/23.08 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 27, 28, 30, 36, 37} 19633 6.86/23.08 c before 36.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, 25, 26, 27, 28, 29, 30, 31, 32, 33, 36, 37, 39} 23501 6.86/23.08 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 25087 6.86/23.08 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25591 6.86/23.08 c 6.86/23.08 cTotal time: 110 6.86/23.09 c run abscon for 648.0 seconds {18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 31, 36} 7307 6.86/23.09 c run mistral for 90.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 35, 36, 37, 39} 23410 6.86/23.09 c run choco for 180.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25591 6.86/23.09 c Starting solver: HOME/cpHydra_k_40/solver/abscon 6.86/23.09 c On Instance: HOME/instance-1056272-1215062614.xml 6.86/23.09 c Running for: 648 seconds 655.31/684.18 c Starting solver: HOME/cpHydra_k_40/solver/mistral 655.31/684.18 c On Instance: HOME/instance-1056272-1215062614.xml 655.31/684.18 c Running for: 90 seconds 655.70/684.53 c mistral-prime version 1.313 655.70/684.53 s SATISFIABLE 655.70/684.53 v 1071 435 0 141 1055 439 1062 1060 1061 974 502 916 143 0 438 333 274 292 762 32 273 748 1057 32 0 749 292 165 1049 143 1056 745 755 759 86 24 1069 1068 212 1057 0 483 996 1058 212 1049 745 1043 0 1048 274 754 628 1057 1060 1061 996 0 916 165 1070 439 759 720 261 502 0 1057 1060 1056 943 0 273 1062 255 6 1037 1067 981 628 24 6 1043 1061 12 86 1028 333 1062 11 1057 11 754 435 762 1057 1056 1055 685 0 1061 655.70/684.53 d CHECKS 1886437 655.70/684.53 d ASSIGNMENTS 652
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056272-1215062614/watcher-1056272-1215062614 -o /tmp/evaluation-result-1056272-1215062614/solver-1056272-1215062614 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1056272-1215062614.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: 4.57 4.51 3.43 5/86 4347 /proc/meminfo: memFree=15552/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=0 /proc/4347/stat : 4347 (hydra) R 4345 4347 27912 0 -1 4194304 265 0 0 0 0 0 0 0 21 0 1 0 661990371 5488640 233 996147200 4194304 4889804 548682068816 18446744073709551615 249070058085 0 2147483391 4100 65536 0 0 0 17 0 0 0 /proc/4347/statm: 1340 233 194 169 0 51 0 [startup+0.107849 s] /proc/loadavg: 4.57 4.51 3.43 5/86 4347 /proc/meminfo: memFree=15552/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=0 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 661990371 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201857 s] /proc/loadavg: 4.57 4.51 3.43 5/86 4347 /proc/meminfo: memFree=15552/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=0 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 661990371 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30188 s] /proc/loadavg: 4.57 4.51 3.43 5/86 4347 /proc/meminfo: memFree=15552/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=0 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 661990371 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.70192 s] /proc/loadavg: 4.57 4.51 3.43 5/86 4347 /proc/meminfo: memFree=15552/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=0 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 661990371 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50299 s] /proc/loadavg: 4.57 4.51 3.43 2/88 4351 /proc/meminfo: memFree=15536/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=0 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 661990371 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 236 195 169 0 51 0 [pid=4351] ppid=4347 vsize=5360 CPUtime=0 /proc/4351/stat : 4351 (hydra) D 4347 4347 27912 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 661990372 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 249069890855 0 0 4096 0 18446744071563608240 0 0 17 0 0 0 /proc/4351/statm: 1340 239 198 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10720 [startup+3.10116 s] /proc/loadavg: 4.57 4.51 3.43 2/87 4351 /proc/meminfo: memFree=16312/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=0 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 661990371 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 236 195 169 0 51 0 [pid=4351] ppid=4347 vsize=1968 CPUtime=0 /proc/4351/stat : 4351 (xsolve) D 4347 4347 27912 0 -1 4194304 50 0 1 0 0 0 0 0 18 0 1 0 661990372 2015232 29 996147200 134512640 135239763 4294956176 18446744073709551615 11920292 0 0 4096 0 18446744071563608240 0 0 17 0 0 0 /proc/4351/statm: 492 29 21 177 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7328 [startup+6.30147 s] /proc/loadavg: 4.52 4.50 3.43 2/87 4351 /proc/meminfo: memFree=19192/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=0 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 661990371 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 236 195 169 0 51 0 [pid=4351] ppid=4347 vsize=2152 CPUtime=0 /proc/4351/stat : 4351 (xsolve) D 4347 4347 27912 0 -1 4194304 64 0 2 0 0 0 0 0 18 0 1 0 661990372 2203648 43 996147200 134512640 135239763 4294956176 18446744073709551615 11920292 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/4351/statm: 538 43 32 177 0 6 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7512 [startup+12.7011 s] /proc/loadavg: 4.80 4.56 3.45 1/78 4356 /proc/meminfo: memFree=536640/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=1.52 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 375 2087 0 10 0 0 150 2 17 0 1 0 661990371 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 238 196 169 0 51 0 [pid=4355] ppid=4347 vsize=11004 CPUtime=0.01 /proc/4355/stat : 4355 (java) S 4347 4347 27912 0 -1 0 794 0 0 0 0 1 0 0 18 0 2 0 661991500 11268096 549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 /proc/4355/statm: 2751 549 259 9 0 1244 0 [pid=4355/tid=4356] ppid=4347 vsize=11004 CPUtime=0 /proc/4355/task/4356/stat : 4356 (java) D 4347 4347 27912 0 -1 64 87 0 0 0 0 0 0 0 18 0 2 0 661991501 11268096 549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744071563608240 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 16364 [startup+25.5024 s] /proc/loadavg: 5.29 4.67 3.51 1/97 4375 /proc/meminfo: memFree=1646624/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=1.52 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 375 2087 0 10 0 0 150 2 17 0 1 0 661990371 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 238 196 169 0 51 0 [pid=4355] ppid=4347 vsize=198156 CPUtime=5.47 /proc/4355/stat : 4355 (java) S 4347 4347 27912 0 -1 0 14050 0 1 0 530 17 0 0 18 0 10 0 661991500 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4355/statm: 49539 9503 2544 9 0 44121 0 [pid=4365] ppid=4355 vsize=5356 CPUtime=0 /proc/4365/stat : 4365 (abscon) S 4355 4347 27912 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 661992680 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/4365/statm: 1339 237 196 169 0 50 0 [pid=4366] ppid=4365 vsize=655412 CPUtime=0.26 /proc/4366/stat : 4366 (java) S 4365 4347 27912 0 -1 0 5511 0 1 0 23 3 0 0 20 0 9 0 661992726 671141888 5047 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4366/statm: 163853 5047 1947 9 0 158381 0 [pid=4366/tid=4368] ppid=4365 vsize=655412 CPUtime=0.22 /proc/4366/task/4368/stat : 4368 (java) D 4365 4347 27912 0 -1 64 4675 0 1 0 20 2 0 0 17 0 9 0 661992727 671141888 5047 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744071563608240 0 0 -1 0 0 0 [pid=4366/tid=4369] ppid=4365 vsize=655412 CPUtime=0 /proc/4366/task/4369/stat : 4369 (java) S 4365 4347 27912 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 661992728 671141888 5047 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4370] ppid=4365 vsize=655412 CPUtime=0 /proc/4366/task/4370/stat : 4370 (java) S 4365 4347 27912 0 -1 64 10 0 0 0 0 0 0 0 24 0 9 0 661992728 671141888 5047 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4371] ppid=4365 vsize=655412 CPUtime=0 /proc/4366/task/4371/stat : 4371 (java) S 4365 4347 27912 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 661992728 671141888 5047 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4372] ppid=4365 vsize=655412 CPUtime=0 /proc/4366/task/4372/stat : 4372 (java) S 4365 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 661992730 671141888 5047 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4373] ppid=4365 vsize=655412 CPUtime=0.03 /proc/4366/task/4373/stat : 4373 (java) S 4365 4347 27912 0 -1 64 288 0 0 0 3 0 0 0 16 0 9 0 661992730 671141888 5047 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4374] ppid=4365 vsize=655412 CPUtime=0 /proc/4366/task/4374/stat : 4374 (java) S 4365 4347 27912 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 661992730 671141888 5047 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4375] ppid=4365 vsize=655412 CPUtime=0 /proc/4366/task/4375/stat : 4375 (java) S 4365 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661992730 671141888 5047 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4367] ppid=4365 vsize=7044 CPUtime=0 /proc/4367/stat : 4367 (translate) S 4365 4347 27912 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 661992726 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 249070059602 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/4367/statm: 1761 213 182 1 0 41 0 [pid=4355/tid=4356] ppid=4347 vsize=198156 CPUtime=4.23 /proc/4355/task/4356/stat : 4356 (java) S 4347 4347 27912 0 -1 64 3886 0 1 0 418 5 0 0 15 0 10 0 661991501 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=4355/tid=4357] ppid=4347 vsize=198156 CPUtime=0.99 /proc/4355/task/4357/stat : 4357 (java) S 4347 4347 27912 0 -1 64 8675 0 0 0 89 10 0 0 16 0 10 0 661991959 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4358] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4358/stat : 4358 (java) S 4347 4347 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661991960 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4359] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4359/stat : 4359 (java) S 4347 4347 27912 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 661991960 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4360] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4360/stat : 4360 (java) S 4347 4347 27912 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4361] ppid=4347 vsize=198156 CPUtime=0.21 /proc/4355/task/4361/stat : 4361 (java) S 4347 4347 27912 0 -1 64 688 0 0 0 21 0 0 0 16 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4362] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4362/stat : 4362 (java) S 4347 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4363] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4363/stat : 4363 (java) S 4347 4347 27912 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4364] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4364/stat : 4364 (java) S 4347 4347 27912 0 -1 64 70 0 0 0 0 0 0 0 16 0 10 0 661992680 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.25 Current children cumulated vsize (KiB) 871328 [startup+51.1029 s] /proc/loadavg: 4.81 4.62 3.52 2/95 4376 /proc/meminfo: memFree=1668016/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=1.52 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 375 2087 0 10 0 0 150 2 17 0 1 0 661990371 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 238 196 169 0 51 0 [pid=4355] ppid=4347 vsize=198156 CPUtime=5.47 /proc/4355/stat : 4355 (java) S 4347 4347 27912 0 -1 0 14074 0 1 0 530 17 0 0 18 0 10 0 661991500 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4355/statm: 49539 9503 2544 9 0 44121 0 [pid=4365] ppid=4355 vsize=5356 CPUtime=0 /proc/4365/stat : 4365 (abscon) S 4355 4347 27912 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 661992680 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/4365/statm: 1339 237 196 169 0 50 0 [pid=4366] ppid=4365 vsize=656700 CPUtime=23.99 /proc/4366/stat : 4366 (java) S 4365 4347 27912 0 -1 0 19204 0 1 0 2384 15 0 0 20 0 9 0 661992726 672460800 18412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4366/statm: 164175 18412 2615 9 0 158703 0 [pid=4366/tid=4368] ppid=4365 vsize=656700 CPUtime=23.58 /proc/4366/task/4368/stat : 4368 (java) R 4365 4347 27912 0 -1 64 12571 0 1 0 2347 11 0 0 25 0 9 0 661992727 672460800 18412 996147200 134512640 134550740 4294955808 18446744073709551615 4127083481 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4369] ppid=4365 vsize=656700 CPUtime=0.09 /proc/4366/task/4369/stat : 4369 (java) S 4365 4347 27912 0 -1 64 5251 0 0 0 7 2 0 0 17 0 9 0 661992728 672460800 18412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4370] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4370/stat : 4370 (java) S 4365 4347 27912 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 661992728 672460800 18412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4371] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4371/stat : 4371 (java) S 4365 4347 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661992728 672460800 18412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4372] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4372/stat : 4372 (java) S 4365 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 661992730 672460800 18412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4373] ppid=4365 vsize=656700 CPUtime=0.3 /proc/4366/task/4373/stat : 4373 (java) S 4365 4347 27912 0 -1 64 837 0 0 0 29 1 0 0 16 0 9 0 661992730 672460800 18412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4374] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4374/stat : 4374 (java) S 4365 4347 27912 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 661992730 672460800 18412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4375] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4375/stat : 4375 (java) S 4365 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661992730 672460800 18412 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4367] ppid=4365 vsize=7044 CPUtime=0 /proc/4367/stat : 4367 (translate) S 4365 4347 27912 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 661992726 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 249070059602 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/4367/statm: 1761 213 182 1 0 41 0 [pid=4355/tid=4356] ppid=4347 vsize=198156 CPUtime=4.23 /proc/4355/task/4356/stat : 4356 (java) S 4347 4347 27912 0 -1 64 3886 0 1 0 418 5 0 0 15 0 10 0 661991501 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=4355/tid=4357] ppid=4347 vsize=198156 CPUtime=0.99 /proc/4355/task/4357/stat : 4357 (java) S 4347 4347 27912 0 -1 64 8675 0 0 0 89 10 0 0 16 0 10 0 661991959 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4358] ppid=4347 vsize=198156 CPUtime=0 ################ # More data... # ################ /proc/4365/statm: 1339 237 196 169 0 50 0 [pid=4366] ppid=4365 vsize=656700 CPUtime=647.44 /proc/4366/stat : 4366 (java) S 4365 4347 27912 0 -1 0 19408 0 1 0 64721 23 0 0 20 0 9 0 661992726 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4366/statm: 164175 18532 2615 9 0 158703 0 [pid=4366/tid=4368] ppid=4365 vsize=656700 CPUtime=646.93 /proc/4366/task/4368/stat : 4368 (java) R 4365 4347 27912 0 -1 64 12655 0 1 0 64675 18 0 0 25 0 9 0 661992727 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4127078896 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4369] ppid=4365 vsize=656700 CPUtime=0.17 /proc/4366/task/4369/stat : 4369 (java) S 4365 4347 27912 0 -1 64 5367 0 0 0 15 2 0 0 16 0 9 0 661992728 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4370] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4370/stat : 4370 (java) S 4365 4347 27912 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 661992728 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4371] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4371/stat : 4371 (java) S 4365 4347 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661992728 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4372] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4372/stat : 4372 (java) S 4365 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 661992730 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4373] ppid=4365 vsize=656700 CPUtime=0.31 /proc/4366/task/4373/stat : 4373 (java) S 4365 4347 27912 0 -1 64 841 0 0 0 30 1 0 0 16 0 9 0 661992730 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4374] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4374/stat : 4374 (java) S 4365 4347 27912 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 661992730 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4375] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4375/stat : 4375 (java) S 4365 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661992730 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4367] ppid=4365 vsize=7044 CPUtime=0 /proc/4367/stat : 4367 (translate) S 4365 4347 27912 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 661992726 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 249070059602 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/4367/statm: 1761 213 182 1 0 41 0 [pid=4355/tid=4356] ppid=4347 vsize=198156 CPUtime=4.23 /proc/4355/task/4356/stat : 4356 (java) S 4347 4347 27912 0 -1 64 3886 0 1 0 418 5 0 0 15 0 10 0 661991501 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=4355/tid=4357] ppid=4347 vsize=198156 CPUtime=0.99 /proc/4355/task/4357/stat : 4357 (java) S 4347 4347 27912 0 -1 64 8675 0 0 0 89 10 0 0 16 0 10 0 661991959 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4358] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4358/stat : 4358 (java) S 4347 4347 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661991960 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4359] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4359/stat : 4359 (java) S 4347 4347 27912 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 661991960 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4360] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4360/stat : 4360 (java) S 4347 4347 27912 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4361] ppid=4347 vsize=198156 CPUtime=0.21 /proc/4355/task/4361/stat : 4361 (java) S 4347 4347 27912 0 -1 64 688 0 0 0 21 0 0 0 16 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4362] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4362/stat : 4362 (java) S 4347 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4363] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4363/stat : 4363 (java) S 4347 4347 27912 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4355/tid=4364] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4364/stat : 4364 (java) S 4347 4347 27912 0 -1 64 70 0 0 0 0 0 0 0 16 0 10 0 661992680 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 654.43 Current children cumulated vsize (KiB) 872616 [startup+684.003 s] /proc/loadavg: 2.00 2.37 2.82 3/104 4617 /proc/meminfo: memFree=1741776/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=1.52 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 375 2087 0 10 0 0 150 2 17 0 1 0 661990371 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 238 196 169 0 51 0 [pid=4355] ppid=4347 vsize=198156 CPUtime=5.47 /proc/4355/stat : 4355 (java) S 4347 4347 27912 0 -1 0 14074 0 1 0 530 17 0 0 18 0 10 0 661991500 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4355/statm: 49539 9503 2544 9 0 44121 0 [pid=4365] ppid=4355 vsize=5356 CPUtime=0 /proc/4365/stat : 4365 (abscon) S 4355 4347 27912 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 661992680 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/4365/statm: 1339 237 196 169 0 50 0 [pid=4366] ppid=4365 vsize=656700 CPUtime=648.22 /proc/4366/stat : 4366 (java) S 4365 4347 27912 0 -1 0 19408 0 1 0 64799 23 0 0 20 0 9 0 661992726 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4366/statm: 164175 18532 2615 9 0 158703 0 [pid=4366/tid=4368] ppid=4365 vsize=656700 CPUtime=647.71 /proc/4366/task/4368/stat : 4368 (java) R 4365 4347 27912 0 -1 64 12655 0 1 0 64753 18 0 0 25 0 9 0 661992727 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4127138521 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4369] ppid=4365 vsize=656700 CPUtime=0.17 /proc/4366/task/4369/stat : 4369 (java) S 4365 4347 27912 0 -1 64 5367 0 0 0 15 2 0 0 16 0 9 0 661992728 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4370] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4370/stat : 4370 (java) S 4365 4347 27912 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 661992728 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4371] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4371/stat : 4371 (java) S 4365 4347 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661992728 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4366/tid=4372] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4372/stat : 4372 (java) S 4365 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 661992730 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4373] ppid=4365 vsize=656700 CPUtime=0.31 /proc/4366/task/4373/stat : 4373 (java) S 4365 4347 27912 0 -1 64 841 0 0 0 30 1 0 0 16 0 9 0 661992730 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4374] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4374/stat : 4374 (java) S 4365 4347 27912 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 661992730 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4366/tid=4375] ppid=4365 vsize=656700 CPUtime=0 /proc/4366/task/4375/stat : 4375 (java) S 4365 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661992730 672460800 18532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4367] ppid=4365 vsize=7044 CPUtime=0 /proc/4367/stat : 4367 (translate) S 4365 4347 27912 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 661992726 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 249070059602 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/4367/statm: 1761 213 182 1 0 41 0 [pid=4355/tid=4356] ppid=4347 vsize=198156 CPUtime=4.23 /proc/4355/task/4356/stat : 4356 (java) S 4347 4347 27912 0 -1 64 3886 0 1 0 418 5 0 0 15 0 10 0 661991501 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=4355/tid=4357] ppid=4347 vsize=198156 CPUtime=0.99 /proc/4355/task/4357/stat : 4357 (java) S 4347 4347 27912 0 -1 64 8675 0 0 0 89 10 0 0 16 0 10 0 661991959 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4358] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4358/stat : 4358 (java) S 4347 4347 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661991960 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4359] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4359/stat : 4359 (java) S 4347 4347 27912 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 661991960 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4360] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4360/stat : 4360 (java) S 4347 4347 27912 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4361] ppid=4347 vsize=198156 CPUtime=0.21 /proc/4355/task/4361/stat : 4361 (java) S 4347 4347 27912 0 -1 64 688 0 0 0 21 0 0 0 16 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4362] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4362/stat : 4362 (java) S 4347 4347 27912 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4363] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4363/stat : 4363 (java) S 4347 4347 27912 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 661992151 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4355/tid=4364] ppid=4347 vsize=198156 CPUtime=0 /proc/4355/task/4364/stat : 4364 (java) S 4347 4347 27912 0 -1 64 70 0 0 0 0 0 0 0 16 0 10 0 661992680 202911744 9503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 655.21 Current children cumulated vsize (KiB) 872616 [startup+684.403 s] /proc/loadavg: 2.00 2.36 2.82 2/95 4620 /proc/meminfo: memFree=1805776/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=1.52 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 375 2087 0 10 0 0 150 2 17 0 1 0 661990371 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 238 196 169 0 51 0 [pid=4355] ppid=4347 vsize=198480 CPUtime=653.89 /proc/4355/stat : 4355 (java) S 4347 4347 27912 0 -1 0 14249 19982 1 1 530 17 64817 25 18 0 10 0 661991500 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4355/statm: 49620 9527 2545 9 0 44202 0 [pid=4619] ppid=4355 vsize=5356 CPUtime=0 /proc/4619/stat : 4619 (mistral) S 4355 4347 27912 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 662058790 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/4619/statm: 1339 238 198 169 0 50 0 [pid=4620] ppid=4619 vsize=8612 CPUtime=0.19 /proc/4620/stat : 4620 (xsolve) R 4619 4347 27912 0 -1 4194304 1476 0 0 0 19 0 0 0 18 0 1 0 662058791 8818688 1440 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 1 0 0 /proc/4620/statm: 2153 1440 408 177 0 1056 0 [pid=4355/tid=4356] ppid=4347 vsize=198480 CPUtime=652.65 /proc/4355/task/4356/stat : 4356 (java) S 4347 4347 27912 0 -1 64 3967 19982 1 1 418 5 64817 25 16 0 10 0 661991501 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=4355/tid=4357] ppid=4347 vsize=198480 CPUtime=649.42 /proc/4355/task/4357/stat : 4357 (java) S 4347 4347 27912 0 -1 64 8681 19982 0 1 90 10 64817 25 16 0 10 0 661991959 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4358] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4358/stat : 4358 (java) S 4347 4347 27912 0 -1 64 11 19982 0 1 0 0 64817 25 16 0 10 0 661991960 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4359] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4359/stat : 4359 (java) S 4347 4347 27912 0 -1 64 5 19982 0 1 0 0 64817 25 15 0 10 0 661991960 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4360] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4360/stat : 4360 (java) S 4347 4347 27912 0 -1 64 0 19982 0 1 0 0 64817 25 19 0 10 0 661992151 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4361] ppid=4347 vsize=198480 CPUtime=648.63 /proc/4355/task/4361/stat : 4361 (java) S 4347 4347 27912 0 -1 64 716 19982 0 1 21 0 64817 25 16 0 10 0 661992151 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4362] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4362/stat : 4362 (java) S 4347 4347 27912 0 -1 64 1 19982 0 1 0 0 64817 25 20 0 10 0 661992151 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4363] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4363/stat : 4363 (java) S 4347 4347 27912 0 -1 64 37 19982 0 1 0 0 64817 25 15 0 10 0 661992151 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4355/tid=4618] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4618/stat : 4618 (java) S 4347 4347 27912 0 -1 64 51 19982 0 1 0 0 64817 25 18 0 10 0 662058790 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 655.6 Current children cumulated vsize (KiB) 217808 [startup+684.503 s] /proc/loadavg: 2.00 2.36 2.82 2/95 4620 /proc/meminfo: memFree=1805776/2055920 swapFree=4179808/4192956 [pid=4347] ppid=4345 vsize=5360 CPUtime=1.52 /proc/4347/stat : 4347 (hydra) S 4345 4347 27912 0 -1 4194304 375 2087 0 10 0 0 150 2 17 0 1 0 661990371 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/4347/statm: 1340 238 196 169 0 51 0 [pid=4355] ppid=4347 vsize=198480 CPUtime=653.89 /proc/4355/stat : 4355 (java) S 4347 4347 27912 0 -1 0 14249 19982 1 1 530 17 64817 25 18 0 10 0 661991500 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4355/statm: 49620 9527 2545 9 0 44202 0 [pid=4619] ppid=4355 vsize=5356 CPUtime=0 /proc/4619/stat : 4619 (mistral) S 4355 4347 27912 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 662058790 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/4619/statm: 1339 238 198 169 0 50 0 [pid=4620] ppid=4619 vsize=8612 CPUtime=0.29 /proc/4620/stat : 4620 (xsolve) R 4619 4347 27912 0 -1 4194304 1476 0 0 0 29 0 0 0 19 0 1 0 662058791 8818688 1440 996147200 134512640 135239763 4294955968 18446744073709551615 134801961 0 4 0 0 0 0 0 17 1 0 0 /proc/4620/statm: 2153 1440 408 177 0 1056 0 [pid=4355/tid=4356] ppid=4347 vsize=198480 CPUtime=652.65 /proc/4355/task/4356/stat : 4356 (java) S 4347 4347 27912 0 -1 64 3967 19982 1 1 418 5 64817 25 16 0 10 0 661991501 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=4355/tid=4357] ppid=4347 vsize=198480 CPUtime=649.42 /proc/4355/task/4357/stat : 4357 (java) S 4347 4347 27912 0 -1 64 8681 19982 0 1 90 10 64817 25 16 0 10 0 661991959 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4358] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4358/stat : 4358 (java) S 4347 4347 27912 0 -1 64 11 19982 0 1 0 0 64817 25 16 0 10 0 661991960 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4359] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4359/stat : 4359 (java) S 4347 4347 27912 0 -1 64 5 19982 0 1 0 0 64817 25 15 0 10 0 661991960 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4360] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4360/stat : 4360 (java) S 4347 4347 27912 0 -1 64 0 19982 0 1 0 0 64817 25 19 0 10 0 661992151 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4361] ppid=4347 vsize=198480 CPUtime=648.63 /proc/4355/task/4361/stat : 4361 (java) S 4347 4347 27912 0 -1 64 716 19982 0 1 21 0 64817 25 16 0 10 0 661992151 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4362] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4362/stat : 4362 (java) S 4347 4347 27912 0 -1 64 1 19982 0 1 0 0 64817 25 20 0 10 0 661992151 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4355/tid=4363] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4363/stat : 4363 (java) S 4347 4347 27912 0 -1 64 37 19982 0 1 0 0 64817 25 15 0 10 0 661992151 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=4355/tid=4618] ppid=4347 vsize=198480 CPUtime=648.42 /proc/4355/task/4618/stat : 4618 (java) S 4347 4347 27912 0 -1 64 51 19982 0 1 0 0 64817 25 18 0 10 0 662058790 203243520 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 655.7 Current children cumulated vsize (KiB) 217808 Child status: 0 Real time (s): 684.542 CPU time (s): 655.782 CPU user time (s): 655.304 CPU system time (s): 0.477927 CPU usage (%): 95.7987 Max. virtual memory (cumulated for all children) (KiB): 872956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 655.304 system time used= 0.477927 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38638 page faults= 12 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32022 involuntary context switches= 13742 runsolver used 2.71559 second user time and 6.49301 second system time The end
Begin job on node89 at 2008-07-03 07:23:41 IDJOB=1056272 IDBENCH=57641 IDSOLVER=366 FILE ID=node89/1056272-1215062614 PBS_JOBID= 7874999 Free space on /tmp= 64692 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-05-1071.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056272-1215062614/watcher-1056272-1215062614 -o /tmp/evaluation-result-1056272-1215062614/solver-1056272-1215062614 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1056272-1215062614.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= edcaa13bc864d407223412ca462d8cd5 RANDOM SEED=1220878517 node89.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.213 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.213 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: 16224 kB Buffers: 2876 kB Cached: 1384396 kB SwapCached: 7136 kB Active: 1452240 kB Inactive: 468044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 16224 kB SwapTotal: 4192956 kB SwapFree: 4179808 kB Dirty: 137236 kB Writeback: 436 kB Mapped: 550096 kB Slab: 103360 kB Committed_AS: 2535336 kB PageTables: 2968 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= 66512 MiB End job on node89 at 2008-07-03 07:35:12