Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.14 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f600.opb |
MD5SUM | 2b1f0bdf934439fa3364f5fdf4570849 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1200 |
Total number of constraints | 3150 |
Number of constraints which are clauses | 3150 |
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 | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 1200 |
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 | 1200 |
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 | 1200 |
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-2655845-1276453905.opb. 0.00/0.00 c Instance file HOME/instance-2655845-1276453905.opb 0.00/0.00 c File size is 104111 bytes. 0.00/0.01 c Highest Coefficient sum: 4 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1200 | 0.00/0.01 c | Number Clauses: 3150 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1200 3150 8850 | 5000 0 nan | 0.000 % | 0.00/0.03 c | 100 | 1200 3150 8850 | 5500 100 31 | 0.000 % | 0.00/0.04 c | 252 | 1200 3150 8850 | 6050 252 27 | 0.000 % | 0.04/0.06 c | 477 | 1200 3150 8850 | 6655 477 27 | 0.000 % | 0.04/0.09 c | 814 | 1200 3150 8850 | 7320 814 27 | 0.000 % | 0.09/0.13 c | 1321 | 1200 3150 8850 | 8052 1321 27 | 0.000 % | 0.19/0.20 c | 2080 | 1200 3150 8850 | 8857 2080 27 | 0.000 % | 0.29/0.33 c | 3220 | 1200 3150 8850 | 9743 3220 27 | 0.000 % | 0.49/0.56 c | 4930 | 1200 3150 8850 | 10717 4930 27 | 0.000 % | 0.89/0.97 c | 7493 | 1200 3150 8850 | 11789 7493 27 | 0.000 % | 1.79/1.83 c | 11338 | 1200 3150 8850 | 12968 11338 27 | 0.000 % | 2.99/3.03 c | 17104 | 1200 3150 8850 | 14265 10570 28 | 0.000 % | 4.99/5.09 c | 25753 | 1200 3150 8850 | 15692 12024 29 | 0.000 % | 8.39/8.46 c | 38730 | 1200 3150 8850 | 17261 9176 28 | 0.000 % | 13.58/13.67 c | 58193 | 1200 3150 8850 | 18987 11229 26 | 0.000 % | 22.78/22.87 c | 87386 | 1200 3150 8850 | 20886 11783 27 | 0.000 % | 38.38/38.40 c | 131177 | 1200 3150 8850 | 22974 13527 28 | 0.000 % | 64.66/64.70 c | 196861 | 1200 3150 8850 | 25272 21508 27 | 0.000 % | 103.35/103.42 c | 295388 | 1200 3150 8850 | 27799 18253 27 | 0.000 % | 169.23/169.31 c | 443179 | 1200 3150 8850 | 30579 16515 28 | 0.000 % | 181.42/181.59 c There are 0 assigned variables. 0 in cost function. 183.53/183.69 c core #1 183.53/183.69 c core #2 183.53/183.69 c core #3 183.53/183.69 c core #4 183.53/183.69 c core #5 183.53/183.69 c core #6 183.53/183.69 c core #7 183.53/183.69 c core #8 183.53/183.69 c core #9 183.53/183.69 c core #10 183.53/183.69 c core #11 183.53/183.69 c core #12 183.53/183.69 c core #13 183.53/183.69 c core #14 183.53/183.69 c core #15 183.53/183.69 c core #16 183.53/183.69 c core #17 183.53/183.69 c core #18 183.53/183.69 c core #19 183.53/183.69 c core #20 183.53/183.69 c core #21 183.53/183.69 c core #22 183.53/183.69 c core #23 183.53/183.69 c core #24 183.53/183.69 c core #25 183.53/183.69 c core #26 183.53/183.69 c core #27 183.53/183.69 c core #28 183.53/183.69 c core #29 183.53/183.69 c core #30 183.53/183.69 c core #31 183.53/183.69 c core #32 183.53/183.69 c core #33 183.53/183.69 c core #34 183.53/183.69 c core #35 183.53/183.69 c core #36 183.53/183.69 c core #37 183.53/183.69 c core #38 183.53/183.69 c core #39 183.53/183.69 c core #40 183.53/183.69 c core #41 183.53/183.69 c core #42 183.53/183.69 c core #43 183.53/183.69 c core #44 183.53/183.69 c core #45 183.53/183.69 c core #46 183.53/183.69 c core #47 183.53/183.69 c core #48 183.53/183.69 c core #49 183.53/183.69 c core #50 183.53/183.69 c core #51 183.53/183.69 c core #52 183.53/183.69 c core #53 183.53/183.69 c core #54 183.53/183.69 c core #55 183.53/183.69 c core #56 183.53/183.69 c core #57 183.53/183.69 c core #58 183.53/183.69 c core #59 183.53/183.69 c core #60 183.53/183.69 c core #61 183.53/183.69 c core #62 183.53/183.69 c core #63 183.53/183.69 c core #64 183.53/183.69 c core #65 183.53/183.69 c core #66 183.53/183.69 c core #67 183.53/183.69 c core #68 183.53/183.69 c core #69 183.53/183.69 c core #70 183.53/183.69 c core #71 183.53/183.69 c core #72 183.53/183.69 c core #73 183.53/183.69 c core #74 183.53/183.69 c core #75 183.53/183.69 c core #76 183.53/183.69 c core #77 183.53/183.69 c core #78 183.53/183.69 c core #79 183.53/183.69 c core #80 183.53/183.69 c core #81 183.53/183.69 c core #82 183.53/183.69 c core #83 183.53/183.69 c core #84 183.53/183.69 c core #85 183.53/183.69 c core #86 183.53/183.69 c core #87 183.53/183.69 c core #88 183.53/183.69 c core #89 183.53/183.69 c core #90 183.53/183.69 c core #91 183.53/183.69 c core #92 183.53/183.69 c core #93 183.53/183.69 c core #94 183.53/183.69 c core #95 183.53/183.69 c core #96 183.53/183.69 c core #97 183.53/183.69 c core #98 183.53/183.69 c core #99 183.53/183.69 c core #100 183.53/183.69 c core #101 183.53/183.69 c core #102 183.53/183.69 c core #103 183.53/183.69 c core #104 183.53/183.69 c core #105 183.53/183.69 c core #106 183.53/183.69 c core #107 183.53/183.69 c core #108 183.53/183.69 c core #109 183.53/183.69 c core #110 183.53/183.69 c core #111 183.53/183.69 c core #112 183.53/183.69 c core #113 183.53/183.69 c core #114 183.53/183.69 c core #115 183.53/183.69 c core #116 183.53/183.69 c core #117 183.53/183.69 c core #118 183.53/183.69 c core #119 183.53/183.69 c core #120 183.53/183.69 c core #121 183.53/183.69 c core #122 183.53/183.69 c core #123 183.53/183.69 c core #124 183.53/183.69 c core #125 183.53/183.69 c core #126 183.53/183.69 c core #127 183.53/183.69 c core #128 183.53/183.69 c core #129 183.53/183.69 c core #130 183.53/183.69 c core #131 183.53/183.69 c core #132 183.53/183.69 c core #133 183.53/183.69 c core #134 183.53/183.69 c core #135 183.53/183.69 c core #136 183.53/183.69 c core #137 183.53/183.69 c core #138 183.53/183.69 c core #139 183.53/183.69 c core #140 183.53/183.69 c core #141 183.53/183.69 c core #142 183.53/183.69 c core #143 183.53/183.69 c core #144 183.53/183.69 c core #145 183.53/183.69 c core #146 183.53/183.69 c core #147 183.53/183.69 c core #148 183.53/183.69 c core #149 183.53/183.69 c core #150 183.53/183.69 c core #151 183.53/183.69 c core #152 183.53/183.69 c core #153 183.53/183.69 c core #154 183.53/183.69 c core #155 183.53/183.69 c core #156 183.53/183.69 c core #157 183.53/183.69 c core #158 183.53/183.69 c core #159 183.53/183.69 c core #160 183.53/183.69 c core #161 183.53/183.69 c core #162 183.53/183.69 c core #163 183.53/183.69 c core #164 183.53/183.69 c core #165 183.53/183.69 c core #166 183.53/183.69 c core #167 183.53/183.69 c core #168 183.53/183.69 c core #169 183.53/183.69 c core #170 183.53/183.69 c core #171 183.53/183.69 c core #172 183.53/183.69 c core #173 183.53/183.69 c core #174 183.53/183.69 c core #175 183.53/183.69 c core #176 183.53/183.69 c core #177 183.53/183.69 c core #178 183.53/183.69 c core #179 183.53/183.69 c core #180 183.53/183.69 c core #181 183.53/183.69 c core #182 183.53/183.69 c core #183 183.53/183.69 c core #184 183.53/183.69 c core #185 183.53/183.69 c core #186 183.53/183.69 c core #187 183.53/183.69 c core #188 183.53/183.69 c core #189 183.53/183.69 c core #190 183.53/183.69 c core #191 183.53/183.69 c core #192 183.53/183.69 c core #193 183.53/183.69 c core #194 183.53/183.69 c core #195 183.53/183.69 c core #196 183.53/183.69 c core #197 183.53/183.69 c core #198 183.53/183.69 c core #199 183.53/183.69 c core #200 183.53/183.69 c core #201 183.53/183.69 c core #202 183.53/183.69 c core #203 183.53/183.69 c core #204 183.53/183.69 c core #205 183.53/183.69 c core #206 183.53/183.69 c core #207 183.53/183.69 c core #208 183.53/183.69 c core #209 183.53/183.69 c core #210 183.53/183.69 c core #211 183.53/183.69 c core #212 183.53/183.69 c core #213 183.53/183.69 c core #214 183.53/183.69 c core #215 183.53/183.69 c core #216 183.53/183.69 c core #217 183.53/183.69 c core #218 183.53/183.69 c core #219 183.53/183.69 c core #220 183.53/183.69 c core #221 183.53/183.69 c core #222 183.53/183.69 c core #223 183.53/183.69 c core #224 183.53/183.69 c core #225 183.53/183.69 c core #226 183.53/183.69 c core #227 183.53/183.69 c core #228 183.53/183.69 c core #229 183.53/183.69 c core #230 183.53/183.69 c core #231 183.53/183.69 c core #232 183.53/183.69 c core #233 183.53/183.69 c core #234 183.53/183.69 c core #235 183.53/183.69 c core #236 183.53/183.69 c core #237 183.53/183.69 c core #238 183.53/183.69 c core #239 183.53/183.69 c core #240 183.53/183.69 c core #241 183.53/183.69 c core #242 183.53/183.69 c core #243 183.53/183.69 c core #244 183.53/183.69 c core #245 183.53/183.69 c core #246 183.53/183.69 c core #247 183.53/183.69 c core #248 183.53/183.69 c core #249 183.53/183.69 c core #250 183.53/183.69 c core #251 183.53/183.69 c core #252 183.53/183.69 c core #253 183.53/183.69 c core #254 183.53/183.69 c core #255 183.53/183.69 c core #256 183.53/183.69 c core #257 183.53/183.69 c core #258 183.53/183.69 c core #259 183.53/183.69 c core #260 183.53/183.69 c core #261 183.53/183.69 c core #262 183.53/183.69 c core #263 183.53/183.69 c core #264 183.53/183.69 c core #265 183.53/183.69 c core #266 183.53/183.69 c core #267 183.53/183.69 c core #268 183.53/183.69 c core #269 183.53/183.69 c core #270 183.53/183.69 c core #271 183.53/183.69 c core #272 183.53/183.69 c core #273 183.53/183.69 c core #274 183.53/183.69 c core #275 183.53/183.69 c core #276 183.53/183.69 c core #277 183.53/183.69 c core #278 183.53/183.69 c core #279 183.53/183.69 c core #280 183.53/183.69 c core #281 183.53/183.69 c core #282 183.53/183.69 c core #283 183.53/183.69 c core #284 183.53/183.69 c core #285 183.53/183.69 c core #286 183.53/183.69 c core #287 183.53/183.69 c core #288 183.53/183.69 c core #289 183.53/183.69 c core #290 183.53/183.69 c core #291 183.53/183.69 c core #292 183.53/183.69 c core #293 183.53/183.69 c core #294 183.53/183.69 c core #295 183.53/183.69 c core #296 183.53/183.69 c core #297 183.53/183.69 c core #298 183.53/183.69 c core #299 183.53/183.69 c core #300 183.53/183.69 c core #301 183.53/183.69 c core #302 183.53/183.69 c core #303 183.53/183.69 c core #304 183.53/183.69 c core #305 183.53/183.69 c core #306 183.53/183.69 c core #307 183.53/183.69 c core #308 183.53/183.69 c core #309 183.53/183.69 c core #310 183.53/183.69 c core #311 183.53/183.69 c core #312 183.53/183.69 c core #313 183.53/183.69 c core #314 183.53/183.69 c core #315 183.53/183.69 c core #316 183.53/183.69 c core #317 183.53/183.69 c ============================[ Search Statistics ]============================== 183.53/183.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.53/183.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.53/183.69 c =============================================================================== 183.53/183.69 c | 0 | 2319 4709 12352 | 5000 0 nan | 0.000 % | 183.53/183.69 c =============================================================================== 183.53/183.70 c core #318 183.53/183.70 c ============================[ Search Statistics ]============================== 183.53/183.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.53/183.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.53/183.70 c =============================================================================== 183.53/183.70 c | 0 | 2357 4710 12434 | 5000 0 nan | 0.000 % | 183.53/183.70 c =============================================================================== 183.62/183.71 c core #319 183.62/183.71 c ============================[ Search Statistics ]============================== 183.62/183.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.62/183.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.62/183.71 c =============================================================================== 183.62/183.71 c | 0 | 2388 4711 12503 | 5000 0 nan | 0.000 % | 183.62/183.71 c =============================================================================== 183.62/183.72 c core #320 183.62/183.72 c ============================[ Search Statistics ]============================== 183.62/183.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.62/183.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.62/183.72 c =============================================================================== 183.62/183.72 c | 0 | 2442 4712 12616 | 5000 0 nan | 0.000 % | 183.62/183.73 c =============================================================================== 183.62/183.73 c core #321 183.62/183.73 c ============================[ Search Statistics ]============================== 183.62/183.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.62/183.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.62/183.73 c =============================================================================== 183.62/183.73 c | 0 | 2506 4713 12751 | 5000 0 nan | 0.000 % | 183.62/183.74 c =============================================================================== 183.62/183.74 c core #322 183.62/183.74 c ============================[ Search Statistics ]============================== 183.62/183.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.62/183.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.62/183.74 c =============================================================================== 183.62/183.74 c | 0 | 2576 4714 12899 | 5000 0 nan | 0.000 % | 183.62/183.75 c =============================================================================== 183.62/183.76 c core #323 183.62/183.76 c ============================[ Search Statistics ]============================== 183.62/183.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.62/183.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.62/183.76 c =============================================================================== 183.62/183.76 c | 0 | 2613 4715 12974 | 5000 0 nan | 0.000 % | 183.62/183.77 c | 101 | 2611 4715 12974 | 5500 58 11 | 2.613 % | 183.62/183.77 c =============================================================================== 183.62/183.78 c core #324 183.62/183.78 c ============================[ Search Statistics ]============================== 183.62/183.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.62/183.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.62/183.78 c =============================================================================== 183.62/183.78 c | 0 | 2980 4716 13726 | 5000 0 nan | 0.000 % | 183.72/183.80 c | 103 | 2980 4716 13726 | 5500 103 43 | 0.334 % | 183.72/183.83 c | 257 | 2980 4716 13726 | 6050 257 29 | 0.334 % | 183.72/183.85 c =============================================================================== 183.72/183.86 c core #325 183.72/183.86 c ============================[ Search Statistics ]============================== 183.72/183.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.72/183.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.72/183.86 c =============================================================================== 183.72/183.86 c | 0 | 3591 4718 14957 | 5000 0 nan | 0.000 % | 183.72/183.88 c | 106 | 3591 4718 14957 | 5500 106 103 | 0.111 % | 183.81/183.93 c | 263 | 3591 4718 14957 | 6050 263 74 | 0.111 % | 183.81/183.99 c | 488 | 3591 4718 14957 | 6655 488 58 | 0.111 % | 183.91/184.07 c | 825 | 3591 4718 14957 | 7320 825 47 | 0.111 % | 184.12/184.20 c | 1331 | 3591 4718 14957 | 8052 1331 39 | 0.111 % | 184.22/184.37 c | 2092 | 3591 4718 14957 | 8857 2092 34 | 0.111 % | 184.52/184.66 c | 3236 | 3591 4718 14957 | 9743 3236 29 | 0.111 % | 184.91/185.05 c | 4946 | 3584 4718 14957 | 10717 3258 25 | 0.306 % | 185.61/185.72 c | 7511 | 3580 4718 14957 | 11789 4077 21 | 0.417 % | 185.61/185.75 c =============================================================================== 185.72/185.81 c core #326 185.72/185.81 c ============================[ Search Statistics ]============================== 185.72/185.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.81 c =============================================================================== 185.72/185.81 c | 0 | 4476 4721 16733 | 5000 0 nan | 0.000 % | 185.72/185.84 c | 104 | 4476 4721 16733 | 5500 104 62 | 0.089 % | 185.72/185.90 c | 254 | 4476 4721 16733 | 6050 254 50 | 0.089 % | 185.82/185.97 c | 480 | 4476 4721 16733 | 6655 480 51 | 0.089 % | 185.92/186.06 c | 817 | 4476 4721 16733 | 7320 817 43 | 0.089 % | 186.01/186.19 c | 1323 | 4476 4721 16733 | 8052 1323 38 | 0.089 % | 186.31/186.41 c | 2085 | 4476 4721 16733 | 8857 2085 38 | 0.089 % | 186.61/186.79 c | 3225 | 4476 4721 16733 | 9743 3225 40 | 0.089 % | 187.41/187.51 c | 4934 | 4476 4721 16733 | 10717 4934 40 | 0.089 % | 188.21/188.35 c | 7496 | 4476 4721 16733 | 11789 7496 36 | 0.089 % | 189.71/189.89 c | 11341 | 4476 4721 16733 | 12968 11341 39 | 0.089 % | 192.22/192.37 c | 17107 | 4476 4721 16733 | 14265 10583 45 | 0.089 % | 196.31/196.43 c | 25756 | 4476 4721 16733 | 15692 11920 52 | 0.089 % | 201.30/201.44 c | 38732 | 4476 4721 16733 | 17261 8635 54 | 0.089 % | 212.51/212.69 c | 58193 | 4476 4721 16733 | 18987 10725 85 | 0.089 % | 229.10/229.24 c | 87387 | 4476 4721 16733 | 20886 11314 46 | 0.089 % | 252.89/253.04 c | 131181 | 4476 4721 16733 | 22974 13196 63 | 0.089 % | 293.26/293.47 c | 196866 | 4474 4721 16733 | 25272 12555 89 | 0.134 % | 308.66/308.86 c =============================================================================== 311.76/311.92 c core #327 311.76/311.92 c ============================[ Search Statistics ]============================== 311.76/311.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 311.76/311.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 311.76/311.92 c =============================================================================== 311.76/311.92 c | 0 | 5620 4725 19031 | 5000 0 nan | 0.000 % | 311.86/312.03 c | 100 | 5620 4725 19031 | 5500 100 73 | 0.053 % | 311.86/312.07 c | 250 | 5620 4725 19031 | 6050 250 51 | 0.053 % | 311.96/312.11 c | 475 | 5620 4725 19031 | 6655 475 53 | 0.053 % | 311.96/312.16 c | 813 | 5620 4725 19031 | 7320 813 46 | 0.053 % | 312.06/312.21 c | 1319 | 5620 4725 19031 | 8052 1319 39 | 0.053 % | 312.06/312.29 c | 2079 | 5620 4725 19031 | 8857 2079 35 | 0.053 % | 312.27/312.44 c | 3220 | 5620 4725 19031 | 9743 3220 33 | 0.053 % | 312.46/312.69 c | 4929 | 5620 4725 19031 | 10717 4929 31 | 0.053 % | 312.96/313.12 c | 7492 | 5620 4725 19031 | 11789 7492 29 | 0.053 % | 313.86/314.01 c | 11336 | 5620 4725 19031 | 12968 11336 29 | 0.053 % | 315.47/315.69 c | 17105 | 5620 4725 19031 | 14265 10562 28 | 0.053 % | 317.86/318.03 c | 25755 | 5620 4725 19031 | 15692 12018 28 | 0.053 % | 322.66/322.82 c | 38729 | 5620 4725 19031 | 17261 9182 29 | 0.053 % | 330.06/330.29 c | 58191 | 5620 4725 19031 | 18987 11253 29 | 0.053 % | 342.25/342.40 c | 87385 | 5620 4725 19031 | 20886 11818 28 | 0.053 % | 360.74/360.92 c | 131175 | 5620 4725 19031 | 22974 13585 27 | 0.053 % | 389.63/389.82 c | 196859 | 5620 4725 19031 | 25272 21550 30 | 0.053 % | 430.61/430.88 c | 295386 | 5620 4725 19031 | 27799 17083 27 | 0.053 % | 504.98/505.27 c | 443175 | 5620 4725 19031 | 30579 15363 30 | 0.053 % | 616.64/616.97 c | 664860 | 5620 4725 19031 | 33637 26917 29 | 0.053 % | 801.47/801.87 c | 997386 | 5620 4725 19031 | 37001 13535 27 | 0.053 % | 1108.44/1108.96 c | 1496174 | 5620 4725 19031 | 40701 23735 31 | 0.053 % | 1608.55/1609.25 c | 2244356 | 5620 4725 19031 | 44771 21702 30 | 0.053 % |
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-2655845-1276453905/watcher-2655845-1276453905 -o /tmp/evaluation-result-2655845-1276453905/solver-2655845-1276453905 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655845-1276453905.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.09 1.03 1.00 3/106 26798 /proc/meminfo: memFree=1843636/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=2848 CPUtime=0 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 20992139 2916352 243 1992294400 134512640 135751879 4291739424 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 712 243 144 303 0 381 0 [startup+0.049066 s] /proc/loadavg: 1.09 1.03 1.00 3/106 26798 /proc/meminfo: memFree=1843636/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=3156 CPUtime=0.04 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 449 0 0 0 4 0 0 0 20 0 1 0 20992139 3231744 341 1992294400 134512640 135751879 4291739424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 789 341 147 303 0 484 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3156 [startup+0.101077 s] /proc/loadavg: 1.09 1.03 1.00 3/106 26798 /proc/meminfo: memFree=1843636/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=3156 CPUtime=0.09 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 449 0 0 0 9 0 0 0 20 0 1 0 20992139 3231744 341 1992294400 134512640 135751879 4291739424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 789 341 147 303 0 484 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3156 [startup+0.301119 s] /proc/loadavg: 1.09 1.03 1.00 3/106 26798 /proc/meminfo: memFree=1843636/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=3552 CPUtime=0.29 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 544 0 0 0 28 1 0 0 20 0 1 0 20992139 3637248 436 1992294400 134512640 135751879 4291739424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 888 436 147 303 0 583 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3552 [startup+0.701257 s] /proc/loadavg: 1.09 1.03 1.00 3/106 26798 /proc/meminfo: memFree=1843636/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=4104 CPUtime=0.69 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 699 0 0 0 68 1 0 0 21 0 1 0 20992139 4202496 591 1992294400 134512640 135751879 4291739424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 1026 591 147 303 0 721 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4104 [startup+1.50137 s] /proc/loadavg: 1.09 1.03 1.00 2/107 26799 /proc/meminfo: memFree=1841272/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=4940 CPUtime=1.49 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 913 0 0 0 147 2 0 0 23 0 1 0 20992139 5058560 805 1992294400 134512640 135751879 4291739424 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 1235 805 147 303 0 930 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4940 [startup+3.10172 s] /proc/loadavg: 1.08 1.03 1.00 2/107 26799 /proc/meminfo: memFree=1840156/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=6528 CPUtime=3.09 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 1299 0 0 0 305 4 0 0 25 0 1 0 20992139 6684672 1191 1992294400 134512640 135751879 4291739424 18446744073709551615 134616347 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 1632 1191 148 303 0 1327 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6528 [startup+6.3014 s] /proc/loadavg: 1.08 1.03 1.00 2/107 26799 /proc/meminfo: memFree=1837056/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=9176 CPUtime=6.29 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 1959 0 0 0 621 8 0 0 25 0 1 0 20992139 9396224 1851 1992294400 134512640 135751879 4291739424 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 2294 1851 148 303 0 1989 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9176 [startup+12.7018 s] /proc/loadavg: 1.07 1.02 1.00 2/107 26799 /proc/meminfo: memFree=1831848/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=14068 CPUtime=12.68 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 3180 0 0 0 1254 14 0 0 25 0 1 0 20992139 14405632 3072 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 3517 3072 148 303 0 3212 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14068 [startup+25.5005 s] /proc/loadavg: 1.06 1.02 1.00 2/107 26801 /proc/meminfo: memFree=1823540/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=22104 CPUtime=25.48 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 5201 0 0 0 2521 27 0 0 25 0 1 0 20992139 22634496 5093 1992294400 134512640 135751879 4291739424 18446744073709551615 134610764 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 5526 5093 148 303 0 5221 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22104 [startup+51.1009 s] /proc/loadavg: 1.04 1.02 1.00 2/107 26801 /proc/meminfo: memFree=1810520/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=35248 CPUtime=51.07 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 8487 0 0 0 5057 50 0 0 25 0 1 0 20992139 36093952 8379 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 8812 8379 148 303 0 8507 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35248 [startup+102.308 s] /proc/loadavg: 1.01 1.02 1.00 2/107 26803 /proc/meminfo: memFree=1785596/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=59892 CPUtime=102.26 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 14629 0 0 0 10134 92 0 0 25 0 1 0 20992139 61329408 14521 1992294400 134512640 135751879 4291739424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 14973 14521 148 303 0 14668 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 59892 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 26803 /proc/meminfo: memFree=1759308/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=86360 CPUtime=162.22 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 21226 0 0 0 16086 136 0 0 25 0 1 0 20992139 88432640 21118 1992294400 134512640 135751879 4291739424 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 21590 21118 148 303 0 21285 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 86360 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26805 /proc/meminfo: memFree=1730788/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=114484 CPUtime=222.2 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 28336 0 0 0 22034 186 0 0 25 0 1 0 20992139 117231616 28197 1992294400 134512640 135751879 4291739424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 28621 28197 151 303 0 28316 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 114484 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26807 /proc/meminfo: memFree=1687264/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=158368 CPUtime=282.18 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 39296 0 0 0 27989 229 0 0 25 0 1 0 20992139 162168832 39157 1992294400 134512640 135751879 4291739424 18446744073709551615 134616840 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 39592 39157 151 303 0 39287 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 158368 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26809 /proc/meminfo: memFree=1667052/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=177916 CPUtime=342.15 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 44167 0 0 0 33945 270 0 0 25 0 1 0 20992139 182185984 44028 1992294400 134512640 135751879 4291739424 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 44479 44028 151 303 0 44174 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 177916 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26811 /proc/meminfo: memFree=1655148/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=189992 CPUtime=402.13 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 47197 0 0 0 39901 312 0 0 25 0 1 0 20992139 194551808 47058 1992294400 134512640 135751879 4291739424 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 47498 47058 151 303 0 47193 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 189992 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26811 /proc/meminfo: memFree=1635556/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=209496 CPUtime=462.11 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 52048 0 0 0 45856 355 0 0 25 0 1 0 20992139 214523904 51909 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 52374 51909 151 303 0 52069 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 209496 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26813 /proc/meminfo: memFree=1617204/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=227792 CPUtime=522.08 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 56621 0 0 0 51813 395 0 0 25 0 1 0 20992139 233259008 56482 1992294400 134512640 135751879 4291739424 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 56948 56482 151 303 0 56643 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 227792 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26815 /proc/meminfo: memFree=1595628/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=249232 CPUtime=582.06 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 62001 0 0 0 57773 433 0 0 25 0 1 0 20992139 255213568 61862 1992294400 134512640 135751879 4291739424 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 62308 61862 151 303 0 62003 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 249232 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26817 /proc/meminfo: memFree=1572192/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=272436 CPUtime=642.04 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 67770 0 0 0 63735 469 0 0 25 0 1 0 20992139 278974464 67631 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 68109 67631 151 303 0 67804 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 272436 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26821 /proc/meminfo: memFree=1507960/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=336724 CPUtime=821.96 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 83838 0 0 0 81617 579 0 0 25 0 1 0 20992139 344805376 83699 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 84181 83699 151 303 0 83876 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 336724 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26823 /proc/meminfo: memFree=1486384/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=358052 CPUtime=881.94 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 89180 0 0 0 87577 617 0 0 25 0 1 0 20992139 366645248 89041 1992294400 134512640 135751879 4291739424 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 89513 89041 151 303 0 89208 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 358052 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26825 /proc/meminfo: memFree=1467164/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=377372 CPUtime=941.91 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 94003 0 0 0 93541 650 0 0 25 0 1 0 20992139 386428928 93864 1992294400 134512640 135751879 4291739424 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 94343 93864 151 303 0 94038 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 377372 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26827 /proc/meminfo: memFree=1447572/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=396836 CPUtime=1001.88 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 98860 0 0 0 99504 684 0 0 25 0 1 0 20992139 406360064 98721 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 99209 98721 151 303 0 98904 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 396836 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26827 /proc/meminfo: memFree=1430460/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=414084 CPUtime=1061.86 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 103171 0 0 0 105474 712 0 0 25 0 1 0 20992139 424022016 103032 1992294400 134512640 135751879 4291739424 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 103521 103032 151 303 0 103216 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 414084 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26829 /proc/meminfo: memFree=1411240/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=433148 CPUtime=1121.84 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 107919 0 0 0 111442 742 0 0 25 0 1 0 20992139 443543552 107780 1992294400 134512640 135751879 4291739424 18446744073709551615 134602933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 108287 107780 151 303 0 107982 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 433148 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26831 /proc/meminfo: memFree=1392764/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=451728 CPUtime=1181.81 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 112569 0 0 0 117407 774 0 0 25 0 1 0 20992139 462569472 112430 1992294400 134512640 135751879 4291739424 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 112932 112430 151 303 0 112627 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 451728 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26833 /proc/meminfo: memFree=1374412/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=469684 CPUtime=1241.79 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 117058 0 0 0 123371 808 0 0 25 0 1 0 20992139 480956416 116919 1992294400 134512640 135751879 4291739424 18446744073709551615 134616825 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 117421 116919 151 303 0 117116 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 469684 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26835 /proc/meminfo: memFree=1357052/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=486864 CPUtime=1301.78 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 121331 0 0 0 129340 838 0 0 25 0 1 0 20992139 498548736 121192 1992294400 134512640 135751879 4291739424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 121716 121192 151 303 0 121411 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 486864 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26835 /proc/meminfo: memFree=1338576/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=505544 CPUtime=1361.74 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 126004 0 0 0 135301 873 0 0 25 0 1 0 20992139 517677056 125865 1992294400 134512640 135751879 4291739424 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 126386 125865 151 303 0 126081 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 505544 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26837 /proc/meminfo: memFree=1321464/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=522472 CPUtime=1421.72 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 130234 0 0 0 141270 902 0 0 25 0 1 0 20992139 535011328 130095 1992294400 134512640 135751879 4291739424 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 130618 130095 151 303 0 130313 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 522472 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26839 /proc/meminfo: memFree=1304352/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=539656 CPUtime=1481.7 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 134535 0 0 0 147239 931 0 0 25 0 1 0 20992139 552607744 134396 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 134914 134396 151 303 0 134609 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 539656 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26841 /proc/meminfo: memFree=1285752/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=558136 CPUtime=1541.67 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 139134 0 0 0 153203 964 0 0 25 0 1 0 20992139 571531264 138995 1992294400 134512640 135751879 4291739424 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 139534 138995 151 303 0 139229 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 558136 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26843 /proc/meminfo: memFree=1267152/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=576788 CPUtime=1601.65 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 143817 0 0 0 159168 997 0 0 25 0 1 0 20992139 590630912 143678 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 144197 143678 151 303 0 143892 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 576788 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26843 /proc/meminfo: memFree=1249296/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=594732 CPUtime=1661.62 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 148259 0 0 0 165135 1027 0 0 25 0 1 0 20992139 609005568 148120 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 148683 148120 151 303 0 148378 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 594732 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26845 /proc/meminfo: memFree=1232804/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=611152 CPUtime=1721.6 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 152384 0 0 0 171106 1054 0 0 25 0 1 0 20992139 625819648 152245 1992294400 134512640 135751879 4291739424 18446744073709551615 134610964 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 152788 152245 151 303 0 152483 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 611152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26856 /proc/meminfo: memFree=1216932/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=626532 CPUtime=1781.56 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 156199 0 0 0 177073 1083 0 0 25 0 1 0 20992139 641568768 156060 1992294400 134512640 135751879 4291739424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 156633 156060 151 303 0 156328 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 626532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26856 /proc/meminfo: memFree=1211724/2059040 swapFree=4140384/4192956 [pid=26798] ppid=26796 vsize=631560 CPUtime=1800.06 /proc/26798/stat : 26798 (wbo1.4b) R 26796 26798 25544 0 -1 4202496 157475 0 0 0 178914 1092 0 0 25 0 1 0 20992139 646717440 157336 1992294400 134512640 135751879 4291739424 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26798/statm: 157890 157336 151 303 0 157585 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 631560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.87 CPU time (s): 1800.14 CPU user time (s): 1789.15 CPU system time (s): 10.9893 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (KiB): 631560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.15 system time used= 10.9893 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157475 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= 6 involuntary context switches= 23158 runsolver used 3.17152 second user time and 8.31074 second system time The end
Begin job on node010 at 2010-06-13 20:31:45 IDJOB=2655845 IDBENCH=2155 IDSOLVER=1161 FILE ID=node010/2655845-1276453905 PBS_JOBID= 11173347 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f600.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655845-1276453905/watcher-2655845-1276453905 -o /tmp/evaluation-result-2655845-1276453905/solver-2655845-1276453905 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655845-1276453905.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b1f0bdf934439fa3364f5fdf4570849 RANDOM SEED=23358672 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1844164 kB Buffers: 32848 kB Cached: 102936 kB SwapCached: 6500 kB Active: 94444 kB Inactive: 54452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1844164 kB SwapTotal: 4192956 kB SwapFree: 4140384 kB Dirty: 2840 kB Writeback: 0 kB AnonPages: 10812 kB Mapped: 13012 kB Slab: 44204 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180936 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= 62496 MiB End job on node010 at 2010-06-13 21:01:48