Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 62 | 184.085 | 184.136 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb |
MD5SUM | 7070b0ccf5287a23c61644383564c46b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 62 |
Best CPU time to get the best result obtained on this benchmark | 0.233963 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62 |
Optimality of the best value was proved | YES |
Number of variables | 672 |
Total number of constraints | 2028 |
Number of constraints which are clauses | 2004 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 672 |
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 | 672 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 672 |
Number of bits of the biggest sum of numbers | 10 |
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-2656115-1276405815.opb. 0.00/0.00 c Instance file HOME/instance-2656115-1276405815.opb 0.00/0.00 c File size is 73067 bytes. 0.00/0.01 c Highest Coefficient sum: 31 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 672 | 0.00/0.01 c | Number Clauses: 2004 | 0.00/0.01 c | Number Cardinality: 24 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 560 2140 6262 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 102 | 560 2140 6262 | 5500 102 9 | 16.667 % | 0.00/0.02 c | 253 | 560 2140 6262 | 6050 253 9 | 16.667 % | 0.00/0.03 c | 478 | 560 2140 6262 | 6655 478 9 | 16.667 % | 0.03/0.04 c | 815 | 560 2140 6262 | 7320 815 9 | 16.667 % | 0.03/0.07 c | 1321 | 560 2140 6262 | 8052 1321 9 | 16.667 % | 0.10/0.10 c | 2080 | 560 2140 6262 | 8857 2080 12 | 16.667 % | 0.10/0.15 c | 3219 | 560 2140 6262 | 9743 3219 15 | 16.667 % | 0.19/0.27 c | 4928 | 560 2140 6262 | 10717 4928 15 | 16.667 % | 0.39/0.40 c | 7490 | 560 2140 6262 | 11789 7490 15 | 16.667 % | 0.59/0.63 c | 11335 | 560 2140 6262 | 12968 11335 16 | 16.667 % | 1.10/1.14 c | 17101 | 560 2140 6262 | 14265 10533 19 | 16.667 % | 1.99/2.03 c | 25750 | 560 2140 6262 | 15692 11974 17 | 16.667 % | 4.09/4.11 c | 38724 | 560 2140 6262 | 17261 9117 19 | 16.667 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c New solution: 72 4.19/4.24 o 72 4.19/4.24 c Elapsed CPU time: 4.13837 s Remaining CPU time: 175.862 s 4.19/4.24 c =============================================================================== 4.19/4.24 c | 40338 | 560 2141 6836 | 5000 10731 18 | 16.667 % | 4.19/4.28 c | 40439 | 560 2141 6836 | 5500 2784 16 | 16.667 % | 4.19/4.28 c | 40589 | 560 2141 6836 | 6050 2934 15 | 16.667 % | 4.19/4.29 c | 40814 | 560 2141 6836 | 6655 3159 15 | 16.667 % | 4.30/4.31 c | 41152 | 560 2141 6836 | 7320 3497 15 | 16.667 % | 4.30/4.34 c | 41658 | 560 2141 6836 | 8052 4003 15 | 16.667 % | 4.30/4.38 c | 42417 | 560 2141 6836 | 8857 4762 15 | 16.667 % | 4.40/4.44 c | 43556 | 560 2141 6836 | 9743 5901 15 | 16.667 % | 4.49/4.54 c =============================================================================== 4.49/4.54 c New solution: 70 4.49/4.54 o 70 4.49/4.54 c Elapsed CPU time: 4.42833 s Remaining CPU time: 175.572 s 4.49/4.54 c =============================================================================== 4.49/4.54 c | 44875 | 560 2142 7410 | 5000 7220 14 | 16.667 % | 4.49/4.56 c | 44975 | 560 2142 7410 | 5500 3710 13 | 16.667 % | 4.49/4.56 c | 45126 | 560 2142 7410 | 6050 3861 13 | 16.667 % | 4.49/4.58 c | 45352 | 560 2142 7410 | 6655 4087 13 | 16.667 % | 4.59/4.60 c | 45690 | 560 2142 7410 | 7320 4425 14 | 16.667 % | 4.59/4.63 c | 46198 | 560 2142 7410 | 8052 4933 14 | 16.667 % | 4.59/4.70 c | 46958 | 560 2142 7410 | 8857 5693 14 | 16.667 % | 4.69/4.79 c | 48097 | 560 2142 7410 | 9743 6832 14 | 16.667 % | 4.90/4.94 c | 49805 | 560 2142 7410 | 10717 8540 14 | 16.667 % | 4.99/5.02 c =============================================================================== 4.99/5.02 c New solution: 68 4.99/5.02 o 68 4.99/5.02 c Elapsed CPU time: 4.89226 s Remaining CPU time: 175.108 s 4.99/5.02 c =============================================================================== 4.99/5.02 c | 50710 | 560 2143 7984 | 5000 9445 17 | 16.667 % | 4.99/5.04 c | 50810 | 560 2143 7984 | 5500 4823 19 | 16.667 % | 4.99/5.05 c | 50961 | 560 2143 7984 | 6050 4974 19 | 16.667 % | 4.99/5.06 c | 51186 | 560 2143 7984 | 6655 5199 18 | 16.667 % | 4.99/5.09 c | 51525 | 560 2143 7984 | 7320 5538 18 | 16.667 % | 5.09/5.13 c | 52032 | 560 2143 7984 | 8052 6045 18 | 16.667 % | 5.20/5.20 c | 52791 | 560 2143 7984 | 8857 6804 17 | 16.667 % | 5.20/5.29 c | 53931 | 560 2143 7984 | 9743 7944 19 | 16.667 % | 5.40/5.50 c | 55639 | 560 2143 7984 | 10717 9652 19 | 16.667 % | 5.69/5.77 c | 58201 | 560 2143 7984 | 11789 6786 17 | 16.667 % | 6.09/6.11 c | 62047 | 560 2143 7984 | 12968 10632 16 | 16.667 % | 6.70/6.73 c | 67814 | 560 2143 7984 | 14265 9840 15 | 16.667 % | 6.99/7.01 c =============================================================================== 6.99/7.01 c New solution: 66 6.99/7.01 o 66 6.99/7.01 c Elapsed CPU time: 6.83896 s Remaining CPU time: 173.161 s 6.99/7.01 c =============================================================================== 6.99/7.01 c | 70550 | 560 2144 8558 | 5000 12576 20 | 16.667 % | 6.99/7.06 c | 70650 | 560 2144 8558 | 5500 3244 34 | 16.667 % | 6.99/7.07 c | 70800 | 560 2144 8558 | 6050 3394 33 | 16.667 % | 6.99/7.08 c | 71025 | 560 2144 8558 | 6655 3619 31 | 16.667 % | 6.99/7.10 c | 71363 | 560 2144 8558 | 7320 3957 30 | 16.667 % | 7.09/7.12 c | 71871 | 560 2144 8558 | 8052 4465 28 | 16.667 % | 7.09/7.17 c | 72630 | 560 2144 8558 | 8857 5224 26 | 16.667 % | 7.19/7.23 c | 73769 | 560 2144 8558 | 9743 6363 24 | 16.667 % | 7.29/7.36 c | 75477 | 560 2144 8558 | 10717 8071 22 | 16.667 % | 7.60/7.67 c | 78039 | 560 2144 8558 | 11789 10633 28 | 16.667 % | 7.89/7.94 c =============================================================================== 7.89/7.94 c New solution: 64 7.89/7.94 o 64 7.89/7.94 c Elapsed CPU time: 7.74082 s Remaining CPU time: 172.259 s 7.89/7.94 c =============================================================================== 7.89/7.94 c | 80267 | 560 2145 9132 | 5000 6736 36 | 16.667 % | 7.89/7.95 c | 80371 | 560 2145 9132 | 5500 3472 39 | 16.667 % | 7.89/7.96 c | 80522 | 560 2145 9132 | 6050 3623 38 | 16.667 % | 7.89/7.97 c | 80747 | 560 2145 9132 | 6655 3848 36 | 16.667 % | 7.89/7.99 c | 81085 | 560 2145 9132 | 7320 4186 35 | 16.667 % | 7.99/8.02 c | 81595 | 560 2145 9132 | 8052 4696 33 | 16.667 % | 7.99/8.07 c | 82358 | 560 2145 9132 | 8857 5459 30 | 16.667 % | 8.09/8.15 c | 83497 | 560 2145 9132 | 9743 6598 28 | 16.667 % | 8.19/8.27 c | 85205 | 560 2145 9132 | 10717 8306 26 | 16.667 % | 8.39/8.47 c | 87767 | 560 2145 9132 | 11789 10868 23 | 16.667 % | 8.70/8.79 c | 91615 | 560 2145 9132 | 12968 8724 16 | 16.667 % | 9.29/9.31 c | 97381 | 560 2145 9132 | 14265 7929 14 | 16.667 % | 10.29/10.39 c | 106031 | 560 2145 9132 | 15692 9298 42 | 16.667 % | 12.29/12.34 c | 119005 | 560 2145 9132 | 17261 14179 53 | 16.667 % | 14.79/14.86 c | 138467 | 560 2145 9132 | 18987 16104 38 | 16.667 % | 18.28/18.36 c | 167659 | 559 2145 9132 | 20886 16244 44 | 16.816 % | 27.29/27.39 c | 211449 | 559 2145 9132 | 22974 17449 66 | 16.816 % | 30.08/30.10 c =============================================================================== 30.08/30.10 c New solution: 62 30.08/30.10 o 62 30.08/30.10 c Elapsed CPU time: 29.4735 s Remaining CPU time: 150.526 s 30.08/30.10 c =============================================================================== 30.08/30.10 c | 232731 | 559 2146 9706 | 5000 14883 42 | 16.816 % | 30.08/30.14 c | 232831 | 559 2146 9706 | 5500 3821 63 | 16.816 % | 30.08/30.15 c | 232982 | 559 2146 9706 | 6050 3972 61 | 16.816 % | 30.08/30.16 c | 233208 | 559 2146 9706 | 6655 4198 58 | 16.816 % | 30.08/30.18 c | 233545 | 559 2146 9706 | 7320 4535 54 | 16.816 % | 30.18/30.20 c | 234051 | 559 2146 9706 | 8052 5041 50 | 16.816 % | 30.18/30.27 c | 234810 | 559 2146 9706 | 8857 5800 48 | 16.816 % | 30.29/30.33 c | 235951 | 559 2146 9706 | 9743 6941 44 | 16.816 % | 30.48/30.52 c | 237659 | 559 2146 9706 | 10717 8649 45 | 16.816 % | 30.80/30.83 c | 240221 | 559 2146 9706 | 11789 5663 41 | 16.816 % | 31.18/31.23 c | 244065 | 559 2146 9706 | 12968 9507 40 | 16.816 % | 31.79/31.81 c | 249832 | 559 2146 9706 | 14265 8670 36 | 16.816 % | 32.89/32.96 c | 258481 | 559 2146 9706 | 15692 10056 52 | 16.816 % | 34.18/34.25 c | 271455 | 559 2146 9706 | 17261 15091 26 | 16.816 % | 37.48/37.51 c | 290916 | 559 2146 9706 | 18987 17140 22 | 16.816 % | 41.17/41.21 c | 320108 | 559 2146 9706 | 20886 17521 21 | 16.816 % | 50.48/50.53 c | 363897 | 559 2146 9706 | 22974 19200 22 | 16.816 % | 61.87/61.99 c | 429581 | 559 2146 9706 | 25272 14694 18 | 16.816 % | 81.38/81.45 c | 528107 | 559 2146 9706 | 27799 16421 50 | 16.816 % | 110.06/110.14 c | 675896 | 559 2146 9706 | 30579 16427 47 | 16.816 % | 163.34/163.49 c | 897579 | 554 2146 9706 | 33637 24388 40 | 17.560 % | 182.74/182.82 c There are 118 assigned variables. 6 in cost function. 184.04/184.10 c core #1 184.04/184.10 c core #2 184.04/184.10 c core #3 184.04/184.10 c core #4 184.04/184.10 c core #5 184.04/184.10 c core #6 184.04/184.10 c core #7 184.04/184.10 c core #8 184.04/184.10 c core #9 184.04/184.10 c core #10 184.04/184.10 c core #11 184.04/184.10 c core #12 184.04/184.10 c core #13 184.04/184.10 c core #14 184.04/184.10 c core #15 184.04/184.10 c core #16 184.04/184.10 c core #17 184.04/184.10 c core #18 184.04/184.10 c core #19 184.04/184.10 c core #20 184.04/184.10 c core #21 184.04/184.10 c core #22 184.04/184.10 c core #23 184.04/184.10 c core #24 184.04/184.10 c core #25 184.04/184.10 c core #26 184.04/184.10 c core #27 184.04/184.10 c core #28 184.04/184.10 c core #29 184.04/184.10 c core #30 184.04/184.10 c core #31 184.04/184.10 c core #32 184.04/184.10 c core #33 184.04/184.10 c core #34 184.04/184.10 c core #35 184.04/184.10 c core #36 184.04/184.10 c core #37 184.04/184.10 c core #38 184.04/184.10 c core #39 184.04/184.10 c core #40 184.04/184.10 c core #41 184.04/184.10 c core #42 184.04/184.10 c core #43 184.04/184.10 c core #44 184.04/184.10 c core #45 184.04/184.10 c core #46 184.04/184.10 c core #47 184.04/184.10 c core #48 184.04/184.10 c core #49 184.04/184.10 c core #50 184.04/184.10 c core #51 184.04/184.10 c core #52 184.04/184.10 c core #53 184.04/184.10 c core #54 184.04/184.10 c core #55 184.04/184.10 c core #56 184.04/184.10 c core #57 184.04/184.10 c core #58 184.04/184.10 c core #59 184.04/184.10 c core #60 184.04/184.10 c core #61 184.04/184.10 c #cores: 61 184.04/184.10 c Final Weight: 62 184.04/184.10 o 62 184.04/184.10 s OPTIMUM FOUND 184.04/184.10 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 184.04/184.10 c Total CPU time: 181.28 s
OK 62
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656115-1276405815/watcher-2656115-1276405815 -o /tmp/evaluation-result-2656115-1276405815/solver-2656115-1276405815 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656115-1276405815.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: 2.07 2.40 1.84 3/106 20104 /proc/meminfo: memFree=1766776/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=2652 CPUtime=0 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 303 0 0 0 0 0 0 0 20 0 1 0 16185359 2715648 221 1992294400 134512640 135751879 4293208656 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 663 221 145 303 0 340 0 [startup+0.043116 s] /proc/loadavg: 2.07 2.40 1.84 3/106 20104 /proc/meminfo: memFree=1766776/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=2844 CPUtime=0.03 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 380 0 0 0 3 0 0 0 20 0 1 0 16185359 2912256 280 1992294400 134512640 135751879 4293208656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 711 282 147 303 0 406 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2844 [startup+0.101121 s] /proc/loadavg: 2.07 2.40 1.84 3/106 20104 /proc/meminfo: memFree=1766776/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=3108 CPUtime=0.1 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 438 0 0 0 9 1 0 0 20 0 1 0 16185359 3182592 338 1992294400 134512640 135751879 4293208656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 777 338 147 303 0 472 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3108 [startup+0.301139 s] /proc/loadavg: 2.07 2.40 1.84 3/106 20104 /proc/meminfo: memFree=1766776/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=3768 CPUtime=0.29 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 615 0 0 0 27 2 0 0 20 0 1 0 16185359 3858432 515 1992294400 134512640 135751879 4293208656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 942 515 147 303 0 637 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3768 [startup+0.701178 s] /proc/loadavg: 2.07 2.40 1.84 3/106 20104 /proc/meminfo: memFree=1766776/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=5124 CPUtime=0.69 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 950 0 0 0 66 3 0 0 21 0 1 0 16185359 5246976 850 1992294400 134512640 135751879 4293208656 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 1281 851 147 303 0 976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5124 [startup+1.50125 s] /proc/loadavg: 2.07 2.40 1.84 2/107 20105 /proc/meminfo: memFree=1763048/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=6972 CPUtime=1.49 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 1404 0 0 0 144 5 0 0 23 0 1 0 16185359 7139328 1304 1992294400 134512640 135751879 4293208656 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 1743 1304 148 303 0 1438 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6972 [startup+3.10141 s] /proc/loadavg: 2.07 2.40 1.84 2/107 20105 /proc/meminfo: memFree=1760692/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=9356 CPUtime=3.1 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 2004 0 0 0 302 8 0 0 25 0 1 0 16185359 9580544 1904 1992294400 134512640 135751879 4293208656 18446744073709551615 134616808 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 2339 1904 148 303 0 2034 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 9356 [startup+6.30171 s] /proc/loadavg: 1.99 2.38 1.84 2/107 20105 /proc/meminfo: memFree=1754988/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=15424 CPUtime=6.29 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 3514 0 0 0 613 16 0 0 25 0 1 0 16185359 15794176 3414 1992294400 134512640 135751879 4293208656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 3856 3414 148 303 0 3551 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15424 [startup+12.7013 s] /proc/loadavg: 1.91 2.36 1.83 2/107 20107 /proc/meminfo: memFree=1740232/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=29916 CPUtime=12.69 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 7162 0 0 0 1239 30 0 0 25 0 1 0 16185359 30633984 7062 1992294400 134512640 135751879 4293208656 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 7479 7062 148 303 0 7174 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29916 [startup+25.5005 s] /proc/loadavg: 1.70 2.29 1.82 2/107 20107 /proc/meminfo: memFree=1714440/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=54660 CPUtime=25.49 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 13320 0 0 0 2494 55 0 0 25 0 1 0 16185359 55971840 13220 1992294400 134512640 135751879 4293208656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 13665 13220 148 303 0 13360 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54660 [startup+51.101 s] /proc/loadavg: 1.46 2.19 1.80 2/107 20107 /proc/meminfo: memFree=1676744/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=92472 CPUtime=51.07 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 22785 0 0 0 5010 97 0 0 25 0 1 0 16185359 94691328 22685 1992294400 134512640 135751879 4293208656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 23118 22685 148 303 0 22813 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 92472 [startup+102.308 s] /proc/loadavg: 1.20 2.00 1.75 2/107 20109 /proc/meminfo: memFree=1603088/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=165472 CPUtime=102.26 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 41012 0 0 0 10050 176 0 0 25 0 1 0 16185359 169443328 40912 1992294400 134512640 135751879 4293208656 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 41368 40912 148 303 0 41063 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 165472 [startup+162.301 s] /proc/loadavg: 1.07 1.82 1.70 2/107 20111 /proc/meminfo: memFree=1535384/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=233956 CPUtime=162.25 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 58123 0 0 0 15975 250 0 0 25 0 1 0 16185359 239570944 58023 1992294400 134512640 135751879 4293208656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 58489 58023 148 303 0 58184 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 233956 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.07 1.80 1.70 2/107 20111 /proc/meminfo: memFree=1528316/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=240584 CPUtime=166.24 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 59792 0 0 0 16368 256 0 0 25 0 1 0 16185359 246358016 59692 1992294400 134512640 135751879 4293208656 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 60146 59692 148 303 0 59841 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 240584 [startup+172.709 s] /proc/loadavg: 1.06 1.79 1.70 2/107 20111 /proc/meminfo: memFree=1517404/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=250852 CPUtime=172.65 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 62351 0 0 0 16999 266 0 0 25 0 1 0 16185359 256872448 62251 1992294400 134512640 135751879 4293208656 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 62713 62251 148 303 0 62408 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 250852 [startup+179.101 s] /proc/loadavg: 1.05 1.76 1.69 2/107 20111 /proc/meminfo: memFree=1509096/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=260696 CPUtime=179.05 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 64823 0 0 0 17632 273 0 0 25 0 1 0 16185359 266952704 64723 1992294400 134512640 135751879 4293208656 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 65174 64723 148 303 0 64869 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 260696 [startup+182.301 s] /proc/loadavg: 1.05 1.76 1.69 2/107 20111 /proc/meminfo: memFree=1503888/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=265348 CPUtime=182.24 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 65967 0 0 0 17947 277 0 0 25 0 1 0 16185359 271716352 65867 1992294400 134512640 135751879 4293208656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 66337 65867 148 303 0 66032 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 265348 [startup+183.102 s] /proc/loadavg: 1.05 1.76 1.69 2/107 20111 /proc/meminfo: memFree=1502648/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=266136 CPUtime=183.04 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 66161 0 0 0 18027 277 0 0 25 0 1 0 16185359 272523264 66061 1992294400 134512640 135751879 4293208656 18446744073709551615 134521886 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 66534 66061 150 303 0 66229 0 Current children cumulated CPU time (s) 183.04 Current children cumulated vsize (KiB) 266136 [startup+183.902 s] /proc/loadavg: 1.05 1.75 1.68 2/107 20111 /proc/meminfo: memFree=1502028/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=265972 CPUtime=183.84 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 66162 0 0 0 18107 277 0 0 25 0 1 0 16185359 272355328 66028 1992294400 134512640 135751879 4293208656 18446744073709551615 135206213 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 66493 66028 151 303 0 66188 0 Current children cumulated CPU time (s) 183.84 Current children cumulated vsize (KiB) 265972 [startup+184.102 s] /proc/loadavg: 1.05 1.75 1.68 2/107 20111 /proc/meminfo: memFree=1502028/2059040 swapFree=4163504/4192956 [pid=20104] ppid=20102 vsize=265972 CPUtime=184.04 /proc/20104/stat : 20104 (wbo1.4b) R 20102 20104 13161 0 -1 4202496 66163 0 0 0 18127 277 0 0 25 0 1 0 16185359 272355328 66029 1992294400 134512640 135751879 4293208656 18446744073709551615 134647045 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20104/statm: 66493 66029 151 303 0 66188 0 Current children cumulated CPU time (s) 184.04 Current children cumulated vsize (KiB) 265972 Child status: 0 Real time (s): 184.136 CPU time (s): 184.085 CPU user time (s): 181.281 CPU system time (s): 2.80357 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 266136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.281 system time used= 2.80357 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66163 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= 1 involuntary context switches= 573 runsolver used 0.317951 second user time and 0.867868 second system time The end
Begin job on node004 at 2010-06-13 07:10:15 IDJOB=2656115 IDBENCH=2029 IDSOLVER=1161 FILE ID=node004/2656115-1276405815 PBS_JOBID= 11173261 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656115-1276405815/watcher-2656115-1276405815 -o /tmp/evaluation-result-2656115-1276405815/solver-2656115-1276405815 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656115-1276405815.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7070b0ccf5287a23c61644383564c46b RANDOM SEED=983610837 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1767180 kB Buffers: 43684 kB Cached: 149768 kB SwapCached: 1724 kB Active: 126640 kB Inactive: 98644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1767180 kB SwapTotal: 4192956 kB SwapFree: 4163504 kB Dirty: 2816 kB Writeback: 8 kB AnonPages: 30088 kB Mapped: 14168 kB Slab: 44864 kB PageTables: 3924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181852 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node004 at 2010-06-13 07:13:19