Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 239.683 | 240.367 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 7544040 |
CHECKS | 47953100 |
Name | csp/pseudoGLB/ normalized-t2001-13queen13-1110976935.xml |
MD5SUM | 5f1941dc35e5292eeaad38c143a9232c |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.84057 |
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.42/1.55 HOME/cpHydra_k_40/hydra: line 6: 22760 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.01/7.42 c CASE TO CLASSIFY: 7.01/7.42 c Case: 0 7.01/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 18.722500 | c 34 > -1.000000 | c 16 > 169.000000 | c 13 > 13.265900 | c 14 > 12.354000 | c 11 > 8.076820 | c 12 > 13.766800 | 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.01/7.43 c choco : 1801.0 7.01/7.43 c mistral : 1801.0 7.01/7.43 c abscon : 1801.0 7.01/7.43 c 7.01/7.43 c 7.10/7.51 c List of same ones: 40 7.10/7.51 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml 7.10/7.51 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.10/7.51 c choco : 1801.0 7.10/7.51 c mistral : 197.92 7.10/7.51 c abscon : 1801.0 7.10/7.51 c 7.10/7.51 c 7.10/7.51 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml 7.10/7.51 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.10/7.52 c choco : 12.89 7.10/7.52 c mistral : 7.43 7.10/7.52 c abscon : 1801.0 7.10/7.52 c 7.10/7.52 c 7.10/7.52 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml 7.10/7.52 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.10/7.53 c choco : 30.19 7.10/7.53 c mistral : 1.82 7.10/7.53 c abscon : 1801.0 7.10/7.53 c 7.10/7.53 c 7.10/7.53 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml 7.10/7.53 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.10/7.54 c choco : 8.91 7.10/7.54 c mistral : 0.14 7.10/7.54 c abscon : 62.66 7.10/7.54 c 7.10/7.54 c 7.10/7.54 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml 7.10/7.54 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.10/7.55 c choco : 3.57 7.10/7.55 c mistral : 0.47 7.10/7.55 c abscon : 35.91 7.10/7.55 c 7.10/7.55 c 7.10/7.55 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml 7.10/7.55 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.10/7.56 c choco : 8.05 7.10/7.56 c mistral : 0.17 7.10/7.56 c abscon : 3.99 7.10/7.56 c 7.10/7.56 c 7.10/7.56 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml 7.10/7.56 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.10/7.57 c choco : 1.16 7.10/7.57 c mistral : 0.02 7.10/7.57 c abscon : 1.71 7.10/7.57 c 7.10/7.57 c 7.10/7.57 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 7.10/7.57 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.10/7.58 c choco : 1801.0 7.10/7.58 c mistral : 4.54 7.10/7.58 c abscon : 1801.0 7.10/7.58 c 7.10/7.58 c 7.10/7.58 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml 7.10/7.58 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.10/7.58 c choco : 1.13 7.10/7.58 c mistral : 0.02 7.10/7.58 c abscon : 1.49 7.10/7.58 c 7.10/7.58 c 7.10/7.58 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml 7.10/7.58 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.10/7.59 c choco : 1801.0 7.10/7.59 c mistral : 0.25 7.10/7.59 c abscon : 1801.0 7.10/7.59 c 7.10/7.59 c 7.10/7.59 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml 7.10/7.59 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.28/7.79 c choco : 1801.0 7.28/7.79 c mistral : 11.66 7.28/7.79 c abscon : 16.56 7.28/7.79 c 7.28/7.79 c 7.28/7.79 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml 7.28/7.79 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.37/7.81 c choco : 1801.0 7.37/7.81 c mistral : 16.49 7.37/7.81 c abscon : 1801.0 7.37/7.81 c 7.37/7.81 c 7.37/7.81 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml 7.37/7.81 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.37/7.82 c choco : 1801.0 7.37/7.82 c mistral : 64.09 7.37/7.82 c abscon : 1801.0 7.37/7.82 c 7.37/7.82 c 7.37/7.82 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml 7.37/7.82 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.37/7.82 c choco : 1801.0 7.37/7.82 c mistral : 0.54 7.37/7.82 c abscon : 14.27 7.37/7.82 c 7.37/7.82 c 7.37/7.82 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-90-27-3-6_glb.xml 7.37/7.82 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.37/7.83 c choco : 1801.0 7.37/7.83 c mistral : 1.7 7.37/7.83 c abscon : 1801.0 7.37/7.83 c 7.37/7.83 c 7.37/7.83 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml 7.37/7.83 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.37/7.84 c choco : 1801.0 7.37/7.84 c mistral : 0.2 7.37/7.84 c abscon : 1801.0 7.37/7.84 c 7.37/7.84 c 7.37/7.84 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml 7.37/7.84 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.37/7.84 c choco : 1801.0 7.37/7.84 c mistral : 1801.0 7.37/7.84 c abscon : 13.53 7.37/7.84 c 7.37/7.84 c 7.37/7.84 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml 7.37/7.84 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.37/7.85 c choco : 1801.0 7.37/7.85 c mistral : 1.6 7.37/7.85 c abscon : 11.26 7.37/7.85 c 7.37/7.85 c 7.37/7.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml 7.37/7.85 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.37/7.86 c choco : 1801.0 7.37/7.86 c mistral : 0.71 7.37/7.86 c abscon : 1800.1 7.37/7.86 c 7.37/7.86 c 7.37/7.86 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml 7.37/7.86 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.37/7.87 c choco : 19.11 7.37/7.87 c mistral : 25.16 7.37/7.87 c abscon : 28.99 7.37/7.87 c 7.37/7.87 c 7.37/7.87 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml 7.37/7.87 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.37/7.88 c choco : 16.41 7.37/7.88 c mistral : 4.2 7.37/7.88 c abscon : 20.23 7.37/7.88 c 7.37/7.88 c 7.37/7.88 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml 7.37/7.88 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.37/7.88 c choco : 1801.0 7.37/7.88 c mistral : 1.73 7.37/7.88 c abscon : 1801.0 7.37/7.88 c 7.37/7.88 c 7.37/7.88 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-80-15-3-2_glb.xml 7.37/7.88 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.37/7.89 c choco : 1801.0 7.37/7.89 c mistral : 1801.0 7.37/7.89 c abscon : 0.63 7.37/7.89 c 7.37/7.89 c 7.37/7.89 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-70-30-3-10_glb.xml 7.37/7.89 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.37/7.90 c choco : 1801.0 7.37/7.90 c mistral : 11.53 7.37/7.90 c abscon : 10.67 7.37/7.90 c 7.37/7.90 c 7.37/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml 7.37/7.90 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.44/7.90 c choco : 24.35 7.44/7.90 c mistral : 3.62 7.44/7.90 c abscon : 12.2411 7.44/7.90 c 7.44/7.90 c 7.44/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml 7.44/7.90 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.44/7.91 c choco : 10.89 7.44/7.91 c mistral : 4.98 7.44/7.91 c abscon : 7.27989 7.44/7.91 c 7.44/7.91 c 7.44/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 7.44/7.91 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.44/7.91 c choco : 16.5 7.44/7.91 c mistral : 4.84 7.44/7.91 c abscon : 6.63899 7.44/7.91 c 7.44/7.91 c 7.44/7.91 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-72-24-3-6_glb.xml 7.44/7.91 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.44/7.92 c choco : 1801.0 7.44/7.92 c mistral : 3.07 7.44/7.92 c abscon : 1801.0 7.44/7.92 c 7.44/7.92 c 7.44/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml 7.44/7.92 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.44/7.92 c choco : 3.95 7.44/7.92 c mistral : 1.4 7.44/7.92 c abscon : 385.752 7.44/7.92 c 7.44/7.92 c 7.44/7.92 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-70-35-4-15_glb.xml 7.44/7.92 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.44/7.93 c choco : 1801.0 7.44/7.93 c mistral : 2.44 7.44/7.93 c abscon : 1801.0 7.44/7.93 c 7.44/7.93 c 7.44/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml 7.44/7.93 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.44/7.94 c choco : 24.54 7.44/7.94 c mistral : 2.61 7.44/7.94 c abscon : 1239.19 7.44/7.94 c 7.44/7.94 c 7.44/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml 7.44/7.94 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.44/7.94 c choco : 3.78 7.44/7.94 c mistral : 1.05 7.44/7.94 c abscon : 1800.08 7.44/7.94 c 7.44/7.94 c 7.44/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml 7.44/7.94 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.44/7.95 c choco : 15.99 7.44/7.95 c mistral : 52.33 7.44/7.95 c abscon : 1800.11 7.44/7.95 c 7.44/7.95 c 7.44/7.95 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 7.44/7.95 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.44/7.96 c choco : 21.79 7.44/7.96 c mistral : 1801.0 7.44/7.96 c abscon : 1801.0 7.44/7.96 c 7.44/7.96 c 7.44/7.96 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 7.44/7.96 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.44/7.96 c choco : 21.51 7.44/7.96 c mistral : 1801.0 7.44/7.96 c abscon : 1801.0 7.44/7.96 c 7.44/7.96 c 7.44/7.96 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-60-30-3-12_glb.xml 7.44/7.96 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.44/7.97 c choco : 1801.0 7.44/7.97 c mistral : 1.03 7.44/7.97 c abscon : 1801.0 7.44/7.97 c 7.44/7.97 c 7.44/7.97 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-63-27-3-9_glb.xml 7.44/7.97 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.44/7.97 c choco : 1801.0 7.44/7.97 c mistral : 0.27 7.44/7.97 c abscon : 9.51 7.44/7.97 c 7.44/7.97 c 7.44/7.97 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 7.44/7.97 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.44/7.98 c choco : 20.27 7.44/7.98 c mistral : 1801.0 7.44/7.98 c abscon : 1801.0 7.44/7.98 c 7.44/7.98 c 7.44/7.98 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml 7.44/7.98 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.44/7.99 c choco : 25.56 7.44/7.99 c mistral : 0.86 7.44/7.99 c abscon : 14.29 7.44/7.99 c 7.44/7.99 c 7.44/7.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 7.44/7.99 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.44/7.99 c choco : 2.44 7.44/7.99 c mistral : 0.44 7.44/7.99 c abscon : 1.3238 7.44/7.99 c 7.44/7.99 c 7.44/8.00 c Length: 40 7.44/8.00 c 72.05633553000943 90.47382031716744 106.70523827952967 121.40165137082734 134.25003303708158 145.22465886111868 155.22838289678725 157.99309391622725 162.65550198919863 164.68207358192421 167.52280168376842 168.7456167141283 168.9603118258634 170.50123713961958 173.6495016468674 173.6716940981316 173.68756878981725 177.05978687735677 178.11995582427335 178.50007557885263 178.53532033942358 178.78143078734158 179.9369979024311 180.63296629330512 180.7475055067729 180.87792161078673 181.48958971553355 181.5958972300173 181.70836868288814 181.7905129584036 182.194131155445 182.26295190358766 182.94261682132952 183.42895636056073 184.11039782515826 184.2190039191823 184.35700983528398 184.8021217949985 185.08257144417786 186.47119739128527 7.49/8.00 c 7.49/8.00 c 1.0 0.8613478926491949 0.7675565028161729 0.6986732883828142 0.64784437555285 0.6099419931692284 0.5790609423887434 0.5710703098878839 0.5580830872823479 0.5526204131423907 0.5451407371173091 0.5419830241639203 0.5414323817936225 0.5375128676064934 0.5296787482030895 0.5296243351224482 0.5295854192465348 0.5214462739602326 0.5189389038906763 0.5180457581083406 0.5179631012168767 0.5173866512052802 0.5146971008781644 0.5130907036615281 0.5128272907669914 0.5125276939139222 0.5111272048291668 0.5108845810762338 0.5106281401098905 0.5104410093563523 0.5095235262047464 0.5093674156201965 0.507830809290581 0.5067369567932976 0.5052121931848282 0.5049700282936562 0.5046626437511723 0.5036737780290164 0.503052715539736 0.5 7.49/8.01 c 7.49/8.01 c solver 0 7.49/8.01 c before 0.0 seconds: {} 0 7.49/8.01 c before 18.0 seconds: {5, 6, 8, 10, 13, 16, 17, 22, 23, 24, 25, 26, 36, 38, 39} 7952 7.49/8.01 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.49/8.01 c before 72.0 seconds: {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 36, 38, 39} 10335 7.49/8.01 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.49/8.01 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} 11355 7.49/8.01 c 7.49/8.01 c solver 1 7.49/8.01 c before 0.0 seconds: {} 0 7.49/8.01 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} 17218 7.49/8.01 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} 17737 7.49/8.01 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} 18244 7.49/8.01 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} 18786 7.49/8.01 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} 19786 7.49/8.01 c 7.49/8.01 c solver 2 7.49/8.01 c before 0.0 seconds: {} 0 7.49/8.01 c before 18.0 seconds: {1, 3, 4, 5, 6, 8, 20, 25, 26, 28, 31, 32, 39} 7524 7.49/8.01 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} 11851 7.49/8.01 c 7.49/8.01 cTotal time: 82 7.49/8.01 c 1476.0 seconds unused 7.49/8.01 c 0 c 2 c 7 7.49/8.01 c 16 c 0 c 17 7.49/8.01 c 7 c 3 c 0 7.49/8.01 c is solver0 dominated by: 7.49/8.01 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.49/8.01 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.49/8.01 c is dominated? false 7.49/8.01 c 7.49/8.01 c is solver1 dominated by: 7.49/8.01 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.49/8.01 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.49/8.01 c is dominated? false 7.49/8.01 c 7.49/8.01 c is solver2 dominated by: 7.49/8.01 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.49/8.01 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.49/8.01 c is dominated? false 7.49/8.01 c 7.49/8.01 c Number of non-dominated solvers: 3 7.49/8.01 c remove dominated solvers 7.49/8.01 c solver 0 is not dominated by another solver 7.49/8.01 c solver 1 is not dominated by another solver 7.49/8.01 c solver 2 is not dominated by another solver 7.49/8.01 c 7.49/8.01 c solver 0: 1242.0 7.49/8.01 c 7.49/8.01 c+ 69/82 of 18 7.49/8.02 c 7.49/8.02 c solver 1: 198.0 7.49/8.02 c 7.49/8.02 c+ 11/82 of 18 7.49/8.02 c 7.49/8.02 c solver 2: 36.0 7.49/8.02 c 7.49/8.02 c+ 2/82 of 18 7.49/8.02 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} 11355 7.49/8.02 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} 19786 7.49/8.02 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} 11851 7.49/8.02 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.49/8.02 c On Instance: HOME/instance-1069765-1215161617.xml 7.49/8.02 c Running for: 1512 seconds 239.62/240.33 s UNSATISFIABLE 239.62/240.33 d ASSIGNMENTS 7544035 239.62/240.33 d CHECKS 47953092
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-1069765-1215161617/watcher-1069765-1215161617 -o /tmp/evaluation-result-1069765-1215161617/solver-1069765-1215161617 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069765-1215161617.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.14 2.40 2.20 4/80 22756 /proc/meminfo: memFree=1849784/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5360 CPUtime=0 /proc/22756/stat : 22756 (hydra) R 22754 22756 20736 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 1995136342 5488640 233 996147200 4194304 4889804 548682068816 18446744073709551615 237788428901 0 2147483391 4100 65536 0 0 0 17 1 0 0 /proc/22756/statm: 1340 233 194 169 0 51 0 [startup+0.0557759 s] /proc/loadavg: 2.14 2.40 2.20 4/80 22756 /proc/meminfo: memFree=1849784/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5360 CPUtime=0 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1995136342 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101777 s] /proc/loadavg: 2.14 2.40 2.20 4/80 22756 /proc/meminfo: memFree=1849784/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5360 CPUtime=0 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1995136342 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301796 s] /proc/loadavg: 2.14 2.40 2.20 4/80 22756 /proc/meminfo: memFree=1849784/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5360 CPUtime=0 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1995136342 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701838 s] /proc/loadavg: 2.14 2.40 2.20 4/80 22756 /proc/meminfo: memFree=1849784/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5360 CPUtime=0 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1995136342 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50192 s] /proc/loadavg: 2.14 2.40 2.20 3/82 22760 /proc/meminfo: memFree=1846952/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5360 CPUtime=0 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1995136342 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1340 236 195 169 0 51 0 [pid=22760] ppid=22756 vsize=4860 CPUtime=1.42 /proc/22760/stat : 22760 (xsolve) R 22756 22756 20736 0 -1 4194304 591 0 8 0 142 0 0 0 25 0 1 0 1995136343 4976640 558 996147200 134512640 135239763 4294956176 18446744073709551615 134797096 0 0 4096 0 0 0 0 17 1 0 0 /proc/22760/statm: 1215 558 425 177 0 118 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 10220 [startup+3.10209 s] /proc/loadavg: 2.14 2.40 2.20 3/90 22772 /proc/meminfo: memFree=1840680/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5364 CPUtime=1.49 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 381 1184 0 10 0 0 148 1 16 0 1 0 1995136342 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1341 242 199 169 0 52 0 [pid=22764] ppid=22756 vsize=197020 CPUtime=1.27 /proc/22764/stat : 22764 (java) S 22756 22756 20736 0 -1 0 4957 0 1 0 120 7 0 0 18 0 9 0 1995136523 201748480 4162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22764/statm: 49255 4162 1679 9 0 43837 0 [pid=22764/tid=22765] ppid=22756 vsize=197020 CPUtime=0.95 /proc/22764/task/22765/stat : 22765 (java) R 22756 22756 20736 0 -1 64 2719 0 1 0 93 2 0 0 25 0 9 0 1995136524 201748480 4162 996147200 134512640 134550740 4294955968 18446744073709551615 4126469808 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22766] ppid=22756 vsize=197020 CPUtime=0.14 /proc/22764/task/22766/stat : 22766 (java) S 22756 22756 20736 0 -1 64 902 0 0 0 12 2 0 0 16 0 9 0 1995136525 201748480 4162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22767] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22767/stat : 22767 (java) S 22756 22756 20736 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995136525 201748480 4162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22768] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22768/stat : 22768 (java) S 22756 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995136525 201748480 4162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22769] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22769/stat : 22769 (java) S 22756 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995136527 201748480 4162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22770] ppid=22756 vsize=197020 CPUtime=0.13 /proc/22764/task/22770/stat : 22770 (java) S 22756 22756 20736 0 -1 64 612 0 0 0 13 0 0 0 16 0 9 0 1995136527 201748480 4162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22771] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22771/stat : 22771 (java) S 22756 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995136528 201748480 4162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22772] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22772/stat : 22772 (java) S 22756 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995136528 201748480 4162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 202384 [startup+6.30142 s] /proc/loadavg: 2.21 2.41 2.21 3/90 22772 /proc/meminfo: memFree=1827112/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5364 CPUtime=1.49 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 381 1184 0 10 0 0 148 1 16 0 1 0 1995136342 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1341 242 199 169 0 52 0 [pid=22764] ppid=22756 vsize=197020 CPUtime=4.43 /proc/22764/stat : 22764 (java) S 22756 22756 20736 0 -1 0 9878 0 1 0 427 16 0 0 18 0 9 0 1995136523 201748480 8188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22764/statm: 49255 8188 2541 9 0 43837 0 [pid=22764/tid=22765] ppid=22756 vsize=197020 CPUtime=3.46 /proc/22764/task/22765/stat : 22765 (java) R 22756 22756 20736 0 -1 64 3530 0 1 0 342 4 0 0 25 0 9 0 1995136524 201748480 8188 996147200 134512640 134550740 4294955968 18446744073709551615 4126488260 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22766] ppid=22756 vsize=197020 CPUtime=0.77 /proc/22764/task/22766/stat : 22766 (java) S 22756 22756 20736 0 -1 64 4996 0 0 0 68 9 0 0 16 0 9 0 1995136525 201748480 8188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22767] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22767/stat : 22767 (java) S 22756 22756 20736 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995136525 201748480 8188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22768] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22768/stat : 22768 (java) S 22756 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995136525 201748480 8188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22769] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22769/stat : 22769 (java) S 22756 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995136527 201748480 8188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22770] ppid=22756 vsize=197020 CPUtime=0.16 /proc/22764/task/22770/stat : 22770 (java) S 22756 22756 20736 0 -1 64 628 0 0 0 16 0 0 0 16 0 9 0 1995136527 201748480 8188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22771] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22771/stat : 22771 (java) S 22756 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995136528 201748480 8188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22772] ppid=22756 vsize=197020 CPUtime=0 /proc/22764/task/22772/stat : 22772 (java) S 22756 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995136528 201748480 8188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 5.92 Current children cumulated vsize (KiB) 202384 [startup+12.7031 s] /proc/loadavg: 2.19 2.40 2.21 3/102 22784 /proc/meminfo: memFree=1785480/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5364 CPUtime=1.49 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 381 1184 0 10 0 0 148 1 16 0 1 0 1995136342 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1341 242 199 169 0 52 0 [pid=22764] ppid=22756 vsize=197344 CPUtime=6.02 /proc/22764/stat : 22764 (java) S 22756 22756 20736 0 -1 0 13959 0 1 0 581 21 0 0 18 0 10 0 1995136523 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22764/statm: 49336 9477 2544 9 0 43918 0 [pid=22774] ppid=22764 vsize=5356 CPUtime=0 /proc/22774/stat : 22774 (abscon) S 22764 22756 20736 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 1995137145 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22774/statm: 1339 237 196 169 0 50 0 [pid=22775] ppid=22774 vsize=655920 CPUtime=4.62 /proc/22775/stat : 22775 (java) S 22774 22756 20736 0 -1 0 11249 0 1 0 457 5 0 0 18 0 9 0 1995137146 671662080 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22775/statm: 163980 10566 2611 9 0 158508 0 [pid=22775/tid=22777] ppid=22774 vsize=655920 CPUtime=4.35 /proc/22775/task/22777/stat : 22777 (java) R 22774 22756 20736 0 -1 64 8881 0 1 0 431 4 0 0 25 0 9 0 1995137146 671662080 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4126825232 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22778] ppid=22774 vsize=655920 CPUtime=0.03 /proc/22775/task/22778/stat : 22778 (java) S 22774 22756 20736 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995137148 671662080 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22779] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22779/stat : 22779 (java) S 22774 22756 20736 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995137148 671662080 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22780] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22780/stat : 22780 (java) S 22774 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995137148 671662080 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22781] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22781/stat : 22781 (java) S 22774 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995137150 671662080 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22782] ppid=22774 vsize=655920 CPUtime=0.21 /proc/22775/task/22782/stat : 22782 (java) S 22774 22756 20736 0 -1 64 666 0 0 0 21 0 0 0 15 0 9 0 1995137150 671662080 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22783] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22783/stat : 22783 (java) S 22774 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995137150 671662080 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22784] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22784/stat : 22784 (java) S 22774 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995137150 671662080 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22776] ppid=22774 vsize=7044 CPUtime=0 /proc/22776/stat : 22776 (translate) S 22774 22756 20736 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995137146 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22776/statm: 1761 213 182 1 0 41 0 [pid=22764/tid=22765] ppid=22756 vsize=197344 CPUtime=4.65 /proc/22764/task/22765/stat : 22765 (java) S 22756 22756 20736 0 -1 64 3898 0 1 0 459 6 0 0 25 0 10 0 1995136524 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22764/tid=22766] ppid=22756 vsize=197344 CPUtime=1.11 /proc/22764/task/22766/stat : 22766 (java) S 22756 22756 20736 0 -1 64 8572 0 0 0 99 12 0 0 16 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22767] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22767/stat : 22767 (java) S 22756 22756 20736 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22768] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22768/stat : 22768 (java) S 22756 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22769] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22769/stat : 22769 (java) S 22756 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995136527 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22770] ppid=22756 vsize=197344 CPUtime=0.23 /proc/22764/task/22770/stat : 22770 (java) S 22756 22756 20736 0 -1 64 668 0 0 0 22 1 0 0 16 0 10 0 1995136527 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22771] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22771/stat : 22771 (java) S 22756 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22772] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22772/stat : 22772 (java) S 22756 22756 20736 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22773] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22773/stat : 22773 (java) S 22756 22756 20736 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995137145 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.13 Current children cumulated vsize (KiB) 871028 [startup+25.5024 s] /proc/loadavg: 2.15 2.38 2.20 3/102 22784 /proc/meminfo: memFree=1785480/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5364 CPUtime=1.49 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 381 1184 0 10 0 0 148 1 16 0 1 0 1995136342 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1341 242 199 169 0 52 0 [pid=22764] ppid=22756 vsize=197344 CPUtime=6.02 /proc/22764/stat : 22764 (java) S 22756 22756 20736 0 -1 0 13959 0 1 0 581 21 0 0 18 0 10 0 1995136523 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22764/statm: 49336 9477 2544 9 0 43918 0 [pid=22774] ppid=22764 vsize=5356 CPUtime=0 /proc/22774/stat : 22774 (abscon) S 22764 22756 20736 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 1995137145 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22774/statm: 1339 237 196 169 0 50 0 [pid=22775] ppid=22774 vsize=655920 CPUtime=17.41 /proc/22775/stat : 22775 (java) S 22774 22756 20736 0 -1 0 11253 0 1 0 1736 5 0 0 18 0 9 0 1995137146 671662080 10570 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22775/statm: 163980 10570 2611 9 0 158508 0 [pid=22775/tid=22777] ppid=22774 vsize=655920 CPUtime=17.15 /proc/22775/task/22777/stat : 22777 (java) R 22774 22756 20736 0 -1 64 8885 0 1 0 1711 4 0 0 25 0 9 0 1995137146 671662080 10570 996147200 134512640 134550740 4294955808 18446744073709551615 4126862952 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22778] ppid=22774 vsize=655920 CPUtime=0.03 /proc/22775/task/22778/stat : 22778 (java) S 22774 22756 20736 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995137148 671662080 10570 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22779] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22779/stat : 22779 (java) S 22774 22756 20736 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995137148 671662080 10570 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=22764/tid=22771] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22771/stat : 22771 (java) S 22756 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22772] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22772/stat : 22772 (java) S 22756 22756 20736 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22773] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22773/stat : 22773 (java) S 22756 22756 20736 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995137145 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 237.64 Current children cumulated vsize (KiB) 871028 [startup+239.103 s] /proc/loadavg: 2.02 2.19 2.16 3/94 22847 /proc/meminfo: memFree=1812680/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5364 CPUtime=1.49 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 381 1184 0 10 0 0 148 1 16 0 1 0 1995136342 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1341 242 199 169 0 52 0 [pid=22764] ppid=22756 vsize=197344 CPUtime=6.02 /proc/22764/stat : 22764 (java) S 22756 22756 20736 0 -1 0 13959 0 1 0 581 21 0 0 18 0 10 0 1995136523 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22764/statm: 49336 9477 2544 9 0 43918 0 [pid=22774] ppid=22764 vsize=5356 CPUtime=0 /proc/22774/stat : 22774 (abscon) S 22764 22756 20736 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 1995137145 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22774/statm: 1339 237 196 169 0 50 0 [pid=22775] ppid=22774 vsize=655920 CPUtime=230.92 /proc/22775/stat : 22775 (java) S 22774 22756 20736 0 -1 0 11259 0 1 0 23084 8 0 0 18 0 9 0 1995137146 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22775/statm: 163980 10576 2611 9 0 158508 0 [pid=22775/tid=22777] ppid=22774 vsize=655920 CPUtime=230.66 /proc/22775/task/22777/stat : 22777 (java) R 22774 22756 20736 0 -1 64 8890 0 1 0 23059 7 0 0 25 0 9 0 1995137146 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4126844285 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22778] ppid=22774 vsize=655920 CPUtime=0.03 /proc/22775/task/22778/stat : 22778 (java) S 22774 22756 20736 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995137148 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22779] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22779/stat : 22779 (java) S 22774 22756 20736 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995137148 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22780] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22780/stat : 22780 (java) S 22774 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995137148 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22781] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22781/stat : 22781 (java) S 22774 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995137150 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22782] ppid=22774 vsize=655920 CPUtime=0.21 /proc/22775/task/22782/stat : 22782 (java) S 22774 22756 20736 0 -1 64 667 0 0 0 21 0 0 0 16 0 9 0 1995137150 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22783] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22783/stat : 22783 (java) S 22774 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995137150 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22784] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22784/stat : 22784 (java) S 22774 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995137150 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22776] ppid=22774 vsize=7044 CPUtime=0 /proc/22776/stat : 22776 (translate) S 22774 22756 20736 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995137146 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22776/statm: 1761 213 182 1 0 41 0 [pid=22764/tid=22765] ppid=22756 vsize=197344 CPUtime=4.65 /proc/22764/task/22765/stat : 22765 (java) S 22756 22756 20736 0 -1 64 3898 0 1 0 459 6 0 0 25 0 10 0 1995136524 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22764/tid=22766] ppid=22756 vsize=197344 CPUtime=1.11 /proc/22764/task/22766/stat : 22766 (java) S 22756 22756 20736 0 -1 64 8572 0 0 0 99 12 0 0 16 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22767] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22767/stat : 22767 (java) S 22756 22756 20736 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22768] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22768/stat : 22768 (java) S 22756 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22769] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22769/stat : 22769 (java) S 22756 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995136527 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22770] ppid=22756 vsize=197344 CPUtime=0.23 /proc/22764/task/22770/stat : 22770 (java) S 22756 22756 20736 0 -1 64 668 0 0 0 22 1 0 0 16 0 10 0 1995136527 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22771] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22771/stat : 22771 (java) S 22756 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22772] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22772/stat : 22772 (java) S 22756 22756 20736 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22773] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22773/stat : 22773 (java) S 22756 22756 20736 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995137145 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 238.43 Current children cumulated vsize (KiB) 871028 [startup+239.903 s] /proc/loadavg: 2.02 2.19 2.16 3/94 22847 /proc/meminfo: memFree=1812680/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5364 CPUtime=1.49 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 381 1184 0 10 0 0 148 1 16 0 1 0 1995136342 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1341 242 199 169 0 52 0 [pid=22764] ppid=22756 vsize=197344 CPUtime=6.02 /proc/22764/stat : 22764 (java) S 22756 22756 20736 0 -1 0 13959 0 1 0 581 21 0 0 18 0 10 0 1995136523 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22764/statm: 49336 9477 2544 9 0 43918 0 [pid=22774] ppid=22764 vsize=5356 CPUtime=0 /proc/22774/stat : 22774 (abscon) S 22764 22756 20736 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 1995137145 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22774/statm: 1339 237 196 169 0 50 0 [pid=22775] ppid=22774 vsize=655920 CPUtime=231.72 /proc/22775/stat : 22775 (java) S 22774 22756 20736 0 -1 0 11259 0 1 0 23164 8 0 0 18 0 9 0 1995137146 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22775/statm: 163980 10576 2611 9 0 158508 0 [pid=22775/tid=22777] ppid=22774 vsize=655920 CPUtime=231.46 /proc/22775/task/22777/stat : 22777 (java) R 22774 22756 20736 0 -1 64 8890 0 1 0 23139 7 0 0 25 0 9 0 1995137146 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4126601360 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22778] ppid=22774 vsize=655920 CPUtime=0.03 /proc/22775/task/22778/stat : 22778 (java) S 22774 22756 20736 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995137148 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22779] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22779/stat : 22779 (java) S 22774 22756 20736 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995137148 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22780] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22780/stat : 22780 (java) S 22774 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995137148 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22781] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22781/stat : 22781 (java) S 22774 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995137150 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22782] ppid=22774 vsize=655920 CPUtime=0.21 /proc/22775/task/22782/stat : 22782 (java) S 22774 22756 20736 0 -1 64 667 0 0 0 21 0 0 0 16 0 9 0 1995137150 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22783] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22783/stat : 22783 (java) S 22774 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995137150 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22784] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22784/stat : 22784 (java) S 22774 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995137150 671662080 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22776] ppid=22774 vsize=7044 CPUtime=0 /proc/22776/stat : 22776 (translate) S 22774 22756 20736 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995137146 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22776/statm: 1761 213 182 1 0 41 0 [pid=22764/tid=22765] ppid=22756 vsize=197344 CPUtime=4.65 /proc/22764/task/22765/stat : 22765 (java) S 22756 22756 20736 0 -1 64 3898 0 1 0 459 6 0 0 25 0 10 0 1995136524 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22764/tid=22766] ppid=22756 vsize=197344 CPUtime=1.11 /proc/22764/task/22766/stat : 22766 (java) S 22756 22756 20736 0 -1 64 8572 0 0 0 99 12 0 0 16 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22767] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22767/stat : 22767 (java) S 22756 22756 20736 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22768] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22768/stat : 22768 (java) S 22756 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22769] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22769/stat : 22769 (java) S 22756 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995136527 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22770] ppid=22756 vsize=197344 CPUtime=0.23 /proc/22764/task/22770/stat : 22770 (java) S 22756 22756 20736 0 -1 64 668 0 0 0 22 1 0 0 16 0 10 0 1995136527 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22771] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22771/stat : 22771 (java) S 22756 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22772] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22772/stat : 22772 (java) S 22756 22756 20736 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22773] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22773/stat : 22773 (java) S 22756 22756 20736 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995137145 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 239.23 Current children cumulated vsize (KiB) 871028 [startup+240.303 s] /proc/loadavg: 2.02 2.19 2.16 3/94 22847 /proc/meminfo: memFree=1812680/2055920 swapFree=4180448/4192956 [pid=22756] ppid=22754 vsize=5364 CPUtime=1.49 /proc/22756/stat : 22756 (hydra) S 22754 22756 20736 0 -1 4194304 381 1184 0 10 0 0 148 1 16 0 1 0 1995136342 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22756/statm: 1341 242 199 169 0 52 0 [pid=22764] ppid=22756 vsize=197344 CPUtime=6.02 /proc/22764/stat : 22764 (java) S 22756 22756 20736 0 -1 0 13963 0 1 0 581 21 0 0 18 0 10 0 1995136523 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22764/statm: 49336 9477 2544 9 0 43918 0 [pid=22774] ppid=22764 vsize=5356 CPUtime=0 /proc/22774/stat : 22774 (abscon) S 22764 22756 20736 0 -1 4194304 305 288 0 0 0 0 0 0 16 0 1 0 1995137145 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/22774/statm: 1339 237 196 169 0 50 0 [pid=22775] ppid=22774 vsize=655920 CPUtime=232.11 /proc/22775/stat : 22775 (java) S 22774 22756 20736 0 -1 0 11348 0 1 0 23203 8 0 0 18 0 9 0 1995137146 671662080 10664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22775/statm: 163980 10664 2611 9 0 158508 0 [pid=22775/tid=22777] ppid=22774 vsize=655920 CPUtime=231.85 /proc/22775/task/22777/stat : 22777 (java) S 22774 22756 20736 0 -1 64 8979 0 1 0 23178 7 0 0 25 0 9 0 1995137146 671662080 10664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22778] ppid=22774 vsize=655920 CPUtime=0.03 /proc/22775/task/22778/stat : 22778 (java) S 22774 22756 20736 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995137148 671662080 10664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22779] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22779/stat : 22779 (java) S 22774 22756 20736 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995137148 671662080 10664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22780] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22780/stat : 22780 (java) S 22774 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995137148 671662080 10664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22781] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22781/stat : 22781 (java) S 22774 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995137150 671662080 10664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22782] ppid=22774 vsize=655920 CPUtime=0.21 /proc/22775/task/22782/stat : 22782 (java) S 22774 22756 20736 0 -1 64 667 0 0 0 21 0 0 0 16 0 9 0 1995137150 671662080 10664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22783] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22783/stat : 22783 (java) S 22774 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995137150 671662080 10664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22775/tid=22784] ppid=22774 vsize=655920 CPUtime=0 /proc/22775/task/22784/stat : 22784 (java) S 22774 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995137150 671662080 10664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22764/tid=22765] ppid=22756 vsize=197344 CPUtime=4.65 /proc/22764/task/22765/stat : 22765 (java) S 22756 22756 20736 0 -1 64 3902 0 1 0 459 6 0 0 16 0 10 0 1995136524 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=22764/tid=22766] ppid=22756 vsize=197344 CPUtime=1.11 /proc/22764/task/22766/stat : 22766 (java) S 22756 22756 20736 0 -1 64 8572 0 0 0 99 12 0 0 16 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22767] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22767/stat : 22767 (java) S 22756 22756 20736 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22768] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22768/stat : 22768 (java) S 22756 22756 20736 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995136525 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22769] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22769/stat : 22769 (java) S 22756 22756 20736 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995136527 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22770] ppid=22756 vsize=197344 CPUtime=0.23 /proc/22764/task/22770/stat : 22770 (java) S 22756 22756 20736 0 -1 64 668 0 0 0 22 1 0 0 16 0 10 0 1995136527 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22771] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22771/stat : 22771 (java) S 22756 22756 20736 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22772] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22772/stat : 22772 (java) S 22756 22756 20736 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1995136528 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22764/tid=22773] ppid=22756 vsize=197344 CPUtime=0 /proc/22764/task/22773/stat : 22773 (java) S 22756 22756 20736 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995137145 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 239.62 Current children cumulated vsize (KiB) 863984 Child status: 0 Real time (s): 240.367 CPU time (s): 239.683 CPU user time (s): 239.343 CPU system time (s): 0.339948 CPU usage (%): 99.7153 Max. virtual memory (cumulated for all children) (KiB): 871028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 239.343 system time used= 0.339948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27593 page faults= 12 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20320 involuntary context switches= 21649 runsolver used 0.818875 second user time and 2.6436 second system time The end
Begin job on node24 at 2008-07-04 10:53:37 IDJOB=1069765 IDBENCH=55691 IDSOLVER=366 FILE ID=node24/1069765-1215161617 PBS_JOBID= 7877430 Free space on /tmp= 66552 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t2001-13queen13-1110976935.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069765-1215161617/watcher-1069765-1215161617 -o /tmp/evaluation-result-1069765-1215161617/solver-1069765-1215161617 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069765-1215161617.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 5f1941dc35e5292eeaad38c143a9232c RANDOM SEED=1730509124 node24.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: 1850264 kB Buffers: 4404 kB Cached: 101172 kB SwapCached: 6556 kB Active: 104992 kB Inactive: 43644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850264 kB SwapTotal: 4192956 kB SwapFree: 4180448 kB Dirty: 24316 kB Writeback: 0 kB Mapped: 59436 kB Slab: 42068 kB Committed_AS: 4281632 kB PageTables: 1908 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= 66528 MiB End job on node24 at 2008-07-04 10:57:38