Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 29.6855 | 29.855 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 60397 |
CHECKS | 48981300 |
Name | csp/primes-10/ normalized-primes-10-60-3-5.xml |
MD5SUM | 60e475727fef9c8d8638df7ccbeda892 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 5.11422 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 60 |
Maximum constraint arity | 8 |
Maximum domain size | 28 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 60 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 6.76/6.84 c CASE TO CLASSIFY: 6.76/6.84 c Case: 0 6.76/6.85 c 19 > 0.000000 | c 35 > 9.166670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 21.593300 | c 34 > 18.333300 | c 16 > 8.000000 | c 13 > 9.633610 | c 14 > 12.103000 | c 11 > 7.055280 | c 12 > 8.140590 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.299210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.154820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.663500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.76/6.86 c choco : 1801.0 6.76/6.86 c mistral : 1801.0 6.76/6.86 c abscon : 1801.0 6.76/6.86 c 6.76/6.86 c 6.85/6.93 c List of same ones: 40 6.85/6.93 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-3-5.xml 6.85/6.93 c 19 > 0.000000 | c 35 > 9.166670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 21.291800 | c 34 > 18.333300 | c 16 > 8.000000 | c 13 > 9.302280 | c 14 > 11.949500 | c 11 > 7.055280 | c 12 > 7.956080 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.299210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.154820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.663500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.94 c choco : 15.32 6.85/6.94 c mistral : 0.031995 6.85/6.94 c abscon : 1010.32 6.85/6.94 c 6.85/6.94 c 6.85/6.94 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-3-5.xml 6.85/6.94 c 19 > 0.000000 | c 35 > 9.166670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 21.519200 | c 34 > 18.333300 | c 16 > 8.000000 | c 13 > 8.587660 | c 14 > 11.344900 | c 11 > 6.643860 | c 12 > 7.512700 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.299210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.154820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.232000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.94 c choco : 1801.0 6.85/6.94 c mistral : 0.032994 6.85/6.94 c abscon : 1800.06 6.85/6.94 c 6.85/6.94 c 6.85/6.94 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-5.xml 6.85/6.95 c 19 > 0.000000 | c 35 > 8.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 21.262000 | c 34 > 17.500000 | c 16 > 8.000000 | c 13 > 7.276280 | c 14 > 10.692600 | c 11 > 6.643860 | c 12 > 6.179110 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.643300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.95 c choco : 8.75 6.85/6.95 c mistral : 0.039993 6.85/6.95 c abscon : 1800.1 6.85/6.95 c 6.85/6.95 c 6.85/6.95 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-7.xml 6.85/6.95 c 19 > 0.000000 | c 35 > 8.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 20.815600 | c 34 > 16.500000 | c 16 > 10.000000 | c 13 > 7.275120 | c 14 > 10.698700 | c 11 > 7.219170 | c 12 > 5.918460 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.948370 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.826550 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.630300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.96 c choco : 28.38 6.85/6.96 c mistral : 0.044992 6.85/6.96 c abscon : 5.41318 6.85/6.96 c 6.85/6.96 c 6.85/6.96 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-5.xml 6.85/6.96 c 19 > 0.000000 | c 35 > 8.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 21.104700 | c 34 > 17.500000 | c 16 > 8.000000 | c 13 > 6.357010 | c 14 > 10.125400 | c 11 > 7.189820 | c 12 > 5.136320 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.085400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.97 c choco : 4.44 6.85/6.97 c mistral : 0.037993 6.85/6.97 c abscon : 138.188 6.85/6.97 c 6.85/6.97 c 6.85/6.97 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-7.xml 6.85/6.97 c 19 > 0.000000 | c 35 > 8.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 20.313000 | c 34 > 16.500000 | c 16 > 10.000000 | c 13 > 6.402330 | c 14 > 9.691740 | c 11 > 6.643860 | c 12 > 5.337350 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.948370 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.826550 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.134800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.98 c choco : 2.89 6.85/6.98 c mistral : 0.043992 6.85/6.98 c abscon : 2.74458 6.85/6.98 c 6.85/6.98 c 6.85/6.98 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-3-7.xml 6.85/6.98 c 19 > 0.000000 | c 35 > 7.666670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.000000 | c 15 > 21.305300 | c 34 > 15.333300 | c 16 > 10.000000 | c 13 > 4.572880 | c 14 > 10.156100 | c 11 > 7.087460 | c 12 > 3.903350 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.539160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.417850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.195800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.99 c choco : 1801.0 6.85/6.99 c mistral : 0.035993 6.85/6.99 c abscon : 1800.11 6.85/6.99 c 6.85/6.99 c 6.85/6.99 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-2-7.xml 6.85/6.99 c 19 > 0.000000 | c 35 > 5.833330 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.000000 | c 15 > 21.409200 | c 34 > 11.666700 | c 16 > 9.000000 | c 13 > 7.463150 | c 14 > 10.496900 | c 11 > 6.643860 | c 12 > 6.002480 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.308340 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.164910 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.374100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/7.00 c choco : 17.86 6.85/7.00 c mistral : 0.032994 6.85/7.00 c abscon : 19.983 6.85/7.00 c 6.85/7.00 c 6.85/7.00 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-3-7.xml 6.85/7.00 c 19 > 0.000000 | c 35 > 9.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 13.988000 | c 34 > 19.000000 | c 16 > 10.000000 | c 13 > 6.817480 | c 14 > 8.531380 | c 11 > 6.832890 | c 12 > 4.257220 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.812000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.93/7.00 c choco : 1.46 6.93/7.00 c mistral : 0.021996 6.93/7.00 c abscon : 1800.12 6.93/7.00 c 6.93/7.00 c 6.93/7.00 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-2-7.xml 6.93/7.00 c 19 > 0.000000 | c 35 > 5.833330 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.000000 | c 15 > 21.629400 | c 34 > 11.666700 | c 16 > 9.000000 | c 13 > 9.549770 | c 14 > 11.664000 | c 11 > 6.643860 | c 12 > 7.480510 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.308340 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.164910 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.345200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.93/7.01 c choco : 28.28 6.93/7.01 c mistral : 0.032994 6.93/7.01 c abscon : 197.024 6.93/7.01 c 6.93/7.01 c 6.93/7.01 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-2-5.xml 6.93/7.01 c 19 > 0.000000 | c 35 > 6.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.000000 | c 15 > 17.776700 | c 34 > 12.000000 | c 16 > 7.000000 | c 13 > 7.536720 | c 14 > 9.722810 | c 11 > 6.643860 | c 12 > 5.109780 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.475730 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.303780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.421700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.22 c choco : 1.85 7.12/7.22 c mistral : 0.019996 7.12/7.22 c abscon : 130.547 7.12/7.22 c 7.12/7.22 c 7.12/7.22 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-7.xml 7.12/7.22 c 19 > 0.000000 | c 35 > 5.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.000000 | c 15 > 21.656100 | c 34 > 10.000000 | c 16 > 9.000000 | c 13 > 9.064180 | c 14 > 11.438800 | c 11 > 6.643860 | c 12 > 7.399090 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.794420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.658210 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.957500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.23 c choco : 381.2 7.12/7.23 c mistral : 0.026995 7.12/7.23 c abscon : 1800.06 7.12/7.23 c 7.12/7.23 c 7.12/7.23 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-2-7.xml 7.12/7.23 c 19 > 0.000000 | c 35 > 5.833330 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.000000 | c 15 > 21.637200 | c 34 > 11.666700 | c 16 > 9.000000 | c 13 > 9.238760 | c 14 > 12.000000 | c 11 > 6.643860 | c 12 > 7.191400 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.308340 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.164910 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.784200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.24 c choco : 105.04 7.12/7.24 c mistral : 0.034994 7.12/7.24 c abscon : 84.4922 7.12/7.24 c 7.12/7.24 c 7.12/7.24 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-2-5.xml 7.12/7.24 c 19 > 0.000000 | c 35 > 6.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.000000 | c 15 > 17.180300 | c 34 > 12.000000 | c 16 > 7.000000 | c 13 > 9.054000 | c 14 > 11.092800 | c 11 > 6.643860 | c 12 > 6.187250 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.475730 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.303780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.187900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.24 c choco : 1.49 7.12/7.24 c mistral : 0.020996 7.12/7.24 c abscon : 1800.07 7.12/7.24 c 7.12/7.24 c 7.12/7.24 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-5.xml 7.12/7.24 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 17.913000 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 7.368620 | c 14 > 11.419400 | c 11 > 6.643860 | c 12 > 5.556740 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.141700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.25 c choco : 2.22 7.12/7.25 c mistral : 0.022995 7.12/7.25 c abscon : 9.00963 7.12/7.25 c 7.12/7.25 c 7.12/7.25 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-2-5.xml 7.12/7.25 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 19.478200 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 10.115400 | c 14 > 11.849000 | c 11 > 6.643860 | c 12 > 8.008540 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.920900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.26 c choco : 1.77 7.12/7.26 c mistral : 0.025995 7.12/7.26 c abscon : 549.931 7.12/7.26 c 7.12/7.26 c 7.12/7.26 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-2-5.xml 7.12/7.26 c 19 > 0.000000 | c 35 > 8.333330 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 17.959800 | c 34 > 16.666700 | c 16 > 7.000000 | c 13 > 5.802260 | c 14 > 8.290020 | c 11 > 6.643860 | c 12 > 3.824770 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.960000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.774790 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.710800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.27 c choco : 1.79 7.12/7.27 c mistral : 0.027994 7.12/7.27 c abscon : 4.82327 7.12/7.27 c 7.12/7.27 c 7.12/7.27 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-2-7.xml 7.12/7.27 c 19 > 0.000000 | c 35 > 5.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.000000 | c 15 > 21.983900 | c 34 > 10.000000 | c 16 > 9.000000 | c 13 > 11.115000 | c 14 > 13.374800 | c 11 > 6.643860 | c 12 > 9.137680 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.794420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.658210 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.900300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.27 c choco : 19.57 7.12/7.27 c mistral : 0.028994 7.12/7.27 c abscon : 1800.09 7.12/7.27 c 7.12/7.27 c 7.12/7.27 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-3-1.xml 7.12/7.27 c 19 > 0.000000 | c 35 > 10.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.000000 | c 15 > 17.230700 | c 34 > 21.000000 | c 16 > 4.000000 | c 13 > 8.031840 | c 14 > 10.891800 | c 11 > 6.643860 | c 12 > 5.590960 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 6.977280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.727920 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.703200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.28 c choco : 1.68 7.12/7.28 c mistral : 0.020996 7.12/7.28 c abscon : 78.4451 7.12/7.28 c 7.12/7.28 c 7.12/7.28 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-3-5.xml 7.12/7.28 c 19 > 0.000000 | c 35 > 11.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 13.542800 | c 34 > 22.000000 | c 16 > 8.000000 | c 13 > 5.143230 | c 14 > 8.189820 | c 11 > 6.754890 | c 12 > 2.885360 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.643860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.491850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.180500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.29 c choco : 1.57 7.12/7.29 c mistral : 0.019996 7.12/7.29 c abscon : 5.75012 7.12/7.29 c 7.12/7.29 c 7.12/7.29 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-3-7.xml 7.12/7.29 c 19 > 0.000000 | c 35 > 9.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 13.865700 | c 34 > 19.000000 | c 16 > 10.000000 | c 13 > 3.423280 | c 14 > 8.257390 | c 11 > 6.643860 | c 12 > 2.100980 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.298400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.29 c choco : 1.88 7.12/7.29 c mistral : 0.021995 7.12/7.29 c abscon : 1800.08 7.12/7.29 c 7.12/7.29 c 7.12/7.29 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-3.xml 7.12/7.29 c 19 > 0.000000 | c 35 > 10.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.500000 | c 15 > 21.584200 | c 34 > 21.500000 | c 16 > 5.000000 | c 13 > 11.621600 | c 14 > 14.767100 | c 11 > 6.643860 | c 12 > 9.890860 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.700440 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.266400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.30 c choco : 2.16 7.20/7.30 c mistral : 0.022995 7.20/7.30 c abscon : 6.38303 7.20/7.30 c 7.20/7.30 c 7.20/7.30 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-3.xml 7.20/7.30 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 20.720500 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 5.964230 | c 14 > 9.871910 | c 11 > 6.643860 | c 12 > 4.590360 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.400880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.219170 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.079400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.30 c choco : 2.05 7.20/7.30 c mistral : 0.034994 7.20/7.30 c abscon : 10.5924 7.20/7.30 c 7.20/7.30 c 7.20/7.30 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-3-3.xml 7.20/7.31 c 19 > 0.000000 | c 35 > 4.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.000000 | c 15 > 21.787200 | c 34 > 9.000000 | c 16 > 6.000000 | c 13 > 11.289200 | c 14 > 13.984900 | c 11 > 6.643860 | c 12 > 9.900260 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.199670 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.994500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.31 c choco : 15.15 7.20/7.31 c mistral : 0.024995 7.20/7.31 c abscon : 1118.46 7.20/7.31 c 7.20/7.31 c 7.20/7.31 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-2-7.xml 7.20/7.31 c 19 > 0.000000 | c 35 > 7.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.250000 | c 15 > 18.147200 | c 34 > 14.000000 | c 16 > 9.000000 | c 13 > 2.892280 | c 14 > 6.426260 | c 11 > 6.643860 | c 12 > 2.347670 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.647460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.495860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.722300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.32 c choco : 1.91 7.20/7.32 c mistral : 0.036994 7.20/7.32 c abscon : 2.74658 7.20/7.32 c 7.20/7.32 c 7.20/7.32 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-2-5.xml 7.20/7.32 c 19 > 0.000000 | c 35 > 8.333330 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 15.640600 | c 34 > 16.666700 | c 16 > 7.000000 | c 13 > 3.234850 | c 14 > 7.159870 | c 11 > 6.643860 | c 12 > 2.467280 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.960000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.774790 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.900400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.32 c choco : 1.78 7.20/7.32 c mistral : 0.029994 7.20/7.32 c abscon : 2.39064 7.20/7.32 c 7.20/7.32 c 7.20/7.32 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-3.xml 7.20/7.32 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 21.243000 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 7.076170 | c 14 > 9.927780 | c 11 > 6.643860 | c 12 > 5.404970 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.400880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.219170 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.998200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.33 c choco : 17.78 7.20/7.33 c mistral : 0.031994 7.20/7.33 c abscon : 6.25605 7.20/7.33 c 7.20/7.33 c 7.20/7.33 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-2-5.xml 7.20/7.33 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 17.184800 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 6.438330 | c 14 > 10.399800 | c 11 > 6.643860 | c 12 > 4.599320 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.419600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.33 c choco : 3.33 7.20/7.33 c mistral : 0.023996 7.20/7.33 c abscon : 1800.07 7.20/7.33 c 7.20/7.33 c 7.20/7.33 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-2-7.xml 7.20/7.33 c 19 > 0.000000 | c 35 > 9.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 13.422200 | c 34 > 18.000000 | c 16 > 9.000000 | c 13 > 2.165910 | c 14 > 7.276120 | c 11 > 6.807350 | c 12 > 1.152650 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.668300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.34 c choco : 1.43 7.20/7.34 c mistral : 0.020996 7.20/7.34 c abscon : 66.7569 7.20/7.34 c 7.20/7.34 c 7.20/7.34 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-2-3.xml 7.20/7.34 c 19 > 0.000000 | c 35 > 10.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.500000 | c 15 > 21.727500 | c 34 > 21.500000 | c 16 > 5.000000 | c 13 > 10.941600 | c 14 > 14.173700 | c 11 > 6.643860 | c 12 > 9.878940 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.700440 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.769900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.34 c choco : 12.11 7.20/7.34 c mistral : 0.024995 7.20/7.34 c abscon : 144.326 7.20/7.34 c 7.20/7.34 c 7.20/7.34 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-2-7.xml 7.20/7.34 c 19 > 0.000000 | c 35 > 9.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 13.451600 | c 34 > 18.000000 | c 16 > 9.000000 | c 13 > 1.788450 | c 14 > 7.483820 | c 11 > 6.643860 | c 12 > 1.244890 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.959900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.35 c choco : 1.57 7.20/7.35 c mistral : 0.02 7.20/7.35 c abscon : 1800.07 7.20/7.35 c 7.20/7.35 c 7.20/7.35 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-3-3.xml 7.20/7.35 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 20.287100 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 8.283490 | c 14 > 11.358100 | c 11 > 6.643860 | c 12 > 6.670870 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.707200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.35 c choco : 2.39 7.20/7.35 c mistral : 0.030994 7.20/7.35 c abscon : 29.2126 7.20/7.35 c 7.20/7.35 c 7.20/7.35 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-3-3.xml 7.20/7.35 c 19 > 0.000000 | c 35 > 4.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.000000 | c 15 > 21.675200 | c 34 > 9.000000 | c 16 > 6.000000 | c 13 > 9.231910 | c 14 > 12.901200 | c 11 > 6.643860 | c 12 > 7.828520 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.199670 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.576200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.36 c choco : 1801.0 7.20/7.36 c mistral : 0.023996 7.20/7.36 c abscon : 1800.03 7.20/7.36 c 7.20/7.36 c 7.20/7.36 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-2-7.xml 7.20/7.36 c 19 > 0.000000 | c 35 > 7.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.250000 | c 15 > 17.213900 | c 34 > 14.000000 | c 16 > 9.000000 | c 13 > 3.076210 | c 14 > 6.189820 | c 11 > 6.643860 | c 12 > 2.384050 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.647460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.495860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.622200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.37 c choco : 1.91 7.20/7.37 c mistral : 0.032994 7.20/7.37 c abscon : 3.70044 7.20/7.37 c 7.20/7.37 c 7.20/7.37 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-3-1.xml 7.20/7.37 c 19 > 0.000000 | c 35 > 10.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.000000 | c 15 > 15.902000 | c 34 > 21.000000 | c 16 > 4.000000 | c 13 > 4.402590 | c 14 > 8.361940 | c 11 > 6.643860 | c 12 > 2.477680 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 6.977280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.727920 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.463000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.37 c choco : 1.61 7.20/7.37 c mistral : 0.018997 7.20/7.37 c abscon : 43.8063 7.20/7.37 c 7.20/7.37 c 7.20/7.37 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-2-5.xml 7.20/7.37 c 19 > 0.000000 | c 35 > 8.333330 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 15.745500 | c 34 > 16.666700 | c 16 > 7.000000 | c 13 > 3.013730 | c 14 > 7.159870 | c 11 > 6.643860 | c 12 > 2.292780 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.960000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.774790 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.149600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.38 c choco : 1.77 7.20/7.38 c mistral : 0.029994 7.20/7.38 c abscon : 2.41863 7.20/7.38 c 7.20/7.38 c 7.20/7.38 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-2-3.xml 7.20/7.38 c 19 > 0.000000 | c 35 > 9.666670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.000000 | c 15 > 17.066600 | c 34 > 19.333300 | c 16 > 5.000000 | c 13 > 3.967550 | c 14 > 8.614710 | c 11 > 6.643860 | c 12 > 2.589760 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.592460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.348730 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.480800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.38 c choco : 1.78 7.20/7.38 c mistral : 0.027995 7.20/7.39 c abscon : 6.99394 7.20/7.39 c 7.20/7.39 c 7.20/7.39 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-3-3.xml 7.20/7.39 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 21.778200 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 8.235810 | c 14 > 11.286600 | c 11 > 6.643860 | c 12 > 6.792860 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.608500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.39 c choco : 17.72 7.20/7.39 c mistral : 0.028994 7.20/7.39 c abscon : 53.3069 7.20/7.39 c 7.20/7.39 c 7.20/7.39 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-2-3.xml 7.20/7.39 c 19 > 0.000000 | c 35 > 10.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.500000 | c 15 > 17.747200 | c 34 > 21.500000 | c 16 > 5.000000 | c 13 > 4.881770 | c 14 > 9.622050 | c 11 > 6.643860 | c 12 > 3.565600 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.700440 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.263800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.40 c choco : 2.03 7.20/7.40 c mistral : 0.024995 7.20/7.40 c abscon : 16.7974 7.20/7.40 c 7.20/7.40 c 7.20/7.40 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-2-3.xml 7.20/7.40 c 19 > 0.000000 | c 35 > 9.666670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.000000 | c 15 > 15.280200 | c 34 > 19.333300 | c 16 > 5.000000 | c 13 > 3.898680 | c 14 > 7.303780 | c 11 > 6.643860 | c 12 > 2.344830 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.592460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.348730 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.855400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.40 c choco : 1.73 7.26/7.40 c mistral : 0.029994 7.26/7.40 c abscon : 6.536 7.26/7.40 c 7.26/7.40 c 7.26/7.41 c Length: 40 7.26/7.41 c 0.5082204334735073 3.023751067597992 4.67037880536472 4.865714484687731 5.087484379985847 6.79049400082203 8.191440299867905 9.79182598296661 10.100062409114113 10.60811953232994 10.970917316778939 11.089175934504784 11.479271757197841 11.60370196782906 11.713437415942428 11.865438226395181 11.868017877282625 12.390630118557329 12.608965532112459 12.708479320284546 12.73560603799442 13.010284072332933 13.431112846748775 13.450228134678609 13.465306254679096 13.668091043287646 13.944630157745312 14.10570398654034 14.161307853570587 14.330172170368368 14.361435776164582 14.703439173536918 14.703549962264217 14.71431477495979 14.812617458285352 15.320071589728293 15.332344781004632 15.511876253477528 15.604931939332515 15.822684109881608 7.26/7.41 c 7.26/7.41 c 1.0 0.8589157915413073 0.786299782294402 0.7784920996909392 0.7698136803061298 0.7091100615596618 0.6659133146129848 0.622588038750713 0.6148829894869771 0.6025908975893531 0.5941097989024705 0.5913966316386327 0.5826198830926821 0.5798748749454629 0.5774754181016821 0.5741844095588223 0.574128880548478 0.5630964807186941 0.5586119661560671 0.5565916080462326 0.5560434058076267 0.55055268052826 0.5423476485464339 0.5419807544880255 0.5416916988473075 0.5378339497762463 0.5326608156552887 0.5296932633024256 0.5286765051484014 0.5256124838684136 0.5250491020002002 0.518964028832109 0.5189620804835093 0.5187728384783574 0.5170510719805412 0.5083417524337955 0.5081347428832349 0.5051257772837933 0.5035801340994553 0.5 7.26/7.42 c 7.26/7.42 c solver 0 7.26/7.42 c before 0.0 seconds: {} 0 7.26/7.42 c before 18.0 seconds: {3, 5, 14, 16, 19, 21, 22, 24, 25, 26, 33, 35, 36, 38, 39} 8439 7.26/7.42 c before 36.0 seconds: {3, 5, 7, 14, 16, 19, 21, 22, 24, 25, 26, 31, 33, 35, 36, 38, 39} 9581 7.26/7.42 c before 54.0 seconds: {3, 5, 7, 14, 16, 19, 21, 22, 24, 25, 26, 31, 33, 34, 35, 36, 37, 38, 39} 10603 7.26/7.42 c before 72.0 seconds: {3, 5, 7, 14, 16, 19, 21, 22, 24, 25, 26, 28, 31, 33, 34, 35, 36, 37, 38, 39} 11132 7.26/7.42 c before 90.0 seconds: {3, 5, 7, 12, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 31, 33, 34, 35, 36, 37, 38, 39} 12273 7.26/7.42 c before 144.0 seconds: {3, 4, 5, 7, 10, 12, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 31, 33, 34, 35, 36, 37, 38, 39} 13637 7.26/7.42 c before 162.0 seconds: {3, 4, 5, 7, 10, 12, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 14162 7.26/7.42 c before 198.0 seconds: {3, 4, 5, 7, 9, 10, 12, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 14765 7.26/7.42 c before 558.0 seconds: {3, 4, 5, 7, 9, 10, 12, 14, 15, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 15339 7.26/7.42 c before 1026.0 seconds: {0, 3, 4, 5, 7, 9, 10, 12, 14, 15, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 16339 7.26/7.42 c before 1134.0 seconds: {0, 3, 4, 5, 7, 9, 10, 12, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 16881 7.26/7.42 c 7.26/7.42 c solver 1 7.26/7.42 c before 0.0 seconds: {} 0 7.26/7.42 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 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} 23671 7.26/7.42 c 7.26/7.42 c solver 2 7.26/7.42 c before 0.0 seconds: {} 0 7.26/7.42 c before 18.0 seconds: {0, 2, 4, 5, 7, 8, 10, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18509 7.26/7.42 c before 36.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20453 7.26/7.42 c before 108.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21036 7.26/7.42 c before 396.0 seconds: {0, 2, 3, 4, 5, 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, 33, 34, 35, 36, 37, 38, 39} 21627 7.26/7.42 c 7.26/7.42 cTotal time: 86 7.26/7.42 c 1548.0 seconds unused 7.26/7.42 c 0 c 0 c 0 7.26/7.42 c 11 c 0 c 3 7.26/7.42 c 8 c 0 c 0 7.26/7.42 c is solver0 dominated by: 7.26/7.42 c solver 1 (0 solves instances that 1 can't: false) (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.26/7.42 c is dominated? true 7.26/7.42 c 7.26/7.42 c is solver1 dominated by: 7.26/7.42 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true) 7.26/7.42 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: true) (1 is equally as fast as 2: false) (1 < 2: false) 7.26/7.42 c is dominated? false 7.26/7.42 c 7.26/7.42 c is solver2 dominated by: 7.26/7.42 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true) 7.26/7.42 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true) 7.26/7.42 c is dominated? true 7.26/7.42 c 7.26/7.42 c Number of non-dominated solvers: 1 7.26/7.42 c remove dominated solvers 7.26/7.42 c solver 1 is not dominated by another solver 7.26/7.42 c solver 2 is dominated by another solver 7.26/7.42 c solver 0 is dominated by another solver 7.26/7.42 c 7.26/7.42 c solver 0: 0.0 7.26/7.42 c 7.26/7.42 c solver 1: 18.0 7.26/7.42 c 7.26/7.42 c+ 1/1 of 99 7.26/7.42 c 7.26/7.42 c solver 2: 0.0 7.26/7.42 c do not run abscon 7.26/7.42 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 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} 23671 7.26/7.42 c do not run choco 7.26/7.43 c Starting solver: HOME/cpHydra_k_40/solver/mistral 7.26/7.43 c On Instance: HOME/instance-1077951-1215196169.xml 7.26/7.43 c Running for: 1800 seconds 29.62/29.82 c mistral-prime version 1.313 29.62/29.82 s SATISFIABLE 29.62/29.82 v 7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 17 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 7 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 3 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 13 5 13 11 19 11 2 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 11 29 29.62/29.82 d CHECKS 48981329 29.62/29.82 d ASSIGNMENTS 60397
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-1077951-1215196169/watcher-1077951-1215196169 -o /tmp/evaluation-result-1077951-1215196169/solver-1077951-1215196169 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1077951-1215196169.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.00 1.99 1.99 3/74 18997 /proc/meminfo: memFree=1442344/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5356 CPUtime=0 /proc/18997/stat : 18997 (hydra) R 18995 18997 13952 0 -1 4194304 237 0 0 0 0 0 0 0 19 0 1 0 1998589314 5484544 205 996147200 4194304 4889804 548682068768 18446744073709551615 4468496 0 0 4100 65536 0 0 0 17 0 0 0 /proc/18997/statm: 1339 205 169 169 0 50 0 [startup+0.0344191 s] /proc/loadavg: 2.00 1.99 1.99 3/74 18997 /proc/meminfo: memFree=1442344/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=0 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 328 247 0 0 0 0 0 0 16 0 1 0 1998589314 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18997/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102428 s] /proc/loadavg: 2.00 1.99 1.99 3/74 18997 /proc/meminfo: memFree=1442344/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=0 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 328 247 0 0 0 0 0 0 16 0 1 0 1998589314 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18997/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30145 s] /proc/loadavg: 2.00 1.99 1.99 3/74 18997 /proc/meminfo: memFree=1442344/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=0 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 328 247 0 0 0 0 0 0 16 0 1 0 1998589314 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18997/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702497 s] /proc/loadavg: 2.00 1.99 1.99 3/74 18997 /proc/meminfo: memFree=1442344/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=0 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 328 247 0 0 0 0 0 0 16 0 1 0 1998589314 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18997/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50259 s] /proc/loadavg: 2.00 1.99 1.99 3/76 19001 /proc/meminfo: memFree=1440920/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/18997/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 5360 [startup+3.10178 s] /proc/loadavg: 2.00 1.99 1.99 3/84 19013 /proc/meminfo: memFree=1434008/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/18997/statm: 1340 238 196 169 0 51 0 [pid=19005] ppid=18997 vsize=197028 CPUtime=1.6 /proc/19005/stat : 19005 (java) S 18997 18997 13952 0 -1 0 6588 0 1 0 155 5 0 0 20 0 9 0 1998589463 201756672 5531 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/19005/statm: 49257 5531 2541 9 0 43839 0 [pid=19005/tid=19006] ppid=18997 vsize=197028 CPUtime=1.21 /proc/19005/task/19006/stat : 19006 (java) R 18997 18997 13952 0 -1 64 2817 0 1 0 120 1 0 0 25 0 9 0 1998589464 201756672 5531 996147200 134512640 134550740 4294955936 18446744073709551615 4126430912 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19007] ppid=18997 vsize=197028 CPUtime=0.22 /proc/19005/task/19007/stat : 19007 (java) S 18997 18997 13952 0 -1 64 2431 0 0 0 20 2 0 0 16 0 9 0 1998589465 201756672 5531 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19008] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19008/stat : 19008 (java) S 18997 18997 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1998589465 201756672 5531 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19009] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19009/stat : 19009 (java) S 18997 18997 13952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998589465 201756672 5531 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19010] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19010/stat : 19010 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998589467 201756672 5531 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19011] ppid=18997 vsize=197028 CPUtime=0.13 /proc/19005/task/19011/stat : 19011 (java) S 18997 18997 13952 0 -1 64 614 0 0 0 13 0 0 0 16 0 9 0 1998589467 201756672 5531 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19012] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19012/stat : 19012 (java) S 18997 18997 13952 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1998589467 201756672 5531 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19013] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19013/stat : 19013 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998589467 201756672 5531 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 202388 [startup+6.30216 s] /proc/loadavg: 2.00 1.99 1.99 3/84 19013 /proc/meminfo: memFree=1420568/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/18997/statm: 1340 238 196 169 0 51 0 [pid=19005] ppid=18997 vsize=197028 CPUtime=4.78 /proc/19005/stat : 19005 (java) S 18997 18997 13952 0 -1 0 10496 0 1 0 464 14 0 0 20 0 9 0 1998589463 201756672 8703 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/19005/statm: 49257 8703 2541 9 0 43839 0 [pid=19005/tid=19006] ppid=18997 vsize=197028 CPUtime=3.81 /proc/19005/task/19006/stat : 19006 (java) R 18997 18997 13952 0 -1 64 3633 0 1 0 377 4 0 0 25 0 9 0 1998589464 201756672 8703 996147200 134512640 134550740 4294955936 18446744073709551615 4126527228 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19007] ppid=18997 vsize=197028 CPUtime=0.79 /proc/19005/task/19007/stat : 19007 (java) S 18997 18997 13952 0 -1 64 5507 0 0 0 71 8 0 0 16 0 9 0 1998589465 201756672 8703 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19008] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19008/stat : 19008 (java) S 18997 18997 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1998589465 201756672 8703 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19009] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19009/stat : 19009 (java) S 18997 18997 13952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998589465 201756672 8703 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19010] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19010/stat : 19010 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998589467 201756672 8703 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19011] ppid=18997 vsize=197028 CPUtime=0.15 /proc/19005/task/19011/stat : 19011 (java) S 18997 18997 13952 0 -1 64 630 0 0 0 15 0 0 0 16 0 9 0 1998589467 201756672 8703 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19012] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19012/stat : 19012 (java) S 18997 18997 13952 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1998589467 201756672 8703 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19013] ppid=18997 vsize=197028 CPUtime=0 /proc/19005/task/19013/stat : 19013 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998589467 201756672 8703 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 202388 [startup+12.7029 s] /proc/loadavg: 2.00 1.99 1.99 3/87 19016 /proc/meminfo: memFree=1412096/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/18997/statm: 1340 238 196 169 0 51 0 [pid=19005] ppid=18997 vsize=197352 CPUtime=5.81 /proc/19005/stat : 19005 (java) S 18997 18997 13952 0 -1 0 13962 0 1 0 561 20 0 0 20 0 10 0 1998589463 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/19005/statm: 49338 9482 2544 9 0 43920 0 [pid=19015] ppid=19005 vsize=5356 CPUtime=0 /proc/19015/stat : 19015 (mistral) S 19005 18997 13952 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1998590057 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19015/statm: 1339 236 196 169 0 50 0 [pid=19016] ppid=19015 vsize=5516 CPUtime=5.25 /proc/19016/stat : 19016 (xsolve) R 19015 18997 13952 0 -1 4194304 753 0 0 0 525 0 0 0 25 0 1 0 1998590058 5648384 717 996147200 134512640 135239763 4294955920 18446744073709551615 134802987 0 4 0 0 0 0 0 17 0 0 0 /proc/19016/statm: 1379 717 422 177 0 282 0 [pid=19005/tid=19006] ppid=18997 vsize=197352 CPUtime=4.49 /proc/19005/task/19006/stat : 19006 (java) S 18997 18997 13952 0 -1 64 3905 0 1 0 442 7 0 0 16 0 10 0 1998589464 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=19005/tid=19007] ppid=18997 vsize=197352 CPUtime=1.07 /proc/19005/task/19007/stat : 19007 (java) S 18997 18997 13952 0 -1 64 8562 0 0 0 96 11 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19008] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19008/stat : 19008 (java) S 18997 18997 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19009] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19009/stat : 19009 (java) S 18997 18997 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19010] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19010/stat : 19010 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19011] ppid=18997 vsize=197352 CPUtime=0.21 /proc/19005/task/19011/stat : 19011 (java) S 18997 18997 13952 0 -1 64 670 0 0 0 21 0 0 0 16 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19012] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19012/stat : 19012 (java) S 18997 18997 13952 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19013] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19013/stat : 19013 (java) S 18997 18997 13952 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19014] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19014/stat : 19014 (java) S 18997 18997 13952 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1998590057 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 213584 [startup+25.5024 s] /proc/loadavg: 2.00 1.99 1.99 3/87 19016 /proc/meminfo: memFree=1412096/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/18997/statm: 1340 238 196 169 0 51 0 [pid=19005] ppid=18997 vsize=197352 CPUtime=5.81 /proc/19005/stat : 19005 (java) S 18997 18997 13952 0 -1 0 13962 0 1 0 561 20 0 0 20 0 10 0 1998589463 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/19005/statm: 49338 9482 2544 9 0 43920 0 [pid=19015] ppid=19005 vsize=5356 CPUtime=0 /proc/19015/stat : 19015 (mistral) S 19005 18997 13952 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1998590057 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19015/statm: 1339 236 196 169 0 50 0 [pid=19016] ppid=19015 vsize=5516 CPUtime=18.05 /proc/19016/stat : 19016 (xsolve) R 19015 18997 13952 0 -1 4194304 753 0 0 0 1805 0 0 0 25 0 1 0 1998590058 5648384 717 996147200 134512640 135239763 4294955920 18446744073709551615 134802979 0 4 0 0 0 0 0 17 0 0 0 /proc/19016/statm: 1379 717 422 177 0 282 0 [pid=19005/tid=19006] ppid=18997 vsize=197352 CPUtime=4.49 /proc/19005/task/19006/stat : 19006 (java) S 18997 18997 13952 0 -1 64 3905 0 1 0 442 7 0 0 16 0 10 0 1998589464 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=19005/tid=19007] ppid=18997 vsize=197352 CPUtime=1.07 /proc/19005/task/19007/stat : 19007 (java) S 18997 18997 13952 0 -1 64 8562 0 0 0 96 11 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19008] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19008/stat : 19008 (java) S 18997 18997 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19009] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19009/stat : 19009 (java) S 18997 18997 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19010] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19010/stat : 19010 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19011] ppid=18997 vsize=197352 CPUtime=0.21 /proc/19005/task/19011/stat : 19011 (java) S 18997 18997 13952 0 -1 64 670 0 0 0 21 0 0 0 16 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19012] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19012/stat : 19012 (java) S 18997 18997 13952 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19013] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19013/stat : 19013 (java) S 18997 18997 13952 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19014] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19014/stat : 19014 (java) S 18997 18997 13952 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1998590057 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 213584 Solver just ended. Dumping a history of the last processes samples [startup+27.1026 s] /proc/loadavg: 2.00 1.99 1.99 3/87 19016 /proc/meminfo: memFree=1412096/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 ################ # More data... # ################ [pid=19015] ppid=19005 vsize=5356 CPUtime=0 /proc/19015/stat : 19015 (mistral) S 19005 18997 13952 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1998590057 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19015/statm: 1339 236 196 169 0 50 0 [pid=19016] ppid=19015 vsize=5516 CPUtime=19.65 /proc/19016/stat : 19016 (xsolve) R 19015 18997 13952 0 -1 4194304 753 0 0 0 1965 0 0 0 25 0 1 0 1998590058 5648384 717 996147200 134512640 135239763 4294955920 18446744073709551615 134806760 0 4 0 0 0 0 0 17 0 0 0 /proc/19016/statm: 1379 717 422 177 0 282 0 [pid=19005/tid=19006] ppid=18997 vsize=197352 CPUtime=4.49 /proc/19005/task/19006/stat : 19006 (java) S 18997 18997 13952 0 -1 64 3905 0 1 0 442 7 0 0 16 0 10 0 1998589464 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=19005/tid=19007] ppid=18997 vsize=197352 CPUtime=1.07 /proc/19005/task/19007/stat : 19007 (java) S 18997 18997 13952 0 -1 64 8562 0 0 0 96 11 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19008] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19008/stat : 19008 (java) S 18997 18997 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19009] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19009/stat : 19009 (java) S 18997 18997 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19010] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19010/stat : 19010 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19011] ppid=18997 vsize=197352 CPUtime=0.21 /proc/19005/task/19011/stat : 19011 (java) S 18997 18997 13952 0 -1 64 670 0 0 0 21 0 0 0 16 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19012] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19012/stat : 19012 (java) S 18997 18997 13952 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19013] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19013/stat : 19013 (java) S 18997 18997 13952 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19014] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19014/stat : 19014 (java) S 18997 18997 13952 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1998590057 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 26.93 Current children cumulated vsize (KiB) 213584 [startup+28.7018 s] /proc/loadavg: 2.00 1.99 1.99 3/87 19016 /proc/meminfo: memFree=1412096/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/18997/statm: 1340 238 196 169 0 51 0 [pid=19005] ppid=18997 vsize=197352 CPUtime=5.81 /proc/19005/stat : 19005 (java) S 18997 18997 13952 0 -1 0 13962 0 1 0 561 20 0 0 20 0 10 0 1998589463 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/19005/statm: 49338 9482 2544 9 0 43920 0 [pid=19015] ppid=19005 vsize=5356 CPUtime=0 /proc/19015/stat : 19015 (mistral) S 19005 18997 13952 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1998590057 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19015/statm: 1339 236 196 169 0 50 0 [pid=19016] ppid=19015 vsize=5516 CPUtime=21.24 /proc/19016/stat : 19016 (xsolve) R 19015 18997 13952 0 -1 4194304 753 0 0 0 2124 0 0 0 25 0 1 0 1998590058 5648384 717 996147200 134512640 135239763 4294955920 18446744073709551615 134806714 0 4 0 0 0 0 0 17 0 0 0 /proc/19016/statm: 1379 717 422 177 0 282 0 [pid=19005/tid=19006] ppid=18997 vsize=197352 CPUtime=4.49 /proc/19005/task/19006/stat : 19006 (java) S 18997 18997 13952 0 -1 64 3905 0 1 0 442 7 0 0 16 0 10 0 1998589464 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=19005/tid=19007] ppid=18997 vsize=197352 CPUtime=1.07 /proc/19005/task/19007/stat : 19007 (java) S 18997 18997 13952 0 -1 64 8562 0 0 0 96 11 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19008] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19008/stat : 19008 (java) S 18997 18997 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19009] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19009/stat : 19009 (java) S 18997 18997 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19010] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19010/stat : 19010 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19011] ppid=18997 vsize=197352 CPUtime=0.21 /proc/19005/task/19011/stat : 19011 (java) S 18997 18997 13952 0 -1 64 670 0 0 0 21 0 0 0 16 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19012] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19012/stat : 19012 (java) S 18997 18997 13952 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19013] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19013/stat : 19013 (java) S 18997 18997 13952 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19014] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19014/stat : 19014 (java) S 18997 18997 13952 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1998590057 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 28.52 Current children cumulated vsize (KiB) 213584 [startup+29.5019 s] /proc/loadavg: 2.00 1.99 1.99 3/87 19016 /proc/meminfo: memFree=1412096/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/18997/statm: 1340 238 196 169 0 51 0 [pid=19005] ppid=18997 vsize=197352 CPUtime=5.81 /proc/19005/stat : 19005 (java) S 18997 18997 13952 0 -1 0 13962 0 1 0 561 20 0 0 20 0 10 0 1998589463 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/19005/statm: 49338 9482 2544 9 0 43920 0 [pid=19015] ppid=19005 vsize=5356 CPUtime=0 /proc/19015/stat : 19015 (mistral) S 19005 18997 13952 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1998590057 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19015/statm: 1339 236 196 169 0 50 0 [pid=19016] ppid=19015 vsize=5516 CPUtime=22.04 /proc/19016/stat : 19016 (xsolve) R 19015 18997 13952 0 -1 4194304 753 0 0 0 2204 0 0 0 25 0 1 0 1998590058 5648384 717 996147200 134512640 135239763 4294955920 18446744073709551615 135100988 0 4 0 0 0 0 0 17 0 0 0 /proc/19016/statm: 1379 717 422 177 0 282 0 [pid=19005/tid=19006] ppid=18997 vsize=197352 CPUtime=4.49 /proc/19005/task/19006/stat : 19006 (java) S 18997 18997 13952 0 -1 64 3905 0 1 0 442 7 0 0 16 0 10 0 1998589464 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=19005/tid=19007] ppid=18997 vsize=197352 CPUtime=1.07 /proc/19005/task/19007/stat : 19007 (java) S 18997 18997 13952 0 -1 64 8562 0 0 0 96 11 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19008] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19008/stat : 19008 (java) S 18997 18997 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19009] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19009/stat : 19009 (java) S 18997 18997 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19010] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19010/stat : 19010 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19011] ppid=18997 vsize=197352 CPUtime=0.21 /proc/19005/task/19011/stat : 19011 (java) S 18997 18997 13952 0 -1 64 670 0 0 0 21 0 0 0 16 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19012] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19012/stat : 19012 (java) S 18997 18997 13952 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19013] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19013/stat : 19013 (java) S 18997 18997 13952 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19014] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19014/stat : 19014 (java) S 18997 18997 13952 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1998590057 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 29.32 Current children cumulated vsize (KiB) 213584 [startup+29.7069 s] /proc/loadavg: 2.00 1.99 1.99 3/87 19016 /proc/meminfo: memFree=1412096/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/18997/statm: 1340 238 196 169 0 51 0 [pid=19005] ppid=18997 vsize=197352 CPUtime=5.81 /proc/19005/stat : 19005 (java) S 18997 18997 13952 0 -1 0 13962 0 1 0 561 20 0 0 20 0 10 0 1998589463 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/19005/statm: 49338 9482 2544 9 0 43920 0 [pid=19015] ppid=19005 vsize=5356 CPUtime=0 /proc/19015/stat : 19015 (mistral) S 19005 18997 13952 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1998590057 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19015/statm: 1339 236 196 169 0 50 0 [pid=19016] ppid=19015 vsize=5516 CPUtime=22.25 /proc/19016/stat : 19016 (xsolve) R 19015 18997 13952 0 -1 4194304 753 0 0 0 2225 0 0 0 25 0 1 0 1998590058 5648384 717 996147200 134512640 135239763 4294955920 18446744073709551615 135095025 0 4 0 0 0 0 0 17 0 0 0 /proc/19016/statm: 1379 717 422 177 0 282 0 [pid=19005/tid=19006] ppid=18997 vsize=197352 CPUtime=4.49 /proc/19005/task/19006/stat : 19006 (java) S 18997 18997 13952 0 -1 64 3905 0 1 0 442 7 0 0 16 0 10 0 1998589464 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=19005/tid=19007] ppid=18997 vsize=197352 CPUtime=1.07 /proc/19005/task/19007/stat : 19007 (java) S 18997 18997 13952 0 -1 64 8562 0 0 0 96 11 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19008] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19008/stat : 19008 (java) S 18997 18997 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19009] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19009/stat : 19009 (java) S 18997 18997 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19010] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19010/stat : 19010 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19011] ppid=18997 vsize=197352 CPUtime=0.21 /proc/19005/task/19011/stat : 19011 (java) S 18997 18997 13952 0 -1 64 670 0 0 0 21 0 0 0 16 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19012] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19012/stat : 19012 (java) S 18997 18997 13952 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19013] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19013/stat : 19013 (java) S 18997 18997 13952 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19014] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19014/stat : 19014 (java) S 18997 18997 13952 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1998590057 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 29.53 Current children cumulated vsize (KiB) 213584 [startup+29.8029 s] /proc/loadavg: 2.00 1.99 1.99 3/87 19016 /proc/meminfo: memFree=1412096/2055920 swapFree=4179912/4192956 [pid=18997] ppid=18995 vsize=5360 CPUtime=1.47 /proc/18997/stat : 18997 (hydra) S 18995 18997 13952 0 -1 4194304 372 1368 0 0 0 0 147 0 19 0 1 0 1998589314 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/18997/statm: 1340 238 196 169 0 51 0 [pid=19005] ppid=18997 vsize=197352 CPUtime=5.81 /proc/19005/stat : 19005 (java) S 18997 18997 13952 0 -1 0 13962 0 1 0 561 20 0 0 20 0 10 0 1998589463 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/19005/statm: 49338 9482 2544 9 0 43920 0 [pid=19015] ppid=19005 vsize=5356 CPUtime=0 /proc/19015/stat : 19015 (mistral) S 19005 18997 13952 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1998590057 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19015/statm: 1339 236 196 169 0 50 0 [pid=19016] ppid=19015 vsize=5516 CPUtime=22.34 /proc/19016/stat : 19016 (xsolve) R 19015 18997 13952 0 -1 4194304 753 0 0 0 2234 0 0 0 25 0 1 0 1998590058 5648384 717 996147200 134512640 135239763 4294955920 18446744073709551615 134806229 0 4 0 0 0 0 0 17 0 0 0 /proc/19016/statm: 1379 717 422 177 0 282 0 [pid=19005/tid=19006] ppid=18997 vsize=197352 CPUtime=4.49 /proc/19005/task/19006/stat : 19006 (java) S 18997 18997 13952 0 -1 64 3905 0 1 0 442 7 0 0 16 0 10 0 1998589464 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=19005/tid=19007] ppid=18997 vsize=197352 CPUtime=1.07 /proc/19005/task/19007/stat : 19007 (java) S 18997 18997 13952 0 -1 64 8562 0 0 0 96 11 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19008] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19008/stat : 19008 (java) S 18997 18997 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19009] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19009/stat : 19009 (java) S 18997 18997 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1998589465 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19010] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19010/stat : 19010 (java) S 18997 18997 13952 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19011] ppid=18997 vsize=197352 CPUtime=0.21 /proc/19005/task/19011/stat : 19011 (java) S 18997 18997 13952 0 -1 64 670 0 0 0 21 0 0 0 16 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19012] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19012/stat : 19012 (java) S 18997 18997 13952 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19013] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19013/stat : 19013 (java) S 18997 18997 13952 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1998589467 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19005/tid=19014] ppid=18997 vsize=197352 CPUtime=0 /proc/19005/task/19014/stat : 19014 (java) S 18997 18997 13952 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1998590057 202088448 9482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 29.62 Current children cumulated vsize (KiB) 213584 Child status: 0 Real time (s): 29.855 CPU time (s): 29.6855 CPU user time (s): 29.4535 CPU system time (s): 0.231964 CPU usage (%): 99.4323 Max. virtual memory (cumulated for all children) (KiB): 213584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.4535 system time used= 0.231964 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16873 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9895 involuntary context switches= 15000 runsolver used 0.085986 second user time and 0.164974 second system time The end
Begin job on node53 at 2008-07-04 20:29:29 IDJOB=1077951 IDBENCH=56725 IDSOLVER=366 FILE ID=node53/1077951-1215196169 PBS_JOBID= 7881604 Free space on /tmp= 65028 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/primes-10/normalized-primes-10-60-3-5.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077951-1215196169/watcher-1077951-1215196169 -o /tmp/evaluation-result-1077951-1215196169/solver-1077951-1215196169 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1077951-1215196169.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 60e475727fef9c8d8638df7ccbeda892 RANDOM SEED=513894293 node53.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.222 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.222 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1442824 kB Buffers: 23392 kB Cached: 332468 kB SwapCached: 7396 kB Active: 410572 kB Inactive: 144952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1442824 kB SwapTotal: 4192956 kB SwapFree: 4179912 kB Dirty: 24400 kB Writeback: 0 kB Mapped: 206336 kB Slab: 42544 kB Committed_AS: 4089764 kB PageTables: 2180 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= 65004 MiB End job on node53 at 2008-07-04 20:30:00