Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 622.441 | 622.659 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 20147400 |
CHECKS | 110378000 |
Name | csp/pseudoGLB/ normalized-t2001-13queen13-1111219348.xml |
MD5SUM | 5437c57a88c824eaee1ab5469f50c779 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 3.2715 |
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: 10766 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.74/6.67 c CASE TO CLASSIFY: 6.74/6.67 c Case: 0 6.74/6.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 18.757800 | c 34 > -1.000000 | c 16 > 169.000000 | c 13 > 13.008100 | c 14 > 12.419700 | c 11 > 8.076820 | c 12 > 13.493300 | 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.74/6.67 c choco : 1801.0 6.74/6.67 c mistral : 1801.0 6.74/6.67 c abscon : 1801.0 6.74/6.67 c 6.74/6.67 c 7.03/6.93 c List of same ones: 40 7.03/6.93 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml 7.03/6.93 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.03/6.93 c choco : 1801.0 7.03/6.93 c mistral : 197.92 7.03/6.93 c abscon : 1801.0 7.03/6.93 c 7.03/6.93 c 7.03/6.93 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml 7.03/6.93 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.03/6.94 c choco : 12.89 7.03/6.94 c mistral : 7.43 7.03/6.94 c abscon : 1801.0 7.03/6.94 c 7.03/6.94 c 7.03/6.94 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml 7.03/6.94 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.03/6.94 c choco : 30.19 7.03/6.94 c mistral : 1.82 7.03/6.94 c abscon : 1801.0 7.03/6.94 c 7.03/6.94 c 7.03/6.94 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml 7.03/6.94 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.03/6.95 c choco : 8.91 7.03/6.95 c mistral : 0.14 7.03/6.95 c abscon : 62.66 7.03/6.95 c 7.03/6.95 c 7.03/6.95 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml 7.03/6.95 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.03/6.95 c choco : 3.57 7.03/6.95 c mistral : 0.47 7.03/6.95 c abscon : 35.91 7.03/6.95 c 7.03/6.95 c 7.03/6.95 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml 7.03/6.95 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.03/6.95 c choco : 8.05 7.03/6.95 c mistral : 0.17 7.03/6.95 c abscon : 3.99 7.03/6.96 c 7.03/6.96 c 7.03/6.96 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml 7.03/6.96 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.03/6.96 c choco : 1.16 7.03/6.96 c mistral : 0.02 7.03/6.96 c abscon : 1.71 7.03/6.96 c 7.03/6.96 c 7.03/6.96 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 7.03/6.96 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.03/6.96 c choco : 1801.0 7.03/6.96 c mistral : 4.54 7.03/6.96 c abscon : 1801.0 7.03/6.96 c 7.03/6.96 c 7.03/6.96 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml 7.03/6.96 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.03/6.97 c choco : 1.13 7.03/6.97 c mistral : 0.02 7.03/6.97 c abscon : 1.49 7.03/6.97 c 7.03/6.97 c 7.03/6.97 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml 7.03/6.97 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.03/6.97 c choco : 1801.0 7.03/6.97 c mistral : 0.25 7.03/6.97 c abscon : 1801.0 7.03/6.97 c 7.03/6.97 c 7.03/6.97 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml 7.03/6.97 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.03/6.98 c choco : 1801.0 7.03/6.98 c mistral : 11.66 7.03/6.98 c abscon : 16.56 7.03/6.98 c 7.03/6.98 c 7.03/6.98 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml 7.03/6.98 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.03/6.99 c choco : 1801.0 7.03/6.99 c mistral : 16.49 7.03/6.99 c abscon : 1801.0 7.03/6.99 c 7.03/6.99 c 7.03/6.99 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml 7.03/6.99 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.03/6.99 c choco : 1801.0 7.03/6.99 c mistral : 64.09 7.03/6.99 c abscon : 1801.0 7.03/6.99 c 7.03/6.99 c 7.03/6.99 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml 7.03/6.99 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.03/6.99 c choco : 1801.0 7.03/6.99 c mistral : 0.54 7.03/6.99 c abscon : 14.27 7.03/6.99 c 7.03/6.99 c 7.03/6.99 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-90-27-3-6_glb.xml 7.03/6.99 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.03/6.99 c choco : 1801.0 7.03/6.99 c mistral : 1.7 7.03/6.99 c abscon : 1801.0 7.03/6.99 c 7.03/6.99 c 7.03/6.99 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml 7.03/6.99 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.03/6.99 c choco : 1801.0 7.03/6.99 c mistral : 0.2 7.03/6.99 c abscon : 1801.0 7.03/6.99 c 7.03/6.99 c 7.03/6.99 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml 7.03/6.99 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.03/7.00 c choco : 1801.0 7.03/7.00 c mistral : 1801.0 7.03/7.00 c abscon : 13.53 7.03/7.00 c 7.03/7.00 c 7.03/7.00 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml 7.03/7.00 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.16/7.00 c choco : 1801.0 7.16/7.00 c mistral : 1.6 7.16/7.00 c abscon : 11.26 7.16/7.00 c 7.16/7.00 c 7.16/7.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml 7.16/7.00 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.16/7.01 c choco : 1801.0 7.16/7.01 c mistral : 0.71 7.16/7.01 c abscon : 1800.1 7.16/7.01 c 7.16/7.01 c 7.16/7.01 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml 7.16/7.01 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.16/7.01 c choco : 19.11 7.16/7.01 c mistral : 25.16 7.16/7.01 c abscon : 28.99 7.16/7.01 c 7.16/7.01 c 7.16/7.01 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml 7.16/7.01 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.16/7.02 c choco : 16.41 7.16/7.02 c mistral : 4.2 7.16/7.02 c abscon : 20.23 7.16/7.02 c 7.16/7.02 c 7.16/7.02 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml 7.16/7.02 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.16/7.02 c choco : 1801.0 7.16/7.02 c mistral : 1.73 7.16/7.02 c abscon : 1801.0 7.16/7.02 c 7.16/7.02 c 7.16/7.02 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-80-15-3-2_glb.xml 7.16/7.02 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.16/7.02 c choco : 1801.0 7.16/7.02 c mistral : 1801.0 7.16/7.02 c abscon : 0.63 7.16/7.02 c 7.16/7.02 c 7.16/7.02 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-70-30-3-10_glb.xml 7.16/7.02 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.16/7.03 c choco : 1801.0 7.16/7.03 c mistral : 11.53 7.16/7.03 c abscon : 10.67 7.16/7.03 c 7.16/7.03 c 7.16/7.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml 7.16/7.03 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.16/7.03 c choco : 24.35 7.16/7.03 c mistral : 3.62 7.16/7.03 c abscon : 12.2411 7.16/7.03 c 7.16/7.03 c 7.16/7.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml 7.16/7.03 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.16/7.03 c choco : 10.89 7.16/7.03 c mistral : 4.98 7.16/7.03 c abscon : 7.27989 7.16/7.03 c 7.16/7.03 c 7.16/7.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 7.16/7.03 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.16/7.03 c choco : 16.5 7.16/7.03 c mistral : 4.84 7.16/7.03 c abscon : 6.63899 7.16/7.03 c 7.16/7.03 c 7.16/7.03 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-72-24-3-6_glb.xml 7.16/7.03 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.16/7.04 c choco : 1801.0 7.16/7.04 c mistral : 3.07 7.16/7.04 c abscon : 1801.0 7.16/7.04 c 7.16/7.04 c 7.16/7.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml 7.16/7.04 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.16/7.04 c choco : 3.95 7.16/7.04 c mistral : 1.4 7.16/7.04 c abscon : 385.752 7.16/7.04 c 7.16/7.04 c 7.16/7.04 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-70-35-4-15_glb.xml 7.16/7.04 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.16/7.04 c choco : 1801.0 7.16/7.04 c mistral : 2.44 7.16/7.04 c abscon : 1801.0 7.16/7.04 c 7.16/7.04 c 7.16/7.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml 7.16/7.04 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.16/7.04 c choco : 24.54 7.16/7.04 c mistral : 2.61 7.16/7.04 c abscon : 1239.19 7.16/7.04 c 7.16/7.04 c 7.16/7.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml 7.16/7.04 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.16/7.05 c choco : 3.78 7.16/7.05 c mistral : 1.05 7.16/7.05 c abscon : 1800.08 7.16/7.05 c 7.16/7.05 c 7.16/7.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml 7.16/7.05 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.16/7.05 c choco : 15.99 7.16/7.05 c mistral : 52.33 7.16/7.05 c abscon : 1800.11 7.16/7.05 c 7.16/7.05 c 7.16/7.05 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 7.16/7.05 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.16/7.05 c choco : 21.79 7.16/7.05 c mistral : 1801.0 7.16/7.05 c abscon : 1801.0 7.16/7.05 c 7.16/7.05 c 7.16/7.05 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 7.16/7.05 c 19 > 0.000000 | c 35 > 29.996000 | c 17 > 0.000000 | c 18 > 20.044400 | c 33 > 0.000000 | c 15 > 19.716100 | c 34 > 39.988100 | c 16 > 36.000000 | c 13 > 5.535640 | c 14 > 7.876520 | c 11 > 11.339900 | c 12 > 3.293490 | c 21 > 2.225000 | c 20 > 79.955600 | c 22 > 11.269400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 6.129280 | c 10 > 14.861700 | c 1 > 11.299200 | c 0 > -1.000000 | c 30 > 99.683500 | c 7 > 11.733000 | c 6 > 14.541600 | c 32 > 0.316456 | c 5 > 18.490400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.16/7.06 c choco : 21.51 7.16/7.06 c mistral : 1801.0 7.16/7.06 c abscon : 1801.0 7.16/7.06 c 7.16/7.06 c 7.16/7.06 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-60-30-3-12_glb.xml 7.16/7.06 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 8.256880 | c 33 > 60.000000 | c 15 > 20.985500 | c 34 > 20.000000 | c 16 > 60.000000 | c 13 > 13.027000 | c 14 > 14.700000 | c 11 > 10.299200 | c 12 > 11.970200 | c 21 > 1.414210 | c 20 > 91.743100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.938110 | c 1 > 10.299200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.299200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.16/7.06 c choco : 1801.0 7.16/7.06 c mistral : 1.03 7.16/7.06 c abscon : 1801.0 7.16/7.06 c 7.16/7.06 c 7.16/7.06 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-63-27-3-9_glb.xml 7.16/7.06 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.435640 | c 33 > 60.000000 | c 15 > 21.279400 | c 34 > 20.000000 | c 16 > 63.000000 | c 13 > 12.359700 | c 14 > 14.844100 | c 11 > 10.784600 | c 12 > 10.556100 | c 21 > 1.414210 | c 20 > 93.564400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.465600 | c 1 > 10.784600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.784600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.16/7.06 c choco : 1801.0 7.16/7.06 c mistral : 0.27 7.16/7.06 c abscon : 9.51 7.16/7.06 c 7.16/7.06 c 7.16/7.06 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 7.16/7.06 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.16/7.06 c choco : 20.27 7.16/7.06 c mistral : 1801.0 7.16/7.06 c abscon : 1801.0 7.16/7.06 c 7.16/7.06 c 7.16/7.06 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml 7.16/7.06 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.16/7.07 c choco : 25.56 7.16/7.07 c mistral : 0.86 7.16/7.07 c abscon : 14.29 7.16/7.07 c 7.16/7.07 c 7.16/7.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 7.16/7.07 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.16/7.07 c choco : 2.44 7.16/7.07 c mistral : 0.44 7.16/7.07 c abscon : 1.3238 7.16/7.07 c 7.16/7.07 c 7.16/7.07 c Length: 40 7.16/7.07 c 72.05479729555347 90.44755781557122 106.70370546827887 121.40222141918944 134.25300145839384 145.21207850885648 155.19945559594467 157.99153438020593 162.62798775485172 164.67778710928897 167.51201662173136 168.7442595664857 168.95821580859274 170.4904044098107 173.65015726723487 173.67032467374787 173.6767715881646 177.05129329238179 178.09117394435103 178.4831273059224 178.51729625162542 178.7810808476641 179.93351851394863 180.62409821438087 180.71898437969625 180.8509477215309 181.4584404068896 181.598211499797 181.6896965669336 181.78467753639057 182.1854955416251 182.22752778841104 182.9198523912093 183.40442336463562 184.0858196143691 184.2151304356016 184.35000052936533 184.77763719047132 185.06295227188286 186.43746209270407 7.16/7.07 c 7.16/7.07 c 1.0 0.861474663130757 0.7675062573503869 0.6986050368084116 0.6477636307422805 0.6099109402045729 0.579072621465471 0.571001429330551 0.5580843965351978 0.5525581656798635 0.5450949674082208 0.5419126930021207 0.5413639318081589 0.5374663733984547 0.5296032544032103 0.5295538061924888 0.5295380010316276 0.5213925715787037 0.5189327748038496 0.5180116365892817 0.517931490340284 0.5173135942760354 0.5146312944757316 0.5130372563876133 0.5128190056590693 0.5125157810466642 0.5111245002707014 0.510805464496337 0.5105968599951342 0.5103804643232372 0.5094692950420514 0.5093739326522437 0.5078083136716518 0.5067182207659112 0.5051932427502285 0.5049048782733037 0.5046044670824538 0.5036543035460177 0.5030223511709717 0.5 7.16/7.08 c 7.16/7.08 c solver 0 7.16/7.08 c before 0.0 seconds: {} 0 7.16/7.08 c before 18.0 seconds: {5, 6, 8, 10, 13, 16, 17, 22, 23, 24, 25, 26, 36, 38, 39} 7952 7.16/7.08 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.16/7.08 c before 72.0 seconds: {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 36, 38, 39} 10334 7.16/7.08 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.16/7.08 c before 1242.0 seconds: {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 28, 30, 36, 38, 39} 11354 7.16/7.08 c 7.16/7.08 c solver 1 7.16/7.08 c before 0.0 seconds: {} 0 7.16/7.08 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 38, 39} 17217 7.16/7.08 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 38, 39} 17735 7.16/7.08 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 18243 7.16/7.08 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 18785 7.16/7.08 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 19785 7.16/7.08 c 7.16/7.08 c solver 2 7.16/7.08 c before 0.0 seconds: {} 0 7.16/7.08 c before 18.0 seconds: {1, 3, 4, 5, 6, 8, 20, 25, 26, 28, 31, 32, 39} 7524 7.16/7.08 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 8, 19, 20, 24, 25, 26, 28, 30, 31, 32, 33, 34, 37, 38, 39} 11850 7.16/7.08 c 7.16/7.08 cTotal time: 82 7.16/7.08 c 1476.0 seconds unused 7.16/7.08 c 0 c 2 c 7 7.16/7.08 c 16 c 0 c 17 7.16/7.08 c 7 c 3 c 0 7.16/7.08 c is solver0 dominated by: 7.16/7.08 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.16/7.08 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.16/7.08 c is dominated? false 7.16/7.08 c 7.16/7.08 c is solver1 dominated by: 7.16/7.08 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.16/7.08 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.16/7.08 c is dominated? false 7.16/7.08 c 7.16/7.08 c is solver2 dominated by: 7.16/7.08 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.16/7.08 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.16/7.08 c is dominated? false 7.16/7.08 c 7.16/7.08 c Number of non-dominated solvers: 3 7.16/7.08 c remove dominated solvers 7.16/7.08 c solver 0 is not dominated by another solver 7.16/7.08 c solver 1 is not dominated by another solver 7.16/7.08 c solver 2 is not dominated by another solver 7.16/7.08 c 7.16/7.08 c solver 0: 1242.0 7.16/7.08 c 7.16/7.08 c+ 69/82 of 18 7.16/7.08 c 7.16/7.08 c solver 1: 198.0 7.16/7.08 c 7.16/7.08 c+ 11/82 of 18 7.16/7.08 c 7.16/7.08 c solver 2: 36.0 7.16/7.08 c 7.16/7.08 c+ 2/82 of 18 7.16/7.08 c run abscon for 1512.0 seconds {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 28, 30, 36, 38, 39} 11354 7.16/7.08 c run mistral for 234.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 19785 7.16/7.08 c run choco for 36.0 seconds {1, 2, 3, 4, 5, 6, 8, 19, 20, 24, 25, 26, 28, 30, 31, 32, 33, 34, 37, 38, 39} 11850 7.16/7.08 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.16/7.08 c On Instance: HOME/instance-1070405-1215164896.xml 7.16/7.08 c Running for: 1512 seconds 622.40/622.60 s UNSATISFIABLE 622.40/622.60 d ASSIGNMENTS 20147385 622.40/622.60 d CHECKS 110378014
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-1070405-1215164896/watcher-1070405-1215164896 -o /tmp/evaluation-result-1070405-1215164896/solver-1070405-1215164896 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1070405-1215164896.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.94 0.97 1.00 3/64 10763 /proc/meminfo: memFree=1775312/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5360 CPUtime=0 /proc/10763/stat : 10763 (hydra) R 10761 10763 8767 0 -1 4194304 306 247 0 0 0 0 0 0 18 0 1 0 1000944611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 4459254 0 65536 4100 65536 0 0 0 17 0 0 0 /proc/10763/statm: 1340 236 195 169 0 51 0 [startup+0.063123 s] /proc/loadavg: 0.94 0.97 1.00 3/64 10763 /proc/meminfo: memFree=1775312/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5360 CPUtime=0 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1000944611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101121 s] /proc/loadavg: 0.94 0.97 1.00 3/64 10763 /proc/meminfo: memFree=1775312/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5360 CPUtime=0 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1000944611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301136 s] /proc/loadavg: 0.94 0.97 1.00 3/64 10763 /proc/meminfo: memFree=1775312/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5360 CPUtime=0 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1000944611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701168 s] /proc/loadavg: 0.94 0.97 1.00 3/64 10763 /proc/meminfo: memFree=1775312/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5360 CPUtime=0 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1000944611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50124 s] /proc/loadavg: 0.94 0.97 1.00 2/66 10767 /proc/meminfo: memFree=1774528/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5364 CPUtime=1.48 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 381 1194 0 0 0 0 147 1 20 0 1 0 1000944611 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1341 242 199 169 0 52 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5364 [startup+3.10236 s] /proc/loadavg: 0.94 0.97 1.00 2/74 10779 /proc/meminfo: memFree=1766016/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5364 CPUtime=1.48 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 381 1194 0 0 0 0 147 1 20 0 1 0 1000944611 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1341 242 199 169 0 52 0 [pid=10771] ppid=10763 vsize=197812 CPUtime=1.72 /proc/10771/stat : 10771 (java) S 10763 10763 8767 0 -1 0 6813 0 1 0 167 5 0 0 22 0 9 0 1000944760 202559488 5720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10771/statm: 49453 5720 2541 9 0 44035 0 [pid=10771/tid=10772] ppid=10763 vsize=197812 CPUtime=1.33 /proc/10771/task/10772/stat : 10772 (java) R 10763 10763 8767 0 -1 64 2844 0 1 0 132 1 0 0 16 0 9 0 1000944761 202559488 5720 996147200 134512640 134550740 4294955968 18446744073709551615 4126495694 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10771/tid=10773] ppid=10763 vsize=197812 CPUtime=0.22 /proc/10771/task/10773/stat : 10773 (java) S 10763 10763 8767 0 -1 64 2618 0 0 0 20 2 0 0 16 0 9 0 1000944762 202559488 5720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10774] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10774/stat : 10774 (java) S 10763 10763 8767 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1000944762 202559488 5720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10771/tid=10775] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10775/stat : 10775 (java) S 10763 10763 8767 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1000944762 202559488 5720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10771/tid=10776] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10776/stat : 10776 (java) S 10763 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1000944764 202559488 5720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10777] ppid=10763 vsize=197812 CPUtime=0.13 /proc/10771/task/10777/stat : 10777 (java) S 10763 10763 8767 0 -1 64 626 0 0 0 13 0 0 0 15 0 9 0 1000944764 202559488 5720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10778] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10778/stat : 10778 (java) S 10763 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1000944764 202559488 5720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10779] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10779/stat : 10779 (java) S 10763 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1000944764 202559488 5720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.2 Current children cumulated vsize (KiB) 203176 [startup+6.30161 s] /proc/loadavg: 0.94 0.97 1.00 2/74 10779 /proc/meminfo: memFree=1752384/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5364 CPUtime=1.48 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 381 1194 0 0 0 0 147 1 20 0 1 0 1000944611 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1341 242 199 169 0 52 0 [pid=10771] ppid=10763 vsize=197812 CPUtime=4.95 /proc/10771/stat : 10771 (java) S 10763 10763 8767 0 -1 0 10709 0 1 0 485 10 0 0 22 0 9 0 1000944760 202559488 8883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10771/statm: 49453 8883 2541 9 0 44035 0 [pid=10771/tid=10772] ppid=10763 vsize=197812 CPUtime=3.99 /proc/10771/task/10772/stat : 10772 (java) R 10763 10763 8767 0 -1 64 3652 0 1 0 396 3 0 0 16 0 9 0 1000944761 202559488 8883 996147200 134512640 134550740 4294955968 18446744073709551615 4126439466 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10773] ppid=10763 vsize=197812 CPUtime=0.77 /proc/10771/task/10773/stat : 10773 (java) S 10763 10763 8767 0 -1 64 5684 0 0 0 72 5 0 0 16 0 9 0 1000944762 202559488 8883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10771/tid=10774] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10774/stat : 10774 (java) S 10763 10763 8767 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 1000944762 202559488 8883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10771/tid=10775] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10775/stat : 10775 (java) S 10763 10763 8767 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1000944762 202559488 8883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10771/tid=10776] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10776/stat : 10776 (java) S 10763 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1000944764 202559488 8883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10777] ppid=10763 vsize=197812 CPUtime=0.16 /proc/10771/task/10777/stat : 10777 (java) S 10763 10763 8767 0 -1 64 648 0 0 0 16 0 0 0 15 0 9 0 1000944764 202559488 8883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10778] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10778/stat : 10778 (java) S 10763 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1000944764 202559488 8883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10779] ppid=10763 vsize=197812 CPUtime=0 /proc/10771/task/10779/stat : 10779 (java) S 10763 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1000944764 202559488 8883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.43 Current children cumulated vsize (KiB) 203176 [startup+12.7021 s] /proc/loadavg: 0.95 0.97 1.00 2/86 10791 /proc/meminfo: memFree=1712608/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5364 CPUtime=1.48 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 381 1194 0 0 0 0 147 1 20 0 1 0 1000944611 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1341 242 199 169 0 52 0 [pid=10771] ppid=10763 vsize=198156 CPUtime=5.78 /proc/10771/stat : 10771 (java) S 10763 10763 8767 0 -1 0 14159 0 1 0 564 14 0 0 22 0 10 0 1000944760 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10771/statm: 49539 9598 2544 9 0 44121 0 [pid=10781] ppid=10771 vsize=5356 CPUtime=0 /proc/10781/stat : 10781 (abscon) S 10771 10763 8767 0 -1 4194304 306 0 0 0 0 0 0 0 18 0 1 0 1000945320 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/10781/statm: 1339 237 196 169 0 50 0 [pid=10782] ppid=10781 vsize=656752 CPUtime=5.78 /proc/10782/stat : 10782 (java) S 10781 10763 8767 0 -1 0 11295 0 1 0 571 7 0 0 20 0 9 0 1000945321 672514048 10612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10782/statm: 164188 10612 2611 9 0 158716 0 [pid=10782/tid=10784] ppid=10781 vsize=656752 CPUtime=5.51 /proc/10782/task/10784/stat : 10784 (java) R 10781 10763 8767 0 -1 64 8914 0 1 0 546 5 0 0 25 0 9 0 1000945321 672514048 10612 996147200 134512640 134550740 4294955808 18446744073709551615 4126831404 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10785] ppid=10781 vsize=656752 CPUtime=0.03 /proc/10782/task/10785/stat : 10785 (java) S 10781 10763 8767 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1000945322 672514048 10612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10782/tid=10786] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10786/stat : 10786 (java) S 10781 10763 8767 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 1000945323 672514048 10612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10787] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10787/stat : 10787 (java) S 10781 10763 8767 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1000945323 672514048 10612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10788] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10788/stat : 10788 (java) S 10781 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1000945324 672514048 10612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10789] ppid=10781 vsize=656752 CPUtime=0.21 /proc/10782/task/10789/stat : 10789 (java) S 10781 10763 8767 0 -1 64 679 0 0 0 21 0 0 0 16 0 9 0 1000945324 672514048 10612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10790] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10790/stat : 10790 (java) S 10781 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1000945324 672514048 10612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10791] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10791/stat : 10791 (java) S 10781 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1000945325 672514048 10612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10783] ppid=10781 vsize=7044 CPUtime=0 /proc/10783/stat : 10783 (translate) S 10781 10763 8767 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1000945321 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 269028655186 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/10783/statm: 1761 213 182 1 0 41 0 [pid=10771/tid=10772] ppid=10763 vsize=198156 CPUtime=4.52 /proc/10771/task/10772/stat : 10772 (java) S 10763 10763 8767 0 -1 64 3971 0 1 0 447 5 0 0 16 0 10 0 1000944761 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=10771/tid=10773] ppid=10763 vsize=198156 CPUtime=1.01 /proc/10771/task/10773/stat : 10773 (java) S 10763 10763 8767 0 -1 64 8672 0 0 0 94 7 0 0 16 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10774] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10774/stat : 10774 (java) S 10763 10763 8767 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10775] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10775/stat : 10775 (java) S 10763 10763 8767 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10776] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10776/stat : 10776 (java) S 10763 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10777] ppid=10763 vsize=198156 CPUtime=0.21 /proc/10771/task/10777/stat : 10777 (java) S 10763 10763 8767 0 -1 64 688 0 0 0 21 0 0 0 16 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10778] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10778/stat : 10778 (java) S 10763 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10779] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10779/stat : 10779 (java) S 10763 10763 8767 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10780] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10780/stat : 10780 (java) S 10763 10763 8767 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1000945320 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.04 Current children cumulated vsize (KiB) 872672 [startup+25.5021 s] /proc/loadavg: 0.96 0.97 1.00 2/86 10791 /proc/meminfo: memFree=1712480/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5364 CPUtime=1.48 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 381 1194 0 0 0 0 147 1 20 0 1 0 1000944611 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1341 242 199 169 0 52 0 [pid=10771] ppid=10763 vsize=198156 CPUtime=5.78 /proc/10771/stat : 10771 (java) S 10763 10763 8767 0 -1 0 14159 0 1 0 564 14 0 0 22 0 10 0 1000944760 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10771/statm: 49539 9598 2544 9 0 44121 0 [pid=10781] ppid=10771 vsize=5356 CPUtime=0 /proc/10781/stat : 10781 (abscon) S 10771 10763 8767 0 -1 4194304 306 0 0 0 0 0 0 0 18 0 1 0 1000945320 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/10781/statm: 1339 237 196 169 0 50 0 [pid=10782] ppid=10781 vsize=656752 CPUtime=18.58 /proc/10782/stat : 10782 (java) S 10781 10763 8767 0 -1 0 11298 0 1 0 1850 8 0 0 20 0 9 0 1000945321 672514048 10615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10782/statm: 164188 10615 2611 9 0 158716 0 [pid=10782/tid=10784] ppid=10781 vsize=656752 CPUtime=18.31 /proc/10782/task/10784/stat : 10784 (java) R 10781 10763 8767 0 -1 64 8917 0 1 0 1825 6 0 0 25 0 9 0 1000945321 672514048 10615 996147200 134512640 134550740 4294955808 18446744073709551615 4126847424 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10785] ppid=10781 vsize=656752 CPUtime=0.03 /proc/10782/task/10785/stat : 10785 (java) S 10781 10763 8767 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1000945322 672514048 10615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10782/tid=10786] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10786/stat : 10786 (java) S 10781 10763 8767 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 1000945323 672514048 10615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10787] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10787/stat : 10787 (java) S 10781 10763 8767 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1000945323 672514048 10615 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10788] ppid=10781 vsize=656752 CPUtime=0 ################ # More data... # ################ /proc/10782/task/10791/stat : 10791 (java) S 10781 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1000945325 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10783] ppid=10781 vsize=7044 CPUtime=0 /proc/10783/stat : 10783 (translate) S 10781 10763 8767 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1000945321 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 269028655186 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/10783/statm: 1761 213 182 1 0 41 0 [pid=10771/tid=10772] ppid=10763 vsize=198156 CPUtime=4.52 /proc/10771/task/10772/stat : 10772 (java) S 10763 10763 8767 0 -1 64 3971 0 1 0 447 5 0 0 16 0 10 0 1000944761 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=10771/tid=10773] ppid=10763 vsize=198156 CPUtime=1.01 /proc/10771/task/10773/stat : 10773 (java) S 10763 10763 8767 0 -1 64 8672 0 0 0 94 7 0 0 16 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10774] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10774/stat : 10774 (java) S 10763 10763 8767 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10775] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10775/stat : 10775 (java) S 10763 10763 8767 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10776] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10776/stat : 10776 (java) S 10763 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10777] ppid=10763 vsize=198156 CPUtime=0.21 /proc/10771/task/10777/stat : 10777 (java) S 10763 10763 8767 0 -1 64 688 0 0 0 21 0 0 0 16 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10778] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10778/stat : 10778 (java) S 10763 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10779] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10779/stat : 10779 (java) S 10763 10763 8767 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10780] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10780/stat : 10780 (java) S 10763 10763 8767 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1000945320 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 621.31 Current children cumulated vsize (KiB) 872672 [startup+622.302 s] /proc/loadavg: 0.99 0.97 1.00 2/86 10791 /proc/meminfo: memFree=1712032/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5364 CPUtime=1.48 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 381 1194 0 0 0 0 147 1 20 0 1 0 1000944611 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1341 242 199 169 0 52 0 [pid=10771] ppid=10763 vsize=198156 CPUtime=5.78 /proc/10771/stat : 10771 (java) S 10763 10763 8767 0 -1 0 14159 0 1 0 564 14 0 0 22 0 10 0 1000944760 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10771/statm: 49539 9598 2544 9 0 44121 0 [pid=10781] ppid=10771 vsize=5356 CPUtime=0 /proc/10781/stat : 10781 (abscon) S 10771 10763 8767 0 -1 4194304 306 0 0 0 0 0 0 0 18 0 1 0 1000945320 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/10781/statm: 1339 237 196 169 0 50 0 [pid=10782] ppid=10781 vsize=656752 CPUtime=614.84 /proc/10782/stat : 10782 (java) S 10781 10763 8767 0 -1 0 11306 0 1 0 61475 9 0 0 20 0 9 0 1000945321 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10782/statm: 164188 10623 2611 9 0 158716 0 [pid=10782/tid=10784] ppid=10781 vsize=656752 CPUtime=614.58 /proc/10782/task/10784/stat : 10784 (java) R 10781 10763 8767 0 -1 64 8924 0 1 0 61450 8 0 0 25 0 9 0 1000945321 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4126843995 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10785] ppid=10781 vsize=656752 CPUtime=0.03 /proc/10782/task/10785/stat : 10785 (java) S 10781 10763 8767 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1000945322 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10782/tid=10786] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10786/stat : 10786 (java) S 10781 10763 8767 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 1000945323 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10787] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10787/stat : 10787 (java) S 10781 10763 8767 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1000945323 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10788] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10788/stat : 10788 (java) S 10781 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1000945324 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10789] ppid=10781 vsize=656752 CPUtime=0.21 /proc/10782/task/10789/stat : 10789 (java) S 10781 10763 8767 0 -1 64 680 0 0 0 21 0 0 0 16 0 9 0 1000945324 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10790] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10790/stat : 10790 (java) S 10781 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1000945324 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10791] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10791/stat : 10791 (java) S 10781 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1000945325 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10783] ppid=10781 vsize=7044 CPUtime=0 /proc/10783/stat : 10783 (translate) S 10781 10763 8767 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1000945321 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 269028655186 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/10783/statm: 1761 213 182 1 0 41 0 [pid=10771/tid=10772] ppid=10763 vsize=198156 CPUtime=4.52 /proc/10771/task/10772/stat : 10772 (java) S 10763 10763 8767 0 -1 64 3971 0 1 0 447 5 0 0 16 0 10 0 1000944761 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=10771/tid=10773] ppid=10763 vsize=198156 CPUtime=1.01 /proc/10771/task/10773/stat : 10773 (java) S 10763 10763 8767 0 -1 64 8672 0 0 0 94 7 0 0 16 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10774] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10774/stat : 10774 (java) S 10763 10763 8767 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10775] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10775/stat : 10775 (java) S 10763 10763 8767 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10776] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10776/stat : 10776 (java) S 10763 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10777] ppid=10763 vsize=198156 CPUtime=0.21 /proc/10771/task/10777/stat : 10777 (java) S 10763 10763 8767 0 -1 64 688 0 0 0 21 0 0 0 16 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10778] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10778/stat : 10778 (java) S 10763 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10779] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10779/stat : 10779 (java) S 10763 10763 8767 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10780] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10780/stat : 10780 (java) S 10763 10763 8767 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1000945320 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 622.1 Current children cumulated vsize (KiB) 872672 [startup+622.502 s] /proc/loadavg: 0.99 0.97 1.00 2/86 10791 /proc/meminfo: memFree=1712032/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5364 CPUtime=1.48 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 381 1194 0 0 0 0 147 1 20 0 1 0 1000944611 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1341 242 199 169 0 52 0 [pid=10771] ppid=10763 vsize=198156 CPUtime=5.78 /proc/10771/stat : 10771 (java) S 10763 10763 8767 0 -1 0 14159 0 1 0 564 14 0 0 22 0 10 0 1000944760 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10771/statm: 49539 9598 2544 9 0 44121 0 [pid=10781] ppid=10771 vsize=5356 CPUtime=0 /proc/10781/stat : 10781 (abscon) S 10771 10763 8767 0 -1 4194304 306 0 0 0 0 0 0 0 18 0 1 0 1000945320 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/10781/statm: 1339 237 196 169 0 50 0 [pid=10782] ppid=10781 vsize=656752 CPUtime=615.05 /proc/10782/stat : 10782 (java) S 10781 10763 8767 0 -1 0 11306 0 1 0 61496 9 0 0 20 0 9 0 1000945321 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10782/statm: 164188 10623 2611 9 0 158716 0 [pid=10782/tid=10784] ppid=10781 vsize=656752 CPUtime=614.79 /proc/10782/task/10784/stat : 10784 (java) R 10781 10763 8767 0 -1 64 8924 0 1 0 61471 8 0 0 25 0 9 0 1000945321 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4126881562 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10785] ppid=10781 vsize=656752 CPUtime=0.03 /proc/10782/task/10785/stat : 10785 (java) S 10781 10763 8767 0 -1 64 1158 0 0 0 3 0 0 0 16 0 9 0 1000945322 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10782/tid=10786] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10786/stat : 10786 (java) S 10781 10763 8767 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 1000945323 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10787] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10787/stat : 10787 (java) S 10781 10763 8767 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1000945323 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10788] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10788/stat : 10788 (java) S 10781 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1000945324 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10789] ppid=10781 vsize=656752 CPUtime=0.21 /proc/10782/task/10789/stat : 10789 (java) S 10781 10763 8767 0 -1 64 680 0 0 0 21 0 0 0 16 0 9 0 1000945324 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10790] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10790/stat : 10790 (java) S 10781 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1000945324 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10782/tid=10791] ppid=10781 vsize=656752 CPUtime=0 /proc/10782/task/10791/stat : 10791 (java) S 10781 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1000945325 672514048 10623 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10783] ppid=10781 vsize=7044 CPUtime=0 /proc/10783/stat : 10783 (translate) S 10781 10763 8767 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1000945321 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 269028655186 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/10783/statm: 1761 213 182 1 0 41 0 [pid=10771/tid=10772] ppid=10763 vsize=198156 CPUtime=4.52 /proc/10771/task/10772/stat : 10772 (java) S 10763 10763 8767 0 -1 64 3971 0 1 0 447 5 0 0 16 0 10 0 1000944761 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=10771/tid=10773] ppid=10763 vsize=198156 CPUtime=1.01 /proc/10771/task/10773/stat : 10773 (java) S 10763 10763 8767 0 -1 64 8672 0 0 0 94 7 0 0 16 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10774] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10774/stat : 10774 (java) S 10763 10763 8767 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10775] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10775/stat : 10775 (java) S 10763 10763 8767 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10776] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10776/stat : 10776 (java) S 10763 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10777] ppid=10763 vsize=198156 CPUtime=0.21 /proc/10771/task/10777/stat : 10777 (java) S 10763 10763 8767 0 -1 64 688 0 0 0 21 0 0 0 16 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10778] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10778/stat : 10778 (java) S 10763 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10779] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10779/stat : 10779 (java) S 10763 10763 8767 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10780] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10780/stat : 10780 (java) S 10763 10763 8767 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1000945320 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 622.31 Current children cumulated vsize (KiB) 872672 [startup+622.606 s] /proc/loadavg: 0.99 0.97 1.00 2/86 10791 /proc/meminfo: memFree=1712032/2055920 swapFree=4137112/4192956 [pid=10763] ppid=10761 vsize=5364 CPUtime=1.48 /proc/10763/stat : 10763 (hydra) S 10761 10763 8767 0 -1 4194304 381 1194 0 0 0 0 147 1 20 0 1 0 1000944611 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10763/statm: 1341 242 199 169 0 52 0 [pid=10771] ppid=10763 vsize=198156 CPUtime=5.78 /proc/10771/stat : 10771 (java) S 10763 10763 8767 0 -1 0 14161 0 1 0 564 14 0 0 22 0 10 0 1000944760 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10771/statm: 49539 9598 2544 9 0 44121 0 [pid=10781] ppid=10771 vsize=5356 CPUtime=0 /proc/10781/stat : 10781 (abscon) S 10771 10763 8767 0 -1 4194304 306 288 0 0 0 0 0 0 16 0 1 0 1000945320 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/10781/statm: 1339 237 196 169 0 50 0 [pid=10782] ppid=10781 vsize=0 CPUtime=615.14 /proc/10782/stat : 10782 (java) Z 10781 10763 8767 0 -1 12 11399 0 1 0 61504 10 0 0 16 0 2 0 1000945321 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10782/statm: 0 0 0 0 0 0 0 [pid=10771/tid=10772] ppid=10763 vsize=198156 CPUtime=4.52 /proc/10771/task/10772/stat : 10772 (java) S 10763 10763 8767 0 -1 64 3973 0 1 0 447 5 0 0 16 0 10 0 1000944761 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=10771/tid=10773] ppid=10763 vsize=198156 CPUtime=1.01 /proc/10771/task/10773/stat : 10773 (java) S 10763 10763 8767 0 -1 64 8672 0 0 0 94 7 0 0 16 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10774] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10774/stat : 10774 (java) S 10763 10763 8767 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10775] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10775/stat : 10775 (java) S 10763 10763 8767 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1000944762 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10776] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10776/stat : 10776 (java) S 10763 10763 8767 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10777] ppid=10763 vsize=198156 CPUtime=0.21 /proc/10771/task/10777/stat : 10777 (java) S 10763 10763 8767 0 -1 64 688 0 0 0 21 0 0 0 16 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10778] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10778/stat : 10778 (java) S 10763 10763 8767 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10779] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10779/stat : 10779 (java) S 10763 10763 8767 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1000944764 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10771/tid=10780] ppid=10763 vsize=198156 CPUtime=0 /proc/10771/task/10780/stat : 10780 (java) S 10763 10763 8767 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1000945320 202911744 9598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 622.4 Current children cumulated vsize (KiB) 208876 Child status: 0 Real time (s): 622.659 CPU time (s): 622.441 CPU user time (s): 622.165 CPU system time (s): 0.275958 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 872672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 622.165 system time used= 0.275958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27859 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= 29099 involuntary context switches= 17443 runsolver used 3.03054 second user time and 5.46717 second system time The end
Begin job on node26 at 2008-07-04 11:48:17 IDJOB=1070405 IDBENCH=55862 IDSOLVER=366 FILE ID=node26/1070405-1215164896 PBS_JOBID= 7877425 Free space on /tmp= 66560 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t2001-13queen13-1111219348.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070405-1215164896/watcher-1070405-1215164896 -o /tmp/evaluation-result-1070405-1215164896/solver-1070405-1215164896 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1070405-1215164896.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 5437c57a88c824eaee1ab5469f50c779 RANDOM SEED=405853436 node26.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.221 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.221 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: 1775856 kB Buffers: 31540 kB Cached: 131348 kB SwapCached: 49748 kB Active: 181324 kB Inactive: 44704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1775856 kB SwapTotal: 4192956 kB SwapFree: 4137112 kB Dirty: 24320 kB Writeback: 0 kB Mapped: 68812 kB Slab: 39972 kB Committed_AS: 1627260 kB PageTables: 1480 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= 66536 MiB End job on node26 at 2008-07-04 11:58:40