Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 94.6196 | 94.911 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 2835970 |
CHECKS | 17509700 |
Name | csp/pseudoGLB/ normalized-t2001-13queen13-1111217374.xml |
MD5SUM | c95be151eab59dc22ba4b85af34f31fd |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.935856 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 101 |
Maximum constraint arity | 169 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | weightedsum(101) |
0.00/0.00 c cpHydra_k_40 version 0.0 1.37/1.50 HOME/cpHydra_k_40/hydra: line 6: 11243 Segmentation fault (core dumped) ${HOME}/cpHydra_k_40/src/mistral/bin/xsolve $1 -fe 1 -t 2 2>${cpHydraHome}/temp_case1 >${cpHydraHome}/temp_sol 7.30/7.50 c CASE TO CLASSIFY: 7.30/7.50 c Case: 0 7.39/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 18.738000 | c 34 > -1.000000 | c 16 > 169.000000 | c 13 > 13.045500 | c 14 > 12.266200 | c 11 > 8.076820 | c 12 > 13.542000 | c 21 > 1.414210 | c 20 > 0.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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.658210 | c 1 > 7.400880 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 6.658210 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.753220 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.39/7.51 c choco : 1801.0 7.39/7.51 c mistral : 1801.0 7.39/7.51 c abscon : 1801.0 7.39/7.51 c 7.39/7.51 c 7.59/7.79 c List of same ones: 40 7.59/7.79 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml 7.59/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.696000 | c 34 > -1.000000 | c 16 > 100.000000 | c 13 > 12.108300 | c 14 > 14.463800 | c 11 > 6.643860 | c 12 > 14.945800 | c 21 > 10.000000 | c 20 > 0.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.347830 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 12.279900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.652200 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.287700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.59/7.79 c choco : 1801.0 7.59/7.79 c mistral : 197.92 7.59/7.79 c abscon : 1801.0 7.59/7.79 c 7.59/7.79 c 7.59/7.79 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml 7.59/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.832600 | c 34 > -1.000000 | c 16 > 81.000000 | c 13 > 7.189530 | c 14 > 10.327600 | c 11 > 6.339850 | c 12 > 9.808860 | c 21 > 9.000000 | c 20 > 0.000000 | c 22 > 9.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.761900 | c 3 > 6.339850 | c 2 > -1.000000 | c 10 > 11.671100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.238100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.679700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.59/7.80 c choco : 12.89 7.59/7.80 c mistral : 7.43 7.59/7.80 c abscon : 1801.0 7.59/7.80 c 7.59/7.80 c 7.59/7.80 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml 7.68/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.914200 | c 34 > -1.000000 | c 16 > 64.000000 | c 13 > 12.258500 | c 14 > 14.563600 | c 11 > 6.000000 | c 12 > 14.663600 | c 21 > 8.000000 | c 20 > 0.000000 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.263160 | c 3 > 6.000000 | c 2 > -1.000000 | c 10 > 10.990800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.81 c choco : 30.19 7.68/7.81 c mistral : 1.82 7.68/7.81 c abscon : 1801.0 7.68/7.81 c 7.68/7.81 c 7.68/7.81 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml 7.68/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.029600 | c 34 > -1.000000 | c 16 > 49.000000 | c 13 > 13.116600 | c 14 > 14.704700 | c 11 > 5.614710 | c 12 > 14.754600 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.882350 | c 3 > 5.614710 | c 2 > -1.000000 | c 10 > 10.220400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.117600 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.229400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.82 c choco : 8.91 7.68/7.82 c mistral : 0.14 7.68/7.82 c abscon : 62.66 7.68/7.82 c 7.68/7.82 c 7.68/7.82 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml 7.68/7.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.180100 | c 34 > -1.000000 | c 16 > 36.000000 | c 13 > 13.913900 | c 14 > 15.471700 | c 11 > 5.169930 | c 12 > 15.410800 | c 21 > 6.000000 | c 20 > 0.000000 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 6.666670 | c 3 > 5.169930 | c 2 > -1.000000 | c 10 > 9.333160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.339900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.83 c choco : 3.57 7.68/7.83 c mistral : 0.47 7.68/7.83 c abscon : 35.91 7.68/7.83 c 7.68/7.83 c 7.68/7.83 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml 7.68/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 17.453500 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > 8.763490 | c 14 > 11.124100 | c 11 > 4.643860 | c 12 > 10.603400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 7.692310 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.290020 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 92.307700 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.287710 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.84 c choco : 8.05 7.68/7.84 c mistral : 0.17 7.68/7.84 c abscon : 3.99 7.68/7.84 c 7.68/7.84 c 7.68/7.84 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml 7.68/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 10.576500 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 3.038030 | c 14 > 4.459430 | c 11 > 4.000000 | c 12 > 3.774790 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 9.090910 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.033420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 90.909100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.85 c choco : 1.16 7.68/7.85 c mistral : 0.02 7.68/7.85 c abscon : 1.71 7.68/7.85 c 7.68/7.85 c 7.68/7.85 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 7.68/7.85 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.120480 | c 33 > 60.000000 | c 15 > 19.466200 | c 34 > 20.000000 | c 16 > 210.000000 | c 13 > 14.040200 | c 14 > 12.696100 | c 11 > 12.521600 | c 12 > 12.045800 | c 21 > 1.414210 | c 20 > 94.879500 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.182400 | c 1 > 12.521600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.521600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.86 c choco : 1801.0 7.68/7.86 c mistral : 4.54 7.68/7.86 c abscon : 1801.0 7.68/7.86 c 7.68/7.86 c 7.68/7.86 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml 7.68/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.005620 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 2.660960 | c 14 > 3.000000 | c 11 > 3.169930 | c 12 > 3.502500 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.111100 | c 3 > 3.169930 | c 2 > -1.000000 | c 10 > 5.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 88.888900 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.339850 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.86 c choco : 1.13 7.68/7.86 c mistral : 0.02 7.68/7.86 c abscon : 1.49 7.68/7.86 c 7.68/7.86 c 7.68/7.87 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml 7.68/7.87 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.464530 | c 33 > 60.000000 | c 15 > 20.218500 | c 34 > 20.000000 | c 16 > 100.000000 | c 13 > 13.204400 | c 14 > 12.708000 | c 11 > 11.036200 | c 12 > 11.253500 | c 21 > 1.414210 | c 20 > 92.535500 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.662700 | c 1 > 11.036200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.036200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.87 c choco : 1801.0 7.68/7.87 c mistral : 0.25 7.68/7.87 c abscon : 1801.0 7.68/7.87 c 7.68/7.87 c 7.68/7.87 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml 7.68/7.88 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.769230 | c 33 > 60.000000 | c 15 > 20.189000 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 11.267000 | c 14 > 13.952600 | c 11 > 11.422100 | c 12 > 9.350030 | c 21 > 1.414210 | c 20 > 94.230800 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.092800 | c 1 > 11.422100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.422100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.88 c choco : 1801.0 7.68/7.88 c mistral : 11.66 7.68/7.88 c abscon : 16.56 7.68/7.88 c 7.68/7.88 c 7.68/7.88 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml 7.68/7.88 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.656010 | c 33 > 60.000000 | c 15 > 19.889800 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 14.236200 | c 14 > 13.363900 | c 11 > 11.784600 | c 12 > 12.139700 | c 21 > 1.414210 | c 20 > 95.344000 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.490900 | c 1 > 11.784600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.784600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.90 c choco : 1801.0 7.76/7.90 c mistral : 16.49 7.76/7.90 c abscon : 1801.0 7.76/7.90 c 7.76/7.90 c 7.76/7.90 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml 7.76/7.90 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.597540 | c 33 > 60.000000 | c 15 > 21.043400 | c 34 > 20.000000 | c 16 > 90.000000 | c 13 > 13.730600 | c 14 > 13.581800 | c 11 > 10.884200 | c 12 > 12.360000 | c 21 > 1.414210 | c 20 > 92.402500 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.512700 | c 1 > 10.884200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.884200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.91 c choco : 1801.0 7.76/7.91 c mistral : 64.09 7.76/7.91 c abscon : 1801.0 7.76/7.91 c 7.76/7.91 c 7.76/7.91 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml 7.76/7.91 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.862070 | c 33 > 60.000000 | c 15 > 20.445600 | c 34 > 20.000000 | c 16 > 91.000000 | c 13 > 11.211100 | c 14 > 14.129000 | c 11 > 11.315100 | c 12 > 9.331050 | c 21 > 1.414210 | c 20 > 94.137900 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.987300 | c 1 > 11.315100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.315100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.91 c choco : 1801.0 7.76/7.91 c mistral : 0.54 7.76/7.91 c abscon : 14.27 7.76/7.91 c 7.76/7.91 c 7.76/7.91 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-90-27-3-6_glb.xml 7.76/7.91 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 3.456500 | c 33 > 60.000000 | c 15 > 19.917700 | c 34 > 20.000000 | c 16 > 90.000000 | c 13 > 15.060300 | c 14 > 13.684400 | c 11 > 12.273200 | c 12 > 12.697100 | c 21 > 1.414210 | c 20 > 96.543500 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.034500 | c 1 > 12.273200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.273200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.92 c choco : 1801.0 7.76/7.92 c mistral : 1.7 7.76/7.92 c abscon : 1801.0 7.76/7.92 c 7.76/7.92 c 7.76/7.92 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml 7.76/7.92 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.763260 | c 33 > 60.000000 | c 15 > 20.669300 | c 34 > 20.000000 | c 16 > 80.000000 | c 13 > 14.163300 | c 14 > 13.801900 | c 11 > 10.714200 | c 12 > 12.382000 | c 21 > 1.414210 | c 20 > 92.236700 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.345400 | c 1 > 10.714200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.714200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.93 c choco : 1801.0 7.76/7.93 c mistral : 0.2 7.76/7.93 c abscon : 1801.0 7.76/7.93 c 7.76/7.93 c 7.76/7.93 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml 7.76/7.93 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.970150 | c 33 > 60.000000 | c 15 > 20.445100 | c 34 > 20.000000 | c 16 > 84.000000 | c 13 > 10.967300 | c 14 > 13.729000 | c 11 > 11.199700 | c 12 > 9.361060 | c 21 > 1.414210 | c 20 > 94.029900 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.873400 | c 1 > 11.199700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.199700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.94 c choco : 1801.0 7.76/7.94 c mistral : 1801.0 7.76/7.94 c abscon : 13.53 7.76/7.94 c 7.76/7.94 c 7.76/7.94 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml 7.76/7.94 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.097560 | c 33 > 60.000000 | c 15 > 20.860800 | c 34 > 20.000000 | c 16 > 77.000000 | c 13 > 11.902600 | c 14 > 14.472400 | c 11 > 11.074100 | c 12 > 10.069800 | c 21 > 1.414210 | c 20 > 93.902400 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.749900 | c 1 > 11.074100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.074100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.95 c choco : 1801.0 7.76/7.95 c mistral : 1.6 7.76/7.95 c abscon : 11.26 7.76/7.95 c 7.76/7.95 c 7.76/7.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml 7.76/7.95 c 19 > 58.459200 | c 35 > 31.284000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.075500 | c 15 > 19.950800 | c 34 > 48.836900 | c 16 > 134.000000 | c 13 > 4.497660 | c 14 > 10.391200 | c 11 > 11.696100 | c 12 > 2.707310 | c 21 > 1.411090 | c 20 > 41.540800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.857600 | c 1 > 9.812180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.700400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.912900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.95 c choco : 1801.0 7.76/7.95 c mistral : 0.71 7.76/7.96 c abscon : 1800.1 7.76/7.96 c 7.76/7.96 c 7.76/7.96 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml 7.76/7.96 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.986200 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.425030 | c 14 > 6.475730 | c 11 > 8.558420 | c 12 > 6.436070 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.97 c choco : 19.11 7.76/7.97 c mistral : 25.16 7.76/7.97 c abscon : 28.99 7.76/7.97 c 7.76/7.97 c 7.76/7.97 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml 7.76/7.97 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.948800 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.038620 | c 14 > 6.303780 | c 11 > 8.558420 | c 12 > 6.049780 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.97 c choco : 16.41 7.76/7.97 c mistral : 4.2 7.76/7.97 c abscon : 20.23 7.76/7.97 c 7.76/7.97 c 7.76/7.97 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml 7.76/7.97 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.975460 | c 33 > 60.000000 | c 15 > 21.159200 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 14.354800 | c 14 > 14.459000 | c 11 > 10.521600 | c 12 > 13.063400 | c 21 > 1.414210 | c 20 > 92.024500 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.156100 | c 1 > 10.521600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.521600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.98 c choco : 1801.0 7.76/7.98 c mistral : 1.73 7.76/7.98 c abscon : 1801.0 7.76/7.98 c 7.76/7.98 c 7.76/7.98 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-80-15-3-2_glb.xml 7.76/7.98 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 2.200490 | c 33 > 60.000000 | c 15 > 17.365100 | c 34 > 20.000000 | c 16 > 80.000000 | c 13 > 13.481000 | c 14 > 10.774000 | c 11 > 13.409400 | c 12 > 10.451800 | c 21 > 1.414210 | c 20 > 97.799500 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.260900 | c 1 > 13.409400 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.409400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.98 c choco : 1801.0 7.76/7.98 c mistral : 1801.0 7.76/7.98 c abscon : 0.63 7.76/7.98 c 7.76/7.98 c 7.76/7.98 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-70-30-3-10_glb.xml 7.76/7.98 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 60.000000 | c 15 > 20.902600 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 11.685600 | c 14 > 14.416700 | c 11 > 10.936600 | c 12 > 9.908070 | c 21 > 1.414210 | c 20 > 93.750000 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.614700 | c 1 > 10.936600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.936600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.99 c choco : 1801.0 7.76/7.99 c mistral : 11.53 7.76/7.99 c abscon : 10.67 7.76/7.99 c 7.76/7.99 c 7.76/7.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml 7.76/7.99 c 19 > 39.091900 | c 35 > 43.768600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.854300 | c 15 > 19.496800 | c 34 > 53.144200 | c 16 > 160.000000 | c 13 > 3.581130 | c 14 > 10.985800 | c 11 > 12.007400 | c 12 > 3.551250 | c 21 > 1.397820 | c 20 > 60.908100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.649000 | c 1 > 12.007400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.517500 | c 6 > 6.954200 | c 32 > -1.000000 | c 5 > 18.803500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/8.00 c choco : 24.35 7.76/8.00 c mistral : 3.62 7.76/8.00 c abscon : 12.2411 7.76/8.00 c 7.76/8.00 c 7.76/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml 7.76/8.00 c 19 > 0.000000 | c 35 > 26.343200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.089900 | c 34 > 26.343200 | c 16 > 146.000000 | c 13 > 3.630320 | c 14 > 8.791160 | c 11 > 11.247300 | c 12 > 4.063740 | c 21 > 1.410180 | 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 > 15.280800 | c 1 > 11.247300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.280800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.356000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.00 c choco : 10.89 7.82/8.00 c mistral : 4.98 7.82/8.00 c abscon : 7.27989 7.82/8.00 c 7.82/8.00 c 7.82/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 7.82/8.00 c 19 > 0.000000 | c 35 > 32.220000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.767400 | c 34 > 32.220000 | c 16 > 166.000000 | c 13 > 2.574380 | c 14 > 9.920350 | c 11 > 12.191100 | c 12 > 2.458080 | 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 > 14.620300 | c 1 > 12.191100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.620300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.826000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.01 c choco : 16.5 7.82/8.01 c mistral : 4.84 7.82/8.01 c abscon : 6.63899 7.82/8.01 c 7.82/8.01 c 7.82/8.01 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-72-24-3-6_glb.xml 7.82/8.01 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.318940 | c 33 > 60.000000 | c 15 > 20.877800 | c 34 > 20.000000 | c 16 > 72.000000 | c 13 > 15.759400 | c 14 > 14.282600 | c 11 > 11.661800 | c 12 > 13.426100 | c 21 > 1.414210 | c 20 > 95.681100 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.403500 | c 1 > 11.661800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.661800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.01 c choco : 1801.0 7.82/8.01 c mistral : 3.07 7.82/8.01 c abscon : 1801.0 7.82/8.01 c 7.82/8.01 c 7.82/8.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml 7.82/8.01 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.779300 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 8.497930 | c 14 > 10.999300 | c 11 > 11.494900 | c 12 > 5.398850 | c 21 > 1.331250 | 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.683000 | c 1 > 10.118900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.683000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.671300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.02 c choco : 3.95 7.82/8.02 c mistral : 1.4 7.82/8.02 c abscon : 385.752 7.82/8.02 c 7.82/8.02 c 7.82/8.02 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-70-35-4-15_glb.xml 7.82/8.02 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.130690 | c 33 > 60.000000 | c 15 > 20.273800 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 12.698900 | c 14 > 13.022900 | c 11 > 11.299200 | c 12 > 10.515100 | c 21 > 1.414210 | c 20 > 94.869300 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.012600 | c 1 > 11.299200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.299200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.02 c choco : 1801.0 7.82/8.02 c mistral : 2.44 7.82/8.02 c abscon : 1801.0 7.82/8.02 c 7.82/8.02 c 7.82/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml 7.82/8.03 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.666100 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 12.584100 | c 14 > 12.282800 | c 11 > 11.418900 | c 12 > 8.622250 | c 21 > 1.373350 | 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 > 14.085700 | c 1 > 11.418900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.085700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.206500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.03 c choco : 24.54 7.82/8.03 c mistral : 2.61 7.82/8.03 c abscon : 1239.19 7.82/8.03 c 7.82/8.03 c 7.82/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml 7.82/8.03 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.558200 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 0.606331 | c 14 > 9.525520 | c 11 > 11.422600 | c 12 > 0.996843 | c 21 > 1.326020 | 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.574600 | c 1 > 10.092800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.574600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.560300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.04 c choco : 3.78 7.82/8.04 c mistral : 1.05 7.82/8.04 c abscon : 1800.08 7.82/8.04 c 7.82/8.04 c 7.82/8.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml 7.82/8.04 c 19 > 0.000000 | c 35 > 2.033900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.406780 | c 15 > 19.897300 | c 34 > 3.661020 | c 16 > 120.000000 | c 13 > 7.464060 | c 14 > 10.204600 | c 11 > 12.481800 | c 12 > 3.376420 | c 21 > 1.392570 | 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 > 15.190400 | c 1 > 12.481800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.190400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.926500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.04 c choco : 15.99 7.82/8.04 c mistral : 52.33 7.82/8.04 c abscon : 1800.11 7.82/8.04 c 7.82/8.04 c 7.82/8.04 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 7.82/8.04 c 19 > 0.000000 | c 35 > 29.996200 | c 17 > 0.000000 | c 18 > 20.042000 | c 33 > 0.000000 | c 15 > 19.566800 | c 34 > 39.988700 | c 16 > 37.000000 | c 13 > 5.571470 | c 14 > 7.768180 | c 11 > 11.418900 | c 12 > 3.305980 | c 21 > 2.234270 | c 20 > 79.958000 | c 22 > 11.489100 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 6.169930 | c 10 > 14.956500 | c 1 > 11.379400 | c 0 > -1.000000 | c 30 > 99.700600 | c 7 > 11.811400 | c 6 > 14.640200 | c 32 > 0.299401 | c 5 > 18.619500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.05 c choco : 21.79 7.82/8.05 c mistral : 1801.0 7.82/8.05 c abscon : 1801.0 7.82/8.05 c 7.82/8.05 c 7.82/8.05 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 7.82/8.05 c 19 > 0.000000 | c 35 > 29.996000 | c 17 > 0.000000 | c 18 > 20.044400 | c 33 > 0.000000 | c 15 > 19.716100 | c 34 > 39.988100 | c 16 > 36.000000 | c 13 > 5.535640 | c 14 > 7.876520 | c 11 > 11.339900 | c 12 > 3.293490 | c 21 > 2.225000 | c 20 > 79.955600 | c 22 > 11.269400 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 6.129280 | c 10 > 14.861700 | c 1 > 11.299200 | c 0 > -1.000000 | c 30 > 99.683500 | c 7 > 11.733000 | c 6 > 14.541600 | c 32 > 0.316456 | c 5 > 18.490400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.06 c choco : 21.51 7.82/8.06 c mistral : 1801.0 7.82/8.06 c abscon : 1801.0 7.82/8.06 c 7.82/8.06 c 7.82/8.06 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-60-30-3-12_glb.xml 7.82/8.06 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 8.256880 | c 33 > 60.000000 | c 15 > 20.985500 | c 34 > 20.000000 | c 16 > 60.000000 | c 13 > 13.027000 | c 14 > 14.700000 | c 11 > 10.299200 | c 12 > 11.970200 | c 21 > 1.414210 | c 20 > 91.743100 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.938110 | c 1 > 10.299200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.299200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.06 c choco : 1801.0 7.82/8.06 c mistral : 1.03 7.82/8.06 c abscon : 1801.0 7.82/8.06 c 7.82/8.06 c 7.82/8.06 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-63-27-3-9_glb.xml 7.82/8.06 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.435640 | c 33 > 60.000000 | c 15 > 21.279400 | c 34 > 20.000000 | c 16 > 63.000000 | c 13 > 12.359700 | c 14 > 14.844100 | c 11 > 10.784600 | c 12 > 10.556100 | c 21 > 1.414210 | c 20 > 93.564400 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.465600 | c 1 > 10.784600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.784600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.07 c choco : 1801.0 7.82/8.07 c mistral : 0.27 7.82/8.07 c abscon : 9.51 7.82/8.07 c 7.82/8.07 c 7.82/8.07 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 7.82/8.07 c 19 > 0.000000 | c 35 > 29.995800 | c 17 > 0.000000 | c 18 > 20.047000 | c 33 > 0.000000 | c 15 > 19.771700 | c 34 > 39.987400 | c 16 > 35.000000 | c 13 > 5.498790 | c 14 > 7.643860 | c 11 > 11.258600 | c 12 > 3.280590 | c 21 > 2.215160 | c 20 > 79.953000 | c 22 > 11.045400 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 6.087460 | c 10 > 14.763600 | c 1 > 11.216700 | c 0 > -1.000000 | c 30 > 99.665000 | c 7 > 11.652400 | c 6 > 14.439300 | c 32 > 0.335008 | c 5 > 18.357000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.07 c choco : 20.27 7.82/8.07 c mistral : 1801.0 7.82/8.07 c abscon : 1801.0 7.82/8.07 c 7.82/8.07 c 7.82/8.08 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml 7.82/8.08 c 19 > 0.000000 | c 35 > 27.000000 | c 17 > 0.000000 | c 18 > 55.307300 | c 33 > 54.000000 | c 15 > 18.401000 | c 34 > 27.000000 | c 16 > 83.000000 | c 13 > 5.933720 | c 14 > 6.554590 | c 11 > 7.523560 | c 12 > 5.699080 | c 21 > 5.564910 | c 20 > 44.692700 | c 22 > 9.000000 | c 23 > 95.105800 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 18.181800 | c 3 > 7.179910 | c 2 > 3.169930 | c 10 > 9.529430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.169930 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.506600 | c 31 > 81.818200 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.08 c choco : 25.56 7.82/8.08 c mistral : 0.86 7.82/8.08 c abscon : 14.29 7.82/8.08 c 7.82/8.08 c 7.82/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 7.82/8.08 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.023400 | c 34 > 0.000000 | c 16 > 231.000000 | c 13 > 0.672413 | c 14 > 8.299210 | c 11 > 9.290020 | c 12 > 1.306170 | 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 > 11.255000 | c 1 > 8.317410 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.255000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.331200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.82/8.09 c choco : 2.44 7.82/8.09 c mistral : 0.44 7.82/8.09 c abscon : 1.3238 7.82/8.09 c 7.82/8.09 c 7.82/8.09 c Length: 40 7.82/8.09 c 72.05936206353273 90.44812889393069 106.70704821613802 121.40505583423577 134.25600356806206 145.21268898829157 155.19608018167727 157.99218130468293 162.62324422325426 164.67893343428085 167.51526647448347 168.74545189942603 168.95978820075206 170.49380379148914 173.65126859293426 173.67190693801055 173.67979910808137 177.05456158835614 178.09437271080492 178.48110289700168 178.51530656457055 178.78301063982283 179.93276326981 180.62734764697262 180.72255418208016 180.8525689698211 181.46162479167518 181.5995450297302 181.69178218089667 181.78628972667192 182.18705279557463 182.23092053334173 182.92201969791878 183.4049147626816 184.08642617465318 184.217744018826 184.35327268501908 184.7780650194591 185.06160496150247 186.4397239310552 7.82/8.09 c 7.82/8.09 c 1.0 0.8614981734779887 0.7675089581262866 0.6986081807300183 0.6477647693823437 0.6099190103076043 0.5790909924135299 0.5710076652692643 0.5581047782552871 0.5525623128383482 0.5450933906521601 0.5419163535673889 0.5413666000950139 0.537464311387558 0.5296067069930889 0.5295561025258472 0.5295367537695268 0.5213906286624015 0.5189309645807262 0.5180220680344494 0.5179418355088301 0.5173147318220582 0.5146385837775096 0.5130352531214905 0.5128162631172298 0.5125175104559464 0.51112262211683 0.5108078044042793 0.5105974795457852 0.5103821571670621 0.5094710881998199 0.5093715595738189 0.5078086864598852 0.5067223322014213 0.5051970418952247 0.5049041940348338 0.5046023115528854 0.5036584450774554 0.5030303966545154 0.5 7.88/8.11 c 7.88/8.11 c solver 0 7.88/8.11 c before 0.0 seconds: {} 0 7.88/8.11 c before 18.0 seconds: {5, 6, 8, 10, 13, 16, 17, 22, 23, 24, 25, 26, 36, 38, 39} 7952 7.88/8.11 c before 36.0 seconds: {4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 36, 38, 39} 9636 7.88/8.11 c before 72.0 seconds: {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 36, 38, 39} 10334 7.88/8.11 c before 396.0 seconds: {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 28, 36, 38, 39} 10845 7.88/8.11 c before 1242.0 seconds: {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 28, 30, 36, 38, 39} 11354 7.88/8.11 c 7.88/8.11 c solver 1 7.88/8.11 c before 0.0 seconds: {} 0 7.88/8.11 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 38, 39} 17217 7.88/8.11 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 38, 39} 17735 7.88/8.11 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 18243 7.88/8.11 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 18785 7.88/8.11 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 19785 7.88/8.11 c 7.88/8.11 c solver 2 7.88/8.11 c before 0.0 seconds: {} 0 7.88/8.11 c before 18.0 seconds: {1, 3, 4, 5, 6, 8, 20, 25, 26, 28, 31, 32, 39} 7524 7.88/8.11 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 8, 19, 20, 24, 25, 26, 28, 30, 31, 32, 33, 34, 37, 38, 39} 11850 7.88/8.11 c 7.88/8.11 cTotal time: 82 7.88/8.11 c 1476.0 seconds unused 7.88/8.11 c 0 c 2 c 7 7.88/8.11 c 16 c 0 c 17 7.88/8.11 c 7 c 3 c 0 7.88/8.11 c is solver0 dominated by: 7.88/8.11 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false) 7.88/8.11 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false) 7.88/8.11 c is dominated? false 7.88/8.11 c 7.88/8.11 c is solver1 dominated by: 7.88/8.11 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true) 7.88/8.11 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false) 7.88/8.11 c is dominated? false 7.88/8.11 c 7.88/8.11 c is solver2 dominated by: 7.88/8.11 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true) 7.88/8.11 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true) 7.88/8.11 c is dominated? false 7.88/8.11 c 7.88/8.11 c Number of non-dominated solvers: 3 7.88/8.11 c remove dominated solvers 7.88/8.11 c solver 0 is not dominated by another solver 7.88/8.11 c solver 1 is not dominated by another solver 7.88/8.11 c solver 2 is not dominated by another solver 7.88/8.11 c 7.88/8.11 c solver 0: 1242.0 7.88/8.11 c 7.88/8.11 c+ 69/82 of 18 7.88/8.11 c 7.88/8.11 c solver 1: 198.0 7.88/8.11 c 7.88/8.11 c+ 11/82 of 18 7.88/8.11 c 7.88/8.11 c solver 2: 36.0 7.88/8.11 c 7.88/8.11 c+ 2/82 of 18 7.88/8.11 c run abscon for 1512.0 seconds {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 28, 30, 36, 38, 39} 11354 7.88/8.11 c run mistral for 234.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 19785 7.88/8.11 c run choco for 36.0 seconds {1, 2, 3, 4, 5, 6, 8, 19, 20, 24, 25, 26, 28, 30, 31, 32, 33, 34, 37, 38, 39} 11850 7.88/8.11 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.88/8.11 c On Instance: HOME/instance-1069829-1215161873.xml 7.88/8.11 c Running for: 1512 seconds 94.51/94.88 s SAT 94.51/94.88 v 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 94.51/94.88 d ASSIGNMENTS 2835970 94.51/94.88 d CHECKS 17509706
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-1069829-1215161873/watcher-1069829-1215161873 -o /tmp/evaluation-result-1069829-1215161873/solver-1069829-1215161873 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069829-1215161873.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/72 11239 /proc/meminfo: memFree=1620080/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=18572 CPUtime=0 /proc/11239/stat : 11239 (runsolver) R 11237 11239 11111 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 639120935 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 231493659943 0 0 4096 24578 0 0 0 17 1 0 0 /proc/11239/statm: 4643 292 257 25 0 2626 0 [startup+0.10399 s] /proc/loadavg: 2.00 2.00 2.00 4/72 11239 /proc/meminfo: memFree=1620080/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5360 CPUtime=0 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 639120935 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.203001 s] /proc/loadavg: 2.00 2.00 2.00 4/72 11239 /proc/meminfo: memFree=1620080/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5360 CPUtime=0 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 639120935 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.303018 s] /proc/loadavg: 2.00 2.00 2.00 4/72 11239 /proc/meminfo: memFree=1620080/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5360 CPUtime=0 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 639120935 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701074 s] /proc/loadavg: 2.00 2.00 2.00 4/72 11239 /proc/meminfo: memFree=1620080/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5360 CPUtime=0 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 639120935 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.5012 s] /proc/loadavg: 2.00 2.00 2.00 3/74 11243 /proc/meminfo: memFree=1619232/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5364 CPUtime=1.47 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 354 858 0 0 0 0 146 1 16 0 1 0 639120935 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1341 242 199 169 0 52 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 5364 [startup+3.10244 s] /proc/loadavg: 2.00 2.00 2.00 3/82 11255 /proc/meminfo: memFree=1611808/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5364 CPUtime=1.47 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 381 1194 0 0 0 0 146 1 18 0 1 0 639120935 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1341 242 199 169 0 52 0 [pid=11247] ppid=11239 vsize=197004 CPUtime=1.57 /proc/11247/stat : 11247 (java) S 11239 11239 11111 0 -1 0 5066 0 1 0 151 6 0 0 18 0 9 0 639121085 201732096 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11247/statm: 49251 4253 1679 9 0 43833 0 [pid=11247/tid=11248] ppid=11239 vsize=197004 CPUtime=1.26 /proc/11247/task/11248/stat : 11248 (java) R 11239 11239 11111 0 -1 64 2739 0 1 0 124 2 0 0 25 0 9 0 639121086 201732096 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4126455060 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11249] ppid=11239 vsize=197004 CPUtime=0.13 /proc/11247/task/11249/stat : 11249 (java) S 11239 11239 11111 0 -1 64 987 0 0 0 11 2 0 0 16 0 9 0 639121088 201732096 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11250] ppid=11239 vsize=197004 CPUtime=0 /proc/11247/task/11250/stat : 11250 (java) S 11239 11239 11111 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 639121088 201732096 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11251] ppid=11239 vsize=197004 CPUtime=0 /proc/11247/task/11251/stat : 11251 (java) S 11239 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 639121088 201732096 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11252] ppid=11239 vsize=197004 CPUtime=0 /proc/11247/task/11252/stat : 11252 (java) S 11239 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 639121090 201732096 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11253] ppid=11239 vsize=197004 CPUtime=0.14 /proc/11247/task/11253/stat : 11253 (java) S 11239 11239 11111 0 -1 64 616 0 0 0 14 0 0 0 16 0 9 0 639121090 201732096 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11254] ppid=11239 vsize=197004 CPUtime=0 /proc/11247/task/11254/stat : 11254 (java) S 11239 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 639121090 201732096 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11255] ppid=11239 vsize=197004 CPUtime=0 /proc/11247/task/11255/stat : 11255 (java) S 11239 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 639121090 201732096 4253 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) 202368 [startup+6.30191 s] /proc/loadavg: 2.08 2.02 2.01 3/82 11255 /proc/meminfo: memFree=1599584/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5364 CPUtime=1.47 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 381 1194 0 0 0 0 146 1 18 0 1 0 639120935 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1341 242 199 169 0 52 0 [pid=11247] ppid=11239 vsize=197116 CPUtime=4.74 /proc/11247/stat : 11247 (java) S 11239 11239 11111 0 -1 0 9852 0 1 0 457 17 0 0 18 0 9 0 639121085 201846784 8168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11247/statm: 49279 8168 2541 9 0 43861 0 [pid=11247/tid=11248] ppid=11239 vsize=197116 CPUtime=3.79 /proc/11247/task/11248/stat : 11248 (java) R 11239 11239 11111 0 -1 64 3526 0 1 0 373 6 0 0 25 0 9 0 639121086 201846784 8168 996147200 134512640 134550740 4294955968 18446744073709551615 4126471863 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11249] ppid=11239 vsize=197116 CPUtime=0.75 /proc/11247/task/11249/stat : 11249 (java) S 11239 11239 11111 0 -1 64 4971 0 0 0 66 9 0 0 16 0 9 0 639121088 201846784 8168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11250] ppid=11239 vsize=197116 CPUtime=0 /proc/11247/task/11250/stat : 11250 (java) S 11239 11239 11111 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 639121088 201846784 8168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11251] ppid=11239 vsize=197116 CPUtime=0 /proc/11247/task/11251/stat : 11251 (java) S 11239 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 639121088 201846784 8168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11252] ppid=11239 vsize=197116 CPUtime=0 /proc/11247/task/11252/stat : 11252 (java) S 11239 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 639121090 201846784 8168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11253] ppid=11239 vsize=197116 CPUtime=0.17 /proc/11247/task/11253/stat : 11253 (java) S 11239 11239 11111 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 639121090 201846784 8168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11254] ppid=11239 vsize=197116 CPUtime=0 /proc/11247/task/11254/stat : 11254 (java) S 11239 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 639121090 201846784 8168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11255] ppid=11239 vsize=197116 CPUtime=0 /proc/11247/task/11255/stat : 11255 (java) S 11239 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 639121090 201846784 8168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202480 [startup+12.7029 s] /proc/loadavg: 2.07 2.02 2.00 3/94 11267 /proc/meminfo: memFree=1558144/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5364 CPUtime=1.47 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 381 1194 0 0 0 0 146 1 18 0 1 0 639120935 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1341 242 199 169 0 52 0 [pid=11247] ppid=11239 vsize=197440 CPUtime=6.42 /proc/11247/stat : 11247 (java) S 11239 11239 11111 0 -1 0 14035 0 1 0 617 25 0 0 18 0 10 0 639121085 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11247/statm: 49360 9535 2544 9 0 43942 0 [pid=11257] ppid=11247 vsize=5356 CPUtime=0 /proc/11257/stat : 11257 (abscon) S 11247 11239 11111 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 639121747 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11257/statm: 1339 237 196 169 0 50 0 [pid=11258] ppid=11257 vsize=655904 CPUtime=4.56 /proc/11258/stat : 11258 (java) S 11257 11239 11111 0 -1 0 11247 0 1 0 449 7 0 0 18 0 9 0 639121748 671645696 10565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11258/statm: 163976 10565 2611 9 0 158504 0 [pid=11258/tid=11260] ppid=11257 vsize=655904 CPUtime=4.29 /proc/11258/task/11260/stat : 11260 (java) R 11257 11239 11111 0 -1 64 8879 0 1 0 424 5 0 0 25 0 9 0 639121748 671645696 10565 996147200 134512640 134550740 4294955808 18446744073709551615 4126601370 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11261] ppid=11257 vsize=655904 CPUtime=0.03 /proc/11258/task/11261/stat : 11261 (java) S 11257 11239 11111 0 -1 64 1157 0 0 0 3 0 0 0 16 0 9 0 639121750 671645696 10565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11262] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11262/stat : 11262 (java) S 11257 11239 11111 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 639121750 671645696 10565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11263] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11263/stat : 11263 (java) S 11257 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 639121750 671645696 10565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11264] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11264/stat : 11264 (java) S 11257 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 639121752 671645696 10565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11265] ppid=11257 vsize=655904 CPUtime=0.21 /proc/11258/task/11265/stat : 11265 (java) S 11257 11239 11111 0 -1 64 666 0 0 0 21 0 0 0 15 0 9 0 639121752 671645696 10565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11266] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11266/stat : 11266 (java) S 11257 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 639121752 671645696 10565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11267] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11267/stat : 11267 (java) S 11257 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 639121752 671645696 10565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11259] ppid=11257 vsize=7044 CPUtime=0 /proc/11259/stat : 11259 (translate) S 11257 11239 11111 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 639121748 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231493828690 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/11259/statm: 1761 213 182 1 0 41 0 [pid=11247/tid=11248] ppid=11239 vsize=197440 CPUtime=5.04 /proc/11247/task/11248/stat : 11248 (java) S 11239 11239 11111 0 -1 64 3968 0 1 0 494 10 0 0 25 0 10 0 639121086 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11247/tid=11249] ppid=11239 vsize=197440 CPUtime=1.11 /proc/11247/task/11249/stat : 11249 (java) S 11239 11239 11111 0 -1 64 8573 0 0 0 98 13 0 0 16 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11250] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11250/stat : 11250 (java) S 11239 11239 11111 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11251] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11251/stat : 11251 (java) S 11239 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11252] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11252/stat : 11252 (java) S 11239 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11253] ppid=11239 vsize=197440 CPUtime=0.23 /proc/11247/task/11253/stat : 11253 (java) S 11239 11239 11111 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11254] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11254/stat : 11254 (java) S 11239 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11255] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11255/stat : 11255 (java) S 11239 11239 11111 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11256] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11256/stat : 11256 (java) S 11239 11239 11111 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 639121747 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 871108 [startup+25.5037 s] /proc/loadavg: 2.06 2.01 2.00 3/94 11267 /proc/meminfo: memFree=1558016/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5364 CPUtime=1.47 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 381 1194 0 0 0 0 146 1 18 0 1 0 639120935 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1341 242 199 169 0 52 0 [pid=11247] ppid=11239 vsize=197440 CPUtime=6.42 /proc/11247/stat : 11247 (java) S 11239 11239 11111 0 -1 0 14035 0 1 0 617 25 0 0 18 0 10 0 639121085 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11247/statm: 49360 9535 2544 9 0 43942 0 [pid=11257] ppid=11247 vsize=5356 CPUtime=0 /proc/11257/stat : 11257 (abscon) S 11247 11239 11111 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 639121747 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11257/statm: 1339 237 196 169 0 50 0 [pid=11258] ppid=11257 vsize=655904 CPUtime=17.36 /proc/11258/stat : 11258 (java) S 11257 11239 11111 0 -1 0 11252 0 1 0 1729 7 0 0 18 0 9 0 639121748 671645696 10569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11258/statm: 163976 10569 2611 9 0 158504 0 [pid=11258/tid=11260] ppid=11257 vsize=655904 CPUtime=17.08 /proc/11258/task/11260/stat : 11260 (java) R 11257 11239 11111 0 -1 64 8883 0 1 0 1703 5 0 0 25 0 9 0 639121748 671645696 10569 996147200 134512640 134550740 4294955808 18446744073709551615 4126845544 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11261] ppid=11257 vsize=655904 CPUtime=0.03 /proc/11258/task/11261/stat : 11261 (java) S 11257 11239 11111 0 -1 64 1157 0 0 0 3 0 0 0 16 0 9 0 639121750 671645696 10569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11262] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11262/stat : 11262 (java) S 11257 11239 11111 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 639121750 671645696 10569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11263] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11263/stat : 11263 (java) S 11257 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 639121750 671645696 10569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11264] ppid=11257 vsize=655904 CPUtime=0 ################ # More data... # ################ /proc/11258/task/11263/stat : 11263 (java) S 11257 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 639121750 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11264] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11264/stat : 11264 (java) S 11257 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11265] ppid=11257 vsize=655904 CPUtime=0.21 /proc/11258/task/11265/stat : 11265 (java) S 11257 11239 11111 0 -1 64 667 0 0 0 21 0 0 0 16 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11266] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11266/stat : 11266 (java) S 11257 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11267] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11267/stat : 11267 (java) S 11257 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11259] ppid=11257 vsize=7044 CPUtime=0 /proc/11259/stat : 11259 (translate) S 11257 11239 11111 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 639121748 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231493828690 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/11259/statm: 1761 213 182 1 0 41 0 [pid=11247/tid=11248] ppid=11239 vsize=197440 CPUtime=5.04 /proc/11247/task/11248/stat : 11248 (java) S 11239 11239 11111 0 -1 64 3968 0 1 0 494 10 0 0 25 0 10 0 639121086 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11247/tid=11249] ppid=11239 vsize=197440 CPUtime=1.11 /proc/11247/task/11249/stat : 11249 (java) S 11239 11239 11111 0 -1 64 8573 0 0 0 98 13 0 0 16 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11250] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11250/stat : 11250 (java) S 11239 11239 11111 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11251] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11251/stat : 11251 (java) S 11239 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11252] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11252/stat : 11252 (java) S 11239 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11253] ppid=11239 vsize=197440 CPUtime=0.23 /proc/11247/task/11253/stat : 11253 (java) S 11239 11239 11111 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11254] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11254/stat : 11254 (java) S 11239 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11255] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11255/stat : 11255 (java) S 11239 11239 11111 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11256] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11256/stat : 11256 (java) S 11239 11239 11111 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 639121747 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 93.32 Current children cumulated vsize (KiB) 871108 [startup+94.4029 s] /proc/loadavg: 2.02 2.01 2.00 3/94 11267 /proc/meminfo: memFree=1557760/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5364 CPUtime=1.47 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 381 1194 0 0 0 0 146 1 18 0 1 0 639120935 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1341 242 199 169 0 52 0 [pid=11247] ppid=11239 vsize=197440 CPUtime=6.42 /proc/11247/stat : 11247 (java) S 11239 11239 11111 0 -1 0 14035 0 1 0 617 25 0 0 18 0 10 0 639121085 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11247/statm: 49360 9535 2544 9 0 43942 0 [pid=11257] ppid=11247 vsize=5356 CPUtime=0 /proc/11257/stat : 11257 (abscon) S 11247 11239 11111 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 639121747 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11257/statm: 1339 237 196 169 0 50 0 [pid=11258] ppid=11257 vsize=655904 CPUtime=86.22 /proc/11258/stat : 11258 (java) S 11257 11239 11111 0 -1 0 11256 0 1 0 8615 7 0 0 18 0 9 0 639121748 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11258/statm: 163976 10573 2611 9 0 158504 0 [pid=11258/tid=11260] ppid=11257 vsize=655904 CPUtime=85.96 /proc/11258/task/11260/stat : 11260 (java) R 11257 11239 11111 0 -1 64 8887 0 1 0 8590 6 0 0 25 0 9 0 639121748 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4126840126 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11261] ppid=11257 vsize=655904 CPUtime=0.03 /proc/11258/task/11261/stat : 11261 (java) S 11257 11239 11111 0 -1 64 1157 0 0 0 3 0 0 0 16 0 9 0 639121750 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11262] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11262/stat : 11262 (java) S 11257 11239 11111 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 639121750 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11263] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11263/stat : 11263 (java) S 11257 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 639121750 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11264] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11264/stat : 11264 (java) S 11257 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11265] ppid=11257 vsize=655904 CPUtime=0.21 /proc/11258/task/11265/stat : 11265 (java) S 11257 11239 11111 0 -1 64 667 0 0 0 21 0 0 0 16 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11266] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11266/stat : 11266 (java) S 11257 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11267] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11267/stat : 11267 (java) S 11257 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11259] ppid=11257 vsize=7044 CPUtime=0 /proc/11259/stat : 11259 (translate) S 11257 11239 11111 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 639121748 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231493828690 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/11259/statm: 1761 213 182 1 0 41 0 [pid=11247/tid=11248] ppid=11239 vsize=197440 CPUtime=5.04 /proc/11247/task/11248/stat : 11248 (java) S 11239 11239 11111 0 -1 64 3968 0 1 0 494 10 0 0 25 0 10 0 639121086 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11247/tid=11249] ppid=11239 vsize=197440 CPUtime=1.11 /proc/11247/task/11249/stat : 11249 (java) S 11239 11239 11111 0 -1 64 8573 0 0 0 98 13 0 0 16 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11250] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11250/stat : 11250 (java) S 11239 11239 11111 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11251] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11251/stat : 11251 (java) S 11239 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11252] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11252/stat : 11252 (java) S 11239 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11253] ppid=11239 vsize=197440 CPUtime=0.23 /proc/11247/task/11253/stat : 11253 (java) S 11239 11239 11111 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11254] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11254/stat : 11254 (java) S 11239 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11255] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11255/stat : 11255 (java) S 11239 11239 11111 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11256] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11256/stat : 11256 (java) S 11239 11239 11111 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 639121747 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 94.11 Current children cumulated vsize (KiB) 871108 [startup+94.8029 s] /proc/loadavg: 2.02 2.01 2.00 3/94 11267 /proc/meminfo: memFree=1557760/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5364 CPUtime=1.47 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 381 1194 0 0 0 0 146 1 18 0 1 0 639120935 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1341 242 199 169 0 52 0 [pid=11247] ppid=11239 vsize=197440 CPUtime=6.42 /proc/11247/stat : 11247 (java) S 11239 11239 11111 0 -1 0 14035 0 1 0 617 25 0 0 18 0 10 0 639121085 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11247/statm: 49360 9535 2544 9 0 43942 0 [pid=11257] ppid=11247 vsize=5356 CPUtime=0 /proc/11257/stat : 11257 (abscon) S 11247 11239 11111 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 639121747 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11257/statm: 1339 237 196 169 0 50 0 [pid=11258] ppid=11257 vsize=655904 CPUtime=86.62 /proc/11258/stat : 11258 (java) S 11257 11239 11111 0 -1 0 11256 0 1 0 8655 7 0 0 18 0 9 0 639121748 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11258/statm: 163976 10573 2611 9 0 158504 0 [pid=11258/tid=11260] ppid=11257 vsize=655904 CPUtime=86.36 /proc/11258/task/11260/stat : 11260 (java) R 11257 11239 11111 0 -1 64 8887 0 1 0 8630 6 0 0 25 0 9 0 639121748 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4126837681 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11261] ppid=11257 vsize=655904 CPUtime=0.03 /proc/11258/task/11261/stat : 11261 (java) S 11257 11239 11111 0 -1 64 1157 0 0 0 3 0 0 0 16 0 9 0 639121750 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11262] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11262/stat : 11262 (java) S 11257 11239 11111 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 639121750 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11263] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11263/stat : 11263 (java) S 11257 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 639121750 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11264] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11264/stat : 11264 (java) S 11257 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11265] ppid=11257 vsize=655904 CPUtime=0.21 /proc/11258/task/11265/stat : 11265 (java) S 11257 11239 11111 0 -1 64 667 0 0 0 21 0 0 0 16 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11266] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11266/stat : 11266 (java) S 11257 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11258/tid=11267] ppid=11257 vsize=655904 CPUtime=0 /proc/11258/task/11267/stat : 11267 (java) S 11257 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 639121752 671645696 10573 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11259] ppid=11257 vsize=7044 CPUtime=0 /proc/11259/stat : 11259 (translate) S 11257 11239 11111 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 639121748 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231493828690 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/11259/statm: 1761 213 182 1 0 41 0 [pid=11247/tid=11248] ppid=11239 vsize=197440 CPUtime=5.04 /proc/11247/task/11248/stat : 11248 (java) S 11239 11239 11111 0 -1 64 3968 0 1 0 494 10 0 0 25 0 10 0 639121086 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11247/tid=11249] ppid=11239 vsize=197440 CPUtime=1.11 /proc/11247/task/11249/stat : 11249 (java) S 11239 11239 11111 0 -1 64 8573 0 0 0 98 13 0 0 16 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11250] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11250/stat : 11250 (java) S 11239 11239 11111 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11251] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11251/stat : 11251 (java) S 11239 11239 11111 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 639121088 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11252] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11252/stat : 11252 (java) S 11239 11239 11111 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11253] ppid=11239 vsize=197440 CPUtime=0.23 /proc/11247/task/11253/stat : 11253 (java) S 11239 11239 11111 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11254] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11254/stat : 11254 (java) S 11239 11239 11111 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11255] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11255/stat : 11255 (java) S 11239 11239 11111 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 639121090 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11256] ppid=11239 vsize=197440 CPUtime=0 /proc/11247/task/11256/stat : 11256 (java) S 11239 11239 11111 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 639121747 202178560 9535 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 94.51 Current children cumulated vsize (KiB) 871108 [startup+94.903 s] /proc/loadavg: 2.02 2.01 2.00 3/94 11267 /proc/meminfo: memFree=1557760/2055920 swapFree=4180808/4192956 [pid=11239] ppid=11237 vsize=5364 CPUtime=1.47 /proc/11239/stat : 11239 (hydra) S 11237 11239 11111 0 -1 4194304 381 1194 0 0 0 0 146 1 18 0 1 0 639120935 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11239/statm: 1341 242 199 169 0 52 0 [pid=11247] ppid=11239 vsize=197440 CPUtime=93.11 /proc/11247/stat : 11247 (java) S 11239 11239 11111 0 -1 0 14103 11965 1 1 617 25 8660 9 18 0 9 0 639121085 202178560 9537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11247/statm: 49360 9537 2545 9 0 43942 0 [pid=11247/tid=11248] ppid=11239 vsize=197440 CPUtime=91.73 /proc/11247/task/11248/stat : 11248 (java) S 11239 11239 11111 0 -1 64 4017 11965 1 1 494 10 8660 9 16 0 9 0 639121086 202178560 9537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11247/tid=11249] ppid=11239 vsize=197440 CPUtime=87.8 /proc/11247/task/11249/stat : 11249 (java) S 11239 11239 11111 0 -1 64 8582 11965 0 1 98 13 8660 9 16 0 9 0 639121088 202178560 9537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11247/tid=11250] ppid=11239 vsize=197440 CPUtime=86.69 /proc/11247/task/11250/stat : 11250 (java) S 11239 11239 11111 0 -1 64 11 11965 0 1 0 0 8660 9 16 0 9 0 639121088 202178560 9537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11251] ppid=11239 vsize=197440 CPUtime=86.69 /proc/11247/task/11251/stat : 11251 (java) S 11239 11239 11111 0 -1 64 5 11965 0 1 0 0 8660 9 15 0 9 0 639121088 202178560 9537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11252] ppid=11239 vsize=197440 CPUtime=86.69 /proc/11247/task/11252/stat : 11252 (java) S 11239 11239 11111 0 -1 64 1 11965 0 1 0 0 8660 9 18 0 9 0 639121090 202178560 9537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11253] ppid=11239 vsize=197440 CPUtime=86.92 /proc/11247/task/11253/stat : 11253 (java) S 11239 11239 11111 0 -1 64 670 11965 0 1 23 0 8660 9 16 0 9 0 639121090 202178560 9537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11254] ppid=11239 vsize=197440 CPUtime=86.69 /proc/11247/task/11254/stat : 11254 (java) S 11239 11239 11111 0 -1 64 0 11965 0 1 0 0 8660 9 19 0 9 0 639121090 202178560 9537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11247/tid=11255] ppid=11239 vsize=197440 CPUtime=86.69 /proc/11247/task/11255/stat : 11255 (java) S 11239 11239 11111 0 -1 64 29 11965 0 1 0 0 8660 9 15 0 9 0 639121090 202178560 9537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 94.58 Current children cumulated vsize (KiB) 202804 Child status: 0 Real time (s): 94.911 CPU time (s): 94.6196 CPU user time (s): 94.2487 CPU system time (s): 0.370943 CPU usage (%): 99.6929 Max. virtual memory (cumulated for all children) (KiB): 871108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 94.2487 system time used= 0.370943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27684 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= 13816 involuntary context switches= 17351 runsolver used 0.241963 second user time and 1.18282 second system time The end
Begin job on node39 at 2008-07-04 10:57:53 IDJOB=1069829 IDBENCH=55710 IDSOLVER=366 FILE ID=node39/1069829-1215161873 PBS_JOBID= 7881476 Free space on /tmp= 66540 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t2001-13queen13-1111217374.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069829-1215161873/watcher-1069829-1215161873 -o /tmp/evaluation-result-1069829-1215161873/solver-1069829-1215161873 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069829-1215161873.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= c95be151eab59dc22ba4b85af34f31fd RANDOM SEED=597480889 node39.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.267 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.267 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: 1620560 kB Buffers: 17896 kB Cached: 141388 kB SwapCached: 5956 kB Active: 352608 kB Inactive: 29672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1620560 kB SwapTotal: 4192956 kB SwapFree: 4180808 kB Dirty: 24316 kB Writeback: 0 kB Mapped: 230516 kB Slab: 38024 kB Committed_AS: 1124060 kB PageTables: 2140 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66516 MiB End job on node39 at 2008-07-04 10:59:28