Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1737.65 | 1738.09 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb |
MD5SUM | 9cfc9eabeae08d1064da7d7b87db93a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 192 |
Best CPU time to get the best result obtained on this benchmark | 1789.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 185 |
Optimality of the best value was proved | NO |
Number of variables | 473 |
Total number of constraints | 473 |
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 | 473 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 473 |
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 | 473 |
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 | 473 |
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-2655875-1276365545.opb. 0.00/0.00 c Instance file HOME/instance-2655875-1276365545.opb 0.00/0.00 c File size is 43304 bytes. 0.00/0.00 c Highest Coefficient sum: 259 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: 473 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 473 | 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 | 473 473 4279 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 233 0.00/0.01 o 233 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 473 474 4752 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 230 0.00/0.01 o 230 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 473 475 5225 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 228 0.00/0.01 o 228 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 | 473 476 5698 | 5000 0 nan | 0.000 % | 0.02/0.02 c | 100 | 473 476 5698 | 5500 100 239 | 0.000 % | 0.02/0.04 c | 251 | 473 476 5698 | 6050 251 239 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 220 0.02/0.04 o 220 0.02/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 251 | 473 477 6171 | 5000 251 239 | 0.000 % | 0.02/0.05 c | 352 | 473 477 6171 | 5500 352 236 | 0.001 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 218 0.02/0.06 o 218 0.02/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 360 | 473 478 6644 | 5000 360 236 | 0.001 % | 0.02/0.07 c | 460 | 473 478 6644 | 5500 460 234 | 0.001 % | 0.02/0.09 c | 611 | 473 478 6644 | 6050 611 233 | 0.001 % | 0.09/0.12 c | 838 | 473 478 6644 | 6655 838 232 | 0.000 % | 0.09/0.17 c | 1176 | 473 478 6644 | 7320 1176 232 | 0.001 % | 0.19/0.23 c | 1682 | 473 478 6644 | 8052 1682 231 | 0.001 % | 0.29/0.36 c | 2443 | 473 478 6644 | 8857 2443 231 | 0.000 % | 0.49/0.54 c | 3582 | 473 478 6644 | 9743 3582 231 | 0.000 % | 0.79/0.86 c | 5290 | 473 478 6644 | 10717 5290 230 | 0.000 % | 1.19/1.24 c | 7852 | 473 478 6644 | 11789 7852 229 | 0.000 % | 1.89/1.98 c | 11697 | 473 478 6644 | 12968 11697 229 | 0.000 % | 1.89/1.98 c =============================================================================== 1.89/1.98 c New solution: 217 1.89/1.98 o 217 1.89/1.98 c Elapsed CPU time: 1.9487 s Remaining CPU time: 178.051 s 1.89/1.98 c =============================================================================== 1.89/1.98 c | 11718 | 473 479 7117 | 5000 11718 229 | 0.000 % | 1.99/2.02 c =============================================================================== 1.99/2.02 c New solution: 216 1.99/2.02 o 216 1.99/2.02 c Elapsed CPU time: 1.9887 s Remaining CPU time: 178.011 s 1.99/2.02 c =============================================================================== 1.99/2.02 c | 11797 | 473 480 7590 | 5000 3009 227 | 0.000 % | 1.99/2.04 c | 11897 | 473 480 7590 | 5500 3109 227 | 0.000 % | 1.99/2.06 c | 12047 | 473 480 7590 | 6050 3259 227 | 0.001 % | 1.99/2.09 c | 12273 | 473 480 7590 | 6655 3485 227 | 0.002 % | 2.10/2.14 c | 12610 | 473 480 7590 | 7320 3822 227 | 0.000 % | 2.20/2.22 c | 13116 | 473 480 7590 | 8052 4328 227 | 0.001 % | 2.29/2.34 c | 13875 | 473 480 7590 | 8857 5087 227 | 0.000 % | 2.49/2.53 c | 15015 | 473 480 7590 | 9743 6227 228 | 0.000 % | 2.79/2.84 c | 16723 | 473 480 7590 | 10717 7935 228 | 0.000 % | 3.29/3.31 c | 19285 | 473 480 7590 | 11789 10497 229 | 0.000 % | 4.19/4.22 c | 23129 | 473 480 7590 | 12968 8237 229 | 0.000 % | 5.69/5.75 c | 28896 | 473 480 7590 | 14265 7310 233 | 0.000 % | 8.38/8.45 c | 37546 | 473 480 7590 | 15692 8618 232 | 0.000 % | 12.79/12.85 c | 50521 | 473 480 7590 | 17261 13534 230 | 0.000 % | 19.79/19.83 c | 69982 | 473 480 7590 | 18987 15311 232 | 0.000 % | 33.28/33.38 c | 99174 | 473 480 7590 | 20886 15388 231 | 0.000 % | 47.68/47.77 c | 142964 | 473 480 7590 | 22974 16533 231 | 0.000 % | 77.47/77.50 c | 208649 | 473 480 7590 | 25272 20538 230 | 0.000 % | 136.05/136.12 c | 307175 | 473 480 7590 | 27799 17760 237 | 0.000 % | 181.64/181.74 c There are 0 assigned variables. 0 in cost function. 182.64/182.79 c core #1 182.64/182.79 c core #2 182.64/182.79 c core #3 182.64/182.79 c core #4 182.64/182.79 c core #5 182.64/182.79 c core #6 182.64/182.79 c core #7 182.64/182.79 c core #8 182.64/182.79 c core #9 182.64/182.79 c core #10 182.64/182.79 c core #11 182.64/182.79 c core #12 182.64/182.79 c core #13 182.64/182.79 c core #14 182.64/182.79 c core #15 182.64/182.79 c core #16 182.64/182.79 c core #17 182.64/182.79 c core #18 182.64/182.79 c core #19 182.64/182.79 c core #20 182.64/182.79 c core #21 182.64/182.79 c core #22 182.64/182.79 c core #23 182.64/182.79 c core #24 182.64/182.79 c core #25 182.64/182.79 c core #26 182.64/182.79 c core #27 182.64/182.79 c core #28 182.64/182.79 c core #29 182.64/182.79 c core #30 182.64/182.79 c core #31 182.64/182.79 c core #32 182.64/182.79 c core #33 182.64/182.79 c core #34 182.64/182.79 c core #35 182.64/182.79 c core #36 182.64/182.79 c core #37 182.64/182.79 c core #38 182.64/182.79 c core #39 182.64/182.79 c core #40 182.64/182.79 c core #41 182.64/182.79 c core #42 182.64/182.79 c core #43 182.64/182.79 c core #44 182.64/182.79 c core #45 182.64/182.79 c core #46 182.64/182.79 c core #47 182.64/182.79 c core #48 182.64/182.79 c core #49 182.64/182.79 c core #50 182.64/182.79 c core #51 182.64/182.79 c core #52 182.64/182.79 c core #53 182.64/182.79 c core #54 182.64/182.79 c core #55 182.64/182.79 c core #56 182.64/182.79 c core #57 182.64/182.79 c core #58 182.64/182.79 c core #59 182.64/182.79 c core #60 182.64/182.79 c core #61 182.64/182.79 c core #62 182.64/182.79 c core #63 182.64/182.79 c core #64 182.64/182.79 c core #65 182.64/182.79 c core #66 182.64/182.79 c core #67 182.64/182.79 c core #68 182.64/182.79 c core #69 182.64/182.79 c core #70 182.64/182.79 c core #71 182.64/182.79 c core #72 182.64/182.79 c core #73 182.64/182.79 c core #74 182.64/182.79 c core #75 182.64/182.79 c core #76 182.64/182.79 c core #77 182.64/182.79 c core #78 182.64/182.79 c core #79 182.64/182.79 c core #80 182.64/182.79 c core #81 182.64/182.79 c core #82 182.64/182.79 c core #83 182.64/182.79 c core #84 182.64/182.79 c core #85 182.64/182.79 c core #86 182.64/182.79 c core #87 182.64/182.79 c core #88 182.64/182.79 c core #89 182.64/182.79 c core #90 182.64/182.79 c ============================[ Search Statistics ]============================== 182.64/182.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.79 c =============================================================================== 182.64/182.79 c | 0 | 1013 1044 9642 | 5000 0 nan | 0.000 % | 182.74/182.80 c =============================================================================== 182.74/182.81 c core #91 182.74/182.81 c ============================[ Search Statistics ]============================== 182.74/182.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.81 c =============================================================================== 182.74/182.81 c | 0 | 1037 1045 9686 | 5000 0 nan | 0.000 % | 182.74/182.81 c =============================================================================== 182.74/182.82 c core #92 182.74/182.82 c ============================[ Search Statistics ]============================== 182.74/182.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.82 c =============================================================================== 182.74/182.82 c | 0 | 1053 1046 9716 | 5000 0 nan | 0.000 % | 182.74/182.83 c =============================================================================== 182.74/182.84 c core #93 182.74/182.84 c ============================[ Search Statistics ]============================== 182.74/182.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.84 c =============================================================================== 182.74/182.84 c | 0 | 1070 1047 9746 | 5000 0 nan | 0.000 % | 182.74/182.84 c =============================================================================== 182.74/182.85 c core #94 182.74/182.85 c ============================[ Search Statistics ]============================== 182.74/182.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.85 c =============================================================================== 182.74/182.85 c | 0 | 1084 1048 9774 | 5000 0 nan | 0.000 % | 182.74/182.86 c =============================================================================== 182.74/182.87 c core #95 182.74/182.87 c ============================[ Search Statistics ]============================== 182.74/182.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.87 c =============================================================================== 182.74/182.87 c | 0 | 1095 1049 9796 | 5000 0 nan | 0.000 % | 182.74/182.87 c =============================================================================== 182.74/182.88 c core #96 182.74/182.88 c ============================[ Search Statistics ]============================== 182.74/182.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.88 c =============================================================================== 182.74/182.88 c | 0 | 1105 1050 9815 | 5000 0 nan | 0.000 % | 182.74/182.89 c =============================================================================== 182.84/182.90 c core #97 182.84/182.90 c ============================[ Search Statistics ]============================== 182.84/182.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.90 c =============================================================================== 182.84/182.90 c | 0 | 1123 1051 9850 | 5000 0 nan | 0.000 % | 182.84/182.91 c =============================================================================== 182.84/182.92 c core #98 182.84/182.92 c ============================[ Search Statistics ]============================== 182.84/182.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.92 c =============================================================================== 182.84/182.92 c | 0 | 1141 1052 9886 | 5000 0 nan | 0.000 % | 182.84/182.93 c =============================================================================== 182.84/182.94 c core #99 182.84/182.94 c ============================[ Search Statistics ]============================== 182.84/182.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.94 c =============================================================================== 182.84/182.94 c | 0 | 1164 1053 9930 | 5000 0 nan | 0.000 % | 182.84/182.94 c =============================================================================== 182.84/182.95 c core #100 182.84/182.95 c ============================[ Search Statistics ]============================== 182.84/182.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.95 c =============================================================================== 182.84/182.95 c | 0 | 1195 1054 9990 | 5000 0 nan | 0.000 % | 182.84/182.96 c =============================================================================== 182.84/182.97 c core #101 182.84/182.97 c ============================[ Search Statistics ]============================== 182.84/182.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.97 c =============================================================================== 182.84/182.97 c | 0 | 1228 1055 10056 | 5000 0 nan | 0.000 % | 182.84/182.98 c | 100 | 1227 1055 10056 | 5500 100 7 | 0.889 % | 182.84/182.99 c =============================================================================== 182.94/183.00 c core #102 182.94/183.00 c ============================[ Search Statistics ]============================== 182.94/183.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.00 c =============================================================================== 182.94/183.00 c | 0 | 1254 1056 10108 | 5000 0 nan | 0.000 % | 182.94/183.01 c =============================================================================== 182.94/183.02 c core #103 182.94/183.02 c ============================[ Search Statistics ]============================== 182.94/183.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.02 c =============================================================================== 182.94/183.02 c | 0 | 1266 1057 10132 | 5000 0 nan | 0.000 % | 182.94/183.03 c =============================================================================== 182.94/183.04 c core #104 182.94/183.04 c ============================[ Search Statistics ]============================== 182.94/183.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.04 c =============================================================================== 182.94/183.04 c | 0 | 1288 1058 10176 | 5000 0 nan | 0.000 % | 182.94/183.05 c | 100 | 1278 1058 10176 | 5500 100 11 | 5.393 % | 182.94/183.05 c =============================================================================== 182.94/183.06 c core #105 182.94/183.06 c ============================[ Search Statistics ]============================== 182.94/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.06 c =============================================================================== 182.94/183.06 c | 0 | 1319 1059 10238 | 5000 0 nan | 0.000 % | 182.94/183.08 c =============================================================================== 182.94/183.09 c core #106 182.94/183.09 c ============================[ Search Statistics ]============================== 182.94/183.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.09 c =============================================================================== 182.94/183.09 c | 0 | 1383 1060 10364 | 5000 0 nan | 0.000 % | 182.94/183.10 c =============================================================================== 183.04/183.11 c core #107 183.04/183.11 c ============================[ Search Statistics ]============================== 183.04/183.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.11 c =============================================================================== 183.04/183.11 c | 0 | 1398 1061 10393 | 5000 0 nan | 0.000 % | 183.04/183.12 c | 101 | 1397 1061 10393 | 5500 101 16 | 1.068 % | 183.04/183.13 c | 251 | 1397 1061 10393 | 6050 251 16 | 1.068 % | 183.04/183.13 c =============================================================================== 183.04/183.14 c core #108 183.04/183.14 c ============================[ Search Statistics ]============================== 183.04/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.14 c =============================================================================== 183.04/183.14 c | 0 | 1408 1062 10413 | 5000 0 nan | 0.000 % | 183.04/183.15 c =============================================================================== 183.04/183.16 c core #109 183.04/183.16 c ============================[ Search Statistics ]============================== 183.04/183.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.16 c =============================================================================== 183.04/183.16 c | 0 | 1435 1063 10466 | 5000 0 nan | 0.000 % | 183.04/183.18 c | 101 | 1434 1063 10466 | 5500 101 10 | 0.486 % | 183.04/183.18 c | 252 | 1434 1063 10466 | 6050 252 10 | 0.486 % | 183.14/183.20 c | 477 | 1430 1063 10466 | 6655 472 12 | 0.763 % | 183.14/183.21 c =============================================================================== 183.14/183.23 c core #110 183.14/183.23 c ============================[ Search Statistics ]============================== 183.14/183.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.23 c =============================================================================== 183.14/183.23 c | 0 | 1493 1064 10582 | 5000 0 nan | 0.000 % | 183.14/183.25 c | 100 | 1464 1064 10582 | 5500 100 18 | 2.535 % | 183.14/183.25 c =============================================================================== 183.14/183.26 c core #111 183.14/183.26 c ============================[ Search Statistics ]============================== 183.14/183.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.26 c =============================================================================== 183.14/183.26 c | 0 | 1546 1065 10688 | 5000 0 nan | 0.000 % | 183.14/183.28 c | 100 | 1546 1065 10688 | 5500 100 11 | 0.387 % | 183.14/183.29 c | 250 | 1546 1065 10688 | 6050 250 11 | 0.387 % | 183.24/183.30 c =============================================================================== 183.24/183.31 c core #112 183.24/183.31 c ============================[ Search Statistics ]============================== 183.24/183.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.32 c =============================================================================== 183.24/183.32 c | 0 | 1602 1066 10799 | 5000 0 nan | 0.000 % | 183.24/183.33 c | 100 | 1596 1066 10799 | 5500 100 11 | 0.996 % | 183.24/183.34 c | 250 | 1594 1066 10799 | 6050 250 10 | 1.494 % | 183.24/183.36 c | 475 | 1583 1066 10799 | 6655 472 15 | 1.494 % | 183.24/183.38 c | 812 | 1583 1066 10799 | 7320 809 20 | 1.494 % | 183.34/183.42 c | 1320 | 1583 1066 10799 | 8052 1317 22 | 1.494 % | 183.34/183.48 c | 2080 | 1563 1066 10799 | 8857 2076 19 | 3.236 % | 183.44/183.51 c =============================================================================== 183.44/183.52 c core #113 183.44/183.52 c ============================[ Search Statistics ]============================== 183.44/183.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.52 c =============================================================================== 183.44/183.52 c | 0 | 1720 1067 11034 | 5000 0 nan | 0.000 % | 183.44/183.54 c | 101 | 1720 1067 11034 | 5500 101 13 | 0.232 % | 183.44/183.56 c | 251 | 1720 1067 11034 | 6050 251 16 | 0.232 % | 183.44/183.58 c | 476 | 1720 1067 11034 | 6655 476 20 | 0.232 % | 183.55/183.62 c | 815 | 1720 1067 11034 | 7320 815 23 | 0.232 % | 183.55/183.67 c | 1321 | 1720 1067 11034 | 8052 1321 30 | 0.232 % | 183.65/183.73 c | 2080 | 1720 1067 11034 | 8857 2080 30 | 0.232 % | 183.74/183.87 c | 3222 | 1720 1067 11034 | 9743 3222 30 | 0.232 % | 184.04/184.14 c | 4930 | 1720 1067 11034 | 10717 4930 35 | 0.232 % | 184.53/184.62 c | 7492 | 1707 1067 11034 | 11789 7402 37 | 1.044 % | 184.53/184.63 c =============================================================================== 184.65/184.72 c core #114 184.65/184.72 c ============================[ Search Statistics ]============================== 184.65/184.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.72 c =============================================================================== 184.65/184.72 c | 0 | 1874 1068 11341 | 5000 0 nan | 0.000 % | 184.65/184.75 c | 101 | 1874 1068 11341 | 5500 101 17 | 0.160 % | 184.65/184.76 c | 252 | 1874 1068 11341 | 6050 252 17 | 0.160 % | 184.65/184.77 c | 478 | 1874 1068 11341 | 6655 478 18 | 0.160 % | 184.65/184.80 c | 815 | 1874 1068 11341 | 7320 815 19 | 0.160 % | 184.74/184.83 c | 1321 | 1874 1068 11341 | 8052 1321 20 | 0.160 % | 184.84/184.90 c | 2080 | 1874 1068 11341 | 8857 2080 21 | 0.160 % | 184.94/185.05 c | 3220 | 1874 1068 11341 | 9743 3220 31 | 0.160 % | 185.14/185.25 c | 4929 | 1874 1068 11341 | 10717 4929 36 | 0.160 % | 185.54/185.60 c | 7491 | 1874 1068 11341 | 11789 7491 37 | 0.160 % | 186.24/186.36 c | 11335 | 1874 1068 11341 | 12968 11335 41 | 0.160 % | 187.95/188.10 c | 17101 | 1874 1068 11341 | 14265 10552 53 | 0.160 % | 190.44/190.55 c | 25753 | 1874 1068 11341 | 15692 11986 56 | 0.160 % | 194.84/194.99 c | 38728 | 1874 1068 11341 | 17261 9113 61 | 0.160 % | 200.74/200.87 c | 58189 | 1874 1068 11341 | 18987 11179 44 | 0.160 % | 213.93/214.05 c | 87383 | 1874 1068 11341 | 20886 11642 89 | 0.160 % | 236.63/236.73 c | 131174 | 1874 1068 11341 | 22974 13340 69 | 0.160 % | 250.82/251.00 c =============================================================================== 256.23/256.39 c core #115 256.23/256.39 c ============================[ Search Statistics ]============================== 256.23/256.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.23/256.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.23/256.39 c =============================================================================== 256.23/256.39 c | 0 | 2193 1069 11976 | 5000 0 nan | 0.000 % | 256.33/256.43 c | 100 | 2193 1069 11976 | 5500 100 20 | 0.000 % | 256.33/256.45 c | 251 | 2193 1069 11976 | 6050 251 23 | 0.000 % | 256.33/256.48 c | 476 | 2192 1069 11976 | 6655 473 26 | 0.046 % | 256.42/256.51 c | 815 | 2192 1069 11976 | 7320 812 31 | 0.046 % | 256.42/256.57 c | 1321 | 2190 1069 11976 | 8052 1311 30 | 0.137 % | 256.52/256.68 c | 2082 | 2190 1069 11976 | 8857 2072 37 | 0.137 % | 256.72/256.82 c | 3221 | 2190 1069 11976 | 9743 3211 40 | 0.137 % | 257.02/257.13 c | 4929 | 2190 1069 11976 | 10717 4919 49 | 0.137 % | 257.62/257.76 c | 7492 | 2190 1069 11976 | 11789 7482 55 | 0.137 % | 258.62/258.76 c | 11346 | 2190 1069 11976 | 12968 11336 64 | 0.137 % | 260.32/260.40 c | 17114 | 2190 1069 11976 | 14265 10537 73 | 0.137 % | 263.02/263.12 c | 25765 | 2190 1069 11976 | 15692 11857 78 | 0.137 % | 268.12/268.21 c | 38739 | 2190 1069 11976 | 17261 8970 84 | 0.137 % | 275.51/275.68 c | 58200 | 2189 1069 11976 | 18987 10856 76 | 0.182 % | 279.41/279.57 c =============================================================================== 281.01/281.19 c core #116 281.01/281.19 c ============================[ Search Statistics ]============================== 281.01/281.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 281.01/281.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 281.01/281.19 c =============================================================================== 281.01/281.19 c | 0 | 2352 1070 12294 | 5000 0 nan | 0.000 % | 281.11/281.23 c | 101 | 2352 1070 12294 | 5500 101 23 | 0.000 % | 281.11/281.24 c | 251 | 2352 1070 12294 | 6050 251 21 | 0.000 % | 281.11/281.26 c | 477 | 2352 1070 12294 | 6655 477 20 | 0.000 % | 281.11/281.29 c | 814 | 2352 1070 12294 | 7320 814 20 | 0.000 % | 281.22/281.35 c | 1323 | 2352 1070 12294 | 8052 1323 26 | 0.000 % | 281.31/281.43 c | 2082 | 2352 1070 12294 | 8857 2082 29 | 0.000 % | 281.43/281.58 c | 3225 | 2352 1070 12294 | 9743 3225 33 | 0.000 % | 281.71/281.83 c | 4935 | 2352 1070 12294 | 10717 4935 37 | 0.000 % | 282.12/282.21 c | 7497 | 2352 1070 12294 | 11789 7497 34 | 0.000 % | 283.02/283.18 c | 11343 | 2352 1070 12294 | 12968 11343 37 | 0.000 % | 284.22/284.38 c | 17109 | 2351 1070 12294 | 14265 10003 46 | 0.043 % | 286.82/286.91 c | 25758 | 2351 1070 12294 | 15692 11453 50 | 0.043 % | 291.01/291.18 c | 38734 | 2351 1070 12294 | 17261 8650 51 | 0.043 % | 295.82/295.97 c =============================================================================== 297.01/297.16 c core #117 297.01/297.16 c ============================[ Search Statistics ]============================== 297.01/297.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 297.01/297.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 297.01/297.16 c =============================================================================== 297.01/297.16 c | 0 | 2519 1071 12628 | 5000 0 nan | 0.000 % | 297.01/297.18 c | 100 | 2519 1071 12628 | 5500 100 29 | 0.000 % | 297.01/297.19 c | 250 | 2519 1071 12628 | 6050 250 22 | 0.000 % | 297.11/297.24 c | 479 | 2519 1071 12628 | 6655 479 37 | 0.000 % | 297.11/297.27 c | 816 | 2519 1071 12628 | 7320 816 35 | 0.000 % | 297.22/297.32 c | 1328 | 2519 1071 12628 | 8052 1328 39 | 0.000 % | 297.22/297.37 c | 2088 | 2519 1071 12628 | 8857 2088 32 | 0.000 % | 297.41/297.54 c | 3232 | 2519 1071 12628 | 9743 3232 41 | 0.000 % | 297.71/297.84 c | 4942 | 2519 1071 12628 | 10717 4942 59 | 0.000 % | 298.22/298.30 c | 7504 | 2519 1071 12628 | 11789 7504 80 | 0.000 % | 298.91/299.01 c | 11349 | 2519 1071 12628 | 12968 11349 85 | 0.000 % | 300.01/300.18 c | 17121 | 2519 1071 12628 | 14265 10566 93 | 0.000 % | 301.91/302.02 c | 25770 | 2519 1071 12628 | 15692 11949 109 | 0.000 % | 306.82/306.94 c | 38744 | 2519 1071 12628 | 17261 8745 185 | 0.000 % | 312.22/312.37 c | 58208 | 2519 1071 12628 | 18987 10661 115 | 0.000 % | 324.21/324.31 c | 87402 | 2519 1071 12628 | 20886 10872 124 | 0.000 % | 347.00/347.19 c | 131191 | 2519 1071 12628 | 22974 12319 149 | 0.000 % | 376.69/376.81 c | 196876 | 2519 1071 12628 | 25272 19131 174 | 0.000 % | 429.18/429.38 c | 295403 | 2519 1071 12628 | 27799 14581 118 | 0.000 % | 509.96/510.11 c | 443195 | 2519 1071 12628 | 30579 15825 104 | 0.000 % | 676.92/677.13 c | 664878 | 2519 1071 12628 | 33637 15619 182 | 0.000 % | 988.04/988.30 c | 997404 | 2519 1071 12628 | 37001 28696 183 | 0.000 % | 1574.80/1575.26 c | 1496197 | 2519 1071 12628 | 40701 31465 170 | 0.000 % |
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-2655875-1276365545/watcher-2655875-1276365545 -o /tmp/evaluation-result-2655875-1276365545/solver-2655875-1276365545 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655875-1276365545.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.07 1.02 1.00 3/107 12873 /proc/meminfo: memFree=1842680/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=2752 CPUtime=0 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 308 0 0 0 0 0 0 0 20 0 1 0 10210199 2818048 226 1992294400 134512640 135751879 4287082576 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 688 226 144 303 0 372 0 [startup+0.0240241 s] /proc/loadavg: 1.07 1.02 1.00 3/107 12873 /proc/meminfo: memFree=1842680/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=2836 CPUtime=0.02 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 367 0 0 0 2 0 0 0 20 0 1 0 10210199 2904064 274 1992294400 134512640 135751879 4287082576 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 709 274 146 303 0 404 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2836 [startup+0.10103 s] /proc/loadavg: 1.07 1.02 1.00 3/107 12873 /proc/meminfo: memFree=1842680/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=3480 CPUtime=0.09 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 523 0 0 0 9 0 0 0 20 0 1 0 10210199 3563520 430 1992294400 134512640 135751879 4287082576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 870 430 147 303 0 565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3480 [startup+0.301048 s] /proc/loadavg: 1.07 1.02 1.00 3/107 12873 /proc/meminfo: memFree=1842680/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=4892 CPUtime=0.29 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 881 0 0 0 29 0 0 0 20 0 1 0 10210199 5009408 788 1992294400 134512640 135751879 4287082576 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 1223 788 147 303 0 918 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4892 [startup+0.701083 s] /proc/loadavg: 1.07 1.02 1.00 3/107 12873 /proc/meminfo: memFree=1842680/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=7348 CPUtime=0.69 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 1505 0 0 0 68 1 0 0 21 0 1 0 10210199 7524352 1412 1992294400 134512640 135751879 4287082576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 1837 1412 147 303 0 1532 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7348 [startup+1.50116 s] /proc/loadavg: 1.07 1.02 1.00 2/108 12874 /proc/meminfo: memFree=1835728/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=12256 CPUtime=1.49 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 2735 0 0 0 146 3 0 0 23 0 1 0 10210199 12550144 2642 1992294400 134512640 135751879 4287082576 18446744073709551615 134611278 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 3064 2642 147 303 0 2759 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12256 [startup+3.1013 s] /proc/loadavg: 1.07 1.02 1.00 2/108 12874 /proc/meminfo: memFree=1829408/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=21112 CPUtime=3.09 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 4957 0 0 0 303 6 0 0 25 0 1 0 10210199 21618688 4864 1992294400 134512640 135751879 4287082576 18446744073709551615 134611278 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 5278 4864 148 303 0 4973 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21112 [startup+6.30058 s] /proc/loadavg: 1.06 1.02 1.00 2/108 12874 /proc/meminfo: memFree=1813532/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=34504 CPUtime=6.29 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 8277 0 0 0 619 10 0 0 25 0 1 0 10210199 35332096 8184 1992294400 134512640 135751879 4287082576 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 8626 8184 148 303 0 8321 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34504 [startup+12.7012 s] /proc/loadavg: 1.06 1.01 1.00 2/108 12874 /proc/meminfo: memFree=1792824/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=53676 CPUtime=12.68 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 13075 0 0 0 1253 15 0 0 25 0 1 0 10210199 54964224 12982 1992294400 134512640 135751879 4287082576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 13419 12982 148 303 0 13114 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 53676 [startup+25.5013 s] /proc/loadavg: 1.04 1.01 1.00 2/108 12874 /proc/meminfo: memFree=1757236/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=87596 CPUtime=25.48 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 21571 0 0 0 2520 28 0 0 25 0 1 0 10210199 89698304 21478 1992294400 134512640 135751879 4287082576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 21899 21478 148 303 0 21594 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87596 [startup+51.1006 s] /proc/loadavg: 1.03 1.01 1.00 2/108 12876 /proc/meminfo: memFree=1689532/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=156440 CPUtime=51.07 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 38765 0 0 0 5054 53 0 0 25 0 1 0 10210199 160194560 38672 1992294400 134512640 135751879 4287082576 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 39110 38672 148 303 0 38805 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 156440 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/108 12876 /proc/meminfo: memFree=1586612/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=257616 CPUtime=102.27 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 64027 0 0 0 10132 95 0 0 25 0 1 0 10210199 263798784 63934 1992294400 134512640 135751879 4287082576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 64404 63934 148 303 0 64099 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 257616 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12887 /proc/meminfo: memFree=1456288/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=389256 CPUtime=162.25 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 96897 0 0 0 16076 149 0 0 25 0 1 0 10210199 398598144 96804 1992294400 134512640 135751879 4287082576 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 97314 96804 148 303 0 97009 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 389256 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12889 /proc/meminfo: memFree=1394288/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=448952 CPUtime=222.22 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 111931 0 0 0 22008 214 0 0 25 0 1 0 10210199 459726848 111810 1992294400 134512640 135751879 4287082576 18446744073709551615 134606541 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 112238 111810 151 303 0 111933 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 448952 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12891 /proc/meminfo: memFree=1358204/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=484828 CPUtime=282.22 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 120891 0 0 0 27952 270 0 0 25 0 1 0 10210199 496463872 120770 1992294400 134512640 135751879 4287082576 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 121207 120770 151 303 0 120902 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 484828 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12893 /proc/meminfo: memFree=1284300/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=559216 CPUtime=342.2 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 139474 0 0 0 33871 349 0 0 25 0 1 0 10210199 572637184 139353 1992294400 134512640 135751879 4287082576 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 139804 139353 151 303 0 139499 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 559216 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12893 /proc/meminfo: memFree=1197376/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=646916 CPUtime=402.18 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 161385 0 0 0 39812 406 0 0 25 0 1 0 10210199 662441984 161264 1992294400 134512640 135751879 4287082576 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 161729 161264 151 303 0 161424 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 646916 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12895 /proc/meminfo: memFree=1123100/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=720220 CPUtime=462.17 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 179645 0 0 0 45762 455 0 0 25 0 1 0 10210199 737505280 179524 1992294400 134512640 135751879 4287082576 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 180055 179524 151 303 0 179750 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 720220 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12897 /proc/meminfo: memFree=1050932/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=793328 CPUtime=522.15 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 197886 0 0 0 51710 505 0 0 25 0 1 0 10210199 812367872 197765 1992294400 134512640 135751879 4287082576 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 198332 197765 151 303 0 198027 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 793328 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12899 /proc/meminfo: memFree=993148/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=850512 CPUtime=582.14 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 212181 0 0 0 57675 539 0 0 25 0 1 0 10210199 870924288 212060 1992294400 134512640 135751879 4287082576 18446744073709551615 134602439 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 212628 212060 151 303 0 212323 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 850512 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12901 /proc/meminfo: memFree=923832/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=918904 CPUtime=642.13 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 229257 0 0 0 63633 580 0 0 25 0 1 0 10210199 940957696 229136 1992294400 134512640 135751879 4287082576 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 229726 229136 151 303 0 229421 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 918904 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12905 /proc/meminfo: memFree=741180/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1102140 CPUtime=822.08 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 275032 0 0 0 81518 690 0 0 25 0 1 0 10210199 1128591360 274911 1992294400 134512640 135751879 4287082576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 275535 274911 151 303 0 275230 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1102140 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12907 /proc/meminfo: memFree=681040/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1161344 CPUtime=882.07 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 289804 0 0 0 87484 723 0 0 25 0 1 0 10210199 1189216256 289683 1992294400 134512640 135751879 4287082576 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 290336 289683 151 303 0 290031 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1161344 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12909 /proc/meminfo: memFree=631688/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1211532 CPUtime=942.05 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 302315 0 0 0 93452 753 0 0 25 0 1 0 10210199 1240608768 302194 1992294400 134512640 135751879 4287082576 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 302883 302194 151 303 0 302578 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1211532 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12909 /proc/meminfo: memFree=579484/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1262756 CPUtime=1002.04 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 315143 0 0 0 99421 783 0 0 25 0 1 0 10210199 1293062144 315022 1992294400 134512640 135751879 4287082576 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 315689 315022 151 303 0 315384 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1262756 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12911 /proc/meminfo: memFree=539184/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1303768 CPUtime=1062.02 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 325359 0 0 0 105392 810 0 0 25 0 1 0 10210199 1335058432 325238 1992294400 134512640 135751879 4287082576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 325942 325238 151 303 0 325637 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1303768 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12913 /proc/meminfo: memFree=499876/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1342492 CPUtime=1122.01 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 335004 0 0 0 111365 836 0 0 25 0 1 0 10210199 1374711808 334883 1992294400 134512640 135751879 4287082576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 335623 334883 151 303 0 335318 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1342492 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12915 /proc/meminfo: memFree=455236/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1387464 CPUtime=1182 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 346237 0 0 0 117338 862 0 0 25 0 1 0 10210199 1420763136 346116 1992294400 134512640 135751879 4287082576 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 346866 346116 151 303 0 346561 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1387464 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12917 /proc/meminfo: memFree=412580/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1429592 CPUtime=1241.98 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 356739 0 0 0 123309 889 0 0 25 0 1 0 10210199 1463902208 356618 1992294400 134512640 135751879 4287082576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 357398 356618 151 303 0 357093 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1429592 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12917 /proc/meminfo: memFree=368560/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1473080 CPUtime=1301.97 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 367600 0 0 0 129280 917 0 0 25 0 1 0 10210199 1508433920 367479 1992294400 134512640 135751879 4287082576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 368270 367479 151 303 0 367965 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1473080 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12919 /proc/meminfo: memFree=324788/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1517256 CPUtime=1361.95 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 378628 0 0 0 135245 950 0 0 25 0 1 0 10210199 1553670144 378507 1992294400 134512640 135751879 4287082576 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 379314 378507 151 303 0 379009 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1517256 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12921 /proc/meminfo: memFree=272460/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1569364 CPUtime=1421.95 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 391617 0 0 0 141209 986 0 0 25 0 1 0 10210199 1607028736 391496 1992294400 134512640 135751879 4287082576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 392341 391496 151 303 0 392036 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1569364 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12923 /proc/meminfo: memFree=225092/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1617052 CPUtime=1481.92 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 403542 0 0 0 147176 1016 0 0 25 0 1 0 10210199 1655861248 403421 1992294400 134512640 135751879 4287082576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 404263 403421 151 303 0 403958 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1617052 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12925 /proc/meminfo: memFree=176856/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1664840 CPUtime=1541.91 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 415493 0 0 0 153143 1048 0 0 25 0 1 0 10210199 1704796160 415372 1992294400 134512640 135751879 4287082576 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 416210 415372 151 303 0 415905 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1664840 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12925 /proc/meminfo: memFree=118576/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1723688 CPUtime=1601.89 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 430205 0 0 0 159100 1089 0 0 25 0 1 0 10210199 1765056512 430084 1992294400 134512640 135751879 4287082576 18446744073709551615 134605954 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 430922 430084 151 303 0 430617 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1723688 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12927 /proc/meminfo: memFree=70340/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1771288 CPUtime=1661.88 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 442053 0 0 0 165064 1124 0 0 25 0 1 0 10210199 1813798912 441932 1992294400 134512640 135751879 4287082576 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 442822 441932 151 303 0 442517 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1771288 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12929 /proc/meminfo: memFree=13920/2059040 swapFree=4140272/4192956 [pid=12873] ppid=12871 vsize=1828608 CPUtime=1721.87 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 456318 0 0 0 171018 1169 0 0 25 0 1 0 10210199 1872494592 456197 1992294400 134512640 135751879 4287082576 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 457152 456197 151 303 0 456847 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1828608 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1737.9 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12929 /proc/meminfo: memFree=9756/2059040 swapFree=4140124/4192956 [pid=12873] ppid=12871 vsize=1843268 CPUtime=1737.47 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4202496 459989 0 0 0 172567 1180 0 0 25 0 1 0 10210199 1887506432 459868 1992294400 134512640 135751879 4287082576 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12873/statm: 460817 459868 151 303 0 460512 0 Current children cumulated CPU time (s) 1737.47 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1738.02 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12929 /proc/meminfo: memFree=9756/2059040 swapFree=4140124/4192956 [pid=12873] ppid=12871 vsize=0 CPUtime=1737.57 /proc/12873/stat : 12873 (wbo1.4b) R 12871 12873 12769 0 -1 4203524 459989 0 0 0 172567 1190 0 0 25 0 1 0 10210199 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/12873/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1737.57 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1738.09 CPU time (s): 1737.65 CPU user time (s): 1725.68 CPU system time (s): 11.9782 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.68 system time used= 11.9782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459989 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= 9 involuntary context switches= 3060 runsolver used 2.99754 second user time and 8.09477 second system time The end
Begin job on node025 at 2010-06-12 19:59:05 IDJOB=2655875 IDBENCH=1951 IDSOLVER=1161 FILE ID=node025/2655875-1276365545 PBS_JOBID= 11173220 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655875-1276365545/watcher-2655875-1276365545 -o /tmp/evaluation-result-2655875-1276365545/solver-2655875-1276365545 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655875-1276365545.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9cfc9eabeae08d1064da7d7b87db93a4 RANDOM SEED=1558453021 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1843208 kB Buffers: 23720 kB Cached: 99552 kB SwapCached: 8256 kB Active: 93276 kB Inactive: 44828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1843208 kB SwapTotal: 4192956 kB SwapFree: 4140272 kB Dirty: 2664 kB Writeback: 4 kB AnonPages: 10820 kB Mapped: 12836 kB Slab: 55896 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181272 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= 62536 MiB End job on node025 at 2010-06-12 20:28:05