Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1374.88 | 1375.39 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb |
MD5SUM | 97ebaccbda37d5c570b4e2ec3cd7f8f0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 425 |
Best CPU time to get the best result obtained on this benchmark | 1789.68 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 425 |
Optimality of the best value was proved | NO |
Number of variables | 1372 |
Total number of constraints | 4944 |
Number of constraints which are clauses | 4944 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 1372 |
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 | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
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-2656070-1276358871.opb. 0.00/0.00 c Instance file HOME/instance-2656070-1276358871.opb 0.00/0.00 c File size is 324105 bytes. 0.03/0.05 c Highest Coefficient sum: 20 0.03/0.05 c ============================[ Problem Statistics ]============================= 0.03/0.05 c | | 0.03/0.05 c | Parsing time: 0.05 s | 0.03/0.05 c | Number Variables: 1372 | 0.03/0.05 c | Number Clauses: 4944 | 0.03/0.05 c | Number Cardinality: 0 | 0.03/0.05 c | Number PB Constraints: 0 | 0.03/0.05 c ============================[ Search Statistics ]============================== 0.03/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.05 c =============================================================================== 0.03/0.05 c | 0 | 1255 4944 33432 | 5000 0 nan | 0.000 % | 0.03/0.05 c =============================================================================== 0.03/0.05 c New solution: 465 0.03/0.05 o 465 0.03/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.03/0.05 c =============================================================================== 0.03/0.05 c | 0 | 1255 4945 34804 | 5000 0 nan | 0.000 % | 0.03/0.05 c =============================================================================== 0.03/0.05 c New solution: 464 0.03/0.05 o 464 0.03/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.03/0.05 c =============================================================================== 0.03/0.05 c | 0 | 1255 4946 36176 | 5000 0 nan | 0.000 % | 0.03/0.07 c | 100 | 1255 4946 36176 | 5500 100 465 | 8.528 % | 0.09/0.11 c | 251 | 1255 4946 36176 | 6050 251 466 | 8.528 % | 0.09/0.16 c | 476 | 1255 4946 36176 | 6655 476 467 | 8.528 % | 0.19/0.25 c | 813 | 1255 4946 36176 | 7320 813 467 | 8.528 % | 0.28/0.38 c | 1319 | 1255 4946 36176 | 8052 1319 469 | 8.528 % | 0.59/0.60 c | 2079 | 1255 4946 36176 | 8857 2079 469 | 8.528 % | 0.88/0.91 c | 3218 | 1255 4946 36176 | 9743 3218 469 | 8.528 % | 1.38/1.46 c | 4926 | 1255 4946 36176 | 10717 4926 470 | 8.528 % | 2.10/2.10 c | 7488 | 1255 4946 36176 | 11789 7488 469 | 8.528 % | 3.29/3.36 c | 11333 | 1255 4946 36176 | 12968 11333 469 | 8.528 % | 5.29/5.36 c | 17099 | 1255 4946 36176 | 14265 10110 469 | 8.528 % | 8.39/8.42 c | 25748 | 1255 4946 36176 | 15692 11147 469 | 8.528 % | 13.38/13.42 c | 38722 | 1255 4946 36176 | 17261 15772 471 | 8.528 % | 21.38/21.46 c | 58183 | 1255 4946 36176 | 18987 17002 468 | 8.528 % | 36.48/36.50 c | 87375 | 1255 4946 36176 | 20886 16065 471 | 8.528 % | 55.17/55.24 c | 131165 | 1255 4946 36176 | 22974 14860 465 | 8.528 % | 80.86/80.93 c | 196850 | 1255 4946 36176 | 25272 14628 468 | 8.528 % | 129.94/130.03 c | 295377 | 1255 4946 36176 | 27799 21000 467 | 8.528 % | 181.72/181.88 c There are 117 assigned variables. 117 in cost function. 186.32/186.48 c core #1 186.32/186.48 c core #2 186.32/186.48 c core #3 186.32/186.48 c core #4 186.32/186.48 c core #5 186.32/186.48 c core #6 186.32/186.48 c core #7 186.32/186.48 c core #8 186.32/186.48 c core #9 186.32/186.48 c core #10 186.32/186.48 c core #11 186.32/186.48 c core #12 186.32/186.48 c core #13 186.32/186.48 c core #14 186.32/186.48 c core #15 186.32/186.48 c core #16 186.32/186.48 c core #17 186.32/186.48 c core #18 186.32/186.48 c core #19 186.32/186.48 c core #20 186.32/186.48 c core #21 186.32/186.48 c core #22 186.32/186.48 c core #23 186.32/186.48 c core #24 186.32/186.48 c core #25 186.32/186.48 c core #26 186.32/186.48 c core #27 186.32/186.48 c core #28 186.32/186.48 c core #29 186.32/186.48 c core #30 186.32/186.48 c core #31 186.32/186.48 c core #32 186.32/186.48 c core #33 186.32/186.48 c core #34 186.32/186.48 c core #35 186.32/186.48 c core #36 186.32/186.48 c core #37 186.32/186.48 c core #38 186.32/186.48 c core #39 186.32/186.48 c core #40 186.32/186.48 c core #41 186.32/186.48 c core #42 186.32/186.48 c core #43 186.32/186.48 c core #44 186.32/186.48 c core #45 186.32/186.48 c core #46 186.32/186.48 c core #47 186.32/186.48 c core #48 186.32/186.48 c core #49 186.32/186.48 c core #50 186.32/186.48 c core #51 186.32/186.48 c core #52 186.32/186.48 c core #53 186.32/186.48 c core #54 186.32/186.48 c core #55 186.32/186.48 c core #56 186.32/186.48 c core #57 186.32/186.48 c core #58 186.32/186.48 c core #59 186.32/186.48 c core #60 186.32/186.48 c core #61 186.32/186.48 c core #62 186.32/186.48 c core #63 186.32/186.48 c core #64 186.32/186.48 c core #65 186.32/186.48 c core #66 186.32/186.48 c core #67 186.32/186.48 c core #68 186.32/186.48 c core #69 186.32/186.48 c core #70 186.32/186.48 c core #71 186.32/186.48 c core #72 186.32/186.48 c core #73 186.32/186.48 c core #74 186.32/186.48 c core #75 186.32/186.48 c core #76 186.32/186.48 c core #77 186.32/186.48 c core #78 186.32/186.48 c core #79 186.32/186.48 c core #80 186.32/186.48 c core #81 186.32/186.48 c core #82 186.32/186.48 c core #83 186.32/186.48 c core #84 186.32/186.48 c core #85 186.32/186.48 c core #86 186.32/186.48 c core #87 186.32/186.48 c core #88 186.32/186.48 c core #89 186.32/186.48 c core #90 186.32/186.48 c core #91 186.32/186.48 c core #92 186.32/186.48 c core #93 186.32/186.48 c core #94 186.32/186.48 c core #95 186.32/186.48 c core #96 186.32/186.48 c core #97 186.32/186.48 c core #98 186.32/186.48 c core #99 186.32/186.48 c core #100 186.32/186.48 c core #101 186.32/186.48 c core #102 186.32/186.48 c core #103 186.32/186.48 c core #104 186.32/186.48 c core #105 186.32/186.48 c core #106 186.32/186.48 c core #107 186.32/186.48 c core #108 186.32/186.48 c core #109 186.32/186.48 c core #110 186.32/186.48 c core #111 186.32/186.48 c core #112 186.32/186.48 c core #113 186.32/186.48 c core #114 186.32/186.48 c core #115 186.32/186.48 c core #116 186.32/186.48 c core #117 186.32/186.48 c core #118 186.32/186.48 c core #119 186.32/186.48 c core #120 186.32/186.48 c core #121 186.32/186.48 c core #122 186.32/186.48 c core #123 186.32/186.48 c core #124 186.32/186.48 c core #125 186.32/186.48 c core #126 186.32/186.48 c core #127 186.32/186.48 c core #128 186.32/186.48 c core #129 186.32/186.48 c core #130 186.32/186.48 c core #131 186.32/186.48 c core #132 186.32/186.48 c core #133 186.32/186.48 c core #134 186.32/186.48 c core #135 186.32/186.48 c core #136 186.32/186.48 c core #137 186.32/186.48 c core #138 186.32/186.48 c core #139 186.32/186.48 c core #140 186.32/186.48 c core #141 186.32/186.48 c core #142 186.32/186.48 c core #143 186.32/186.48 c core #144 186.32/186.48 c core #145 186.32/186.48 c core #146 186.32/186.48 c core #147 186.32/186.48 c core #148 186.32/186.48 c core #149 186.32/186.48 c core #150 186.32/186.48 c core #151 186.32/186.48 c core #152 186.32/186.48 c core #153 186.32/186.48 c core #154 186.32/186.48 c core #155 186.32/186.48 c core #156 186.32/186.48 c core #157 186.32/186.48 c core #158 186.32/186.48 c core #159 186.32/186.48 c core #160 186.32/186.48 c core #161 186.32/186.48 c core #162 186.32/186.48 c core #163 186.32/186.48 c core #164 186.32/186.48 c core #165 186.32/186.48 c core #166 186.32/186.48 c core #167 186.32/186.48 c core #168 186.32/186.48 c core #169 186.32/186.48 c core #170 186.32/186.48 c core #171 186.32/186.48 c core #172 186.32/186.48 c core #173 186.32/186.48 c core #174 186.32/186.48 c core #175 186.32/186.48 c core #176 186.32/186.48 c core #177 186.32/186.48 c core #178 186.32/186.48 c core #179 186.32/186.48 c core #180 186.32/186.49 c core #181 186.32/186.49 c core #182 186.32/186.49 c core #183 186.32/186.49 c core #184 186.32/186.49 c core #185 186.32/186.49 c core #186 186.32/186.49 c core #187 186.32/186.49 c core #188 186.32/186.49 c core #189 186.32/186.49 c core #190 186.32/186.49 c core #191 186.32/186.49 c core #192 186.32/186.49 c core #193 186.32/186.49 c core #194 186.32/186.49 c core #195 186.32/186.49 c core #196 186.32/186.49 c core #197 186.32/186.49 c core #198 186.32/186.49 c core #199 186.32/186.49 c core #200 186.32/186.49 c core #201 186.32/186.49 c core #202 186.32/186.49 c core #203 186.32/186.49 c core #204 186.32/186.49 c core #205 186.32/186.49 c core #206 186.32/186.49 c core #207 186.32/186.49 c core #208 186.32/186.49 c core #209 186.32/186.49 c core #210 186.32/186.49 c core #211 186.32/186.49 c core #212 186.32/186.49 c core #213 186.32/186.49 c core #214 186.32/186.49 c core #215 186.32/186.49 c core #216 186.32/186.49 c core #217 186.32/186.49 c core #218 186.32/186.49 c core #219 186.32/186.49 c core #220 186.32/186.49 c core #221 186.32/186.49 c core #222 186.32/186.49 c core #223 186.32/186.49 c core #224 186.32/186.49 c core #225 186.32/186.49 c core #226 186.32/186.49 c core #227 186.32/186.49 c core #228 186.32/186.49 c core #229 186.32/186.49 c core #230 186.32/186.49 c core #231 186.32/186.49 c core #232 186.32/186.49 c core #233 186.32/186.49 c core #234 186.32/186.49 c core #235 186.32/186.49 c core #236 186.32/186.49 c core #237 186.32/186.49 c core #238 186.32/186.49 c core #239 186.32/186.49 c core #240 186.32/186.49 c core #241 186.32/186.49 c core #242 186.32/186.49 c core #243 186.32/186.49 c core #244 186.32/186.49 c core #245 186.32/186.49 c core #246 186.32/186.49 c core #247 186.32/186.49 c core #248 186.32/186.49 c core #249 186.32/186.49 c core #250 186.32/186.49 c core #251 186.32/186.49 c core #252 186.32/186.49 c ============================[ Search Statistics ]============================== 186.32/186.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.32/186.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.32/186.49 c =============================================================================== 186.32/186.49 c | 0 | 2305 6454 40668 | 5000 0 nan | 0.000 % | 186.32/186.49 c =============================================================================== 186.42/186.51 c core #253 186.42/186.51 c ============================[ Search Statistics ]============================== 186.42/186.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.42/186.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.42/186.51 c =============================================================================== 186.42/186.51 c | 0 | 2348 6455 40742 | 5000 0 nan | 0.000 % | 186.42/186.51 c =============================================================================== 186.42/186.54 c core #254 186.42/186.54 c ============================[ Search Statistics ]============================== 186.42/186.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.42/186.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.42/186.54 c =============================================================================== 186.42/186.54 c | 0 | 2365 6456 40771 | 5000 0 nan | 0.000 % | 186.42/186.54 c =============================================================================== 186.42/186.56 c core #255 186.42/186.56 c ============================[ Search Statistics ]============================== 186.42/186.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.42/186.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.42/186.56 c =============================================================================== 186.42/186.56 c | 0 | 2388 6457 40816 | 5000 0 nan | 0.000 % | 186.42/186.57 c =============================================================================== 186.42/186.59 c core #256 186.42/186.59 c ============================[ Search Statistics ]============================== 186.42/186.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.42/186.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.42/186.59 c =============================================================================== 186.42/186.59 c | 0 | 2458 6458 40947 | 5000 0 nan | 0.000 % | 186.52/186.60 c | 100 | 2458 6458 40947 | 5500 100 12 | 11.708 % | 186.52/186.61 c =============================================================================== 186.52/186.63 c core #257 186.52/186.63 c ============================[ Search Statistics ]============================== 186.52/186.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.52/186.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.52/186.63 c =============================================================================== 186.52/186.63 c | 0 | 2639 6459 41270 | 5000 0 nan | 0.000 % | 186.52/186.64 c =============================================================================== 186.52/186.66 c core #258 186.52/186.66 c ============================[ Search Statistics ]============================== 186.52/186.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.52/186.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.52/186.66 c =============================================================================== 186.52/186.66 c | 0 | 2655 6460 41301 | 5000 0 nan | 0.000 % | 186.52/186.67 c | 103 | 2653 6460 41301 | 5500 103 9 | 10.010 % | 186.52/186.67 c =============================================================================== 186.52/186.69 c core #259 186.52/186.69 c ============================[ Search Statistics ]============================== 186.52/186.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.52/186.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.52/186.69 c =============================================================================== 186.52/186.69 c | 0 | 2717 6461 41419 | 5000 0 nan | 0.000 % | 186.62/186.71 c | 101 | 2717 6461 41419 | 5500 101 23 | 9.222 % | 186.62/186.72 c | 252 | 2711 6461 41419 | 6050 252 27 | 9.422 % | 186.62/186.74 c | 481 | 2710 6461 41419 | 6655 481 26 | 9.489 % | 186.62/186.74 c =============================================================================== 186.62/186.76 c core #260 186.62/186.76 c ============================[ Search Statistics ]============================== 186.62/186.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.62/186.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.62/186.76 c =============================================================================== 186.62/186.76 c | 0 | 2821 6462 41622 | 5000 0 nan | 0.000 % | 186.62/186.78 c | 100 | 2821 6462 41622 | 5500 100 48 | 8.765 % | 186.62/186.79 c | 250 | 2821 6462 41622 | 6050 250 55 | 9.088 % | 186.72/186.81 c | 476 | 2821 6462 41622 | 6655 476 49 | 9.088 % | 186.72/186.85 c | 816 | 2820 6462 41622 | 7320 816 43 | 9.088 % | 186.83/186.90 c | 1325 | 2811 6462 41622 | 8052 1324 41 | 9.120 % | 186.83/186.95 c =============================================================================== 186.83/186.98 c core #261 186.83/186.98 c ============================[ Search Statistics ]============================== 186.83/186.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.83/186.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.83/186.98 c =============================================================================== 186.83/186.98 c | 0 | 2853 6463 41680 | 5000 0 nan | 0.000 % | 186.83/186.99 c | 100 | 2853 6463 41680 | 5500 100 38 | 8.499 % | 186.93/187.00 c | 250 | 2853 6463 41680 | 6050 250 24 | 8.499 % | 186.93/187.02 c | 475 | 2851 6463 41680 | 6655 361 18 | 8.563 % | 186.93/187.02 c =============================================================================== 186.93/187.05 c core #262 186.93/187.05 c ============================[ Search Statistics ]============================== 186.93/187.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.93/187.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.93/187.05 c =============================================================================== 186.93/187.05 c | 0 | 2990 6464 41943 | 5000 0 nan | 0.000 % | 186.93/187.06 c | 100 | 2990 6464 41943 | 5500 100 26 | 7.830 % | 186.93/187.07 c | 250 | 2990 6464 41943 | 6050 250 20 | 7.830 % | 186.93/187.09 c | 476 | 2990 6464 41943 | 6655 476 18 | 7.830 % | 187.02/187.12 c | 814 | 2990 6464 41943 | 7320 814 20 | 7.830 % | 187.02/187.17 c | 1321 | 2989 6464 41943 | 8052 1320 21 | 7.892 % | 187.12/187.24 c | 2080 | 2989 6464 41943 | 8857 2079 24 | 7.892 % | 187.22/187.33 c =============================================================================== 187.22/187.36 c core #263 187.22/187.36 c ============================[ Search Statistics ]============================== 187.22/187.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.22/187.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.22/187.36 c =============================================================================== 187.22/187.36 c | 0 | 3018 6465 41998 | 5000 0 nan | 0.000 % | 187.22/187.37 c =============================================================================== 187.22/187.40 c core #264 187.22/187.40 c ============================[ Search Statistics ]============================== 187.22/187.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.22/187.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.22/187.40 c =============================================================================== 187.22/187.40 c | 0 | 3082 6466 42224 | 5000 0 nan | 0.000 % | 187.31/187.41 c | 101 | 3082 6466 42224 | 5500 101 24 | 7.336 % | 187.31/187.42 c | 254 | 3082 6466 42224 | 6050 254 16 | 7.336 % | 187.31/187.44 c | 480 | 3082 6466 42224 | 6655 480 20 | 7.336 % | 187.31/187.47 c | 821 | 3082 6466 42224 | 7320 821 20 | 7.336 % | 187.42/187.53 c | 1327 | 3079 6466 42224 | 8052 772 15 | 7.426 % | 187.42/187.53 c =============================================================================== 187.42/187.57 c core #265 187.42/187.57 c ============================[ Search Statistics ]============================== 187.42/187.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.42/187.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.42/187.57 c =============================================================================== 187.42/187.57 c | 0 | 3241 6467 42531 | 5000 0 nan | 0.000 % | 187.42/187.59 c | 100 | 3241 6467 42531 | 5500 100 33 | 6.707 % | 187.52/187.60 c | 253 | 3241 6467 42531 | 6050 253 44 | 6.707 % | 187.52/187.61 c =============================================================================== 187.52/187.63 c core #266 187.52/187.63 c ============================[ Search Statistics ]============================== 187.52/187.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.52/187.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.52/187.63 c =============================================================================== 187.52/187.63 c | 0 | 3253 6468 42555 | 5000 0 nan | 0.000 % | 187.52/187.64 c =============================================================================== 187.52/187.67 c core #267 187.52/187.67 c ============================[ Search Statistics ]============================== 187.52/187.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.52/187.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.52/187.67 c =============================================================================== 187.52/187.67 c | 0 | 3340 6469 42721 | 5000 0 nan | 0.000 % | 187.52/187.68 c | 104 | 3340 6469 42721 | 5500 104 42 | 6.311 % | 187.52/187.69 c | 261 | 3340 6469 42721 | 6050 261 39 | 6.311 % | 187.62/187.71 c | 490 | 3340 6469 42721 | 6655 490 40 | 6.311 % | 187.62/187.74 c | 828 | 3340 6469 42721 | 7320 828 35 | 6.311 % | 187.62/187.79 c | 1344 | 3340 6469 42721 | 8052 1344 34 | 6.311 % | 187.72/187.87 c | 2103 | 3340 6469 42721 | 8857 2103 31 | 6.311 % | 187.93/188.02 c | 3244 | 3340 6469 42721 | 9743 3244 32 | 6.312 % | 188.12/188.27 c | 4953 | 3337 6469 42721 | 10717 4950 36 | 6.396 % | 188.62/188.78 c | 7517 | 3329 6469 42721 | 11789 7513 41 | 6.620 % | 189.82/189.99 c | 11361 | 3329 6469 42721 | 12968 11357 46 | 6.620 % | 191.92/192.07 c | 17127 | 3329 6469 42721 | 14265 10388 60 | 6.620 % | 195.02/195.14 c | 25780 | 3329 6469 42721 | 15692 11760 67 | 6.620 % | 199.41/199.57 c | 38754 | 3329 6469 42721 | 17261 8614 68 | 6.620 % | 205.22/205.37 c | 58215 | 3315 6469 42721 | 18987 10494 48 | 7.013 % | 209.72/209.89 c =============================================================================== 209.82/209.99 c core #268 209.82/209.99 c ============================[ Search Statistics ]============================== 209.82/209.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.82/209.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.82/209.99 c =============================================================================== 209.82/209.99 c | 0 | 3393 6470 42815 | 5000 0 nan | 0.000 % | 209.92/210.02 c | 101 | 3392 6470 42815 | 5500 101 19 | 6.129 % | 209.92/210.03 c | 251 | 3391 6470 42815 | 6050 251 17 | 6.129 % | 209.92/210.04 c =============================================================================== 209.92/210.07 c core #269 209.92/210.07 c ============================[ Search Statistics ]============================== 209.92/210.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.92/210.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.92/210.07 c =============================================================================== 209.92/210.07 c | 0 | 3577 6471 43166 | 5000 0 nan | 0.000 % | 209.92/210.09 c | 101 | 3577 6471 43166 | 5500 101 68 | 5.195 % | 210.02/210.11 c | 253 | 3577 6471 43166 | 6050 253 62 | 5.195 % | 210.02/210.14 c | 479 | 3577 6471 43166 | 6655 479 59 | 5.195 % | 210.02/210.17 c | 822 | 3576 6471 43166 | 7320 821 59 | 5.221 % | 210.12/210.23 c | 1330 | 3576 6471 43166 | 8052 1329 61 | 5.221 % | 210.21/210.32 c | 2089 | 3576 6471 43166 | 8857 2088 68 | 5.221 % | 210.41/210.50 c | 3228 | 3576 6471 43166 | 9743 3227 63 | 5.221 % | 210.71/210.84 c | 4938 | 3576 6471 43166 | 10717 4937 71 | 5.221 % | 211.31/211.49 c | 7500 | 3576 6471 43166 | 11789 7499 76 | 5.221 % | 212.31/212.42 c | 11347 | 3576 6471 43166 | 12968 11346 77 | 5.221 % | 213.81/213.95 c | 17113 | 3570 6471 43166 | 14265 10470 73 | 5.380 % | 216.41/216.56 c | 25762 | 3570 6471 43166 | 15692 11762 73 | 5.380 % | 220.71/220.88 c | 38736 | 3570 6471 43166 | 17261 8746 66 | 5.380 % | 227.31/227.42 c | 58197 | 3570 6471 43166 | 18987 10562 82 | 5.380 % | 227.91/228.00 c =============================================================================== 227.91/228.10 c core #270 227.91/228.10 c ============================[ Search Statistics ]============================== 227.91/228.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.91/228.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.91/228.10 c =============================================================================== 227.91/228.10 c | 0 | 3603 6472 43218 | 5000 0 nan | 0.000 % | 228.01/228.13 c | 100 | 3603 6472 43218 | 5500 100 38 | 5.159 % | 228.01/228.14 c | 250 | 3599 6472 43218 | 6050 250 26 | 5.317 % | 228.01/228.16 c | 475 | 3599 6472 43218 | 6655 475 34 | 5.317 % | 228.01/228.19 c | 815 | 3597 6472 43218 | 7320 812 34 | 5.317 % | 228.11/228.24 c | 1322 | 3597 6472 43218 | 8052 1319 37 | 5.317 % | 228.20/228.32 c | 2085 | 3597 6472 43218 | 8857 2082 38 | 5.317 % | 228.31/228.48 c | 3226 | 3597 6472 43218 | 9743 3223 38 | 5.317 % | 228.61/228.77 c | 4934 | 3597 6472 43218 | 10717 4931 41 | 5.317 % | 229.11/229.29 c | 7497 | 3597 6472 43218 | 11789 7494 41 | 5.317 % | 229.82/229.92 c | 11342 | 3597 6472 43218 | 12968 11339 41 | 5.317 % | 230.71/230.81 c | 17108 | 3596 6472 43218 | 14265 8463 36 | 5.344 % | 232.50/232.61 c =============================================================================== 232.80/232.91 c core #271 232.80/232.91 c ============================[ Search Statistics ]============================== 232.80/232.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.80/232.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.80/232.91 c =============================================================================== 232.80/232.91 c | 0 | 3818 6473 43642 | 5000 0 nan | 0.000 % | 232.80/232.94 c | 100 | 3818 6473 43642 | 5500 100 25 | 4.550 % | 232.80/232.95 c | 252 | 3818 6473 43642 | 6050 252 19 | 4.550 % | 232.80/232.97 c | 478 | 3818 6473 43642 | 6655 478 23 | 4.550 % | 232.80/233.00 c | 815 | 3818 6473 43642 | 7320 815 24 | 4.550 % | 232.91/233.04 c | 1322 | 3818 6473 43642 | 8052 1322 28 | 4.550 % | 233.01/233.13 c | 2083 | 3818 6473 43642 | 8857 2083 31 | 4.550 % | 233.12/233.28 c | 3229 | 3818 6473 43642 | 9743 3229 34 | 4.550 % | 233.41/233.53 c | 4937 | 3818 6473 43642 | 10717 4937 33 | 4.550 % | 233.80/233.92 c | 7503 | 3818 6473 43642 | 11789 7503 37 | 4.550 % | 234.50/234.64 c | 11347 | 3817 6473 43642 | 12968 9379 39 | 4.575 % | 235.81/235.93 c | 17113 | 3817 6473 43642 | 14265 8489 46 | 4.575 % | 237.10/237.21 c =============================================================================== 237.51/237.62 c core #272 237.51/237.62 c ============================[ Search Statistics ]============================== 237.51/237.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.51/237.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.51/237.62 c =============================================================================== 237.51/237.62 c | 0 | 4010 6474 44022 | 5000 0 nan | 0.000 % | 237.51/237.65 c | 100 | 4010 6474 44022 | 5500 100 55 | 4.250 % | 237.51/237.66 c | 250 | 4010 6474 44022 | 6050 250 73 | 4.250 % | 237.51/237.68 c | 475 | 4010 6474 44022 | 6655 475 64 | 4.250 % | 237.60/237.73 c | 812 | 4010 6474 44022 | 7320 812 63 | 4.250 % | 237.71/237.80 c | 1318 | 4010 6474 44022 | 8052 1318 72 | 4.250 % | 237.80/237.91 c | 2077 | 4010 6474 44022 | 8857 2077 69 | 4.250 % | 237.91/238.07 c | 3217 | 4010 6474 44022 | 9743 3217 61 | 4.250 % | 238.20/238.38 c | 4927 | 4010 6474 44022 | 10717 4927 57 | 4.250 % | 238.61/238.77 c | 7490 | 4010 6474 44022 | 11789 7490 53 | 4.250 % | 239.30/239.44 c | 11338 | 4010 6474 44022 | 12968 11338 57 | 4.250 % | 240.81/240.93 c | 17106 | 4010 6474 44022 | 14265 10400 74 | 4.250 % | 242.80/242.96 c | 25755 | 4010 6474 44022 | 15692 11797 81 | 4.250 % | 246.39/246.57 c | 38732 | 4009 6474 44022 | 17261 12499 96 | 4.274 % | 255.89/256.07 c | 58199 | 4008 6474 44022 | 18987 13394 162 | 4.298 % | 278.09/278.27 c | 87395 | 4008 6474 44022 | 20886 13518 163 | 4.298 % | 314.98/315.19 c | 131184 | 4008 6474 44022 | 22974 14683 169 | 4.298 % | 316.07/316.30 c =============================================================================== 320.17/320.37 c core #273 320.17/320.37 c ============================[ Search Statistics ]============================== 320.17/320.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 320.17/320.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 320.17/320.37 c =============================================================================== 320.17/320.37 c | 0 | 4271 6475 44542 | 5000 0 nan | 0.000 % | 320.27/320.41 c | 102 | 4271 6475 44542 | 5500 102 37 | 3.958 % | 320.27/320.43 c | 257 | 4271 6475 44542 | 6050 257 38 | 3.958 % | 320.27/320.46 c | 482 | 4271 6475 44542 | 6655 482 39 | 3.958 % | 320.37/320.50 c | 819 | 4271 6475 44542 | 7320 819 39 | 3.958 % | 320.37/320.56 c | 1326 | 4271 6475 44542 | 8052 1326 40 | 3.958 % | 320.47/320.64 c | 2087 | 4271 6475 44542 | 8857 2087 40 | 3.958 % | 320.57/320.79 c | 3227 | 4271 6475 44542 | 9743 3227 43 | 3.958 % | 320.87/321.05 c | 4935 | 4271 6475 44542 | 10717 4935 44 | 3.958 % | 321.28/321.42 c | 7500 | 4271 6475 44542 | 11789 7500 45 | 3.958 % | 322.08/322.28 c | 11355 | 4271 6475 44542 | 12968 11355 57 | 3.958 % | 323.87/324.02 c | 17123 | 4271 6475 44542 | 14265 10442 82 | 3.958 % | 327.17/327.38 c | 25774 | 4271 6475 44542 | 15692 11769 80 | 3.958 % | 332.27/332.45 c | 38751 | 4271 6475 44542 | 17261 8651 90 | 3.958 % | 338.96/339.12 c | 58212 | 4271 6475 44542 | 18987 10375 111 | 3.958 % | 347.46/347.69 c | 87405 | 4271 6475 44542 | 20886 10475 104 | 3.958 % | 363.45/363.64 c | 131195 | 4271 6475 44542 | 22974 11682 86 | 3.958 % | 392.54/392.77 c | 196879 | 4271 6475 44542 | 25272 18800 99 | 3.958 % | 430.33/430.56 c | 295405 | 4270 6475 44542 | 27799 15108 96 | 3.980 % | 446.82/447.09 c =============================================================================== 452.72/452.99 c core #274 452.72/452.99 c ============================[ Search Statistics ]============================== 452.72/452.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 452.72/452.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 452.72/452.99 c =============================================================================== 452.72/452.99 c | 0 | 4555 6476 45107 | 5000 0 nan | 0.000 % | 452.82/453.06 c =============================================================================== 452.93/453.13 c core #275 452.93/453.13 c ============================[ Search Statistics ]============================== 452.93/453.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 452.93/453.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 452.93/453.13 c =============================================================================== 452.93/453.13 c | 0 | 4576 6477 45145 | 5000 0 nan | 0.000 % | 452.93/453.14 c | 101 | 4576 6477 45145 | 5500 101 58 | 3.562 % | 452.93/453.15 c | 251 | 4575 6477 45145 | 6050 251 31 | 3.604 % | 452.93/453.16 c | 477 | 4571 6477 45145 | 6655 477 23 | 3.667 % | 452.93/453.18 c | 816 | 4569 6477 45145 | 7320 816 22 | 3.709 % | 452.93/453.19 c =============================================================================== 453.02/453.22 c core #276 453.02/453.22 c ============================[ Search Statistics ]============================== 453.02/453.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 453.02/453.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 453.02/453.22 c =============================================================================== 453.02/453.22 c | 0 | 4686 6478 45358 | 5000 0 nan | 0.000 % | 453.02/453.25 c | 100 | 4686 6478 45358 | 5500 100 82 | 3.342 % | 453.02/453.26 c | 250 | 4686 6478 45358 | 6050 250 47 | 3.342 % | 453.02/453.29 c | 476 | 4686 6478 45358 | 6655 476 48 | 3.342 % | 453.12/453.34 c | 813 | 4686 6478 45358 | 7320 813 57 | 3.342 % | 453.21/453.40 c | 1319 | 4686 6478 45358 | 8052 1319 58 | 3.342 % | 453.32/453.54 c | 2078 | 4686 6478 45358 | 8857 2078 88 | 3.342 % | 453.52/453.72 c | 3223 | 4686 6478 45358 | 9743 3223 85 | 3.342 % | 453.82/454.04 c | 4932 | 4686 6478 45358 | 10717 4932 80 | 3.342 % | 454.32/454.57 c | 7494 | 4686 6478 45358 | 11789 7494 75 | 3.342 % | 455.42/455.64 c | 11338 | 4686 6478 45358 | 12968 11338 82 | 3.342 % | 457.11/457.37 c | 17110 | 4686 6478 45358 | 14265 10476 84 | 3.342 % | 460.62/460.83 c | 25763 | 4686 6478 45358 | 15692 11728 87 | 3.342 % | 466.22/466.45 c | 38739 | 4686 6478 45358 | 17261 8661 88 | 3.342 % | 475.91/476.20 c | 58200 | 4686 6478 45358 | 18987 10466 105 | 3.342 % | 489.71/489.99 c | 87396 | 4686 6478 45358 | 20886 10522 86 | 3.342 % | 510.10/510.30 c | 131185 | 4686 6478 45358 | 22974 11713 103 | 3.342 % | 543.99/544.20 c | 196870 | 4686 6478 45358 | 25272 18393 152 | 3.342 % | 600.97/601.22 c | 295398 | 4686 6478 45358 | 27799 23633 121 | 3.342 % | 698.03/698.39 c | 443188 | 4686 6478 45358 | 30579 21378 129 | 3.342 % | 892.15/892.55 c | 664871 | 4686 6478 45358 | 33637 21586 154 | 3.342 % | 1247.23/1247.75 c | 997397 | 4686 6478 45358 | 37001 28860 203 | 3.342 % |
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-2656070-1276358871/watcher-2656070-1276358871 -o /tmp/evaluation-result-2656070-1276358871/solver-2656070-1276358871 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656070-1276358871.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11640 /proc/meminfo: memFree=1727580/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=3068 CPUtime=0 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 323 0 0 0 0 0 0 0 22 0 1 0 9538940 3141632 241 1992294400 134512640 135751879 4290214320 18446744073709551615 135225262 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 767 241 142 303 0 382 0 [startup+0.0388079 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11640 /proc/meminfo: memFree=1727580/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=3200 CPUtime=0.03 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 422 0 0 0 3 0 0 0 23 0 1 0 9538940 3276800 340 1992294400 134512640 135751879 4290214320 18446744073709551615 134561724 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 800 345 193 303 0 415 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3200 [startup+0.100819 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11640 /proc/meminfo: memFree=1727580/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=3540 CPUtime=0.09 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 623 0 0 0 9 0 0 0 23 0 1 0 9538940 3624960 461 1992294400 134512640 135751879 4290214320 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 885 461 147 303 0 580 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3540 [startup+0.300856 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11640 /proc/meminfo: memFree=1727580/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=5208 CPUtime=0.28 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 1020 0 0 0 28 0 0 0 24 0 1 0 9538940 5332992 858 1992294400 134512640 135751879 4290214320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 1302 858 147 303 0 997 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5208 [startup+0.700929 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11640 /proc/meminfo: memFree=1727580/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=8028 CPUtime=0.69 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 1743 0 0 0 68 1 0 0 25 0 1 0 9538940 8220672 1581 1992294400 134512640 135751879 4290214320 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 2007 1581 147 303 0 1702 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8028 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11641 /proc/meminfo: memFree=1719760/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=13172 CPUtime=1.49 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 3028 0 0 0 146 3 0 0 25 0 1 0 9538940 13488128 2866 1992294400 134512640 135751879 4290214320 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 3293 2866 147 303 0 2988 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13172 [startup+3.10037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11641 /proc/meminfo: memFree=1711576/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=23700 CPUtime=3.09 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 5656 0 0 0 303 6 0 0 25 0 1 0 9538940 24268800 5494 1992294400 134512640 135751879 4290214320 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 5925 5494 147 303 0 5620 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23700 [startup+6.30095 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11641 /proc/meminfo: memFree=1692480/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=42364 CPUtime=6.29 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 10309 0 0 0 618 11 0 0 25 0 1 0 9538940 43380736 10147 1992294400 134512640 135751879 4290214320 18446744073709551615 134519017 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 10591 10147 148 303 0 10286 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42364 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11643 /proc/meminfo: memFree=1655652/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=76628 CPUtime=12.69 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 18878 0 0 0 1251 18 0 0 25 0 1 0 9538940 78467072 18716 1992294400 134512640 135751879 4290214320 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 19157 18716 148 303 0 18852 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76628 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11643 /proc/meminfo: memFree=1596008/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=135016 CPUtime=25.48 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 33470 0 0 0 2518 30 0 0 25 0 1 0 9538940 138256384 33308 1992294400 134512640 135751879 4290214320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 33754 33308 148 303 0 33449 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 135016 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11643 /proc/meminfo: memFree=1488128/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=242828 CPUtime=51.07 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 60425 0 0 0 5050 57 0 0 25 0 1 0 9538940 248655872 60263 1992294400 134512640 135751879 4290214320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 60707 60263 148 303 0 60402 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 242828 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11645 /proc/meminfo: memFree=1255628/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=473504 CPUtime=102.26 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 118068 0 0 0 10112 114 0 0 25 0 1 0 9538940 484868096 117906 1992294400 134512640 135751879 4290214320 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 118376 117906 148 303 0 118071 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 473504 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11647 /proc/meminfo: memFree=1033420/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=698148 CPUtime=162.23 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 174185 0 0 0 16057 166 0 0 25 0 1 0 9538940 714903552 174023 1992294400 134512640 135751879 4290214320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 174537 174023 148 303 0 174232 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 698148 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11647 /proc/meminfo: memFree=954804/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=773016 CPUtime=222.21 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 193028 0 0 0 21992 229 0 0 25 0 1 0 9538940 791568384 192837 1992294400 134512640 135751879 4290214320 18446744073709551615 134616879 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 193254 192837 151 303 0 192949 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 773016 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11649 /proc/meminfo: memFree=887968/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=840628 CPUtime=282.18 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 209819 0 0 0 27921 297 0 0 25 0 1 0 9538940 860803072 209628 1992294400 134512640 135751879 4290214320 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 210157 209628 151 303 0 209852 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 840628 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11651 /proc/meminfo: memFree=849528/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=878404 CPUtime=342.17 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 219349 0 0 0 33871 346 0 0 25 0 1 0 9538940 899485696 219158 1992294400 134512640 135751879 4290214320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 219601 219158 151 303 0 219296 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 878404 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11653 /proc/meminfo: memFree=778352/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=950128 CPUtime=402.14 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 237241 0 0 0 39799 415 0 0 25 0 1 0 9538940 972931072 237050 1992294400 134512640 135751879 4290214320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 237532 237050 151 303 0 237227 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 950128 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11655 /proc/meminfo: memFree=717592/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1009456 CPUtime=462.11 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 252108 0 0 0 45733 478 0 0 25 0 1 0 9538940 1033682944 251917 1992294400 134512640 135751879 4290214320 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 252364 251917 151 303 0 252059 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 1009456 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11655 /proc/meminfo: memFree=670472/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1057120 CPUtime=522.09 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 263990 0 0 0 51677 532 0 0 25 0 1 0 9538940 1082490880 263799 1992294400 134512640 135751879 4290214320 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 264280 263799 151 303 0 263975 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 1057120 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11657 /proc/meminfo: memFree=598552/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1128760 CPUtime=582.08 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 281864 0 0 0 57626 582 0 0 25 0 1 0 9538940 1155850240 281673 1992294400 134512640 135751879 4290214320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 282190 281673 151 303 0 281885 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 1128760 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11659 /proc/meminfo: memFree=536056/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1190768 CPUtime=642.06 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 297350 0 0 0 63573 633 0 0 25 0 1 0 9538940 1219346432 297159 1992294400 134512640 135751879 4290214320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 297692 297159 151 303 0 297387 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 1190768 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11661 /proc/meminfo: memFree=473808/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1253460 CPUtime=702.03 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 313008 0 0 0 69520 683 0 0 25 0 1 0 9538940 1283543040 312817 1992294400 134512640 135751879 4290214320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 313365 312817 151 303 0 313060 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 1253460 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11663 /proc/meminfo: memFree=417264/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1309660 CPUtime=762.01 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 327004 0 0 0 75479 722 0 0 25 0 1 0 9538940 1341091840 326813 1992294400 134512640 135751879 4290214320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 327415 326813 151 303 0 327110 0 Current children cumulated CPU time (s) 762.01 Current children cumulated vsize (KiB) 1309660 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11663 /proc/meminfo: memFree=362580/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1364908 CPUtime=821.99 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 340784 0 0 0 81441 758 0 0 25 0 1 0 9538940 1397665792 340593 1992294400 134512640 135751879 4290214320 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 341227 340593 151 303 0 340922 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 1364908 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11665 /proc/meminfo: memFree=304920/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1422172 CPUtime=881.96 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 355059 0 0 0 87397 799 0 0 25 0 1 0 9538940 1456304128 354868 1992294400 134512640 135751879 4290214320 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 355543 354868 151 303 0 355238 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 1422172 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11667 /proc/meminfo: memFree=246516/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1480776 CPUtime=941.94 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 369697 0 0 0 93353 841 0 0 25 0 1 0 9538940 1516314624 369506 1992294400 134512640 135751879 4290214320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 370194 369506 151 303 0 369889 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 1480776 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11669 /proc/meminfo: memFree=189972/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1536760 CPUtime=1001.92 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 383677 0 0 0 99314 878 0 0 25 0 1 0 9538940 1573642240 383486 1992294400 134512640 135751879 4290214320 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 384190 383486 151 303 0 383885 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 1536760 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11671 /proc/meminfo: memFree=135288/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1592808 CPUtime=1061.89 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 397672 0 0 0 105277 912 0 0 25 0 1 0 9538940 1631035392 397481 1992294400 134512640 135751879 4290214320 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 398202 397481 151 303 0 397897 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 1592808 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11671 /proc/meminfo: memFree=79240/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1647524 CPUtime=1121.87 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 411297 0 0 0 111243 944 0 0 25 0 1 0 9538940 1687064576 411106 1992294400 134512640 135751879 4290214320 18446744073709551615 134602805 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 411881 411106 151 303 0 411576 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1647524 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11673 /proc/meminfo: memFree=44644/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1682492 CPUtime=1181.85 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 420017 0 0 0 117216 969 0 0 25 0 1 0 9538940 1722871808 419826 1992294400 134512640 135751879 4290214320 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 420623 419826 151 303 0 420318 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1682492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11675 /proc/meminfo: memFree=10572/2059040 swapFree=4192956/4192956 [pid=11640] ppid=11638 vsize=1734380 CPUtime=1241.83 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 432918 0 0 0 123182 1001 0 0 25 0 1 0 9538940 1776005120 432727 1992294400 134512640 135751879 4290214320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 433595 432727 151 303 0 433290 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1734380 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11677 /proc/meminfo: memFree=10488/2059040 swapFree=4192952/4192956 [pid=11640] ppid=11638 vsize=1783060 CPUtime=1301.82 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 445083 0 0 0 129146 1036 0 0 25 0 1 0 9538940 1825853440 444892 1992294400 134512640 135751879 4290214320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 445765 444892 151 303 0 445460 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1783060 [startup+1362.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11679 /proc/meminfo: memFree=9600/2059040 swapFree=4188604/4192956 [pid=11640] ppid=11638 vsize=1833312 CPUtime=1361.79 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 457609 0 0 0 135114 1065 0 0 25 0 1 0 9538940 1877311488 457418 1992294400 134512640 135751879 4290214320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 458328 457418 151 303 0 458023 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1833312 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1375.2 s] /proc/loadavg: 1.07 1.02 1.00 2/107 11679 /proc/meminfo: memFree=10712/2059040 swapFree=4177492/4192956 [pid=11640] ppid=11638 vsize=1843316 CPUtime=1374.69 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4202496 460105 0 0 0 136398 1071 0 0 25 0 1 0 9538940 1887555584 459914 1992294400 134512640 135751879 4290214320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11640/statm: 460829 459914 151 303 0 460524 0 Current children cumulated CPU time (s) 1374.69 Current children cumulated vsize (KiB) 1843316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1375.31 s] /proc/loadavg: 1.07 1.02 1.00 2/107 11679 /proc/meminfo: memFree=10712/2059040 swapFree=4177492/4192956 [pid=11640] ppid=11638 vsize=0 CPUtime=1374.79 /proc/11640/stat : 11640 (wbo1.4b) R 11638 11640 11274 0 -1 4203524 460105 0 0 0 136398 1081 0 0 25 0 1 0 9538940 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/11640/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1374.79 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1375.39 CPU time (s): 1374.88 CPU user time (s): 1363.98 CPU system time (s): 10.8933 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 1843316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1363.98 system time used= 10.8933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460105 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= 13 involuntary context switches= 17044 runsolver used 2.88356 second user time and 6.90495 second system time The end
Begin job on node027 at 2010-06-12 18:07:51 IDJOB=2656070 IDBENCH=1873 IDSOLVER=1161 FILE ID=node027/2656070-1276358871 PBS_JOBID= 11173209 Free space on /tmp= 62448 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656070-1276358871/watcher-2656070-1276358871 -o /tmp/evaluation-result-2656070-1276358871/solver-2656070-1276358871 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656070-1276358871.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0 RANDOM SEED=1834806036 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1728108 kB Buffers: 54008 kB Cached: 147268 kB SwapCached: 0 kB Active: 151792 kB Inactive: 108912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1728108 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3012 kB Writeback: 0 kB AnonPages: 59348 kB Mapped: 15464 kB Slab: 48268 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180996 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node027 at 2010-06-12 18:30:48