Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 427.657 | 427.558 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 13635700 |
CHECKS | 89258400 |
Name | csp/pseudoGLB/ normalized-t2001-13queen13-1111213670.xml |
MD5SUM | e6ccc455043935d60c5f6e555861c1fd |
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.46862 |
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.38/1.48 HOME/cpHydra_k_40/hydra: line 6: 5424 Segmentation fault (core dumped) ${HOME}/cpHydra_k_40/src/mistral/bin/xsolve $1 -fe 1 -t 2 2>${cpHydraHome}/temp_case1 >${cpHydraHome}/temp_sol 6.63/6.57 c CASE TO CLASSIFY: 6.63/6.57 c Case: 0 6.63/6.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 18.722000 | c 34 > -1.000000 | c 16 > 169.000000 | c 13 > 13.327700 | c 14 > 12.427800 | c 11 > 8.076820 | c 12 > 13.797200 | 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 6.63/6.58 c choco : 1801.0 6.63/6.58 c mistral : 1801.0 6.63/6.58 c abscon : 1801.0 6.63/6.58 c 6.63/6.58 c 6.73/6.65 c List of same ones: 40 6.73/6.65 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml 6.73/6.65 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 6.73/6.65 c choco : 1801.0 6.73/6.65 c mistral : 197.92 6.73/6.65 c abscon : 1801.0 6.73/6.65 c 6.73/6.65 c 6.73/6.65 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml 6.73/6.65 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 6.73/6.66 c choco : 12.89 6.73/6.66 c mistral : 7.43 6.73/6.66 c abscon : 1801.0 6.73/6.66 c 6.73/6.66 c 6.73/6.66 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml 6.73/6.66 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 6.73/6.66 c choco : 30.19 6.73/6.66 c mistral : 1.82 6.73/6.66 c abscon : 1801.0 6.73/6.66 c 6.73/6.66 c 6.73/6.66 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml 6.73/6.66 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 6.73/6.66 c choco : 8.91 6.73/6.66 c mistral : 0.14 6.73/6.66 c abscon : 62.66 6.73/6.66 c 6.73/6.66 c 6.73/6.66 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml 6.73/6.66 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 6.73/6.67 c choco : 3.57 6.73/6.67 c mistral : 0.47 6.73/6.67 c abscon : 35.91 6.73/6.67 c 6.73/6.67 c 6.73/6.67 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml 6.73/6.67 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 6.73/6.67 c choco : 8.05 6.73/6.67 c mistral : 0.17 6.73/6.67 c abscon : 3.99 6.73/6.67 c 6.73/6.67 c 6.73/6.67 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml 6.73/6.67 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 6.73/6.68 c choco : 1.16 6.73/6.68 c mistral : 0.02 6.73/6.68 c abscon : 1.71 6.73/6.68 c 6.73/6.68 c 6.73/6.68 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 6.73/6.68 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 6.73/6.68 c choco : 1801.0 6.73/6.68 c mistral : 4.54 6.73/6.68 c abscon : 1801.0 6.73/6.68 c 6.73/6.68 c 6.73/6.68 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml 6.73/6.68 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 6.73/6.69 c choco : 1.13 6.73/6.69 c mistral : 0.02 6.73/6.69 c abscon : 1.49 6.73/6.69 c 6.73/6.69 c 6.73/6.69 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml 6.73/6.69 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 6.73/6.69 c choco : 1801.0 6.73/6.69 c mistral : 0.25 6.73/6.69 c abscon : 1801.0 6.73/6.69 c 6.73/6.69 c 6.73/6.69 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml 6.73/6.69 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 6.94/6.89 c choco : 1801.0 6.94/6.89 c mistral : 11.66 6.94/6.89 c abscon : 16.56 6.94/6.89 c 6.94/6.89 c 6.94/6.89 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml 6.94/6.89 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 6.94/6.89 c choco : 1801.0 6.94/6.89 c mistral : 16.49 6.94/6.89 c abscon : 1801.0 6.94/6.89 c 6.94/6.89 c 6.94/6.89 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml 6.94/6.89 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 6.94/6.89 c choco : 1801.0 6.94/6.89 c mistral : 64.09 6.94/6.89 c abscon : 1801.0 6.94/6.89 c 6.94/6.89 c 6.94/6.89 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml 6.94/6.89 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 6.94/6.89 c choco : 1801.0 6.94/6.89 c mistral : 0.54 6.94/6.89 c abscon : 14.27 6.94/6.89 c 6.94/6.89 c 6.94/6.89 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-90-27-3-6_glb.xml 6.94/6.89 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 6.94/6.90 c choco : 1801.0 6.94/6.90 c mistral : 1.7 6.94/6.90 c abscon : 1801.0 6.94/6.90 c 6.94/6.90 c 6.94/6.90 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml 6.94/6.90 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.05/6.90 c choco : 1801.0 7.05/6.90 c mistral : 0.2 7.05/6.90 c abscon : 1801.0 7.05/6.90 c 7.05/6.90 c 7.05/6.90 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml 7.05/6.90 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.05/6.90 c choco : 1801.0 7.05/6.90 c mistral : 1801.0 7.05/6.90 c abscon : 13.53 7.05/6.90 c 7.05/6.90 c 7.05/6.90 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml 7.05/6.90 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.05/6.91 c choco : 1801.0 7.05/6.91 c mistral : 1.6 7.05/6.91 c abscon : 11.26 7.05/6.91 c 7.05/6.91 c 7.05/6.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml 7.05/6.91 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.05/6.91 c choco : 1801.0 7.05/6.91 c mistral : 0.71 7.05/6.91 c abscon : 1800.1 7.05/6.91 c 7.05/6.91 c 7.05/6.91 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml 7.05/6.91 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.05/6.91 c choco : 19.11 7.05/6.91 c mistral : 25.16 7.05/6.91 c abscon : 28.99 7.05/6.91 c 7.05/6.91 c 7.05/6.91 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml 7.05/6.91 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.05/6.91 c choco : 16.41 7.05/6.91 c mistral : 4.2 7.05/6.91 c abscon : 20.23 7.05/6.91 c 7.05/6.91 c 7.05/6.91 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml 7.05/6.91 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.05/6.91 c choco : 1801.0 7.05/6.91 c mistral : 1.73 7.05/6.91 c abscon : 1801.0 7.05/6.91 c 7.05/6.91 c 7.05/6.91 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-80-15-3-2_glb.xml 7.05/6.91 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.05/6.92 c choco : 1801.0 7.05/6.92 c mistral : 1801.0 7.05/6.92 c abscon : 0.63 7.05/6.92 c 7.05/6.92 c 7.05/6.92 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-70-30-3-10_glb.xml 7.05/6.92 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.05/6.92 c choco : 1801.0 7.05/6.92 c mistral : 11.53 7.05/6.92 c abscon : 10.67 7.05/6.92 c 7.05/6.92 c 7.05/6.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml 7.05/6.92 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.05/6.92 c choco : 24.35 7.05/6.92 c mistral : 3.62 7.05/6.92 c abscon : 12.2411 7.05/6.92 c 7.05/6.92 c 7.05/6.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml 7.05/6.92 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.05/6.92 c choco : 10.89 7.05/6.92 c mistral : 4.98 7.05/6.92 c abscon : 7.27989 7.05/6.92 c 7.05/6.92 c 7.05/6.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 7.05/6.92 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.05/6.93 c choco : 16.5 7.05/6.93 c mistral : 4.84 7.05/6.93 c abscon : 6.63899 7.05/6.93 c 7.05/6.93 c 7.05/6.93 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-72-24-3-6_glb.xml 7.05/6.93 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.05/6.93 c choco : 1801.0 7.05/6.93 c mistral : 3.07 7.05/6.93 c abscon : 1801.0 7.05/6.93 c 7.05/6.93 c 7.05/6.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml 7.05/6.93 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.05/6.93 c choco : 3.95 7.05/6.93 c mistral : 1.4 7.05/6.93 c abscon : 385.752 7.05/6.93 c 7.05/6.93 c 7.05/6.93 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-70-35-4-15_glb.xml 7.05/6.93 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.05/6.93 c choco : 1801.0 7.05/6.93 c mistral : 2.44 7.05/6.93 c abscon : 1801.0 7.05/6.93 c 7.05/6.93 c 7.05/6.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml 7.05/6.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.05/6.94 c choco : 24.54 7.05/6.94 c mistral : 2.61 7.05/6.94 c abscon : 1239.19 7.05/6.94 c 7.05/6.94 c 7.05/6.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml 7.05/6.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.05/6.94 c choco : 3.78 7.05/6.94 c mistral : 1.05 7.05/6.94 c abscon : 1800.08 7.05/6.94 c 7.05/6.94 c 7.05/6.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml 7.05/6.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.05/6.94 c choco : 15.99 7.05/6.94 c mistral : 52.33 7.05/6.94 c abscon : 1800.11 7.05/6.94 c 7.05/6.94 c 7.05/6.94 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 7.05/6.94 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.05/6.95 c choco : 21.79 7.05/6.95 c mistral : 1801.0 7.05/6.95 c abscon : 1801.0 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 7.05/6.95 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.05/6.95 c choco : 21.51 7.05/6.95 c mistral : 1801.0 7.05/6.95 c abscon : 1801.0 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-60-30-3-12_glb.xml 7.05/6.95 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.05/6.95 c choco : 1801.0 7.05/6.95 c mistral : 1.03 7.05/6.95 c abscon : 1801.0 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-63-27-3-9_glb.xml 7.05/6.95 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.05/6.95 c choco : 1801.0 7.05/6.95 c mistral : 0.27 7.05/6.95 c abscon : 9.51 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 7.05/6.95 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.05/6.95 c choco : 20.27 7.05/6.95 c mistral : 1801.0 7.05/6.95 c abscon : 1801.0 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml 7.05/6.95 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.05/6.95 c choco : 25.56 7.05/6.95 c mistral : 0.86 7.05/6.95 c abscon : 14.29 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 7.05/6.95 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.05/6.96 c choco : 2.44 7.05/6.96 c mistral : 0.44 7.05/6.96 c abscon : 1.3238 7.05/6.96 c 7.05/6.96 c 7.05/6.96 c Length: 40 7.05/6.96 c 72.05475448076483 90.48099934072955 106.7040960334757 121.40010249037644 134.24769568833386 145.2278927350194 155.23817126697156 157.9929969915496 162.66569180682262 164.68243745151545 167.52367113594784 168.74514646348052 168.9598957046405 170.50203944883123 173.64851767399398 173.67103683390906 173.6886078324065 177.0600493140251 178.12573076893494 178.50580300935346 178.54131713468064 178.78034036727584 179.938156655195 180.63334787201478 180.75312390286066 180.8843300638502 181.4961450248757 181.59435589457343 181.71197137904372 181.79101022324923 182.19528295051302 182.27054419779822 182.9472014224153 183.43515743267568 184.1165470142758 184.21847450727006 184.35688080599812 184.80835547196304 185.08868384836282 186.4790325903448 7.05/6.96 c 7.05/6.96 c 1.0 0.861300923413084 0.7675689258018623 0.6986904765008253 0.6478659246928237 0.6099459167799016 0.5790476842003771 0.5710862378617428 0.5580713433371093 0.5526355679634757 0.5451547785425848 0.5420006011877605 0.5414498297041666 0.5375273073362219 0.5296977855158989 0.5296425720452749 0.5295994986891617 0.5214624290381618 0.5189421351589304 0.5180491630784385 0.5179658803258147 0.5174060523573395 0.5147113134525839 0.5131067476373465 0.5128313032110988 0.512529912550124 0.51112919099082 0.510905054659185 0.5106368917503292 0.5104568415468475 0.5095378917673784 0.5093671810938796 0.5078374811437687 0.5067400621266133 0.5052155206926432 0.5049882564426847 0.5046799837664184 0.5036770242001437 0.503056272968566 0.5 7.05/6.97 c 7.05/6.97 c solver 0 7.05/6.97 c before 0.0 seconds: {} 0 7.05/6.97 c before 18.0 seconds: {5, 6, 8, 10, 13, 16, 17, 22, 23, 24, 25, 26, 36, 38, 39} 7952 7.05/6.97 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.05/6.97 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.05/6.97 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} 10846 7.05/6.97 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.05/6.97 c 7.05/6.97 c solver 1 7.05/6.97 c before 0.0 seconds: {} 0 7.05/6.97 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} 17219 7.05/6.97 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.05/6.97 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} 18245 7.05/6.97 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.05/6.97 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.05/6.97 c 7.05/6.97 c solver 2 7.05/6.97 c before 0.0 seconds: {} 0 7.05/6.97 c before 18.0 seconds: {1, 3, 4, 5, 6, 8, 20, 25, 26, 28, 31, 32, 39} 7524 7.05/6.97 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.05/6.97 c 7.05/6.97 cTotal time: 82 7.05/6.97 c 1476.0 seconds unused 7.05/6.97 c 0 c 2 c 7 7.05/6.97 c 16 c 0 c 17 7.05/6.97 c 7 c 3 c 0 7.05/6.97 c is solver0 dominated by: 7.05/6.97 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.05/6.97 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.05/6.97 c is dominated? false 7.05/6.97 c 7.05/6.97 c is solver1 dominated by: 7.05/6.97 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.05/6.97 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.05/6.97 c is dominated? false 7.05/6.97 c 7.05/6.97 c is solver2 dominated by: 7.05/6.97 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.05/6.97 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.05/6.97 c is dominated? false 7.05/6.97 c 7.05/6.97 c Number of non-dominated solvers: 3 7.05/6.97 c remove dominated solvers 7.05/6.97 c solver 0 is not dominated by another solver 7.05/6.97 c solver 1 is not dominated by another solver 7.05/6.97 c solver 2 is not dominated by another solver 7.05/6.97 c 7.05/6.97 c solver 0: 1242.0 7.05/6.97 c 7.05/6.97 c+ 69/82 of 18 7.05/6.97 c 7.05/6.97 c solver 1: 198.0 7.05/6.97 c 7.05/6.97 c+ 11/82 of 18 7.05/6.97 c 7.05/6.97 c solver 2: 36.0 7.05/6.97 c 7.05/6.97 c+ 2/82 of 18 7.05/6.97 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.05/6.97 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.05/6.97 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.05/6.97 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.05/6.97 c On Instance: HOME/instance-1070789-1215167043.xml 7.05/6.97 c Running for: 1512 seconds 427.60/427.51 s UNSATISFIABLE 427.60/427.51 d ASSIGNMENTS 13635694 427.60/427.51 d CHECKS 89258355
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-1070789-1215167043/watcher-1070789-1215167043 -o /tmp/evaluation-result-1070789-1215167043/solver-1070789-1215167043 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1070789-1215167043.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: 0.99 1.00 1.00 3/64 5421 /proc/meminfo: memFree=1783248/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5360 CPUtime=0 /proc/5421/stat : 5421 (hydra) R 5419 5421 5126 0 -1 4194304 311 247 0 0 0 0 0 0 18 0 1 0 1995678396 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612042973 0 0 4100 65536 0 0 0 17 0 0 0 /proc/5421/statm: 1340 236 195 169 0 51 0 [startup+0.0914001 s] /proc/loadavg: 0.99 1.00 1.00 3/64 5421 /proc/meminfo: memFree=1783248/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5360 CPUtime=0 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995678396 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101395 s] /proc/loadavg: 0.99 1.00 1.00 3/64 5421 /proc/meminfo: memFree=1783248/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5360 CPUtime=0 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995678396 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30141 s] /proc/loadavg: 0.99 1.00 1.00 3/64 5421 /proc/meminfo: memFree=1783248/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5360 CPUtime=0 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995678396 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701441 s] /proc/loadavg: 0.99 1.00 1.00 3/64 5421 /proc/meminfo: memFree=1783248/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5360 CPUtime=0 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1995678396 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50251 s] /proc/loadavg: 0.99 1.00 1.00 2/66 5425 /proc/meminfo: memFree=1782464/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5364 CPUtime=1.47 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 381 1194 0 0 0 0 146 1 17 0 1 0 1995678396 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1341 242 199 169 0 52 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 5364 [startup+3.10163 s] /proc/loadavg: 0.99 1.00 1.00 2/74 5437 /proc/meminfo: memFree=1773888/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5364 CPUtime=1.47 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 381 1194 0 0 0 0 146 1 17 0 1 0 1995678396 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1341 242 199 169 0 52 0 [pid=5429] ppid=5421 vsize=197704 CPUtime=1.74 /proc/5429/stat : 5429 (java) S 5421 5421 5126 0 -1 0 6848 0 1 0 169 5 0 0 19 0 9 0 1995678544 202448896 5745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5429/statm: 49426 5745 2541 9 0 44008 0 [pid=5429/tid=5430] ppid=5421 vsize=197704 CPUtime=1.34 /proc/5429/task/5430/stat : 5430 (java) R 5421 5421 5126 0 -1 64 2852 0 1 0 133 1 0 0 16 0 9 0 1995678545 202448896 5745 996147200 134512640 134550740 4294955968 18446744073709551615 4125980768 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5431] ppid=5421 vsize=197704 CPUtime=0.23 /proc/5429/task/5431/stat : 5431 (java) S 5421 5421 5126 0 -1 64 2642 0 0 0 21 2 0 0 16 0 9 0 1995678547 202448896 5745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5432] ppid=5421 vsize=197704 CPUtime=0 /proc/5429/task/5432/stat : 5432 (java) S 5421 5421 5126 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995678547 202448896 5745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5433] ppid=5421 vsize=197704 CPUtime=0 /proc/5429/task/5433/stat : 5433 (java) S 5421 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995678547 202448896 5745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5434] ppid=5421 vsize=197704 CPUtime=0 /proc/5429/task/5434/stat : 5434 (java) S 5421 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995678549 202448896 5745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5435] ppid=5421 vsize=197704 CPUtime=0.14 /proc/5429/task/5435/stat : 5435 (java) S 5421 5421 5126 0 -1 64 629 0 0 0 14 0 0 0 16 0 9 0 1995678549 202448896 5745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5436] ppid=5421 vsize=197704 CPUtime=0 /proc/5429/task/5436/stat : 5436 (java) S 5421 5421 5126 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995678549 202448896 5745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5437] ppid=5421 vsize=197704 CPUtime=0 /proc/5429/task/5437/stat : 5437 (java) S 5421 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995678549 202448896 5745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 203068 [startup+6.30288 s] /proc/loadavg: 0.99 1.00 1.00 2/74 5437 /proc/meminfo: memFree=1759936/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5364 CPUtime=1.47 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 381 1194 0 0 0 0 146 1 17 0 1 0 1995678396 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1341 242 199 169 0 52 0 [pid=5429] ppid=5421 vsize=197816 CPUtime=4.94 /proc/5429/stat : 5429 (java) S 5421 5421 5126 0 -1 0 10806 0 1 0 482 12 0 0 19 0 9 0 1995678544 202563584 8962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5429/statm: 49454 8962 2541 9 0 44036 0 [pid=5429/tid=5430] ppid=5421 vsize=197816 CPUtime=3.99 /proc/5429/task/5430/stat : 5430 (java) R 5421 5421 5126 0 -1 64 3666 0 1 0 396 3 0 0 16 0 9 0 1995678545 202563584 8962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5431] ppid=5421 vsize=197816 CPUtime=0.76 /proc/5429/task/5431/stat : 5431 (java) S 5421 5421 5126 0 -1 64 5762 0 0 0 68 8 0 0 16 0 9 0 1995678547 202563584 8962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5432] ppid=5421 vsize=197816 CPUtime=0 /proc/5429/task/5432/stat : 5432 (java) S 5421 5421 5126 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995678547 202563584 8962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5433] ppid=5421 vsize=197816 CPUtime=0 /proc/5429/task/5433/stat : 5433 (java) S 5421 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995678547 202563584 8962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5434] ppid=5421 vsize=197816 CPUtime=0 /proc/5429/task/5434/stat : 5434 (java) S 5421 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995678549 202563584 8962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5435] ppid=5421 vsize=197816 CPUtime=0.16 /proc/5429/task/5435/stat : 5435 (java) S 5421 5421 5126 0 -1 64 653 0 0 0 16 0 0 0 15 0 9 0 1995678549 202563584 8962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5436] ppid=5421 vsize=197816 CPUtime=0 /proc/5429/task/5436/stat : 5436 (java) S 5421 5421 5126 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995678549 202563584 8962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5437] ppid=5421 vsize=197816 CPUtime=0 /proc/5429/task/5437/stat : 5437 (java) S 5421 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995678549 202563584 8962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.41 Current children cumulated vsize (KiB) 203180 [startup+12.7024 s] /proc/loadavg: 0.99 1.00 1.00 2/86 5449 /proc/meminfo: memFree=1721112/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5364 CPUtime=1.47 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 381 1194 0 0 0 0 146 1 17 0 1 0 1995678396 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1341 242 199 169 0 52 0 [pid=5429] ppid=5421 vsize=198156 CPUtime=5.68 /proc/5429/stat : 5429 (java) S 5421 5421 5126 0 -1 0 14070 0 1 0 552 16 0 0 19 0 10 0 1995678544 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5429/statm: 49539 9504 2544 9 0 44121 0 [pid=5439] ppid=5429 vsize=5356 CPUtime=0 /proc/5439/stat : 5439 (abscon) S 5429 5421 5126 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 1995679093 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/5439/statm: 1339 237 196 169 0 50 0 [pid=5440] ppid=5439 vsize=656648 CPUtime=5.89 /proc/5440/stat : 5440 (java) S 5439 5421 5126 0 -1 0 11278 0 1 0 583 6 0 0 18 0 9 0 1995679094 672407552 10595 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5440/statm: 164162 10595 2611 9 0 158690 0 [pid=5440/tid=5442] ppid=5439 vsize=656648 CPUtime=5.63 /proc/5440/task/5442/stat : 5442 (java) R 5439 5421 5126 0 -1 64 8874 0 1 0 558 5 0 0 25 0 9 0 1995679095 672407552 10595 996147200 134512640 134550740 4294955808 18446744073709551615 4126918996 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5443] ppid=5439 vsize=656648 CPUtime=0.03 /proc/5440/task/5443/stat : 5443 (java) S 5439 5421 5126 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995679096 672407552 10595 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5444] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5444/stat : 5444 (java) S 5439 5421 5126 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10595 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5445] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5445/stat : 5445 (java) S 5439 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10595 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5446] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5446/stat : 5446 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995679098 672407552 10595 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5447] ppid=5439 vsize=656648 CPUtime=0.2 /proc/5440/task/5447/stat : 5447 (java) S 5439 5421 5126 0 -1 64 700 0 0 0 20 0 0 0 16 0 9 0 1995679098 672407552 10595 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5448] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5448/stat : 5448 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995679098 672407552 10595 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5449] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5449/stat : 5449 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995679098 672407552 10595 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5441] ppid=5439 vsize=7044 CPUtime=0 /proc/5441/stat : 5441 (translate) S 5439 5421 5126 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1995679094 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 225612365906 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/5441/statm: 1761 213 182 1 0 41 0 [pid=5429/tid=5430] ppid=5421 vsize=198156 CPUtime=4.43 /proc/5429/task/5430/stat : 5430 (java) S 5421 5421 5126 0 -1 64 3883 0 1 0 438 5 0 0 16 0 10 0 1995678545 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=5429/tid=5431] ppid=5421 vsize=198156 CPUtime=1.01 /proc/5429/task/5431/stat : 5431 (java) S 5421 5421 5126 0 -1 64 8667 0 0 0 91 10 0 0 16 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5432] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5432/stat : 5432 (java) S 5421 5421 5126 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5433] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5433/stat : 5433 (java) S 5421 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5434] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5434/stat : 5434 (java) S 5421 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5435] ppid=5421 vsize=198156 CPUtime=0.22 /proc/5429/task/5435/stat : 5435 (java) S 5421 5421 5126 0 -1 64 694 0 0 0 22 0 0 0 16 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5436] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5436/stat : 5436 (java) S 5421 5421 5126 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5437] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5437/stat : 5437 (java) S 5421 5421 5126 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5438] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5438/stat : 5438 (java) S 5421 5421 5126 0 -1 64 71 0 0 0 0 0 0 0 17 0 10 0 1995679093 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.04 Current children cumulated vsize (KiB) 872568 [startup+25.5023 s] /proc/loadavg: 0.99 1.00 1.00 2/86 5449 /proc/meminfo: memFree=1720984/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5364 CPUtime=1.47 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 381 1194 0 0 0 0 146 1 17 0 1 0 1995678396 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1341 242 199 169 0 52 0 [pid=5429] ppid=5421 vsize=198156 CPUtime=5.68 /proc/5429/stat : 5429 (java) S 5421 5421 5126 0 -1 0 14070 0 1 0 552 16 0 0 19 0 10 0 1995678544 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5429/statm: 49539 9504 2544 9 0 44121 0 [pid=5439] ppid=5429 vsize=5356 CPUtime=0 /proc/5439/stat : 5439 (abscon) S 5429 5421 5126 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 1995679093 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/5439/statm: 1339 237 196 169 0 50 0 [pid=5440] ppid=5439 vsize=656648 CPUtime=18.68 /proc/5440/stat : 5440 (java) S 5439 5421 5126 0 -1 0 11281 0 1 0 1862 6 0 0 18 0 9 0 1995679094 672407552 10598 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5440/statm: 164162 10598 2611 9 0 158690 0 [pid=5440/tid=5442] ppid=5439 vsize=656648 CPUtime=18.43 /proc/5440/task/5442/stat : 5442 (java) R 5439 5421 5126 0 -1 64 8876 0 1 0 1838 5 0 0 25 0 9 0 1995679095 672407552 10598 996147200 134512640 134550740 4294955808 18446744073709551615 4126829389 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5443] ppid=5439 vsize=656648 CPUtime=0.03 /proc/5440/task/5443/stat : 5443 (java) S 5439 5421 5126 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995679096 672407552 10598 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5444] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5444/stat : 5444 (java) S 5439 5421 5126 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10598 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5445] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5445/stat : 5445 (java) S 5439 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10598 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5446] ppid=5439 vsize=656648 CPUtime=0 ################ # More data... # ################ [pid=5429/tid=5436] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5436/stat : 5436 (java) S 5421 5421 5126 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5437] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5437/stat : 5437 (java) S 5421 5421 5126 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5438] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5438/stat : 5438 (java) S 5421 5421 5126 0 -1 64 71 0 0 0 0 0 0 0 17 0 10 0 1995679093 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 425.61 Current children cumulated vsize (KiB) 872568 [startup+426.303 s] /proc/loadavg: 1.00 1.00 1.00 2/86 5449 /proc/meminfo: memFree=1720664/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5364 CPUtime=1.47 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 381 1194 0 0 0 0 146 1 17 0 1 0 1995678396 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1341 242 199 169 0 52 0 [pid=5429] ppid=5421 vsize=198156 CPUtime=5.68 /proc/5429/stat : 5429 (java) S 5421 5421 5126 0 -1 0 14070 0 1 0 552 16 0 0 19 0 10 0 1995678544 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5429/statm: 49539 9504 2544 9 0 44121 0 [pid=5439] ppid=5429 vsize=5356 CPUtime=0 /proc/5439/stat : 5439 (abscon) S 5429 5421 5126 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 1995679093 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/5439/statm: 1339 237 196 169 0 50 0 [pid=5440] ppid=5439 vsize=656648 CPUtime=419.26 /proc/5440/stat : 5440 (java) S 5439 5421 5126 0 -1 0 11289 0 1 0 41919 7 0 0 18 0 9 0 1995679094 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5440/statm: 164162 10606 2611 9 0 158690 0 [pid=5440/tid=5442] ppid=5439 vsize=656648 CPUtime=419.01 /proc/5440/task/5442/stat : 5442 (java) R 5439 5421 5126 0 -1 64 8883 0 1 0 41895 6 0 0 25 0 9 0 1995679095 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4126627285 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5443] ppid=5439 vsize=656648 CPUtime=0.03 /proc/5440/task/5443/stat : 5443 (java) S 5439 5421 5126 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995679096 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5444] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5444/stat : 5444 (java) S 5439 5421 5126 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5445] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5445/stat : 5445 (java) S 5439 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5446] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5446/stat : 5446 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995679098 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5447] ppid=5439 vsize=656648 CPUtime=0.2 /proc/5440/task/5447/stat : 5447 (java) S 5439 5421 5126 0 -1 64 702 0 0 0 20 0 0 0 16 0 9 0 1995679098 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5448] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5448/stat : 5448 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995679098 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5449] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5449/stat : 5449 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995679098 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5441] ppid=5439 vsize=7044 CPUtime=0 /proc/5441/stat : 5441 (translate) S 5439 5421 5126 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1995679094 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 225612365906 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/5441/statm: 1761 213 182 1 0 41 0 [pid=5429/tid=5430] ppid=5421 vsize=198156 CPUtime=4.43 /proc/5429/task/5430/stat : 5430 (java) S 5421 5421 5126 0 -1 64 3883 0 1 0 438 5 0 0 16 0 10 0 1995678545 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=5429/tid=5431] ppid=5421 vsize=198156 CPUtime=1.01 /proc/5429/task/5431/stat : 5431 (java) S 5421 5421 5126 0 -1 64 8667 0 0 0 91 10 0 0 16 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5432] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5432/stat : 5432 (java) S 5421 5421 5126 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5433] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5433/stat : 5433 (java) S 5421 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5434] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5434/stat : 5434 (java) S 5421 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5435] ppid=5421 vsize=198156 CPUtime=0.22 /proc/5429/task/5435/stat : 5435 (java) S 5421 5421 5126 0 -1 64 694 0 0 0 22 0 0 0 16 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5436] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5436/stat : 5436 (java) S 5421 5421 5126 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5437] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5437/stat : 5437 (java) R 5421 5421 5126 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5438] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5438/stat : 5438 (java) S 5421 5421 5126 0 -1 64 71 0 0 0 0 0 0 0 17 0 10 0 1995679093 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 426.41 Current children cumulated vsize (KiB) 872568 [startup+427.103 s] /proc/loadavg: 1.00 1.00 1.00 2/86 5449 /proc/meminfo: memFree=1720664/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5364 CPUtime=1.47 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 381 1194 0 0 0 0 146 1 17 0 1 0 1995678396 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1341 242 199 169 0 52 0 [pid=5429] ppid=5421 vsize=198156 CPUtime=5.68 /proc/5429/stat : 5429 (java) S 5421 5421 5126 0 -1 0 14070 0 1 0 552 16 0 0 19 0 10 0 1995678544 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5429/statm: 49539 9504 2544 9 0 44121 0 [pid=5439] ppid=5429 vsize=5356 CPUtime=0 /proc/5439/stat : 5439 (abscon) S 5429 5421 5126 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 1995679093 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/5439/statm: 1339 237 196 169 0 50 0 [pid=5440] ppid=5439 vsize=656648 CPUtime=420.06 /proc/5440/stat : 5440 (java) S 5439 5421 5126 0 -1 0 11289 0 1 0 41999 7 0 0 18 0 9 0 1995679094 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5440/statm: 164162 10606 2611 9 0 158690 0 [pid=5440/tid=5442] ppid=5439 vsize=656648 CPUtime=419.81 /proc/5440/task/5442/stat : 5442 (java) R 5439 5421 5126 0 -1 64 8883 0 1 0 41975 6 0 0 25 0 9 0 1995679095 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4126601784 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5443] ppid=5439 vsize=656648 CPUtime=0.03 /proc/5440/task/5443/stat : 5443 (java) S 5439 5421 5126 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995679096 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5444] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5444/stat : 5444 (java) S 5439 5421 5126 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5445] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5445/stat : 5445 (java) S 5439 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5446] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5446/stat : 5446 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995679098 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5447] ppid=5439 vsize=656648 CPUtime=0.2 /proc/5440/task/5447/stat : 5447 (java) S 5439 5421 5126 0 -1 64 702 0 0 0 20 0 0 0 16 0 9 0 1995679098 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5448] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5448/stat : 5448 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995679098 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5449] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5449/stat : 5449 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995679098 672407552 10606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5441] ppid=5439 vsize=7044 CPUtime=0 /proc/5441/stat : 5441 (translate) S 5439 5421 5126 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1995679094 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 225612365906 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/5441/statm: 1761 213 182 1 0 41 0 [pid=5429/tid=5430] ppid=5421 vsize=198156 CPUtime=4.43 /proc/5429/task/5430/stat : 5430 (java) S 5421 5421 5126 0 -1 64 3883 0 1 0 438 5 0 0 16 0 10 0 1995678545 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=5429/tid=5431] ppid=5421 vsize=198156 CPUtime=1.01 /proc/5429/task/5431/stat : 5431 (java) S 5421 5421 5126 0 -1 64 8667 0 0 0 91 10 0 0 16 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5432] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5432/stat : 5432 (java) S 5421 5421 5126 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5433] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5433/stat : 5433 (java) S 5421 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5434] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5434/stat : 5434 (java) S 5421 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5435] ppid=5421 vsize=198156 CPUtime=0.22 /proc/5429/task/5435/stat : 5435 (java) S 5421 5421 5126 0 -1 64 694 0 0 0 22 0 0 0 16 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5436] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5436/stat : 5436 (java) S 5421 5421 5126 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5437] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5437/stat : 5437 (java) S 5421 5421 5126 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5438] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5438/stat : 5438 (java) S 5421 5421 5126 0 -1 64 71 0 0 0 0 0 0 0 17 0 10 0 1995679093 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 427.21 Current children cumulated vsize (KiB) 872568 [startup+427.503 s] /proc/loadavg: 1.00 1.00 1.00 2/86 5449 /proc/meminfo: memFree=1720664/2055920 swapFree=4180080/4192956 [pid=5421] ppid=5419 vsize=5364 CPUtime=1.47 /proc/5421/stat : 5421 (hydra) S 5419 5421 5126 0 -1 4194304 381 1194 0 0 0 0 146 1 17 0 1 0 1995678396 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5421/statm: 1341 242 199 169 0 52 0 [pid=5429] ppid=5421 vsize=198156 CPUtime=5.68 /proc/5429/stat : 5429 (java) S 5421 5421 5126 0 -1 0 14073 0 1 0 552 16 0 0 19 0 10 0 1995678544 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5429/statm: 49539 9504 2544 9 0 44121 0 [pid=5439] ppid=5429 vsize=5356 CPUtime=0 /proc/5439/stat : 5439 (abscon) S 5429 5421 5126 0 -1 4194304 305 288 0 0 0 0 0 0 16 0 1 0 1995679093 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/5439/statm: 1339 237 196 169 0 50 0 [pid=5440] ppid=5439 vsize=656648 CPUtime=420.45 /proc/5440/stat : 5440 (java) S 5439 5421 5126 0 -1 0 11377 0 1 0 42037 8 0 0 18 0 9 0 1995679094 672407552 10693 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5440/statm: 164162 10693 2611 9 0 158690 0 [pid=5440/tid=5442] ppid=5439 vsize=656648 CPUtime=420.19 /proc/5440/task/5442/stat : 5442 (java) S 5439 5421 5126 0 -1 64 8971 0 1 0 42013 6 0 0 25 0 9 0 1995679095 672407552 10693 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5443] ppid=5439 vsize=656648 CPUtime=0.03 /proc/5440/task/5443/stat : 5443 (java) S 5439 5421 5126 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1995679096 672407552 10693 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5444] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5444/stat : 5444 (java) S 5439 5421 5126 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10693 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5445] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5445/stat : 5445 (java) S 5439 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995679096 672407552 10693 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5446] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5446/stat : 5446 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995679098 672407552 10693 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5447] ppid=5439 vsize=656648 CPUtime=0.2 /proc/5440/task/5447/stat : 5447 (java) S 5439 5421 5126 0 -1 64 702 0 0 0 20 0 0 0 16 0 9 0 1995679098 672407552 10693 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5448] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5448/stat : 5448 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995679098 672407552 10693 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5440/tid=5449] ppid=5439 vsize=656648 CPUtime=0 /proc/5440/task/5449/stat : 5449 (java) S 5439 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995679098 672407552 10693 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5430] ppid=5421 vsize=198156 CPUtime=4.43 /proc/5429/task/5430/stat : 5430 (java) S 5421 5421 5126 0 -1 64 3886 0 1 0 438 5 0 0 16 0 10 0 1995678545 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=5429/tid=5431] ppid=5421 vsize=198156 CPUtime=1.01 /proc/5429/task/5431/stat : 5431 (java) S 5421 5421 5126 0 -1 64 8667 0 0 0 91 10 0 0 16 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5432] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5432/stat : 5432 (java) S 5421 5421 5126 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5433] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5433/stat : 5433 (java) S 5421 5421 5126 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995678547 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5434] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5434/stat : 5434 (java) S 5421 5421 5126 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5435] ppid=5421 vsize=198156 CPUtime=0.22 /proc/5429/task/5435/stat : 5435 (java) S 5421 5421 5126 0 -1 64 694 0 0 0 22 0 0 0 16 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5436] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5436/stat : 5436 (java) S 5421 5421 5126 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5429/tid=5437] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5437/stat : 5437 (java) S 5421 5421 5126 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1995678549 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5429/tid=5438] ppid=5421 vsize=198156 CPUtime=0 /proc/5429/task/5438/stat : 5438 (java) S 5421 5421 5126 0 -1 64 71 0 0 0 0 0 0 0 17 0 10 0 1995679093 202911744 9504 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 427.6 Current children cumulated vsize (KiB) 865524 Child status: 0 Real time (s): 427.558 CPU time (s): 427.657 CPU user time (s): 427.373 CPU system time (s): 0.283956 CPU usage (%): 100.023 Max. virtual memory (cumulated for all children) (KiB): 872568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 427.373 system time used= 0.283956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27745 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= 21204 involuntary context switches= 11478 runsolver used 2.53361 second user time and 3.2825 second system time The end
Begin job on node31 at 2008-07-04 12:24:03 IDJOB=1070789 IDBENCH=55946 IDSOLVER=366 FILE ID=node31/1070789-1215167043 PBS_JOBID= 7881486 Free space on /tmp= 66556 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t2001-13queen13-1111213670.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070789-1215167043/watcher-1070789-1215167043 -o /tmp/evaluation-result-1070789-1215167043/solver-1070789-1215167043 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1070789-1215167043.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= e6ccc455043935d60c5f6e555861c1fd RANDOM SEED=1681454967 node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1783728 kB Buffers: 46576 kB Cached: 163112 kB SwapCached: 6280 kB Active: 137632 kB Inactive: 81044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1783728 kB SwapTotal: 4192956 kB SwapFree: 4180080 kB Dirty: 24312 kB Writeback: 0 kB Mapped: 14380 kB Slab: 39136 kB Committed_AS: 2962480 kB PageTables: 1560 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66532 MiB End job on node31 at 2008-07-04 12:31:11