Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -18 | 180.95 | 180.994 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
MD5SUM | 366c883f3118f840e595e8bbe10351c8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1789.87 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27856 |
Number of constraints which are clauses | 27856 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
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-2656032-1276515327.opb. 0.00/0.00 c Instance file HOME/instance-2656032-1276515327.opb 0.00/0.00 c File size is 664636 bytes. 0.02/0.08 c Highest Coefficient sum: 3 0.02/0.09 c ============================[ Problem Statistics ]============================= 0.02/0.09 c | | 0.02/0.09 c | Parsing time: 0.09 s | 0.02/0.09 c | Number Variables: 595 | 0.02/0.09 c | Number Clauses: 27856 | 0.02/0.09 c | Number Cardinality: 0 | 0.02/0.09 c | Number PB Constraints: 0 | 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 595 27856 55712 | 9285 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 595 0.09/0.15 o 595 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 595 27857 56307 | 9285 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 594 0.09/0.15 o 594 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 595 27858 56902 | 9286 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 593 0.09/0.16 o 593 0.09/0.16 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 9 | 595 27859 57497 | 9286 9 589 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 592 0.09/0.18 o 592 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 107 | 595 27860 58092 | 9286 107 588 | 0.000 % | 0.19/0.21 c | 210 | 595 27860 58092 | 10215 210 588 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 591 0.19/0.23 o 591 0.19/0.23 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 285 | 595 27861 58687 | 9287 285 588 | 0.000 % | 0.19/0.25 c | 387 | 595 27861 58687 | 10215 387 588 | 0.000 % | 0.19/0.28 c | 537 | 595 27861 58687 | 11237 537 588 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 590 0.29/0.32 o 590 0.29/0.32 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 670 | 595 27862 59282 | 9287 670 588 | 0.000 % | 0.29/0.35 c | 773 | 595 27862 59282 | 10216 773 587 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: 589 0.29/0.38 o 589 0.29/0.38 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 865 | 595 27863 59877 | 9287 865 587 | 0.000 % | 0.39/0.41 c | 966 | 595 27863 59877 | 10216 966 587 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 588 0.39/0.42 o 588 0.39/0.42 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 1009 | 595 27864 60472 | 9288 1009 587 | 0.000 % | 0.39/0.46 c | 1110 | 595 27864 60472 | 10216 1110 587 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 587 0.49/0.50 o 587 0.49/0.50 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 1238 | 595 27865 61067 | 9288 1238 586 | 0.000 % | 0.49/0.54 c | 1338 | 595 27865 61067 | 10217 1338 586 | 0.000 % | 0.59/0.60 c | 1489 | 595 27865 61067 | 11238 1489 586 | 0.000 % | 0.59/0.68 c | 1715 | 595 27865 61067 | 12362 1715 586 | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 586 0.69/0.78 o 586 0.69/0.78 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 2016 | 595 27866 61662 | 9288 2016 585 | 0.000 % | 0.79/0.84 c | 2118 | 595 27866 61662 | 10217 2118 585 | 0.000 % | 0.89/0.92 c | 2270 | 595 27866 61662 | 11239 2270 585 | 0.000 % | 1.00/1.04 c | 2497 | 595 27866 61662 | 12363 2497 585 | 0.000 % | 1.10/1.19 c | 2835 | 595 27866 61662 | 13599 2835 584 | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c New solution: 585 1.19/1.22 o 585 1.19/1.22 c Elapsed CPU time: 1.19482 s Remaining CPU time: 178.805 s 1.19/1.22 c =============================================================================== 1.19/1.22 c | 2913 | 595 27867 62257 | 9289 2913 584 | 0.000 % | 1.19/1.26 c | 3016 | 595 27867 62257 | 10217 3016 584 | 0.000 % | 1.29/1.35 c | 3167 | 595 27867 62257 | 11239 3167 584 | 0.000 % | 1.39/1.48 c | 3397 | 595 27867 62257 | 12363 3397 584 | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c New solution: 584 1.49/1.58 o 584 1.49/1.58 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s 1.49/1.58 c =============================================================================== 1.49/1.58 c | 3558 | 595 27868 62852 | 9289 3558 584 | 0.000 % | 1.59/1.65 c | 3659 | 595 27868 62852 | 10218 3659 583 | 0.000 % | 1.69/1.76 c | 3810 | 595 27868 62852 | 11240 3810 583 | 0.000 % | 1.79/1.88 c | 4036 | 595 27868 62852 | 12364 4036 583 | 0.000 % | 2.09/2.11 c | 4374 | 595 27868 62852 | 13600 4374 583 | 0.000 % | 2.38/2.44 c | 4884 | 595 27868 62852 | 14960 4884 583 | 0.000 % | 2.99/3.01 c | 5644 | 595 27868 62852 | 16456 5644 582 | 0.000 % | 3.79/3.83 c | 6783 | 595 27868 62852 | 18102 6783 582 | 0.000 % | 5.49/5.57 c | 8491 | 595 27868 62852 | 19912 8491 581 | 0.000 % | 8.39/8.48 c =============================================================================== 8.39/8.48 c New solution: 583 8.39/8.48 o 583 8.39/8.48 c Elapsed CPU time: 8.39872 s Remaining CPU time: 171.601 s 8.39/8.48 c =============================================================================== 8.39/8.48 c | 10983 | 595 27869 63447 | 9289 10983 581 | 0.000 % | 8.59/8.64 c | 11084 | 595 27869 63447 | 10218 5593 580 | 0.000 % | 8.70/8.75 c | 11234 | 595 27869 63447 | 11240 5743 580 | 0.000 % | 8.79/8.89 c | 11459 | 595 27869 63447 | 12364 5968 580 | 0.000 % | 9.08/9.11 c | 11797 | 595 27869 63447 | 13601 6306 580 | 0.000 % | 9.28/9.35 c | 12303 | 595 27869 63447 | 14961 6812 580 | 0.000 % | 9.28/9.37 c =============================================================================== 9.28/9.37 c New solution: 582 9.28/9.37 o 582 9.28/9.37 c Elapsed CPU time: 9.27759 s Remaining CPU time: 170.722 s 9.28/9.37 c =============================================================================== 9.28/9.37 c | 12332 | 595 27870 64042 | 9290 6841 580 | 0.000 % | 9.39/9.43 c | 12432 | 595 27870 64042 | 10219 6941 580 | 0.000 % | 9.49/9.50 c | 12582 | 595 27870 64042 | 11240 7091 580 | 0.000 % | 9.59/9.63 c | 12808 | 595 27870 64042 | 12364 7317 580 | 0.000 % | 9.79/9.83 c | 13145 | 595 27870 64042 | 13601 7654 580 | 0.000 % | 9.99/10.09 c | 13652 | 595 27870 64042 | 14961 8161 580 | 0.000 % | 10.79/10.84 c | 14414 | 595 27870 64042 | 16457 8923 580 | 0.000 % | 11.39/11.43 c =============================================================================== 11.39/11.43 c New solution: 581 11.39/11.43 o 581 11.39/11.43 c Elapsed CPU time: 11.3153 s Remaining CPU time: 168.685 s 11.39/11.43 c =============================================================================== 11.39/11.43 c | 15307 | 595 27871 64637 | 9290 9816 579 | 0.000 % | 11.49/11.58 c | 15409 | 595 27871 64637 | 10219 5010 579 | 0.000 % | 11.59/11.67 c | 15559 | 595 27871 64637 | 11241 5160 579 | 0.000 % | 11.69/11.78 c | 15784 | 595 27871 64637 | 12365 5385 579 | 0.000 % | 11.79/11.89 c =============================================================================== 11.79/11.89 c New solution: 580 11.79/11.89 o 580 11.79/11.89 c Elapsed CPU time: 11.7692 s Remaining CPU time: 168.231 s 11.79/11.89 c =============================================================================== 11.79/11.89 c | 15922 | 595 27872 65232 | 9290 5523 579 | 0.000 % | 11.88/11.97 c | 16023 | 595 27872 65232 | 10219 5624 579 | 0.000 % | 11.99/12.00 c =============================================================================== 11.99/12.00 c New solution: 579 11.99/12.00 o 579 11.99/12.00 c Elapsed CPU time: 11.8792 s Remaining CPU time: 168.121 s 11.99/12.00 c =============================================================================== 11.99/12.00 c | 16053 | 595 27873 65827 | 9291 5654 579 | 0.000 % | 11.99/12.06 c | 16154 | 595 27873 65827 | 10220 5755 579 | 0.000 % | 12.09/12.15 c | 16304 | 595 27873 65827 | 11242 5905 579 | 0.000 % | 12.19/12.25 c | 16530 | 595 27873 65827 | 12366 6131 579 | 0.000 % | 12.49/12.50 c | 16867 | 595 27873 65827 | 13602 6468 578 | 0.000 % | 12.78/12.84 c | 17374 | 595 27873 65827 | 14963 6975 578 | 0.000 % | 13.59/13.64 c | 18135 | 595 27873 65827 | 16459 7736 578 | 0.000 % | 14.19/14.20 c =============================================================================== 14.19/14.20 c New solution: 578 14.19/14.20 o 578 14.19/14.20 c Elapsed CPU time: 14.0589 s Remaining CPU time: 165.941 s 14.19/14.20 c =============================================================================== 14.19/14.20 c | 19202 | 595 27874 66422 | 9291 8803 578 | 0.000 % | 14.19/14.30 c | 19302 | 595 27874 66422 | 10220 8903 578 | 0.000 % | 14.39/14.49 c | 19454 | 595 27874 66422 | 11242 9055 577 | 0.000 % | 14.69/14.73 c | 19680 | 595 27874 66422 | 12366 9281 577 | 0.000 % | 15.09/15.14 c | 20018 | 595 27874 66422 | 13603 9619 577 | 0.000 % | 15.49/15.58 c | 20528 | 595 27874 66422 | 14963 10129 577 | 0.000 % | 16.58/16.64 c | 21289 | 595 27874 66422 | 16460 10890 577 | 0.000 % | 18.19/18.21 c | 22429 | 595 27874 66422 | 18106 12030 577 | 0.000 % | 19.98/20.05 c | 24137 | 595 27874 66422 | 19916 13738 576 | 0.000 % | 22.29/22.32 c | 26701 | 595 27874 66422 | 21908 16302 576 | 0.000 % | 27.78/27.83 c | 30549 | 595 27874 66422 | 24099 20150 576 | 0.000 % | 28.49/28.54 c =============================================================================== 28.49/28.54 c New solution: 577 28.49/28.54 o 577 28.49/28.54 c Elapsed CPU time: 28.3027 s Remaining CPU time: 151.697 s 28.49/28.54 c =============================================================================== 28.49/28.54 c | 30984 | 595 27875 67017 | 9291 20585 576 | 0.000 % | 28.88/28.93 c | 31084 | 595 27875 67017 | 10220 5247 574 | 0.000 % | 28.98/29.02 c | 31235 | 595 27875 67017 | 11242 5398 574 | 0.000 % | 29.08/29.18 c | 31460 | 595 27875 67017 | 12367 5623 574 | 0.000 % | 29.39/29.40 c | 31798 | 595 27875 67017 | 13603 5961 574 | 0.000 % | 29.88/29.94 c | 32305 | 595 27875 67017 | 14964 6468 574 | 0.000 % | 30.38/30.43 c | 33064 | 595 27875 67017 | 16460 7227 574 | 0.000 % | 31.09/31.15 c | 34203 | 595 27875 67017 | 18106 8366 574 | 0.000 % | 31.99/32.06 c | 35913 | 595 27875 67017 | 19917 10076 574 | 0.000 % | 34.19/34.24 c | 38476 | 595 27875 67017 | 21909 12639 574 | 0.000 % | 36.68/36.78 c | 42321 | 595 27875 67017 | 24100 16484 574 | 0.000 % | 42.68/42.76 c | 48087 | 595 27875 67017 | 26510 22250 574 | 0.000 % | 56.08/56.14 c | 56737 | 595 27875 67017 | 29161 14679 574 | 0.000 % | 86.97/87.03 c | 69711 | 595 27875 67017 | 32077 27653 574 | 0.000 % | 130.26/130.35 c | 89173 | 595 27875 67017 | 35285 25521 574 | 0.000 % | 180.75/180.84 c There are 0 assigned variables. 0 in cost function. 180.84/180.96 c core #1 180.84/180.96 c #cores: 1 180.84/180.96 c Final Weight: 577 180.84/180.96 o 577 180.84/180.96 s OPTIMUM FOUND 180.84/180.96 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.84/180.96 c Total CPU time: 180.125 s
OK -18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656032-1276515327/watcher-2656032-1276515327 -o /tmp/evaluation-result-2656032-1276515327/solver-2656032-1276515327 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656032-1276515327.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.92 0.98 0.99 3/107 28354 /proc/meminfo: memFree=1711224/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=3228 CPUtime=0 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 25188459 3305472 224 1992294400 134512640 135751879 4291096368 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 807 225 145 303 0 339 0 [startup+0.0300351 s] /proc/loadavg: 0.92 0.98 0.99 3/107 28354 /proc/meminfo: memFree=1711224/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=3624 CPUtime=0.02 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 426 0 0 0 2 0 0 0 20 0 1 0 25188459 3710976 344 1992294400 134512640 135751879 4291096368 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 906 345 184 303 0 438 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3624 [startup+0.101042 s] /proc/loadavg: 0.92 0.98 0.99 3/107 28354 /proc/meminfo: memFree=1711224/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=5576 CPUtime=0.09 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 1185 0 0 0 9 0 0 0 20 0 1 0 25188459 5709824 940 1992294400 134512640 135751879 4291096368 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 1394 941 143 303 0 1089 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5576 [startup+0.301059 s] /proc/loadavg: 0.92 0.98 0.99 3/107 28354 /proc/meminfo: memFree=1711224/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=5580 CPUtime=0.29 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 1577 0 0 0 28 1 0 0 20 0 1 0 25188459 5713920 932 1992294400 134512640 135751879 4291096368 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 1395 932 147 303 0 1090 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5580 [startup+0.701095 s] /proc/loadavg: 0.92 0.98 0.99 3/107 28354 /proc/meminfo: memFree=1711224/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=8532 CPUtime=0.69 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 2335 0 0 0 67 2 0 0 21 0 1 0 25188459 8736768 1690 1992294400 134512640 135751879 4291096368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 2133 1690 147 303 0 1828 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8532 [startup+1.50117 s] /proc/loadavg: 0.92 0.98 0.99 2/108 28355 /proc/meminfo: memFree=1703404/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=12524 CPUtime=1.49 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 3332 0 0 0 146 3 0 0 23 0 1 0 25188459 12824576 2687 1992294400 134512640 135751879 4291096368 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 3131 2687 147 303 0 2826 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12524 [startup+3.10031 s] /proc/loadavg: 0.92 0.98 0.99 2/108 28355 /proc/meminfo: memFree=1698320/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=18316 CPUtime=3.09 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 4767 0 0 0 305 4 0 0 25 0 1 0 25188459 18755584 4122 1992294400 134512640 135751879 4291096368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 4579 4122 147 303 0 4274 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18316 [startup+6.3016 s] /proc/loadavg: 0.93 0.98 0.99 2/108 28355 /proc/meminfo: memFree=1688524/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=26444 CPUtime=6.29 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 6811 0 0 0 623 6 0 0 25 0 1 0 25188459 27078656 6166 1992294400 134512640 135751879 4291096368 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 6611 6166 147 303 0 6306 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26444 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/108 28355 /proc/meminfo: memFree=1669800/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=45740 CPUtime=12.69 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 11632 0 0 0 1257 12 0 0 25 0 1 0 25188459 46837760 10987 1992294400 134512640 135751879 4291096368 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 11435 10987 148 303 0 11130 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45740 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/108 28355 /proc/meminfo: memFree=1639296/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=74696 CPUtime=25.49 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 18851 0 0 0 2527 22 0 0 25 0 1 0 25188459 76488704 18206 1992294400 134512640 135751879 4291096368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 18674 18206 148 303 0 18369 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 74696 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/108 28355 /proc/meminfo: memFree=1582132/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=131892 CPUtime=51.08 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 33111 0 0 0 5072 36 0 0 25 0 1 0 25188459 135057408 32466 1992294400 134512640 135751879 4291096368 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 32973 32466 148 303 0 32668 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 131892 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/108 28357 /proc/meminfo: memFree=1529680/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=183800 CPUtime=102.28 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 46035 0 0 0 10173 55 0 0 25 0 1 0 25188459 188211200 45390 1992294400 134512640 135751879 4291096368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 45950 45390 148 303 0 45645 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 183800 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 28359 /proc/meminfo: memFree=1476484/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=238120 CPUtime=162.25 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 59599 0 0 0 16151 74 0 0 25 0 1 0 25188459 243834880 58954 1992294400 134512640 135751879 4291096368 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 59530 58954 148 303 0 59225 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 238120 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 28359 /proc/meminfo: memFree=1471648/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=241404 CPUtime=166.25 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 60406 0 0 0 16551 74 0 0 25 0 1 0 25188459 247197696 59761 1992294400 134512640 135751879 4291096368 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 60351 59761 148 303 0 60046 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 241404 [startup+172.708 s] /proc/loadavg: 0.99 0.98 0.99 3/109 28362 /proc/meminfo: memFree=1450312/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=245884 CPUtime=172.66 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 61532 0 0 0 17190 76 0 0 25 0 1 0 25188459 251785216 60887 1992294400 134512640 135751879 4291096368 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 61471 60887 148 303 0 61166 0 Current children cumulated CPU time (s) 172.66 Current children cumulated vsize (KiB) 245884 [startup+175.901 s] /proc/loadavg: 1.07 1.00 1.00 2/108 28362 /proc/meminfo: memFree=1463340/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=248976 CPUtime=175.86 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 62317 0 0 0 17509 77 0 0 25 0 1 0 25188459 254951424 61672 1992294400 134512640 135751879 4291096368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 62244 61672 148 303 0 61939 0 Current children cumulated CPU time (s) 175.86 Current children cumulated vsize (KiB) 248976 [startup+179.101 s] /proc/loadavg: 1.07 1.00 1.00 2/108 28362 /proc/meminfo: memFree=1459868/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=253604 CPUtime=179.04 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 63457 0 0 0 17826 78 0 0 25 0 1 0 25188459 259690496 62812 1992294400 134512640 135751879 4291096368 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 63401 62812 148 303 0 63096 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 253604 [startup+179.901 s] /proc/loadavg: 1.07 1.00 1.00 2/108 28362 /proc/meminfo: memFree=1458628/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=254500 CPUtime=179.85 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 63702 0 0 0 17906 79 0 0 25 0 1 0 25188459 260608000 63057 1992294400 134512640 135751879 4291096368 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 63625 63057 148 303 0 63320 0 Current children cumulated CPU time (s) 179.85 Current children cumulated vsize (KiB) 254500 [startup+180.701 s] /proc/loadavg: 1.07 1.00 1.00 2/108 28362 /proc/meminfo: memFree=1457140/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=255908 CPUtime=180.65 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 64051 0 0 0 17986 79 0 0 25 0 1 0 25188459 262049792 63406 1992294400 134512640 135751879 4291096368 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 63977 63406 148 303 0 63672 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 255908 [startup+180.901 s] /proc/loadavg: 1.07 1.00 1.00 2/108 28362 /proc/meminfo: memFree=1457140/2059040 swapFree=4140108/4192956 [pid=28354] ppid=28352 vsize=257348 CPUtime=180.84 /proc/28354/stat : 28354 (wbo1.4b) R 28352 28354 27788 0 -1 4202496 64393 0 0 0 18005 79 0 0 25 0 1 0 25188459 263524352 63748 1992294400 134512640 135751879 4291096368 18446744073709551615 134521941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28354/statm: 64337 63748 149 303 0 64032 0 Current children cumulated CPU time (s) 180.84 Current children cumulated vsize (KiB) 257348 Child status: 0 Real time (s): 180.994 CPU time (s): 180.95 CPU user time (s): 180.125 CPU system time (s): 0.825874 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 257348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.125 system time used= 0.825874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64394 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= 494 runsolver used 0.281957 second user time and 0.889864 second system time The end
Begin job on node025 at 2010-06-14 13:35:27 IDJOB=2656032 IDBENCH=2273 IDSOLVER=1161 FILE ID=node025/2656032-1276515327 PBS_JOBID= 11173421 Free space on /tmp= 62572 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656032-1276515327/watcher-2656032-1276515327 -o /tmp/evaluation-result-2656032-1276515327/solver-2656032-1276515327 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656032-1276515327.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8 RANDOM SEED=1418143371 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1711752 kB Buffers: 114812 kB Cached: 138984 kB SwapCached: 6908 kB Active: 101576 kB Inactive: 165872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1711752 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 3268 kB Writeback: 0 kB AnonPages: 11404 kB Mapped: 12904 kB Slab: 58004 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182664 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= 62568 MiB End job on node025 at 2010-06-14 13:38:28