Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -22 | 181.447 | 181.506 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb |
MD5SUM | a142d6d7b95394ce9dab5e7d7d075ea6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -25 |
Best CPU time to get the best result obtained on this benchmark | 1789.34 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -25 |
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 | 10 |
Maximum length of a constraint | 18 |
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) | 1252 |
Sum of products size (including duplicates) | 2504 |
Number of different products | 626 |
Sum of products size | 1252 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702478-1278568346.opb. 0.00/0.00 c Instance file HOME/instance-2702478-1278568346.opb 0.00/0.00 c File size is 49466 bytes. 0.00/0.00 c Highest Coefficient sum: 18 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 726 | 0.00/0.00 c | Number Clauses: 626 | 0.00/0.00 c | Number Cardinality: 200 | 0.00/0.00 c | Number PB Constraints: 626 | 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 | 100 1452 3010 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 100 0.00/0.01 o 100 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1453 3110 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 99 0.00/0.01 o 99 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1454 3210 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 98 0.00/0.01 o 98 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1455 3310 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 97 0.00/0.01 o 97 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 1 | 100 1456 3410 | 5000 1 98 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 96 0.00/0.01 o 96 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 1 | 100 1457 3510 | 5000 1 98 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 95 0.00/0.01 o 95 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 2 | 100 1458 3610 | 5000 2 97 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 94 0.00/0.01 o 94 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 3 | 100 1459 3710 | 5000 3 96 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 93 0.00/0.01 o 93 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 6 | 100 1460 3810 | 5000 6 95 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 92 0.00/0.01 o 92 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 9 | 100 1461 3910 | 5000 9 95 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 91 0.00/0.01 o 91 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 11 | 100 1462 4010 | 5000 11 94 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 90 0.00/0.01 o 90 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 36 | 100 1463 4110 | 5000 36 93 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 89 0.00/0.02 o 89 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 111 | 100 1464 4210 | 5000 111 92 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 88 0.00/0.02 o 88 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 134 | 100 1465 4310 | 5000 134 92 | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: 87 0.02/0.02 o 87 0.02/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 229 | 100 1466 4410 | 5000 229 91 | 0.000 % | 0.02/0.03 c | 329 | 100 1466 4410 | 5500 329 91 | 86.226 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 86 0.02/0.04 o 86 0.02/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 386 | 100 1467 4510 | 5000 386 91 | 86.226 % | 0.02/0.04 c | 486 | 100 1467 4510 | 5500 486 92 | 86.226 % | 0.02/0.05 c | 637 | 100 1467 4510 | 6050 637 91 | 86.226 % | 0.02/0.07 c | 864 | 100 1467 4510 | 6655 864 90 | 86.226 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c New solution: 85 0.02/0.09 o 85 0.02/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s 0.02/0.09 c =============================================================================== 0.02/0.09 c | 1036 | 100 1468 4610 | 5000 1036 91 | 86.226 % | 0.09/0.10 c | 1136 | 100 1468 4610 | 5500 1136 92 | 86.226 % | 0.09/0.12 c | 1288 | 100 1468 4610 | 6050 1288 91 | 86.226 % | 0.09/0.15 c | 1514 | 100 1468 4610 | 6655 1514 91 | 86.226 % | 0.19/0.20 c | 1851 | 100 1468 4610 | 7320 1851 90 | 86.226 % | 0.19/0.26 c | 2357 | 100 1468 4610 | 8052 2357 90 | 86.226 % | 0.29/0.35 c | 3117 | 100 1468 4610 | 8857 3117 90 | 86.226 % | 0.49/0.51 c | 4257 | 100 1468 4610 | 9743 4257 90 | 86.226 % | 0.89/0.91 c | 5966 | 100 1468 4610 | 10717 5966 89 | 86.226 % | 1.10/1.15 c =============================================================================== 1.10/1.15 c New solution: 84 1.10/1.15 o 84 1.10/1.15 c Elapsed CPU time: 1.13383 s Remaining CPU time: 178.866 s 1.10/1.15 c =============================================================================== 1.10/1.15 c | 6744 | 100 1469 4710 | 5000 6744 89 | 86.226 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c New solution: 83 1.19/1.20 o 83 1.19/1.20 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s 1.19/1.20 c =============================================================================== 1.19/1.20 c | 6816 | 100 1470 4810 | 5000 3444 88 | 86.226 % | 1.19/1.22 c | 6916 | 100 1470 4810 | 5500 3544 88 | 86.226 % | 1.19/1.25 c | 7066 | 100 1470 4810 | 6050 3694 88 | 86.226 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c New solution: 82 1.29/1.30 o 82 1.29/1.30 c Elapsed CPU time: 1.2888 s Remaining CPU time: 178.711 s 1.29/1.30 c =============================================================================== 1.29/1.30 c | 7281 | 100 1471 4910 | 5000 3909 88 | 86.226 % | 1.29/1.34 c | 7381 | 100 1471 4910 | 5500 4009 89 | 86.226 % | 1.29/1.39 c | 7533 | 100 1471 4910 | 6050 4161 90 | 86.226 % | 1.39/1.47 c | 7760 | 100 1471 4910 | 6655 4388 90 | 86.226 % | 1.49/1.57 c | 8099 | 100 1471 4910 | 7320 4727 89 | 86.226 % | 1.69/1.75 c | 8605 | 100 1471 4910 | 8052 5233 90 | 86.226 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c New solution: 81 1.79/1.83 o 81 1.79/1.83 c Elapsed CPU time: 1.81272 s Remaining CPU time: 178.187 s 1.79/1.83 c =============================================================================== 1.79/1.83 c | 8804 | 100 1472 5010 | 5000 5432 89 | 86.226 % | 1.79/1.86 c | 8904 | 100 1472 5010 | 5500 5532 89 | 86.226 % | 1.89/1.91 c | 9055 | 100 1472 5010 | 6050 5683 89 | 86.226 % | 1.89/1.98 c =============================================================================== 1.89/1.98 c New solution: 80 1.89/1.98 o 80 1.89/1.98 c Elapsed CPU time: 1.9627 s Remaining CPU time: 178.037 s 1.89/1.98 c =============================================================================== 1.89/1.98 c | 9274 | 100 1473 5110 | 5000 5902 89 | 86.226 % | 1.99/2.02 c | 9377 | 100 1473 5110 | 5500 3054 91 | 86.226 % | 1.99/2.05 c | 9527 | 100 1473 5110 | 6050 3204 91 | 86.226 % | 1.99/2.10 c | 9752 | 100 1473 5110 | 6655 3429 91 | 86.226 % | 2.10/2.13 c | 10089 | 100 1473 5110 | 7320 3766 90 | 86.226 % | 2.10/2.14 c =============================================================================== 2.10/2.14 c New solution: 79 2.10/2.14 o 79 2.10/2.14 c Elapsed CPU time: 2.11868 s Remaining CPU time: 177.881 s 2.10/2.14 c =============================================================================== 2.10/2.14 c | 10255 | 100 1474 5210 | 5000 3932 90 | 86.226 % | 2.10/2.15 c | 10355 | 100 1474 5210 | 5500 4032 90 | 86.226 % | 2.10/2.16 c | 10505 | 100 1474 5210 | 6050 4182 89 | 86.226 % | 2.10/2.20 c | 10730 | 100 1474 5210 | 6655 4407 89 | 86.226 % | 2.20/2.28 c | 11068 | 100 1474 5210 | 7320 4745 89 | 86.226 % | 2.29/2.35 c | 11575 | 100 1474 5210 | 8052 5252 89 | 86.226 % | 2.49/2.57 c | 12336 | 100 1474 5210 | 8857 6013 88 | 86.226 % | 2.69/2.80 c | 13477 | 100 1474 5210 | 9743 7154 88 | 86.226 % | 3.30/3.32 c | 15187 | 100 1474 5210 | 10717 8864 87 | 86.226 % | 3.89/3.93 c | 17750 | 100 1474 5210 | 11789 5717 85 | 86.226 % | 4.89/4.99 c | 21595 | 100 1474 5210 | 12968 9562 84 | 86.226 % | 7.39/7.49 c | 27364 | 100 1474 5210 | 14265 8495 84 | 86.226 % | 11.68/11.79 c | 36016 | 100 1474 5210 | 15692 9660 83 | 86.226 % | 15.49/15.53 c | 48992 | 100 1474 5210 | 17261 14435 84 | 86.226 % | 22.19/22.30 c | 68456 | 100 1474 5210 | 18987 15933 93 | 86.226 % | 39.88/39.98 c | 97648 | 100 1474 5210 | 20886 15590 87 | 86.226 % | 69.18/69.29 c | 141437 | 100 1474 5210 | 22974 15635 100 | 86.226 % | 106.16/106.22 c =============================================================================== 106.16/106.22 c New solution: 78 106.16/106.22 o 78 106.16/106.22 c Elapsed CPU time: 105.493 s Remaining CPU time: 74.507 s 106.16/106.22 c =============================================================================== 106.16/106.22 c | 196285 | 100 1475 5310 | 5000 18769 118 | 86.226 % | 106.36/106.43 c | 196386 | 100 1475 5310 | 5500 4794 91 | 86.226 % | 106.36/106.47 c | 196540 | 100 1475 5310 | 6050 4948 91 | 86.226 % | 106.46/106.53 c | 196765 | 100 1475 5310 | 6655 5173 91 | 86.226 % | 106.56/106.60 c | 197104 | 100 1475 5310 | 7320 5512 91 | 86.226 % | 106.66/106.79 c | 197612 | 100 1475 5310 | 8052 6020 101 | 86.226 % | 106.85/106.98 c | 198372 | 100 1475 5310 | 8857 6780 103 | 86.226 % | 107.26/107.37 c | 199512 | 100 1475 5310 | 9743 7920 101 | 86.226 % | 108.15/108.29 c | 201222 | 100 1475 5310 | 10717 9630 100 | 86.226 % | 109.35/109.50 c | 203788 | 100 1475 5310 | 11789 6489 124 | 86.226 % | 110.46/110.60 c | 207634 | 100 1475 5310 | 12968 10335 120 | 86.226 % | 113.16/113.29 c | 213401 | 100 1475 5310 | 14265 9265 135 | 86.226 % | 116.35/116.41 c | 222052 | 100 1475 5310 | 15692 10430 104 | 86.226 % | 122.45/122.58 c | 235027 | 100 1475 5310 | 17261 15209 108 | 86.226 % | 132.45/132.57 c | 254488 | 100 1475 5310 | 18987 16706 107 | 86.226 % | 151.94/152.01 c | 283680 | 100 1475 5310 | 20886 16364 108 | 86.226 % | 181.04/181.18 c There are 626 assigned variables. 0 in cost function. 181.34/181.48 c core #1 181.34/181.48 c #cores: 1 181.34/181.48 c Final Weight: 78 181.34/181.48 o 78 181.34/181.48 s OPTIMUM FOUND 181.34/181.48 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 181.34/181.48 c Total CPU time: 180.308 s
OK -22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702478-1278568346/watcher-2702478-1278568346 -o /tmp/evaluation-result-2702478-1278568346/solver-2702478-1278568346 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702478-1278568346.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28649 /proc/meminfo: memFree=1722420/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=2760 CPUtime=0 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 324 0 0 0 0 0 0 0 25 0 1 0 25046059 2826240 242 1992294400 134512640 135751879 4290809232 18446744073709551615 135228657 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 690 242 148 303 0 372 0 [startup+0.0278811 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28649 /proc/meminfo: memFree=1722420/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=2924 CPUtime=0.02 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 380 0 0 0 2 0 0 0 18 0 1 0 25046059 2994176 285 1992294400 134512640 135751879 4290809232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 731 285 146 303 0 426 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2924 [startup+0.100888 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28649 /proc/meminfo: memFree=1722420/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=3312 CPUtime=0.09 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 490 0 0 0 9 0 0 0 18 0 1 0 25046059 3391488 395 1992294400 134512640 135751879 4290809232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 828 395 147 303 0 523 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3312 [startup+0.300909 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28649 /proc/meminfo: memFree=1722420/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=4088 CPUtime=0.29 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 683 0 0 0 29 0 0 0 18 0 1 0 25046059 4186112 588 1992294400 134512640 135751879 4290809232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 1022 588 147 303 0 717 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4088 [startup+0.700949 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28649 /proc/meminfo: memFree=1722420/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=5260 CPUtime=0.69 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 978 0 0 0 68 1 0 0 18 0 1 0 25046059 5386240 883 1992294400 134512640 135751879 4290809232 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 1315 883 147 303 0 1010 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5260 [startup+1.50103 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28650 /proc/meminfo: memFree=1719188/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=6688 CPUtime=1.49 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 1323 0 0 0 147 2 0 0 20 0 1 0 25046059 6848512 1228 1992294400 134512640 135751879 4290809232 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 1672 1228 148 303 0 1367 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6688 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28650 /proc/meminfo: memFree=1717204/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=9532 CPUtime=3.09 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 2059 0 0 0 306 3 0 0 25 0 1 0 25046059 9760768 1964 1992294400 134512640 135751879 4290809232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 2383 1964 148 303 0 2078 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9532 [startup+6.30152 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28650 /proc/meminfo: memFree=1711128/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=14156 CPUtime=6.29 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 3197 0 0 0 623 6 0 0 25 0 1 0 25046059 14495744 3102 1992294400 134512640 135751879 4290809232 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 3539 3102 148 303 0 3234 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14156 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28651 /proc/meminfo: memFree=1704928/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=20184 CPUtime=12.69 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 4687 0 0 0 1258 11 0 0 25 0 1 0 25046059 20668416 4592 1992294400 134512640 135751879 4290809232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 5046 4592 148 303 0 4741 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20184 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28651 /proc/meminfo: memFree=1688064/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=37120 CPUtime=25.48 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 8884 0 0 0 2526 22 0 0 25 0 1 0 25046059 38010880 8789 1992294400 134512640 135751879 4290809232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 9280 8789 148 303 0 8975 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37120 [startup+51.1021 s] /proc/loadavg: 1.07 1.02 1.00 2/107 28652 /proc/meminfo: memFree=1670456/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=54520 CPUtime=51.07 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 13249 0 0 0 5072 35 0 0 25 0 1 0 25046059 55828480 13154 1992294400 134512640 135751879 4290809232 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 13630 13154 148 303 0 13325 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 54520 [startup+102.309 s] /proc/loadavg: 1.10 1.03 1.00 2/107 28653 /proc/meminfo: memFree=1626188/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=98624 CPUtime=102.26 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 24226 0 0 0 10159 67 0 0 25 0 1 0 25046059 100990976 24131 1992294400 134512640 135751879 4290809232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 24656 24131 148 303 0 24351 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 98624 [startup+162.301 s] /proc/loadavg: 1.10 1.04 1.00 2/107 28655 /proc/meminfo: memFree=1571008/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=153756 CPUtime=162.23 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 38003 0 0 0 16120 103 0 0 25 0 1 0 25046059 157446144 37908 1992294400 134512640 135751879 4290809232 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 38439 37908 148 303 0 38134 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 153756 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 28655 /proc/meminfo: memFree=1568528/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=156208 CPUtime=166.23 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 38593 0 0 0 16518 105 0 0 25 0 1 0 25046059 159956992 38498 1992294400 134512640 135751879 4290809232 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 39052 38498 148 303 0 38747 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 156208 [startup+172.708 s] /proc/loadavg: 1.09 1.04 1.00 2/107 28655 /proc/meminfo: memFree=1563692/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=160884 CPUtime=172.64 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 39764 0 0 0 17156 108 0 0 25 0 1 0 25046059 164745216 39669 1992294400 134512640 135751879 4290809232 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 40221 39669 148 303 0 39916 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 160884 [startup+175.901 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28655 /proc/meminfo: memFree=1561708/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=162712 CPUtime=175.84 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 40235 0 0 0 17475 109 0 0 25 0 1 0 25046059 166617088 40140 1992294400 134512640 135751879 4290809232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 40678 40140 148 303 0 40373 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 162712 [startup+179.101 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28655 /proc/meminfo: memFree=1560096/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=165188 CPUtime=179.03 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 40854 0 0 0 17792 111 0 0 25 0 1 0 25046059 169152512 40759 1992294400 134512640 135751879 4290809232 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 41297 40759 148 303 0 40992 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 165188 [startup+180.7 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28655 /proc/meminfo: memFree=1558608/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=165960 CPUtime=180.64 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 41030 0 0 0 17952 112 0 0 25 0 1 0 25046059 169943040 40935 1992294400 134512640 135751879 4290809232 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 41490 40935 148 303 0 41185 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 165960 [startup+181.1 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28655 /proc/meminfo: memFree=1558608/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=166220 CPUtime=181.04 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 41096 0 0 0 17992 112 0 0 25 0 1 0 25046059 170209280 41001 1992294400 134512640 135751879 4290809232 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 41555 41001 148 303 0 41250 0 Current children cumulated CPU time (s) 181.04 Current children cumulated vsize (KiB) 166220 [startup+181.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28655 /proc/meminfo: memFree=1558608/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=166360 CPUtime=181.24 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 41143 0 0 0 18012 112 0 0 25 0 1 0 25046059 170352640 41048 1992294400 134512640 135751879 4290809232 18446744073709551615 134521886 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 41590 41048 149 303 0 41285 0 Current children cumulated CPU time (s) 181.24 Current children cumulated vsize (KiB) 166360 [startup+181.401 s] /proc/loadavg: 1.07 1.03 1.00 2/107 28655 /proc/meminfo: memFree=1557988/2059040 swapFree=4139544/4192956 [pid=28649] ppid=28647 vsize=166360 CPUtime=181.34 /proc/28649/stat : 28649 (wbo1.4b) R 28647 28649 28268 0 -1 4202496 41143 0 0 0 18022 112 0 0 25 0 1 0 25046059 170352640 41048 1992294400 134512640 135751879 4290809232 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28649/statm: 41590 41048 149 303 0 41285 0 Current children cumulated CPU time (s) 181.34 Current children cumulated vsize (KiB) 166360 Child status: 0 Real time (s): 181.506 CPU time (s): 181.447 CPU user time (s): 180.308 CPU system time (s): 1.13983 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 166360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.308 system time used= 1.13983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41147 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= 7 involuntary context switches= 142 runsolver used 0.434933 second user time and 0.904862 second system time The end
Begin job on node027 at 2010-07-08 07:52:26 IDJOB=2702478 IDBENCH=48174 IDSOLVER=1161 FILE ID=node027/2702478-1278568346 PBS_JOBID= 11239551 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_5.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-2702478-1278568346/watcher-2702478-1278568346 -o /tmp/evaluation-result-2702478-1278568346/solver-2702478-1278568346 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702478-1278568346.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a142d6d7b95394ce9dab5e7d7d075ea6 RANDOM SEED=2040962946 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.222 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.222 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1723320 kB Buffers: 58388 kB Cached: 177420 kB SwapCached: 7452 kB Active: 85492 kB Inactive: 164764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1723320 kB SwapTotal: 4192956 kB SwapFree: 4139544 kB Dirty: 2632 kB Writeback: 4 kB AnonPages: 12028 kB Mapped: 12080 kB Slab: 63448 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180392 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702478-1278568346.opb Free space on /tmp at the end= 62532 MiB End job on node027 at 2010-07-08 07:55:28