Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1647.59 | 1647.99 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb |
MD5SUM | 3ddf6338b9f9cf35560b94c856457c56 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 187 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 182 |
Optimality of the best value was proved | NO |
Number of variables | 468 |
Total number of constraints | 468 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 468 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 468 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 468 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 468 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655877-1276371672.opb. 0.00/0.00 c Instance file HOME/instance-2655877-1276371672.opb 0.00/0.00 c File size is 42793 bytes. 0.00/0.00 c Highest Coefficient sum: 229 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 468 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 468 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 468 468 4232 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 225 0.00/0.01 o 225 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 468 469 4700 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 224 0.00/0.01 o 224 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 6 | 468 470 5168 | 5000 6 228 | 0.000 % | 0.00/0.02 c | 107 | 468 470 5168 | 5500 107 231 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 222 0.00/0.02 o 222 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 107 | 468 471 5636 | 5000 107 231 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 221 0.00/0.03 o 221 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 146 | 468 472 6104 | 5000 146 231 | 0.000 % | 0.00/0.04 c | 247 | 468 472 6104 | 5500 247 231 | 0.002 % | 0.00/0.06 c | 397 | 468 472 6104 | 6050 397 230 | 0.002 % | 0.07/0.09 c | 622 | 468 472 6104 | 6655 622 230 | 0.000 % | 0.09/0.14 c | 959 | 468 472 6104 | 7320 959 230 | 0.001 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 220 0.09/0.16 o 220 0.09/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 1122 | 468 473 6572 | 5000 1122 230 | 0.001 % | 0.09/0.18 c | 1223 | 468 473 6572 | 5500 1223 230 | 0.001 % | 0.19/0.20 c | 1373 | 468 473 6572 | 6050 1373 230 | 0.002 % | 0.19/0.23 c | 1598 | 468 473 6572 | 6655 1598 230 | 0.000 % | 0.19/0.28 c | 1936 | 468 473 6572 | 7320 1936 230 | 0.001 % | 0.29/0.36 c | 2442 | 468 473 6572 | 8052 2442 230 | 0.001 % | 0.40/0.47 c | 3201 | 468 473 6572 | 8857 3201 230 | 0.000 % | 0.59/0.64 c | 4342 | 468 473 6572 | 9743 4342 230 | 0.000 % | 0.89/0.94 c | 6051 | 468 473 6572 | 10717 6051 230 | 0.000 % | 1.29/1.39 c | 8613 | 468 473 6572 | 11789 8613 230 | 0.000 % | 2.09/2.10 c | 12457 | 468 473 6572 | 12968 6343 230 | 0.000 % | 3.20/3.25 c | 18224 | 468 473 6572 | 14265 12110 230 | 0.000 % | 5.19/5.22 c | 26874 | 468 473 6572 | 15692 13408 230 | 0.000 % | 8.49/8.57 c | 39849 | 468 473 6572 | 17261 10256 228 | 0.000 % | 15.69/15.79 c | 59310 | 468 473 6572 | 18987 12024 235 | 0.000 % | 21.89/21.94 c =============================================================================== 21.89/21.94 c New solution: 219 21.89/21.94 o 219 21.89/21.94 c Elapsed CPU time: 21.6287 s Remaining CPU time: 158.371 s 21.89/21.94 c =============================================================================== 21.89/21.94 c | 84612 | 468 474 7040 | 5000 17907 229 | 0.000 % | 22.09/22.15 c | 84712 | 468 474 7040 | 5500 4577 229 | 0.000 % | 22.09/22.18 c | 84862 | 468 474 7040 | 6050 4727 229 | 0.001 % | 22.09/22.18 c =============================================================================== 22.09/22.18 c New solution: 218 22.09/22.18 o 218 22.09/22.18 c Elapsed CPU time: 21.8667 s Remaining CPU time: 158.133 s 22.09/22.18 c =============================================================================== 22.09/22.18 c | 84863 | 468 475 7508 | 5000 4728 229 | 0.001 % | 22.19/22.20 c | 84964 | 468 475 7508 | 5500 4829 229 | 0.001 % | 22.19/22.22 c | 85114 | 468 475 7508 | 6050 4979 229 | 0.002 % | 22.19/22.25 c | 85339 | 468 475 7508 | 6655 5204 229 | 0.001 % | 22.28/22.31 c | 85677 | 468 475 7508 | 7320 5542 229 | 0.001 % | 22.28/22.38 c | 86183 | 468 475 7508 | 8052 6048 229 | 0.001 % | 22.49/22.50 c | 86942 | 468 475 7508 | 8857 6807 229 | 0.000 % | 22.69/22.70 c | 88082 | 468 475 7508 | 9743 7947 229 | 0.000 % | 22.69/22.71 c =============================================================================== 22.69/22.71 c New solution: 217 22.69/22.71 o 217 22.69/22.71 c Elapsed CPU time: 22.3756 s Remaining CPU time: 157.624 s 22.69/22.71 c =============================================================================== 22.69/22.71 c | 88114 | 468 476 7976 | 5000 7979 229 | 0.000 % | 22.69/22.74 c | 88215 | 468 476 7976 | 5500 4091 228 | 0.001 % | 22.69/22.76 c | 88365 | 468 476 7976 | 6050 4241 228 | 0.001 % | 22.79/22.80 c | 88591 | 468 476 7976 | 6655 4467 228 | 0.000 % | 22.79/22.86 c | 88928 | 468 476 7976 | 7320 4804 228 | 0.001 % | 22.88/22.94 c | 89434 | 468 476 7976 | 8052 5310 228 | 0.000 % | 22.99/23.06 c | 90193 | 468 476 7976 | 8857 6069 228 | 0.000 % | 23.19/23.28 c | 91332 | 468 476 7976 | 9743 7208 228 | 0.000 % | 23.48/23.57 c | 93041 | 468 476 7976 | 10717 8917 227 | 0.000 % | 24.09/24.14 c | 95603 | 468 476 7976 | 11789 5912 227 | 0.000 % | 24.78/24.88 c | 99447 | 468 476 7976 | 12968 9756 227 | 0.000 % | 26.08/26.12 c | 105213 | 468 476 7976 | 14265 8826 225 | 0.000 % | 26.08/26.13 c =============================================================================== 26.08/26.13 c New solution: 216 26.08/26.13 o 216 26.08/26.13 c Elapsed CPU time: 25.7301 s Remaining CPU time: 154.27 s 26.08/26.13 c =============================================================================== 26.08/26.13 c | 105288 | 468 477 8444 | 5000 8901 225 | 0.000 % | 26.08/26.17 c | 105389 | 468 477 8444 | 5500 4552 224 | 0.000 % | 26.08/26.20 c | 105540 | 468 477 8444 | 6050 4703 224 | 0.002 % | 26.19/26.23 c | 105766 | 468 477 8444 | 6655 4929 225 | 0.001 % | 26.19/26.28 c | 106104 | 468 477 8444 | 7320 5267 225 | 0.001 % | 26.29/26.37 c | 106610 | 468 477 8444 | 8052 5773 225 | 0.001 % | 26.29/26.37 c =============================================================================== 26.29/26.37 c New solution: 212 26.29/26.37 o 212 26.29/26.37 c Elapsed CPU time: 25.9631 s Remaining CPU time: 154.037 s 26.29/26.37 c =============================================================================== 26.29/26.37 c | 106610 | 468 478 8912 | 5000 5773 225 | 0.001 % | 26.29/26.40 c | 106710 | 468 478 8912 | 5500 2987 225 | 0.001 % | 26.39/26.42 c | 106860 | 468 478 8912 | 6050 3137 225 | 0.000 % | 26.39/26.45 c | 107085 | 468 478 8912 | 6655 3362 225 | 0.000 % | 26.49/26.51 c | 107422 | 468 478 8912 | 7320 3699 225 | 0.001 % | 26.59/26.60 c | 107928 | 468 478 8912 | 8052 4205 224 | 0.001 % | 26.69/26.73 c | 108687 | 468 478 8912 | 8857 4964 225 | 0.000 % | 26.89/26.94 c | 109826 | 468 478 8912 | 9743 6103 225 | 0.000 % | 27.28/27.31 c | 111534 | 468 478 8912 | 10717 7811 226 | 0.000 % | 27.79/27.83 c | 114096 | 468 478 8912 | 11789 10373 226 | 0.000 % | 28.69/28.75 c | 117940 | 468 478 8912 | 12968 8109 227 | 0.000 % | 30.18/30.27 c | 123708 | 468 478 8912 | 14265 7188 223 | 0.000 % | 32.59/32.65 c | 132357 | 468 478 8912 | 15692 8493 225 | 0.000 % | 36.48/36.58 c | 145331 | 468 478 8912 | 17261 13414 225 | 0.000 % | 42.08/42.17 c | 164793 | 468 478 8912 | 18987 15188 226 | 0.000 % | 50.59/50.66 c | 193985 | 468 478 8912 | 20886 15281 223 | 0.000 % | 66.17/66.21 c | 237774 | 468 478 8912 | 22974 16464 224 | 0.000 % | 90.66/90.77 c | 303459 | 468 478 8912 | 25272 19660 227 | 0.000 % | 134.36/134.46 c | 401985 | 468 478 8912 | 27799 15977 220 | 0.000 % | 181.84/181.97 c There are 0 assigned variables. 0 in cost function. 182.95/183.07 c core #1 182.95/183.07 c core #2 182.95/183.07 c core #3 182.95/183.07 c core #4 182.95/183.07 c core #5 182.95/183.07 c core #6 182.95/183.07 c core #7 182.95/183.07 c core #8 182.95/183.07 c core #9 182.95/183.07 c core #10 182.95/183.07 c core #11 182.95/183.07 c core #12 182.95/183.07 c core #13 182.95/183.07 c core #14 182.95/183.07 c core #15 182.95/183.07 c core #16 182.95/183.07 c core #17 182.95/183.07 c core #18 182.95/183.07 c core #19 182.95/183.07 c core #20 182.95/183.07 c core #21 182.95/183.07 c core #22 182.95/183.07 c core #23 182.95/183.07 c core #24 182.95/183.07 c core #25 182.95/183.07 c core #26 182.95/183.07 c core #27 182.95/183.07 c core #28 182.95/183.07 c core #29 182.95/183.07 c core #30 182.95/183.07 c core #31 182.95/183.07 c core #32 182.95/183.07 c core #33 182.95/183.07 c core #34 182.95/183.07 c core #35 182.95/183.07 c core #36 182.95/183.07 c core #37 182.95/183.07 c core #38 182.95/183.07 c core #39 182.95/183.07 c core #40 182.95/183.07 c core #41 182.95/183.07 c core #42 182.95/183.07 c core #43 182.95/183.07 c core #44 182.95/183.07 c core #45 182.95/183.07 c core #46 182.95/183.07 c core #47 182.95/183.07 c core #48 182.95/183.07 c core #49 182.95/183.07 c core #50 182.95/183.07 c core #51 182.95/183.07 c core #52 182.95/183.07 c core #53 182.95/183.07 c core #54 182.95/183.07 c core #55 182.95/183.07 c core #56 182.95/183.07 c core #57 182.95/183.07 c core #58 182.95/183.07 c core #59 182.95/183.07 c core #60 182.95/183.07 c core #61 182.95/183.07 c core #62 182.95/183.07 c core #63 182.95/183.07 c core #64 182.95/183.07 c core #65 182.95/183.07 c core #66 182.95/183.07 c core #67 182.95/183.07 c core #68 182.95/183.07 c core #69 182.95/183.07 c core #70 182.95/183.07 c core #71 182.95/183.07 c core #72 182.95/183.07 c core #73 182.95/183.07 c core #74 182.95/183.07 c core #75 182.95/183.07 c core #76 182.95/183.07 c core #77 182.95/183.07 c core #78 182.95/183.07 c core #79 182.95/183.07 c core #80 182.95/183.07 c core #81 182.95/183.07 c ============================[ Search Statistics ]============================== 182.95/183.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.95/183.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.95/183.07 c =============================================================================== 182.95/183.07 c | 0 | 962 1028 10876 | 5000 0 nan | 0.000 % | 182.95/183.08 c =============================================================================== 182.95/183.09 c core #82 182.95/183.09 c ============================[ Search Statistics ]============================== 182.95/183.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.95/183.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.95/183.09 c =============================================================================== 182.95/183.09 c | 0 | 978 1029 10908 | 5000 0 nan | 0.000 % | 182.95/183.09 c =============================================================================== 183.05/183.10 c core #83 183.05/183.10 c ============================[ Search Statistics ]============================== 183.05/183.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.05/183.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.05/183.10 c =============================================================================== 183.05/183.10 c | 0 | 992 1030 10934 | 5000 0 nan | 0.000 % | 183.05/183.11 c =============================================================================== 183.05/183.12 c core #84 183.05/183.12 c ============================[ Search Statistics ]============================== 183.05/183.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.05/183.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.05/183.12 c =============================================================================== 183.05/183.12 c | 0 | 1008 1031 10965 | 5000 0 nan | 0.000 % | 183.05/183.12 c =============================================================================== 183.05/183.13 c core #85 183.05/183.13 c ============================[ Search Statistics ]============================== 183.05/183.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.05/183.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.05/183.13 c =============================================================================== 183.05/183.13 c | 0 | 1040 1032 11027 | 5000 0 nan | 0.000 % | 183.05/183.14 c =============================================================================== 183.05/183.15 c core #86 183.05/183.15 c ============================[ Search Statistics ]============================== 183.05/183.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.05/183.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.05/183.15 c =============================================================================== 183.05/183.15 c | 0 | 1048 1033 11043 | 5000 0 nan | 0.000 % | 183.05/183.16 c =============================================================================== 183.05/183.17 c core #87 183.05/183.17 c ============================[ Search Statistics ]============================== 183.05/183.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.05/183.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.05/183.17 c =============================================================================== 183.05/183.17 c | 0 | 1068 1034 11082 | 5000 0 nan | 0.000 % | 183.05/183.17 c =============================================================================== 183.05/183.18 c core #88 183.05/183.18 c ============================[ Search Statistics ]============================== 183.05/183.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.05/183.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.05/183.18 c =============================================================================== 183.05/183.18 c | 0 | 1085 1035 11115 | 5000 0 nan | 0.000 % | 183.05/183.19 c =============================================================================== 183.15/183.20 c core #89 183.15/183.20 c ============================[ Search Statistics ]============================== 183.15/183.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.15/183.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.15/183.20 c =============================================================================== 183.15/183.20 c | 0 | 1100 1036 11143 | 5000 0 nan | 0.000 % | 183.15/183.21 c =============================================================================== 183.15/183.22 c core #90 183.15/183.22 c ============================[ Search Statistics ]============================== 183.15/183.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.15/183.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.15/183.22 c =============================================================================== 183.15/183.22 c | 0 | 1110 1037 11163 | 5000 0 nan | 0.000 % | 183.15/183.22 c =============================================================================== 183.15/183.23 c core #91 183.15/183.23 c ============================[ Search Statistics ]============================== 183.15/183.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.15/183.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.15/183.23 c =============================================================================== 183.15/183.23 c | 0 | 1125 1038 11191 | 5000 0 nan | 0.000 % | 183.15/183.24 c =============================================================================== 183.15/183.25 c core #92 183.15/183.25 c ============================[ Search Statistics ]============================== 183.15/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.15/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.15/183.25 c =============================================================================== 183.15/183.25 c | 0 | 1141 1039 11221 | 5000 0 nan | 0.000 % | 183.15/183.26 c =============================================================================== 183.15/183.27 c core #93 183.15/183.27 c ============================[ Search Statistics ]============================== 183.15/183.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.15/183.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.15/183.27 c =============================================================================== 183.15/183.27 c | 0 | 1184 1040 11303 | 5000 0 nan | 0.000 % | 183.15/183.28 c =============================================================================== 183.15/183.29 c core #94 183.15/183.29 c ============================[ Search Statistics ]============================== 183.15/183.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.15/183.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.15/183.29 c =============================================================================== 183.15/183.29 c | 0 | 1205 1041 11342 | 5000 0 nan | 0.000 % | 183.15/183.30 c =============================================================================== 183.24/183.31 c core #95 183.24/183.31 c ============================[ Search Statistics ]============================== 183.24/183.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.31 c =============================================================================== 183.24/183.31 c | 0 | 1221 1042 11374 | 5000 0 nan | 0.000 % | 183.24/183.32 c | 100 | 1215 1042 11374 | 5500 100 13 | 2.498 % | 183.24/183.32 c =============================================================================== 183.24/183.33 c core #96 183.24/183.33 c ============================[ Search Statistics ]============================== 183.24/183.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.33 c =============================================================================== 183.24/183.33 c | 0 | 1298 1043 11525 | 5000 0 nan | 0.000 % | 183.24/183.35 c | 103 | 1298 1043 11525 | 5500 103 29 | 1.293 % | 183.24/183.36 c | 255 | 1298 1043 11525 | 6050 255 25 | 1.293 % | 183.24/183.37 c | 485 | 1296 1043 11525 | 6655 277 23 | 1.445 % | 183.24/183.39 c =============================================================================== 183.35/183.40 c core #97 183.35/183.40 c ============================[ Search Statistics ]============================== 183.35/183.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.40 c =============================================================================== 183.35/183.40 c | 0 | 1347 1044 11623 | 5000 0 nan | 0.000 % | 183.35/183.42 c =============================================================================== 183.35/183.43 c core #98 183.35/183.43 c ============================[ Search Statistics ]============================== 183.35/183.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.43 c =============================================================================== 183.35/183.43 c | 0 | 1399 1045 11726 | 5000 0 nan | 0.000 % | 183.35/183.44 c =============================================================================== 183.35/183.45 c core #99 183.35/183.45 c ============================[ Search Statistics ]============================== 183.35/183.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.45 c =============================================================================== 183.35/183.45 c | 0 | 1478 1046 11881 | 5000 0 nan | 0.000 % | 183.35/183.46 c | 100 | 1478 1046 11881 | 5500 100 23 | 0.872 % | 183.35/183.48 c | 250 | 1475 1046 11881 | 6050 248 17 | 1.207 % | 183.35/183.49 c =============================================================================== 183.45/183.50 c core #100 183.45/183.50 c ============================[ Search Statistics ]============================== 183.45/183.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.50 c =============================================================================== 183.45/183.50 c | 0 | 1530 1047 11983 | 5000 0 nan | 0.000 % | 183.45/183.52 c | 100 | 1529 1047 11983 | 5500 100 7 | 1.298 % | 183.45/183.53 c =============================================================================== 183.45/183.55 c core #101 183.45/183.55 c ============================[ Search Statistics ]============================== 183.45/183.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.55 c =============================================================================== 183.45/183.55 c | 0 | 1664 1048 12249 | 5000 0 nan | 0.000 % | 183.45/183.57 c | 101 | 1664 1048 12249 | 5500 101 20 | 0.538 % | 183.45/183.58 c | 253 | 1662 1048 12249 | 6050 185 15 | 0.658 % | 183.55/183.61 c =============================================================================== 183.55/183.62 c core #102 183.55/183.62 c ============================[ Search Statistics ]============================== 183.55/183.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.55/183.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.55/183.62 c =============================================================================== 183.55/183.62 c | 0 | 1804 1049 12527 | 5000 0 nan | 0.000 % | 183.55/183.64 c | 100 | 1804 1049 12527 | 5500 100 13 | 0.387 % | 183.55/183.66 c | 252 | 1804 1049 12527 | 6050 252 22 | 0.387 % | 183.55/183.68 c | 480 | 1804 1049 12527 | 6655 480 24 | 0.387 % | 183.65/183.72 c | 818 | 1804 1049 12527 | 7320 818 25 | 0.387 % | 183.65/183.78 c | 1326 | 1804 1049 12527 | 8052 1326 26 | 0.387 % | 183.75/183.88 c | 2086 | 1804 1049 12527 | 8857 2086 30 | 0.387 % | 183.94/184.08 c | 3226 | 1804 1049 12527 | 9743 3226 36 | 0.387 % | 184.25/184.39 c | 4936 | 1804 1049 12527 | 10717 4936 35 | 0.387 % | 184.76/184.87 c | 7498 | 1798 1049 12527 | 11789 7447 38 | 0.718 % | 185.95/186.03 c | 11345 | 1797 1049 12527 | 12968 6211 41 | 0.773 % | 186.95/187.03 c =============================================================================== 187.14/187.26 c core #103 187.14/187.26 c ============================[ Search Statistics ]============================== 187.14/187.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.14/187.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.14/187.26 c =============================================================================== 187.14/187.26 c | 0 | 2018 1050 12953 | 5000 0 nan | 0.000 % | 187.14/187.29 c | 100 | 2018 1050 12953 | 5500 100 48 | 0.247 % | 187.24/187.30 c | 250 | 2018 1050 12953 | 6050 250 43 | 0.247 % | 187.24/187.34 c | 475 | 2018 1050 12953 | 6655 475 47 | 0.247 % | 187.34/187.40 c | 813 | 2018 1050 12953 | 7320 813 47 | 0.247 % | 187.34/187.46 c | 1319 | 2018 1050 12953 | 8052 1319 40 | 0.247 % | 187.45/187.57 c | 2079 | 2018 1050 12953 | 8857 2079 42 | 0.247 % | 187.65/187.75 c | 3223 | 2018 1050 12953 | 9743 3223 42 | 0.247 % | 187.95/188.04 c | 4932 | 2018 1050 12953 | 10717 4932 46 | 0.247 % | 188.64/188.70 c | 7494 | 2018 1050 12953 | 11789 7494 57 | 0.247 % | 189.95/190.03 c | 11338 | 2018 1050 12953 | 12968 11338 74 | 0.247 % | 191.85/191.99 c | 17105 | 2018 1050 12953 | 14265 10527 97 | 0.247 % | 194.75/194.86 c | 25756 | 2018 1050 12953 | 15692 11914 86 | 0.247 % | 199.35/199.42 c | 38733 | 2018 1050 12953 | 17261 8957 81 | 0.247 % | 207.54/207.61 c | 58194 | 2018 1050 12953 | 18987 10914 91 | 0.247 % | 225.94/226.06 c | 87386 | 2018 1050 12953 | 20886 11272 100 | 0.247 % | 251.23/251.37 c | 131176 | 2018 1050 12953 | 22974 12935 86 | 0.247 % | 288.72/288.83 c | 196863 | 2018 1050 12953 | 25272 20581 73 | 0.247 % | 302.52/302.68 c =============================================================================== 307.31/307.47 c core #104 307.31/307.47 c ============================[ Search Statistics ]============================== 307.31/307.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 307.31/307.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 307.31/307.47 c =============================================================================== 307.31/307.47 c | 0 | 2277 1051 13468 | 5000 0 nan | 0.000 % | 307.41/307.54 c | 100 | 2277 1051 13468 | 5500 100 13 | 0.088 % | 307.41/307.57 c | 253 | 2277 1051 13468 | 6050 253 30 | 0.088 % | 307.52/307.61 c | 479 | 2277 1051 13468 | 6655 479 24 | 0.088 % | 307.52/307.65 c | 817 | 2277 1051 13468 | 7320 817 27 | 0.088 % | 307.62/307.72 c | 1324 | 2277 1051 13468 | 8052 1324 26 | 0.088 % | 307.72/307.83 c | 2085 | 2277 1051 13468 | 8857 2085 34 | 0.088 % | 307.93/308.07 c | 3226 | 2277 1051 13468 | 9743 3226 39 | 0.088 % | 308.32/308.45 c | 4935 | 2277 1051 13468 | 10717 4935 40 | 0.088 % | 308.92/309.04 c | 7498 | 2277 1051 13468 | 11789 7498 40 | 0.088 % | 309.92/310.01 c | 11344 | 2277 1051 13468 | 12968 11344 44 | 0.088 % | 311.42/311.55 c | 17110 | 2277 1051 13468 | 14265 10516 57 | 0.088 % | 313.92/314.01 c | 25760 | 2277 1051 13468 | 15692 11988 70 | 0.088 % | 318.82/318.96 c | 38735 | 2277 1051 13468 | 17261 8987 86 | 0.088 % | 327.62/327.72 c =============================================================================== 328.21/328.31 c core #105 328.21/328.31 c ============================[ Search Statistics ]============================== 328.21/328.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 328.21/328.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 328.21/328.31 c =============================================================================== 328.21/328.31 c | 0 | 2444 1052 13802 | 5000 0 nan | 0.000 % | 328.21/328.35 c | 101 | 2444 1052 13802 | 5500 101 68 | 0.082 % | 328.21/328.37 c | 252 | 2444 1052 13802 | 6050 252 57 | 0.082 % | 328.31/328.40 c | 477 | 2444 1052 13802 | 6655 477 63 | 0.082 % | 328.31/328.45 c | 814 | 2444 1052 13802 | 7320 814 58 | 0.082 % | 328.41/328.53 c | 1320 | 2444 1052 13802 | 8052 1320 68 | 0.082 % | 328.51/328.65 c | 2083 | 2444 1052 13802 | 8857 2083 73 | 0.082 % | 328.72/328.84 c | 3223 | 2444 1052 13802 | 9743 3223 69 | 0.082 % | 329.11/329.22 c | 4931 | 2444 1052 13802 | 10717 4931 66 | 0.082 % | 329.61/329.73 c | 7493 | 2444 1052 13802 | 11789 7493 76 | 0.082 % | 330.51/330.64 c | 11338 | 2444 1052 13802 | 12968 11338 82 | 0.082 % | 332.02/332.12 c | 17106 | 2444 1052 13802 | 14265 10490 87 | 0.082 % | 334.61/334.73 c | 25755 | 2444 1052 13802 | 15692 11834 121 | 0.082 % | 340.81/340.95 c | 38729 | 2444 1052 13802 | 17261 8987 162 | 0.082 % | 351.71/351.88 c | 58194 | 2444 1052 13802 | 18987 11033 174 | 0.082 % | 364.20/364.39 c | 87386 | 2444 1052 13802 | 20886 11504 128 | 0.082 % | 381.90/382.03 c | 131175 | 2444 1052 13802 | 22974 12884 106 | 0.082 % | 420.39/420.55 c | 196866 | 2444 1052 13802 | 25272 20223 127 | 0.082 % | 483.58/483.79 c | 295395 | 2444 1052 13802 | 27799 15781 159 | 0.082 % | 601.46/601.70 c | 443185 | 2444 1052 13802 | 30579 16213 135 | 0.082 % | 777.11/777.30 c | 664868 | 2444 1052 13802 | 33637 28305 167 | 0.082 % | 1043.65/1043.97 c | 997399 | 2444 1052 13802 | 37001 25416 130 | 0.082 % | 1511.13/1511.58 c | 1496194 | 2444 1052 13802 | 40701 21005 182 | 0.082 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655877-1276371672/watcher-2655877-1276371672 -o /tmp/evaluation-result-2655877-1276371672/solver-2655877-1276371672 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655877-1276371672.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.02 1.00 3/106 13055 /proc/meminfo: memFree=1720344/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=2752 CPUtime=0 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 307 0 0 0 0 0 0 0 20 0 1 0 12771189 2818048 225 1992294400 134512640 135751879 4286608944 18446744073709551615 135206572 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 688 225 144 303 0 372 0 [startup+0.075827 s] /proc/loadavg: 1.00 1.02 1.00 3/106 13055 /proc/meminfo: memFree=1720344/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=3220 CPUtime=0.07 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 462 0 0 0 7 0 0 0 18 0 1 0 12771189 3297280 369 1992294400 134512640 135751879 4286608944 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 805 369 147 303 0 500 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3220 [startup+0.101828 s] /proc/loadavg: 1.00 1.02 1.00 3/106 13055 /proc/meminfo: memFree=1720344/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=3348 CPUtime=0.09 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 513 0 0 0 9 0 0 0 18 0 1 0 12771189 3428352 420 1992294400 134512640 135751879 4286608944 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 837 420 147 303 0 532 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3348 [startup+0.301844 s] /proc/loadavg: 1.00 1.02 1.00 3/106 13055 /proc/meminfo: memFree=1720344/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=4756 CPUtime=0.29 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 866 0 0 0 29 0 0 0 18 0 1 0 12771189 4870144 773 1992294400 134512640 135751879 4286608944 18446744073709551615 134606593 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 1189 773 147 303 0 884 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4756 [startup+0.701877 s] /proc/loadavg: 1.00 1.02 1.00 3/106 13055 /proc/meminfo: memFree=1720344/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=7584 CPUtime=0.69 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 1554 0 0 0 68 1 0 0 18 0 1 0 12771189 7766016 1461 1992294400 134512640 135751879 4286608944 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 1896 1461 147 303 0 1591 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7584 [startup+1.50094 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13056 /proc/meminfo: memFree=1713144/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=12212 CPUtime=1.49 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 2718 0 0 0 146 3 0 0 19 0 1 0 12771189 12505088 2625 1992294400 134512640 135751879 4286608944 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 3053 2625 147 303 0 2748 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12212 [startup+3.10107 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13056 /proc/meminfo: memFree=1706944/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=20664 CPUtime=3.09 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 4835 0 0 0 302 7 0 0 23 0 1 0 12771189 21159936 4742 1992294400 134512640 135751879 4286608944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 5166 4742 148 303 0 4861 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20664 [startup+6.30133 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13056 /proc/meminfo: memFree=1691072/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=34280 CPUtime=6.29 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 8229 0 0 0 617 12 0 0 25 0 1 0 12771189 35102720 8136 1992294400 134512640 135751879 4286608944 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 8570 8136 148 303 0 8265 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34280 [startup+12.7009 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13058 /proc/meminfo: memFree=1668380/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=54692 CPUtime=12.69 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 13341 0 0 0 1250 19 0 0 25 0 1 0 12771189 56004608 13248 1992294400 134512640 135751879 4286608944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 13673 13248 148 303 0 13368 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54692 [startup+25.5019 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13058 /proc/meminfo: memFree=1616424/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=106800 CPUtime=25.48 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 26360 0 0 0 2510 38 0 0 25 0 1 0 12771189 109363200 26267 1992294400 134512640 135751879 4286608944 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 26700 26267 148 303 0 26395 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 106800 [startup+51.101 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13058 /proc/meminfo: memFree=1525036/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=199232 CPUtime=51.07 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 49432 0 0 0 5037 70 0 0 25 0 1 0 12771189 204013568 49339 1992294400 134512640 135751879 4286608944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 49808 49339 148 303 0 49503 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 199232 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13060 /proc/meminfo: memFree=1388140/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=333592 CPUtime=102.27 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 83031 0 0 0 10106 121 0 0 25 0 1 0 12771189 341598208 82938 1992294400 134512640 135751879 4286608944 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 83398 82938 148 303 0 83093 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 333592 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13062 /proc/meminfo: memFree=1251988/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=470364 CPUtime=162.25 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 117168 0 0 0 16051 174 0 0 25 0 1 0 12771189 481652736 117075 1992294400 134512640 135751879 4286608944 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 117591 117075 148 303 0 117286 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 470364 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13062 /proc/meminfo: memFree=1188996/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=532092 CPUtime=222.24 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 132694 0 0 0 21996 228 0 0 25 0 1 0 12771189 544862208 132573 1992294400 134512640 135751879 4286608944 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 133023 132573 151 303 0 132718 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 532092 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13064 /proc/meminfo: memFree=1142000/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=579660 CPUtime=282.22 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 144556 0 0 0 27951 271 0 0 25 0 1 0 12771189 593571840 144435 1992294400 134512640 135751879 4286608944 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 144915 144435 151 303 0 144610 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 579660 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13066 /proc/meminfo: memFree=1095872/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=625436 CPUtime=342.21 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 156047 0 0 0 33888 333 0 0 25 0 1 0 12771189 640446464 155926 1992294400 134512640 135751879 4286608944 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 156359 155926 151 303 0 156054 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 625436 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13068 /proc/meminfo: memFree=1021968/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=699268 CPUtime=402.2 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 174502 0 0 0 39828 392 0 0 25 0 1 0 12771189 716050432 174381 1992294400 134512640 135751879 4286608944 18446744073709551615 134610989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 174817 174381 151 303 0 174512 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 699268 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13070 /proc/meminfo: memFree=956496/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=764392 CPUtime=462.19 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 190756 0 0 0 45778 441 0 0 25 0 1 0 12771189 782737408 190635 1992294400 134512640 135751879 4286608944 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 191098 190635 151 303 0 190793 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 764392 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13070 /proc/meminfo: memFree=902928/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=818724 CPUtime=522.17 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 204282 0 0 0 51736 481 0 0 25 0 1 0 12771189 838373376 204161 1992294400 134512640 135751879 4286608944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 204681 204161 151 303 0 204376 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 818724 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13072 /proc/meminfo: memFree=845144/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=875604 CPUtime=582.16 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 218492 0 0 0 57697 519 0 0 25 0 1 0 12771189 896618496 218371 1992294400 134512640 135751879 4286608944 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 218901 218371 151 303 0 218596 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 875604 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13074 /proc/meminfo: memFree=781904/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=938300 CPUtime=642.15 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 234138 0 0 0 63655 560 0 0 25 0 1 0 12771189 960819200 234017 1992294400 134512640 135751879 4286608944 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 234575 234017 151 303 0 234270 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 938300 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13076 /proc/meminfo: memFree=728336/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=992440 CPUtime=702.13 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 247625 0 0 0 69616 597 0 0 25 0 1 0 12771189 1016258560 247504 1992294400 134512640 135751879 4286608944 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 248110 247504 151 303 0 247805 0 Current children cumulated CPU time (s) 702.13 Current children cumulated vsize (KiB) 992440 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13078 /proc/meminfo: memFree=676504/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1043724 CPUtime=762.12 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 260400 0 0 0 75581 631 0 0 25 0 1 0 12771189 1068773376 260279 1992294400 134512640 135751879 4286608944 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 260931 260279 151 303 0 260626 0 Current children cumulated CPU time (s) 762.12 Current children cumulated vsize (KiB) 1043724 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13078 /proc/meminfo: memFree=624548/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1096144 CPUtime=822.1 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 273496 0 0 0 81539 671 0 0 25 0 1 0 12771189 1122451456 273375 1992294400 134512640 135751879 4286608944 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 274036 273375 151 303 0 273731 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 1096144 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13080 /proc/meminfo: memFree=576684/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1143832 CPUtime=882.08 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 285390 0 0 0 87500 708 0 0 25 0 1 0 12771189 1171283968 285269 1992294400 134512640 135751879 4286608944 18446744073709551615 134611230 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 285958 285269 151 303 0 285653 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 1143832 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13082 /proc/meminfo: memFree=530060/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1190660 CPUtime=942.07 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 297072 0 0 0 93465 742 0 0 25 0 1 0 12771189 1219235840 296951 1992294400 134512640 135751879 4286608944 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 297665 296951 151 303 0 297360 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 1190660 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13084 /proc/meminfo: memFree=482196/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1238112 CPUtime=1002.05 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 308899 0 0 0 99421 784 0 0 25 0 1 0 12771189 1267826688 308778 1992294400 134512640 135751879 4286608944 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 309528 308778 151 303 0 309223 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 1238112 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13086 /proc/meminfo: memFree=427264/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1294172 CPUtime=1062.04 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 322898 0 0 0 105371 833 0 0 25 0 1 0 12771189 1325232128 322777 1992294400 134512640 135751879 4286608944 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 323543 322777 151 303 0 323238 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 1294172 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13086 /proc/meminfo: memFree=365388/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1355532 CPUtime=1122.03 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 338235 0 0 0 111328 875 0 0 25 0 1 0 12771189 1388064768 338114 1992294400 134512640 135751879 4286608944 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 338883 338114 151 303 0 338578 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 1355532 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13088 /proc/meminfo: memFree=307232/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1413688 CPUtime=1182.01 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 352774 0 0 0 117288 913 0 0 25 0 1 0 12771189 1447616512 352653 1992294400 134512640 135751879 4286608944 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 353422 352653 151 303 0 353117 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 1413688 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13099 /proc/meminfo: memFree=254408/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1465832 CPUtime=1241.98 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 365752 0 0 0 123250 948 0 0 25 0 1 0 12771189 1501011968 365631 1992294400 134512640 135751879 4286608944 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 366458 365631 151 303 0 366153 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1465832 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13101 /proc/meminfo: memFree=202204/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1517364 CPUtime=1301.98 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 378631 0 0 0 129217 981 0 0 25 0 1 0 12771189 1553780736 378510 1992294400 134512640 135751879 4286608944 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 379341 378510 151 303 0 379036 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1517364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13103 /proc/meminfo: memFree=146776/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1573364 CPUtime=1361.95 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 392609 0 0 0 135180 1015 0 0 25 0 1 0 12771189 1611124736 392488 1992294400 134512640 135751879 4286608944 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 393341 392488 151 303 0 393036 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1573364 [startup+1422.31 s] /proc/loadavg: 1.07 1.02 1.00 2/107 13103 /proc/meminfo: memFree=93704/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1625916 CPUtime=1421.95 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 405750 0 0 0 141139 1056 0 0 25 0 1 0 12771189 1664937984 405629 1992294400 134512640 135751879 4286608944 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 406479 405629 151 303 0 406174 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1625916 [startup+1482.3 s] /proc/loadavg: 1.09 1.03 1.00 2/107 13105 /proc/meminfo: memFree=31208/2059040 swapFree=4165008/4192956 [pid=13055] ppid=13053 vsize=1688844 CPUtime=1481.93 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 421480 0 0 0 147098 1095 0 0 25 0 1 0 12771189 1729376256 421359 1992294400 134512640 135751879 4286608944 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 422211 421359 151 303 0 421906 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1688844 [startup+1542.3 s] /proc/loadavg: 1.15 1.05 1.01 2/107 13107 /proc/meminfo: memFree=9852/2059040 swapFree=4142932/4192956 [pid=13055] ppid=13053 vsize=1735508 CPUtime=1541.92 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 433090 0 0 0 153067 1125 0 0 25 0 1 0 12771189 1777160192 432969 1992294400 134512640 135751879 4286608944 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 433877 432969 151 303 0 433572 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1735508 [startup+1602.3 s] /proc/loadavg: 1.17 1.07 1.01 2/107 13109 /proc/meminfo: memFree=9908/2059040 swapFree=4142076/4192956 [pid=13055] ppid=13053 vsize=1797072 CPUtime=1601.9 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 448487 0 0 0 159025 1165 0 0 25 0 1 0 12771189 1840201728 448366 1992294400 134512640 135751879 4286608944 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 449268 448366 151 303 0 448963 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1797072 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1647.81 s] /proc/loadavg: 1.08 1.06 1.01 2/107 13109 /proc/meminfo: memFree=10036/2059040 swapFree=4142016/4192956 [pid=13055] ppid=13053 vsize=1843208 CPUtime=1647.41 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4202496 459991 0 0 0 163547 1194 0 0 25 0 1 0 12771189 1887444992 459870 1992294400 134512640 135751879 4286608944 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13055/statm: 460802 459870 151 303 0 460497 0 Current children cumulated CPU time (s) 1647.41 Current children cumulated vsize (KiB) 1843208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1647.91 s] /proc/loadavg: 1.08 1.06 1.01 2/107 13109 /proc/meminfo: memFree=10036/2059040 swapFree=4142016/4192956 [pid=13055] ppid=13053 vsize=0 CPUtime=1647.5 /proc/13055/stat : 13055 (wbo1.4b) R 13053 13055 12776 0 -1 4203524 459991 0 0 0 163547 1203 0 0 25 0 1 0 12771189 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13055/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1647.5 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1647.99 CPU time (s): 1647.59 CPU user time (s): 1635.47 CPU system time (s): 12.1202 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 1843208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1635.47 system time used= 12.1202 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459991 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= 10 involuntary context switches= 3673 runsolver used 2.74058 second user time and 7.78182 second system time The end
Begin job on node003 at 2010-06-12 21:41:13 IDJOB=2655877 IDBENCH=1959 IDSOLVER=1161 FILE ID=node003/2655877-1276371672 PBS_JOBID= 11173227 Free space on /tmp= 62556 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655877-1276371672/watcher-2655877-1276371672 -o /tmp/evaluation-result-2655877-1276371672/solver-2655877-1276371672 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655877-1276371672.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3ddf6338b9f9cf35560b94c856457c56 RANDOM SEED=1907634362 node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1720748 kB Buffers: 104532 kB Cached: 132576 kB SwapCached: 1344 kB Active: 99248 kB Inactive: 170744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1720748 kB SwapTotal: 4192956 kB SwapFree: 4165008 kB Dirty: 2696 kB Writeback: 0 kB AnonPages: 31448 kB Mapped: 15428 kB Slab: 46408 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182480 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node003 at 2010-06-12 22:08:42