| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cpHydra k_40 | ? (TO) | 1800.08 | 1810.03 |
| Name | csp/fischer/ normalized-fischer-10-13-fair.xml |
| MD5SUM | 470171cedada3e0976f1103c3898929b |
| Bench Category | N-ARY-INT (n-ary constraints in intension) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 33927 |
| Number of constraints | 32137 |
| Maximum constraint arity | 3 |
| Maximum domain size | 20001 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 32137 |
| Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0
9.88/11.49 c CASE TO CLASSIFY:
9.88/11.49 c Case: 0
9.88/11.50 c 19 > 7.228430 | c 35 > 12.812000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.237600 | c 34 > 8.723280 | c 16 > 3.000000 | c 13 > 1.881740 | c 14 > -1.000000 | c 11 > 15.173200 | c 12 > 1.244570 | c 21 > 131.307000 | c 20 > 92.771600 | c 22 > 141.425000 | 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 > 9.519640 | c 2 > 13.935300 | c 10 > 15.101600 | c 1 > 13.837000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.530400 | c 32 > -1.000000 | c 5 > 28.250400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.98/11.50 c choco : 1801.0
9.98/11.50 c mistral : 1801.0
9.98/11.50 c abscon : 1801.0
9.98/11.50 c
9.98/11.50 c
9.98/11.56 c List of same ones: 40
9.98/11.56 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-16-fair.xml
9.98/11.56 c 19 > 7.184760 | c 35 > 12.819200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.458900 | c 34 > 8.727080 | c 16 > 3.000000 | c 13 > 1.942100 | c 14 > -1.000000 | c 11 > 15.606600 | c 12 > 1.432340 | c 21 > 131.375000 | c 20 > 92.815200 | c 22 > 141.425000 | 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 > 9.927780 | c 2 > 14.372700 | c 10 > 15.535400 | c 1 > 14.272800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.950200 | c 32 > -1.000000 | c 5 > 28.687200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.98/11.57 c choco : 1801.0
9.98/11.57 c mistral : 1.67174
9.98/11.57 c abscon : 7.39787
9.98/11.57 c
9.98/11.57 c
9.98/11.57 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-15-fair.xml
9.98/11.57 c 19 > 7.225360 | c 35 > 12.812500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.305200 | c 34 > 8.723460 | c 16 > 3.000000 | c 13 > 1.890480 | c 14 > -1.000000 | c 11 > 15.374300 | c 12 > 1.431480 | c 21 > 131.313000 | c 20 > 92.774600 | c 22 > 141.425000 | 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 > 9.707360 | c 2 > 14.137900 | c 10 > 15.302700 | c 1 > 14.038900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.727100 | c 32 > -1.000000 | c 5 > 28.452700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.98/11.57 c choco : 1801.0
9.98/11.57 c mistral : 1.58776
9.98/11.57 c abscon : 7.1979
9.98/11.57 c
9.98/11.57 c
9.98/11.57 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-13-fair.xml
9.98/11.57 c 19 > 7.188770 | c 35 > 12.818600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.283700 | c 34 > 8.726880 | c 16 > 3.000000 | c 13 > 1.940580 | c 14 > -1.000000 | c 11 > 15.314700 | c 12 > 1.432030 | c 21 > 131.366000 | c 20 > 92.811200 | c 22 > 141.425000 | 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 > 9.654640 | c 2 > 14.078600 | c 10 > 15.243400 | c 1 > 13.979800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.664400 | c 32 > -1.000000 | c 5 > 28.393600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.98/11.58 c choco : 1801.0
9.98/11.58 c mistral : 1.66275
9.98/11.58 c abscon : 7.31889
9.98/11.58 c
9.98/11.58 c
9.98/11.58 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-12-fair.xml
9.98/11.58 c 19 > 7.190540 | c 35 > 12.818300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.181800 | c 34 > 8.726800 | c 16 > 3.000000 | c 13 > 1.939910 | c 14 > -1.000000 | c 11 > 15.202600 | c 12 > 1.431900 | c 21 > 131.363000 | c 20 > 92.809500 | c 22 > 141.425000 | 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 > 9.550750 | c 2 > 13.965500 | c 10 > 15.131300 | c 1 > 13.867200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.555100 | c 32 > -1.000000 | c 5 > 28.280700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.98/11.58 c choco : 1801.0
9.98/11.58 c mistral : 1.66774
9.98/11.58 c abscon : 7.11192
9.98/11.58 c
9.98/11.58 c
9.98/11.58 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-11-fair.xml
9.98/11.58 c 19 > 0.000000 | c 35 > 12.811400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.460800 | c 34 > 8.723040 | c 16 > 3.000000 | c 13 > 2.391280 | c 14 > 7.434630 | c 11 > 14.939500 | c 12 > 1.358920 | c 21 > 131.298000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.238400 | c 2 > 13.699500 | c 10 > 14.867800 | c 1 > 13.640000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.302600 | c 32 > -1.000000 | c 5 > 27.979400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.98/11.59 c choco : 1801.0
9.98/11.59 c mistral : 1.64475
9.98/11.59 c abscon : 7.32888
9.98/11.59 c
9.98/11.59 c
9.98/11.59 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-12-fair.xml
9.98/11.59 c 19 > 0.000000 | c 35 > 12.811700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.252800 | c 34 > 8.723170 | c 16 > 3.000000 | c 13 > 3.220540 | c 14 > 7.734710 | c 11 > 15.061100 | c 12 > 1.500130 | c 21 > 131.302000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.335390 | c 2 > 13.822200 | c 10 > 14.989400 | c 1 > 13.762300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.421000 | c 32 > -1.000000 | c 5 > 28.101800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.98/11.59 c choco : 1801.0
9.98/11.59 c mistral : 1.65975
9.98/11.59 c abscon : 7.39288
9.98/11.59 c
9.98/11.59 c
9.98/11.59 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-10-fair.xml
9.98/11.59 c 19 > 0.000000 | c 35 > 12.817600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.246400 | c 34 > 8.726570 | c 16 > 3.000000 | c 13 > 3.016420 | c 14 > 7.761550 | c 11 > 14.948300 | c 12 > 1.463000 | c 21 > 131.352000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.266790 | c 2 > 13.708800 | c 10 > 14.876900 | c 1 > 13.649100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.307800 | c 32 > -1.000000 | c 5 > 27.989100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.98/11.60 c choco : 1801.0
9.98/11.60 c mistral : 1.59476
9.98/11.60 c abscon : 7.33788
9.98/11.60 c
9.98/11.60 c
9.98/11.60 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-14-fair.xml
9.98/11.60 c 19 > 0.000000 | c 35 > 12.806400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.141700 | c 34 > 8.720200 | c 16 > 3.000000 | c 13 > 2.768950 | c 14 > 7.924810 | c 11 > 15.121700 | c 12 > 1.416460 | c 21 > 131.246000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.366320 | c 2 > 13.882500 | c 10 > 15.049700 | c 1 > 13.822800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.484300 | c 32 > -1.000000 | c 5 > 28.161600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.60 c choco : 1801.0
10.09/11.60 c mistral : 1.87471
10.09/11.60 c abscon : 7.57285
10.09/11.60 c
10.09/11.60 c
10.09/11.60 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-11-fair.xml
10.09/11.60 c 19 > 0.000000 | c 35 > 12.805400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.357800 | c 34 > 8.719790 | c 16 > 3.000000 | c 13 > 3.602340 | c 14 > 7.622050 | c 11 > 14.783900 | c 12 > 1.569550 | c 21 > 131.233000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.092760 | c 2 > 13.541700 | c 10 > 14.711800 | c 1 > 13.483200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.154800 | c 32 > -1.000000 | c 5 > 27.821600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.61 c choco : 1801.0
10.09/11.61 c mistral : 1.63275
10.09/11.61 c abscon : 7.17091
10.09/11.61 c
10.09/11.61 c
10.09/11.61 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-13-fair.xml
10.09/11.61 c 19 > 0.000000 | c 35 > 12.806100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.979400 | c 34 > 8.720080 | c 16 > 3.000000 | c 13 > 2.226720 | c 14 > 8.033420 | c 11 > 15.017600 | c 12 > 1.348860 | c 21 > 131.242000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.280770 | c 2 > 13.777600 | c 10 > 14.945600 | c 1 > 13.718200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.382600 | c 32 > -1.000000 | c 5 > 28.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.61 c choco : 1801.0
10.09/11.61 c mistral : 1.65075
10.09/11.61 c abscon : 7.37388
10.09/11.61 c
10.09/11.61 c
10.09/11.61 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-13-fair.xml
10.09/11.61 c 19 > 0.000000 | c 35 > 12.801100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.487100 | c 34 > 8.717470 | c 16 > 3.000000 | c 13 > 3.007110 | c 14 > 7.813780 | c 11 > 14.844600 | c 12 > 1.466750 | c 21 > 131.173000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.118940 | c 2 > 13.602100 | c 10 > 14.772200 | c 1 > 13.544000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.218000 | c 32 > -1.000000 | c 5 > 27.881500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.61 c choco : 1801.0
10.09/11.61 c mistral : 1.61275
10.09/11.61 c abscon : 7.2599
10.09/11.61 c
10.09/11.61 c
10.09/11.61 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-10-fair.xml
10.09/11.61 c 19 > 0.000000 | c 35 > 12.804900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.350800 | c 34 > 8.719600 | c 16 > 3.000000 | c 13 > 2.506470 | c 14 > 7.954200 | c 11 > 14.651100 | c 12 > 1.427930 | c 21 > 131.227000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.988680 | c 2 > 13.407500 | c 10 > 14.578900 | c 1 > 13.349600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.025800 | c 32 > -1.000000 | c 5 > 27.687800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.62 c choco : 1801.0
10.09/11.62 c mistral : 1.66774
10.09/11.62 c abscon : 7.31189
10.09/11.62 c
10.09/11.62 c
10.09/11.62 c /home/eomahony/cpZilla/CSP/fisher/FISCHER7-10-fair.xml
10.09/11.62 c 19 > 0.000000 | c 35 > 12.795800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.903300 | c 34 > 8.715040 | c 16 > 3.000000 | c 13 > 2.096300 | c 14 > 7.475730 | c 11 > 14.282700 | c 12 > 1.337770 | c 21 > 131.079000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.643860 | c 2 > 13.033900 | c 10 > 14.209700 | c 1 > 12.978900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.675100 | c 32 > -1.000000 | c 5 > 27.314200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.62 c choco : 1801.0
10.09/11.62 c mistral : 1.66675
10.09/11.62 c abscon : 7.38388
10.09/11.62 c
10.09/11.62 c
10.09/11.62 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-10-fair.xml
10.09/11.62 c 19 > 0.000000 | c 35 > 12.810900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.028300 | c 34 > 8.722880 | c 16 > 3.000000 | c 13 > 3.225620 | c 14 > 8.194760 | c 11 > 14.806800 | c 12 > 1.537130 | c 21 > 131.292000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.134430 | c 2 > 13.565300 | c 10 > 14.735000 | c 1 > 13.506400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.173700 | c 32 > -1.000000 | c 5 > 27.845700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.62 c choco : 1801.0
10.09/11.62 c mistral : 1.67374
10.09/11.62 c abscon : 7.39987
10.09/11.62 c
10.09/11.62 c
10.09/11.62 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-9-fair.xml
10.09/11.62 c 19 > 0.000000 | c 35 > 12.817200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.826300 | c 34 > 8.726420 | c 16 > 3.000000 | c 13 > 2.861640 | c 14 > 8.438790 | c 11 > 14.802100 | c 12 > 1.479540 | c 21 > 131.346000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.154820 | c 2 > 13.560900 | c 10 > 14.730600 | c 1 > 13.502000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.166200 | c 32 > -1.000000 | c 5 > 27.841700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.63 c choco : 1801.0
10.09/11.63 c mistral : 1.66775
10.09/11.63 c abscon : 7.2529
10.09/11.63 c
10.09/11.63 c
10.09/11.63 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-7-fair.xml
10.09/11.63 c 19 > 0.000000 | c 35 > 12.802600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.962900 | c 34 > 8.718730 | c 16 > 3.000000 | c 13 > 2.140070 | c 14 > 7.577430 | c 11 > 14.158400 | c 12 > 1.355540 | c 21 > 131.199000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.622050 | c 2 > 12.908600 | c 10 > 14.086000 | c 1 > 12.853100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.550700 | c 32 > -1.000000 | c 5 > 27.190500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.63 c choco : 1801.0
10.09/11.63 c mistral : 1.66275
10.09/11.63 c abscon : 7.40887
10.09/11.63 c
10.09/11.63 c
10.09/11.63 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-9-fair.xml
10.09/11.63 c 19 > 0.000000 | c 35 > 12.804300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.587100 | c 34 > 8.719370 | c 16 > 3.000000 | c 13 > 3.740940 | c 14 > 7.832890 | c 11 > 14.504800 | c 12 > 1.588700 | c 21 > 131.220000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.876520 | c 2 > 13.259600 | c 10 > 14.432500 | c 1 > 13.202300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.884200 | c 32 > -1.000000 | c 5 > 27.540300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.63 c choco : 1801.0
10.09/11.63 c mistral : 1.66974
10.09/11.63 c abscon : 7.2589
10.09/11.63 c
10.09/11.63 c
10.09/11.63 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-7-fair.xml
10.09/11.63 c 19 > 0.000000 | c 35 > 12.809000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.609400 | c 34 > 8.722160 | c 16 > 3.000000 | c 13 > 2.630430 | c 14 > 7.965780 | c 11 > 14.314200 | c 12 > 1.492850 | c 21 > 131.265000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.768180 | c 2 > 13.066600 | c 10 > 14.242200 | c 1 > 13.010200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.698700 | c 32 > -1.000000 | c 5 > 27.348600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.63 c choco : 1801.0
10.09/11.63 c mistral : 1.66675
10.09/11.63 c abscon : 7.33688
10.09/11.63 c
10.09/11.63 c
10.09/11.63 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-9-fair.xml
10.09/11.63 c 19 > 0.000000 | c 35 > 12.810400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.983800 | c 34 > 8.722690 | c 16 > 3.000000 | c 13 > 2.270250 | c 14 > 8.539160 | c 11 > 14.660500 | c 12 > 1.373660 | c 21 > 131.285000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.022370 | c 2 > 13.417500 | c 10 > 14.588700 | c 1 > 13.359200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.032000 | c 32 > -1.000000 | c 5 > 27.698200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.64 c choco : 1801.0
10.09/11.64 c mistral : 1.66974
10.09/11.64 c abscon : 7.44287
10.09/11.64 c
10.09/11.64 c
10.09/11.64 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-12-fair.xml
10.09/11.64 c 19 > 0.000000 | c 35 > 12.805800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.317600 | c 34 > 8.719950 | c 16 > 3.000000 | c 13 > 4.216770 | c 14 > 8.629360 | c 11 > 14.905500 | c 12 > 1.878800 | c 21 > 131.238000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.189820 | c 2 > 13.664400 | c 10 > 14.833400 | c 1 > 13.605500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.273200 | c 32 > -1.000000 | c 5 > 27.944100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.64 c choco : 1801.0
10.09/11.64 c mistral : 1.74773
10.09/11.64 c abscon : 8.44971
10.09/11.64 c
10.09/11.64 c
10.09/11.64 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-11-fair.xml
10.09/11.64 c 19 > 0.000000 | c 35 > 12.800200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.318400 | c 34 > 8.717120 | c 16 > 3.000000 | c 13 > 4.147070 | c 14 > 8.194760 | c 11 > 14.610700 | c 12 > 1.783270 | c 21 > 131.163000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.930740 | c 2 > 13.366200 | c 10 > 14.538200 | c 1 > 13.308900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.990100 | c 32 > -1.000000 | c 5 > 27.646100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.64 c choco : 1801.0
10.09/11.64 c mistral : 1.61875
10.09/11.64 c abscon : 7.32788
10.09/11.64 c
10.09/11.64 c
10.09/11.64 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-8-fair.xml
10.09/11.64 c 19 > 0.000000 | c 35 > 12.816600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.998300 | c 34 > 8.726240 | c 16 > 3.000000 | c 13 > 2.924620 | c 14 > 8.665340 | c 11 > 14.639300 | c 12 > 1.461470 | c 21 > 131.337000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.033420 | c 2 > 13.396200 | c 10 > 14.567800 | c 1 > 13.338000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.009100 | c 32 > -1.000000 | c 5 > 27.677500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.64 c choco : 1801.0
10.09/11.64 c mistral : 1.66175
10.09/11.64 c abscon : 7.37788
10.09/11.64 c
10.09/11.64 c
10.09/11.64 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-12-fair.xml
10.09/11.64 c 19 > 0.000000 | c 35 > 12.800700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.272800 | c 34 > 8.717310 | c 16 > 3.000000 | c 13 > 4.720170 | c 14 > 8.199670 | c 11 > 14.732400 | c 12 > 1.842610 | c 21 > 131.168000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 8.027910 | c 2 > 13.489000 | c 10 > 14.659900 | c 1 > 13.431200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.108500 | c 32 > -1.000000 | c 5 > 27.768600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.65 c choco : 1801.0
10.09/11.65 c mistral : 1.66375
10.09/11.65 c abscon : 7.14591
10.09/11.65 c
10.09/11.65 c
10.09/11.65 c /home/eomahony/cpZilla/CSP/fisher/FISCHER7-11-fair.xml
10.09/11.65 c 19 > 0.000000 | c 35 > 12.796400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.500600 | c 34 > 8.715300 | c 16 > 3.000000 | c 13 > 3.961380 | c 14 > 8.243170 | c 11 > 14.415500 | c 12 > 1.769470 | c 21 > 131.085000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.748190 | c 2 > 13.168200 | c 10 > 14.342600 | c 1 > 13.112600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.804100 | c 32 > -1.000000 | c 5 > 27.448100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.65 c choco : 1801.0
10.09/11.65 c mistral : 1.55476
10.09/11.65 c abscon : 7.36488
10.09/11.65 c
10.09/11.65 c
10.09/11.65 c /home/eomahony/cpZilla/CSP/fisher/FISCHER5-10-fair.xml
10.09/11.65 c 19 > 0.000000 | c 35 > 12.795000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.273800 | c 34 > 8.715950 | c 16 > 3.000000 | c 13 > 1.792140 | c 14 > 7.531380 | c 11 > 13.795600 | c 12 > 1.288930 | c 21 > 130.882000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.189820 | c 2 > 12.539200 | c 10 > 13.721600 | c 1 > 12.489800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.210700 | c 32 > -1.000000 | c 5 > 26.819400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.65 c choco : 1801.0
10.09/11.65 c mistral : 1.67274
10.09/11.65 c abscon : 7.29089
10.09/11.65 c
10.09/11.65 c
10.09/11.65 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-9-fair.xml
10.09/11.65 c 19 > 0.000000 | c 35 > 12.799000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.333000 | c 34 > 8.716630 | c 16 > 3.000000 | c 13 > 4.425300 | c 14 > 8.383700 | c 11 > 14.331500 | c 12 > 1.873750 | c 21 > 131.149000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.714250 | c 2 > 13.084000 | c 10 > 14.258900 | c 1 > 13.027900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.719400 | c 32 > -1.000000 | c 5 > 27.364700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.65 c choco : 1801.0
10.09/11.65 c mistral : 1.65975
10.09/11.65 c abscon : 7.45487
10.09/11.65 c
10.09/11.65 c
10.09/11.65 c /home/eomahony/cpZilla/CSP/fisher/FISCHER6-11-fair.xml
10.09/11.65 c 19 > 0.000000 | c 35 > 12.794500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.269600 | c 34 > 8.714750 | c 16 > 3.000000 | c 13 > 4.233460 | c 14 > 8.554590 | c 11 > 14.191600 | c 12 > 1.946770 | c 21 > 130.996000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.539160 | c 2 > 12.940900 | c 10 > 14.118200 | c 1 > 12.887600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.590600 | c 32 > -1.000000 | c 5 > 27.220700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.66 c choco : 1801.0
10.09/11.66 c mistral : 1.67174
10.09/11.66 c abscon : 7.31789
10.09/11.66 c
10.09/11.66 c
10.09/11.66 c /home/eomahony/cpZilla/CSP/fisher/FISCHER6-9-fair.xml
10.09/11.66 c 19 > 0.000000 | c 35 > 12.793000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.562700 | c 34 > 8.714100 | c 16 > 3.000000 | c 13 > 3.930690 | c 14 > 8.430450 | c 11 > 13.912200 | c 12 > 1.931390 | c 21 > 130.981000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.321930 | c 2 > 12.658400 | c 10 > 13.838700 | c 1 > 12.606400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.319700 | c 32 > -1.000000 | c 5 > 26.939100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.66 c choco : 1801.0
10.09/11.66 c mistral : 1.56976
10.09/11.66 c abscon : 7.38887
10.09/11.66 c
10.09/11.66 c
10.09/11.66 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-6-fair.xml
10.09/11.66 c 19 > 0.000000 | c 35 > 12.815000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.550000 | c 34 > 8.725690 | c 16 > 3.000000 | c 13 > 3.900030 | c 14 > 9.187350 | c 11 > 14.245700 | c 12 > 1.710490 | c 21 > 131.313000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.754890 | c 2 > 12.996700 | c 10 > 14.173900 | c 1 > 12.940900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.632100 | c 32 > -1.000000 | c 5 > 27.279500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.66 c choco : 1801.0
10.09/11.66 c mistral : 1.66675
10.09/11.66 c abscon : 7.2279
10.09/11.66 c
10.09/11.66 c
10.09/11.66 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-1-fair.xml
10.09/11.66 c 19 > 0.000000 | c 35 > 12.780600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.991200 | c 34 > 8.711340 | c 16 > 3.000000 | c 13 > 1.640850 | c 14 > 6.266790 | c 11 > 12.033100 | c 12 > 0.800997 | c 21 > 130.925000 | c 20 > 100.000000 | c 22 > 141.425000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.658210 | c 2 > 10.691700 | c 10 > 11.957800 | c 1 > 10.672400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.651050 | c 32 > -1.000000 | c 5 > 25.000000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.66 c choco : 1801.0
10.09/11.66 c mistral : 0.43
10.09/11.66 c abscon : 7.28189
10.09/11.66 c
10.09/11.66 c
10.09/11.66 c /home/eomahony/cpZilla/CSP/fisher/FISCHER7-9-fair.xml
10.09/11.66 c 19 > 0.000000 | c 35 > 12.795000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.500200 | c 34 > 8.714730 | c 16 > 3.000000 | c 13 > 4.297650 | c 14 > 8.761550 | c 11 > 14.136300 | c 12 > 2.106420 | c 21 > 131.070000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.531380 | c 2 > 12.885900 | c 10 > 14.063200 | c 1 > 12.831500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.533300 | c 32 > -1.000000 | c 5 > 27.166600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.67 c choco : 1801.0
10.09/11.67 c mistral : 1.65875
10.09/11.67 c abscon : 7.2379
10.09/11.67 c
10.09/11.67 c
10.09/11.67 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-1-fair.xml
10.09/11.67 c 19 > 0.000000 | c 35 > 12.768500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.721100 | c 34 > 8.704470 | c 16 > 3.000000 | c 13 > 1.589440 | c 14 > 6.129280 | c 11 > 11.889100 | c 12 > 0.800001 | c 21 > 130.842000 | c 20 > 100.000000 | c 22 > 141.425000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.523560 | c 2 > 10.545000 | c 10 > 11.813400 | c 1 > 10.526500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.515700 | c 32 > -1.000000 | c 5 > 24.853300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.67 c choco : 1801.0
10.09/11.67 c mistral : 0.4
10.09/11.67 c abscon : 7.09592
10.09/11.67 c
10.09/11.67 c
10.09/11.67 c /home/eomahony/cpZilla/CSP/fisher/FISCHER6-8-fair.xml
10.09/11.67 c 19 > 0.000000 | c 35 > 12.792000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.047400 | c 34 > 8.713660 | c 16 > 3.000000 | c 13 > 3.411140 | c 14 > 8.442940 | c 11 > 13.749200 | c 12 > 1.699940 | c 21 > 130.970000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.199670 | c 2 > 12.493400 | c 10 > 13.675600 | c 1 > 12.442200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.162400 | c 32 > -1.000000 | c 5 > 26.774500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.67 c choco : 1801.0
10.09/11.67 c mistral : 1.67674
10.09/11.67 c abscon : 7.31889
10.09/11.67 c
10.09/11.67 c
10.09/11.67 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-1-fair.xml
10.09/11.67 c 19 > 0.000000 | c 35 > 12.756500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.463500 | c 34 > 8.697810 | c 16 > 3.000000 | c 13 > 1.556320 | c 14 > 5.977280 | c 11 > 11.730900 | c 12 > 0.800974 | c 21 > 130.755000 | c 20 > 100.000000 | c 22 > 141.425000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.375040 | c 2 > 10.383700 | c 10 > 11.654600 | c 1 > 10.366300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.366320 | c 32 > -1.000000 | c 5 > 24.692200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.67 c choco : 1801.0
10.09/11.67 c mistral : 0.35
10.09/11.67 c abscon : 7.34288
10.09/11.67 c
10.09/11.67 c
10.09/11.67 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-5-fair.xml
10.09/11.67 c 19 > 0.000000 | c 35 > 12.813700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.050100 | c 34 > 8.725270 | c 16 > 3.000000 | c 13 > 4.011310 | c 14 > 9.954200 | c 11 > 13.999600 | c 12 > 2.008470 | c 21 > 131.294000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 7.592460 | c 2 > 12.745900 | c 10 > 13.927600 | c 1 > 12.692000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.398700 | c 32 > -1.000000 | c 5 > 27.030000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.68 c choco : 1801.0
10.09/11.68 c mistral : 1.63975
10.09/11.68 c abscon : 7.18491
10.09/11.68 c
10.09/11.68 c
10.09/11.68 c /home/eomahony/cpZilla/CSP/fisher/FISCHER6-1-fair.xml
10.09/11.68 c 19 > 0.000000 | c 35 > 12.724800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.343400 | c 34 > 8.680670 | c 16 > 3.000000 | c 13 > 1.883910 | c 14 > 5.392320 | c 11 > 11.129900 | c 12 > 0.849498 | c 21 > 130.442000 | c 20 > 100.000000 | c 22 > 141.425000 | 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.807350 | c 2 > 9.771490 | c 10 > 11.051900 | c 1 > 9.759890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.794420 | c 32 > -1.000000 | c 5 > 24.080400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.68 c choco : 54.75
10.09/11.68 c mistral : 0.23
10.09/11.68 c abscon : 7.2249
10.09/11.68 c
10.09/11.68 c
10.09/11.68 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-1-fair.xml
10.09/11.68 c 19 > 0.000000 | c 35 > 12.745100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.145700 | c 34 > 8.691480 | c 16 > 3.000000 | c 13 > 1.435520 | c 14 > 6.832890 | c 11 > 11.555100 | c 12 > 0.796423 | c 21 > 130.661000 | c 20 > 100.000000 | c 22 > 141.425000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.209450 | c 2 > 10.204600 | c 10 > 11.478300 | c 1 > 10.188600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.199670 | c 32 > -1.000000 | c 5 > 24.513200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.68 c choco : 1801.0
10.09/11.68 c mistral : 0.3
10.09/11.68 c abscon : 7.2599
10.09/11.68 c
10.09/11.68 c
10.09/11.68 c /home/eomahony/cpZilla/CSP/fisher/FISCHER4-4-fair.xml
10.09/11.68 c 19 > 0.000000 | c 35 > 12.788900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.445100 | c 34 > 8.715260 | c 16 > 3.000000 | c 13 > 3.230130 | c 14 > 8.519640 | c 11 > 12.226400 | c 12 > 1.656420 | c 21 > 130.623000 | c 20 > 100.000000 | c 22 > 141.425000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.022370 | c 2 > 10.941800 | c 10 > 12.150700 | c 1 > 10.906900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.714250 | c 32 > -1.000000 | c 5 > 25.227700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.68 c choco : 1801.0
10.09/11.68 c mistral : 0.65
10.09/11.68 c abscon : 7.2509
10.09/11.68 c
10.09/11.68 c
10.09/11.68 c /home/eomahony/cpZilla/CSP/fisher/FISCHER7-1-fair.xml
10.09/11.68 c 19 > 0.000000 | c 35 > 12.734400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.768500 | c 34 > 8.685660 | c 16 > 3.000000 | c 13 > 1.449190 | c 14 > 6.643860 | c 11 > 11.357000 | c 12 > 0.802869 | c 21 > 130.558000 | c 20 > 100.000000 | c 22 > 141.425000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.022370 | c 2 > 10.002800 | c 10 > 11.279600 | c 1 > 9.988680 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.011230 | c 32 > -1.000000 | c 5 > 24.311600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.69 c choco : 1801.0
10.09/11.69 c mistral : 0.24
10.09/11.69 c abscon : 7.45487
10.09/11.69 c
10.09/11.69 c
10.09/11.69 c /home/eomahony/cpZilla/CSP/fisher/FISCHER2-5-fair.xml
10.09/11.69 c 19 > 0.000000 | c 35 > 12.853300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.120900 | c 34 > 8.758270 | c 16 > 3.000000 | c 13 > 2.678210 | c 14 > 7.055280 | c 11 > 11.553100 | c 12 > 1.493970 | c 21 > 130.113000 | c 20 > 100.000000 | c 22 > 141.425000 | 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 > 10.249100 | c 10 > 11.475200 | c 1 > 10.238400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.076820 | c 32 > -1.000000 | c 5 > 24.533200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.09/11.69 c choco : 1801.0
10.09/11.69 c mistral : 0.31
10.09/11.69 c abscon : 7.2209
10.09/11.69 c
10.09/11.69 c
10.09/11.69 c Length: 40
10.09/11.69 c 3.9518142467732473 3.971949643613324 3.97697757886564 4.062033555055891 13.990059156454624 14.15113788489109 14.161483698797237 14.197293396489343 14.206755239402833 14.209836240530707 14.289291799760404 14.352817314429942 14.369330237954722 14.423227119982544 14.497469831729255 14.500311600796719 14.505043406911952 14.56396355920324 14.612156862000212 14.655010423387624 14.681881140610013 14.734844495443442 14.739036777011579 14.809860269303687 14.819660616903475 14.957152505256468 15.094852291516464 15.207287790030145 15.225421779330118 15.251663286619886 15.32909772615792 15.350968718669218 15.394203672509333 15.482238222499223 15.79521643670323 16.10385900168602 16.117797883644307 16.22572283828674 16.303301645035 16.361103436956807
10.09/11.69 c
10.09/11.69 c 1.0 0.998380021802369 0.9979763216717974 0.9911961952582926 0.5528130232468708 0.5488744172154447 0.5486233644296741 0.5477561722989803 0.5475274955331965 0.5474530741420754 0.5455407940079753 0.5440214903830657 0.5436279449352837 0.5423473963256289 0.5405932931549869 0.5405263772397436 0.5404149928533167 0.5390318762563326 0.5379058189941812 0.5369084714710097 0.536284983260758 0.5350602910976837 0.5349635902047545 0.5333352133682562 0.5331106638112596 0.529980210763086 0.5268816565940576 0.5243783480933916 0.5239768316967789 0.5233968889879703 0.5216930308778617 0.5212137914729904 0.5202690087355555 0.5183558008478794 0.5116664783999517 0.5052367765497963 0.5049502106248165 0.5027423634463289 0.5011672047464937 0.5
10.23/11.70 c
10.23/11.70 c solver 0
10.23/11.70 c before 0.0 seconds: {} 0
10.23/11.70 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} 23100
10.23/11.70 c
10.23/11.70 c solver 1
10.23/11.70 c before 0.0 seconds: {} 0
10.23/11.70 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} 23100
10.23/11.70 c
10.23/11.70 c solver 2
10.23/11.70 c before 0.0 seconds: {} 0
10.23/11.70 c before 72.0 seconds: {35} 505
10.23/11.70 c
10.23/11.70 cTotal time: 6
10.23/11.70 c 108.0 seconds unused
10.23/11.70 c 0 c 0 c 39
10.23/11.70 c 0 c 0 c 39
10.23/11.70 c 0 c 0 c 0
10.23/11.70 c is solver0 dominated by:
10.23/11.70 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: true) (0 < 1: false)
10.23/11.70 c is dominated? true
10.23/11.70 c
10.23/11.70 c is solver1 dominated by:
10.23/11.70 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: true) (1 < 0: true)
10.23/11.70 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)
10.23/11.70 c is dominated? false
10.23/11.70 c
10.23/11.70 c is solver2 dominated by:
10.23/11.70 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
10.23/11.70 c is dominated? true
10.23/11.70 c
10.23/11.70 c Number of non-dominated solvers: 1
10.23/11.70 c remove dominated solvers
10.23/11.70 c solver 1 is not dominated by another solver
10.23/11.70 c solver 2 is dominated by another solver
10.23/11.70 c solver 0 is dominated by another solver
10.23/11.70 c
10.23/11.70 c solver 0: 0.0
10.23/11.70 c
10.23/11.70 c solver 1: 18.0
10.23/11.70 c
10.23/11.70 c+ 1/1 of 99
10.23/11.70 c
10.23/11.70 c solver 2: 0.0
10.23/11.70 c do not run abscon
10.23/11.70 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} 23100
10.23/11.70 c do not run choco
10.23/11.70 c Starting solver: HOME/cpHydra_k_40/solver/mistral
10.23/11.70 c On Instance: HOME/instance-1059583-1215124060.xml
10.23/11.70 c Running for: 1800 seconds
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer:
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1059583-1215124060/watcher-1059583-1215124060 -o /tmp/evaluation-result-1059583-1215124060/solver-1059583-1215124060 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1059583-1215124060.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: 4.15 3.70 2.44 3/89 32149 /proc/meminfo: memFree=1146000/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=0 /proc/32149/stat : 32149 (hydra) D 32147 32149 30902 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 124086710 5488640 231 996147200 4194304 4889804 548682068816 18446744073709551615 4488656 0 0 4100 65536 18446744071563479169 0 0 17 0 0 0 /proc/32149/statm: 1340 231 192 169 0 51 0 [startup+0.104288 s] /proc/loadavg: 4.15 3.70 2.44 3/89 32149 /proc/meminfo: memFree=1146000/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=0 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 124086710 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201302 s] /proc/loadavg: 4.15 3.70 2.44 3/89 32149 /proc/meminfo: memFree=1146000/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=0 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 124086710 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301313 s] /proc/loadavg: 4.15 3.70 2.44 3/89 32149 /proc/meminfo: memFree=1146000/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=0 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 124086710 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701358 s] /proc/loadavg: 4.15 3.70 2.44 3/89 32149 /proc/meminfo: memFree=1146000/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=0 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 124086710 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50144 s] /proc/loadavg: 3.90 3.66 2.44 2/91 32153 /proc/meminfo: memFree=1126656/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=0 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 124086710 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 236 195 169 0 51 0 [pid=32153] ppid=32149 vsize=26020 CPUtime=1.36 /proc/32153/stat : 32153 (xsolve) R 32149 32149 30902 0 -1 4194304 5883 0 9 0 133 3 0 0 25 0 1 0 124086712 26644480 5667 996147200 134512640 135239763 4294956176 18446744073709551615 12203643 0 0 4096 0 0 0 0 17 0 0 0 /proc/32153/statm: 6505 5667 382 177 0 5408 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 31380 [startup+3.10162 s] /proc/loadavg: 3.90 3.66 2.44 2/91 32153 /proc/meminfo: memFree=996096/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=0 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 124086710 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 236 195 169 0 51 0 [pid=32153] ppid=32149 vsize=152232 CPUtime=2.96 /proc/32153/stat : 32153 (xsolve) R 32149 32149 30902 0 -1 4194304 37447 0 10 0 279 17 0 0 25 0 1 0 124086712 155885568 37166 996147200 134512640 135239763 4294956176 18446744073709551615 135096316 0 0 4096 0 0 0 0 17 0 0 0 /proc/32153/statm: 38058 37166 441 177 0 36961 0 Current children cumulated CPU time (s) 2.96 Current children cumulated vsize (KiB) 157592 [startup+6.30198 s] /proc/loadavg: 3.90 3.66 2.44 1/92 32156 /proc/meminfo: memFree=1141944/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=4.9 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 347 37766 1 11 0 0 469 21 16 0 1 0 124086710 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 238 196 169 0 51 0 [pid=32154] ppid=32149 vsize=5360 CPUtime=0 /proc/32154/stat : 32154 (hydra) S 32149 32149 30902 0 -1 4194368 50 116 0 0 0 0 0 0 21 0 1 0 124087214 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0 /proc/32154/statm: 1340 238 196 169 0 51 0 [pid=32156] ppid=32154 vsize=248 CPUtime=0 /proc/32156/stat : 32156 (grep) D 32154 32149 30902 0 -1 4194304 52 0 1 0 0 0 0 0 18 0 1 0 124087214 253952 31 996147200 4194304 4274172 548682069072 18446744073709551615 265671472617 0 0 4096 0 18446744071563608240 0 0 17 0 0 0 /proc/32156/statm: 62 31 24 19 0 4 0 Current children cumulated CPU time (s) 4.9 Current children cumulated vsize (KiB) 10968 [startup+12.7026 s] /proc/loadavg: 3.61 3.60 2.43 2/102 32168 /proc/meminfo: memFree=1104928/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=4.9 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 374 38100 1 13 0 0 469 21 17 0 1 0 124086710 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 238 196 169 0 51 0 [pid=32157] ppid=32149 vsize=198344 CPUtime=5.33 /proc/32157/stat : 32157 (java) S 32149 32149 30902 0 -1 0 11534 0 1 0 519 14 0 0 19 0 10 0 124087365 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32157/statm: 49586 9455 2544 9 0 44168 0 [pid=32167] ppid=32157 vsize=5356 CPUtime=0 /proc/32167/stat : 32167 (mistral) S 32157 32149 30902 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 124087881 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/32167/statm: 1339 236 196 169 0 50 0 [pid=32168] ppid=32167 vsize=21924 CPUtime=0.97 /proc/32168/stat : 32168 (xsolve) R 32167 32149 30902 0 -1 4194304 4834 0 0 0 94 3 0 0 25 0 1 0 124087882 22450176 4614 996147200 134512640 135239763 4294955968 18446744073709551615 12202125 0 4 0 0 0 0 0 17 1 0 0 /proc/32168/statm: 5481 4614 380 177 0 4384 0 [pid=32157/tid=32158] ppid=32149 vsize=198344 CPUtime=4.27 /proc/32157/task/32158/stat : 32158 (java) S 32149 32149 30902 0 -1 64 3879 0 1 0 421 6 0 0 16 0 10 0 124087366 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32157/tid=32159] ppid=32149 vsize=198344 CPUtime=0.82 /proc/32157/task/32159/stat : 32159 (java) S 32149 32149 30902 0 -1 64 6126 0 0 0 75 7 0 0 16 0 10 0 124087367 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32160] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32160/stat : 32160 (java) S 32149 32149 30902 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32161] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32161/stat : 32161 (java) S 32149 32149 30902 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32162] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32162/stat : 32162 (java) S 32149 32149 30902 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32163] ppid=32149 vsize=198344 CPUtime=0.21 /proc/32157/task/32163/stat : 32163 (java) S 32149 32149 30902 0 -1 64 680 0 0 0 21 0 0 0 16 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32164] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32164/stat : 32164 (java) S 32149 32149 30902 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32165] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32165/stat : 32165 (java) S 32149 32149 30902 0 -1 64 55 0 0 0 0 0 0 0 15 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32166] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32166/stat : 32166 (java) S 32149 32149 30902 0 -1 64 70 0 0 0 0 0 0 0 17 0 10 0 124087881 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.2 Current children cumulated vsize (KiB) 230984 [startup+25.503 s] /proc/loadavg: 3.20 3.52 2.41 2/102 32168 /proc/meminfo: memFree=967072/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=4.9 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 374 38100 1 13 0 0 469 21 17 0 1 0 124086710 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 238 196 169 0 51 0 [pid=32157] ppid=32149 vsize=198344 CPUtime=5.33 /proc/32157/stat : 32157 (java) S 32149 32149 30902 0 -1 0 11534 0 1 0 519 14 0 0 19 0 10 0 124087365 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32157/statm: 49586 9455 2544 9 0 44168 0 [pid=32167] ppid=32157 vsize=5356 CPUtime=0 /proc/32167/stat : 32167 (mistral) S 32157 32149 30902 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 124087881 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/32167/statm: 1339 236 196 169 0 50 0 [pid=32168] ppid=32167 vsize=152664 CPUtime=13.76 /proc/32168/stat : 32168 (xsolve) R 32167 32149 30902 0 -1 4194304 37532 0 0 0 1360 16 0 0 25 0 1 0 124087882 156327936 37246 996147200 134512640 135239763 4294955968 18446744073709551615 135102484 0 4 0 0 0 0 0 17 1 0 0 /proc/32168/statm: 38166 37246 425 177 0 37069 0 [pid=32157/tid=32158] ppid=32149 vsize=198344 CPUtime=4.27 /proc/32157/task/32158/stat : 32158 (java) S 32149 32149 30902 0 -1 64 3879 0 1 0 421 6 0 0 16 0 10 0 124087366 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32157/tid=32159] ppid=32149 vsize=198344 CPUtime=0.82 /proc/32157/task/32159/stat : 32159 (java) S 32149 32149 30902 0 -1 64 6126 0 0 0 75 7 0 0 16 0 10 0 124087367 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32160] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32160/stat : 32160 (java) S 32149 32149 30902 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32161] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32161/stat : 32161 (java) S 32149 32149 30902 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32162] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32162/stat : 32162 (java) S 32149 32149 30902 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32163] ppid=32149 vsize=198344 CPUtime=0.21 /proc/32157/task/32163/stat : 32163 (java) S 32149 32149 30902 0 -1 64 680 0 0 0 21 0 0 0 16 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32164] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32164/stat : 32164 (java) S 32149 32149 30902 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32165] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32165/stat : 32165 (java) S 32149 32149 30902 0 -1 64 55 0 0 0 0 0 0 0 15 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32166] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32166/stat : 32166 (java) S 32149 32149 30902 0 -1 64 70 0 0 0 0 0 0 0 17 0 10 0 124087881 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 23.99 Current children cumulated vsize (KiB) 361724 [startup+51.1029 s] /proc/loadavg: 2.45 3.31 2.38 2/102 32168 /proc/meminfo: memFree=967392/2055920 swapFree=4179092/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=4.9 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 374 38100 1 13 0 0 469 21 17 0 1 0 124086710 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 238 196 169 0 51 0 [pid=32157] ppid=32149 vsize=198344 CPUtime=5.33 /proc/32157/stat : 32157 (java) S 32149 32149 30902 0 -1 0 11534 0 1 0 519 14 0 0 19 0 10 0 124087365 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32157/statm: 49586 9455 2544 9 0 44168 0 [pid=32167] ppid=32157 vsize=5356 CPUtime=0 /proc/32167/stat : 32167 (mistral) S 32157 32149 30902 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 124087881 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/32167/statm: 1339 236 196 169 0 50 0 [pid=32168] ppid=32167 vsize=152664 CPUtime=39.35 /proc/32168/stat : 32168 (xsolve) R 32167 32149 30902 0 -1 4194304 37532 0 0 0 3918 17 0 0 25 0 1 0 124087882 156327936 37246 996147200 134512640 135239763 4294955968 18446744073709551615 135067226 0 4 0 0 0 0 0 17 1 0 0 /proc/32168/statm: 38166 37246 425 177 0 37069 0 [pid=32157/tid=32158] ppid=32149 vsize=198344 CPUtime=4.27 /proc/32157/task/32158/stat : 32158 (java) S 32149 32149 30902 0 -1 64 3879 0 1 0 421 6 0 0 16 0 10 0 124087366 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32157/tid=32159] ppid=32149 vsize=198344 CPUtime=0.82 /proc/32157/task/32159/stat : 32159 (java) S 32149 32149 30902 0 -1 64 6126 0 0 0 75 7 0 0 16 0 10 0 124087367 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32160] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32160/stat : 32160 (java) S 32149 32149 30902 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32161] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32161/stat : 32161 (java) S 32149 32149 30902 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32162] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32162/stat : 32162 (java) S 32149 32149 30902 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32163] ppid=32149 vsize=198344 CPUtime=0.21 /proc/32157/task/32163/stat : 32163 (java) S 32149 32149 30902 0 -1 64 680 0 0 0 21 0 0 0 16 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32164] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32164/stat : 32164 (java) S 32149 32149 30902 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32165] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32165/stat : 32165 (java) S 32149 32149 30902 0 -1 64 55 0 0 0 0 0 0 0 15 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32166] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32166/stat : 32166 (java) S 32149 32149 30902 0 -1 64 70 0 0 0 0 0 0 0 17 0 10 0 124087881 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 ################ # More data... # ################ /proc/32157/task/32166/stat : 32166 (java) S 32149 32149 30902 0 -1 64 70 0 0 0 0 0 0 0 17 0 10 0 124087881 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1653.94 Current children cumulated vsize (KiB) 361724 [startup+1722.3 s] /proc/loadavg: 2.00 1.89 1.70 3/104 32218 /proc/meminfo: memFree=1654736/2055920 swapFree=4179136/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=4.9 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 374 38100 1 13 0 0 469 21 17 0 1 0 124086710 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 238 196 169 0 51 0 [pid=32157] ppid=32149 vsize=198344 CPUtime=5.33 /proc/32157/stat : 32157 (java) S 32149 32149 30902 0 -1 0 11534 0 1 0 519 14 0 0 19 0 10 0 124087365 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32157/statm: 49586 9455 2544 9 0 44168 0 [pid=32167] ppid=32157 vsize=5356 CPUtime=0 /proc/32167/stat : 32167 (mistral) S 32157 32149 30902 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 124087881 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/32167/statm: 1339 236 196 169 0 50 0 [pid=32168] ppid=32167 vsize=152664 CPUtime=1703.08 /proc/32168/stat : 32168 (xsolve) R 32167 32149 30902 0 -1 4194304 37539 0 0 0 170283 25 0 0 25 0 1 0 124087882 156327936 37253 996147200 134512640 135239763 4294955968 18446744073709551615 134795120 0 4 0 0 0 0 0 17 0 0 0 /proc/32168/statm: 38166 37253 425 177 0 37069 0 [pid=32157/tid=32158] ppid=32149 vsize=198344 CPUtime=4.27 /proc/32157/task/32158/stat : 32158 (java) S 32149 32149 30902 0 -1 64 3879 0 1 0 421 6 0 0 16 0 10 0 124087366 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32157/tid=32159] ppid=32149 vsize=198344 CPUtime=0.82 /proc/32157/task/32159/stat : 32159 (java) S 32149 32149 30902 0 -1 64 6126 0 0 0 75 7 0 0 16 0 10 0 124087367 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32160] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32160/stat : 32160 (java) S 32149 32149 30902 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32161] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32161/stat : 32161 (java) S 32149 32149 30902 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32162] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32162/stat : 32162 (java) S 32149 32149 30902 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32163] ppid=32149 vsize=198344 CPUtime=0.21 /proc/32157/task/32163/stat : 32163 (java) S 32149 32149 30902 0 -1 64 680 0 0 0 21 0 0 0 16 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32164] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32164/stat : 32164 (java) S 32149 32149 30902 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32165] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32165/stat : 32165 (java) S 32149 32149 30902 0 -1 64 55 0 0 0 0 0 0 0 15 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32166] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32166/stat : 32166 (java) S 32149 32149 30902 0 -1 64 70 0 0 0 0 0 0 0 17 0 10 0 124087881 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1713.31 Current children cumulated vsize (KiB) 361724 [startup+1782.3 s] /proc/loadavg: 2.00 1.91 1.72 3/104 32218 /proc/meminfo: memFree=1654608/2055920 swapFree=4179136/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=4.9 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 374 38100 1 13 0 0 469 21 17 0 1 0 124086710 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 238 196 169 0 51 0 [pid=32157] ppid=32149 vsize=198344 CPUtime=5.33 /proc/32157/stat : 32157 (java) S 32149 32149 30902 0 -1 0 11534 0 1 0 519 14 0 0 19 0 10 0 124087365 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32157/statm: 49586 9455 2544 9 0 44168 0 [pid=32167] ppid=32157 vsize=5356 CPUtime=0 /proc/32167/stat : 32167 (mistral) S 32157 32149 30902 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 124087881 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/32167/statm: 1339 236 196 169 0 50 0 [pid=32168] ppid=32167 vsize=152664 CPUtime=1762.44 /proc/32168/stat : 32168 (xsolve) R 32167 32149 30902 0 -1 4194304 37539 0 0 0 176219 25 0 0 25 0 1 0 124087882 156327936 37253 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 0 0 0 /proc/32168/statm: 38166 37253 425 177 0 37069 0 [pid=32157/tid=32158] ppid=32149 vsize=198344 CPUtime=4.27 /proc/32157/task/32158/stat : 32158 (java) S 32149 32149 30902 0 -1 64 3879 0 1 0 421 6 0 0 16 0 10 0 124087366 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32157/tid=32159] ppid=32149 vsize=198344 CPUtime=0.82 /proc/32157/task/32159/stat : 32159 (java) S 32149 32149 30902 0 -1 64 6126 0 0 0 75 7 0 0 16 0 10 0 124087367 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32160] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32160/stat : 32160 (java) S 32149 32149 30902 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32161] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32161/stat : 32161 (java) S 32149 32149 30902 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32162] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32162/stat : 32162 (java) S 32149 32149 30902 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32163] ppid=32149 vsize=198344 CPUtime=0.21 /proc/32157/task/32163/stat : 32163 (java) S 32149 32149 30902 0 -1 64 680 0 0 0 21 0 0 0 16 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32164] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32164/stat : 32164 (java) S 32149 32149 30902 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32165] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32165/stat : 32165 (java) S 32149 32149 30902 0 -1 64 55 0 0 0 0 0 0 0 15 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32166] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32166/stat : 32166 (java) S 32149 32149 30902 0 -1 64 70 0 0 0 0 0 0 0 17 0 10 0 124087881 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1772.67 Current children cumulated vsize (KiB) 361724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1810 s] /proc/loadavg: 2.00 1.91 1.73 3/104 32218 /proc/meminfo: memFree=1654608/2055920 swapFree=4179136/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=4.9 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 374 38100 1 13 0 0 469 21 17 0 1 0 124086710 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 238 196 169 0 51 0 [pid=32157] ppid=32149 vsize=198344 CPUtime=5.33 /proc/32157/stat : 32157 (java) S 32149 32149 30902 0 -1 0 11534 0 1 0 519 14 0 0 19 0 10 0 124087365 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32157/statm: 49586 9455 2544 9 0 44168 0 [pid=32167] ppid=32157 vsize=5356 CPUtime=0 /proc/32167/stat : 32167 (mistral) S 32157 32149 30902 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 124087881 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/32167/statm: 1339 236 196 169 0 50 0 [pid=32168] ppid=32167 vsize=152664 CPUtime=1789.85 /proc/32168/stat : 32168 (xsolve) R 32167 32149 30902 0 -1 4194304 37539 0 0 0 178960 25 0 0 25 0 1 0 124087882 156327936 37253 996147200 134512640 135239763 4294955968 18446744073709551615 134821040 0 4 0 0 0 0 0 17 0 0 0 /proc/32168/statm: 38166 37253 425 177 0 37069 0 [pid=32157/tid=32158] ppid=32149 vsize=198344 CPUtime=4.27 /proc/32157/task/32158/stat : 32158 (java) S 32149 32149 30902 0 -1 64 3879 0 1 0 421 6 0 0 16 0 10 0 124087366 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32157/tid=32159] ppid=32149 vsize=198344 CPUtime=0.82 /proc/32157/task/32159/stat : 32159 (java) S 32149 32149 30902 0 -1 64 6126 0 0 0 75 7 0 0 16 0 10 0 124087367 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32160] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32160/stat : 32160 (java) S 32149 32149 30902 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32161] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32161/stat : 32161 (java) S 32149 32149 30902 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32162] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32162/stat : 32162 (java) S 32149 32149 30902 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32163] ppid=32149 vsize=198344 CPUtime=0.21 /proc/32157/task/32163/stat : 32163 (java) S 32149 32149 30902 0 -1 64 680 0 0 0 21 0 0 0 16 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32164] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32164/stat : 32164 (java) S 32149 32149 30902 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32165] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32165/stat : 32165 (java) S 32149 32149 30902 0 -1 64 55 0 0 0 0 0 0 0 15 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32166] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32166/stat : 32166 (java) S 32149 32149 30902 0 -1 64 70 0 0 0 0 0 0 0 17 0 10 0 124087881 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 361724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1810 s] /proc/loadavg: 2.00 1.91 1.73 3/104 32218 /proc/meminfo: memFree=1654608/2055920 swapFree=4179136/4192956 [pid=32149] ppid=32147 vsize=5360 CPUtime=4.9 /proc/32149/stat : 32149 (hydra) S 32147 32149 30902 0 -1 4194304 374 38100 1 13 0 0 469 21 17 0 1 0 124086710 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32149/statm: 1340 238 196 169 0 51 0 [pid=32157] ppid=32149 vsize=198344 CPUtime=5.33 /proc/32157/stat : 32157 (java) S 32149 32149 30902 0 -1 0 11534 0 1 0 519 14 0 0 19 0 10 0 124087365 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32157/statm: 49586 9455 2544 9 0 44168 0 [pid=32167] ppid=32157 vsize=5356 CPUtime=0 /proc/32167/stat : 32167 (mistral) S 32157 32149 30902 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 124087881 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/32167/statm: 1339 236 196 169 0 50 0 [pid=32168] ppid=32167 vsize=152664 CPUtime=1789.85 /proc/32168/stat : 32168 (xsolve) R 32167 32149 30902 0 -1 4194304 37539 0 0 0 178960 25 0 0 25 0 1 0 124087882 156327936 37253 996147200 134512640 135239763 4294955968 18446744073709551615 134821040 0 4 0 0 0 0 0 17 0 0 0 /proc/32168/statm: 38166 37253 425 177 0 37069 0 [pid=32157/tid=32158] ppid=32149 vsize=198344 CPUtime=4.27 /proc/32157/task/32158/stat : 32158 (java) S 32149 32149 30902 0 -1 64 3879 0 1 0 421 6 0 0 16 0 10 0 124087366 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32157/tid=32159] ppid=32149 vsize=198344 CPUtime=0.82 /proc/32157/task/32159/stat : 32159 (java) S 32149 32149 30902 0 -1 64 6126 0 0 0 75 7 0 0 16 0 10 0 124087367 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32160] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32160/stat : 32160 (java) S 32149 32149 30902 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32161] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32161/stat : 32161 (java) S 32149 32149 30902 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 124087368 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32162] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32162/stat : 32162 (java) S 32149 32149 30902 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32163] ppid=32149 vsize=198344 CPUtime=0.21 /proc/32157/task/32163/stat : 32163 (java) S 32149 32149 30902 0 -1 64 680 0 0 0 21 0 0 0 16 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32164] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32164/stat : 32164 (java) S 32149 32149 30902 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32157/tid=32165] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32165/stat : 32165 (java) S 32149 32149 30902 0 -1 64 55 0 0 0 0 0 0 0 15 0 10 0 124087369 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32157/tid=32166] ppid=32149 vsize=198344 CPUtime=0 /proc/32157/task/32166/stat : 32166 (java) S 32149 32149 30902 0 -1 64 70 0 0 0 0 0 0 0 17 0 10 0 124087881 203104256 9455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 361724 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 32149 and gives # childrusage.ru_utime.tv_sec=4 # childrusage.ru_utime.tv_usec=694286 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=217966 # CPU time returned by wait4() is 4.91225 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1810.03 CPU time (s): 1800.08 CPU user time (s): 1799.48 CPU system time (s): 0.6 CPU usage (%): 99.4503 Max. virtual memory (cumulated for all children) (KiB): 361724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.69429 system time used= 0.217966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38474 page faults= 14 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60 involuntary context switches= 69 runsolver used 2.75358 second user time and 6.02908 second system time The end
Begin job on node76 at 2008-07-04 00:27:40 IDJOB=1059583 IDBENCH=54300 IDSOLVER=366 FILE ID=node76/1059583-1215124060 PBS_JOBID= 7877056 Free space on /tmp= 66544 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fischer/normalized-fischer-10-13-fair.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1059583-1215124060/watcher-1059583-1215124060 -o /tmp/evaluation-result-1059583-1215124060/solver-1059583-1215124060 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1059583-1215124060.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 470171cedada3e0976f1103c3898929b RANDOM SEED=837656258 node76.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: 1146480 kB Buffers: 1836 kB Cached: 95696 kB SwapCached: 6440 kB Active: 690544 kB Inactive: 165716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1146480 kB SwapTotal: 4192956 kB SwapFree: 4179092 kB Dirty: 30788 kB Writeback: 0 kB Mapped: 778856 kB Slab: 36536 kB Committed_AS: 1095496 kB PageTables: 3560 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= 66496 MiB End job on node76 at 2008-07-04 00:57:53