Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 38.5191 | 39.4004 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 16325 |
CHECKS | 27699300 |
Name | csp/golombRulerArity4/ normalized-ruler-34-9-a4.xml |
MD5SUM | 947bd0bb99890d45969905fa1e7cd20f |
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 | 1.60676 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 9 |
Number of constraints | 582 |
Maximum constraint arity | 4 |
Maximum domain size | 35 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 582 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.19/7.37 c CASE TO CLASSIFY: 7.19/7.37 c Case: 0 7.19/7.38 c 19 > 0.000000 | c 35 > 35.876300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.298500 | c 34 > 28.762900 | c 16 > 4.000000 | c 13 > 6.581860 | c 14 > 9.030670 | c 11 > 10.104600 | c 12 > 3.752120 | c 21 > 5.916080 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 3.169930 | c 10 > 10.709100 | 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 > 16.207300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.092800 | c 7.19/7.39 c choco : 1801.0 7.19/7.39 c mistral : 1801.0 7.19/7.39 c abscon : 1801.0 7.19/7.39 c 7.19/7.39 c 7.48/7.64 c List of same ones: 40 7.48/7.64 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-8-a4.xml 7.48/7.64 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.304700 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.487570 | c 14 > 8.778080 | c 11 > 9.348730 | c 12 > 4.055880 | c 21 > 5.916080 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 3.000000 | c 10 > 9.957100 | 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 > 15.448500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c 7.48/7.65 c choco : 4.6 7.48/7.65 c mistral : 1.09783 7.48/7.65 c abscon : 1.09283 7.48/7.65 c 7.48/7.65 c 7.48/7.65 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-9-a4.xml 7.48/7.65 c 19 > 0.000000 | c 35 > 35.876300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.185700 | c 34 > 28.762900 | c 16 > 4.000000 | c 13 > 5.914790 | c 14 > 8.118940 | c 11 > 10.104600 | c 12 > 3.174290 | c 21 > 6.708200 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 3.169930 | c 10 > 10.709100 | 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 > 16.574500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.092800 | c 7.48/7.66 c choco : 102.53 7.48/7.66 c mistral : 181.37 7.48/7.66 c abscon : 3.36049 7.48/7.66 c 7.48/7.66 c 7.48/7.66 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-9-a4.xml 7.48/7.66 c 19 > 0.000000 | c 35 > 35.876300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.208400 | c 34 > 28.762900 | c 16 > 4.000000 | c 13 > 5.550970 | c 14 > 7.679480 | c 11 > 10.104600 | c 12 > 3.006210 | c 21 > 5.916080 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 3.169930 | c 10 > 10.709100 | 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 > 16.207300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.092800 | c 7.48/7.67 c choco : 85.51 7.48/7.67 c mistral : 12.2391 7.48/7.67 c abscon : 9.69353 7.48/7.67 c 7.48/7.67 c 7.48/7.67 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-8-a4.xml 7.48/7.67 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.605800 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.576820 | c 14 > 8.879580 | c 11 > 9.348730 | c 12 > 4.144250 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 3.000000 | c 10 > 9.957100 | 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 > 15.012400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c 7.48/7.68 c choco : 9.13 7.48/7.68 c mistral : 1.35979 7.48/7.68 c abscon : 2.70059 7.48/7.68 c 7.48/7.68 c 7.48/7.68 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-10-a4.xml 7.48/7.68 c 19 > 0.000000 | c 35 > 36.393400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.935800 | c 34 > 29.016400 | c 16 > 4.000000 | c 13 > 5.189370 | c 14 > 6.672430 | c 11 > 10.773100 | c 12 > 2.415450 | c 21 > 6.708200 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 3.321930 | c 10 > 11.374500 | 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 > 17.244800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.764900 | c 7.48/7.69 c choco : 131.18 7.48/7.69 c mistral : 110.014 7.48/7.69 c abscon : 92.8659 7.48/7.69 c 7.48/7.69 c 7.48/7.69 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-10-a4.xml 7.48/7.69 c 19 > 0.000000 | c 35 > 36.393400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.527500 | c 34 > 29.016400 | c 16 > 4.000000 | c 13 > 5.031180 | c 14 > 6.266790 | c 11 > 10.773100 | c 12 > 2.311670 | c 21 > 7.483310 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 3.321930 | c 10 > 11.374500 | 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 > 17.563500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.764900 | c 7.57/7.70 c choco : 1108.26 7.57/7.70 c mistral : 1800.02 7.57/7.70 c abscon : 11.1163 7.57/7.70 c 7.57/7.70 c 7.57/7.70 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-7-a4.xml 7.57/7.70 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.726300 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 5.987050 | c 14 > 8.027910 | c 11 > 8.479780 | c 12 > 3.319910 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 2.807350 | c 10 > 9.092760 | 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 > 14.138300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c 7.57/7.71 c choco : 2.14 7.57/7.71 c mistral : 1.10983 7.57/7.71 c abscon : 0.921859 7.57/7.71 c 7.57/7.71 c 7.57/7.71 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-11-a4.xml 7.57/7.71 c 19 > 0.000000 | c 35 > 36.800000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.807400 | c 34 > 29.200000 | c 16 > 4.000000 | c 13 > 5.183860 | c 14 > 6.044390 | c 11 > 11.372300 | c 12 > 2.212880 | c 21 > 7.483310 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 3.459430 | c 10 > 11.971200 | 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 > 18.163800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.366300 | c 7.57/7.72 c choco : 1801.0 7.57/7.72 c mistral : 1480.11 7.57/7.72 c abscon : 659.985 7.57/7.72 c 7.57/7.72 c 7.57/7.72 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-7-a4.xml 7.57/7.72 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.918100 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 6.133140 | c 14 > 7.994350 | c 11 > 8.479780 | c 12 > 3.996460 | c 21 > 4.242640 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 2.807350 | c 10 > 9.092760 | 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 > 13.595300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c 7.57/7.72 c choco : 2.24 7.57/7.72 c mistral : 0.108983 7.57/7.72 c abscon : 0.937856 7.57/7.72 c 7.57/7.72 c 7.57/7.72 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-6-a4.xml 7.57/7.72 c 19 > 0.000000 | c 35 > 33.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.037900 | c 34 > 27.000000 | c 16 > 4.000000 | c 13 > 4.840150 | c 14 > 6.285400 | c 11 > 7.459430 | c 12 > 2.641230 | c 21 > 4.242640 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 2.584960 | c 10 > 8.076820 | 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 > 12.564600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.409390 | c 7.57/7.73 c choco : 1.71 7.57/7.73 c mistral : 0.030994 7.57/7.73 c abscon : 0.751885 7.57/7.73 c 7.57/7.73 c 7.57/7.73 c /home/eomahony/cpZilla/CSP/zhou/queens1.xml 7.57/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.671100 | c 34 > 16.666700 | c 16 > 2.000000 | c 13 > 4.844620 | c 14 > 5.672430 | c 11 > 13.169900 | c 12 > 2.306820 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | 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 > 6.569860 | c 2 > -1.000000 | c 10 > 14.476700 | 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 > 19.754900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > 13.154800 | c 7.57/7.74 c choco : 22.46 7.57/7.74 c mistral : 1.11783 7.57/7.75 c abscon : 3.40848 7.57/7.75 c 7.57/7.75 c 7.57/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein9.xml 7.57/7.75 c 19 > 0.000000 | c 35 > 34.615400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 7.539160 | c 34 > 34.615400 | c 16 > 9.000000 | c 13 > 0.738286 | c 14 > 2.000000 | c 11 > 5.357550 | c 12 > 0.642448 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.000000 | c 1 > 3.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.108520 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.57/7.76 c choco : 1.08 7.57/7.76 c mistral : 0.01 7.57/7.76 c abscon : 0.664898 7.57/7.76 c 7.57/7.76 c 7.57/7.76 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-9.xml 7.57/7.76 c 19 > 0.000000 | c 35 > 21.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.200800 | c 34 > 13.333300 | c 16 > 3.000000 | c 13 > 6.695150 | c 14 > 8.794420 | c 11 > 5.044390 | c 12 > 6.626260 | c 21 > 2.920520 | c 20 > 100.000000 | c 22 > 3.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 > 4.087460 | c 2 > -1.000000 | c 10 > 6.491850 | 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.430450 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.000000 | c 7.57/7.77 c choco : 1.29 7.57/7.77 c mistral : 0.015996 7.57/7.77 c abscon : 0.676896 7.57/7.77 c 7.57/7.77 c 7.57/7.77 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-10.xml 7.57/7.77 c 19 > 0.000000 | c 35 > 21.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.183700 | c 34 > 13.000000 | c 16 > 3.000000 | c 13 > 8.575760 | c 14 > 10.623000 | c 11 > 5.209450 | c 12 > 8.485450 | c 21 > 3.086470 | c 20 > 100.000000 | c 22 > 3.162280 | 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 > 4.247930 | c 2 > -1.000000 | c 10 > 6.781360 | 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.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.169930 | c 7.57/7.77 c choco : 1.36 7.57/7.77 c mistral : 0.02 7.57/7.77 c abscon : 0.719889 7.57/7.77 c 7.57/7.77 c 7.57/7.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein15.xml 7.57/7.77 c 19 > 0.000000 | c 35 > 33.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.980140 | c 34 > 33.333300 | c 16 > 15.000000 | c 13 > 1.312730 | c 14 > 2.584960 | c 11 > 6.629360 | c 12 > 0.762961 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.392320 | c 1 > 3.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.515700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.57/7.78 c choco : 1.18 7.57/7.78 c mistral : 0.01 7.57/7.78 c abscon : 0.696893 7.57/7.78 c 7.57/7.78 c 7.57/7.78 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-70.xml 7.57/7.78 c 19 > 0.000000 | c 35 > 20.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.073400 | c 34 > 10.428600 | c 16 > 3.000000 | c 13 > 7.768240 | c 14 > 9.493860 | c 11 > 8.113740 | c 12 > 7.355010 | c 21 > 8.336880 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > 7.118940 | c 2 > -1.000000 | c 10 > 12.279000 | 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 > 14.551500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.108520 | c 7.57/7.79 c choco : 4.77 7.57/7.79 c mistral : 1800.06 7.57/7.79 c abscon : 41.2627 7.57/7.79 c 7.57/7.79 c 7.57/7.79 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml 7.57/7.79 c 19 > 0.000000 | c 35 > 20.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.533600 | c 34 > 10.750000 | c 16 > 3.000000 | c 13 > 9.269850 | c 14 > 11.296900 | c 11 > 7.294620 | c 12 > 9.328520 | c 21 > 6.285410 | c 20 > 100.000000 | c 22 > 6.324560 | 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 > 6.303780 | c 2 > -1.000000 | c 10 > 10.679500 | 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 > 12.914900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.285400 | c 7.64/7.80 c choco : 2.94 7.64/7.80 c mistral : 1800.01 7.64/7.80 c abscon : 3.38349 7.64/7.80 c 7.64/7.80 c 7.64/7.80 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml 7.64/7.80 c 19 > 0.000000 | c 35 > 20.166700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.987900 | c 34 > 10.500000 | c 16 > 3.000000 | c 13 > 8.556550 | c 14 > 10.303800 | c 11 > 7.888740 | c 12 > 8.578890 | c 21 > 7.713900 | c 20 > 100.000000 | c 22 > 7.745970 | 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 > 6.894820 | c 2 > -1.000000 | c 10 > 11.837600 | 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 > 14.101900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.882640 | c 7.64/7.81 c choco : 4.06 7.64/7.81 c mistral : 1800.09 7.64/7.81 c abscon : 19.4 7.64/7.81 c 7.64/7.81 c 7.64/7.81 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-8.xml 7.64/7.81 c 19 > 0.000000 | c 35 > 21.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.928100 | c 34 > 13.750000 | c 16 > 3.000000 | c 13 > 4.792220 | c 14 > 6.584960 | c 11 > 4.857980 | c 12 > 4.659690 | c 21 > 2.744690 | c 20 > 100.000000 | c 22 > 2.828430 | 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 > 3.906890 | c 2 > -1.000000 | c 10 > 6.169930 | 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.060700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 3.807350 | c 7.64/7.82 c choco : 1.24 7.64/7.82 c mistral : 0.01 7.64/7.82 c abscon : 0.677896 7.64/7.82 c 7.64/7.82 c 7.64/7.82 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml 7.64/7.82 c 19 > 0.000000 | c 35 > 20.222200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.700700 | c 34 > 10.666700 | c 16 > 3.000000 | c 13 > 9.470560 | c 14 > 11.063400 | c 11 > 7.467610 | c 12 > 9.504530 | c 21 > 6.671250 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 6.475730 | c 2 > -1.000000 | c 10 > 11.015400 | 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 > 13.260500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.459430 | c 7.64/7.83 c choco : 3.28 7.64/7.83 c mistral : 1800.02 7.64/7.83 c abscon : 5.34119 7.64/7.83 c 7.64/7.83 c 7.64/7.83 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml 7.64/7.83 c 19 > 0.000000 | c 35 > 20.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.970600 | c 34 > 10.857100 | c 16 > 3.000000 | c 13 > 9.583130 | c 14 > 11.806500 | c 11 > 7.098030 | c 12 > 9.672770 | c 21 > 5.874290 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 6.108520 | c 2 > -1.000000 | c 10 > 10.299200 | 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 > 12.522300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.087460 | c 7.64/7.83 c choco : 2.63 7.64/7.83 c mistral : 1800.03 7.64/7.83 c abscon : 2.32365 7.64/7.83 c 7.64/7.83 c 7.64/7.83 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml 7.64/7.83 c 19 > 0.000000 | c 35 > 20.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.610900 | c 34 > 10.600000 | c 16 > 3.000000 | c 13 > 9.356060 | c 14 > 11.174900 | c 11 > 7.622050 | c 12 > 9.409190 | c 21 > 7.035980 | c 20 > 100.000000 | c 22 > 7.071070 | 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 > 6.629360 | c 2 > -1.000000 | c 10 > 11.316300 | 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 > 13.569000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.614710 | c 7.64/7.84 c choco : 3.47 7.64/7.84 c mistral : 25.06 7.64/7.84 c abscon : 7.93379 7.64/7.84 c 7.64/7.84 c 7.64/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/garden/g-9x3.xml 7.64/7.84 c 19 > 0.000000 | c 35 > 41.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.957100 | c 34 > 41.111100 | c 16 > 5.000000 | c 13 > 0.530942 | c 14 > 4.169930 | c 11 > 6.794420 | c 12 > 0.597902 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.392320 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.543030 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.84 c choco : 1.14 7.64/7.84 c mistral : 0.014997 7.64/7.84 c abscon : 0.660898 7.64/7.84 c 7.64/7.84 c 7.64/7.84 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-30.xml 7.64/7.84 c 19 > 0.000000 | c 35 > 20.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.178300 | c 34 > 11.000000 | c 16 > 3.000000 | c 13 > 10.203700 | c 14 > 12.354500 | c 11 > 6.870360 | c 12 > 10.327600 | c 21 > 5.432170 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > 5.882640 | c 2 > -1.000000 | c 10 > 9.861090 | 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 > 12.067800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.857980 | c 7.64/7.85 c choco : 2.42 7.64/7.85 c mistral : 1.26 7.64/7.85 c abscon : 1.59976 7.64/7.85 c 7.64/7.85 c 7.64/7.85 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-5.xml 7.64/7.85 c 19 > 0.000000 | c 35 > 32.533300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.368300 | c 34 > 32.533300 | c 16 > 15.000000 | c 13 > 2.757520 | c 14 > 8.588710 | c 11 > 13.064200 | c 12 > 1.778410 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.892700 | c 1 > 10.076800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.849400 | c 6 > 6.714250 | c 32 > -1.000000 | c 5 > 14.760200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.86 c choco : 1801.0 7.64/7.86 c mistral : 712.73 7.64/7.86 c abscon : 1579.13 7.64/7.86 c 7.64/7.86 c 7.64/7.86 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-80.xml 7.64/7.86 c 19 > 0.000000 | c 35 > 20.125000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.037700 | c 34 > 10.375000 | c 16 > 3.000000 | c 13 > 7.676200 | c 14 > 6.954200 | c 11 > 7.894820 | c 12 > 7.527940 | c 21 > 8.916450 | c 20 > 100.000000 | c 22 > 8.944270 | 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 > 7.312880 | c 2 > -1.000000 | c 10 > 12.661800 | 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 > 14.940500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.303780 | c 7.64/7.86 c choco : 5.54 7.64/7.86 c mistral : 1800.04 7.64/7.86 c abscon : 78.831 7.64/7.86 c 7.64/7.86 c 7.64/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/garden/g-4x4.xml 7.64/7.86 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.129280 | c 34 > 40.000000 | c 16 > 5.000000 | c 13 > 0.477098 | c 14 > 3.000000 | c 11 > 6.000000 | c 12 > 0.584963 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.584960 | c 1 > 4.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.584960 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.727920 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.87 c choco : 1.12 7.64/7.87 c mistral : 0.01 7.64/7.87 c abscon : 0.642901 7.64/7.87 c 7.64/7.87 c 7.64/7.87 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-11.xml 7.64/7.87 c 19 > 0.000000 | c 35 > 20.909100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.434500 | c 34 > 12.727300 | c 16 > 3.000000 | c 13 > 10.750700 | c 14 > 12.743200 | c 11 > 5.357550 | c 12 > 10.739700 | c 21 > 3.244040 | c 20 > 100.000000 | c 22 > 3.316620 | 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 > 4.392320 | 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 > 9.052570 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.321930 | c 7.64/7.87 c choco : 1.42 7.64/7.87 c mistral : 0.02 7.64/7.87 c abscon : 0.757884 7.64/7.87 c 7.64/7.87 c 7.64/7.87 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-25.xml 7.64/7.87 c 19 > 0.000000 | c 35 > 20.400000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.516200 | c 34 > 11.200000 | c 16 > 3.000000 | c 13 > 10.776900 | c 14 > 12.690700 | c 11 > 6.599910 | c 12 > 10.916300 | c 21 > 4.950780 | c 20 > 100.000000 | c 22 > 5.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 > 5.614710 | c 2 > -1.000000 | c 10 > 9.344300 | 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.528000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.584960 | c 7.64/7.88 c choco : 2.2 7.64/7.88 c mistral : 4.04 7.64/7.88 c abscon : 1.11883 7.64/7.88 c 7.64/7.88 c 7.64/7.88 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-90.xml 7.64/7.88 c 19 > 0.000000 | c 35 > 20.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.782800 | c 34 > 10.333300 | c 16 > 3.000000 | c 13 > 7.694210 | c 14 > 6.066090 | c 11 > 8.066090 | c 12 > 7.577090 | c 21 > 9.460590 | c 20 > 100.000000 | c 22 > 9.486830 | 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 > 7.483820 | c 2 > -1.000000 | c 10 > 12.999600 | 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 > 15.283100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.475730 | c 7.64/7.89 c choco : 6.42 7.64/7.89 c mistral : 1800.02 7.64/7.89 c abscon : 133.526 7.64/7.89 c 7.64/7.89 c 7.64/7.89 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-7.xml 7.64/7.89 c 19 > 0.000000 | c 35 > 21.428600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.295200 | c 34 > 14.285700 | c 16 > 3.000000 | c 13 > 3.309420 | c 14 > 5.087460 | c 11 > 4.643860 | c 12 > 3.214120 | c 21 > 2.557040 | c 20 > 100.000000 | c 22 > 2.645750 | 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 > 3.700440 | c 2 > -1.000000 | c 10 > 5.807350 | 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.636620 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 3.584960 | c 7.64/7.89 c choco : 1.21 7.64/7.89 c mistral : 0.01 7.64/7.89 c abscon : 0.693893 7.64/7.89 c 7.64/7.89 c 7.64/7.89 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-20.xml 7.64/7.89 c 19 > 0.000000 | c 35 > 20.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.589400 | c 34 > 11.500000 | c 16 > 3.000000 | c 13 > 11.125000 | c 14 > 13.128300 | c 11 > 6.266790 | c 12 > 11.344100 | c 21 > 4.417330 | c 20 > 100.000000 | c 22 > 4.472140 | 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 > 5.285400 | c 2 > -1.000000 | c 10 > 8.714250 | 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.863400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.247930 | c 7.64/7.90 c choco : 1.97 7.64/7.90 c mistral : 1.67 7.64/7.90 c abscon : 0.926858 7.64/7.90 c 7.64/7.90 c 7.64/7.90 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-18.xml 7.64/7.90 c 19 > 0.000000 | c 35 > 20.555600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.651400 | c 34 > 11.666700 | c 16 > 3.000000 | c 13 > 11.358300 | c 14 > 13.383800 | c 11 > 6.108520 | c 12 > 11.529200 | c 21 > 4.185010 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 5.129280 | c 2 > -1.000000 | c 10 > 8.417850 | 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.547900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.087460 | c 7.70/7.90 c choco : 1.78 7.70/7.90 c mistral : 0.66 7.70/7.90 c abscon : 0.834872 7.70/7.90 c 7.70/7.90 c 7.70/7.90 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-100.xml 7.70/7.90 c 19 > 0.000000 | c 35 > 20.100000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.449100 | c 34 > 10.300000 | c 16 > 3.000000 | c 13 > 7.251880 | c 14 > 5.523560 | c 11 > 8.219170 | c 12 > 7.283660 | c 21 > 9.975090 | c 20 > 100.000000 | c 22 > 10.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 > 7.636620 | c 2 > -1.000000 | c 10 > 13.302100 | 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 > 15.589400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.629360 | c 7.70/7.91 c choco : 7.48 7.70/7.91 c mistral : 1800.02 7.70/7.91 c abscon : 233.382 7.70/7.91 c 7.70/7.91 c 7.70/7.91 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-13.xml 7.70/7.91 c 19 > 0.000000 | c 35 > 20.769200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.673100 | c 34 > 12.307700 | c 16 > 3.000000 | c 13 > 11.884400 | c 14 > 13.793500 | c 11 > 5.614710 | c 12 > 11.868100 | c 21 > 3.538360 | c 20 > 100.000000 | c 22 > 3.605550 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 7.507790 | 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.564150 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.584960 | c 7.70/7.92 c choco : 1.52 7.70/7.92 c mistral : 0.03 7.70/7.92 c abscon : 0.804877 7.70/7.92 c 7.70/7.92 c 7.70/7.92 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-14.xml 7.70/7.92 c 19 > 0.000000 | c 35 > 20.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.718800 | c 34 > 12.142900 | c 16 > 3.000000 | c 13 > 11.908500 | c 14 > 13.678700 | c 11 > 5.727920 | c 12 > 12.135200 | c 21 > 3.676750 | c 20 > 100.000000 | c 22 > 3.741660 | 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 > 4.754890 | c 2 > -1.000000 | c 10 > 7.714250 | 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.789530 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.700440 | c 7.70/7.93 c choco : 1.58 7.70/7.93 c mistral : 0.04 7.70/7.93 c abscon : 0.793879 7.70/7.93 c 7.70/7.93 c 7.70/7.93 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-16.xml 7.70/7.93 c 19 > 0.000000 | c 35 > 20.625000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.580100 | c 34 > 11.875000 | c 16 > 3.000000 | c 13 > 12.194200 | c 14 > 13.336900 | c 11 > 5.930740 | c 12 > 12.201500 | c 21 > 3.939050 | c 20 > 100.000000 | c 22 > 4.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 > 4.954200 | c 2 > -1.000000 | c 10 > 8.087460 | 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.193500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.906890 | c 7.70/7.93 c choco : 1.68 7.70/7.93 c mistral : 0.21 7.70/7.93 c abscon : 0.808876 7.70/7.93 c 7.70/7.93 c 7.70/7.93 c /home/eomahony/cpZilla/CSP/queens/queens-30.xml 7.70/7.93 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.989300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.702650 | c 14 > 7.044390 | c 11 > 9.813780 | c 12 > 1.506460 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > 4.906890 | c 2 > -1.000000 | c 10 > 10.350900 | 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 > 15.257800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.764870 | c 7.70/7.94 c choco : 2.85 7.70/7.94 c mistral : 0.044992 7.70/7.94 c abscon : 0.928858 7.70/7.94 c 7.70/7.94 c 7.70/7.94 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-15.xml 7.70/7.94 c 19 > 0.000000 | c 35 > 20.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.640100 | c 34 > 12.000000 | c 16 > 3.000000 | c 13 > 12.122100 | c 14 > 13.485100 | c 11 > 5.832890 | c 12 > 12.348600 | c 21 > 3.810150 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > 4.857980 | c 2 > -1.000000 | c 10 > 7.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 > 9.998590 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.807350 | c 7.70/7.94 c choco : 1.62 7.70/7.94 c mistral : 0.150976 7.70/7.94 c abscon : 0.78188 7.70/7.94 c 7.70/7.94 c 7.70/7.94 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-12.xml 7.70/7.95 c 19 > 0.000000 | c 35 > 20.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.618500 | c 34 > 12.500000 | c 16 > 3.000000 | c 13 > 12.222100 | c 14 > 13.773400 | c 11 > 5.491850 | c 12 > 12.438100 | c 21 > 3.394370 | c 20 > 100.000000 | c 22 > 3.464100 | 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 > 4.523560 | c 2 > -1.000000 | c 10 > 7.285400 | 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.319670 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.459430 | c 7.70/7.95 c choco : 1.44 7.70/7.95 c mistral : 0.03 7.70/7.95 c abscon : 0.726888 7.70/7.95 c 7.70/7.95 c 7.70/7.96 c Length: 40 7.70/7.96 c 2.0158465283845386 2.0586863178978967 2.15247493511539 2.398889703592059 3.895048548529274 4.868552452741986 5.020720961923697 5.491363539395293 5.554639579315657 9.54975056022931 23.885864493430002 26.251985357874556 26.32754375595642 26.455034901944465 26.5381877832131 26.785945849260205 26.79473924217214 26.81565265908887 26.827389884332764 26.885918259362093 26.894414374070315 26.929158400941535 27.14347594153608 27.14694861932184 27.192615535701968 27.209580734733855 27.209806082015596 27.271093224507887 27.397337076840152 27.531631358942388 27.532671694639443 27.61441330543526 27.738594911119772 27.79696096497601 27.962793646754967 28.038904253493925 28.07295846045443 28.092473835662823 28.120748689142328 28.179264653823026 7.70/7.96 c 7.70/7.96 c 1.0 0.9983652839847496 0.9948050127377632 0.9855708385811031 0.9329876448638229 0.9016854932291513 0.8969814764623824 0.8827381282421092 0.8808575890219749 0.7764242512600839 0.544691786699428 0.5191200023610525 0.5183429090247356 0.5170369657925891 0.5161887371391424 0.5136778184034848 0.5135891500487723 0.513378392111541 0.5132601843160185 0.512671545666383 0.512586209718403 0.5122375321690577 0.5100971686287714 0.5100626346649366 0.5096089357404344 0.509440592741831 0.5094383574047097 0.5088311455817335 0.5075849157278544 0.5062658986384918 0.5062557073844843 0.5054562373279526 0.504246505112628 0.5036799223131952 0.5020770436558567 0.5013447966934103 0.501017858237474 0.5008306924069581 0.5005597651154685 0.5 7.70/7.97 c 7.70/7.97 c solver 0 7.70/7.97 c before 0.0 seconds: {} 0 7.70/7.97 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 18, 19, 20, 21, 22, 23, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 19682 7.70/7.97 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20195 7.70/7.97 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20709 7.70/7.97 c before 90.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 21218 7.70/7.97 c before 108.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, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 22151 7.70/7.97 c before 144.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, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 22657 7.70/7.97 c before 234.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23161 7.70/7.97 c before 666.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, 34, 35, 36, 37, 38, 39} 24044 7.70/7.97 c before 1584.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} 24553 7.70/7.97 c 7.70/7.97 c solver 1 7.70/7.97 c before 0.0 seconds: {} 0 7.70/7.97 c before 18.0 seconds: {0, 2, 3, 6, 8, 9, 10, 11, 12, 13, 14, 18, 22, 23, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 15731 7.70/7.97 c before 36.0 seconds: {0, 2, 3, 6, 8, 9, 10, 11, 12, 13, 14, 18, 21, 22, 23, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 16243 7.70/7.97 c before 126.0 seconds: {0, 2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14, 18, 21, 22, 23, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 17176 7.70/7.97 c before 198.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14, 18, 21, 22, 23, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 18174 7.70/7.97 c before 720.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14, 18, 21, 22, 23, 24, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 18684 7.70/7.97 c before 1494.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 18, 21, 22, 23, 24, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 19567 7.70/7.97 c 7.70/7.97 c solver 2 7.70/7.97 c before 0.0 seconds: {} 0 7.70/7.97 c before 18.0 seconds: {0, 3, 6, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18789 7.70/7.97 c before 36.0 seconds: {0, 3, 6, 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, 34, 35, 36, 37, 38, 39} 19333 7.70/7.97 c before 90.0 seconds: {0, 2, 3, 6, 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, 34, 35, 36, 37, 38, 39} 20328 7.70/7.97 c before 108.0 seconds: {0, 1, 2, 3, 6, 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, 34, 35, 36, 37, 38, 39} 21326 7.70/7.97 c before 144.0 seconds: {0, 1, 2, 3, 4, 6, 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, 34, 35, 36, 37, 38, 39} 22259 7.70/7.97 c before 1116.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23161 7.70/7.97 c 7.70/7.97 cTotal time: 233 7.70/7.98 c run abscon for 1584.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} 24553 7.70/7.98 c run mistral for 198.0 seconds {0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14, 18, 21, 22, 23, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 18174 7.70/7.98 c run choco for 18.0 seconds {0, 3, 6, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18789 7.70/7.98 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.70/7.98 c On Instance: HOME/instance-1051190-1215052495.xml 7.70/7.98 c Running for: 1584 seconds 38.46/39.35 s UNSATISFIABLE 38.46/39.35 d ASSIGNMENTS 16325 38.46/39.35 d CHECKS 27699318
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-1051190-1215052495/watcher-1051190-1215052495 -o /tmp/evaluation-result-1051190-1215052495/solver-1051190-1215052495 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1051190-1215052495.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.87 2.00 1.99 4/80 29755 /proc/meminfo: memFree=1750072/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=0 /proc/29755/stat : 29755 (hydra) R 29753 29755 27392 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 1984223568 5488640 233 996147200 4194304 4889804 548682068816 18446744073709551615 225612364389 0 0 4100 65536 0 0 0 17 1 0 0 /proc/29755/statm: 1340 233 194 169 0 51 0 [startup+0.260835 s] /proc/loadavg: 1.87 2.00 1.99 4/80 29755 /proc/meminfo: memFree=1750072/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=0 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984223568 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301836 s] /proc/loadavg: 1.87 2.00 1.99 4/80 29755 /proc/meminfo: memFree=1750072/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=0 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984223568 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.401844 s] /proc/loadavg: 1.87 2.00 1.99 4/80 29755 /proc/meminfo: memFree=1750072/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=0 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984223568 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701873 s] /proc/loadavg: 1.87 2.00 1.99 4/80 29755 /proc/meminfo: memFree=1750072/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=0 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984223568 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50194 s] /proc/loadavg: 1.87 2.00 1.99 4/82 29759 /proc/meminfo: memFree=1746792/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=0 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984223568 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 236 195 169 0 51 0 [pid=29759] ppid=29755 vsize=7312 CPUtime=1.47 /proc/29759/stat : 29759 (xsolve) R 29755 29755 27392 0 -1 4194304 1204 0 0 0 147 0 0 0 25 0 1 0 1984223569 7487488 1163 996147200 134512640 135239763 4294956176 18446744073709551615 135067226 0 0 4096 0 0 0 0 17 1 0 0 /proc/29759/statm: 1828 1163 427 177 0 731 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 12672 [startup+3.10208 s] /proc/loadavg: 1.87 2.00 1.99 3/90 29771 /proc/meminfo: memFree=1741928/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=1.49 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 375 1801 0 0 0 0 149 0 19 0 1 0 1984223568 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 238 196 169 0 51 0 [pid=29763] ppid=29755 vsize=197004 CPUtime=1.55 /proc/29763/stat : 29763 (java) S 29755 29755 27392 0 -1 0 5084 0 1 0 151 4 0 0 18 0 9 0 1984223721 201732096 4267 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29763/statm: 49251 4267 1679 9 0 43833 0 [pid=29763/tid=29764] ppid=29755 vsize=197004 CPUtime=1.23 /proc/29763/task/29764/stat : 29764 (java) R 29755 29755 27392 0 -1 64 2743 0 1 0 122 1 0 0 25 0 9 0 1984223722 201732096 4267 996147200 134512640 134550740 4294955968 18446744073709551615 4126446343 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29765] ppid=29755 vsize=197004 CPUtime=0.14 /proc/29763/task/29765/stat : 29765 (java) S 29755 29755 27392 0 -1 64 1000 0 0 0 13 1 0 0 16 0 9 0 1984223723 201732096 4267 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29766] ppid=29755 vsize=197004 CPUtime=0 /proc/29763/task/29766/stat : 29766 (java) S 29755 29755 27392 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984223723 201732096 4267 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29767] ppid=29755 vsize=197004 CPUtime=0 /proc/29763/task/29767/stat : 29767 (java) S 29755 29755 27392 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984223723 201732096 4267 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29768] ppid=29755 vsize=197004 CPUtime=0 /proc/29763/task/29768/stat : 29768 (java) S 29755 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984223725 201732096 4267 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29769] ppid=29755 vsize=197004 CPUtime=0.14 /proc/29763/task/29769/stat : 29769 (java) S 29755 29755 27392 0 -1 64 616 0 0 0 14 0 0 0 16 0 9 0 1984223725 201732096 4267 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29770] ppid=29755 vsize=197004 CPUtime=0 /proc/29763/task/29770/stat : 29770 (java) S 29755 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984223725 201732096 4267 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29771] ppid=29755 vsize=197004 CPUtime=0 /proc/29763/task/29771/stat : 29771 (java) S 29755 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984223725 201732096 4267 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202364 [startup+6.30136 s] /proc/loadavg: 1.96 2.02 1.99 3/90 29771 /proc/meminfo: memFree=1729064/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=1.49 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 375 1801 0 0 0 0 149 0 19 0 1 0 1984223568 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 238 196 169 0 51 0 [pid=29763] ppid=29755 vsize=197112 CPUtime=4.71 /proc/29763/stat : 29763 (java) S 29755 29755 27392 0 -1 0 9949 0 1 0 460 11 0 0 18 0 9 0 1984223721 201842688 8250 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29763/statm: 49278 8250 2541 9 0 43860 0 [pid=29763/tid=29764] ppid=29755 vsize=197112 CPUtime=3.75 /proc/29763/task/29764/stat : 29764 (java) R 29755 29755 27392 0 -1 64 3541 0 1 0 371 4 0 0 25 0 9 0 1984223722 201842688 8250 996147200 134512640 134550740 4294955968 18446744073709551615 4126439940 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29765] ppid=29755 vsize=197112 CPUtime=0.76 /proc/29763/task/29765/stat : 29765 (java) S 29755 29755 27392 0 -1 64 5052 0 0 0 71 5 0 0 16 0 9 0 1984223723 201842688 8250 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29766] ppid=29755 vsize=197112 CPUtime=0 /proc/29763/task/29766/stat : 29766 (java) S 29755 29755 27392 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984223723 201842688 8250 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29767] ppid=29755 vsize=197112 CPUtime=0 /proc/29763/task/29767/stat : 29767 (java) S 29755 29755 27392 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984223723 201842688 8250 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29768] ppid=29755 vsize=197112 CPUtime=0 /proc/29763/task/29768/stat : 29768 (java) S 29755 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984223725 201842688 8250 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29769] ppid=29755 vsize=197112 CPUtime=0.17 /proc/29763/task/29769/stat : 29769 (java) S 29755 29755 27392 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 1984223725 201842688 8250 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29770] ppid=29755 vsize=197112 CPUtime=0 /proc/29763/task/29770/stat : 29770 (java) S 29755 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984223725 201842688 8250 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29771] ppid=29755 vsize=197112 CPUtime=0 /proc/29763/task/29771/stat : 29771 (java) S 29755 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984223725 201842688 8250 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 202472 [startup+12.7039 s] /proc/loadavg: 1.97 2.02 1.99 3/102 29783 /proc/meminfo: memFree=1686600/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=1.49 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 375 1801 0 0 0 0 149 0 19 0 1 0 1984223568 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 238 196 169 0 51 0 [pid=29763] ppid=29755 vsize=197436 CPUtime=6.27 /proc/29763/stat : 29763 (java) S 29755 29755 27392 0 -1 0 14035 0 1 0 609 18 0 0 18 0 10 0 1984223721 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29763/statm: 49359 9563 2544 9 0 43941 0 [pid=29773] ppid=29763 vsize=5356 CPUtime=0 /proc/29773/stat : 29773 (abscon) S 29763 29755 27392 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1984224366 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29773/statm: 1339 237 196 169 0 50 0 [pid=29774] ppid=29773 vsize=655424 CPUtime=4.62 /proc/29774/stat : 29774 (java) S 29773 29755 27392 0 -1 0 11647 0 1 0 453 9 0 0 25 0 9 0 1984224367 671154176 10960 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29774/statm: 163856 10960 2611 9 0 158384 0 [pid=29774/tid=29776] ppid=29773 vsize=655424 CPUtime=4.27 /proc/29774/task/29776/stat : 29776 (java) R 29773 29755 27392 0 -1 64 9329 0 1 0 420 7 0 0 25 0 9 0 1984224368 671154176 10960 996147200 134512640 134550740 4294955808 18446744073709551615 4126822048 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29777] ppid=29773 vsize=655424 CPUtime=0.04 /proc/29774/task/29777/stat : 29777 (java) S 29773 29755 27392 0 -1 64 1214 0 0 0 4 0 0 0 16 0 9 0 1984224370 671154176 10960 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29778] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29778/stat : 29778 (java) S 29773 29755 27392 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984224370 671154176 10960 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29779] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29779/stat : 29779 (java) S 29773 29755 27392 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1984224370 671154176 10960 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29780] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29780/stat : 29780 (java) S 29773 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984224372 671154176 10960 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29781] ppid=29773 vsize=655424 CPUtime=0.27 /proc/29774/task/29781/stat : 29781 (java) S 29773 29755 27392 0 -1 64 560 0 0 0 27 0 0 0 15 0 9 0 1984224372 671154176 10960 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29782] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29782/stat : 29782 (java) S 29773 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1984224372 671154176 10960 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29783] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29783/stat : 29783 (java) S 29773 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984224372 671154176 10960 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29775] ppid=29773 vsize=7044 CPUtime=0 /proc/29775/stat : 29775 (translate) S 29773 29755 27392 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1984224367 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 225612365906 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/29775/statm: 1761 213 182 1 0 41 0 [pid=29763/tid=29764] ppid=29755 vsize=197436 CPUtime=4.9 /proc/29763/task/29764/stat : 29764 (java) S 29755 29755 27392 0 -1 64 3987 0 1 0 483 7 0 0 25 0 10 0 1984223722 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=29763/tid=29765] ppid=29755 vsize=197436 CPUtime=1.1 /proc/29763/task/29765/stat : 29765 (java) S 29755 29755 27392 0 -1 64 8551 0 0 0 101 9 0 0 16 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29766] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29766/stat : 29766 (java) S 29755 29755 27392 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29767] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29767/stat : 29767 (java) S 29755 29755 27392 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29768] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29768/stat : 29768 (java) S 29755 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29769] ppid=29755 vsize=197436 CPUtime=0.24 /proc/29763/task/29769/stat : 29769 (java) S 29755 29755 27392 0 -1 64 669 0 0 0 24 0 0 0 15 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29770] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29770/stat : 29770 (java) S 29755 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29771] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29771/stat : 29771 (java) S 29755 29755 27392 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29772] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29772/stat : 29772 (java) S 29755 29755 27392 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984224366 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.38 Current children cumulated vsize (KiB) 870620 [startup+25.5071 s] /proc/loadavg: 1.97 2.01 1.99 3/102 29783 /proc/meminfo: memFree=1686600/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=1.49 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 375 1801 0 0 0 0 149 0 19 0 1 0 1984223568 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 238 196 169 0 51 0 [pid=29763] ppid=29755 vsize=197436 CPUtime=6.27 /proc/29763/stat : 29763 (java) S 29755 29755 27392 0 -1 0 14035 0 1 0 609 18 0 0 18 0 10 0 1984223721 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29763/statm: 49359 9563 2544 9 0 43941 0 [pid=29773] ppid=29763 vsize=5356 CPUtime=0 /proc/29773/stat : 29773 (abscon) S 29763 29755 27392 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1984224366 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29773/statm: 1339 237 196 169 0 50 0 [pid=29774] ppid=29773 vsize=655424 CPUtime=17.17 /proc/29774/stat : 29774 (java) S 29773 29755 27392 0 -1 0 11659 0 1 0 1708 9 0 0 25 0 9 0 1984224367 671154176 10967 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29774/statm: 163856 10967 2611 9 0 158384 0 [pid=29774/tid=29776] ppid=29773 vsize=655424 CPUtime=16.82 /proc/29774/task/29776/stat : 29776 (java) R 29773 29755 27392 0 -1 64 9334 0 1 0 1674 8 0 0 25 0 9 0 1984224368 671154176 10967 996147200 134512640 134550740 4294955808 18446744073709551615 4126894948 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29777] ppid=29773 vsize=655424 CPUtime=0.04 /proc/29774/task/29777/stat : 29777 (java) S 29773 29755 27392 0 -1 64 1214 0 0 0 4 0 0 0 16 0 9 0 1984224370 671154176 10967 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29778] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29778/stat : 29778 (java) S 29773 29755 27392 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984224370 671154176 10967 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/29763/task/29771/stat : 29771 (java) S 29755 29755 27392 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29772] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29772/stat : 29772 (java) S 29755 29755 27392 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984224366 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 36.1 Current children cumulated vsize (KiB) 870620 [startup+38.5032 s] /proc/loadavg: 1.98 2.01 1.99 3/102 29783 /proc/meminfo: memFree=1686600/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=1.49 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 375 1801 0 0 0 0 149 0 19 0 1 0 1984223568 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 238 196 169 0 51 0 [pid=29763] ppid=29755 vsize=197436 CPUtime=6.27 /proc/29763/stat : 29763 (java) S 29755 29755 27392 0 -1 0 14035 0 1 0 609 18 0 0 18 0 10 0 1984223721 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29763/statm: 49359 9563 2544 9 0 43941 0 [pid=29773] ppid=29763 vsize=5356 CPUtime=0 /proc/29773/stat : 29773 (abscon) S 29763 29755 27392 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1984224366 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29773/statm: 1339 237 196 169 0 50 0 [pid=29774] ppid=29773 vsize=655424 CPUtime=29.91 /proc/29774/stat : 29774 (java) S 29773 29755 27392 0 -1 0 11660 0 1 0 2982 9 0 0 25 0 9 0 1984224367 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29774/statm: 163856 10968 2611 9 0 158384 0 [pid=29774/tid=29776] ppid=29773 vsize=655424 CPUtime=29.57 /proc/29774/task/29776/stat : 29776 (java) R 29773 29755 27392 0 -1 64 9335 0 1 0 2949 8 0 0 25 0 9 0 1984224368 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4126897511 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29777] ppid=29773 vsize=655424 CPUtime=0.04 /proc/29774/task/29777/stat : 29777 (java) S 29773 29755 27392 0 -1 64 1214 0 0 0 4 0 0 0 16 0 9 0 1984224370 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29778] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29778/stat : 29778 (java) S 29773 29755 27392 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984224370 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29779] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29779/stat : 29779 (java) S 29773 29755 27392 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1984224370 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29780] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29780/stat : 29780 (java) S 29773 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984224372 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29781] ppid=29773 vsize=655424 CPUtime=0.28 /proc/29774/task/29781/stat : 29781 (java) S 29773 29755 27392 0 -1 64 567 0 0 0 28 0 0 0 15 0 9 0 1984224372 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29782] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29782/stat : 29782 (java) S 29773 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1984224372 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29783] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29783/stat : 29783 (java) S 29773 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984224372 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29775] ppid=29773 vsize=7044 CPUtime=0 /proc/29775/stat : 29775 (translate) S 29773 29755 27392 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1984224367 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 225612365906 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/29775/statm: 1761 213 182 1 0 41 0 [pid=29763/tid=29764] ppid=29755 vsize=197436 CPUtime=4.9 /proc/29763/task/29764/stat : 29764 (java) S 29755 29755 27392 0 -1 64 3987 0 1 0 483 7 0 0 25 0 10 0 1984223722 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=29763/tid=29765] ppid=29755 vsize=197436 CPUtime=1.1 /proc/29763/task/29765/stat : 29765 (java) S 29755 29755 27392 0 -1 64 8551 0 0 0 101 9 0 0 16 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29766] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29766/stat : 29766 (java) S 29755 29755 27392 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29767] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29767/stat : 29767 (java) S 29755 29755 27392 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29768] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29768/stat : 29768 (java) S 29755 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29769] ppid=29755 vsize=197436 CPUtime=0.24 /proc/29763/task/29769/stat : 29769 (java) S 29755 29755 27392 0 -1 64 669 0 0 0 24 0 0 0 15 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29770] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29770/stat : 29770 (java) S 29755 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29771] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29771/stat : 29771 (java) S 29755 29755 27392 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29772] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29772/stat : 29772 (java) S 29755 29755 27392 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984224366 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 37.67 Current children cumulated vsize (KiB) 870620 [startup+38.9022 s] /proc/loadavg: 1.98 2.01 1.99 3/102 29783 /proc/meminfo: memFree=1686536/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=1.49 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 375 1801 0 0 0 0 149 0 19 0 1 0 1984223568 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 238 196 169 0 51 0 [pid=29763] ppid=29755 vsize=197436 CPUtime=6.27 /proc/29763/stat : 29763 (java) S 29755 29755 27392 0 -1 0 14035 0 1 0 609 18 0 0 18 0 10 0 1984223721 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29763/statm: 49359 9563 2544 9 0 43941 0 [pid=29773] ppid=29763 vsize=5356 CPUtime=0 /proc/29773/stat : 29773 (abscon) S 29763 29755 27392 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1984224366 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29773/statm: 1339 237 196 169 0 50 0 [pid=29774] ppid=29773 vsize=655424 CPUtime=30.3 /proc/29774/stat : 29774 (java) S 29773 29755 27392 0 -1 0 11660 0 1 0 3021 9 0 0 25 0 9 0 1984224367 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29774/statm: 163856 10968 2611 9 0 158384 0 [pid=29774/tid=29776] ppid=29773 vsize=655424 CPUtime=29.96 /proc/29774/task/29776/stat : 29776 (java) R 29773 29755 27392 0 -1 64 9335 0 1 0 2988 8 0 0 25 0 9 0 1984224368 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4126457375 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29777] ppid=29773 vsize=655424 CPUtime=0.04 /proc/29774/task/29777/stat : 29777 (java) S 29773 29755 27392 0 -1 64 1214 0 0 0 4 0 0 0 16 0 9 0 1984224370 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29778] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29778/stat : 29778 (java) S 29773 29755 27392 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984224370 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29779] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29779/stat : 29779 (java) S 29773 29755 27392 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1984224370 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29780] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29780/stat : 29780 (java) S 29773 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984224372 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29781] ppid=29773 vsize=655424 CPUtime=0.28 /proc/29774/task/29781/stat : 29781 (java) S 29773 29755 27392 0 -1 64 567 0 0 0 28 0 0 0 15 0 9 0 1984224372 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29782] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29782/stat : 29782 (java) S 29773 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1984224372 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29783] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29783/stat : 29783 (java) S 29773 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984224372 671154176 10968 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29775] ppid=29773 vsize=7044 CPUtime=0 /proc/29775/stat : 29775 (translate) S 29773 29755 27392 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1984224367 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 225612365906 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/29775/statm: 1761 213 182 1 0 41 0 [pid=29763/tid=29764] ppid=29755 vsize=197436 CPUtime=4.9 /proc/29763/task/29764/stat : 29764 (java) S 29755 29755 27392 0 -1 64 3987 0 1 0 483 7 0 0 25 0 10 0 1984223722 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=29763/tid=29765] ppid=29755 vsize=197436 CPUtime=1.1 /proc/29763/task/29765/stat : 29765 (java) S 29755 29755 27392 0 -1 64 8551 0 0 0 101 9 0 0 16 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29766] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29766/stat : 29766 (java) S 29755 29755 27392 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29767] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29767/stat : 29767 (java) S 29755 29755 27392 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29768] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29768/stat : 29768 (java) S 29755 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29769] ppid=29755 vsize=197436 CPUtime=0.24 /proc/29763/task/29769/stat : 29769 (java) S 29755 29755 27392 0 -1 64 669 0 0 0 24 0 0 0 15 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29770] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29770/stat : 29770 (java) S 29755 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29771] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29771/stat : 29771 (java) S 29755 29755 27392 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29772] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29772/stat : 29772 (java) S 29755 29755 27392 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984224366 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 38.06 Current children cumulated vsize (KiB) 870620 [startup+39.3023 s] /proc/loadavg: 1.98 2.01 1.99 3/102 29783 /proc/meminfo: memFree=1686536/2055920 swapFree=4180076/4192956 [pid=29755] ppid=29753 vsize=5360 CPUtime=1.49 /proc/29755/stat : 29755 (hydra) S 29753 29755 27392 0 -1 4194304 375 1801 0 0 0 0 149 0 19 0 1 0 1984223568 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29755/statm: 1340 238 196 169 0 51 0 [pid=29763] ppid=29755 vsize=197436 CPUtime=6.27 /proc/29763/stat : 29763 (java) S 29755 29755 27392 0 -1 0 14037 0 1 0 609 18 0 0 18 0 10 0 1984223721 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29763/statm: 49359 9563 2544 9 0 43941 0 [pid=29773] ppid=29763 vsize=5356 CPUtime=0 /proc/29773/stat : 29773 (abscon) S 29763 29755 27392 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1984224366 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29773/statm: 1339 237 196 169 0 50 0 [pid=29774] ppid=29773 vsize=655424 CPUtime=30.7 /proc/29774/stat : 29774 (java) S 29773 29755 27392 0 -1 0 11733 0 1 0 3061 9 0 0 25 0 9 0 1984224367 671154176 11041 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29774/statm: 163856 11041 2611 9 0 158384 0 [pid=29774/tid=29776] ppid=29773 vsize=655424 CPUtime=30.35 /proc/29774/task/29776/stat : 29776 (java) R 29773 29755 27392 0 -1 64 9408 0 1 0 3027 8 0 0 23 0 9 0 1984224368 671154176 11041 996147200 134512640 134550740 4294955808 18446744073709551615 102715030 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29777] ppid=29773 vsize=655424 CPUtime=0.04 /proc/29774/task/29777/stat : 29777 (java) S 29773 29755 27392 0 -1 64 1214 0 0 0 4 0 0 0 16 0 9 0 1984224370 671154176 11041 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29778] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29778/stat : 29778 (java) S 29773 29755 27392 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984224370 671154176 11041 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29779] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29779/stat : 29779 (java) S 29773 29755 27392 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1984224370 671154176 11041 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29780] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29780/stat : 29780 (java) S 29773 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984224372 671154176 11041 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29781] ppid=29773 vsize=655424 CPUtime=0.28 /proc/29774/task/29781/stat : 29781 (java) S 29773 29755 27392 0 -1 64 567 0 0 0 28 0 0 0 16 0 9 0 1984224372 671154176 11041 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29782] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29782/stat : 29782 (java) S 29773 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1984224372 671154176 11041 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29774/tid=29783] ppid=29773 vsize=655424 CPUtime=0 /proc/29774/task/29783/stat : 29783 (java) S 29773 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984224372 671154176 11041 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29775] ppid=29773 vsize=7180 CPUtime=0 /proc/29775/stat : 29775 (translate) S 29773 29755 27392 0 -1 4194304 274 0 0 0 0 0 0 0 16 0 1 0 1984224367 7352320 237 996147200 4194304 4199737 548682068640 18446744073709551615 225612365906 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/29775/statm: 1795 237 204 1 0 75 0 [pid=29763/tid=29764] ppid=29755 vsize=197436 CPUtime=4.9 /proc/29763/task/29764/stat : 29764 (java) S 29755 29755 27392 0 -1 64 3989 0 1 0 483 7 0 0 16 0 10 0 1984223722 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=29763/tid=29765] ppid=29755 vsize=197436 CPUtime=1.1 /proc/29763/task/29765/stat : 29765 (java) S 29755 29755 27392 0 -1 64 8551 0 0 0 101 9 0 0 16 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29766] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29766/stat : 29766 (java) S 29755 29755 27392 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29767] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29767/stat : 29767 (java) S 29755 29755 27392 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1984223723 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29768] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29768/stat : 29768 (java) S 29755 29755 27392 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29769] ppid=29755 vsize=197436 CPUtime=0.24 /proc/29763/task/29769/stat : 29769 (java) S 29755 29755 27392 0 -1 64 669 0 0 0 24 0 0 0 15 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29770] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29770/stat : 29770 (java) S 29755 29755 27392 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29771] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29771/stat : 29771 (java) S 29755 29755 27392 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984223725 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29763/tid=29772] ppid=29755 vsize=197436 CPUtime=0 /proc/29763/task/29772/stat : 29772 (java) S 29755 29755 27392 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984224366 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 38.46 Current children cumulated vsize (KiB) 870756 Child status: 0 Real time (s): 39.4004 CPU time (s): 38.5191 CPU user time (s): 38.2082 CPU system time (s): 0.310952 CPU usage (%): 97.7634 Max. virtual memory (cumulated for all children) (KiB): 870756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.2082 system time used= 0.310952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28698 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= 11798 involuntary context switches= 17176 runsolver used 0.180972 second user time and 0.419936 second system time The end
Begin job on node31 at 2008-07-03 04:34:55 IDJOB=1051190 IDBENCH=55427 IDSOLVER=366 FILE ID=node31/1051190-1215052495 PBS_JOBID= 7875111 Free space on /tmp= 66544 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/golombRulerArity4/normalized-ruler-34-9-a4.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051190-1215052495/watcher-1051190-1215052495 -o /tmp/evaluation-result-1051190-1215052495/solver-1051190-1215052495 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1051190-1215052495.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 947bd0bb99890d45969905fa1e7cd20f RANDOM SEED=824571227 node31.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.232 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.232 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: 1750552 kB Buffers: 17764 kB Cached: 161700 kB SwapCached: 5972 kB Active: 188640 kB Inactive: 59424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1750552 kB SwapTotal: 4192956 kB SwapFree: 4180076 kB Dirty: 24360 kB Writeback: 0 kB Mapped: 81976 kB Slab: 42008 kB Committed_AS: 3736600 kB PageTables: 2100 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66520 MiB End job on node31 at 2008-07-03 04:35:35