Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.24 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
MD5SUM | 9828b7020b058ee74169951dda258843 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 186 |
Optimality of the best value was proved | NO |
Number of variables | 476 |
Total number of constraints | 476 |
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 | 476 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 476 |
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 | 476 |
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 | 476 |
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-2655886-1276364585.opb. 0.00/0.00 c Instance file HOME/instance-2655886-1276364585.opb 0.00/0.00 c File size is 43369 bytes. 0.00/0.00 c Highest Coefficient sum: 251 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: 476 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 476 | 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 | 476 476 4278 | 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.007998 s Remaining CPU time: 179.992 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 476 477 4754 | 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.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 2 | 476 478 5230 | 5000 2 229 | 0.000 % | 0.00/0.02 c | 102 | 476 478 5230 | 5500 102 232 | 0.000 % | 0.00/0.04 c | 253 | 476 478 5230 | 6050 253 234 | 0.000 % | 0.00/0.07 c | 478 | 476 478 5230 | 6655 478 233 | 0.001 % | 0.10/0.11 c | 816 | 476 478 5230 | 7320 816 234 | 0.001 % | 0.10/0.19 c | 1323 | 476 478 5230 | 8052 1323 233 | 0.000 % | 0.29/0.31 c | 2082 | 476 478 5230 | 8857 2082 234 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 219 0.29/0.31 o 219 0.29/0.31 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 2082 | 476 479 5706 | 5000 2082 234 | 0.000 % | 0.29/0.33 c | 2182 | 476 479 5706 | 5500 2182 234 | 0.000 % | 0.29/0.35 c | 2333 | 476 479 5706 | 6050 2333 234 | 0.000 % | 0.29/0.38 c | 2560 | 476 479 5706 | 6655 2560 233 | 0.000 % | 0.39/0.43 c | 2897 | 476 479 5706 | 7320 2897 234 | 0.000 % | 0.39/0.49 c | 3403 | 476 479 5706 | 8052 3403 233 | 0.001 % | 0.59/0.61 c | 4163 | 476 479 5706 | 8857 4163 232 | 0.001 % | 0.69/0.79 c | 5302 | 476 479 5706 | 9743 5302 231 | 0.000 % | 0.99/1.09 c | 7011 | 476 479 5706 | 10717 7011 231 | 0.001 % | 1.49/1.57 c | 9573 | 476 479 5706 | 11789 9573 230 | 0.000 % | 2.49/2.54 c | 13417 | 476 479 5706 | 12968 7306 231 | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.76 c New solution: 218 2.69/2.76 o 218 2.69/2.76 c Elapsed CPU time: 2.70959 s Remaining CPU time: 177.29 s 2.69/2.76 c =============================================================================== 2.69/2.76 c | 14594 | 476 480 6182 | 5000 8483 231 | 0.000 % | 2.69/2.79 c | 14695 | 476 480 6182 | 5500 4343 232 | 0.000 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: 217 2.69/2.79 o 217 2.69/2.79 c Elapsed CPU time: 2.73958 s Remaining CPU time: 177.26 s 2.69/2.79 c =============================================================================== 2.69/2.79 c | 14695 | 476 481 6658 | 5000 4343 232 | 0.000 % | 2.79/2.80 c | 14795 | 476 481 6658 | 5500 4443 232 | 0.002 % | 2.79/2.83 c | 14946 | 476 481 6658 | 6050 4594 232 | 0.000 % | 2.79/2.86 c | 15171 | 476 481 6658 | 6655 4819 232 | 0.001 % | 2.89/2.92 c | 15509 | 476 481 6658 | 7320 5157 231 | 0.001 % | 2.89/2.99 c | 16015 | 476 481 6658 | 8052 5663 231 | 0.000 % | 3.09/3.12 c | 16775 | 476 481 6658 | 8857 6423 231 | 0.000 % | 3.30/3.34 c | 17915 | 476 481 6658 | 9743 7563 230 | 0.000 % | 3.59/3.67 c | 19624 | 476 481 6658 | 10717 9272 230 | 0.000 % | 4.19/4.21 c | 22186 | 476 481 6658 | 11789 6261 228 | 0.000 % | 5.09/5.12 c | 26031 | 476 481 6658 | 12968 10106 228 | 0.000 % | 6.49/6.53 c | 31798 | 476 481 6658 | 14265 9180 230 | 0.000 % | 8.79/8.83 c | 40447 | 476 481 6658 | 15692 10482 228 | 0.000 % | 12.59/12.64 c | 53422 | 476 481 6658 | 17261 15399 230 | 0.000 % | 12.59/12.64 c =============================================================================== 12.59/12.64 c New solution: 216 12.59/12.64 o 216 12.59/12.64 c Elapsed CPU time: 12.4361 s Remaining CPU time: 167.564 s 12.59/12.64 c =============================================================================== 12.59/12.64 c | 53422 | 476 482 7134 | 5000 15399 230 | 0.000 % | 12.69/12.74 c =============================================================================== 12.69/12.74 c New solution: 215 12.69/12.74 o 215 12.69/12.74 c Elapsed CPU time: 12.5361 s Remaining CPU time: 167.464 s 12.69/12.74 c =============================================================================== 12.69/12.74 c | 53423 | 476 483 7610 | 5000 3851 229 | 0.000 % | 12.69/12.74 c =============================================================================== 12.69/12.74 c New solution: 214 12.69/12.74 o 214 12.69/12.74 c Elapsed CPU time: 12.5391 s Remaining CPU time: 167.461 s 12.69/12.74 c =============================================================================== 12.69/12.74 c | 53433 | 476 484 8086 | 5000 3861 229 | 0.000 % | 12.69/12.76 c | 53533 | 476 484 8086 | 5500 3961 229 | 0.000 % | 12.69/12.79 c | 53684 | 476 484 8086 | 6050 4112 229 | 0.000 % | 12.79/12.82 c | 53909 | 476 484 8086 | 6655 4337 229 | 0.000 % | 12.79/12.87 c | 54248 | 476 484 8086 | 7320 4676 229 | 0.001 % | 12.89/12.96 c | 54755 | 476 484 8086 | 8052 5183 229 | 0.001 % | 12.99/13.08 c | 55515 | 476 484 8086 | 8857 5943 229 | 0.000 % | 13.19/13.30 c | 56655 | 476 484 8086 | 9743 7083 229 | 0.000 % | 13.58/13.62 c | 58363 | 476 484 8086 | 10717 8791 228 | 0.000 % | 14.08/14.18 c | 60925 | 476 484 8086 | 11789 5787 227 | 0.000 % | 14.99/15.01 c | 64769 | 476 484 8086 | 12968 9631 229 | 0.000 % | 16.49/16.59 c | 70535 | 476 484 8086 | 14265 8705 231 | 0.000 % | 18.70/18.74 c | 79184 | 476 484 8086 | 15692 10007 227 | 0.000 % | 22.58/22.62 c | 92161 | 476 484 8086 | 17261 14931 227 | 0.000 % | 28.38/28.46 c | 111622 | 476 484 8086 | 18987 16702 228 | 0.000 % | 37.08/37.18 c | 140815 | 476 484 8086 | 20886 16788 228 | 0.000 % | 50.47/50.55 c | 184605 | 476 484 8086 | 22974 17953 233 | 0.000 % | 77.27/77.31 c | 250289 | 476 484 8086 | 25272 21912 228 | 0.000 % | 121.95/122.00 c | 348815 | 476 484 8086 | 27799 19167 228 | 0.000 % | 181.93/182.00 c There are 0 assigned variables. 0 in cost function. 182.94/183.08 c core #1 182.94/183.08 c core #2 182.94/183.08 c core #3 182.94/183.08 c core #4 182.94/183.08 c core #5 182.94/183.08 c core #6 182.94/183.08 c core #7 182.94/183.08 c core #8 182.94/183.08 c core #9 182.94/183.08 c core #10 182.94/183.08 c core #11 182.94/183.08 c core #12 182.94/183.08 c core #13 182.94/183.08 c core #14 182.94/183.08 c core #15 182.94/183.08 c core #16 182.94/183.08 c core #17 182.94/183.08 c core #18 182.94/183.08 c core #19 182.94/183.08 c core #20 182.94/183.08 c core #21 182.94/183.08 c core #22 182.94/183.08 c core #23 182.94/183.08 c core #24 182.94/183.08 c core #25 182.94/183.08 c core #26 182.94/183.08 c core #27 182.94/183.08 c core #28 182.94/183.08 c core #29 182.94/183.08 c core #30 182.94/183.08 c core #31 182.94/183.08 c core #32 182.94/183.08 c core #33 182.94/183.08 c core #34 182.94/183.08 c core #35 182.94/183.08 c core #36 182.94/183.08 c core #37 182.94/183.08 c core #38 182.94/183.08 c core #39 182.94/183.08 c core #40 182.94/183.08 c core #41 182.94/183.08 c core #42 182.94/183.08 c core #43 182.94/183.08 c core #44 182.94/183.08 c core #45 182.94/183.08 c core #46 182.94/183.08 c core #47 182.94/183.08 c core #48 182.94/183.08 c core #49 182.94/183.08 c core #50 182.94/183.08 c core #51 182.94/183.08 c core #52 182.94/183.08 c core #53 182.94/183.08 c core #54 182.94/183.08 c core #55 182.94/183.08 c core #56 182.94/183.08 c core #57 182.94/183.08 c core #58 182.94/183.08 c core #59 182.94/183.08 c core #60 182.94/183.08 c core #61 182.94/183.08 c core #62 182.94/183.08 c core #63 182.94/183.08 c core #64 182.94/183.08 c core #65 182.94/183.08 c core #66 182.94/183.08 c core #67 182.94/183.08 c core #68 182.94/183.08 c core #69 182.94/183.08 c core #70 182.94/183.08 c core #71 182.94/183.08 c core #72 182.94/183.08 c core #73 182.94/183.08 c core #74 182.94/183.08 c core #75 182.94/183.08 c core #76 182.94/183.08 c core #77 182.94/183.08 c core #78 182.94/183.08 c core #79 182.94/183.08 c core #80 182.94/183.08 c core #81 182.94/183.08 c core #82 182.94/183.08 c core #83 182.94/183.08 c core #84 182.94/183.08 c ============================[ Search Statistics ]============================== 182.94/183.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.08 c =============================================================================== 182.94/183.08 c | 0 | 951 1045 10021 | 5000 0 nan | 0.000 % | 182.94/183.08 c =============================================================================== 182.94/183.09 c core #85 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 | 966 1046 10050 | 5000 0 nan | 0.000 % | 183.04/183.10 c =============================================================================== 183.04/183.11 c core #86 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 | 977 1047 10072 | 5000 0 nan | 0.000 % | 183.04/183.11 c =============================================================================== 183.04/183.12 c core #87 183.04/183.12 c ============================[ Search Statistics ]============================== 183.04/183.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.12 c =============================================================================== 183.04/183.12 c | 0 | 991 1048 10100 | 5000 0 nan | 0.000 % | 183.04/183.13 c =============================================================================== 183.04/183.14 c core #88 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 | 1020 1049 10154 | 5000 0 nan | 0.000 % | 183.04/183.14 c =============================================================================== 183.04/183.15 c core #89 183.04/183.15 c ============================[ Search Statistics ]============================== 183.04/183.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.15 c =============================================================================== 183.04/183.15 c | 0 | 1033 1050 10178 | 5000 0 nan | 0.000 % | 183.04/183.16 c =============================================================================== 183.04/183.17 c core #90 183.04/183.17 c ============================[ Search Statistics ]============================== 183.04/183.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.17 c =============================================================================== 183.04/183.17 c | 0 | 1092 1051 10296 | 5000 0 nan | 0.000 % | 183.04/183.18 c =============================================================================== 183.04/183.19 c core #91 183.04/183.19 c ============================[ Search Statistics ]============================== 183.04/183.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.19 c =============================================================================== 183.04/183.19 c | 0 | 1104 1052 10320 | 5000 0 nan | 0.000 % | 183.04/183.19 c =============================================================================== 183.14/183.20 c core #92 183.14/183.20 c ============================[ Search Statistics ]============================== 183.14/183.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.20 c =============================================================================== 183.14/183.20 c | 0 | 1122 1053 10356 | 5000 0 nan | 0.000 % | 183.14/183.21 c =============================================================================== 183.14/183.22 c core #93 183.14/183.22 c ============================[ Search Statistics ]============================== 183.14/183.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.22 c =============================================================================== 183.14/183.22 c | 0 | 1139 1054 10388 | 5000 0 nan | 0.000 % | 183.14/183.23 c =============================================================================== 183.14/183.23 c core #94 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 | 1159 1055 10425 | 5000 0 nan | 0.000 % | 183.14/183.24 c =============================================================================== 183.14/183.25 c core #95 183.14/183.25 c ============================[ Search Statistics ]============================== 183.14/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.25 c =============================================================================== 183.14/183.25 c | 0 | 1169 1056 10445 | 5000 0 nan | 0.000 % | 183.14/183.26 c =============================================================================== 183.14/183.27 c core #96 183.14/183.27 c ============================[ Search Statistics ]============================== 183.14/183.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.27 c =============================================================================== 183.14/183.27 c | 0 | 1179 1057 10464 | 5000 0 nan | 0.000 % | 183.14/183.27 c =============================================================================== 183.14/183.28 c core #97 183.14/183.28 c ============================[ Search Statistics ]============================== 183.14/183.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.28 c =============================================================================== 183.14/183.28 c | 0 | 1192 1058 10490 | 5000 0 nan | 0.000 % | 183.14/183.29 c =============================================================================== 183.24/183.30 c core #98 183.24/183.30 c ============================[ Search Statistics ]============================== 183.24/183.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.30 c =============================================================================== 183.24/183.30 c | 0 | 1220 1059 10544 | 5000 0 nan | 0.000 % | 183.24/183.31 c =============================================================================== 183.24/183.32 c core #99 183.24/183.32 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 | 1247 1060 10598 | 5000 0 nan | 0.000 % | 183.24/183.32 c =============================================================================== 183.24/183.33 c core #100 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 | 1263 1061 10629 | 5000 0 nan | 0.000 % | 183.24/183.35 c | 101 | 1261 1061 10629 | 5500 101 8 | 2.344 % | 183.24/183.35 c =============================================================================== 183.24/183.36 c core #101 183.24/183.36 c ============================[ Search Statistics ]============================== 183.24/183.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.36 c =============================================================================== 183.24/183.36 c | 0 | 1335 1062 10771 | 5000 0 nan | 0.000 % | 183.24/183.37 c =============================================================================== 183.24/183.38 c core #102 183.24/183.38 c ============================[ Search Statistics ]============================== 183.24/183.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.38 c =============================================================================== 183.24/183.38 c | 0 | 1355 1063 10811 | 5000 0 nan | 0.000 % | 183.24/183.39 c =============================================================================== 183.34/183.40 c core #103 183.34/183.40 c ============================[ Search Statistics ]============================== 183.34/183.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.40 c =============================================================================== 183.34/183.40 c | 0 | 1396 1064 10893 | 5000 0 nan | 0.000 % | 183.34/183.41 c =============================================================================== 183.34/183.42 c core #104 183.34/183.42 c ============================[ Search Statistics ]============================== 183.34/183.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.42 c =============================================================================== 183.34/183.42 c | 0 | 1412 1065 10924 | 5000 0 nan | 0.000 % | 183.34/183.43 c =============================================================================== 183.34/183.45 c core #105 183.34/183.45 c ============================[ Search Statistics ]============================== 183.34/183.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.45 c =============================================================================== 183.34/183.45 c | 0 | 1485 1066 11067 | 5000 0 nan | 0.000 % | 183.34/183.46 c | 101 | 1485 1066 11067 | 5500 101 16 | 0.735 % | 183.34/183.47 c | 251 | 1485 1066 11067 | 6050 251 14 | 0.735 % | 183.34/183.47 c =============================================================================== 183.34/183.49 c core #106 183.34/183.49 c ============================[ Search Statistics ]============================== 183.34/183.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.49 c =============================================================================== 183.34/183.49 c | 0 | 1539 1067 11175 | 5000 0 nan | 0.000 % | 183.44/183.50 c =============================================================================== 183.44/183.51 c core #107 183.44/183.51 c ============================[ Search Statistics ]============================== 183.44/183.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.51 c =============================================================================== 183.44/183.51 c | 0 | 1565 1068 11227 | 5000 0 nan | 0.000 % | 183.44/183.52 c | 103 | 1565 1068 11227 | 5500 103 17 | 0.698 % | 183.44/183.54 c | 256 | 1563 1068 11227 | 6050 256 19 | 0.825 % | 183.44/183.56 c | 483 | 1561 1068 11227 | 6655 481 17 | 1.015 % | 183.44/183.58 c =============================================================================== 183.44/183.59 c core #108 183.44/183.59 c ============================[ Search Statistics ]============================== 183.44/183.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.59 c =============================================================================== 183.44/183.59 c | 0 | 1661 1069 11419 | 5000 0 nan | 0.000 % | 183.54/183.61 c | 101 | 1656 1069 11419 | 5500 101 9 | 1.017 % | 183.54/183.63 c | 252 | 1656 1069 11419 | 6050 252 10 | 1.017 % | 183.54/183.65 c | 479 | 1655 1069 11419 | 6655 478 11 | 1.017 % | 183.54/183.67 c =============================================================================== 183.54/183.69 c core #109 183.54/183.69 c ============================[ Search Statistics ]============================== 183.54/183.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.69 c =============================================================================== 183.54/183.69 c | 0 | 1744 1070 11582 | 5000 0 nan | 0.000 % | 183.64/183.71 c | 100 | 1744 1070 11582 | 5500 100 26 | 0.457 % | 183.64/183.72 c | 251 | 1744 1070 11582 | 6050 251 21 | 0.457 % | 183.64/183.74 c | 478 | 1744 1070 11582 | 6655 478 28 | 0.457 % | 183.64/183.77 c | 818 | 1744 1070 11582 | 7320 818 28 | 0.457 % | 183.75/183.82 c | 1324 | 1744 1070 11582 | 8052 1324 37 | 0.457 % | 183.84/183.92 c | 2083 | 1744 1070 11582 | 8857 2083 41 | 0.457 % | 183.94/184.08 c | 3222 | 1744 1070 11582 | 9743 3222 46 | 0.457 % | 184.34/184.42 c | 4930 | 1742 1070 11582 | 10717 4929 52 | 0.571 % | 184.94/185.03 c | 7492 | 1742 1070 11582 | 11789 7491 54 | 0.628 % | 185.14/185.28 c =============================================================================== 185.34/185.40 c core #110 185.34/185.40 c ============================[ Search Statistics ]============================== 185.34/185.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.40 c =============================================================================== 185.34/185.40 c | 0 | 1866 1071 11826 | 5000 0 nan | 0.000 % | 185.34/185.43 c | 102 | 1866 1071 11826 | 5500 102 36 | 0.427 % | 185.34/185.45 c | 252 | 1866 1071 11826 | 6050 252 27 | 0.427 % | 185.34/185.47 c | 477 | 1866 1071 11826 | 6655 477 45 | 0.427 % | 185.44/185.51 c | 816 | 1866 1071 11826 | 7320 816 51 | 0.427 % | 185.44/185.58 c | 1326 | 1866 1071 11826 | 8052 1326 58 | 0.427 % | 185.54/185.68 c | 2085 | 1866 1071 11826 | 8857 2085 61 | 0.427 % | 185.74/185.83 c | 3224 | 1866 1071 11826 | 9743 3224 64 | 0.427 % | 186.04/186.12 c | 4932 | 1866 1071 11826 | 10717 4932 67 | 0.427 % | 186.64/186.74 c | 7495 | 1866 1071 11826 | 11789 7495 80 | 0.427 % | 187.64/187.76 c | 11339 | 1865 1071 11826 | 12968 11338 87 | 0.480 % | 189.54/189.62 c | 17107 | 1865 1071 11826 | 14265 10557 101 | 0.480 % | 193.03/193.18 c | 25756 | 1865 1071 11826 | 15692 11968 107 | 0.480 % | 200.04/200.12 c | 38731 | 1865 1071 11826 | 17261 9050 130 | 0.480 % | 212.63/212.73 c | 58192 | 1864 1071 11826 | 18987 11070 117 | 0.534 % | 226.72/226.89 c =============================================================================== 228.52/228.61 c core #111 228.52/228.61 c ============================[ Search Statistics ]============================== 228.52/228.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.52/228.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.52/228.61 c =============================================================================== 228.52/228.61 c | 0 | 2028 1072 12149 | 5000 0 nan | 0.000 % | 228.52/228.64 c | 102 | 2028 1072 12149 | 5500 102 16 | 0.344 % | 228.52/228.66 c | 252 | 2028 1072 12149 | 6050 252 13 | 0.344 % | 228.52/228.68 c | 478 | 2028 1072 12149 | 6655 478 12 | 0.344 % | 228.63/228.71 c | 815 | 2028 1072 12149 | 7320 815 14 | 0.344 % | 228.63/228.76 c | 1323 | 2028 1072 12149 | 8052 1323 18 | 0.344 % | 228.74/228.82 c | 2083 | 2028 1072 12149 | 8857 2083 19 | 0.344 % | 228.83/228.94 c | 3224 | 2028 1072 12149 | 9743 3224 25 | 0.344 % | 229.03/229.19 c | 4935 | 2028 1072 12149 | 10717 4935 34 | 0.344 % | 229.53/229.66 c | 7500 | 2028 1072 12149 | 11789 7500 39 | 0.344 % | 229.93/230.09 c =============================================================================== 230.12/230.23 c core #112 230.12/230.23 c ============================[ Search Statistics ]============================== 230.12/230.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.12/230.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.12/230.23 c =============================================================================== 230.12/230.23 c | 0 | 2161 1073 12415 | 5000 0 nan | 0.000 % | 230.12/230.25 c | 100 | 2161 1073 12415 | 5500 100 13 | 0.323 % | 230.12/230.27 c | 250 | 2161 1073 12415 | 6050 250 18 | 0.323 % | 230.12/230.30 c | 476 | 2161 1073 12415 | 6655 476 26 | 0.323 % | 230.22/230.33 c | 815 | 2161 1073 12415 | 7320 815 29 | 0.323 % | 230.22/230.38 c | 1322 | 2161 1073 12415 | 8052 1322 29 | 0.323 % | 230.33/230.47 c | 2085 | 2161 1073 12415 | 8857 2085 42 | 0.323 % | 230.53/230.62 c | 3225 | 2161 1073 12415 | 9743 3225 50 | 0.323 % | 230.82/230.93 c | 4933 | 2161 1073 12415 | 10717 4933 59 | 0.323 % | 231.33/231.48 c | 7497 | 2161 1073 12415 | 11789 7497 62 | 0.323 % | 232.42/232.51 c | 11342 | 2161 1073 12415 | 12968 11342 62 | 0.323 % | 234.52/234.66 c | 17108 | 2161 1073 12415 | 14265 10529 63 | 0.323 % | 238.12/238.28 c | 25757 | 2161 1073 12415 | 15692 11974 69 | 0.323 % | 243.42/243.58 c | 38732 | 2160 1073 12415 | 17261 9047 73 | 0.369 % | 252.32/252.46 c | 58195 | 2160 1073 12415 | 18987 11086 70 | 0.369 % | 265.21/265.33 c | 87388 | 2157 1073 12415 | 20886 19072 78 | 0.507 % | 267.92/268.08 c =============================================================================== 270.01/270.12 c core #113 270.01/270.12 c ============================[ Search Statistics ]============================== 270.01/270.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 270.01/270.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 270.01/270.12 c =============================================================================== 270.01/270.12 c | 0 | 2275 1074 12643 | 5000 0 nan | 0.000 % | 270.01/270.16 c | 100 | 2275 1074 12643 | 5500 100 20 | 0.307 % | 270.01/270.18 c | 250 | 2275 1074 12643 | 6050 250 20 | 0.307 % | 270.11/270.21 c | 479 | 2275 1074 12643 | 6655 479 30 | 0.307 % | 270.11/270.24 c | 816 | 2275 1074 12643 | 7320 816 34 | 0.307 % | 270.11/270.29 c | 1324 | 2275 1074 12643 | 8052 1324 36 | 0.307 % | 270.21/270.37 c | 2083 | 2274 1074 12643 | 8857 2082 39 | 0.351 % | 270.31/270.49 c | 3223 | 2274 1074 12643 | 9743 3222 44 | 0.351 % | 270.62/270.78 c | 4932 | 2274 1074 12643 | 10717 4931 61 | 0.351 % | 271.11/271.29 c | 7495 | 2274 1074 12643 | 11789 7494 83 | 0.351 % | 272.12/272.22 c | 11340 | 2274 1074 12643 | 12968 11339 92 | 0.351 % | 274.01/274.12 c | 17113 | 2274 1074 12643 | 14265 10519 109 | 0.351 % | 277.71/277.84 c | 25762 | 2274 1074 12643 | 15692 11982 117 | 0.351 % | 282.01/282.18 c | 38738 | 2274 1074 12643 | 17261 8994 99 | 0.351 % | 291.41/291.52 c | 58201 | 2274 1074 12643 | 18987 10957 112 | 0.351 % | 309.30/309.46 c | 87393 | 2274 1074 12643 | 20886 11292 122 | 0.351 % | 335.51/335.61 c | 131184 | 2274 1074 12643 | 22974 12841 119 | 0.351 % | 381.59/381.80 c | 196873 | 2274 1074 12643 | 25272 20427 112 | 0.351 % | 451.86/452.07 c | 295401 | 2274 1074 12643 | 27799 16949 103 | 0.351 % | 569.63/569.85 c | 443190 | 2274 1074 12643 | 30579 20658 110 | 0.351 % | 745.17/745.47 c | 664874 | 2274 1074 12643 | 33637 17306 137 | 0.351 % | 1043.60/1043.98 c | 997403 | 2274 1074 12643 | 37001 18463 116 | 0.351 % | 1536.54/1537.08 c | 1496194 | 2274 1074 12643 | 40701 28330 165 | 0.351 % |
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-2655886-1276364585/watcher-2655886-1276364585 -o /tmp/evaluation-result-2655886-1276364585/solver-2655886-1276364585 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655886-1276364585.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: 0.92 0.98 0.99 3/106 12532 /proc/meminfo: memFree=1750308/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=2752 CPUtime=0 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 312 0 0 0 0 0 0 0 17 0 1 0 12060009 2818048 230 1992294400 134512640 135751879 4286891856 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 688 231 145 303 0 372 0 [startup+0.109864 s] /proc/loadavg: 0.92 0.98 0.99 3/106 12532 /proc/meminfo: memFree=1750308/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=3480 CPUtime=0.1 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 536 0 0 0 10 0 0 0 17 0 1 0 12060009 3563520 443 1992294400 134512640 135751879 4286891856 18446744073709551615 134606295 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 870 443 147 303 0 565 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3480 [startup+0.201876 s] /proc/loadavg: 0.92 0.98 0.99 3/106 12532 /proc/meminfo: memFree=1750308/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=4120 CPUtime=0.19 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 692 0 0 0 19 0 0 0 17 0 1 0 12060009 4218880 599 1992294400 134512640 135751879 4286891856 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 1030 600 147 303 0 725 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4120 [startup+0.301888 s] /proc/loadavg: 0.92 0.98 0.99 3/106 12532 /proc/meminfo: memFree=1750308/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=4760 CPUtime=0.29 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 856 0 0 0 29 0 0 0 17 0 1 0 12060009 4874240 763 1992294400 134512640 135751879 4286891856 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 1190 763 147 303 0 885 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4760 [startup+0.700941 s] /proc/loadavg: 0.92 0.98 0.99 3/106 12532 /proc/meminfo: memFree=1750308/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=7584 CPUtime=0.69 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 1569 0 0 0 68 1 0 0 17 0 1 0 12060009 7766016 1476 1992294400 134512640 135751879 4286891856 18446744073709551615 134606323 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 1896 1476 147 303 0 1591 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7584 [startup+1.50105 s] /proc/loadavg: 0.92 0.98 0.99 2/107 12533 /proc/meminfo: memFree=1742736/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=12104 CPUtime=1.49 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 2700 0 0 0 146 3 0 0 18 0 1 0 12060009 12394496 2607 1992294400 134512640 135751879 4286891856 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 3026 2607 147 303 0 2721 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12104 [startup+3.10126 s] /proc/loadavg: 0.93 0.98 0.99 2/107 12533 /proc/meminfo: memFree=1737156/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=19816 CPUtime=3.09 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 4616 0 0 0 303 6 0 0 21 0 1 0 12060009 20291584 4523 1992294400 134512640 135751879 4286891856 18446744073709551615 134518848 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 4954 4523 148 303 0 4649 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19816 [startup+6.30167 s] /proc/loadavg: 0.93 0.98 0.99 2/107 12533 /proc/meminfo: memFree=1721284/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=34196 CPUtime=6.29 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 8203 0 0 0 618 11 0 0 25 0 1 0 12060009 35016704 8110 1992294400 134512640 135751879 4286891856 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 8549 8110 148 303 0 8244 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34196 [startup+12.7015 s] /proc/loadavg: 0.94 0.98 0.99 2/107 12533 /proc/meminfo: memFree=1696980/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=56828 CPUtime=12.69 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 13882 0 0 0 1249 20 0 0 25 0 1 0 12060009 58191872 13789 1992294400 134512640 135751879 4286891856 18446744073709551615 134602439 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 14207 13789 148 303 0 13902 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 56828 [startup+25.5012 s] /proc/loadavg: 1.02 1.00 1.00 2/107 12535 /proc/meminfo: memFree=1646512/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=106156 CPUtime=25.48 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 26198 0 0 0 2509 39 0 0 25 0 1 0 12060009 108703744 26105 1992294400 134512640 135751879 4286891856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 26539 26105 148 303 0 26234 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 106156 [startup+51.1015 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12535 /proc/meminfo: memFree=1563432/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=190868 CPUtime=51.07 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 47344 0 0 0 5037 70 0 0 25 0 1 0 12060009 195448832 47251 1992294400 134512640 135751879 4286891856 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 47717 47251 148 303 0 47412 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 190868 [startup+102.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 12537 /proc/meminfo: memFree=1446252/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=305396 CPUtime=102.27 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 75984 0 0 0 10109 118 0 0 25 0 1 0 12060009 312725504 75891 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 76382 75892 148 303 0 76077 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 305396 [startup+162.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 12537 /proc/meminfo: memFree=1308240/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=444988 CPUtime=162.24 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 110818 0 0 0 16049 175 0 0 25 0 1 0 12060009 455667712 110725 1992294400 134512640 135751879 4286891856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 111247 110725 148 303 0 110942 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 444988 [startup+222.309 s] /proc/loadavg: 1.06 1.03 1.00 2/107 12539 /proc/meminfo: memFree=1248348/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=502880 CPUtime=222.24 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 125402 0 0 0 21993 231 0 0 25 0 1 0 12060009 514949120 125281 1992294400 134512640 135751879 4286891856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 125720 125281 151 303 0 125415 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 502880 [startup+282.302 s] /proc/loadavg: 1.06 1.04 1.00 2/107 12541 /proc/meminfo: memFree=1212016/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=539864 CPUtime=282.22 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 134657 0 0 0 27934 288 0 0 25 0 1 0 12060009 552820736 134536 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 134966 134536 151 303 0 134661 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 539864 [startup+342.302 s] /proc/loadavg: 1.02 1.03 1.00 2/107 12543 /proc/meminfo: memFree=1156960/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=594004 CPUtime=342.19 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 148165 0 0 0 33883 336 0 0 25 0 1 0 12060009 608260096 148044 1992294400 134512640 135751879 4286891856 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 148501 148044 151 303 0 148196 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 594004 [startup+402.302 s] /proc/loadavg: 1.01 1.02 1.00 2/107 12545 /proc/meminfo: memFree=1115544/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=635952 CPUtime=402.17 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 158617 0 0 0 39843 374 0 0 25 0 1 0 12060009 651214848 158496 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 158988 158496 151 303 0 158683 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 635952 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12545 /proc/meminfo: memFree=1067804/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=683356 CPUtime=462.16 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 170436 0 0 0 45800 416 0 0 25 0 1 0 12060009 699756544 170315 1992294400 134512640 135751879 4286891856 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 170839 170315 151 303 0 170534 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 683356 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12547 /proc/meminfo: memFree=1013988/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=737636 CPUtime=522.14 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 183953 0 0 0 51759 455 0 0 25 0 1 0 12060009 755339264 183832 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 184409 183832 151 303 0 184104 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 737636 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12549 /proc/meminfo: memFree=966248/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=785148 CPUtime=582.12 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 195825 0 0 0 57719 493 0 0 25 0 1 0 12060009 803991552 195704 1992294400 134512640 135751879 4286891856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 196287 195704 151 303 0 195982 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 785148 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12551 /proc/meminfo: memFree=913796/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=837776 CPUtime=642.11 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 208965 0 0 0 63676 535 0 0 25 0 1 0 12060009 857882624 208844 1992294400 134512640 135751879 4286891856 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 209444 208844 151 303 0 209139 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 837776 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12557 /proc/meminfo: memFree=729904/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1021236 CPUtime=882.05 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 254672 0 0 0 87527 678 0 0 25 0 1 0 12060009 1045745664 254551 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 255309 254551 151 303 0 255004 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1021236 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12559 /proc/meminfo: memFree=679436/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1071940 CPUtime=942.02 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 267305 0 0 0 93480 722 0 0 25 0 1 0 12060009 1097666560 267184 1992294400 134512640 135751879 4286891856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 267985 267184 151 303 0 267680 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1071940 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12561 /proc/meminfo: memFree=627728/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1123332 CPUtime=1002 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 280165 0 0 0 99440 760 0 0 25 0 1 0 12060009 1150291968 280044 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 280833 280044 151 303 0 280528 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1123332 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12561 /proc/meminfo: memFree=570192/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1181380 CPUtime=1061.99 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 294683 0 0 0 105395 804 0 0 25 0 1 0 12060009 1209733120 294562 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 295345 294562 151 303 0 295040 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1181380 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12572 /proc/meminfo: memFree=520220/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1230092 CPUtime=1121.96 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 306843 0 0 0 111358 838 0 0 25 0 1 0 12060009 1259614208 306722 1992294400 134512640 135751879 4286891856 18446744073709551615 134642035 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 307523 306722 151 303 0 307218 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1230092 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12574 /proc/meminfo: memFree=477192/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1273820 CPUtime=1181.94 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 317757 0 0 0 117323 871 0 0 25 0 1 0 12060009 1304391680 317636 1992294400 134512640 135751879 4286891856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 318455 317636 151 303 0 318150 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1273820 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12576 /proc/meminfo: memFree=432924/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1317468 CPUtime=1241.93 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 328641 0 0 0 123290 903 0 0 25 0 1 0 12060009 1349087232 328520 1992294400 134512640 135751879 4286891856 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 329367 328520 151 303 0 329062 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1317468 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12578 /proc/meminfo: memFree=387168/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1363672 CPUtime=1301.9 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 340184 0 0 0 129255 935 0 0 25 0 1 0 12060009 1396400128 340063 1992294400 134512640 135751879 4286891856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 340918 340063 151 303 0 340613 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1363672 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12578 /proc/meminfo: memFree=347984/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1402712 CPUtime=1361.89 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 349878 0 0 0 135224 965 0 0 25 0 1 0 12060009 1436377088 349757 1992294400 134512640 135751879 4286891856 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 350678 349757 151 303 0 350373 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1402712 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12580 /proc/meminfo: memFree=295160/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1455184 CPUtime=1421.88 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 363001 0 0 0 141178 1010 0 0 25 0 1 0 12060009 1490108416 362880 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 363796 362880 151 303 0 363491 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1455184 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12582 /proc/meminfo: memFree=257464/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1493484 CPUtime=1481.86 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 372578 0 0 0 147150 1036 0 0 25 0 1 0 12060009 1529327616 372457 1992294400 134512640 135751879 4286891856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 373371 372457 151 303 0 373066 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1493484 [startup+1542.31 s] /proc/loadavg: 1.07 1.02 1.00 2/107 12584 /proc/meminfo: memFree=210592/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1539872 CPUtime=1541.85 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 384137 0 0 0 153116 1069 0 0 25 0 1 0 12060009 1576828928 384016 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 384968 384016 151 303 0 384663 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1539872 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 12586 /proc/meminfo: memFree=172152/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1578792 CPUtime=1601.82 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 393842 0 0 0 159086 1096 0 0 25 0 1 0 12060009 1616683008 393721 1992294400 134512640 135751879 4286891856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 394698 393721 151 303 0 394393 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1578792 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12586 /proc/meminfo: memFree=130612/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1620116 CPUtime=1661.81 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 404152 0 0 0 165053 1128 0 0 25 0 1 0 12060009 1658998784 404031 1992294400 134512640 135751879 4286891856 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 405029 404031 151 303 0 404724 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1620116 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12588 /proc/meminfo: memFree=108168/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1642716 CPUtime=1721.79 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 409807 0 0 0 171032 1147 0 0 25 0 1 0 12060009 1682141184 409686 1992294400 134512640 135751879 4286891856 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 410679 409686 151 303 0 410374 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1642716 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12590 /proc/meminfo: memFree=76300/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1673972 CPUtime=1781.77 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 417601 0 0 0 177007 1170 0 0 25 0 1 0 12060009 1714147328 417480 1992294400 134512640 135751879 4286891856 18446744073709551615 134616470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 418493 417480 151 303 0 418188 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1673972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12590 /proc/meminfo: memFree=65140/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=1685108 CPUtime=1800.07 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4202496 420355 0 0 0 178828 1179 0 0 25 0 1 0 12060009 1725550592 420234 1992294400 134512640 135751879 4286891856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12532/statm: 421277 420234 151 303 0 420972 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1685108 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12591 /proc/meminfo: memFree=1146924/2059040 swapFree=4192956/4192956 [pid=12532] ppid=12530 vsize=0 CPUtime=1800.18 /proc/12532/stat : 12532 (wbo1.4b) R 12530 12532 12507 0 -1 4203524 420355 0 0 0 178828 1190 0 0 25 0 1 0 12060009 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/12532/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.24 CPU user time (s): 1788.29 CPU system time (s): 11.9522 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 1685108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.29 system time used= 11.9522 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 420355 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= 6161 runsolver used 3.05454 second user time and 8.43372 second system time The end
Begin job on node013 at 2010-06-12 19:43:05 IDJOB=2655886 IDBENCH=1950 IDSOLVER=1161 FILE ID=node013/2655886-1276364585 PBS_JOBID= 11173222 Free space on /tmp= 62464 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655886-1276364585/watcher-2655886-1276364585 -o /tmp/evaluation-result-2655886-1276364585/solver-2655886-1276364585 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655886-1276364585.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9828b7020b058ee74169951dda258843 RANDOM SEED=2023527513 node013.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.253 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1750960 kB Buffers: 46356 kB Cached: 137008 kB SwapCached: 0 kB Active: 129232 kB Inactive: 113232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1750960 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3092 kB Writeback: 0 kB AnonPages: 59124 kB Mapped: 15292 kB Slab: 43920 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180216 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= 62460 MiB End job on node013 at 2010-06-12 20:13:08