| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cpHydra k_40 | UNSAT | 7.93279 | 8.14805 |
| Diagnostic | Value |
|---|---|
| ASSIGNMENTS | 99 |
| CHECKS | 141102 |
| Name | csp/queensKnights/ normalized-queensKnights-10-5-mul.xml |
| MD5SUM | b79a35fdeb8af50a3cf1eaff121ab273 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.863868 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 15 |
| Number of constraints | 105 |
| Maximum constraint arity | 2 |
| Maximum domain size | 100 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 105 |
| Global constraints used (with number of constraints) |
0.18/0.21 c cpHydra_k_40 version 0.0
6.73/6.83 c CASE TO CLASSIFY:
6.73/6.83 c Case: 0
6.73/6.83 c 19 > 52.381000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 61.428600 | c 15 > 13.599100 | c 34 > 56.666700 | c 16 > 2.000000 | c 13 > 5.061910 | c 14 > 7.507790 | c 11 > 6.714250 | c 12 > 3.694080 | c 21 > 6.324560 | c 20 > 47.619000 | c 22 > 10.000000 | 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 > 3.321930 | c 2 > -1.000000 | c 10 > 7.614710 | 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 > 10.861100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 6.491850 | c
6.73/6.84 c choco : 1801.0
6.73/6.84 c mistral : 1801.0
6.73/6.84 c abscon : 1801.0
6.73/6.84 c
6.73/6.84 c
6.83/6.91 c List of same ones: 40
6.83/6.91 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-mul.xml
6.83/6.91 c 19 > 52.381000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 61.428600 | c 15 > 13.896600 | c 34 > 56.666700 | c 16 > 2.000000 | c 13 > 5.845900 | c 14 > 8.049850 | c 11 > 6.714250 | c 12 > 4.167630 | c 21 > 6.324560 | c 20 > 47.619000 | c 22 > 10.000000 | 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 > 3.321930 | c 2 > -1.000000 | c 10 > 7.614710 | 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 > 10.861100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 6.491850 | c
6.83/6.92 c choco : 7.88
6.83/6.92 c mistral : 2.12568
6.83/6.92 c abscon : 0.836872
6.83/6.92 c
6.83/6.92 c
6.83/6.92 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-mul.xml
6.83/6.92 c 19 > 47.794100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.250000 | c 15 > 12.415500 | c 34 > 55.147100 | c 16 > 2.000000 | c 13 > 4.127790 | c 14 > 7.459430 | c 11 > 7.219170 | c 12 > 2.672620 | c 21 > 7.129060 | c 20 > 52.205900 | c 22 > 12.000000 | 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 > 3.584960 | c 2 > -1.000000 | c 10 > 8.071460 | 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 > 11.601800 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.044390 | c
6.83/6.93 c choco : 11.06
6.83/6.93 c mistral : 1.70074
6.83/6.93 c abscon : 0.840871
6.83/6.93 c
6.83/6.93 c
6.83/6.93 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-8-5-mul.xml
6.83/6.93 c 19 > 57.692300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 67.307700 | c 15 > 14.380500 | c 34 > 58.974400 | c 16 > 2.000000 | c 13 > 7.312470 | c 14 > 9.319670 | c 11 > 6.108520 | c 12 > 5.713650 | c 21 > 5.434930 | c 20 > 42.307700 | c 22 > 8.000000 | 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 > 3.000000 | c 2 > -1.000000 | c 10 > 7.076820 | 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.965780 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 5.807350 | c
6.83/6.94 c choco : 4.16
6.83/6.94 c mistral : 0.385941
6.83/6.94 c abscon : 0.737887
6.83/6.94 c
6.83/6.94 c
6.83/6.94 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-2-1.xml
6.83/6.94 c 19 > 55.000000 | c 35 > 24.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.116300 | c 34 > 49.000000 | c 16 > 3.000000 | c 13 > 2.634480 | c 14 > 6.954200 | c 11 > 6.643860 | c 12 > 0.475085 | c 21 > 6.782330 | c 20 > 45.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 > 2.807350 | c 2 > 6.339850 | c 10 > 5.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.169930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.419700 | c 31 > -1.000000 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.95 c choco : 1.34
6.83/6.95 c mistral : 0.017997
6.83/6.95 c abscon : 1.3248
6.83/6.95 c
6.83/6.95 c
6.83/6.95 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-2-1.xml
6.83/6.95 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.392300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.548740 | c 14 > 6.000000 | c 11 > 6.643860 | c 12 > 1.182690 | c 21 > 6.782330 | c 20 > 50.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 > 4.754890 | c 2 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.209900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.96 c choco : 1.56
6.83/6.96 c mistral : 0.02
6.83/6.96 c abscon : 2.07768
6.83/6.96 c
6.83/6.96 c
6.83/6.96 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-2-1.xml
6.83/6.96 c 19 > 52.500000 | c 35 > 24.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.498800 | c 34 > 49.500000 | c 16 > 3.000000 | c 13 > 2.730980 | c 14 > 5.392320 | c 11 > 6.643860 | c 12 > 1.182690 | c 21 > 6.782330 | c 20 > 47.500000 | 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 > 5.321930 | c 2 > 5.357550 | c 10 > 7.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.247930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.528900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.97 c choco : 1.61
6.83/6.97 c mistral : 0.025995
6.83/6.97 c abscon : 2.43363
6.83/6.97 c
6.83/6.97 c
6.83/6.97 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-2-1.xml
6.83/6.97 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.348700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.036060 | c 14 > 5.727920 | c 11 > 6.794420 | c 12 > 0.490986 | c 21 > 5.291500 | c 20 > 50.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 > 4.754890 | c 2 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.972900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.97 c choco : 1.54
6.83/6.97 c mistral : 0.024995
6.83/6.97 c abscon : 1.10383
6.83/6.97 c
6.83/6.97 c
6.83/6.97 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-1.xml
6.83/6.97 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.779700 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 2.199930 | c 14 > 6.339850 | c 11 > 6.643860 | c 12 > 0.765535 | c 21 > 6.782330 | c 20 > 52.500000 | 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 > 3.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.697100 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.98 c choco : 1.47
6.83/6.98 c mistral : 0.02
6.83/6.98 c abscon : 1.80672
6.83/6.98 c
6.83/6.98 c
6.83/6.98 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-2-1.xml
6.83/6.98 c 19 > 55.000000 | c 35 > 24.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 8.717680 | c 34 > 49.000000 | c 16 > 3.000000 | c 13 > 0.403677 | c 14 > 6.321930 | c 11 > 6.700440 | c 12 > -1.000000 | c 21 > 5.291500 | c 20 > 45.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 > 2.807350 | c 2 > 6.339850 | c 10 > 5.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.169930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.299900 | c 31 > -1.000000 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.99 c choco : 1.26
6.83/6.99 c mistral : 0.017996
6.83/6.99 c abscon : 0.884864
6.83/6.99 c
6.83/6.99 c
6.83/6.99 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-2-1.xml
6.83/6.99 c 19 > 52.500000 | c 35 > 24.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.237200 | c 34 > 49.500000 | c 16 > 3.000000 | c 13 > 0.334045 | c 14 > 3.807350 | c 11 > 6.807350 | c 12 > 0.301170 | c 21 > 5.291500 | c 20 > 47.500000 | 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 > 5.321930 | c 2 > 5.357550 | c 10 > 7.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.247930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.273700 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/7.00 c choco : 1.63
6.83/7.00 c mistral : 0.026994
6.83/7.00 c abscon : 1.17582
6.83/7.00 c
6.83/7.00 c
6.83/7.00 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-1.xml
6.83/7.00 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.558400 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 1.534240 | c 14 > 6.285400 | c 11 > 6.741470 | c 12 > 0.201048 | c 21 > 5.291500 | c 20 > 52.500000 | 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 > 3.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.502900 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.01 c choco : 1.42
6.91/7.01 c mistral : 0.019996
6.91/7.01 c abscon : 1.01284
6.91/7.01 c
6.91/7.01 c
6.91/7.01 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-mul.xml
6.91/7.01 c 19 > 42.105300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.736800 | c 15 > 12.636400 | c 34 > 53.684200 | c 16 > 2.000000 | c 13 > 3.147020 | c 14 > 5.000000 | c 11 > 7.845490 | c 12 > 2.077840 | c 21 > 8.215840 | c 20 > 57.894700 | c 22 > 15.000000 | 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 > 3.906890 | c 2 > -1.000000 | c 10 > 8.647460 | 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 > 12.517900 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.714250 | c
6.91/7.02 c choco : 1801.0
6.91/7.02 c mistral : 6.70198
6.91/7.02 c abscon : 1.00285
6.91/7.02 c
6.91/7.02 c
6.91/7.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-4.xml
6.91/7.02 c 19 > 52.922100 | c 35 > 30.519500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.610400 | c 15 > 16.763100 | c 34 > 48.766200 | c 16 > 19.000000 | c 13 > 3.226770 | c 14 > 7.960000 | c 11 > 10.564100 | c 12 > 2.037390 | c 21 > 1.414210 | c 20 > 47.077900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.654600 | c 1 > 7.832890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.328700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.451200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.03 c choco : 3.82
6.91/7.03 c mistral : 0.133978
6.91/7.03 c abscon : 11.3753
6.91/7.03 c
6.91/7.03 c
6.91/7.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-1.xml
6.91/7.03 c 19 > 52.397300 | c 35 > 30.513700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.486300 | c 15 > 19.461800 | c 34 > 48.732900 | c 16 > 18.000000 | c 13 > 7.380370 | c 14 > 9.985840 | c 11 > 10.491900 | c 12 > 6.035350 | c 21 > 1.414210 | c 20 > 47.602700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.579300 | c 1 > 7.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.257400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.05 c choco : 4.69
6.91/7.05 c mistral : 0.385941
6.91/7.05 c abscon : 12.0472
6.91/7.05 c
6.91/7.05 c
6.91/7.05 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-mul.xml
6.91/7.05 c 19 > 35.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.500000 | c 15 > 12.573400 | c 34 > 52.333300 | c 16 > 2.000000 | c 13 > 3.246200 | c 14 > 2.321930 | c 11 > 8.661780 | c 12 > 1.954770 | c 21 > 9.797960 | c 20 > 65.000000 | c 22 > 20.000000 | 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 > 4.321930 | c 2 > -1.000000 | c 10 > 9.411510 | 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 > 13.712100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 8.569860 | c
6.91/7.05 c choco : 1801.0
6.91/7.05 c mistral : 83.0154
6.91/7.05 c abscon : 1.26981
6.91/7.05 c
6.91/7.05 c
6.91/7.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-5.xml
6.91/7.05 c 19 > 53.560400 | c 35 > 30.340600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.767800 | c 15 > 16.941000 | c 34 > 48.544900 | c 16 > 20.000000 | c 13 > 4.360510 | c 14 > 8.209450 | c 11 > 10.622100 | c 12 > 2.455100 | c 21 > 1.414210 | c 20 > 46.439600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.716000 | c 1 > 7.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.383700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.539600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.06 c choco : 4.22
6.91/7.06 c mistral : 0.225965
6.91/7.06 c abscon : 1.49977
6.91/7.06 c
6.91/7.06 c
6.91/7.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-3.xml
6.91/7.06 c 19 > 53.395100 | c 35 > 30.524700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.722200 | c 15 > 17.197600 | c 34 > 48.796300 | c 16 > 20.000000 | c 13 > 3.780610 | c 14 > 8.149750 | c 11 > 10.633000 | c 12 > 2.232160 | c 21 > 1.414210 | c 20 > 46.604900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.726200 | c 1 > 7.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.396600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.550700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.06 c choco : 4.29
6.91/7.06 c mistral : 0.508921
6.91/7.06 c abscon : 34.9107
6.91/7.06 c
6.91/7.06 c
6.91/7.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-8.xml
6.91/7.06 c 19 > 48.773000 | c 35 > 32.392600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.355800 | c 15 > 19.166300 | c 34 > 51.779100 | c 16 > 18.000000 | c 13 > 5.271550 | c 14 > 9.250300 | c 11 > 11.733000 | c 12 > 3.502030 | c 21 > 1.414210 | c 20 > 51.227000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.817000 | c 1 > 8.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.537200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.565100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.07 c choco : 16.59
6.91/7.07 c mistral : 3.77743
6.91/7.07 c abscon : 1641.68
6.91/7.07 c
6.91/7.07 c
6.91/7.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-2.xml
6.91/7.07 c 19 > 52.528100 | c 35 > 30.702200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.410100 | c 15 > 19.408300 | c 34 > 49.016900 | c 16 > 22.000000 | c 13 > 7.150000 | c 14 > 9.670660 | c 11 > 10.787900 | c 12 > 5.503750 | c 21 > 1.414210 | c 20 > 47.471900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.875000 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.554600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.755700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.08 c choco : 3.99
6.91/7.08 c mistral : 0.58
6.91/7.08 c abscon : 1800.1
6.91/7.08 c
6.91/7.08 c
6.91/7.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/b1.xml
6.91/7.08 c 19 > 51.111100 | c 35 > 32.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 37.333300 | c 15 > 9.262090 | c 34 > 39.333300 | c 16 > 9.000000 | c 13 > 0.966209 | c 14 > 3.584960 | c 11 > 6.781360 | c 12 > 0.750022 | c 21 > 1.414210 | c 20 > 48.888900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.768180 | c 1 > 4.584960 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.426260 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.651050 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.09 c choco : 1.25
6.91/7.09 c mistral : 0.016997
6.91/7.09 c abscon : 0.687894
6.91/7.09 c
6.91/7.09 c
6.91/7.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/C17.xml
6.91/7.09 c 19 > 55.000000 | c 35 > 27.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 37.500000 | c 15 > 7.321930 | c 34 > 34.500000 | c 16 > 5.000000 | c 13 > 0.693585 | c 14 > 2.807350 | c 11 > 5.247930 | c 12 > 0.634716 | c 21 > 1.316560 | c 20 > 45.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.129280 | c 1 > 3.459430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.754890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.845490 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.09 c choco : 1.14
6.91/7.09 c mistral : 0.01
6.91/7.09 c abscon : 0.678896
6.91/7.09 c
6.91/7.09 c
6.91/7.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/cm42a.xml
6.91/7.09 c 19 > 52.432400 | c 35 > 33.837800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.891900 | c 15 > 11.971500 | c 34 > 41.891900 | c 16 > 20.000000 | c 13 > 1.399500 | c 14 > 5.584960 | c 11 > 8.951280 | c 12 > 0.864099 | c 21 > 1.414210 | c 20 > 47.567600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.945440 | c 1 > 6.629360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.629360 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.138300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.10 c choco : 1.73
6.91/7.10 c mistral : 0.030994
6.91/7.10 c abscon : 0.921859
6.91/7.10 c
6.91/7.10 c
6.91/7.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-6.xml
6.91/7.10 c 19 > 47.133800 | c 35 > 29.766500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.929900 | c 15 > 18.923000 | c 34 > 46.072200 | c 16 > 26.000000 | c 13 > 4.580620 | c 14 > 9.245550 | c 11 > 12.309500 | c 12 > 2.987220 | c 21 > 1.414210 | c 20 > 52.866200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.382600 | c 1 > 9.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.120200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.320000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.10 c choco : 115.52
6.97/7.10 c mistral : 13.55
6.97/7.10 c abscon : 1800.09
6.97/7.10 c
6.97/7.10 c
6.97/7.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-3.xml
6.97/7.10 c 19 > 47.901700 | c 35 > 29.662200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.173000 | c 15 > 19.027700 | c 34 > 45.957000 | c 16 > 27.000000 | c 13 > 4.643430 | c 14 > 9.219170 | c 11 > 12.351500 | c 12 > 2.910160 | c 21 > 1.414210 | c 20 > 52.098300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.428900 | c 1 > 9.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.160500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.387600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.11 c choco : 1801.0
6.97/7.11 c mistral : 144.397
6.97/7.11 c abscon : 1800.11
6.97/7.11 c
6.97/7.11 c
6.97/7.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-2.xml
6.97/7.11 c 19 > 47.336100 | c 35 > 29.661900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.002000 | c 15 > 18.878800 | c 34 > 45.932400 | c 16 > 27.000000 | c 13 > 4.721630 | c 14 > 9.216750 | c 11 > 12.357000 | c 12 > 2.893890 | c 21 > 1.414210 | c 20 > 52.663900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.431000 | c 1 > 9.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.166800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.389900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.11 c choco : 168.81
6.97/7.11 c mistral : 1800.08
6.97/7.11 c abscon : 1800.08
6.97/7.11 c
6.97/7.11 c
6.97/7.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-1.xml
6.97/7.11 c 19 > 47.633100 | c 35 > 29.773200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.106500 | c 15 > 18.915500 | c 34 > 46.104500 | c 16 > 28.000000 | c 13 > 4.165760 | c 14 > 9.124120 | c 11 > 12.411500 | c 12 > 2.654240 | c 21 > 1.414210 | c 20 > 52.366900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.487300 | c 1 > 9.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.221600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.467400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.12 c choco : 67.18
6.97/7.12 c mistral : 1800.04
6.97/7.12 c abscon : 1800.08
6.97/7.12 c
6.97/7.12 c
6.97/7.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-7.xml
6.97/7.12 c 19 > 47.586200 | c 35 > 29.832500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.093600 | c 15 > 18.920100 | c 34 > 46.187200 | c 16 > 28.000000 | c 13 > 5.632540 | c 14 > 9.449150 | c 11 > 12.414700 | c 12 > 3.311130 | c 21 > 1.414210 | c 20 > 52.413800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.490300 | c 1 > 9.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.225200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.470300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.12 c choco : 1801.0
6.97/7.12 c mistral : 85.33
6.97/7.12 c abscon : 1800.06
6.97/7.12 c
6.97/7.12 c
6.97/7.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf6.xml
6.97/7.12 c 19 > 76.335900 | c 35 > 26.946600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 52.442700 | c 15 > 9.592460 | c 34 > 43.358800 | c 16 > 7.000000 | c 13 > 1.245600 | c 14 > 1.584960 | c 11 > 7.888740 | c 12 > 1.428670 | c 21 > 1.392950 | c 20 > 23.664100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.076820 | c 1 > 5.977280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.442940 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.579300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.13 c choco : 1.54
6.97/7.13 c mistral : 0.02
6.97/7.13 c abscon : 0.748886
6.97/7.13 c
6.97/7.13 c
6.97/7.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-4-3.xml
6.97/7.13 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.13 c choco : 3.29
6.97/7.13 c mistral : 0.25796
6.97/7.13 c abscon : 1.26581
6.97/7.13 c
6.97/7.13 c
6.97/7.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-4-3.xml
6.97/7.13 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.14 c choco : 3.26
6.97/7.14 c mistral : 0.25996
6.97/7.14 c abscon : 1.22581
6.97/7.14 c
6.97/7.14 c
6.97/7.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-4.xml
6.97/7.14 c 19 > 47.519100 | c 35 > 29.704200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.082100 | c 15 > 18.930700 | c 34 > 46.001900 | c 16 > 29.000000 | c 13 > 4.453170 | c 14 > 9.189820 | c 11 > 12.459900 | c 12 > 2.651520 | c 21 > 1.414210 | c 20 > 52.480900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.534800 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.269700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.536000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.14 c choco : 1801.0
6.97/7.14 c mistral : 20.45
6.97/7.14 c abscon : 1800.05
6.97/7.14 c
6.97/7.14 c
6.97/7.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-5.xml
6.97/7.15 c 19 > 48.155000 | c 35 > 29.667900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.284100 | c 15 > 18.858100 | c 34 > 45.977900 | c 16 > 30.000000 | c 13 > 4.361410 | c 14 > 9.033420 | c 11 > 12.500800 | c 12 > 2.617730 | c 21 > 1.414210 | c 20 > 51.845000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.579300 | c 1 > 9.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.309500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.601300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.15 c choco : 1801.0
6.97/7.15 c mistral : 1502.73
6.97/7.15 c abscon : 1800.11
6.97/7.15 c
6.97/7.15 c
6.97/7.15 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-mul.xml
6.97/7.15 c 19 > 29.885100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.517200 | c 15 > 12.146300 | c 34 > 51.609200 | c 16 > 2.000000 | c 13 > 3.392760 | c 14 > 1.000000 | c 11 > 9.299210 | c 12 > 1.926600 | c 21 > 11.180300 | c 20 > 70.114900 | c 22 > 25.000000 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 10.016800 | 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 > 14.646700 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 9.228820 | c
6.97/7.16 c choco : 1801.0
6.97/7.16 c mistral : 162.159
6.97/7.16 c abscon : 1.9547
6.97/7.16 c
6.97/7.16 c
6.97/7.16 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-2-3.xml
6.97/7.16 c 19 > 26.250000 | c 35 > 22.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 11.758200 | c 34 > 45.500000 | c 16 > 5.000000 | c 13 > 1.988920 | c 14 > 3.459430 | c 11 > 7.055280 | c 12 > 1.094460 | c 21 > 5.291500 | c 20 > 73.750000 | 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 > 5.044390 | c 2 > 5.977280 | c 10 > 8.787900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.499850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.543800 | c 31 > -1.000000 | c 4 > 2.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.16 c choco : 1.72
6.97/7.16 c mistral : 0.030994
6.97/7.16 c abscon : 1.40479
6.97/7.16 c
6.97/7.16 c
6.97/7.16 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-2-3.xml
6.97/7.16 c 19 > 26.250000 | c 35 > 22.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 11.889100 | c 34 > 45.500000 | c 16 > 5.000000 | c 13 > 0.834944 | c 14 > 2.000000 | c 11 > 6.643860 | c 12 > 1.063500 | c 21 > 6.782330 | c 20 > 73.750000 | 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 > 5.044390 | c 2 > 5.977280 | c 10 > 8.787900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.499850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.170900 | c 31 > -1.000000 | c 4 > 2.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.17 c choco : 1.72
6.97/7.17 c mistral : 0.030994
6.97/7.17 c abscon : 1.82972
6.97/7.17 c
6.97/7.17 c
6.97/7.17 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-9.xml
6.97/7.17 c 19 > 48.218500 | c 35 > 29.730800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.349200 | c 15 > 18.779300 | c 34 > 46.072800 | c 16 > 35.000000 | c 13 > 4.285030 | c 14 > 9.194760 | c 11 > 12.724900 | c 12 > 2.443260 | c 21 > 1.414210 | c 20 > 51.781500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.803300 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.533800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.925100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.18 c choco : 1801.0
6.97/7.18 c mistral : 29.25
6.97/7.18 c abscon : 1800.08
6.97/7.18 c
6.97/7.18 c
6.97/7.18 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-10.xml
6.97/7.18 c 19 > 47.705700 | c 35 > 29.825900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.196200 | c 15 > 18.687000 | c 34 > 46.186700 | c 16 > 35.000000 | c 13 > 3.720270 | c 14 > 9.103290 | c 11 > 12.734300 | c 12 > 2.188530 | c 21 > 1.414210 | c 20 > 52.294300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.809800 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.544500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.930900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.18 c choco : 16.55
6.97/7.18 c mistral : 95.65
6.97/7.18 c abscon : 1800.08
6.97/7.18 c
6.97/7.18 c
6.97/7.18 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/44s-smv.xml
6.97/7.18 c 19 > 75.292900 | c 35 > 38.839200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.079900 | c 15 > 19.766000 | c 34 > 67.231100 | c 16 > 13.000000 | c 13 > 9.295790 | c 14 > 10.263300 | c 11 > 11.288300 | c 12 > 5.478330 | c 21 > 1.327260 | c 20 > 24.707100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.964700 | c 1 > 8.558420 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.751100 | c 6 > 3.700440 | c 32 > -1.000000 | c 5 > 17.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.19 c choco : 526.57
6.97/7.19 c mistral : 10.6244
6.97/7.19 c abscon : 22.7125
6.97/7.19 c
6.97/7.19 c
6.97/7.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-3.xml
6.97/7.19 c 19 > 40.000000 | c 35 > 26.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 13.581900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 3.460210 | c 14 > 7.044390 | c 11 > 8.000000 | c 12 > 2.292320 | c 21 > 1.414210 | c 20 > 60.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.700440 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.285400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.383700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.19 c choco : 1.69
6.97/7.19 c mistral : 0.029995
6.97/7.19 c abscon : 0.835872
6.97/7.19 c
6.97/7.19 c
6.97/7.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-7.xml
6.97/7.19 c 19 > 67.590200 | c 35 > 36.778400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.536700 | c 15 > 16.630700 | c 34 > 65.125600 | c 16 > 25.000000 | c 13 > 3.944160 | c 14 > 0.000000 | c 11 > 11.272600 | c 12 > 3.250140 | c 21 > 1.359890 | c 20 > 32.409800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.302600 | c 1 > 11.272600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.247100 | c 6 > 4.169930 | c 32 > -1.000000 | c 5 > 26.649100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.03/7.20 c choco : 8.02
7.03/7.20 c mistral : 1.18
7.03/7.20 c abscon : 399.46
7.03/7.20 c
7.03/7.20 c
7.03/7.20 c Length: 40
7.03/7.20 c 1.1050905918520886 8.975494439695233 10.778114073069556 17.579044123152002 18.16404658926254 18.171170183964488 18.532451188459557 18.763831936937216 18.788669864606938 18.993126071458725 19.014316564860383 20.14380784841585 34.328741392969825 34.354179170933484 34.451780498122304 34.80288687370058 34.86819039743244 35.65472336605348 36.58663441615668 37.58340085345344 38.66450055251485 39.58327533010957 41.72041720027257 42.08100594770995 42.273008723227875 42.80546228472367 42.81440305038598 43.07113234714639 43.45420343550898 43.45420343550898 43.508923063725675 43.94661743947309 45.211519905994095 45.6104218660012 45.978113504422474 47.439213190879336 47.599646163433825 47.84773784491802 50.838844924245684 50.87378516333339
7.03/7.21 c
7.03/7.21 c 1.0 0.8634537308237205 0.8372687769111631 0.751308952719717 0.7447320704500213 0.7446526930675461 0.7406490521949021 0.7381074765035444 0.7378356834405528 0.7356059705206076 0.7353756464601293 0.7233042669277698 0.5996781311341643 0.5994943815979742 0.5987904030547254 0.596271558354317 0.5958054049075724 0.5902476500446089 0.5837953712272725 0.5770483817704822 0.5699046697293453 0.563971156382738 0.5506359854516862 0.5484479421018172 0.5472899538726457 0.5441041064926344 0.5440509275103852 0.542528343834731 0.5402722445096164 0.5402722445096164 0.5399515036413374 0.5373995851522253 0.5301584968571554 0.5279152356660292 0.5258642371940043 0.5178692574972091 0.5170061731503646 0.5156771590841446 0.5001755747696294 0.5
7.03/7.22 c
7.03/7.22 c solver 0
7.03/7.22 c before 0.0 seconds: {} 0
7.03/7.22 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 19, 20, 21, 27, 28, 29, 32, 33, 34, 38} 17164
7.03/7.22 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 27, 28, 29, 32, 33, 34, 37, 38} 18276
7.03/7.22 c before 414.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 27, 28, 29, 32, 33, 34, 37, 38, 39} 18776
7.03/7.22 c before 1656.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 27, 28, 29, 32, 33, 34, 37, 38, 39} 19366
7.03/7.22 c
7.03/7.22 c solver 1
7.03/7.22 c before 0.0 seconds: {} 0
7.03/7.22 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 27, 28, 29, 33, 34, 37, 38, 39} 19371
7.03/7.22 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 27, 28, 29, 30, 33, 34, 35, 37, 38, 39} 20429
7.03/7.22 c before 90.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, 26, 27, 28, 29, 30, 33, 34, 35, 37, 38, 39} 21572
7.03/7.22 c before 108.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, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 22089
7.03/7.22 c before 162.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, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 22637
7.03/7.22 c before 180.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, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 23168
7.03/7.22 c before 1512.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23705
7.03/7.22 c
7.03/7.22 c solver 2
7.03/7.22 c before 0.0 seconds: {} 0
7.03/7.22 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 27, 28, 29, 33, 34, 36, 38, 39} 18099
7.03/7.22 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 25, 27, 28, 29, 33, 34, 36, 38, 39} 18643
7.03/7.22 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 25, 27, 28, 29, 33, 34, 36, 38, 39} 19193
7.03/7.22 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 33, 34, 36, 38, 39} 19741
7.03/7.22 c before 540.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 33, 34, 36, 37, 38, 39} 20256
7.03/7.22 c
7.03/7.22 cTotal time: 206
7.03/7.22 c run abscon for 36.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 27, 28, 29, 32, 33, 34, 37, 38} 18276
7.03/7.22 c run mistral for 1512.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23705
7.03/7.22 c run choco for 180.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 33, 34, 36, 38, 39} 19741
7.03/7.22 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.03/7.22 c On Instance: HOME/instance-1081373-1215216685.xml
7.03/7.22 c Running for: 36 seconds
7.87/8.12 s UNSATISFIABLE
7.87/8.12 d ASSIGNMENTS 99
7.87/8.12 d CHECKS 141102
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081373-1215216685/watcher-1081373-1215216685 -o /tmp/evaluation-result-1081373-1215216685/solver-1081373-1215216685 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1081373-1215216685.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.07 2.06 2.04 4/82 12152 /proc/meminfo: memFree=1472232/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=0 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 256142370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12152/statm: 1340 236 195 169 0 51 0 [pid=12155] ppid=12152 vsize=4992 CPUtime=0.05 /proc/12155/stat : 12155 (xsolve) R 12152 12152 11087 0 -1 4194304 635 0 0 0 5 0 0 0 18 0 1 0 256142371 5111808 594 996147200 134512640 135239763 4294956176 18446744073709551615 134538539 0 0 4096 0 0 0 0 17 0 0 0 /proc/12155/statm: 1248 594 440 177 0 151 0 [startup+0.156525 s] /proc/loadavg: 2.07 2.06 2.04 4/82 12152 /proc/meminfo: memFree=1472232/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=0 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 256142370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12152/statm: 1340 236 195 169 0 51 0 [pid=12155] ppid=12152 vsize=4992 CPUtime=0.14 /proc/12155/stat : 12155 (xsolve) R 12152 12152 11087 0 -1 4194304 638 0 0 0 14 0 0 0 18 0 1 0 256142371 5111808 597 996147200 134512640 135239763 4294956176 18446744073709551615 135096869 0 0 4096 0 0 0 0 17 0 0 0 /proc/12155/statm: 1248 597 440 177 0 151 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 10352 [startup+0.201529 s] /proc/loadavg: 2.07 2.06 2.04 4/82 12152 /proc/meminfo: memFree=1472232/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=0 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 256142370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12152/statm: 1340 236 195 169 0 51 0 [pid=12155] ppid=12152 vsize=4992 CPUtime=0.18 /proc/12155/stat : 12155 (xsolve) R 12152 12152 11087 0 -1 4194304 638 0 0 0 18 0 0 0 18 0 1 0 256142371 5111808 597 996147200 134512640 135239763 4294956176 18446744073709551615 134536048 0 0 4096 0 0 0 0 17 0 0 0 /proc/12155/statm: 1248 597 440 177 0 151 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 10352 [startup+0.30154 s] /proc/loadavg: 2.07 2.06 2.04 4/82 12152 /proc/meminfo: memFree=1472232/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=0 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 256142370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12152/statm: 1340 236 195 169 0 51 0 [pid=12155] ppid=12152 vsize=4992 CPUtime=0.28 /proc/12155/stat : 12155 (xsolve) R 12152 12152 11087 0 -1 4194304 638 0 0 0 28 0 0 0 19 0 1 0 256142371 5111808 597 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/12155/statm: 1248 597 440 177 0 151 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10352 [startup+0.701582 s] /proc/loadavg: 2.07 2.06 2.04 4/82 12152 /proc/meminfo: memFree=1472232/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=0 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 256142370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12152/statm: 1340 236 195 169 0 51 0 [pid=12155] ppid=12152 vsize=4992 CPUtime=0.68 /proc/12155/stat : 12155 (xsolve) R 12152 12152 11087 0 -1 4194304 638 0 0 0 68 0 0 0 23 0 1 0 256142371 5111808 597 996147200 134512640 135239763 4294956176 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 0 0 0 /proc/12155/statm: 1248 597 440 177 0 151 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 10352 [startup+1.50167 s] /proc/loadavg: 2.07 2.06 2.04 3/84 12156 /proc/meminfo: memFree=1471320/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=1.46 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 375 1236 0 0 0 0 146 0 20 0 1 0 256142370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12152/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 5360 [startup+3.10184 s] /proc/loadavg: 2.06 2.06 2.04 3/92 12168 /proc/meminfo: memFree=1463448/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=1.46 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 375 1236 0 0 0 0 146 0 20 0 1 0 256142370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12152/statm: 1340 238 196 169 0 51 0 [pid=12160] ppid=12152 vsize=197024 CPUtime=1.6 /proc/12160/stat : 12160 (java) S 12152 12152 11087 0 -1 0 6583 0 1 0 155 5 0 0 22 0 9 0 256142519 201752576 5530 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12160/statm: 49256 5530 2541 9 0 43838 0 [pid=12160/tid=12161] ppid=12152 vsize=197024 CPUtime=1.22 /proc/12160/task/12161/stat : 12161 (java) R 12152 12152 11087 0 -1 64 2814 0 1 0 120 2 0 0 25 0 9 0 256142520 201752576 5530 996147200 134512640 134550740 4294955968 18446744073709551615 4126439421 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12162] ppid=12152 vsize=197024 CPUtime=0.21 /proc/12160/task/12162/stat : 12162 (java) S 12152 12152 11087 0 -1 64 2429 0 0 0 19 2 0 0 16 0 9 0 256142521 201752576 5530 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12163] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12163/stat : 12163 (java) S 12152 12152 11087 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 256142521 201752576 5530 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12164] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12164/stat : 12164 (java) S 12152 12152 11087 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 256142521 201752576 5530 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12165] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12165/stat : 12165 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256142523 201752576 5530 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12166] ppid=12152 vsize=197024 CPUtime=0.14 /proc/12160/task/12166/stat : 12166 (java) S 12152 12152 11087 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 256142523 201752576 5530 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12167] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12167/stat : 12167 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256142523 201752576 5530 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12168] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12168/stat : 12168 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256142523 201752576 5530 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 202384 [startup+6.30218 s] /proc/loadavg: 2.06 2.06 2.04 4/92 12168 /proc/meminfo: memFree=1448984/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=1.46 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 375 1236 0 0 0 0 146 0 20 0 1 0 256142370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12152/statm: 1340 238 196 169 0 51 0 [pid=12160] ppid=12152 vsize=197024 CPUtime=4.77 /proc/12160/stat : 12160 (java) S 12152 12152 11087 0 -1 0 10530 0 1 0 464 13 0 0 22 0 9 0 256142519 201752576 8745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12160/statm: 49256 8745 2541 9 0 43838 0 [pid=12160/tid=12161] ppid=12152 vsize=197024 CPUtime=3.81 /proc/12160/task/12161/stat : 12161 (java) R 12152 12152 11087 0 -1 64 3642 0 1 0 377 4 0 0 25 0 9 0 256142520 201752576 8745 996147200 134512640 134550740 4294955968 18446744073709551615 4126623854 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12162] ppid=12152 vsize=197024 CPUtime=0.77 /proc/12160/task/12162/stat : 12162 (java) S 12152 12152 11087 0 -1 64 5532 0 0 0 70 7 0 0 16 0 9 0 256142521 201752576 8745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12163] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12163/stat : 12163 (java) S 12152 12152 11087 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 256142521 201752576 8745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12164] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12164/stat : 12164 (java) S 12152 12152 11087 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 256142521 201752576 8745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12165] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12165/stat : 12165 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256142523 201752576 8745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12166] ppid=12152 vsize=197024 CPUtime=0.16 /proc/12160/task/12166/stat : 12166 (java) S 12152 12152 11087 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 256142523 201752576 8745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12167] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12167/stat : 12167 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256142523 201752576 8745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12168] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12168/stat : 12168 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256142523 201752576 8745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 202384 Solver just ended. Dumping a history of the last processes samples [startup+6.40219 s] /proc/loadavg: 2.06 2.06 2.04 4/92 12168 /proc/meminfo: memFree=1448984/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=1.46 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 375 1236 0 0 0 0 146 0 20 0 1 0 256142370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12152/statm: 1340 238 196 169 0 51 0 [pid=12160] ppid=12152 vsize=197024 CPUtime=4.87 /proc/12160/stat : 12160 (java) S 12152 12152 11087 0 -1 0 10650 0 1 0 473 14 0 0 22 0 9 0 256142519 201752576 8846 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12160/statm: 49256 8846 2541 9 0 43838 0 [pid=12160/tid=12161] ppid=12152 vsize=197024 CPUtime=3.89 /proc/12160/task/12161/stat : 12161 (java) R 12152 12152 11087 0 -1 64 3661 0 1 0 385 4 0 0 25 0 9 0 256142520 201752576 8846 996147200 134512640 134550740 4294955968 18446744073709551615 4126449655 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12162] ppid=12152 vsize=197024 CPUtime=0.79 /proc/12160/task/12162/stat : 12162 (java) S 12152 12152 11087 0 -1 64 5632 0 0 0 71 8 0 0 16 0 9 0 256142521 201752576 8846 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12163] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12163/stat : 12163 (java) S 12152 12152 11087 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 256142521 201752576 8846 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12164] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12164/stat : 12164 (java) S 12152 12152 11087 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 256142521 201752576 8846 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12165] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12165/stat : 12165 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256142523 201752576 8846 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12166] ppid=12152 vsize=197024 CPUtime=0.16 /proc/12160/task/12166/stat : 12166 (java) S 12152 12152 11087 0 -1 64 631 0 0 0 16 0 0 0 16 0 9 0 256142523 201752576 8846 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12167] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12167/stat : 12167 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256142523 201752576 8846 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12168] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12168/stat : 12168 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256142523 201752576 8846 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.33 Current children cumulated vsize (KiB) 202384 [startup+7.20227 s] /proc/loadavg: 2.06 2.06 2.04 3/92 12168 /proc/meminfo: memFree=1444952/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=1.46 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 375 1236 0 0 0 0 146 0 20 0 1 0 256142370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12152/statm: 1340 238 196 169 0 51 0 [pid=12160] ppid=12152 vsize=197024 CPUtime=5.57 /proc/12160/stat : 12160 (java) S 12152 12152 11087 0 -1 0 11291 0 1 0 540 17 0 0 22 0 9 0 256142519 201752576 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12160/statm: 49256 9397 2542 9 0 43838 0 [pid=12160/tid=12161] ppid=12152 vsize=197024 CPUtime=4.49 /proc/12160/task/12161/stat : 12161 (java) R 12152 12152 11087 0 -1 64 3782 0 1 0 442 7 0 0 25 0 9 0 256142520 201752576 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12162] ppid=12152 vsize=197024 CPUtime=0.84 /proc/12160/task/12162/stat : 12162 (java) S 12152 12152 11087 0 -1 64 6119 0 0 0 76 8 0 0 16 0 9 0 256142521 201752576 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12163] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12163/stat : 12163 (java) S 12152 12152 11087 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 256142521 201752576 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12164] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12164/stat : 12164 (java) S 12152 12152 11087 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 256142521 201752576 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12165] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12165/stat : 12165 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256142523 201752576 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12166] ppid=12152 vsize=197024 CPUtime=0.21 /proc/12160/task/12166/stat : 12166 (java) S 12152 12152 11087 0 -1 64 663 0 0 0 21 0 0 0 15 0 9 0 256142523 201752576 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12167] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12167/stat : 12167 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256142523 201752576 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12168] ppid=12152 vsize=197024 CPUtime=0 /proc/12160/task/12168/stat : 12168 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256142523 201752576 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.03 Current children cumulated vsize (KiB) 202384 [startup+7.60132 s] /proc/loadavg: 2.06 2.06 2.04 3/92 12168 /proc/meminfo: memFree=1444952/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=1.46 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 375 1236 0 0 0 0 146 0 20 0 1 0 256142370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12152/statm: 1340 238 196 169 0 51 0 [pid=12160] ppid=12152 vsize=197348 CPUtime=5.6 /proc/12160/stat : 12160 (java) S 12152 12152 11087 0 -1 0 11445 0 1 0 543 17 0 0 22 0 10 0 256142519 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12160/statm: 49337 9427 2544 9 0 43919 0 [pid=12160/tid=12161] ppid=12152 vsize=197348 CPUtime=4.5 /proc/12160/task/12161/stat : 12161 (java) S 12152 12152 11087 0 -1 64 3855 0 1 0 443 7 0 0 25 0 10 0 256142520 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=12160/tid=12162] ppid=12152 vsize=197348 CPUtime=0.84 /proc/12160/task/12162/stat : 12162 (java) S 12152 12152 11087 0 -1 64 6119 0 0 0 76 8 0 0 16 0 10 0 256142521 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12163] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12163/stat : 12163 (java) S 12152 12152 11087 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 256142521 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12164] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12164/stat : 12164 (java) S 12152 12152 11087 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 256142521 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12165] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12165/stat : 12165 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12166] ppid=12152 vsize=197348 CPUtime=0.22 /proc/12160/task/12166/stat : 12166 (java) S 12152 12152 11087 0 -1 64 670 0 0 0 22 0 0 0 16 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12167] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12167/stat : 12167 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12168] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12168/stat : 12168 (java) S 12152 12152 11087 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.06 Current children cumulated vsize (KiB) 202708 [startup+8.00236 s] /proc/loadavg: 2.14 2.07 2.04 3/104 12180 /proc/meminfo: memFree=1425400/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=1.46 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 375 1236 0 0 0 0 146 0 20 0 1 0 256142370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12152/statm: 1340 238 196 169 0 51 0 [pid=12160] ppid=12152 vsize=197348 CPUtime=5.6 /proc/12160/stat : 12160 (java) S 12152 12152 11087 0 -1 0 11445 0 1 0 543 17 0 0 22 0 10 0 256142519 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12160/statm: 49337 9427 2544 9 0 43919 0 [pid=12170] ppid=12160 vsize=5356 CPUtime=0 /proc/12170/stat : 12170 (abscon) S 12160 12152 11087 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 256143093 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12170/statm: 1339 237 196 169 0 50 0 [pid=12171] ppid=12170 vsize=654864 CPUtime=0.74 /proc/12171/stat : 12171 (java) S 12170 12152 11087 0 -1 0 10424 0 1 0 66 8 0 0 25 0 9 0 256143094 670580736 9741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12171/statm: 163716 9741 2607 9 0 158244 0 [pid=12171/tid=12173] ppid=12170 vsize=654864 CPUtime=0.57 /proc/12171/task/12173/stat : 12173 (java) R 12170 12152 11087 0 -1 64 8397 0 1 0 51 6 0 0 25 0 9 0 256143095 670580736 9741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12174] ppid=12170 vsize=654864 CPUtime=0.03 /proc/12171/task/12174/stat : 12174 (java) S 12170 12152 11087 0 -1 64 1138 0 0 0 3 0 0 0 16 0 9 0 256143096 670580736 9741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12175] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12175/stat : 12175 (java) S 12170 12152 11087 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 256143097 670580736 9741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12176] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12176/stat : 12176 (java) S 12170 12152 11087 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 256143097 670580736 9742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12177] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12177/stat : 12177 (java) S 12170 12152 11087 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256143099 670580736 9742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12178] ppid=12170 vsize=654864 CPUtime=0.11 /proc/12171/task/12178/stat : 12178 (java) R 12170 12152 11087 0 -1 64 345 0 0 0 11 0 0 0 15 0 9 0 256143099 670580736 9742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12179] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12179/stat : 12179 (java) S 12170 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256143099 670580736 9742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12180] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12180/stat : 12180 (java) S 12170 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256143099 670580736 9742 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12172] ppid=12170 vsize=7044 CPUtime=0 /proc/12172/stat : 12172 (translate) S 12170 12152 11087 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 256143094 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 224264945746 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12172/statm: 1761 213 182 1 0 41 0 [pid=12160/tid=12161] ppid=12152 vsize=197348 CPUtime=4.5 /proc/12160/task/12161/stat : 12161 (java) S 12152 12152 11087 0 -1 64 3855 0 1 0 443 7 0 0 25 0 10 0 256142520 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=12160/tid=12162] ppid=12152 vsize=197348 CPUtime=0.84 /proc/12160/task/12162/stat : 12162 (java) S 12152 12152 11087 0 -1 64 6119 0 0 0 76 8 0 0 16 0 10 0 256142521 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12163] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12163/stat : 12163 (java) S 12152 12152 11087 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 256142521 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12164] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12164/stat : 12164 (java) S 12152 12152 11087 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 256142521 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12165] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12165/stat : 12165 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12166] ppid=12152 vsize=197348 CPUtime=0.22 /proc/12160/task/12166/stat : 12166 (java) S 12152 12152 11087 0 -1 64 670 0 0 0 22 0 0 0 16 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12167] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12167/stat : 12167 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12168] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12168/stat : 12168 (java) S 12152 12152 11087 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12169] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12169/stat : 12169 (java) S 12152 12152 11087 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 256143093 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.8 Current children cumulated vsize (KiB) 869972 [startup+8.10237 s] /proc/loadavg: 2.14 2.07 2.04 3/104 12180 /proc/meminfo: memFree=1425400/2055920 swapFree=4169368/4192956 [pid=12152] ppid=12150 vsize=5360 CPUtime=1.46 /proc/12152/stat : 12152 (hydra) S 12150 12152 11087 0 -1 4194304 375 1236 0 0 0 0 146 0 20 0 1 0 256142370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12152/statm: 1340 238 196 169 0 51 0 [pid=12160] ppid=12152 vsize=197348 CPUtime=5.6 /proc/12160/stat : 12160 (java) S 12152 12152 11087 0 -1 0 11448 0 1 0 543 17 0 0 22 0 10 0 256142519 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12160/statm: 49337 9427 2544 9 0 43919 0 [pid=12170] ppid=12160 vsize=5356 CPUtime=0 /proc/12170/stat : 12170 (abscon) S 12160 12152 11087 0 -1 4194304 304 288 0 0 0 0 0 0 16 0 1 0 256143093 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12170/statm: 1339 237 196 169 0 50 0 [pid=12171] ppid=12170 vsize=654864 CPUtime=0.81 /proc/12171/stat : 12171 (java) S 12170 12152 11087 0 -1 0 10764 0 1 0 73 8 0 0 25 0 9 0 256143094 670580736 10080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12171/statm: 163716 10080 2609 9 0 158244 0 [pid=12171/tid=12173] ppid=12170 vsize=654864 CPUtime=0.62 /proc/12171/task/12173/stat : 12173 (java) S 12170 12152 11087 0 -1 64 8722 0 1 0 56 6 0 0 25 0 9 0 256143095 670580736 10080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12174] ppid=12170 vsize=654864 CPUtime=0.03 /proc/12171/task/12174/stat : 12174 (java) S 12170 12152 11087 0 -1 64 1138 0 0 0 3 0 0 0 16 0 9 0 256143096 670580736 10080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12175] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12175/stat : 12175 (java) S 12170 12152 11087 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 256143097 670580736 10080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12176] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12176/stat : 12176 (java) S 12170 12152 11087 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 256143097 670580736 10080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12177] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12177/stat : 12177 (java) S 12170 12152 11087 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256143099 670580736 10080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12178] ppid=12170 vsize=654864 CPUtime=0.13 /proc/12171/task/12178/stat : 12178 (java) S 12170 12152 11087 0 -1 64 359 0 0 0 13 0 0 0 15 0 9 0 256143099 670580736 10080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12179] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12179/stat : 12179 (java) S 12170 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 256143099 670580736 10080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12171/tid=12180] ppid=12170 vsize=654864 CPUtime=0 /proc/12171/task/12180/stat : 12180 (java) S 12170 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256143099 670580736 10080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12161] ppid=12152 vsize=197348 CPUtime=4.5 /proc/12160/task/12161/stat : 12161 (java) S 12152 12152 11087 0 -1 64 3858 0 1 0 443 7 0 0 16 0 10 0 256142520 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=12160/tid=12162] ppid=12152 vsize=197348 CPUtime=0.84 /proc/12160/task/12162/stat : 12162 (java) S 12152 12152 11087 0 -1 64 6119 0 0 0 76 8 0 0 16 0 10 0 256142521 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12163] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12163/stat : 12163 (java) S 12152 12152 11087 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 256142521 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12164] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12164/stat : 12164 (java) S 12152 12152 11087 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 256142521 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12165] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12165/stat : 12165 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12166] ppid=12152 vsize=197348 CPUtime=0.22 /proc/12160/task/12166/stat : 12166 (java) S 12152 12152 11087 0 -1 64 670 0 0 0 22 0 0 0 16 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12167] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12167/stat : 12167 (java) S 12152 12152 11087 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12168] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12168/stat : 12168 (java) S 12152 12152 11087 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 256142523 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12160/tid=12169] ppid=12152 vsize=197348 CPUtime=0 /proc/12160/task/12169/stat : 12169 (java) S 12152 12152 11087 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 256143093 202084352 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.87 Current children cumulated vsize (KiB) 862928 Child status: 0 Real time (s): 8.14805 CPU time (s): 7.93279 CPU user time (s): 7.63884 CPU system time (s): 0.293955 CPU usage (%): 97.3582 Max. virtual memory (cumulated for all children) (KiB): 869972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.63884 system time used= 0.293955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24558 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= 10294 involuntary context switches= 15313 runsolver used 0.052991 second user time and 0.088986 second system time The end
Begin job on node82 at 2008-07-05 02:11:25 IDJOB=1081373 IDBENCH=57093 IDSOLVER=366 FILE ID=node82/1081373-1215216685 PBS_JOBID= 7881756 Free space on /tmp= 66492 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-10-5-mul.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081373-1215216685/watcher-1081373-1215216685 -o /tmp/evaluation-result-1081373-1215216685/solver-1081373-1215216685 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1081373-1215216685.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= b79a35fdeb8af50a3cf1eaff121ab273 RANDOM SEED=1114910477 node82.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.239 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.239 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: 1472648 kB Buffers: 85204 kB Cached: 411464 kB SwapCached: 17956 kB Active: 239772 kB Inactive: 291780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1472648 kB SwapTotal: 4192956 kB SwapFree: 4169368 kB Dirty: 24516 kB Writeback: 0 kB Mapped: 38708 kB Slab: 36852 kB Committed_AS: 645924 kB PageTables: 1852 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66468 MiB End job on node82 at 2008-07-05 02:11:34