Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | -15 | 180.946 | 180.989 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_4.opb |
MD5SUM | e7bb8414272ccdbf28db7bd22cc751df |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -15 |
Best CPU time to get the best result obtained on this benchmark | 41.1897 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -15 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3070 |
Sum of products size (including duplicates) | 6140 |
Number of different products | 1535 |
Sum of products size | 3070 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702464-1278568149.opb. 0.00/0.00 c Instance file HOME/instance-2702464-1278568149.opb 0.00/0.00 c File size is 121640 bytes. 0.00/0.02 c Highest Coefficient sum: 40 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 1635 | 0.00/0.02 c | Number Clauses: 1535 | 0.00/0.02 c | Number Cardinality: 200 | 0.00/0.02 c | Number PB Constraints: 1535 | 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 | 100 3270 7525 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 100 0.00/0.02 o 100 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 100 3271 7625 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 99 0.00/0.02 o 99 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 100 3272 7725 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 98 0.00/0.02 o 98 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 100 3273 7825 | 5000 1 99 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 97 0.00/0.02 o 97 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 3 | 100 3274 7925 | 5000 3 99 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 96 0.00/0.02 o 96 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 11 | 100 3275 8025 | 5000 11 99 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 95 0.00/0.03 o 95 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 22 | 100 3276 8125 | 5000 22 100 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 94 0.00/0.03 o 94 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 69 | 100 3277 8225 | 5000 69 101 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 93 0.00/0.03 o 93 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 116 | 100 3278 8325 | 5000 116 103 | 0.000 % | 0.00/0.04 c | 217 | 100 3278 8325 | 5500 217 104 | 93.884 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 92 0.00/0.04 o 92 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 247 | 100 3279 8425 | 5000 247 104 | 93.884 % | 0.00/0.05 c | 349 | 100 3279 8425 | 5500 349 103 | 93.884 % | 0.00/0.07 c | 502 | 100 3279 8425 | 6050 502 103 | 93.884 % | 0.00/0.08 c | 727 | 100 3279 8425 | 6655 727 103 | 93.884 % | 0.08/0.09 c =============================================================================== 0.08/0.09 c New solution: 91 0.08/0.09 o 91 0.08/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s 0.08/0.09 c =============================================================================== 0.08/0.09 c | 774 | 100 3280 8525 | 5000 774 103 | 93.884 % | 0.09/0.10 c | 877 | 100 3280 8525 | 5500 877 108 | 93.884 % | 0.09/0.12 c | 1031 | 100 3280 8525 | 6050 1031 108 | 93.884 % | 0.09/0.16 c | 1257 | 100 3280 8525 | 6655 1257 113 | 93.884 % | 0.19/0.21 c | 1597 | 100 3280 8525 | 7320 1597 110 | 93.884 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 90 0.19/0.24 o 90 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1774 | 100 3281 8625 | 5000 1774 109 | 93.884 % | 0.19/0.27 c | 1876 | 100 3281 8625 | 5500 1876 109 | 93.884 % | 0.29/0.32 c | 2027 | 100 3281 8625 | 6050 2027 111 | 93.884 % | 0.29/0.39 c | 2253 | 100 3281 8625 | 6655 2253 115 | 93.884 % | 0.39/0.49 c | 2590 | 100 3281 8625 | 7320 2590 115 | 93.884 % | 0.59/0.68 c | 3097 | 100 3281 8625 | 8052 3097 113 | 93.884 % | 0.79/0.87 c | 3858 | 100 3281 8625 | 8857 3858 119 | 93.884 % | 1.10/1.19 c | 4997 | 100 3281 8625 | 9743 4997 118 | 93.884 % | 1.59/1.66 c | 6705 | 100 3281 8625 | 10717 6705 116 | 93.884 % | 1.89/1.96 c =============================================================================== 1.89/1.96 c New solution: 89 1.89/1.96 o 89 1.89/1.96 c Elapsed CPU time: 1.93571 s Remaining CPU time: 178.064 s 1.89/1.96 c =============================================================================== 1.89/1.96 c | 7122 | 100 3282 8725 | 5000 7122 115 | 93.884 % | 1.99/2.02 c | 7226 | 100 3282 8725 | 5500 3665 115 | 93.884 % | 1.99/2.07 c | 7376 | 100 3282 8725 | 6050 3815 118 | 93.884 % | 2.10/2.17 c | 7604 | 100 3282 8725 | 6655 4043 121 | 93.884 % | 2.20/2.28 c | 7947 | 100 3282 8725 | 7320 4386 129 | 93.884 % | 2.39/2.43 c | 8454 | 100 3282 8725 | 8052 4893 133 | 93.884 % | 2.79/2.89 c | 9215 | 100 3282 8725 | 8857 5654 139 | 93.884 % | 3.69/3.75 c | 10354 | 100 3282 8725 | 9743 6793 133 | 93.884 % | 5.09/5.19 c | 12062 | 100 3282 8725 | 10717 8501 128 | 93.884 % | 5.99/6.05 c =============================================================================== 5.99/6.05 c New solution: 88 5.99/6.05 o 88 5.99/6.05 c Elapsed CPU time: 6.00109 s Remaining CPU time: 173.999 s 5.99/6.05 c =============================================================================== 5.99/6.05 c | 12703 | 100 3283 8825 | 5000 9142 126 | 93.884 % | 6.09/6.17 c | 12806 | 100 3283 8825 | 5500 4674 122 | 93.884 % | 6.19/6.24 c | 12956 | 100 3283 8825 | 6050 4824 122 | 93.884 % | 6.29/6.33 c | 13184 | 100 3283 8825 | 6655 5052 122 | 93.884 % | 6.40/6.46 c | 13524 | 100 3283 8825 | 7320 5392 122 | 93.884 % | 6.79/6.81 c | 14032 | 100 3283 8825 | 8052 5900 127 | 93.884 % | 7.49/7.50 c | 14791 | 100 3283 8825 | 8857 6659 153 | 93.884 % | 8.29/8.37 c | 15930 | 100 3283 8825 | 9743 7798 175 | 93.884 % | 8.70/8.71 c =============================================================================== 8.70/8.71 c New solution: 87 8.70/8.71 o 87 8.70/8.71 c Elapsed CPU time: 8.64869 s Remaining CPU time: 171.351 s 8.70/8.71 c =============================================================================== 8.70/8.71 c | 16367 | 100 3284 8925 | 5000 8235 178 | 93.884 % | 8.80/8.84 c | 16470 | 100 3284 8925 | 5500 4221 236 | 93.884 % | 8.89/8.97 c | 16622 | 100 3284 8925 | 6050 4373 244 | 93.884 % | 9.09/9.14 c | 16851 | 100 3284 8925 | 6655 4602 253 | 93.884 % | 9.29/9.33 c | 17191 | 100 3284 8925 | 7320 4942 256 | 93.884 % | 9.39/9.48 c | 17698 | 100 3284 8925 | 8052 5449 261 | 93.884 % | 9.90/9.93 c | 18459 | 100 3284 8925 | 8857 6210 270 | 93.884 % | 10.29/10.32 c | 19599 | 100 3284 8925 | 9743 7350 264 | 93.884 % | 11.48/11.53 c | 21308 | 100 3284 8925 | 10717 9059 259 | 93.884 % | 14.59/14.63 c | 23871 | 100 3284 8925 | 11789 11622 233 | 93.884 % | 18.39/18.42 c | 27719 | 100 3284 8925 | 12968 8766 190 | 93.884 % | 23.79/23.88 c | 33487 | 100 3284 8925 | 14265 14534 199 | 93.884 % | 32.68/32.74 c | 42139 | 100 3284 8925 | 15692 15242 210 | 93.884 % | 49.78/49.89 c | 55116 | 100 3284 8925 | 17261 10908 204 | 93.884 % | 77.48/77.52 c | 74578 | 100 3284 8925 | 18987 11488 376 | 93.884 % | 107.67/107.79 c =============================================================================== 107.67/107.79 c New solution: 86 107.67/107.79 o 86 107.67/107.79 c Elapsed CPU time: 107.287 s Remaining CPU time: 72.7133 s 107.67/107.79 c =============================================================================== 107.67/107.79 c | 101403 | 100 3285 9025 | 5000 17710 101 | 93.884 % | 107.97/108.05 c | 101506 | 100 3285 9025 | 5500 4531 101 | 93.884 % | 108.07/108.15 c | 101658 | 100 3285 9025 | 6050 4683 104 | 93.884 % | 108.17/108.29 c | 101886 | 100 3285 9025 | 6655 4911 112 | 93.884 % | 108.46/108.53 c | 102225 | 100 3285 9025 | 7320 5250 120 | 93.884 % | 108.78/108.89 c | 102734 | 100 3285 9025 | 8052 5759 134 | 93.884 % | 109.37/109.50 c | 103496 | 100 3285 9025 | 8857 6521 151 | 93.884 % | 110.36/110.50 c | 104639 | 100 3285 9025 | 9743 7664 163 | 93.884 % | 112.66/112.71 c | 106348 | 100 3285 9025 | 10717 9373 188 | 93.884 % | 115.17/115.25 c | 108910 | 100 3285 9025 | 11789 11935 179 | 93.884 % | 119.96/120.08 c | 112754 | 100 3285 9025 | 12968 9081 179 | 93.884 % | 127.47/127.60 c | 118521 | 100 3285 9025 | 14265 7566 164 | 93.884 % | 139.06/139.14 c | 127170 | 100 3285 9025 | 15692 8272 128 | 93.884 % | 154.75/154.89 c =============================================================================== 154.75/154.89 c New solution: 85 154.75/154.89 o 85 154.75/154.89 c Elapsed CPU time: 154.22 s Remaining CPU time: 25.7804 s 154.75/154.89 c =============================================================================== 154.75/154.89 c | 139748 | 100 3286 9125 | 5000 12195 157 | 93.884 % | 154.97/155.00 c | 139848 | 100 3286 9125 | 5500 6198 102 | 93.884 % | 155.06/155.12 c | 140003 | 100 3286 9125 | 6050 6353 120 | 93.884 % | 155.26/155.32 c | 140230 | 100 3286 9125 | 6655 6580 140 | 93.884 % | 155.45/155.51 c | 140567 | 100 3286 9125 | 7320 6917 153 | 93.884 % | 155.75/155.87 c | 141075 | 100 3286 9125 | 8052 7425 180 | 93.884 % | 156.36/156.45 c | 141838 | 100 3286 9125 | 8857 8188 211 | 93.884 % | 157.05/157.17 c | 142978 | 100 3286 9125 | 9743 9328 236 | 93.884 % | 157.86/157.92 c | 144688 | 100 3286 9125 | 10717 11038 241 | 93.884 % | 160.56/160.66 c | 147252 | 100 3286 9125 | 11789 7444 464 | 93.884 % | 165.86/165.93 c | 151101 | 100 3286 9125 | 12968 11293 503 | 93.884 % | 171.65/171.78 c | 156872 | 100 3286 9125 | 14265 9778 359 | 93.884 % | 180.45/180.52 c | 165523 | 100 3286 9125 | 15692 10486 218 | 93.884 % | 180.75/180.80 c There are 1535 assigned variables. 0 in cost function. 180.85/180.97 c core #1 180.85/180.97 c #cores: 1 180.85/180.97 c Final Weight: 85 180.85/180.97 o 85 180.85/180.97 s OPTIMUM FOUND 180.85/180.97 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 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 180.85/180.97 c Total CPU time: 180.168 s
OK -15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702464-1278568149/watcher-2702464-1278568149 -o /tmp/evaluation-result-2702464-1278568149/solver-2702464-1278568149 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702464-1278568149.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/106 29462 /proc/meminfo: memFree=1832268/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=2988 CPUtime=0 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 25021777 3059712 278 1992294400 134512640 135751879 4288286752 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 747 278 145 303 0 412 0 [startup+0.0902841 s] /proc/loadavg: 0.85 0.97 0.99 3/106 29462 /proc/meminfo: memFree=1832268/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=3536 CPUtime=0.08 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 557 0 0 0 8 0 0 0 20 0 1 0 25021777 3620864 445 1992294400 134512640 135751879 4288286752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 884 445 147 303 0 579 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3536 [startup+0.100285 s] /proc/loadavg: 0.85 0.97 0.99 3/106 29462 /proc/meminfo: memFree=1832268/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=3536 CPUtime=0.09 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 572 0 0 0 9 0 0 0 20 0 1 0 25021777 3620864 460 1992294400 134512640 135751879 4288286752 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 884 460 147 303 0 579 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3536 [startup+0.300302 s] /proc/loadavg: 0.85 0.97 0.99 3/106 29462 /proc/meminfo: memFree=1832268/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=4324 CPUtime=0.29 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 746 0 0 0 29 0 0 0 20 0 1 0 25021777 4427776 634 1992294400 134512640 135751879 4288286752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 1081 634 147 303 0 776 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4324 [startup+0.700337 s] /proc/loadavg: 0.85 0.97 0.99 3/106 29462 /proc/meminfo: memFree=1832268/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=5108 CPUtime=0.69 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 947 0 0 0 68 1 0 0 21 0 1 0 25021777 5230592 835 1992294400 134512640 135751879 4288286752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 1277 835 147 303 0 972 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5108 [startup+1.50041 s] /proc/loadavg: 0.85 0.97 0.99 2/107 29463 /proc/meminfo: memFree=1829160/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=6820 CPUtime=1.49 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 1375 0 0 0 147 2 0 0 23 0 1 0 25021777 6983680 1263 1992294400 134512640 135751879 4288286752 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 1705 1263 147 303 0 1400 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6820 [startup+3.10055 s] /proc/loadavg: 0.85 0.97 0.99 2/107 29463 /proc/meminfo: memFree=1826804/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=9456 CPUtime=3.09 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 2054 0 0 0 306 3 0 0 25 0 1 0 25021777 9682944 1942 1992294400 134512640 135751879 4288286752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 2364 1942 148 303 0 2059 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9456 [startup+6.30183 s] /proc/loadavg: 0.86 0.97 0.99 2/107 29463 /proc/meminfo: memFree=1823456/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=11656 CPUtime=6.29 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 2599 0 0 0 625 4 0 0 25 0 1 0 25021777 11935744 2487 1992294400 134512640 135751879 4288286752 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 2914 2487 148 303 0 2609 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11656 [startup+12.7014 s] /proc/loadavg: 0.87 0.97 0.99 2/107 29465 /proc/meminfo: memFree=1812916/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=22464 CPUtime=12.69 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 5278 0 0 0 1261 8 0 0 25 0 1 0 25021777 23003136 5166 1992294400 134512640 135751879 4288286752 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 5616 5166 148 303 0 5311 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22464 [startup+25.5005 s] /proc/loadavg: 0.90 0.97 0.99 2/107 29465 /proc/meminfo: memFree=1801384/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=33548 CPUtime=25.48 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 8050 0 0 0 2534 14 0 0 25 0 1 0 25021777 34353152 7938 1992294400 134512640 135751879 4288286752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 8387 7938 148 303 0 8082 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33548 [startup+51.1007 s] /proc/loadavg: 0.93 0.97 0.99 2/107 29465 /proc/meminfo: memFree=1779808/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=56168 CPUtime=51.08 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 13652 0 0 0 5083 25 0 0 25 0 1 0 25021777 57516032 13540 1992294400 134512640 135751879 4288286752 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 14042 13540 148 303 0 13737 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 56168 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 29467 /proc/meminfo: memFree=1732936/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=102016 CPUtime=102.28 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 25091 0 0 0 10181 47 0 0 25 0 1 0 25021777 104464384 24979 1992294400 134512640 135751879 4288286752 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 25504 24979 148 303 0 25199 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 102016 [startup+162.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29469 /proc/meminfo: memFree=1687552/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=148664 CPUtime=162.26 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 36711 0 0 0 16158 68 0 0 25 0 1 0 25021777 152231936 36599 1992294400 134512640 135751879 4288286752 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 37166 36599 148 303 0 36861 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 148664 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29469 /proc/meminfo: memFree=1680112/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=154992 CPUtime=166.25 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 38305 0 0 0 16555 70 0 0 25 0 1 0 25021777 158711808 38193 1992294400 134512640 135751879 4288286752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 38748 38193 148 303 0 38443 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 154992 [startup+172.708 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29469 /proc/meminfo: memFree=1673540/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=161712 CPUtime=172.65 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 39997 0 0 0 17193 72 0 0 25 0 1 0 25021777 165593088 39885 1992294400 134512640 135751879 4288286752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 40428 39885 148 303 0 40123 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 161712 [startup+175.902 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29469 /proc/meminfo: memFree=1670192/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=164456 CPUtime=175.86 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 40676 0 0 0 17513 73 0 0 25 0 1 0 25021777 168402944 40564 1992294400 134512640 135751879 4288286752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 41114 40564 148 303 0 40809 0 Current children cumulated CPU time (s) 175.86 Current children cumulated vsize (KiB) 164456 [startup+179.101 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29469 /proc/meminfo: memFree=1669448/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=167244 CPUtime=179.05 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 41357 0 0 0 17831 74 0 0 25 0 1 0 25021777 171257856 41245 1992294400 134512640 135751879 4288286752 18446744073709551615 134602922 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 41811 41245 148 303 0 41506 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 167244 [startup+179.901 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29469 /proc/meminfo: memFree=1667464/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=168012 CPUtime=179.85 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 41543 0 0 0 17911 74 0 0 25 0 1 0 25021777 172044288 41431 1992294400 134512640 135751879 4288286752 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 42003 41431 148 303 0 41698 0 Current children cumulated CPU time (s) 179.85 Current children cumulated vsize (KiB) 168012 [startup+180.701 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29469 /proc/meminfo: memFree=1666472/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=168920 CPUtime=180.65 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 41794 0 0 0 17990 75 0 0 25 0 1 0 25021777 172974080 41682 1992294400 134512640 135751879 4288286752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 42230 41682 148 303 0 41925 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 168920 [startup+180.901 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29469 /proc/meminfo: memFree=1666472/2059040 swapFree=4134896/4192956 [pid=29462] ppid=29460 vsize=169600 CPUtime=180.85 /proc/29462/stat : 29462 (wbo1.4b) R 29460 29462 28624 0 -1 4202496 41944 0 0 0 18009 76 0 0 25 0 1 0 25021777 173670400 41832 1992294400 134512640 135751879 4288286752 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29462/statm: 42400 41832 149 303 0 42095 0 Current children cumulated CPU time (s) 180.85 Current children cumulated vsize (KiB) 169600 Child status: 0 Real time (s): 180.989 CPU time (s): 180.946 CPU user time (s): 180.168 CPU system time (s): 0.778881 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 169600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.168 system time used= 0.778881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41951 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= 2 involuntary context switches= 2279 runsolver used 0.290955 second user time and 0.876866 second system time The end
Begin job on node050 at 2010-07-08 07:49:09 IDJOB=2702464 IDBENCH=48167 IDSOLVER=1161 FILE ID=node050/2702464-1278568149 PBS_JOBID= 11239538 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702464-1278568149/watcher-2702464-1278568149 -o /tmp/evaluation-result-2702464-1278568149/solver-2702464-1278568149 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702464-1278568149.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e7bb8414272ccdbf28db7bd22cc751df RANDOM SEED=1521931017 node050.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.248 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.49 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.248 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: 1833292 kB Buffers: 26844 kB Cached: 108392 kB SwapCached: 12812 kB Active: 89676 kB Inactive: 61188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833292 kB SwapTotal: 4192956 kB SwapFree: 4134896 kB Dirty: 2920 kB Writeback: 8 kB AnonPages: 12752 kB Mapped: 8548 kB Slab: 53040 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183792 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702464-1278568149.opb Free space on /tmp at the end= 62476 MiB End job on node050 at 2010-07-08 07:52:10