| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cpHydra k_40 | ? (TO) | 1800.02 | 1808.73 |
| Name | csp/fischer/ normalized-fischer-11-14-fair.xml |
| MD5SUM | 18fc7754b34300369f509106f87b5420 |
| 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 | 40248 |
| Number of constraints | 38137 |
| 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 | 38137 |
| Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0
12.15/12.39 c CASE TO CLASSIFY:
12.15/12.39 c Case: 0
12.15/12.39 c 19 > 7.187250 | c 35 > 12.818800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.482900 | c 34 > 8.726960 | c 16 > 3.000000 | c 13 > 1.934200 | c 14 > -1.000000 | c 11 > 15.418700 | c 12 > 1.246530 | c 21 > 131.370000 | c 20 > 92.812800 | 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.751540 | c 2 > 14.183400 | c 10 > 15.347400 | c 1 > 14.084200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.766100 | c 32 > -1.000000 | c 5 > 28.498200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
12.25/12.40 c choco : 1801.0
12.25/12.40 c mistral : 1801.0
12.25/12.40 c abscon : 1801.0
12.25/12.40 c
12.25/12.40 c
12.25/12.48 c List of same ones: 40
12.25/12.48 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-16-fair.xml
12.25/12.48 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
12.25/12.49 c choco : 1801.0
12.25/12.49 c mistral : 1.67174
12.25/12.49 c abscon : 7.39787
12.25/12.49 c
12.25/12.49 c
12.25/12.49 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-15-fair.xml
12.25/12.49 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
12.34/12.50 c choco : 1801.0
12.34/12.50 c mistral : 1.58776
12.34/12.50 c abscon : 7.1979
12.34/12.50 c
12.34/12.50 c
12.34/12.50 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-13-fair.xml
12.34/12.50 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
12.34/12.51 c choco : 1801.0
12.34/12.51 c mistral : 1.66275
12.34/12.51 c abscon : 7.31889
12.34/12.51 c
12.34/12.51 c
12.34/12.51 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-12-fair.xml
12.34/12.51 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
12.34/12.52 c choco : 1801.0
12.34/12.52 c mistral : 1.66774
12.34/12.52 c abscon : 7.11192
12.34/12.52 c
12.34/12.52 c
12.34/12.52 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-11-fair.xml
12.34/12.52 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
12.34/12.53 c choco : 1801.0
12.34/12.53 c mistral : 1.64475
12.34/12.53 c abscon : 7.32888
12.34/12.53 c
12.34/12.53 c
12.34/12.53 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-12-fair.xml
12.34/12.53 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
12.34/12.54 c choco : 1801.0
12.34/12.54 c mistral : 1.65975
12.34/12.54 c abscon : 7.39288
12.34/12.54 c
12.34/12.54 c
12.34/12.54 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-10-fair.xml
12.34/12.54 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
12.34/12.55 c choco : 1801.0
12.34/12.55 c mistral : 1.59476
12.34/12.55 c abscon : 7.33788
12.34/12.55 c
12.34/12.55 c
12.34/12.55 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-14-fair.xml
12.34/12.55 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
12.34/12.55 c choco : 1801.0
12.34/12.55 c mistral : 1.87471
12.34/12.55 c abscon : 7.57285
12.34/12.56 c
12.34/12.56 c
12.34/12.56 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-13-fair.xml
12.34/12.56 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
12.34/12.56 c choco : 1801.0
12.34/12.56 c mistral : 1.65075
12.34/12.56 c abscon : 7.37388
12.34/12.56 c
12.34/12.56 c
12.34/12.56 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-11-fair.xml
12.34/12.56 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
12.34/12.57 c choco : 1801.0
12.34/12.57 c mistral : 1.63275
12.34/12.57 c abscon : 7.17091
12.34/12.57 c
12.34/12.57 c
12.34/12.57 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-13-fair.xml
12.34/12.57 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
12.34/12.58 c choco : 1801.0
12.34/12.58 c mistral : 1.61275
12.34/12.58 c abscon : 7.2599
12.34/12.58 c
12.34/12.58 c
12.34/12.58 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-10-fair.xml
12.34/12.58 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
12.42/12.60 c choco : 1801.0
12.42/12.60 c mistral : 1.66774
12.42/12.60 c abscon : 7.31189
12.42/12.60 c
12.42/12.60 c
12.42/12.60 c /home/eomahony/cpZilla/CSP/fisher/FISCHER7-10-fair.xml
12.42/12.60 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
12.42/12.61 c choco : 1801.0
12.42/12.61 c mistral : 1.66675
12.42/12.61 c abscon : 7.38388
12.42/12.61 c
12.42/12.61 c
12.42/12.61 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-10-fair.xml
12.42/12.61 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
12.42/12.62 c choco : 1801.0
12.42/12.62 c mistral : 1.67374
12.42/12.62 c abscon : 7.39987
12.42/12.62 c
12.42/12.62 c
12.42/12.62 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-9-fair.xml
12.42/12.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
12.42/12.62 c choco : 1801.0
12.42/12.62 c mistral : 1.66775
12.42/12.62 c abscon : 7.2529
12.42/12.62 c
12.42/12.62 c
12.42/12.63 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-9-fair.xml
12.42/12.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
12.42/12.63 c choco : 1801.0
12.42/12.63 c mistral : 1.66974
12.42/12.63 c abscon : 7.2589
12.42/12.63 c
12.42/12.63 c
12.42/12.63 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-7-fair.xml
12.42/12.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
12.42/12.64 c choco : 1801.0
12.42/12.64 c mistral : 1.66275
12.42/12.64 c abscon : 7.40887
12.42/12.64 c
12.42/12.64 c
12.42/12.64 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-7-fair.xml
12.42/12.64 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
12.42/12.64 c choco : 1801.0
12.42/12.64 c mistral : 1.66675
12.42/12.64 c abscon : 7.33688
12.42/12.64 c
12.42/12.64 c
12.42/12.64 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-9-fair.xml
12.42/12.64 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
12.42/12.65 c choco : 1801.0
12.42/12.65 c mistral : 1.66974
12.42/12.65 c abscon : 7.44287
12.42/12.65 c
12.42/12.65 c
12.42/12.65 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-12-fair.xml
12.42/12.65 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
12.42/12.66 c choco : 1801.0
12.42/12.66 c mistral : 1.74773
12.42/12.66 c abscon : 8.44971
12.42/12.66 c
12.42/12.66 c
12.42/12.66 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-11-fair.xml
12.42/12.66 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
12.42/12.67 c choco : 1801.0
12.42/12.67 c mistral : 1.61875
12.42/12.67 c abscon : 7.32788
12.42/12.67 c
12.42/12.67 c
12.42/12.67 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-12-fair.xml
12.42/12.67 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
12.42/12.67 c choco : 1801.0
12.42/12.67 c mistral : 1.66375
12.42/12.67 c abscon : 7.14591
12.42/12.67 c
12.42/12.67 c
12.42/12.67 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-8-fair.xml
12.42/12.67 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
12.42/12.68 c choco : 1801.0
12.42/12.68 c mistral : 1.66175
12.42/12.68 c abscon : 7.37788
12.42/12.68 c
12.42/12.68 c
12.42/12.68 c /home/eomahony/cpZilla/CSP/fisher/FISCHER7-11-fair.xml
12.42/12.68 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
12.42/12.69 c choco : 1801.0
12.42/12.69 c mistral : 1.55476
12.42/12.69 c abscon : 7.36488
12.42/12.69 c
12.42/12.69 c
12.42/12.69 c /home/eomahony/cpZilla/CSP/fisher/FISCHER5-10-fair.xml
12.42/12.69 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
12.42/12.69 c choco : 1801.0
12.42/12.69 c mistral : 1.67274
12.42/12.69 c abscon : 7.29089
12.42/12.69 c
12.42/12.69 c
12.42/12.69 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-9-fair.xml
12.42/12.69 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
12.47/12.70 c choco : 1801.0
12.47/12.70 c mistral : 1.65975
12.47/12.70 c abscon : 7.45487
12.47/12.70 c
12.47/12.70 c
12.47/12.70 c /home/eomahony/cpZilla/CSP/fisher/FISCHER6-11-fair.xml
12.47/12.70 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
12.47/12.70 c choco : 1801.0
12.47/12.70 c mistral : 1.67174
12.47/12.70 c abscon : 7.31789
12.47/12.70 c
12.47/12.70 c
12.47/12.70 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-6-fair.xml
12.47/12.70 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
12.47/12.71 c choco : 1801.0
12.47/12.71 c mistral : 1.66675
12.47/12.71 c abscon : 7.2279
12.47/12.71 c
12.47/12.71 c
12.47/12.71 c /home/eomahony/cpZilla/CSP/fisher/FISCHER6-9-fair.xml
12.47/12.71 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
12.47/12.72 c choco : 1801.0
12.47/12.72 c mistral : 1.56976
12.47/12.72 c abscon : 7.38887
12.47/12.72 c
12.47/12.72 c
12.47/12.72 c /home/eomahony/cpZilla/CSP/fisher/FISCHER7-9-fair.xml
12.47/12.72 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
12.47/12.72 c choco : 1801.0
12.47/12.72 c mistral : 1.65875
12.47/12.72 c abscon : 7.2379
12.47/12.72 c
12.47/12.72 c
12.47/12.72 c /home/eomahony/cpZilla/CSP/fisher/FISCHER6-8-fair.xml
12.47/12.72 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
12.47/12.73 c choco : 1801.0
12.47/12.73 c mistral : 1.67674
12.47/12.73 c abscon : 7.31889
12.47/12.73 c
12.47/12.73 c
12.47/12.73 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-1-fair.xml
12.47/12.73 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
12.47/12.73 c choco : 1801.0
12.47/12.73 c mistral : 0.43
12.47/12.73 c abscon : 7.28189
12.47/12.73 c
12.47/12.73 c
12.47/12.73 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-1-fair.xml
12.47/12.73 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
12.47/12.74 c choco : 1801.0
12.47/12.74 c mistral : 0.4
12.47/12.74 c abscon : 7.09592
12.47/12.74 c
12.47/12.74 c
12.47/12.74 c /home/eomahony/cpZilla/CSP/fisher/FISCHER9-1-fair.xml
12.47/12.74 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
12.47/12.74 c choco : 1801.0
12.47/12.74 c mistral : 0.35
12.47/12.75 c abscon : 7.34288
12.47/12.75 c
12.47/12.75 c
12.47/12.75 c /home/eomahony/cpZilla/CSP/fisher/FISCHER11-5-fair.xml
12.47/12.75 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
12.47/12.76 c choco : 1801.0
12.47/12.76 c mistral : 1.63975
12.47/12.76 c abscon : 7.18491
12.47/12.76 c
12.47/12.76 c
12.47/12.76 c /home/eomahony/cpZilla/CSP/fisher/FISCHER8-1-fair.xml
12.47/12.76 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
12.47/12.76 c choco : 1801.0
12.47/12.76 c mistral : 0.3
12.47/12.76 c abscon : 7.2599
12.47/12.76 c
12.47/12.76 c
12.47/12.76 c /home/eomahony/cpZilla/CSP/fisher/FISCHER6-1-fair.xml
12.47/12.76 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
12.47/12.77 c choco : 54.75
12.47/12.77 c mistral : 0.23
12.47/12.77 c abscon : 7.2249
12.47/12.77 c
12.47/12.77 c
12.47/12.77 c /home/eomahony/cpZilla/CSP/fisher/FISCHER4-4-fair.xml
12.47/12.77 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
12.47/12.77 c choco : 1801.0
12.47/12.77 c mistral : 0.65
12.47/12.77 c abscon : 7.2509
12.47/12.77 c
12.47/12.77 c
12.47/12.78 c /home/eomahony/cpZilla/CSP/fisher/FISCHER7-5-fair.xml
12.47/12.78 c 19 > 0.000000 | c 35 > 12.789300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.440400 | c 34 > 8.712290 | c 16 > 3.000000 | c 13 > 4.307040 | c 14 > 10.117600 | c 11 > 13.332500 | c 12 > 2.352730 | c 21 > 131.007000 | 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.965780 | c 2 > 12.069100 | c 10 > 13.258900 | c 1 > 12.019900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 10.764900 | c 32 > -1.000000 | c 5 > 26.353200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
12.47/12.78 c choco : 1801.0
12.47/12.78 c mistral : 1.65575
12.47/12.78 c abscon : 8.00778
12.47/12.78 c
12.47/12.78 c
12.47/12.78 c /home/eomahony/cpZilla/CSP/fisher/FISCHER10-4-fair.xml
12.47/12.78 c 19 > 0.000000 | c 35 > 12.804300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.187500 | c 34 > 8.720440 | c 16 > 3.000000 | c 13 > 4.850350 | c 14 > 10.383700 | c 11 > 13.560600 | c 12 > 2.495300 | c 21 > 131.201000 | 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.276120 | c 2 > 12.298100 | c 10 > 13.488000 | c 1 > 12.247600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 10.985800 | c 32 > -1.000000 | c 5 > 26.584000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
12.47/12.79 c choco : 1801.0
12.47/12.79 c mistral : 1.67574
12.47/12.79 c abscon : 7.2469
12.47/12.79 c
12.47/12.79 c
12.47/12.79 c Length: 40
12.47/12.79 c 4.058316166613933 4.184392751093044 4.212118299763198 4.342123736698437 13.934510605467997 14.082443613549463 14.106395353842174 14.125861634321643 14.155531629914154 14.16813326420598 14.244433082348348 14.334077485300545 14.386543797653417 14.38893153208396 14.468033453109653 14.49466787062056 14.528632455513494 14.578028633385244 14.599052660679735 14.618996863957529 14.663403117291702 14.705637016399528 14.720996530157192 14.811736399406387 14.88736432646827 14.968636070594409 15.124815310088913 15.258140132430952 15.263643913115901 15.359802556937378 15.461353607776392 15.53023335880659 15.648045038177806 15.798225276762452 15.85936592839386 16.445122792239925 16.48649489809232 16.49841837390785 16.62705902631611 16.646523897640012
12.47/12.79 c
12.47/12.79 c 1.0 0.9900838630511543 0.9879295233021531 0.9779515822934101 0.5603624630574018 0.5566964947209333 0.5561074471482651 0.5556296284040393 0.554902927011493 0.5545948524628722 0.5527368177223501 0.5505696628461917 0.5493091544186585 0.5492519261580495 0.5473627608332186 0.5467295809305546 0.5459242629818019 0.5447572790313672 0.5442620989750807 0.5437931834169127 0.542752028281534 0.5417654987811059 0.5414076090266109 0.539302903402404 0.5375611809378747 0.5357019778666047 0.5321650273584968 0.5291824011104145 0.5290599937497767 0.5269304691421882 0.5247000579035704 0.5231979373007363 0.5206485540076081 0.5174345311315227 0.5161373910107419 0.5040320518443755 0.5031984835177444 0.5029587599821393 0.5003868686559149 0.5
12.53/12.81 c
12.53/12.81 c solver 0
12.53/12.81 c before 0.0 seconds: {} 0
12.53/12.81 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} 23237
12.53/12.81 c
12.53/12.81 c solver 1
12.53/12.81 c before 0.0 seconds: {} 0
12.53/12.81 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} 23237
12.53/12.81 c
12.53/12.81 c solver 2
12.53/12.81 c before 0.0 seconds: {} 0
12.53/12.81 c before 72.0 seconds: {36} 503
12.53/12.81 c
12.53/12.81 cTotal time: 6
12.53/12.81 c 108.0 seconds unused
12.53/12.81 c 0 c 0 c 39
12.53/12.81 c 0 c 0 c 39
12.53/12.81 c 0 c 0 c 0
12.53/12.81 c is solver0 dominated by:
12.53/12.81 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)
12.53/12.81 c is dominated? true
12.53/12.81 c
12.53/12.81 c is solver1 dominated by:
12.53/12.81 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)
12.53/12.81 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)
12.53/12.81 c is dominated? false
12.53/12.81 c
12.53/12.81 c is solver2 dominated by:
12.53/12.81 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)
12.53/12.81 c is dominated? true
12.53/12.81 c
12.53/12.81 c Number of non-dominated solvers: 1
12.53/12.81 c remove dominated solvers
12.53/12.81 c solver 1 is not dominated by another solver
12.53/12.81 c solver 2 is dominated by another solver
12.53/12.81 c solver 0 is dominated by another solver
12.53/12.81 c
12.53/12.81 c solver 0: 0.0
12.53/12.81 c
12.53/12.81 c solver 1: 18.0
12.53/12.81 c
12.53/12.81 c+ 1/1 of 99
12.53/12.81 c
12.53/12.81 c solver 2: 0.0
12.53/12.81 c do not run abscon
12.53/12.81 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} 23237
12.53/12.81 c do not run choco
12.53/12.81 c Starting solver: HOME/cpHydra_k_40/solver/mistral
12.53/12.81 c On Instance: HOME/instance-1059373-1215122914.xml
12.53/12.81 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-1059373-1215122914/watcher-1059373-1215122914 -o /tmp/evaluation-result-1059373-1215122914/solver-1059373-1215122914 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1059373-1215122914.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.79 1.92 1.89 4/72 27840 /proc/meminfo: memFree=1422784/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=0 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1991261117 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 236 195 169 0 51 0 [pid=27842] ppid=27840 vsize=0 CPUtime=0 /proc/27842/stat : 27842 (hydra) R 27840 27840 27768 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 1991261118 0 0 996147200 0 0 0 18446744073709551615 227607637287 0 0 4096 0 0 0 0 17 1 0 0 /proc/27842/statm: 0 0 0 0 0 0 0 [startup+0.079794 s] /proc/loadavg: 1.79 1.92 1.89 4/72 27840 /proc/meminfo: memFree=1422784/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=0 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991261117 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102789 s] /proc/loadavg: 1.79 1.92 1.89 4/72 27840 /proc/meminfo: memFree=1422784/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=0 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991261117 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302822 s] /proc/loadavg: 1.79 1.92 1.89 4/72 27840 /proc/meminfo: memFree=1422784/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=0 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991261117 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702864 s] /proc/loadavg: 1.79 1.92 1.89 4/72 27840 /proc/meminfo: memFree=1422784/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=0 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991261117 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50196 s] /proc/loadavg: 1.79 1.92 1.89 3/74 27844 /proc/meminfo: memFree=1405040/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=0 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991261117 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 236 195 169 0 51 0 [pid=27844] ppid=27840 vsize=27172 CPUtime=1.47 /proc/27844/stat : 27844 (xsolve) R 27840 27840 27768 0 -1 4194304 6180 0 0 0 143 4 0 0 25 0 1 0 1991261118 27824128 5955 996147200 134512640 135239763 4294956176 18446744073709551615 4158664986 0 0 4096 0 0 0 0 17 1 0 0 /proc/27844/statm: 6793 5955 382 177 0 5696 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 32532 [startup+3.10115 s] /proc/loadavg: 1.79 1.92 1.89 3/74 27844 /proc/meminfo: memFree=1394096/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=0 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991261117 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 236 195 169 0 51 0 [pid=27844] ppid=27840 vsize=178812 CPUtime=3.06 /proc/27844/stat : 27844 (xsolve) R 27840 27840 27768 0 -1 4194304 44088 0 0 0 285 21 0 0 25 0 1 0 1991261118 183103488 43797 996147200 134512640 135239763 4294956176 18446744073709551615 134535407 0 0 4096 0 0 0 0 17 1 0 0 /proc/27844/statm: 44703 43797 441 177 0 43606 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 184172 [startup+6.30154 s] /proc/loadavg: 1.80 1.92 1.89 3/74 27844 /proc/meminfo: memFree=1248880/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=0 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991261117 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 236 195 169 0 51 0 [pid=27844] ppid=27840 vsize=178108 CPUtime=6.22 /proc/27844/stat : 27844 (xsolve) R 27840 27840 27768 0 -1 4194304 44158 0 0 0 601 21 0 0 25 0 1 0 1991261118 182382592 43698 996147200 134512640 135239763 4294956176 18446744073709551615 10270132 0 0 4096 0 0 0 0 17 1 0 0 /proc/27844/statm: 44527 43698 447 177 0 43430 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 183468 [startup+12.7013 s] /proc/loadavg: 1.90 1.94 1.90 3/82 27856 /proc/meminfo: memFree=1396208/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=6.36 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 375 44749 0 0 0 0 612 24 19 0 1 0 1991261117 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 238 196 169 0 51 0 [pid=27848] ppid=27840 vsize=197112 CPUtime=6.11 /proc/27848/stat : 27848 (java) S 27840 27840 27768 0 -1 0 13806 0 1 0 594 17 0 0 21 0 9 0 1991261762 201842688 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27848/statm: 49278 9497 2542 9 0 43860 0 [pid=27848/tid=27849] ppid=27840 vsize=197112 CPUtime=4.78 /proc/27848/task/27849/stat : 27849 (java) R 27840 27840 27768 0 -1 64 3897 0 1 0 472 6 0 0 25 0 9 0 1991261763 201842688 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4126895682 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27850] ppid=27840 vsize=197112 CPUtime=1.07 /proc/27848/task/27850/stat : 27850 (java) S 27840 27840 27768 0 -1 64 8525 0 0 0 98 9 0 0 16 0 9 0 1991261764 201842688 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27851] ppid=27840 vsize=197112 CPUtime=0 /proc/27848/task/27851/stat : 27851 (java) S 27840 27840 27768 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991261764 201842688 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27852] ppid=27840 vsize=197112 CPUtime=0 /proc/27848/task/27852/stat : 27852 (java) S 27840 27840 27768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991261764 201842688 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27853] ppid=27840 vsize=197112 CPUtime=0 /proc/27848/task/27853/stat : 27853 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991261766 201842688 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27854] ppid=27840 vsize=197112 CPUtime=0.22 /proc/27848/task/27854/stat : 27854 (java) S 27840 27840 27768 0 -1 64 658 0 0 0 22 0 0 0 16 0 9 0 1991261766 201842688 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27855] ppid=27840 vsize=197112 CPUtime=0 /proc/27848/task/27855/stat : 27855 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991261766 201842688 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27856] ppid=27840 vsize=197112 CPUtime=0 /proc/27848/task/27856/stat : 27856 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991261766 201842688 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 202472 [startup+25.5028 s] /proc/loadavg: 1.92 1.94 1.90 3/85 27859 /proc/meminfo: memFree=1219736/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=6.36 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 375 44749 0 0 0 0 612 24 19 0 1 0 1991261117 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 238 196 169 0 51 0 [pid=27848] ppid=27840 vsize=197436 CPUtime=6.19 /proc/27848/stat : 27848 (java) S 27840 27840 27768 0 -1 0 13999 0 1 0 600 19 0 0 21 0 10 0 1991261762 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27848/statm: 49359 9529 2544 9 0 43941 0 [pid=27858] ppid=27848 vsize=5356 CPUtime=0 /proc/27858/stat : 27858 (mistral) S 27848 27840 27768 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991262399 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27858/statm: 1339 236 196 169 0 50 0 [pid=27859] ppid=27858 vsize=179076 CPUtime=12.55 /proc/27859/stat : 27859 (xsolve) R 27858 27840 27768 0 -1 4194304 44161 0 0 0 1234 21 0 0 25 0 1 0 1991262400 183373824 43875 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0 /proc/27859/statm: 44769 43875 425 177 0 43672 0 [pid=27848/tid=27849] ppid=27840 vsize=197436 CPUtime=4.84 /proc/27848/task/27849/stat : 27849 (java) S 27840 27840 27768 0 -1 64 3976 0 1 0 477 7 0 0 23 0 10 0 1991261763 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27848/tid=27850] ppid=27840 vsize=197436 CPUtime=1.07 /proc/27848/task/27850/stat : 27850 (java) S 27840 27840 27768 0 -1 64 8527 0 0 0 98 9 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27851] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27851/stat : 27851 (java) S 27840 27840 27768 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27852] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27852/stat : 27852 (java) S 27840 27840 27768 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27853] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27853/stat : 27853 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27854] ppid=27840 vsize=197436 CPUtime=0.23 /proc/27848/task/27854/stat : 27854 (java) S 27840 27840 27768 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27855] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27855/stat : 27855 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27856] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27856/stat : 27856 (java) S 27840 27840 27768 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27857] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27857/stat : 27857 (java) S 27840 27840 27768 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991262399 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 387228 [startup+51.1029 s] /proc/loadavg: 1.95 1.95 1.90 3/85 27859 /proc/meminfo: memFree=1219928/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=6.36 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 375 44749 0 0 0 0 612 24 19 0 1 0 1991261117 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 238 196 169 0 51 0 [pid=27848] ppid=27840 vsize=197436 CPUtime=6.19 /proc/27848/stat : 27848 (java) S 27840 27840 27768 0 -1 0 13999 0 1 0 600 19 0 0 21 0 10 0 1991261762 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27848/statm: 49359 9529 2544 9 0 43941 0 [pid=27858] ppid=27848 vsize=5356 CPUtime=0 /proc/27858/stat : 27858 (mistral) S 27848 27840 27768 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991262399 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27858/statm: 1339 236 196 169 0 50 0 [pid=27859] ppid=27858 vsize=179076 CPUtime=37.9 /proc/27859/stat : 27859 (xsolve) R 27858 27840 27768 0 -1 4194304 44162 0 0 0 3769 21 0 0 25 0 1 0 1991262400 183373824 43876 996147200 134512640 135239763 4294955968 18446744073709551615 134842477 0 4 0 0 0 0 0 17 1 0 0 /proc/27859/statm: 44769 43876 425 177 0 43672 0 [pid=27848/tid=27849] ppid=27840 vsize=197436 CPUtime=4.84 /proc/27848/task/27849/stat : 27849 (java) S 27840 27840 27768 0 -1 64 3976 0 1 0 477 7 0 0 23 0 10 0 1991261763 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27848/tid=27850] ppid=27840 vsize=197436 CPUtime=1.07 /proc/27848/task/27850/stat : 27850 (java) S 27840 27840 27768 0 -1 64 8527 0 0 0 98 9 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27851] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27851/stat : 27851 (java) S 27840 27840 27768 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27852] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27852/stat : 27852 (java) S 27840 27840 27768 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27853] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27853/stat : 27853 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27854] ppid=27840 vsize=197436 CPUtime=0.23 /proc/27848/task/27854/stat : 27854 (java) S 27840 27840 27768 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27855] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27855/stat : 27855 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27856] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27856/stat : 27856 (java) S 27840 27840 27768 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27857] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27857/stat : 27857 (java) S 27840 27840 27768 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991262399 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.45 Current children cumulated vsize (KiB) 387228 [startup+102.307 s] /proc/loadavg: 1.97 1.95 1.91 3/85 27859 /proc/meminfo: memFree=1219672/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=6.36 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 375 44749 0 0 0 0 612 24 19 0 1 0 1991261117 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ /proc/27848/task/27857/stat : 27857 (java) S 27840 27840 27768 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991262399 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1653.68 Current children cumulated vsize (KiB) 387356 [startup+1722.3 s] /proc/loadavg: 2.00 1.97 1.91 3/97 27940 /proc/meminfo: memFree=1150392/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=6.36 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 375 44749 0 0 0 0 612 24 19 0 1 0 1991261117 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 238 196 169 0 51 0 [pid=27848] ppid=27840 vsize=197436 CPUtime=6.2 /proc/27848/stat : 27848 (java) S 27840 27840 27768 0 -1 0 13999 0 1 0 601 19 0 0 21 0 10 0 1991261762 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27848/statm: 49359 9529 2544 9 0 43941 0 [pid=27858] ppid=27848 vsize=5356 CPUtime=0 /proc/27858/stat : 27858 (mistral) S 27848 27840 27768 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991262399 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27858/statm: 1339 236 196 169 0 50 0 [pid=27859] ppid=27858 vsize=179204 CPUtime=1701.09 /proc/27859/stat : 27859 (xsolve) R 27858 27840 27768 0 -1 4194304 44203 0 0 0 170084 25 0 0 25 0 1 0 1991262400 183504896 43884 996147200 134512640 135239763 4294955968 18446744073709551615 134799809 0 4 0 0 0 0 0 17 0 0 0 /proc/27859/statm: 44801 43884 425 177 0 43704 0 [pid=27848/tid=27849] ppid=27840 vsize=197436 CPUtime=4.84 /proc/27848/task/27849/stat : 27849 (java) S 27840 27840 27768 0 -1 64 3976 0 1 0 477 7 0 0 23 0 10 0 1991261763 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27848/tid=27850] ppid=27840 vsize=197436 CPUtime=1.07 /proc/27848/task/27850/stat : 27850 (java) S 27840 27840 27768 0 -1 64 8527 0 0 0 98 9 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27851] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27851/stat : 27851 (java) S 27840 27840 27768 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27852] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27852/stat : 27852 (java) S 27840 27840 27768 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27853] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27853/stat : 27853 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27854] ppid=27840 vsize=197436 CPUtime=0.23 /proc/27848/task/27854/stat : 27854 (java) S 27840 27840 27768 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27855] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27855/stat : 27855 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27856] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27856/stat : 27856 (java) S 27840 27840 27768 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27848/tid=27857] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27857/stat : 27857 (java) S 27840 27840 27768 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991262399 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1713.65 Current children cumulated vsize (KiB) 387356 [startup+1782.3 s] /proc/loadavg: 2.00 1.97 1.91 3/97 27940 /proc/meminfo: memFree=1150328/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=6.36 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 375 44749 0 0 0 0 612 24 19 0 1 0 1991261117 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 238 196 169 0 51 0 [pid=27848] ppid=27840 vsize=197436 CPUtime=6.2 /proc/27848/stat : 27848 (java) S 27840 27840 27768 0 -1 0 13999 0 1 0 601 19 0 0 21 0 10 0 1991261762 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27848/statm: 49359 9529 2544 9 0 43941 0 [pid=27858] ppid=27848 vsize=5356 CPUtime=0 /proc/27858/stat : 27858 (mistral) S 27848 27840 27768 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991262399 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27858/statm: 1339 236 196 169 0 50 0 [pid=27859] ppid=27858 vsize=179204 CPUtime=1761.07 /proc/27859/stat : 27859 (xsolve) R 27858 27840 27768 0 -1 4194304 44203 0 0 0 176082 25 0 0 25 0 1 0 1991262400 183504896 43884 996147200 134512640 135239763 4294955968 18446744073709551615 134801961 0 4 0 0 0 0 0 17 0 0 0 /proc/27859/statm: 44801 43884 425 177 0 43704 0 [pid=27848/tid=27849] ppid=27840 vsize=197436 CPUtime=4.84 /proc/27848/task/27849/stat : 27849 (java) S 27840 27840 27768 0 -1 64 3976 0 1 0 477 7 0 0 23 0 10 0 1991261763 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27848/tid=27850] ppid=27840 vsize=197436 CPUtime=1.07 /proc/27848/task/27850/stat : 27850 (java) S 27840 27840 27768 0 -1 64 8527 0 0 0 98 9 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27851] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27851/stat : 27851 (java) S 27840 27840 27768 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27852] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27852/stat : 27852 (java) S 27840 27840 27768 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27853] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27853/stat : 27853 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27854] ppid=27840 vsize=197436 CPUtime=0.23 /proc/27848/task/27854/stat : 27854 (java) S 27840 27840 27768 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27855] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27855/stat : 27855 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27856] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27856/stat : 27856 (java) S 27840 27840 27768 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27848/tid=27857] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27857/stat : 27857 (java) S 27840 27840 27768 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991262399 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1773.63 Current children cumulated vsize (KiB) 387356 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1808.7 s] /proc/loadavg: 2.00 1.97 1.91 3/97 27940 /proc/meminfo: memFree=1150328/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=6.36 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 375 44749 0 0 0 0 612 24 19 0 1 0 1991261117 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 238 196 169 0 51 0 [pid=27848] ppid=27840 vsize=197436 CPUtime=6.2 /proc/27848/stat : 27848 (java) S 27840 27840 27768 0 -1 0 13999 0 1 0 601 19 0 0 21 0 10 0 1991261762 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27848/statm: 49359 9529 2544 9 0 43941 0 [pid=27858] ppid=27848 vsize=5356 CPUtime=0 /proc/27858/stat : 27858 (mistral) S 27848 27840 27768 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991262399 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27858/statm: 1339 236 196 169 0 50 0 [pid=27859] ppid=27858 vsize=179204 CPUtime=1787.46 /proc/27859/stat : 27859 (xsolve) R 27858 27840 27768 0 -1 4194304 44203 0 0 0 178721 25 0 0 25 0 1 0 1991262400 183504896 43884 996147200 134512640 135239763 4294955968 18446744073709551615 135035087 0 4 0 0 0 0 0 17 0 0 0 /proc/27859/statm: 44801 43884 425 177 0 43704 0 [pid=27848/tid=27849] ppid=27840 vsize=197436 CPUtime=4.84 /proc/27848/task/27849/stat : 27849 (java) S 27840 27840 27768 0 -1 64 3976 0 1 0 477 7 0 0 23 0 10 0 1991261763 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27848/tid=27850] ppid=27840 vsize=197436 CPUtime=1.07 /proc/27848/task/27850/stat : 27850 (java) S 27840 27840 27768 0 -1 64 8527 0 0 0 98 9 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27851] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27851/stat : 27851 (java) S 27840 27840 27768 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27852] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27852/stat : 27852 (java) S 27840 27840 27768 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27853] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27853/stat : 27853 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27854] ppid=27840 vsize=197436 CPUtime=0.23 /proc/27848/task/27854/stat : 27854 (java) S 27840 27840 27768 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27855] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27855/stat : 27855 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27856] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27856/stat : 27856 (java) S 27840 27840 27768 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27848/tid=27857] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27857/stat : 27857 (java) S 27840 27840 27768 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991262399 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 387356 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1808.7 s] /proc/loadavg: 2.00 1.97 1.91 3/97 27940 /proc/meminfo: memFree=1150328/2055920 swapFree=4179828/4192956 [pid=27840] ppid=27838 vsize=5360 CPUtime=6.36 /proc/27840/stat : 27840 (hydra) S 27838 27840 27768 0 -1 4194304 375 44749 0 0 0 0 612 24 19 0 1 0 1991261117 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27840/statm: 1340 238 196 169 0 51 0 [pid=27848] ppid=27840 vsize=197436 CPUtime=6.2 /proc/27848/stat : 27848 (java) S 27840 27840 27768 0 -1 0 13999 0 1 0 601 19 0 0 21 0 10 0 1991261762 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27848/statm: 49359 9529 2544 9 0 43941 0 [pid=27858] ppid=27848 vsize=5356 CPUtime=0 /proc/27858/stat : 27858 (mistral) S 27848 27840 27768 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991262399 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27858/statm: 1339 236 196 169 0 50 0 [pid=27859] ppid=27858 vsize=179204 CPUtime=1787.46 /proc/27859/stat : 27859 (xsolve) R 27858 27840 27768 0 -1 4194304 44203 0 0 0 178721 25 0 0 25 0 1 0 1991262400 183504896 43884 996147200 134512640 135239763 4294955968 18446744073709551615 135035087 0 4 0 0 0 0 0 17 0 0 0 /proc/27859/statm: 44801 43884 425 177 0 43704 0 [pid=27848/tid=27849] ppid=27840 vsize=197436 CPUtime=4.84 /proc/27848/task/27849/stat : 27849 (java) S 27840 27840 27768 0 -1 64 3976 0 1 0 477 7 0 0 23 0 10 0 1991261763 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27848/tid=27850] ppid=27840 vsize=197436 CPUtime=1.07 /proc/27848/task/27850/stat : 27850 (java) S 27840 27840 27768 0 -1 64 8527 0 0 0 98 9 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27851] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27851/stat : 27851 (java) S 27840 27840 27768 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27852] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27852/stat : 27852 (java) S 27840 27840 27768 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991261764 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27853] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27853/stat : 27853 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27854] ppid=27840 vsize=197436 CPUtime=0.23 /proc/27848/task/27854/stat : 27854 (java) S 27840 27840 27768 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27855] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27855/stat : 27855 (java) S 27840 27840 27768 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27848/tid=27856] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27856/stat : 27856 (java) S 27840 27840 27768 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1991261766 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27848/tid=27857] ppid=27840 vsize=197436 CPUtime=0 /proc/27848/task/27857/stat : 27857 (java) S 27840 27840 27768 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991262399 202174464 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 387356 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27840 and gives # childrusage.ru_utime.tv_sec=6 # childrusage.ru_utime.tv_usec=128068 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=246962 # CPU time returned by wait4() is 6.37503 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1808.73 CPU time (s): 1800.02 CPU user time (s): 1799.34 CPU system time (s): 0.68 CPU usage (%): 99.5186 Max. virtual memory (cumulated for all children) (KiB): 387356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.12807 system time used= 0.246962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45124 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25 involuntary context switches= 148 runsolver used 2.77558 second user time and 6.50301 second system time The end
Begin job on node66 at 2008-07-04 00:08:34 IDJOB=1059373 IDBENCH=54244 IDSOLVER=366 FILE ID=node66/1059373-1215122914 PBS_JOBID= 7877233 Free space on /tmp= 66516 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fischer/normalized-fischer-11-14-fair.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1059373-1215122914/watcher-1059373-1215122914 -o /tmp/evaluation-result-1059373-1215122914/solver-1059373-1215122914 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1059373-1215122914.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 18fc7754b34300369f509106f87b5420 RANDOM SEED=917656177 node66.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1423264 kB Buffers: 45068 kB Cached: 510336 kB SwapCached: 6956 kB Active: 206252 kB Inactive: 369576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1423264 kB SwapTotal: 4192956 kB SwapFree: 4179828 kB Dirty: 31432 kB Writeback: 0 kB Mapped: 27716 kB Slab: 41924 kB Committed_AS: 3979516 kB PageTables: 1848 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= 66472 MiB End job on node66 at 2008-07-04 00:38:45