Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 20.7039 | 20.9716 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 47470 |
CHECKS | 3962210 |
Name | csp/ssa/ normalized-ssa-0432-003_ext.xml |
MD5SUM | 670dcbc3a964190b1ba9c38a9dd8fdfe |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.068989 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 435 |
Number of constraints | 738 |
Maximum constraint arity | 5 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 738 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.18/7.40 c CASE TO CLASSIFY: 7.18/7.40 c Case: 0 7.28/7.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.132900 | c 34 > -1.000000 | c 16 > 5.000000 | c 13 > 12.693100 | c 14 > 15.390200 | c 11 > 8.751540 | c 12 > 11.487100 | c 21 > 1.410960 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 6.991870 | c 27 > 2.926830 | c 28 > 0.081301 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.527480 | c 1 > 8.751540 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.751540 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.41 c choco : 1801.0 7.28/7.41 c mistral : 1801.0 7.28/7.41 c abscon : 1801.0 7.28/7.41 c 7.28/7.41 c 7.28/7.49 c List of same ones: 40 7.28/7.49 c /home/eomahony/cpZilla/CSP/dimacs/ssa/ssa-0432-003_ext.xml 7.28/7.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.148300 | c 34 > -1.000000 | c 16 > 5.000000 | c 13 > 12.663600 | c 14 > 15.391000 | c 11 > 8.751540 | c 12 > 11.474900 | c 21 > 1.410960 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 6.991870 | c 27 > 2.926830 | c 28 > 0.081301 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.527480 | c 1 > 8.751540 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.751540 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.49 c choco : 63.86 7.28/7.49 c mistral : 0.244962 7.28/7.49 c abscon : 8.50671 7.28/7.49 c 7.28/7.49 c 7.28/7.49 c /home/eomahony/cpZilla/CSP/dimacs/ssa/ssa-2670-130_ext.xml 7.28/7.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.578900 | c 34 > -1.000000 | c 16 > 5.000000 | c 13 > 10.754000 | c 14 > 13.822200 | c 11 > 10.404100 | c 12 > 9.729200 | c 21 > 1.413170 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 6.715980 | c 27 > 3.199490 | c 28 > 0.084531 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.208200 | c 1 > 10.404100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.404100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.50 c choco : 56.75 7.37/7.50 c mistral : 3.02 7.37/7.50 c abscon : 19.92 7.37/7.50 c 7.37/7.50 c 7.37/7.50 c /home/eomahony/cpZilla/CSP/dimacs/varDimacs/hole-08_ext.xml 7.37/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.904300 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 14.278500 | c 14 > 16.119400 | c 11 > 6.169930 | c 12 > 15.402700 | 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 > 9.696970 | c 27 > 0.000000 | c 28 > 0.303030 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.214320 | c 1 > 6.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.169930 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.51 c choco : 35.77 7.37/7.51 c mistral : 1.23 7.37/7.51 c abscon : 23.8374 7.37/7.51 c 7.37/7.51 c 7.37/7.51 c /home/eomahony/cpZilla/CSP/dimacs/varDimacs/hole-07_ext.xml 7.37/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.465200 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 10.911700 | c 14 > 12.907100 | c 11 > 5.807350 | c 12 > 11.885200 | 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 > 9.607840 | c 27 > 0.000000 | c 28 > 0.392157 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.672430 | c 1 > 5.807350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.807350 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.52 c choco : 4.64 7.37/7.52 c mistral : 0.13 7.37/7.52 c abscon : 3.18651 7.37/7.52 c 7.37/7.52 c 7.37/7.52 c /home/eomahony/cpZilla/CSP/dimacs/varDimacs/hole-09_ext.xml 7.37/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.513100 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 14.537400 | c 14 > 16.670300 | c 11 > 6.491850 | c 12 > 16.008500 | 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 > 9.759040 | c 27 > 0.000000 | c 28 > 0.240964 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.696970 | c 1 > 6.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.491850 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.53 c choco : 1801.0 7.37/7.53 c mistral : 13.6 7.37/7.53 c abscon : 323.131 7.37/7.53 c 7.37/7.53 c 7.37/7.53 c /home/eomahony/cpZilla/CSP/dimacs/varDimacs/hole-10_ext.xml 7.37/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.502000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 15.112800 | c 14 > 16.701800 | c 11 > 6.781360 | c 12 > 16.021500 | 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 > 9.803920 | c 27 > 0.000000 | c 28 > 0.196078 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.131860 | c 1 > 6.781360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.781360 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.54 c choco : 1801.0 7.37/7.54 c mistral : 180.01 7.37/7.54 c abscon : 1800.16 7.37/7.54 c 7.37/7.54 c 7.37/7.54 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-2-0-sat-2_ext.xml 7.37/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.989100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 12.656800 | c 14 > 15.200200 | c 11 > 7.643860 | c 12 > 12.779700 | 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 > 0.026178 | c 27 > 9.973820 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.577430 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.55 c choco : 31.71 7.37/7.55 c mistral : 0.187971 7.37/7.55 c abscon : 1.43678 7.37/7.55 c 7.37/7.55 c 7.37/7.55 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-2-0-sat-4_ext.xml 7.37/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.835200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 12.521100 | c 14 > 14.374700 | c 11 > 7.643860 | c 12 > 12.439100 | 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 > 0.051414 | c 27 > 9.948590 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.603630 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.56 c choco : 84.9 7.37/7.56 c mistral : 0.33 7.37/7.56 c abscon : 2.15167 7.37/7.56 c 7.37/7.56 c 7.37/7.56 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-2-0-sat-1_ext.xml 7.37/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.719300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 13.880600 | c 14 > 16.204400 | c 11 > 7.643860 | c 12 > 13.674700 | 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 > 0.025907 | c 27 > 9.974090 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.592460 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.56 c choco : 15.99 7.37/7.56 c mistral : 0.237963 7.37/7.56 c abscon : 1.63775 7.37/7.56 c 7.37/7.56 c 7.37/7.56 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-1-6-sat-4_ext.xml 7.37/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.015000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 13.985400 | c 14 > 15.966900 | c 11 > 7.643860 | c 12 > 13.933600 | 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 > 0.125786 | c 27 > 9.874210 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.312880 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.57 c choco : 2.55 7.37/7.57 c mistral : 0.05699 7.37/7.57 c abscon : 1.08583 7.37/7.57 c 7.37/7.57 c 7.37/7.57 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-3-4-sat-4_ext.xml 7.37/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.356700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.119900 | c 14 > 12.953300 | c 11 > 7.643860 | c 12 > 9.905210 | 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 > 0.031104 | c 27 > 9.968900 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.328670 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.80 c choco : 2.71 7.55/7.80 c mistral : 0.129979 7.55/7.80 c abscon : 0.991848 7.55/7.80 c 7.55/7.80 c 7.55/7.80 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-1-6-unsat-1_ext.xml 7.55/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.244700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.635400 | c 14 > 14.550500 | c 11 > 7.643860 | c 12 > 13.625600 | 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 > 0.032468 | c 27 > 9.967530 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.266790 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.81 c choco : 4.31 7.64/7.81 c mistral : 0.151976 7.64/7.81 c abscon : 1.3368 7.64/7.81 c 7.64/7.81 c 7.64/7.81 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-2-0-unsat-1_ext.xml 7.64/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.132900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 13.266800 | c 14 > 13.248400 | c 11 > 7.643860 | c 12 > 12.253100 | 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 > 0.025707 | c 27 > 9.974290 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.603630 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.82 c choco : 6.48 7.64/7.82 c mistral : 0.048991 7.64/7.82 c abscon : 1.23681 7.64/7.82 c 7.64/7.82 c 7.64/7.82 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-1-6-unsat-3_ext.xml 7.64/7.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.371700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 15.649100 | c 14 > 15.840400 | c 11 > 7.643860 | c 12 > 14.876600 | 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 > 0.064725 | c 27 > 9.935280 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.271460 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.82 c choco : 89.48 7.64/7.82 c mistral : 0.7 7.64/7.82 c abscon : 1.51477 7.64/7.82 c 7.64/7.82 c 7.64/7.83 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-1-6-unsat-4_ext.xml 7.64/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.130600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 13.689200 | c 14 > 13.223500 | c 11 > 7.643860 | c 12 > 12.516800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.303780 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.83 c choco : 4.33 7.64/7.83 c mistral : 0.074988 7.64/7.83 c abscon : 1.00085 7.64/7.83 c 7.64/7.83 c 7.64/7.83 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-2-0-sat-3_ext.xml 7.64/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.105900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.410900 | c 14 > 12.597100 | c 11 > 7.643860 | c 12 > 10.637500 | 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 > 0.025840 | c 27 > 9.974160 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.596190 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.84 c choco : 4.35 7.64/7.84 c mistral : 0.072988 7.64/7.84 c abscon : 1.20382 7.64/7.84 c 7.64/7.84 c 7.64/7.84 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-1-6-unsat-2_ext.xml 7.64/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.821700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 15.906100 | c 14 > 16.278700 | c 11 > 7.643860 | c 12 > 15.261600 | 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 > 0.033113 | c 27 > 9.966890 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.238400 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.85 c choco : 36.65 7.64/7.85 c mistral : 0.157975 7.64/7.85 c abscon : 3.03454 7.64/7.85 c 7.64/7.85 c 7.64/7.85 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-50_ext.xml 7.64/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.927000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.187400 | c 14 > 17.356300 | c 11 > 7.228820 | c 12 > 15.159000 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.643860 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.228820 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.86 c choco : 1801.0 7.64/7.86 c mistral : 1800.05 7.64/7.86 c abscon : 12.4401 7.64/7.86 c 7.64/7.86 c 7.64/7.86 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-3-4-sat-1_ext.xml 7.64/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.844200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.028400 | c 14 > 11.878400 | c 11 > 7.643860 | c 12 > 9.524270 | 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 > 0.030960 | c 27 > 9.969040 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.335390 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.86 c choco : 3.48 7.64/7.86 c mistral : 0.109982 7.64/7.86 c abscon : 1.16782 7.64/7.86 c 7.64/7.86 c 7.64/7.86 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-2-0-unsat-2_ext.xml 7.64/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.115400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 12.322100 | c 14 > 12.046800 | c 11 > 7.643860 | c 12 > 11.132900 | 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 > 0.026110 | c 27 > 9.973890 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.581200 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.87 c choco : 4.47 7.64/7.87 c mistral : 0.061989 7.64/7.87 c abscon : 1.03984 7.64/7.87 c 7.64/7.87 c 7.64/7.87 c /home/eomahony/cpZilla/CSP/dimacs/aim-100/aim-100-1-6-unsat-3_ext.xml 7.64/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.641800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 12.765300 | c 14 > 13.370300 | c 11 > 6.643860 | c 12 > 12.584400 | 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 > 0.065790 | c 27 > 9.934210 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.247930 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.88 c choco : 7.92 7.64/7.88 c mistral : 0.09 7.64/7.88 c abscon : 1.09283 7.64/7.88 c 7.64/7.88 c 7.64/7.88 c /home/eomahony/cpZilla/CSP/dimacs/aim-100/aim-100-1-6-unsat-4_ext.xml 7.64/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.528300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 12.747200 | c 14 > 13.002500 | c 11 > 6.643860 | c 12 > 12.350200 | 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 > 0.127389 | c 27 > 9.872610 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.294620 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.88 c choco : 3.18 7.64/7.88 c mistral : 0.054991 7.64/7.88 c abscon : 0.972851 7.64/7.88 c 7.64/7.88 c 7.64/7.88 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-2-0-unsat-4_ext.xml 7.64/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.590500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.702800 | c 14 > 11.818600 | c 11 > 7.643860 | c 12 > 10.488600 | 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 > 0.076531 | c 27 > 9.923470 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.614710 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.89 c choco : 3.55 7.64/7.89 c mistral : 0.065989 7.64/7.89 c abscon : 0.927858 7.64/7.89 c 7.64/7.89 c 7.64/7.89 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-2-0-unsat-3_ext.xml 7.64/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.671300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.554300 | c 14 > 11.691700 | c 11 > 7.643860 | c 12 > 10.242800 | 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 > 0.051546 | c 27 > 9.948450 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.599910 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.64/7.90 c choco : 2.05 7.64/7.90 c mistral : 0.049991 7.64/7.90 c abscon : 0.921859 7.64/7.90 c 7.64/7.90 c 7.64/7.90 c /home/eomahony/cpZilla/CSP/dimacs/pret/pret-150-75_ext.xml 7.64/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.863000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 16.465700 | c 14 > 17.110600 | c 11 > 7.228820 | c 12 > 16.158700 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.643860 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.228820 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.90 c choco : 1801.0 7.71/7.90 c mistral : 1800.02 7.71/7.90 c abscon : 8.82766 7.71/7.90 c 7.71/7.90 c 7.71/7.90 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-1-6-sat-3_ext.xml 7.71/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.072600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.322300 | c 14 > 11.134400 | c 11 > 7.643860 | c 12 > 9.706420 | 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 > 0.032154 | c 27 > 9.967850 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.280770 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.91 c choco : 3.03 7.71/7.91 c mistral : 0.040993 7.71/7.91 c abscon : 1.05184 7.71/7.91 c 7.71/7.91 c 7.71/7.91 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-30_ext.xml 7.71/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.924800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.662000 | c 14 > 17.401400 | c 11 > 6.491850 | c 12 > 15.897300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | c 1 > 6.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.491850 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.91 c choco : 1801.0 7.71/7.91 c mistral : 1800.06 7.71/7.91 c abscon : 1.43778 7.71/7.91 c 7.71/7.91 c 7.71/7.91 c /home/eomahony/cpZilla/CSP/dimacs/pret/pret-150-40_ext.xml 7.71/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.820200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 16.856400 | c 14 > 16.876800 | c 11 > 7.228820 | c 12 > 16.177500 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.643860 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.228820 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.92 c choco : 1801.0 7.71/7.92 c mistral : 1800.03 7.71/7.92 c abscon : 29.8985 7.71/7.92 c 7.71/7.92 c 7.71/7.92 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-29_ext.xml 7.71/7.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.879500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.646800 | c 14 > 17.392400 | c 11 > 6.442940 | c 12 > 15.970900 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > 6.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.442940 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.93 c choco : 1801.0 7.71/7.93 c mistral : 1800.06 7.71/7.93 c abscon : 1.40779 7.71/7.93 c 7.71/7.93 c 7.71/7.93 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-28_ext.xml 7.71/7.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.914800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.732900 | c 14 > 17.409400 | c 11 > 6.392320 | c 12 > 16.034100 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.807350 | c 1 > 6.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.93 c choco : 1801.0 7.71/7.93 c mistral : 1800.05 7.71/7.93 c abscon : 1.08383 7.71/7.93 c 7.71/7.93 c 7.71/7.93 c /home/eomahony/cpZilla/CSP/dimacs/pret/pret-150-60_ext.xml 7.71/7.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.819300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 16.947900 | c 14 > 17.048100 | c 11 > 7.228820 | c 12 > 16.327600 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.643860 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.228820 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.94 c choco : 1801.0 7.71/7.94 c mistral : 1800.1 7.71/7.94 c abscon : 12.869 7.71/7.94 c 7.71/7.94 c 7.71/7.94 c /home/eomahony/cpZilla/CSP/dimacs/pret/pret-150-25_ext.xml 7.71/7.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.773700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 16.866300 | c 14 > 16.994100 | c 11 > 7.228820 | c 12 > 16.411400 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.643860 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.228820 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.94 c choco : 1801.0 7.71/7.94 c mistral : 1800.02 7.71/7.94 c abscon : 5.9371 7.71/7.94 c 7.71/7.94 c 7.71/7.94 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-25_ext.xml 7.71/7.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.862800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.542500 | c 14 > 17.386900 | c 11 > 6.228820 | c 12 > 16.047700 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.643860 | c 1 > 6.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.228820 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.95 c choco : 1801.0 7.71/7.95 c mistral : 408.29 7.71/7.95 c abscon : 1.01684 7.71/7.95 c 7.71/7.95 c 7.71/7.95 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-27_ext.xml 7.71/7.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.983200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.828900 | c 14 > 17.498900 | c 11 > 6.339850 | c 12 > 16.227300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.754890 | c 1 > 6.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.339850 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.96 c choco : 1801.0 7.71/7.96 c mistral : 1800.01 7.71/7.96 c abscon : 1.19582 7.71/7.96 c 7.71/7.96 c 7.71/7.96 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-26_ext.xml 7.71/7.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.956700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.821100 | c 14 > 17.463600 | c 11 > 6.285400 | c 12 > 16.197800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.700440 | c 1 > 6.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.285400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.96 c choco : 1801.0 7.71/7.96 c mistral : 737.12 7.71/7.96 c abscon : 1.16482 7.71/7.96 c 7.71/7.96 c 7.71/7.96 c /home/eomahony/cpZilla/CSP/dimacs/varDimacs/hole-06_ext.xml 7.71/7.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.195200 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 7.668240 | c 14 > 9.902380 | c 11 > 5.392320 | c 12 > 8.444230 | 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 > 9.473680 | c 27 > 0.000000 | c 28 > 0.526316 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 5.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.97 c choco : 1.59 7.71/7.97 c mistral : 0.03 7.71/7.97 c abscon : 1.00884 7.71/7.97 c 7.71/7.97 c 7.71/7.97 c /home/eomahony/cpZilla/CSP/dimacs/aim-200/aim-200-1-6-sat-2_ext.xml 7.71/7.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.157800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.170200 | c 14 > 11.225200 | c 11 > 7.643860 | c 12 > 9.615990 | 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 > 0.031646 | c 27 > 9.968350 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.303780 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.97 c choco : 2.88 7.71/7.98 c mistral : 0.05 7.71/7.98 c abscon : 1.06184 7.71/7.98 c 7.71/7.98 c 7.71/7.98 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-24_ext.xml 7.71/7.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.911400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.693000 | c 14 > 17.455200 | c 11 > 6.169930 | c 12 > 16.173900 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.584960 | c 1 > 6.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.169930 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.98 c choco : 1801.0 7.71/7.98 c mistral : 223.21 7.71/7.98 c abscon : 1.14582 7.71/7.98 c 7.71/7.98 c 7.71/7.98 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-22_ext.xml 7.71/7.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.875700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.663100 | c 14 > 17.406600 | c 11 > 6.044390 | c 12 > 16.266900 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.459430 | c 1 > 6.044390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.044390 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.99 c choco : 1801.0 7.71/7.99 c mistral : 51.26 7.71/7.99 c abscon : 0.98385 7.71/7.99 c 7.71/7.99 c 7.71/7.99 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-23_ext.xml 7.71/7.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.931500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.731900 | c 14 > 17.498800 | c 11 > 6.108520 | c 12 > 16.392400 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.523560 | c 1 > 6.108520 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.108520 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.99 c choco : 1801.0 7.71/7.99 c mistral : 96.84 7.71/7.99 c abscon : 0.968852 7.71/7.99 c 7.71/7.99 c 7.71/8.00 c Length: 40 7.71/8.00 c 0.03545264447118035 4.5589492961148395 8.06727966178393 8.47950047291575 8.595645328079462 9.03109888779543 10.477954204960271 10.642489467502791 10.66677095210765 10.668159245588559 11.134950534929658 11.165754391123194 11.324235067751033 11.397365219169503 11.43968524241732 11.538163496852203 11.59374222897143 11.79955165876995 11.826791239526665 11.974244477996795 12.044215808393707 12.055517790088555 12.277937341812468 12.343914908642136 12.60248676722101 12.639832279405733 12.656252654904636 12.70669009333196 12.723126777187305 12.800650524894454 12.814126341190049 12.817103487449128 12.919627349423848 12.938444460783554 12.969806763355445 12.986328933914736 13.043303902027121 13.045389084081801 13.184514527974878 13.191621178080448 7.76/8.00 c 7.76/8.00 c 1.0 0.7441412716674733 0.620925585055485 0.6090757755890518 0.6058182769210231 0.5939092876177651 0.5574961843675847 0.5536361082673822 0.5530709747276643 0.5530386980931304 0.5423956738024327 0.5417077237568724 0.5381957426223255 0.536590464624554 0.5356658656810825 0.5335266184514379 0.5323268052544954 0.5279304689773958 0.5273540344434974 0.5242554019267941 0.522797704827454 0.5225630132462845 0.5179868559950764 0.5166447783235131 0.5114514203135937 0.5107099603444872 0.5103846292526811 0.5093879169491049 0.5090639462355107 0.5075414746071091 0.5072777546425357 0.5072195292363201 0.5052225469181569 0.5048577297560098 0.5042508618489443 0.5039317403704083 0.5028343747871534 0.5027943038168713 0.5001350805522872 0.5 7.76/8.01 c 7.76/8.01 c solver 0 7.76/8.01 c before 0.0 seconds: {} 0 7.76/8.01 c before 18.0 seconds: {0, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18833 7.76/8.01 c before 36.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20708 7.76/8.01 c before 324.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21314 7.76/8.01 c 7.76/8.01 c solver 1 7.76/8.01 c before 0.0 seconds: {} 0 7.76/8.01 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 35, 36} 14206 7.76/8.01 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 35, 36, 38} 14706 7.76/8.01 c before 108.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 35, 36, 38, 39} 15206 7.76/8.01 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 35, 36, 38, 39} 15800 7.76/8.01 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 35, 36, 37, 38, 39} 16303 7.76/8.01 c before 414.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 32, 35, 36, 37, 38, 39} 16808 7.76/8.01 c before 738.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 32, 34, 35, 36, 37, 38, 39} 17313 7.76/8.01 c 7.76/8.01 c solver 2 7.76/8.01 c before 0.0 seconds: {} 0 7.76/8.01 c before 18.0 seconds: {3, 8, 9, 10, 11, 12, 14, 15, 18, 19, 20, 21, 22, 23, 25, 35, 36} 9055 7.76/8.01 c before 36.0 seconds: {2, 3, 6, 8, 9, 10, 11, 12, 14, 15, 18, 19, 20, 21, 22, 23, 25, 35, 36} 10234 7.76/8.01 c before 54.0 seconds: {2, 3, 6, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 35, 36} 10766 7.76/8.01 c before 72.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 35, 36} 12510 7.76/8.01 c before 90.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 35, 36} 13600 7.76/8.01 c 7.76/8.01 cTotal time: 64 7.76/8.01 c 1152.0 seconds unused 7.76/8.01 c 0 c 9 c 15 7.76/8.01 c 1 c 0 c 7 7.76/8.01 c 0 c 0 c 0 7.76/8.01 c is solver0 dominated by: 7.76/8.01 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 7.76/8.02 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false) 7.76/8.02 c is dominated? false 7.76/8.02 c 7.76/8.02 c is solver1 dominated by: 7.76/8.02 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: false) (1 is equally as fast as 0: false) (1 < 0: true) 7.76/8.02 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false) 7.76/8.02 c is dominated? false 7.76/8.02 c 7.76/8.02 c is solver2 dominated by: 7.76/8.02 c solver 0 (2 solves instances that 0 can't: false) (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.76/8.02 c is dominated? true 7.76/8.02 c 7.76/8.02 c Number of non-dominated solvers: 2 7.76/8.02 c remove dominated solvers 7.76/8.02 c solver 0 is not dominated by another solver 7.76/8.02 c solver 1 is not dominated by another solver 7.76/8.02 c solver 2 is dominated by another solver 7.76/8.02 c 7.76/8.02 c solver 0: 324.0 7.76/8.02 c 7.76/8.02 c+ 18/59 of 41 7.76/8.02 c 7.76/8.02 c solver 1: 738.0 7.76/8.02 c 7.76/8.02 c+ 41/59 of 41 7.76/8.02 c 7.76/8.02 c solver 2: 0.0 7.76/8.02 c run abscon for 540.0 seconds {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21314 7.76/8.02 c run mistral for 1242.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 32, 34, 35, 36, 37, 38, 39} 17313 7.76/8.02 c do not run choco 7.76/8.02 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.76/8.02 c On Instance: HOME/instance-1050553-1215050185.xml 7.76/8.02 c Running for: 540 seconds 20.64/20.94 s UNSATISFIABLE 20.64/20.94 d ASSIGNMENTS 47470 20.64/20.94 d CHECKS 3962214
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-1050553-1215050185/watcher-1050553-1215050185 -o /tmp/evaluation-result-1050553-1215050185/solver-1050553-1215050185 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1050553-1215050185.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.41 2.19 2.06 4/72 13675 /proc/meminfo: memFree=1775764/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=18572 CPUtime=0 /proc/13675/stat : 13675 (runsolver) R 13673 13675 11868 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1983991463 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 240907775271 0 0 4096 24578 0 0 0 17 1 0 0 /proc/13675/statm: 4643 292 257 25 0 2626 0 [startup+0.061555 s] /proc/loadavg: 2.41 2.19 2.06 4/72 13675 /proc/meminfo: memFree=1775764/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=0 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983991463 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101556 s] /proc/loadavg: 2.41 2.19 2.06 4/72 13675 /proc/meminfo: memFree=1775764/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=0 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983991463 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301576 s] /proc/loadavg: 2.41 2.19 2.06 4/72 13675 /proc/meminfo: memFree=1775764/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=0 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983991463 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701615 s] /proc/loadavg: 2.41 2.19 2.06 4/72 13675 /proc/meminfo: memFree=1775764/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=0 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983991463 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50269 s] /proc/loadavg: 2.41 2.19 2.06 3/74 13679 /proc/meminfo: memFree=1774660/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=0 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983991463 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 236 195 169 0 51 0 [pid=13679] ppid=13675 vsize=5120 CPUtime=1.47 /proc/13679/stat : 13679 (xsolve) R 13675 13675 11868 0 -1 4194304 653 0 0 0 143 4 0 0 25 0 1 0 1983991464 5242880 612 996147200 134512640 135239763 4294956176 18446744073709551615 135097600 0 0 4096 0 0 0 0 17 1 0 0 /proc/13679/statm: 1280 612 413 177 0 183 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 10480 [startup+3.10186 s] /proc/loadavg: 2.41 2.19 2.06 3/82 13691 /proc/meminfo: memFree=1768196/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=1.48 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 375 1248 0 0 0 0 144 4 18 0 1 0 1983991463 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 238 196 169 0 51 0 [pid=13683] ppid=13675 vsize=197004 CPUtime=1.56 /proc/13683/stat : 13683 (java) S 13675 13675 11868 0 -1 0 5087 0 1 0 150 6 0 0 18 0 9 0 1983991615 201732096 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13683/statm: 49251 4264 1679 9 0 43833 0 [pid=13683/tid=13684] ppid=13675 vsize=197004 CPUtime=1.22 /proc/13683/task/13684/stat : 13684 (java) R 13675 13675 11868 0 -1 64 2749 0 1 0 120 2 0 0 25 0 9 0 1983991616 201732096 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4126706743 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13685] ppid=13675 vsize=197004 CPUtime=0.17 /proc/13683/task/13685/stat : 13685 (java) S 13675 13675 11868 0 -1 64 998 0 0 0 15 2 0 0 16 0 9 0 1983991617 201732096 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13686] ppid=13675 vsize=197004 CPUtime=0 /proc/13683/task/13686/stat : 13686 (java) S 13675 13675 11868 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983991618 201732096 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13687] ppid=13675 vsize=197004 CPUtime=0 /proc/13683/task/13687/stat : 13687 (java) S 13675 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983991618 201732096 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13688] ppid=13675 vsize=197004 CPUtime=0 /proc/13683/task/13688/stat : 13688 (java) S 13675 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983991620 201732096 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13689] ppid=13675 vsize=197004 CPUtime=0.14 /proc/13683/task/13689/stat : 13689 (java) S 13675 13675 11868 0 -1 64 615 0 0 0 14 0 0 0 16 0 9 0 1983991620 201732096 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13690] ppid=13675 vsize=197004 CPUtime=0 /proc/13683/task/13690/stat : 13690 (java) S 13675 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983991620 201732096 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13691] ppid=13675 vsize=197004 CPUtime=0 /proc/13683/task/13691/stat : 13691 (java) S 13675 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983991620 201732096 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202364 [startup+6.30287 s] /proc/loadavg: 2.45 2.20 2.06 3/82 13691 /proc/meminfo: memFree=1755140/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=1.48 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 375 1248 0 0 0 0 144 4 18 0 1 0 1983991463 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 238 196 169 0 51 0 [pid=13683] ppid=13675 vsize=197116 CPUtime=4.71 /proc/13683/stat : 13683 (java) S 13675 13675 11868 0 -1 0 9933 0 1 0 455 16 0 0 18 0 9 0 1983991615 201846784 8235 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13683/statm: 49279 8235 2541 9 0 43861 0 [pid=13683/tid=13684] ppid=13675 vsize=197116 CPUtime=3.7 /proc/13683/task/13684/stat : 13684 (java) R 13675 13675 11868 0 -1 64 3540 0 1 0 365 5 0 0 25 0 9 0 1983991616 201846784 8235 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13685] ppid=13675 vsize=197116 CPUtime=0.8 /proc/13683/task/13685/stat : 13685 (java) S 13675 13675 11868 0 -1 64 5037 0 0 0 71 9 0 0 15 0 9 0 1983991617 201846784 8235 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13686] ppid=13675 vsize=197116 CPUtime=0 /proc/13683/task/13686/stat : 13686 (java) S 13675 13675 11868 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983991618 201846784 8235 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13687] ppid=13675 vsize=197116 CPUtime=0 /proc/13683/task/13687/stat : 13687 (java) S 13675 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983991618 201846784 8235 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13688] ppid=13675 vsize=197116 CPUtime=0 /proc/13683/task/13688/stat : 13688 (java) S 13675 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983991620 201846784 8235 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13689] ppid=13675 vsize=197116 CPUtime=0.17 /proc/13683/task/13689/stat : 13689 (java) S 13675 13675 11868 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 1983991620 201846784 8235 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13690] ppid=13675 vsize=197116 CPUtime=0 /proc/13683/task/13690/stat : 13690 (java) S 13675 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983991620 201846784 8235 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13691] ppid=13675 vsize=197116 CPUtime=0 /proc/13683/task/13691/stat : 13691 (java) S 13675 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983991620 201846784 8235 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202476 [startup+12.7028 s] /proc/loadavg: 2.42 2.20 2.06 4/94 13703 /proc/meminfo: memFree=1709604/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=1.48 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 375 1248 0 0 0 0 144 4 18 0 1 0 1983991463 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 238 196 169 0 51 0 [pid=13683] ppid=13675 vsize=197440 CPUtime=6.31 /proc/13683/stat : 13683 (java) S 13675 13675 11868 0 -1 0 13971 0 1 0 607 24 0 0 18 0 10 0 1983991615 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13683/statm: 49360 9484 2544 9 0 43942 0 [pid=13693] ppid=13683 vsize=5356 CPUtime=0 /proc/13693/stat : 13693 (abscon) S 13683 13675 11868 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1983992266 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13693/statm: 1339 237 196 169 0 50 0 [pid=13694] ppid=13693 vsize=655372 CPUtime=4.65 /proc/13694/stat : 13694 (java) S 13693 13675 11868 0 -1 0 12619 0 1 0 457 8 0 0 18 0 9 0 1983992267 671100928 11932 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13694/statm: 163843 11932 2611 9 0 158371 0 [pid=13694/tid=13696] ppid=13693 vsize=655372 CPUtime=4.32 /proc/13694/task/13696/stat : 13696 (java) R 13693 13675 11868 0 -1 64 10169 0 1 0 426 6 0 0 25 0 9 0 1983992267 671100928 11932 996147200 134512640 134550740 4294955808 18446744073709551615 4126876751 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13697] ppid=13693 vsize=655372 CPUtime=0.04 /proc/13694/task/13697/stat : 13697 (java) S 13693 13675 11868 0 -1 64 1357 0 0 0 4 0 0 0 16 0 9 0 1983992269 671100928 11932 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13698] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13698/stat : 13698 (java) S 13693 13675 11868 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983992269 671100928 11932 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13699] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13699/stat : 13699 (java) S 13693 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983992269 671100928 11932 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13700] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13700/stat : 13700 (java) S 13693 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983992271 671100928 11932 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13701] ppid=13693 vsize=655372 CPUtime=0.27 /proc/13694/task/13701/stat : 13701 (java) S 13693 13675 11868 0 -1 64 549 0 0 0 26 1 0 0 16 0 9 0 1983992271 671100928 11932 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13702] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13702/stat : 13702 (java) S 13693 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1983992271 671100928 11932 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13703] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13703/stat : 13703 (java) S 13693 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983992271 671100928 11932 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13695] ppid=13693 vsize=7044 CPUtime=0 /proc/13695/stat : 13695 (translate) S 13693 13675 11868 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983992267 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240907944018 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/13695/statm: 1761 213 182 1 0 41 0 [pid=13683/tid=13684] ppid=13675 vsize=197440 CPUtime=4.88 /proc/13683/task/13684/stat : 13684 (java) S 13675 13675 11868 0 -1 64 3903 0 1 0 479 9 0 0 25 0 10 0 1983991616 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=13683/tid=13685] ppid=13675 vsize=197440 CPUtime=1.16 /proc/13683/task/13685/stat : 13685 (java) S 13675 13675 11868 0 -1 64 8571 0 0 0 104 12 0 0 16 0 10 0 1983991617 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13686] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13686/stat : 13686 (java) S 13675 13675 11868 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983991618 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13687] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13687/stat : 13687 (java) S 13675 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983991618 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13688] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13688/stat : 13688 (java) S 13675 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13689] ppid=13675 vsize=197440 CPUtime=0.23 /proc/13683/task/13689/stat : 13689 (java) S 13675 13675 11868 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13690] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13690/stat : 13690 (java) S 13675 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13691] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13691/stat : 13691 (java) S 13675 13675 11868 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13692] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13692/stat : 13692 (java) S 13675 13675 11868 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983992266 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.44 Current children cumulated vsize (KiB) 870572 Solver just ended. Dumping a history of the last processes samples [startup+15.9021 s] /proc/loadavg: 2.38 2.19 2.06 3/94 13703 /proc/meminfo: memFree=1706724/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=1.48 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 375 1248 0 0 0 0 144 4 18 0 1 0 1983991463 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 238 196 169 0 51 0 [pid=13683] ppid=13675 vsize=197440 CPUtime=6.31 /proc/13683/stat : 13683 (java) S 13675 13675 11868 0 -1 0 13971 0 1 0 607 24 0 0 18 0 10 0 1983991615 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13683/statm: 49360 9484 2544 9 0 43942 0 [pid=13693] ppid=13683 vsize=5356 CPUtime=0 /proc/13693/stat : 13693 (abscon) S 13683 13675 11868 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1983992266 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13693/statm: 1339 237 196 169 0 50 0 [pid=13694] ppid=13693 vsize=655372 CPUtime=7.84 /proc/13694/stat : 13694 (java) S 13693 13675 11868 0 -1 0 13339 0 1 0 776 8 0 0 18 0 9 0 1983992267 671100928 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13694/statm: 163843 12652 2611 9 0 158371 0 [pid=13694/tid=13696] ppid=13693 vsize=655372 CPUtime=7.51 /proc/13694/task/13696/stat : 13696 (java) R 13693 13675 11868 0 -1 64 10889 0 1 0 745 6 0 0 25 0 9 0 1983992267 671100928 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4126886132 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13697] ppid=13693 vsize=655372 CPUtime=0.04 /proc/13694/task/13697/stat : 13697 (java) S 13693 13675 11868 0 -1 64 1357 0 0 0 4 0 0 0 16 0 9 0 1983992269 671100928 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/13683/task/13691/stat : 13691 (java) S 13675 13675 11868 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13692] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13692/stat : 13692 (java) S 13675 13675 11868 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983992266 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 18.83 Current children cumulated vsize (KiB) 870572 [startup+19.9025 s] /proc/loadavg: 2.38 2.19 2.06 3/94 13703 /proc/meminfo: memFree=1702692/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=1.48 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 375 1248 0 0 0 0 144 4 18 0 1 0 1983991463 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 238 196 169 0 51 0 [pid=13683] ppid=13675 vsize=197440 CPUtime=6.31 /proc/13683/stat : 13683 (java) S 13675 13675 11868 0 -1 0 13971 0 1 0 607 24 0 0 18 0 10 0 1983991615 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13683/statm: 49360 9484 2544 9 0 43942 0 [pid=13693] ppid=13683 vsize=5356 CPUtime=0 /proc/13693/stat : 13693 (abscon) S 13683 13675 11868 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1983992266 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13693/statm: 1339 237 196 169 0 50 0 [pid=13694] ppid=13693 vsize=655372 CPUtime=11.84 /proc/13694/stat : 13694 (java) S 13693 13675 11868 0 -1 0 14232 0 1 0 1176 8 0 0 18 0 9 0 1983992267 671100928 13545 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13694/statm: 163843 13545 2611 9 0 158371 0 [pid=13694/tid=13696] ppid=13693 vsize=655372 CPUtime=11.51 /proc/13694/task/13696/stat : 13696 (java) R 13693 13675 11868 0 -1 64 11782 0 1 0 1145 6 0 0 25 0 9 0 1983992267 671100928 13545 996147200 134512640 134550740 4294955808 18446744073709551615 4126762720 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13697] ppid=13693 vsize=655372 CPUtime=0.04 /proc/13694/task/13697/stat : 13697 (java) S 13693 13675 11868 0 -1 64 1357 0 0 0 4 0 0 0 16 0 9 0 1983992269 671100928 13545 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13698] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13698/stat : 13698 (java) S 13693 13675 11868 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983992269 671100928 13545 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13699] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13699/stat : 13699 (java) S 13693 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983992269 671100928 13545 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13700] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13700/stat : 13700 (java) S 13693 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983992271 671100928 13545 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13701] ppid=13693 vsize=655372 CPUtime=0.27 /proc/13694/task/13701/stat : 13701 (java) S 13693 13675 11868 0 -1 64 549 0 0 0 26 1 0 0 16 0 9 0 1983992271 671100928 13545 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13702] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13702/stat : 13702 (java) S 13693 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1983992271 671100928 13545 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13703] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13703/stat : 13703 (java) S 13693 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983992271 671100928 13545 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13695] ppid=13693 vsize=7044 CPUtime=0 /proc/13695/stat : 13695 (translate) S 13693 13675 11868 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983992267 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240907944018 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/13695/statm: 1761 213 182 1 0 41 0 [pid=13683/tid=13684] ppid=13675 vsize=197440 CPUtime=4.88 /proc/13683/task/13684/stat : 13684 (java) S 13675 13675 11868 0 -1 64 3903 0 1 0 479 9 0 0 25 0 10 0 1983991616 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=13683/tid=13685] ppid=13675 vsize=197440 CPUtime=1.16 /proc/13683/task/13685/stat : 13685 (java) S 13675 13675 11868 0 -1 64 8571 0 0 0 104 12 0 0 16 0 10 0 1983991617 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13686] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13686/stat : 13686 (java) S 13675 13675 11868 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983991618 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13687] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13687/stat : 13687 (java) S 13675 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983991618 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13688] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13688/stat : 13688 (java) S 13675 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13689] ppid=13675 vsize=197440 CPUtime=0.23 /proc/13683/task/13689/stat : 13689 (java) S 13675 13675 11868 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13690] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13690/stat : 13690 (java) S 13675 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13691] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13691/stat : 13691 (java) S 13675 13675 11868 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13692] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13692/stat : 13692 (java) S 13675 13675 11868 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983992266 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 19.63 Current children cumulated vsize (KiB) 870572 [startup+20.7026 s] /proc/loadavg: 2.38 2.19 2.06 3/94 13703 /proc/meminfo: memFree=1702692/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=1.48 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 375 1248 0 0 0 0 144 4 18 0 1 0 1983991463 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 238 196 169 0 51 0 [pid=13683] ppid=13675 vsize=197440 CPUtime=6.31 /proc/13683/stat : 13683 (java) S 13675 13675 11868 0 -1 0 13971 0 1 0 607 24 0 0 18 0 10 0 1983991615 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13683/statm: 49360 9484 2544 9 0 43942 0 [pid=13693] ppid=13683 vsize=5356 CPUtime=0 /proc/13693/stat : 13693 (abscon) S 13683 13675 11868 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1983992266 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13693/statm: 1339 237 196 169 0 50 0 [pid=13694] ppid=13693 vsize=655372 CPUtime=12.65 /proc/13694/stat : 13694 (java) S 13693 13675 11868 0 -1 0 14417 0 1 0 1256 9 0 0 18 0 9 0 1983992267 671100928 13730 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13694/statm: 163843 13730 2611 9 0 158371 0 [pid=13694/tid=13696] ppid=13693 vsize=655372 CPUtime=12.3 /proc/13694/task/13696/stat : 13696 (java) R 13693 13675 11868 0 -1 64 11967 0 1 0 1224 6 0 0 25 0 9 0 1983992267 671100928 13730 996147200 134512640 134550740 4294955808 18446744073709551615 4126867591 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13697] ppid=13693 vsize=655372 CPUtime=0.04 /proc/13694/task/13697/stat : 13697 (java) S 13693 13675 11868 0 -1 64 1357 0 0 0 4 0 0 0 16 0 9 0 1983992269 671100928 13730 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13698] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13698/stat : 13698 (java) S 13693 13675 11868 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983992269 671100928 13730 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13699] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13699/stat : 13699 (java) S 13693 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983992269 671100928 13730 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13700] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13700/stat : 13700 (java) S 13693 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983992271 671100928 13730 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13701] ppid=13693 vsize=655372 CPUtime=0.27 /proc/13694/task/13701/stat : 13701 (java) S 13693 13675 11868 0 -1 64 549 0 0 0 26 1 0 0 16 0 9 0 1983992271 671100928 13730 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13702] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13702/stat : 13702 (java) S 13693 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1983992271 671100928 13730 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13703] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13703/stat : 13703 (java) S 13693 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983992271 671100928 13730 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13695] ppid=13693 vsize=7044 CPUtime=0 /proc/13695/stat : 13695 (translate) S 13693 13675 11868 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983992267 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240907944018 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/13695/statm: 1761 213 182 1 0 41 0 [pid=13683/tid=13684] ppid=13675 vsize=197440 CPUtime=4.88 /proc/13683/task/13684/stat : 13684 (java) S 13675 13675 11868 0 -1 64 3903 0 1 0 479 9 0 0 25 0 10 0 1983991616 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=13683/tid=13685] ppid=13675 vsize=197440 CPUtime=1.16 /proc/13683/task/13685/stat : 13685 (java) S 13675 13675 11868 0 -1 64 8571 0 0 0 104 12 0 0 16 0 10 0 1983991617 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13686] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13686/stat : 13686 (java) S 13675 13675 11868 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983991618 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13687] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13687/stat : 13687 (java) S 13675 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983991618 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13688] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13688/stat : 13688 (java) S 13675 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13689] ppid=13675 vsize=197440 CPUtime=0.23 /proc/13683/task/13689/stat : 13689 (java) S 13675 13675 11868 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13690] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13690/stat : 13690 (java) S 13675 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13691] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13691/stat : 13691 (java) S 13675 13675 11868 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13692] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13692/stat : 13692 (java) S 13675 13675 11868 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983992266 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.44 Current children cumulated vsize (KiB) 870572 [startup+20.9076 s] /proc/loadavg: 2.35 2.19 2.06 3/94 13703 /proc/meminfo: memFree=1701668/2055920 swapFree=4179028/4192956 [pid=13675] ppid=13673 vsize=5360 CPUtime=1.48 /proc/13675/stat : 13675 (hydra) S 13673 13675 11868 0 -1 4194304 375 1248 0 0 0 0 144 4 18 0 1 0 1983991463 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13675/statm: 1340 238 196 169 0 51 0 [pid=13683] ppid=13675 vsize=197440 CPUtime=6.31 /proc/13683/stat : 13683 (java) S 13675 13675 11868 0 -1 0 13971 0 1 0 607 24 0 0 18 0 10 0 1983991615 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13683/statm: 49360 9484 2544 9 0 43942 0 [pid=13693] ppid=13683 vsize=5356 CPUtime=0 /proc/13693/stat : 13693 (abscon) S 13683 13675 11868 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1983992266 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13693/statm: 1339 237 196 169 0 50 0 [pid=13694] ppid=13693 vsize=655372 CPUtime=12.85 /proc/13694/stat : 13694 (java) S 13693 13675 11868 0 -1 0 14465 0 1 0 1276 9 0 0 18 0 9 0 1983992267 671100928 13778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13694/statm: 163843 13778 2611 9 0 158371 0 [pid=13694/tid=13696] ppid=13693 vsize=655372 CPUtime=12.51 /proc/13694/task/13696/stat : 13696 (java) R 13693 13675 11868 0 -1 64 12015 0 1 0 1245 6 0 0 25 0 9 0 1983992267 671100928 13778 996147200 134512640 134550740 4294955808 18446744073709551615 4126923783 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13697] ppid=13693 vsize=655372 CPUtime=0.04 /proc/13694/task/13697/stat : 13697 (java) S 13693 13675 11868 0 -1 64 1357 0 0 0 4 0 0 0 16 0 9 0 1983992269 671100928 13778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13698] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13698/stat : 13698 (java) S 13693 13675 11868 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983992269 671100928 13778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13699] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13699/stat : 13699 (java) S 13693 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983992269 671100928 13778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13700] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13700/stat : 13700 (java) S 13693 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983992271 671100928 13778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13701] ppid=13693 vsize=655372 CPUtime=0.27 /proc/13694/task/13701/stat : 13701 (java) S 13693 13675 11868 0 -1 64 549 0 0 0 26 1 0 0 16 0 9 0 1983992271 671100928 13779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13702] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13702/stat : 13702 (java) S 13693 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1983992271 671100928 13779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13694/tid=13703] ppid=13693 vsize=655372 CPUtime=0 /proc/13694/task/13703/stat : 13703 (java) S 13693 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983992271 671100928 13779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13695] ppid=13693 vsize=7044 CPUtime=0 /proc/13695/stat : 13695 (translate) S 13693 13675 11868 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983992267 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240907944018 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/13695/statm: 1761 213 182 1 0 41 0 [pid=13683/tid=13684] ppid=13675 vsize=197440 CPUtime=4.88 /proc/13683/task/13684/stat : 13684 (java) S 13675 13675 11868 0 -1 64 3903 0 1 0 479 9 0 0 25 0 10 0 1983991616 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=13683/tid=13685] ppid=13675 vsize=197440 CPUtime=1.16 /proc/13683/task/13685/stat : 13685 (java) S 13675 13675 11868 0 -1 64 8571 0 0 0 104 12 0 0 16 0 10 0 1983991617 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13686] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13686/stat : 13686 (java) S 13675 13675 11868 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983991618 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13687] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13687/stat : 13687 (java) S 13675 13675 11868 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983991618 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13688] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13688/stat : 13688 (java) S 13675 13675 11868 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13689] ppid=13675 vsize=197440 CPUtime=0.23 /proc/13683/task/13689/stat : 13689 (java) S 13675 13675 11868 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13690] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13690/stat : 13690 (java) S 13675 13675 11868 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13691] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13691/stat : 13691 (java) S 13675 13675 11868 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1983991620 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13683/tid=13692] ppid=13675 vsize=197440 CPUtime=0 /proc/13683/task/13692/stat : 13692 (java) S 13675 13675 11868 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983992266 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.64 Current children cumulated vsize (KiB) 870572 Child status: 0 Real time (s): 20.9716 CPU time (s): 20.7039 CPU user time (s): 20.2999 CPU system time (s): 0.403938 CPU usage (%): 98.7235 Max. virtual memory (cumulated for all children) (KiB): 870572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.2999 system time used= 0.403938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30870 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= 11345 involuntary context switches= 16236 runsolver used 0.079987 second user time and 0.26296 second system time The end
Begin job on node36 at 2008-07-03 03:56:25 IDJOB=1050553 IDBENCH=54983 IDSOLVER=366 FILE ID=node36/1050553-1215050185 PBS_JOBID= 7875101 Free space on /tmp= 66548 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/ssa/normalized-ssa-0432-003_ext.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1050553-1215050185/watcher-1050553-1215050185 -o /tmp/evaluation-result-1050553-1215050185/solver-1050553-1215050185 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1050553-1215050185.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 670dcbc3a964190b1ba9c38a9dd8fdfe RANDOM SEED=1266349275 node36.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.240 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.240 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: 1776180 kB Buffers: 25692 kB Cached: 143136 kB SwapCached: 8244 kB Active: 161816 kB Inactive: 57844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776180 kB SwapTotal: 4192956 kB SwapFree: 4179028 kB Dirty: 24584 kB Writeback: 0 kB Mapped: 58008 kB Slab: 45420 kB Committed_AS: 3192696 kB PageTables: 1736 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= 66524 MiB End job on node36 at 2008-07-03 03:56:47