Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 9.78251 | 10.0205 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 200 |
CHECKS | 512913 |
Name | csp/small/ normalized-patat-02-small-3.xml |
MD5SUM | 8b6891248b1158101d0f3823c0b78f6f |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.658899 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2780 |
Maximum constraint arity | 13 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2714 |
Global constraints used (with number of constraints) | alldifferent(66) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.11/7.28 c CASE TO CLASSIFY: 7.11/7.28 c Case: 0 7.11/7.28 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.374100 | c 33 > 30.000000 | c 15 > 22.607200 | c 34 > 30.000000 | c 16 > 13.000000 | c 13 > 7.790820 | c 14 > 13.259700 | c 11 > 12.284200 | c 12 > 4.212860 | c 21 > 4.848200 | c 20 > 97.625900 | c 22 > 6.708200 | c 23 > 94.525000 | c 24 > 66.666700 | c 25 > 66.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.209450 | c 2 > -1.000000 | c 10 > 13.356700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.240800 | c 32 > 0.000000 | c 5 > 13.806700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.11/7.29 c choco : 1801.0 7.11/7.29 c mistral : 1801.0 7.11/7.29 c abscon : 1801.0 7.11/7.29 c 7.11/7.29 c 7.20/7.37 c List of same ones: 40 7.20/7.37 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml 7.20/7.37 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.374100 | c 33 > 30.000000 | c 15 > 20.367100 | c 34 > 30.000000 | c 16 > 13.000000 | c 13 > 5.641070 | c 14 > 11.004200 | c 11 > 12.284200 | c 12 > 2.935000 | c 21 > 4.848200 | c 20 > 97.625900 | c 22 > 6.708200 | c 23 > 94.525000 | c 24 > 66.666700 | c 25 > 66.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.209450 | c 2 > -1.000000 | c 10 > 13.356700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.240800 | c 32 > 0.000000 | c 5 > 13.806700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.37 c choco : 1801.0 7.20/7.37 c mistral : 6.57 7.20/7.37 c abscon : 10.45 7.20/7.37 c 7.20/7.37 c 7.20/7.37 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml 7.20/7.37 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.949030 | c 33 > 30.000000 | c 15 > 21.524000 | c 34 > 30.000000 | c 16 > 12.000000 | c 13 > 6.061550 | c 14 > 11.531900 | c 11 > 12.669100 | c 12 > 2.868540 | c 21 > 4.887740 | c 20 > 98.051000 | c 22 > 6.708200 | c 23 > 99.350000 | c 24 > 50.000000 | c 25 > 65.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.451210 | c 2 > -1.000000 | c 10 > 13.477300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.629800 | c 32 > 0.000000 | c 5 > 14.089200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.38 c choco : 1801.0 7.20/7.38 c mistral : 1801.0 7.20/7.38 c abscon : 11.05 7.20/7.38 c 7.20/7.38 c 7.20/7.38 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml 7.20/7.38 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.459890 | c 33 > 30.000000 | c 15 > 21.370900 | c 34 > 30.000000 | c 16 > 19.000000 | c 13 > 11.389900 | c 14 > 16.796700 | c 11 > 12.409400 | c 12 > 7.399610 | c 21 > 4.865700 | c 20 > 97.540100 | c 22 > 6.708200 | c 23 > 92.808300 | c 24 > 50.000000 | c 25 > 69.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.375040 | c 2 > -1.000000 | c 10 > 13.713900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.364700 | c 32 > 0.000000 | c 5 > 13.896400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.39 c choco : 1801.0 7.20/7.39 c mistral : 26.31 7.20/7.39 c abscon : 11.66 7.20/7.39 c 7.20/7.39 c 7.20/7.39 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml 7.20/7.39 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.537630 | c 33 > 30.000000 | c 15 > 21.497200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.743320 | c 14 > 13.117000 | c 11 > 12.028600 | c 12 > 4.472700 | c 21 > 4.829600 | c 20 > 97.462400 | c 22 > 6.708200 | c 23 > 95.033300 | c 24 > 40.000000 | c 25 > 59.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.076820 | c 2 > -1.000000 | c 10 > 13.196600 | c 1 > 4.087460 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.975100 | c 32 > 0.000000 | c 5 > 13.629000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.29/7.40 c choco : 1801.0 7.29/7.40 c mistral : 1801.0 7.29/7.40 c abscon : 9.29 7.29/7.40 c 7.29/7.40 c 7.29/7.40 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml 7.29/7.40 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 4.399320 | c 33 > 30.000000 | c 15 > 16.020600 | c 34 > 30.000000 | c 16 > 17.000000 | c 13 > 4.058140 | c 14 > 7.118940 | c 11 > 11.503300 | c 12 > 1.983760 | c 21 > 4.826490 | c 20 > 95.600700 | c 22 > 6.708200 | c 23 > 95.233300 | c 24 > 40.000000 | c 25 > 78.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.118940 | c 2 > -1.000000 | c 10 > 13.119600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.432500 | c 32 > 0.000000 | c 5 > 13.305800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.29/7.41 c choco : 13.82 7.29/7.41 c mistral : 0.32 7.29/7.41 c abscon : 7.62 7.29/7.41 c 7.29/7.41 c 7.29/7.41 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml 7.29/7.41 c 19 > 0.000000 | c 35 > 30.066200 | c 17 > 0.000000 | c 18 > 9.580840 | c 33 > 0.000000 | c 15 > 19.566600 | c 34 > 20.066200 | c 16 > 18.000000 | c 13 > 7.171760 | c 14 > 10.479800 | c 11 > 7.409390 | c 12 > 6.242450 | c 21 > 5.682050 | c 20 > 90.419200 | c 22 > 5.830950 | c 23 > 97.449000 | c 24 > 97.142900 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.392320 | c 2 > -1.000000 | c 10 > 10.151000 | 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 > 12.423600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.29/7.42 c choco : 229.74 7.29/7.42 c mistral : 552.16 7.29/7.42 c abscon : 1801.0 7.29/7.42 c 7.29/7.42 c 7.29/7.42 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml 7.29/7.42 c 19 > 0.000000 | c 35 > 30.074600 | c 17 > 0.000000 | c 18 > 10.067100 | c 33 > 0.000000 | c 15 > 19.717200 | c 34 > 20.074600 | c 16 > 17.000000 | c 13 > 7.763330 | c 14 > 10.791200 | c 11 > 7.247930 | c 12 > 6.864670 | c 21 > 5.504540 | c 20 > 89.932900 | c 22 > 5.656850 | c 23 > 97.313100 | c 24 > 96.969700 | c 25 > 15.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.228820 | c 2 > -1.000000 | c 10 > 9.915880 | 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 > 12.170900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.29/7.43 c choco : 24.02 7.29/7.43 c mistral : 1801.0 7.29/7.43 c abscon : 1801.0 7.29/7.43 c 7.29/7.43 c 7.29/7.43 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml 7.29/7.43 c 19 > 0.000000 | c 35 > 30.084700 | c 17 > 0.000000 | c 18 > 10.606100 | c 33 > 0.000000 | c 15 > 19.923600 | c 34 > 20.084700 | c 16 > 16.000000 | c 13 > 8.520580 | c 14 > 11.147200 | c 11 > 7.076820 | c 12 > 7.612850 | c 21 > 5.321260 | c 20 > 89.393900 | c 22 > 5.477230 | c 23 > 97.162300 | c 24 > 96.774200 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.055280 | c 2 > -1.000000 | c 10 > 9.667110 | 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 > 11.902400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.29/7.44 c choco : 81.95 7.29/7.44 c mistral : 110.72 7.29/7.44 c abscon : 72.55 7.29/7.44 c 7.29/7.44 c 7.29/7.44 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml 7.29/7.44 c 19 > 0.000000 | c 35 > 30.097100 | c 17 > 0.000000 | c 18 > 11.206900 | c 33 > 0.000000 | c 15 > 20.200100 | c 34 > 20.097100 | c 16 > 15.000000 | c 13 > 8.563910 | c 14 > 11.674600 | c 11 > 6.894820 | c 12 > 7.884080 | c 21 > 5.131600 | c 20 > 88.793100 | c 22 > 5.291500 | c 23 > 96.993800 | c 24 > 96.551700 | c 25 > 13.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.870360 | c 2 > -1.000000 | c 10 > 9.403010 | 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 > 11.616100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.29/7.45 c choco : 33.25 7.29/7.45 c mistral : 36.8 7.29/7.45 c abscon : 10.75 7.29/7.45 c 7.29/7.45 c 7.29/7.45 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml 7.29/7.45 c 19 > 0.000000 | c 35 > 30.112400 | c 17 > 0.000000 | c 18 > 11.881200 | c 33 > 0.000000 | c 15 > 20.330700 | c 34 > 20.112400 | c 16 > 14.000000 | c 13 > 8.939850 | c 14 > 11.970800 | c 11 > 6.700440 | c 12 > 8.323700 | c 21 > 4.934870 | c 20 > 88.118800 | c 22 > 5.099020 | c 23 > 96.804600 | c 24 > 96.296300 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.672430 | c 2 > -1.000000 | c 10 > 9.121530 | 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 > 11.309500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.29/7.46 c choco : 17.59 7.29/7.46 c mistral : 7.72 7.29/7.46 c abscon : 7.11 7.29/7.46 c 7.29/7.46 c 7.29/7.46 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-13.xml 7.29/7.46 c 19 > 0.000000 | c 35 > 30.131600 | c 17 > 0.000000 | c 18 > 12.643700 | c 33 > 0.000000 | c 15 > 17.286500 | c 34 > 20.131600 | c 16 > 13.000000 | c 13 > 6.100340 | c 14 > 9.131860 | c 11 > 6.491850 | c 12 > 5.083210 | c 21 > 4.730220 | c 20 > 87.356300 | c 22 > 4.898980 | c 23 > 96.590900 | c 24 > 96.000000 | c 25 > 11.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.459430 | c 2 > -1.000000 | c 10 > 8.820180 | 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 > 10.979400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.29/7.47 c choco : 17.72 7.29/7.47 c mistral : 0.2 7.29/7.47 c abscon : 6.83 7.29/7.47 c 7.29/7.47 c 7.29/7.47 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-12.xml 7.29/7.47 c 19 > 0.000000 | c 35 > 30.156200 | c 17 > 0.000000 | c 18 > 13.513500 | c 33 > 0.000000 | c 15 > 15.511500 | c 34 > 20.156200 | c 16 > 12.000000 | c 13 > 4.685810 | c 14 > 7.569860 | c 11 > 6.266790 | c 12 > 4.069720 | c 21 > 4.516640 | c 20 > 86.486500 | c 22 > 4.690420 | c 23 > 96.347800 | c 24 > 95.652200 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.228820 | c 2 > -1.000000 | c 10 > 8.495860 | 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 > 10.622100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.29/7.48 c choco : 12.41 7.29/7.48 c mistral : 0.15 7.29/7.48 c abscon : 5.75 7.29/7.48 c 7.29/7.48 c 7.29/7.48 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-11.xml 7.29/7.48 c 19 > 0.000000 | c 35 > 30.188700 | c 17 > 0.000000 | c 18 > 14.516100 | c 33 > 0.000000 | c 15 > 16.090600 | c 34 > 20.188700 | c 16 > 11.000000 | c 13 > 5.307610 | c 14 > 8.426260 | c 11 > 6.022370 | c 12 > 4.572890 | c 21 > 4.292850 | c 20 > 85.483900 | c 22 > 4.472140 | c 23 > 96.069500 | c 24 > 95.238100 | c 25 > 9.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.977280 | c 2 > -1.000000 | c 10 > 8.144660 | 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 > 10.232400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.29/7.49 c choco : 16.54 7.29/7.49 c mistral : 0.03 7.29/7.49 c abscon : 4.59 7.29/7.49 c 7.29/7.49 c 7.29/7.49 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-10.xml 7.29/7.49 c 19 > 0.000000 | c 35 > 30.232600 | c 17 > 0.000000 | c 18 > 15.686300 | c 33 > 0.000000 | c 15 > 11.582600 | c 34 > 20.232600 | c 16 > 10.000000 | c 13 > 2.476970 | c 14 > 4.087460 | c 11 > 5.754890 | c 12 > 2.567040 | c 21 > 4.057280 | c 20 > 84.313700 | c 22 > 4.242640 | c 23 > 95.749000 | c 24 > 94.736800 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 7.761550 | 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 > 9.804130 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.37/7.50 c choco : 3.04 7.37/7.50 c mistral : 0.03 7.37/7.50 c abscon : 2.48 7.37/7.50 c 7.37/7.50 c 7.37/7.50 c /home/eomahony/cpZilla/CSP/xml/nengfa/protein.xml 7.37/7.50 c 19 > 3.236250 | c 35 > 24.350600 | c 17 > 0.000000 | c 18 > 0.323625 | c 33 > 8.766230 | c 15 > 20.288100 | c 34 > 25.746800 | c 16 > 27.000000 | c 13 > 8.883710 | c 14 > 12.222500 | c 11 > 8.988680 | c 12 > 7.640540 | c 21 > 9.363670 | c 20 > 96.440100 | c 22 > 31.796200 | 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 > 100.000000 | c 3 > 7.199670 | c 2 > 6.442940 | c 10 > 9.660000 | c 1 > 5.643860 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 4.643860 | c 6 > 6.000000 | c 32 > 0.000000 | c 5 > 15.647000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.321930 | c 7.37/7.51 c choco : 53.77 7.37/7.51 c mistral : 0.019996 7.37/7.51 c abscon : 639.803 7.37/7.51 c 7.37/7.51 c 7.37/7.51 c /home/eomahony/cpZilla/CSP/xml/nengfa/queens2.xml 7.37/7.51 c 19 > 0.000000 | c 35 > 19.807700 | c 17 > 0.000000 | c 18 > 1.421800 | c 33 > 0.000000 | c 15 > 15.868300 | c 34 > 19.807700 | c 16 > 104.000000 | c 13 > 5.052650 | c 14 > 6.523560 | c 11 > 8.276120 | c 12 > 5.750310 | c 21 > 10.198000 | c 20 > 98.578200 | c 22 > 10.198000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 3.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.276120 | c 2 > -1.000000 | c 10 > 13.990500 | 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 > 14.976600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.51 c choco : 7.96 7.37/7.51 c mistral : 0.043992 7.37/7.51 c abscon : 4.92825 7.37/7.51 c 7.37/7.51 c 7.37/7.51 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-5.xml 7.37/7.51 c 19 > 10.679600 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.611650 | c 15 > 18.333100 | c 34 > 32.330100 | c 16 > 2.000000 | c 13 > 11.606500 | c 14 > 11.786700 | c 11 > 4.700440 | c 12 > 13.370800 | c 21 > 4.926380 | c 20 > 89.320400 | c 22 > 5.000000 | c 23 > 97.929000 | c 24 > 46.153800 | 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 > 8.276120 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.301500 | c 31 > -1.000000 | c 4 > 4.700440 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.52 c choco : 5.92 7.37/7.52 c mistral : 0.085986 7.37/7.52 c abscon : 1.46978 7.37/7.52 c 7.37/7.52 c 7.37/7.52 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-5.xml 7.37/7.52 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.144400 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.235190 | c 14 > 10.104600 | c 11 > 10.501800 | c 12 > 4.124560 | c 21 > 10.368200 | c 20 > 100.000000 | c 22 > 10.770300 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.387600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.53 c choco : 22.11 7.37/7.53 c mistral : 45.91 7.37/7.53 c abscon : 1801.0 7.37/7.53 c 7.37/7.53 c 7.37/7.53 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-1.xml 7.37/7.53 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.338300 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.928610 | c 14 > 9.951280 | c 11 > 10.501800 | c 12 > 3.846340 | c 21 > 10.373000 | c 20 > 100.000000 | c 22 > 10.723800 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.389000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.53 c choco : 36.03 7.37/7.53 c mistral : 104.09 7.37/7.53 c abscon : 1801.0 7.37/7.53 c 7.37/7.53 c 7.37/7.53 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-3.xml 7.37/7.53 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.359100 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.907760 | c 14 > 10.626600 | c 11 > 10.501800 | c 12 > 4.606160 | c 21 > 10.705100 | c 20 > 100.000000 | c 22 > 11.225000 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.478500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.54 c choco : 20.77 7.37/7.54 c mistral : 32.33 7.37/7.54 c abscon : 7.44 7.37/7.54 c 7.37/7.54 c 7.37/7.54 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-4.xml 7.37/7.54 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.287600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.851260 | c 14 > 10.092800 | c 11 > 10.501800 | c 12 > 4.461010 | c 21 > 10.611300 | c 20 > 100.000000 | c 22 > 11.225000 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.453500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.55 c choco : 1801.0 7.37/7.55 c mistral : 3.25 7.37/7.55 c abscon : 1801.0 7.37/7.55 c 7.37/7.55 c 7.37/7.55 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-5.xml 7.37/7.55 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.228000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.792060 | c 14 > 10.250300 | c 11 > 10.501800 | c 12 > 3.813600 | c 21 > 10.568800 | c 20 > 100.000000 | c 22 > 11.090500 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.442100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.55 c choco : 18.6 7.37/7.55 c mistral : 8.49 7.37/7.55 c abscon : 12.34 7.37/7.55 c 7.37/7.55 c 7.37/7.55 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-1.xml 7.37/7.55 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.215600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.335620 | c 14 > 10.120200 | c 11 > 10.501800 | c 12 > 5.270890 | c 21 > 10.601900 | c 20 > 100.000000 | c 22 > 11.313700 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.451000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.56 c choco : 19.39 7.37/7.56 c mistral : 1.34 7.37/7.56 c abscon : 19.6 7.37/7.56 c 7.37/7.56 c 7.37/7.56 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-1.xml 7.37/7.56 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.680800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.997040 | c 14 > 10.641100 | c 11 > 10.501800 | c 12 > 4.861960 | c 21 > 11.013600 | c 20 > 100.000000 | c 22 > 11.313700 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.559300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.57 c choco : 36.56 7.37/7.57 c mistral : 1801.0 7.37/7.57 c abscon : 1801.0 7.37/7.57 c 7.37/7.57 c 7.37/7.57 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-3.xml 7.37/7.57 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 20.870900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.918020 | c 14 > 10.299200 | c 11 > 10.501800 | c 12 > 2.984370 | c 21 > 10.425900 | c 20 > 100.000000 | c 22 > 10.862800 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.403400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.57 c choco : 22.1 7.37/7.57 c mistral : 16.74 7.37/7.57 c abscon : 9.2 7.37/7.57 c 7.37/7.57 c 7.37/7.57 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-9.xml 7.37/7.57 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.227900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.977270 | c 14 > 9.975850 | c 11 > 10.501800 | c 12 > 3.293390 | c 21 > 10.695800 | c 20 > 100.000000 | 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 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.476000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.58 c choco : 23.53 7.37/7.58 c mistral : 9.27 7.37/7.58 c abscon : 1801.0 7.37/7.58 c 7.37/7.58 c 7.37/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-4.xml 7.37/7.58 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.398200 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.008480 | c 14 > 10.194800 | c 11 > 10.501800 | c 12 > 3.994330 | c 21 > 11.135500 | c 20 > 100.000000 | c 22 > 11.532600 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.590600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.58 c choco : 24.47 7.37/7.58 c mistral : 47.71 7.37/7.58 c abscon : 1801.0 7.37/7.58 c 7.37/7.58 c 7.37/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-3.xml 7.37/7.58 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.112600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.651960 | c 14 > 9.774790 | c 11 > 10.501800 | c 12 > 4.012010 | c 21 > 10.986400 | c 20 > 100.000000 | 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 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.552200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.59 c choco : 1801.0 7.37/7.59 c mistral : 624.82 7.37/7.59 c abscon : 1801.0 7.37/7.59 c 7.37/7.59 c 7.37/7.59 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-2.xml 7.37/7.59 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.136300 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.926470 | c 14 > 9.722810 | c 11 > 10.501800 | c 12 > 3.257110 | c 21 > 10.733100 | c 20 > 100.000000 | c 22 > 11.180300 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.485900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.59 c choco : 1801.0 7.37/7.59 c mistral : 5.76 7.37/7.59 c abscon : 1801.0 7.37/7.59 c 7.37/7.59 c 7.37/7.59 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-1.xml 7.37/7.59 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.432900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.295840 | c 14 > 10.732200 | c 11 > 10.501800 | c 12 > 4.158160 | c 21 > 11.327000 | c 20 > 100.000000 | c 22 > 11.789800 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.639100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.60 c choco : 80.29 7.42/7.60 c mistral : 11.08 7.42/7.60 c abscon : 13.73 7.42/7.60 c 7.42/7.60 c 7.42/7.60 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-8.xml 7.42/7.60 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 20.789000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.186030 | c 14 > 9.625710 | c 11 > 10.501800 | c 12 > 2.273360 | c 21 > 10.411500 | c 20 > 100.000000 | c 22 > 10.862800 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.399500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.61 c choco : 49.15 7.42/7.61 c mistral : 19.48 7.42/7.61 c abscon : 1801.0 7.42/7.61 c 7.42/7.61 c 7.42/7.61 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-6.xml 7.42/7.61 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.295900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.760440 | c 14 > 10.099300 | c 11 > 10.501800 | c 12 > 4.615640 | c 21 > 11.300400 | c 20 > 100.000000 | c 22 > 11.747300 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.632500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.61 c choco : 1801.0 7.42/7.61 c mistral : 1.4 7.42/7.61 c abscon : 7.93 7.42/7.61 c 7.42/7.61 c 7.42/7.61 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-6.xml 7.42/7.61 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 19.793800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.766770 | c 14 > 9.550750 | c 11 > 10.501800 | c 12 > 2.573470 | c 21 > 10.540400 | c 20 > 100.000000 | c 22 > 10.954500 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.434400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.62 c choco : 19.79 7.42/7.62 c mistral : 6.41 7.42/7.62 c abscon : 496.48 7.42/7.62 c 7.42/7.62 c 7.42/7.62 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-6.xml 7.42/7.62 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.498800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.414900 | c 14 > 10.803300 | c 11 > 10.501800 | c 12 > 5.164800 | c 21 > 11.584500 | c 20 > 100.000000 | c 22 > 12.165500 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.703200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.62 c choco : 26.5 7.42/7.62 c mistral : 1.86 7.42/7.62 c abscon : 8.39 7.42/7.62 c 7.42/7.62 c 7.42/7.62 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-9.xml 7.42/7.62 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.123400 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.720140 | c 14 > 9.654640 | c 11 > 10.501800 | c 12 > 3.099240 | c 21 > 11.117600 | c 20 > 100.000000 | 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 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.586000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.63 c choco : 28.09 7.42/7.63 c mistral : 1801.0 7.42/7.63 c abscon : 9.71 7.42/7.63 c 7.42/7.63 c 7.42/7.63 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-8.xml 7.42/7.63 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.081800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.313200 | c 14 > 9.184880 | c 11 > 10.501800 | c 12 > 2.795650 | c 21 > 10.788900 | c 20 > 100.000000 | 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 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.500700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.64 c choco : 1801.0 7.42/7.64 c mistral : 2.04 7.42/7.64 c abscon : 19.23 7.42/7.64 c 7.42/7.64 c 7.42/7.64 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-3.xml 7.42/7.64 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.027000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.636430 | c 14 > 9.381540 | c 11 > 10.501800 | c 12 > 3.260340 | c 21 > 11.238300 | c 20 > 100.000000 | c 22 > 11.789800 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.616800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.64 c choco : 1801.0 7.42/7.64 c mistral : 11.18 7.42/7.65 c abscon : 1801.0 7.42/7.65 c 7.42/7.65 c 7.42/7.65 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-5.xml 7.42/7.65 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 20.560600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.799240 | c 14 > 9.884170 | c 11 > 10.501800 | c 12 > 2.770060 | c 21 > 11.532600 | c 20 > 100.000000 | c 22 > 11.916400 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.690400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.65 c choco : 23.33 7.42/7.65 c mistral : 32.47 7.42/7.65 c abscon : 8.06 7.42/7.65 c 7.42/7.65 c 7.42/7.65 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-8.xml 7.42/7.65 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 20.260900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 3.881060 | c 14 > 9.019590 | c 11 > 10.501800 | c 12 > 2.231390 | c 21 > 11.149000 | c 20 > 100.000000 | c 22 > 11.532600 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.594100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.66 c choco : 1801.0 7.42/7.66 c mistral : 46.92 7.42/7.66 c abscon : 8.26 7.42/7.66 c 7.42/7.66 c 7.42/7.66 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-ewddr2/super-jobShop-ewddr2-1.xml 7.42/7.66 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 19.511000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.538460 | c 14 > 9.541100 | c 11 > 10.501800 | c 12 > 2.741340 | c 21 > 11.593100 | c 20 > 100.000000 | c 22 > 12.247400 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.705300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.42/7.66 c choco : 36.63 7.42/7.66 c mistral : 2.43 7.42/7.66 c abscon : 8.31 7.42/7.66 c 7.42/7.66 c 7.42/7.67 c Length: 40 7.42/7.67 c 4.0447100640342555 17.687027037051763 19.054726944280784 28.139656919283865 31.327152486343223 70.01306197387241 70.7152724765768 71.46866177454002 72.23405633546477 73.06864667663348 74.09229412631653 75.2946235752454 76.13482117128862 78.24665070062807 85.02197228095174 123.04572570047404 128.93320908703467 129.0924916927588 129.09761629704477 129.10525788267378 129.11306747988058 129.11550786285628 129.1172782804416 129.1225262430088 129.12553753455666 129.14516022241793 129.1578799334156 129.15904766375564 129.16080916638452 129.16286339570868 129.17020714712933 129.17099906171237 129.18069402292744 129.1867168835407 129.20088282847954 129.20267301785594 129.22895501789142 129.244183475139 129.26937265519896 129.27715854116727 7.42/7.67 c 7.42/7.67 c 1.0 0.9017653284324397 0.8929709568211273 0.8386434933682629 0.8211162053658277 0.6549786832674086 0.6525819886647258 0.6500300449669055 0.6474577936779436 0.6446760986481077 0.6412967411394511 0.6373724705353558 0.6346585445724255 0.6279380854709045 0.6073062614540885 0.512757123319095 0.5006875662705788 0.5003689201666675 0.50035867508974 0.5003433988586128 0.5003277877206613 0.500322909672 0.5003193708676671 0.5003088812565696 0.5003028624950806 0.5002636455684987 0.5002382278718108 0.5002358945350618 0.5002323747749041 0.5002282701631887 0.5002135969637365 0.5002120147283967 0.500192645129622 0.5001806127895904 0.5001523146545348 0.5001487387693595 0.5000962466252058 0.5000658363873496 0.500015543351784 0.5 7.42/7.68 c 7.42/7.68 c solver 0 7.42/7.68 c before 0.0 seconds: {} 0 7.42/7.68 c before 18.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 15, 16, 19, 21, 24, 29, 31, 33, 34, 37, 38, 39} 14303 7.42/7.68 c before 36.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 15, 16, 19, 21, 22, 24, 29, 31, 33, 34, 35, 37, 38, 39} 15303 7.42/7.68 c before 90.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 15, 16, 19, 21, 22, 24, 29, 31, 33, 34, 35, 37, 38, 39} 15953 7.42/7.68 c before 504.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 15, 16, 19, 21, 22, 24, 29, 31, 32, 33, 34, 35, 37, 38, 39} 16453 7.42/7.68 c before 648.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 21, 22, 24, 29, 31, 32, 33, 34, 35, 37, 38, 39} 17061 7.42/7.68 c 7.42/7.68 c solver 1 7.42/7.68 c before 0.0 seconds: {} 0 7.42/7.68 c before 18.0 seconds: {0, 4, 9, 10, 11, 12, 13, 14, 15, 16, 20, 21, 22, 24, 25, 28, 29, 31, 32, 33, 35, 36, 39} 13130 7.42/7.68 c before 36.0 seconds: {0, 2, 4, 9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 22, 24, 25, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 15524 7.42/7.68 c before 54.0 seconds: {0, 2, 4, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 17672 7.42/7.68 c before 108.0 seconds: {0, 2, 4, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 18172 7.42/7.68 c before 126.0 seconds: {0, 2, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 18822 7.42/7.68 c before 558.0 seconds: {0, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 19477 7.42/7.68 c before 630.0 seconds: {0, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 19977 7.42/7.68 c 7.42/7.68 c solver 2 7.42/7.68 c before 0.0 seconds: {} 0 7.42/7.68 c before 18.0 seconds: {4, 9, 10, 11, 12, 13, 15, 16} 5020 7.42/7.68 c before 36.0 seconds: {4, 6, 8, 9, 10, 11, 12, 13, 15, 16, 17, 19, 21, 22, 24, 25, 26, 32, 33, 34, 37} 11823 7.42/7.68 c before 54.0 seconds: {4, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 30, 32, 33, 34, 37, 39} 14431 7.42/7.68 c before 90.0 seconds: {4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 29, 30, 32, 33, 34, 37, 39} 15581 7.42/7.68 c before 234.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 29, 30, 32, 33, 34, 37, 39} 16236 7.42/7.68 c 7.42/7.68 cTotal time: 84 7.42/7.68 c 1512.0 seconds unused 7.42/7.68 c 0 c 3 c 7 7.42/7.68 c 10 c 0 c 9 7.42/7.68 c 8 c 3 c 0 7.42/7.68 c is solver0 dominated by: 7.42/7.68 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.42/7.68 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.42/7.68 c is dominated? false 7.42/7.68 c 7.42/7.68 c is solver1 dominated by: 7.42/7.68 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.42/7.68 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.42/7.68 c is dominated? false 7.42/7.68 c 7.42/7.68 c is solver2 dominated by: 7.42/7.68 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.42/7.68 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.42/7.68 c is dominated? false 7.42/7.68 c 7.42/7.68 c Number of non-dominated solvers: 3 7.42/7.68 c remove dominated solvers 7.42/7.68 c solver 0 is not dominated by another solver 7.42/7.69 c solver 1 is not dominated by another solver 7.42/7.69 c solver 2 is not dominated by another solver 7.42/7.69 c 7.42/7.69 c solver 0: 648.0 7.42/7.69 c 7.42/7.69 c+ 36/84 of 16 7.42/7.69 c 7.42/7.69 c solver 1: 630.0 7.42/7.69 c 7.42/7.69 c+ 35/84 of 16 7.42/7.69 c 7.42/7.69 c solver 2: 234.0 7.42/7.69 c 7.42/7.69 c+ 13/84 of 16 7.42/7.69 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 21, 22, 24, 29, 31, 32, 33, 34, 35, 37, 38, 39} 17061 7.42/7.69 c run mistral for 738.0 seconds {0, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 19977 7.42/7.69 c run choco for 270.0 seconds {4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 29, 30, 32, 33, 34, 37, 39} 16236 7.42/7.69 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.42/7.69 c On Instance: HOME/instance-1065395-1215146628.xml 7.42/7.69 c Running for: 756 seconds 9.66/9.99 s SAT 9.66/9.99 v 6 15 19 12 4 10 14 21 9 10 8 11 11 9 12 22 4 15 1 17 20 15 10 16 4 5 11 2 8 12 19 2 23 9 13 14 2 13 3 18 16 0 19 9 1 17 3 8 0 6 7 21 13 16 0 7 7 0 24 20 11 6 8 13 5 1 2 2 4 18 14 8 5 5 3 11 12 1 3 9 22 10 3 0 14 7 25 6 5 23 6 10 15 14 13 4 24 7 1 23 3 2 2 4 4 2 0 0 0 4 0 0 4 1 1 0 3 1 4 1 1 0 3 1 2 3 3 0 4 2 0 4 0 2 3 3 3 4 0 1 0 1 1 3 2 0 3 3 0 2 3 1 2 2 3 0 1 2 0 0 2 4 1 1 4 3 2 1 0 0 1 2 0 2 2 1 0 1 4 4 1 1 1 4 4 4 0 0 1 2 1 0 4 2 0 1 2 2 0 1 9.66/9.99 d ASSIGNMENTS 200 9.66/9.99 d CHECKS 512913
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065395-1215146628/watcher-1065395-1215146628 -o /tmp/evaluation-result-1065395-1215146628/solver-1065395-1215146628 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1065395-1215146628.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: 1.88 2.02 2.00 4/72 17311 /proc/meminfo: memFree=1681008/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=18572 CPUtime=0 /proc/17311/stat : 17311 (runsolver) R 17309 17311 12893 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1993635729 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 264840473895 0 0 4096 24578 0 0 0 17 1 0 0 /proc/17311/statm: 4643 292 257 25 0 2626 0 [startup+0.214087 s] /proc/loadavg: 1.88 2.02 2.00 4/72 17311 /proc/meminfo: memFree=1681008/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=0 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635729 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302089 s] /proc/loadavg: 1.88 2.02 2.00 4/72 17311 /proc/meminfo: memFree=1681008/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=0 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635729 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.401098 s] /proc/loadavg: 1.88 2.02 2.00 4/72 17311 /proc/meminfo: memFree=1681008/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=0 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635729 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701128 s] /proc/loadavg: 1.88 2.02 2.00 4/72 17311 /proc/meminfo: memFree=1681008/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=0 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635729 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50221 s] /proc/loadavg: 1.88 2.02 2.00 3/74 17315 /proc/meminfo: memFree=1675424/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=0 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635729 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 236 195 169 0 51 0 [pid=17315] ppid=17311 vsize=9844 CPUtime=1.47 /proc/17315/stat : 17315 (xsolve) R 17311 17311 12893 0 -1 4194304 1781 0 0 0 146 1 0 0 25 0 1 0 1993635730 10080256 1740 996147200 134512640 135239763 4294956176 18446744073709551615 135019181 0 0 4096 0 0 0 0 17 1 0 0 /proc/17315/statm: 2461 1740 432 177 0 1364 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 15204 [startup+3.10138 s] /proc/loadavg: 1.88 2.02 2.00 4/82 17327 /proc/meminfo: memFree=1673248/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=1.61 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 375 2377 0 0 0 0 159 2 18 0 1 0 1993635729 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 238 196 169 0 51 0 [pid=17319] ppid=17311 vsize=197004 CPUtime=1.42 /proc/17319/stat : 17319 (java) S 17311 17311 12893 0 -1 0 4999 0 1 0 138 4 0 0 19 0 9 0 1993635896 201732096 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17319/statm: 49251 4197 1679 9 0 43833 0 [pid=17319/tid=17320] ppid=17311 vsize=197004 CPUtime=1.12 /proc/17319/task/17320/stat : 17320 (java) R 17311 17311 12893 0 -1 64 2727 0 1 0 110 2 0 0 25 0 9 0 1993635897 201732096 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4126516915 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17321] ppid=17311 vsize=197004 CPUtime=0.13 /proc/17319/task/17321/stat : 17321 (java) S 17311 17311 12893 0 -1 64 933 0 0 0 12 1 0 0 16 0 9 0 1993635898 201732096 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17322] ppid=17311 vsize=197004 CPUtime=0 /proc/17319/task/17322/stat : 17322 (java) S 17311 17311 12893 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993635898 201732096 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17323] ppid=17311 vsize=197004 CPUtime=0 /proc/17319/task/17323/stat : 17323 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993635898 201732096 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17324] ppid=17311 vsize=197004 CPUtime=0 /proc/17319/task/17324/stat : 17324 (java) S 17311 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993635900 201732096 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17325] ppid=17311 vsize=197004 CPUtime=0.15 /proc/17319/task/17325/stat : 17325 (java) S 17311 17311 12893 0 -1 64 615 0 0 0 15 0 0 0 16 0 9 0 1993635900 201732096 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17326] ppid=17311 vsize=197004 CPUtime=0 /proc/17319/task/17326/stat : 17326 (java) S 17311 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993635900 201732096 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17327] ppid=17311 vsize=197004 CPUtime=0 /proc/17319/task/17327/stat : 17327 (java) S 17311 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993635900 201732096 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202364 [startup+6.30271 s] /proc/loadavg: 1.89 2.01 2.00 3/82 17327 /proc/meminfo: memFree=1659744/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=1.61 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 375 2377 0 0 0 0 159 2 18 0 1 0 1993635729 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 238 196 169 0 51 0 [pid=17319] ppid=17311 vsize=197116 CPUtime=4.6 /proc/17319/stat : 17319 (java) S 17311 17311 12893 0 -1 0 10046 0 1 0 448 12 0 0 19 0 9 0 1993635896 201846784 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17319/statm: 49279 8337 2541 9 0 43861 0 [pid=17319/tid=17320] ppid=17311 vsize=197116 CPUtime=3.69 /proc/17319/task/17320/stat : 17320 (java) R 17311 17311 12893 0 -1 64 3566 0 1 0 364 5 0 0 25 0 9 0 1993635897 201846784 8337 996147200 134512640 134550740 4294955968 18446744073709551615 102105664 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17321] ppid=17311 vsize=197116 CPUtime=0.71 /proc/17319/task/17321/stat : 17321 (java) S 17311 17311 12893 0 -1 64 5126 0 0 0 66 5 0 0 16 0 9 0 1993635898 201846784 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17322] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17322/stat : 17322 (java) S 17311 17311 12893 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993635898 201846784 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17323] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17323/stat : 17323 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993635898 201846784 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17324] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17324/stat : 17324 (java) S 17311 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993635900 201846784 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17325] ppid=17311 vsize=197116 CPUtime=0.17 /proc/17319/task/17325/stat : 17325 (java) S 17311 17311 12893 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1993635900 201846784 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17326] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17326/stat : 17326 (java) S 17311 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993635900 201846784 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17327] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17327/stat : 17327 (java) S 17311 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993635900 201846784 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202476 Solver just ended. Dumping a history of the last processes samples [startup+6.50311 s] /proc/loadavg: 1.89 2.01 2.00 3/82 17327 /proc/meminfo: memFree=1659744/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=1.61 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 375 2377 0 0 0 0 159 2 18 0 1 0 1993635729 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 238 196 169 0 51 0 [pid=17319] ppid=17311 vsize=197116 CPUtime=4.8 /proc/17319/stat : 17319 (java) S 17311 17311 12893 0 -1 0 10278 0 1 0 468 12 0 0 19 0 9 0 1993635896 201846784 8532 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17319/statm: 49279 8532 2541 9 0 43861 0 [pid=17319/tid=17320] ppid=17311 vsize=197116 CPUtime=3.86 /proc/17319/task/17320/stat : 17320 (java) R 17311 17311 12893 0 -1 64 3603 0 1 0 381 5 0 0 25 0 9 0 1993635897 201846784 8532 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17321] ppid=17311 vsize=197116 CPUtime=0.74 /proc/17319/task/17321/stat : 17321 (java) S 17311 17311 12893 0 -1 64 5321 0 0 0 68 6 0 0 15 0 9 0 1993635898 201846784 8532 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17322] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17322/stat : 17322 (java) S 17311 17311 12893 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993635898 201846784 8532 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17323] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17323/stat : 17323 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993635898 201846784 8532 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17324] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17324/stat : 17324 (java) S 17311 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993635900 201846784 8532 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17325] ppid=17311 vsize=197116 CPUtime=0.17 /proc/17319/task/17325/stat : 17325 (java) S 17311 17311 12893 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1993635900 201846784 8532 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17326] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17326/stat : 17326 (java) S 17311 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993635900 201846784 8532 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17327] ppid=17311 vsize=197116 CPUtime=0 /proc/17319/task/17327/stat : 17327 (java) S 17311 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993635900 201846784 8532 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.41 Current children cumulated vsize (KiB) 202476 [startup+8.10289 s] /proc/loadavg: 1.89 2.01 2.00 3/94 17339 /proc/meminfo: memFree=1646464/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=1.61 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 375 2377 0 0 0 0 159 2 18 0 1 0 1993635729 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 238 196 169 0 51 0 [pid=17319] ppid=17311 vsize=197440 CPUtime=5.87 /proc/17319/stat : 17319 (java) S 17311 17311 12893 0 -1 0 11444 0 1 0 570 17 0 0 19 0 10 0 1993635896 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17319/statm: 49360 9422 2544 9 0 43942 0 [pid=17329] ppid=17319 vsize=5356 CPUtime=0 /proc/17329/stat : 17329 (abscon) S 17319 17311 12893 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1993636498 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/17329/statm: 1339 237 196 169 0 50 0 [pid=17330] ppid=17329 vsize=654712 CPUtime=0.38 /proc/17330/stat : 17330 (java) S 17329 17311 12893 0 -1 0 6654 0 1 0 33 5 0 0 18 0 9 0 1993636499 670425088 6168 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17330/statm: 163678 6175 1975 9 0 158206 0 [pid=17330/tid=17332] ppid=17329 vsize=654712 CPUtime=0.31 /proc/17330/task/17332/stat : 17332 (java) R 17329 17311 12893 0 -1 64 5833 0 1 0 27 4 0 0 25 0 9 0 1993636500 670425088 6180 996147200 134512640 134550740 4294955808 18446744073709551615 104454898 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17333] ppid=17329 vsize=654712 CPUtime=0 /proc/17330/task/17333/stat : 17333 (java) S 17329 17311 12893 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 1993636501 670425088 6188 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17334] ppid=17329 vsize=654712 CPUtime=0 /proc/17330/task/17334/stat : 17334 (java) S 17329 17311 12893 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1993636501 670425088 6197 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17335] ppid=17329 vsize=654712 CPUtime=0 /proc/17330/task/17335/stat : 17335 (java) S 17329 17311 12893 0 -1 64 3 0 0 0 0 0 0 0 23 0 9 0 1993636501 670425088 6206 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17336] ppid=17329 vsize=654712 CPUtime=0 /proc/17330/task/17336/stat : 17336 (java) S 17329 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1993636503 670425088 6209 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17337] ppid=17329 vsize=654712 CPUtime=0.05 /proc/17330/task/17337/stat : 17337 (java) S 17329 17311 12893 0 -1 64 289 0 0 0 5 0 0 0 16 0 9 0 1993636503 670425088 6210 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17338] ppid=17329 vsize=654712 CPUtime=0 /proc/17330/task/17338/stat : 17338 (java) S 17329 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993636503 670425088 6210 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17339] ppid=17329 vsize=654712 CPUtime=0 /proc/17330/task/17339/stat : 17339 (java) S 17329 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993636503 670425088 6211 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17331] ppid=17329 vsize=7044 CPUtime=0 /proc/17331/stat : 17331 (translate) S 17329 17311 12893 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993636499 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/17331/statm: 1761 213 182 1 0 41 0 [pid=17319/tid=17320] ppid=17311 vsize=197440 CPUtime=4.76 /proc/17319/task/17320/stat : 17320 (java) S 17311 17311 12893 0 -1 64 3863 0 1 0 468 8 0 0 25 0 10 0 1993635897 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=17319/tid=17321] ppid=17311 vsize=197440 CPUtime=0.84 /proc/17319/task/17321/stat : 17321 (java) S 17311 17311 12893 0 -1 64 6117 0 0 0 77 7 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17322] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17322/stat : 17322 (java) S 17311 17311 12893 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17323] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17323/stat : 17323 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17324] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17324/stat : 17324 (java) S 17311 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17325] ppid=17311 vsize=197440 CPUtime=0.23 /proc/17319/task/17325/stat : 17325 (java) S 17311 17311 12893 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/17330/task/17335/stat : 17335 (java) S 17329 17311 12893 0 -1 64 3 0 0 0 0 0 0 0 23 0 9 0 1993636501 671539200 13185 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17336] ppid=17329 vsize=655800 CPUtime=0 /proc/17330/task/17336/stat : 17336 (java) S 17329 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1993636503 671539200 13186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17337] ppid=17329 vsize=655800 CPUtime=0.21 /proc/17330/task/17337/stat : 17337 (java) S 17329 17311 12893 0 -1 64 696 0 0 0 21 0 0 0 16 0 9 0 1993636503 671539200 13186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17338] ppid=17329 vsize=655800 CPUtime=0 /proc/17330/task/17338/stat : 17338 (java) S 17329 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993636503 671539200 13186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17339] ppid=17329 vsize=655800 CPUtime=0 /proc/17330/task/17339/stat : 17339 (java) S 17329 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993636503 671539200 13186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17331] ppid=17329 vsize=7044 CPUtime=0 /proc/17331/stat : 17331 (translate) S 17329 17311 12893 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993636499 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/17331/statm: 1761 213 182 1 0 41 0 [pid=17319/tid=17320] ppid=17311 vsize=197440 CPUtime=4.76 /proc/17319/task/17320/stat : 17320 (java) S 17311 17311 12893 0 -1 64 3863 0 1 0 468 8 0 0 25 0 10 0 1993635897 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=17319/tid=17321] ppid=17311 vsize=197440 CPUtime=0.84 /proc/17319/task/17321/stat : 17321 (java) S 17311 17311 12893 0 -1 64 6121 0 0 0 77 7 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17322] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17322/stat : 17322 (java) S 17311 17311 12893 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17323] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17323/stat : 17323 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17324] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17324/stat : 17324 (java) S 17311 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17325] ppid=17311 vsize=197440 CPUtime=0.23 /proc/17319/task/17325/stat : 17325 (java) S 17311 17311 12893 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17326] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17326/stat : 17326 (java) S 17311 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17327] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17327/stat : 17327 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17328] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17328/stat : 17328 (java) S 17311 17311 12893 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 1993636498 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.67 Current children cumulated vsize (KiB) 871000 [startup+9.70306 s] /proc/loadavg: 1.89 2.01 2.00 3/94 17339 /proc/meminfo: memFree=1607552/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=1.61 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 375 2377 0 0 0 0 159 2 18 0 1 0 1993635729 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 238 196 169 0 51 0 [pid=17319] ppid=17311 vsize=197440 CPUtime=5.87 /proc/17319/stat : 17319 (java) S 17311 17311 12893 0 -1 0 11448 0 1 0 570 17 0 0 19 0 10 0 1993635896 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17319/statm: 49360 9422 2544 9 0 43942 0 [pid=17329] ppid=17319 vsize=5356 CPUtime=0 /proc/17329/stat : 17329 (abscon) S 17319 17311 12893 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1993636498 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/17329/statm: 1339 237 196 169 0 50 0 [pid=17330] ppid=17329 vsize=655936 CPUtime=1.98 /proc/17330/stat : 17330 (java) S 17329 17311 12893 0 -1 0 19872 0 1 0 177 21 0 0 18 0 9 0 1993636499 671678464 19188 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17330/statm: 163984 19188 2616 9 0 158512 0 [pid=17330/tid=17332] ppid=17329 vsize=655936 CPUtime=1.5 /proc/17330/task/17332/stat : 17332 (java) R 17329 17311 12893 0 -1 64 12558 0 1 0 133 17 0 0 25 0 9 0 1993636500 671678464 19188 996147200 134512640 134550740 4294955808 18446744073709551615 4126887484 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17333] ppid=17329 vsize=655936 CPUtime=0.16 /proc/17330/task/17333/stat : 17333 (java) S 17329 17311 12893 0 -1 64 6027 0 0 0 14 2 0 0 16 0 9 0 1993636501 671678464 19188 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17334] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17334/stat : 17334 (java) S 17329 17311 12893 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993636501 671678464 19188 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17335] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17335/stat : 17335 (java) S 17329 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993636501 671678464 19188 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17336] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17336/stat : 17336 (java) S 17329 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1993636503 671678464 19188 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17337] ppid=17329 vsize=655936 CPUtime=0.29 /proc/17330/task/17337/stat : 17337 (java) S 17329 17311 12893 0 -1 64 741 0 0 0 29 0 0 0 15 0 9 0 1993636503 671678464 19188 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17338] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17338/stat : 17338 (java) S 17329 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993636503 671678464 19188 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17339] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17339/stat : 17339 (java) S 17329 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993636503 671678464 19188 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17331] ppid=17329 vsize=7044 CPUtime=0 /proc/17331/stat : 17331 (translate) S 17329 17311 12893 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993636499 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/17331/statm: 1761 213 182 1 0 41 0 [pid=17319/tid=17320] ppid=17311 vsize=197440 CPUtime=4.76 /proc/17319/task/17320/stat : 17320 (java) S 17311 17311 12893 0 -1 64 3863 0 1 0 468 8 0 0 25 0 10 0 1993635897 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=17319/tid=17321] ppid=17311 vsize=197440 CPUtime=0.84 /proc/17319/task/17321/stat : 17321 (java) S 17311 17311 12893 0 -1 64 6121 0 0 0 77 7 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17322] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17322/stat : 17322 (java) S 17311 17311 12893 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17323] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17323/stat : 17323 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17324] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17324/stat : 17324 (java) S 17311 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17325] ppid=17311 vsize=197440 CPUtime=0.23 /proc/17319/task/17325/stat : 17325 (java) S 17311 17311 12893 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17326] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17326/stat : 17326 (java) S 17311 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17327] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17327/stat : 17327 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17328] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17328/stat : 17328 (java) S 17311 17311 12893 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 1993636498 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 9.46 Current children cumulated vsize (KiB) 871136 [startup+9.90308 s] /proc/loadavg: 1.89 2.01 2.00 3/94 17339 /proc/meminfo: memFree=1607552/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=1.61 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 375 2377 0 0 0 0 159 2 18 0 1 0 1993635729 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 238 196 169 0 51 0 [pid=17319] ppid=17311 vsize=197440 CPUtime=5.87 /proc/17319/stat : 17319 (java) S 17311 17311 12893 0 -1 0 11448 0 1 0 570 17 0 0 19 0 10 0 1993635896 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17319/statm: 49360 9422 2544 9 0 43942 0 [pid=17329] ppid=17319 vsize=5356 CPUtime=0 /proc/17329/stat : 17329 (abscon) S 17319 17311 12893 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1993636498 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/17329/statm: 1339 237 196 169 0 50 0 [pid=17330] ppid=17329 vsize=655936 CPUtime=2.18 /proc/17330/stat : 17330 (java) S 17329 17311 12893 0 -1 0 19874 0 1 0 197 21 0 0 18 0 9 0 1993636499 671678464 19190 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17330/statm: 163984 19190 2616 9 0 158512 0 [pid=17330/tid=17332] ppid=17329 vsize=655936 CPUtime=1.7 /proc/17330/task/17332/stat : 17332 (java) R 17329 17311 12893 0 -1 64 12558 0 1 0 153 17 0 0 25 0 9 0 1993636500 671678464 19190 996147200 134512640 134550740 4294955808 18446744073709551615 4127163200 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17333] ppid=17329 vsize=655936 CPUtime=0.16 /proc/17330/task/17333/stat : 17333 (java) S 17329 17311 12893 0 -1 64 6027 0 0 0 14 2 0 0 16 0 9 0 1993636501 671678464 19190 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17334] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17334/stat : 17334 (java) S 17329 17311 12893 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993636501 671678464 19190 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17335] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17335/stat : 17335 (java) S 17329 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993636501 671678464 19190 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17336] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17336/stat : 17336 (java) S 17329 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1993636503 671678464 19190 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17337] ppid=17329 vsize=655936 CPUtime=0.29 /proc/17330/task/17337/stat : 17337 (java) S 17329 17311 12893 0 -1 64 743 0 0 0 29 0 0 0 15 0 9 0 1993636503 671678464 19190 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17338] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17338/stat : 17338 (java) S 17329 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993636503 671678464 19190 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17330/tid=17339] ppid=17329 vsize=655936 CPUtime=0 /proc/17330/task/17339/stat : 17339 (java) S 17329 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993636503 671678464 19190 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17331] ppid=17329 vsize=7044 CPUtime=0 /proc/17331/stat : 17331 (translate) S 17329 17311 12893 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993636499 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/17331/statm: 1761 213 182 1 0 41 0 [pid=17319/tid=17320] ppid=17311 vsize=197440 CPUtime=4.76 /proc/17319/task/17320/stat : 17320 (java) S 17311 17311 12893 0 -1 64 3863 0 1 0 468 8 0 0 25 0 10 0 1993635897 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=17319/tid=17321] ppid=17311 vsize=197440 CPUtime=0.84 /proc/17319/task/17321/stat : 17321 (java) S 17311 17311 12893 0 -1 64 6121 0 0 0 77 7 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17322] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17322/stat : 17322 (java) S 17311 17311 12893 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17323] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17323/stat : 17323 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993635898 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17324] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17324/stat : 17324 (java) S 17311 17311 12893 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17325] ppid=17311 vsize=197440 CPUtime=0.23 /proc/17319/task/17325/stat : 17325 (java) S 17311 17311 12893 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17326] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17326/stat : 17326 (java) S 17311 17311 12893 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17327] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17327/stat : 17327 (java) S 17311 17311 12893 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993635900 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17328] ppid=17311 vsize=197440 CPUtime=0 /proc/17319/task/17328/stat : 17328 (java) S 17311 17311 12893 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 1993636498 202178560 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 9.66 Current children cumulated vsize (KiB) 871136 [startup+10.0031 s] /proc/loadavg: 1.89 2.01 2.00 2/82 17339 /proc/meminfo: memFree=1652504/2055920 swapFree=4180396/4192956 [pid=17311] ppid=17309 vsize=5360 CPUtime=1.61 /proc/17311/stat : 17311 (hydra) S 17309 17311 12893 0 -1 4194304 375 2377 0 0 0 0 159 2 18 0 1 0 1993635729 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17311/statm: 1340 238 196 169 0 51 0 [pid=17319] ppid=17311 vsize=197440 CPUtime=8.13 /proc/17319/stat : 17319 (java) S 17311 17311 12893 0 -1 0 11532 20492 1 1 570 17 203 23 19 0 9 0 1993635896 202178560 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17319/statm: 49360 9424 2545 9 0 43942 0 [pid=17319/tid=17320] ppid=17311 vsize=197440 CPUtime=7.02 /proc/17319/task/17320/stat : 17320 (java) S 17311 17311 12893 0 -1 64 3914 20492 1 1 468 8 203 23 16 0 9 0 1993635897 202178560 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17319/tid=17321] ppid=17311 vsize=197440 CPUtime=3.1 /proc/17319/task/17321/stat : 17321 (java) S 17311 17311 12893 0 -1 64 6141 20492 0 1 77 7 203 23 16 0 9 0 1993635898 202178560 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17319/tid=17322] ppid=17311 vsize=197440 CPUtime=2.26 /proc/17319/task/17322/stat : 17322 (java) S 17311 17311 12893 0 -1 64 11 20492 0 1 0 0 203 23 16 0 9 0 1993635898 202178560 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17323] ppid=17311 vsize=197440 CPUtime=2.26 /proc/17319/task/17323/stat : 17323 (java) S 17311 17311 12893 0 -1 64 5 20492 0 1 0 0 203 23 16 0 9 0 1993635898 202178560 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17324] ppid=17311 vsize=197440 CPUtime=2.26 /proc/17319/task/17324/stat : 17324 (java) S 17311 17311 12893 0 -1 64 1 20492 0 1 0 0 203 23 18 0 9 0 1993635900 202178560 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17325] ppid=17311 vsize=197440 CPUtime=2.49 /proc/17319/task/17325/stat : 17325 (java) S 17311 17311 12893 0 -1 64 667 20492 0 1 23 0 203 23 16 0 9 0 1993635900 202178560 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17326] ppid=17311 vsize=197440 CPUtime=2.26 /proc/17319/task/17326/stat : 17326 (java) S 17311 17311 12893 0 -1 64 0 20492 0 1 0 0 203 23 19 0 9 0 1993635900 202178560 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17319/tid=17327] ppid=17311 vsize=197440 CPUtime=2.26 /proc/17319/task/17327/stat : 17327 (java) S 17311 17311 12893 0 -1 64 5 20492 0 1 0 0 203 23 15 0 9 0 1993635900 202178560 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 9.74 Current children cumulated vsize (KiB) 202800 Child status: 0 Real time (s): 10.0205 CPU time (s): 9.78251 CPU user time (s): 9.32858 CPU system time (s): 0.45393 CPU usage (%): 97.6253 Max. virtual memory (cumulated for all children) (KiB): 871136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.32858 system time used= 0.45393 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34817 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= 10815 involuntary context switches= 15862 runsolver used 0.06499 second user time and 0.134979 second system time The end
Begin job on node44 at 2008-07-04 06:43:48 IDJOB=1065395 IDBENCH=55064 IDSOLVER=366 FILE ID=node44/1065395-1215146628 PBS_JOBID= 7877287 Free space on /tmp= 66556 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/small/normalized-patat-02-small-3.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065395-1215146628/watcher-1065395-1215146628 -o /tmp/evaluation-result-1065395-1215146628/solver-1065395-1215146628 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1065395-1215146628.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 8b6891248b1158101d0f3823c0b78f6f RANDOM SEED=1392786918 node44.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.213 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.213 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: 1681488 kB Buffers: 58420 kB Cached: 224600 kB SwapCached: 6524 kB Active: 136260 kB Inactive: 162480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1681488 kB SwapTotal: 4192956 kB SwapFree: 4180396 kB Dirty: 26332 kB Writeback: 0 kB Mapped: 23316 kB Slab: 61040 kB Committed_AS: 3478324 kB PageTables: 1756 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66528 MiB End job on node44 at 2008-07-04 06:43:59