Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | OPT | -82 | 4.37133 | 4.3726 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-4000opt.opb |
MD5SUM | 78d7b4bc270e158c16f301038a8fbfa0 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -82 |
Best CPU time to get the best result obtained on this benchmark | 0.642901 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 30390 |
Number of constraints which are clauses | 30390 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 316 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 316 |
Number of bits of the biggest sum of numbers | 9 |
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 Parsing PB file... 0.00/0.04 c Converting 30390 PB-constraints to clauses... 0.00/0.05 c -- Unit propagations: (none) 0.00/0.05 c -- Detecting intervals from adjacent constraints: (none) 0.00/0.05 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.00/0.07 c ==================================[MINISAT+]================================== 0.00/0.07 c | Conflicts | Original | Learnt | Progress | 0.00/0.07 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.07 c ============================================================================== 0.00/0.07 c | 0 | 30390 90000 | 10130 0 0 -nan | 0.000 % | 0.00/0.07 c ============================================================================== 0.00/0.07 c [1mFound solution: -11[0m 0.00/0.07 c ---[ 0]---> Sorter-cost: 5183 Base: 2 2 0.00/0.08 c ==================================[MINISAT+]================================== 0.00/0.08 c | Conflicts | Original | Learnt | Progress | 0.00/0.08 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.08 c ============================================================================== 0.00/0.08 c | 0 | 36723 104913 | 12241 0 0 -nan | 0.000 % | 0.00/0.08 c ============================================================================== 0.00/0.08 c [1mFound solution: -33[0m 0.00/0.08 c ---[ 0]---> Sorter-cost: 3056 Base: 2 2 0.00/0.09 c ==================================[MINISAT+]================================== 0.00/0.09 c | Conflicts | Original | Learnt | Progress | 0.00/0.09 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.09 c ============================================================================== 0.00/0.09 c | 59 | 44976 124245 | 14992 54 265 4.9 | 0.000 % | 0.00/0.10 c ============================================================================== 0.00/0.10 c [1mFound solution: -36[0m 0.00/0.10 c ---[ 0]---> Sorter-cost: 3505 Base: 2 2 0.00/0.11 c ==================================[MINISAT+]================================== 0.00/0.11 c | Conflicts | Original | Learnt | Progress | 0.00/0.11 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.11 c ============================================================================== 0.00/0.11 c | 141 | 51580 139798 | 17193 129 1331 10.3 | 0.000 % | 0.00/0.12 c ============================================================================== 0.00/0.12 c [1mFound solution: -45[0m 0.00/0.12 c ---[ 0]---> Sorter-cost: 2985 Base: 2 2 0.00/0.12 c ==================================[MINISAT+]================================== 0.00/0.12 c | Conflicts | Original | Learnt | Progress | 0.00/0.12 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.12 c ============================================================================== 0.00/0.12 c | 207 | 56686 151832 | 18895 187 1748 9.3 | 0.000 % | 0.00/0.13 c ============================================================================== 0.00/0.13 c [1mFound solution: -56[0m 0.00/0.13 c ---[ 0]---> Sorter-cost: 1275 Base: 2 2 0.00/0.13 c ==================================[MINISAT+]================================== 0.00/0.13 c | Conflicts | Original | Learnt | Progress | 0.00/0.13 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.13 c ============================================================================== 0.00/0.13 c | 229 | 57963 154884 | 19321 207 2066 10.0 | 0.000 % | 0.00/0.15 c | 330 | 57904 154759 | 21253 305 5208 17.1 | 5.271 % | 0.00/0.16 c ============================================================================== 0.00/0.16 c [1mFound solution: -61[0m 0.00/0.16 c ---[ 0]---> Sorter-cost: 4020 Base: 2 0.00/0.16 c ==================================[MINISAT+]================================== 0.00/0.16 c | Conflicts | Original | Learnt | Progress | 0.00/0.16 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.16 c ============================================================================== 0.00/0.16 c | 371 | 61626 163599 | 20542 338 5886 17.4 | 5.271 % | 0.00/0.18 c | 471 | 61361 162999 | 22596 435 8091 18.6 | 6.162 % | 0.00/0.21 c | 621 | 61143 162504 | 24855 584 11327 19.4 | 6.610 % | 0.00/0.25 c | 846 | 60789 161714 | 27341 805 16711 20.8 | 7.328 % | 0.00/0.30 c | 1184 | 60466 160974 | 30075 1140 24747 21.7 | 8.126 % | 0.00/0.39 c | 1690 | 60466 160974 | 33083 1646 39079 23.7 | 8.126 % | 0.00/0.44 c ============================================================================== 0.00/0.44 c [1mFound solution: -63[0m 0.00/0.44 c ---[ 0]---> Sorter-cost: 3265 Base: 2 2 0.00/0.44 c ==================================[MINISAT+]================================== 0.00/0.44 c | Conflicts | Original | Learnt | Progress | 0.00/0.44 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.44 c ============================================================================== 0.00/0.44 c | 1983 | 64353 170139 | 21451 1939 48891 25.2 | 8.126 % | 0.00/0.46 c | 2084 | 64353 170139 | 23596 2040 51372 25.2 | 7.095 % | 0.00/0.50 c | 2235 | 64353 170139 | 25955 2191 54972 25.1 | 7.096 % | 0.00/0.55 c | 2460 | 64353 170139 | 28551 2416 60916 25.2 | 7.096 % | 0.00/0.62 c | 2797 | 64353 170139 | 31406 2753 68415 24.9 | 7.096 % | 0.00/0.73 c | 3303 | 64353 170139 | 34547 3259 81242 24.9 | 7.096 % | 0.00/0.77 c ============================================================================== 0.00/0.77 c [1mFound solution: -65[0m 0.00/0.77 c ---[ 0]---> Sorter-cost: 2 Base: 2 2 0.00/0.77 c ==================================[MINISAT+]================================== 0.00/0.77 c | Conflicts | Original | Learnt | Progress | 0.00/0.77 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.77 c ============================================================================== 0.00/0.77 c | 3444 | 67579 177656 | 22526 3400 84972 25.0 | 7.096 % | 0.00/0.80 c | 3545 | 67579 177656 | 24778 3501 87499 25.0 | 7.072 % | 0.00/0.83 c | 3695 | 67579 177656 | 27256 3651 91111 25.0 | 7.072 % | 0.00/0.84 c ============================================================================== 0.00/0.84 c [1mFound solution: -67[0m 0.00/0.84 c ---[ 0]---> Sorter-cost: 1 Base: 2 2 0.00/0.85 c ==================================[MINISAT+]================================== 0.00/0.85 c | Conflicts | Original | Learnt | Progress | 0.00/0.85 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.85 c ============================================================================== 0.00/0.85 c | 3748 | 67598 177715 | 22532 3704 93003 25.1 | 7.072 % | 0.00/0.87 c | 3848 | 67598 177715 | 24785 3804 95189 25.0 | 7.073 % | 0.00/0.90 c | 3999 | 67598 177715 | 27263 3955 97611 24.7 | 7.073 % | 0.00/0.94 c | 4227 | 67598 177715 | 29990 4183 102506 24.5 | 7.073 % | 0.99/1.02 c | 4565 | 67374 177214 | 32989 4520 108096 23.9 | 7.476 % | 1.09/1.12 c | 5072 | 67374 177214 | 36288 5027 117850 23.4 | 7.476 % | 1.18/1.28 c | 5832 | 67374 177214 | 39916 5787 131095 22.7 | 7.477 % | 1.48/1.52 c | 6971 | 67374 177214 | 43908 6926 150089 21.7 | 7.477 % | 1.78/1.85 c | 8679 | 65041 171773 | 48299 3353 64722 19.3 | 11.503 % | 2.28/2.36 c | 11241 | 62904 166760 | 53129 3330 69113 20.8 | 15.454 % | 2.38/2.43 c ============================================================================== 2.38/2.43 c [1mFound solution: -69[0m 2.38/2.43 c ---[ 0]---> Sorter-cost: 3047 Base: 2 2 2.38/2.43 c ==================================[MINISAT+]================================== 2.38/2.43 c | Conflicts | Original | Learnt | Progress | 2.38/2.43 c | | Clauses Literals | Max Clauses Literals LPC | | 2.38/2.43 c ============================================================================== 2.38/2.43 c | 11521 | 69698 182662 | 23232 3610 76945 21.3 | 15.454 % | 2.38/2.44 c ============================================================================== 2.38/2.44 c [1mFound solution: -76[0m 2.38/2.44 c ---[ 0]---> Sorter-cost: 3 Base: 2 2 2.38/2.44 c ==================================[MINISAT+]================================== 2.38/2.44 c | Conflicts | Original | Learnt | Progress | 2.38/2.44 c | | Clauses Literals | Max Clauses Literals LPC | | 2.38/2.44 c ============================================================================== 2.38/2.44 c | 11522 | 69827 183005 | 23275 3611 77076 21.3 | 15.454 % | 2.38/2.47 c | 11622 | 69827 183005 | 25602 3711 79601 21.5 | 13.668 % | 2.48/2.50 c | 11773 | 69827 183005 | 28162 3862 83194 21.5 | 13.668 % | 2.48/2.58 c | 11998 | 69725 182782 | 30979 4085 88210 21.6 | 13.892 % | 2.58/2.66 c | 12335 | 69725 182782 | 34076 4422 96634 21.9 | 13.892 % | 2.68/2.77 c ============================================================================== 2.68/2.77 c [1mFound solution: -81[0m 2.68/2.77 c ---[ 0]---> Sorter-cost: 2 Base: 2 2 2.68/2.78 c ==================================[MINISAT+]================================== 2.68/2.78 c | Conflicts | Original | Learnt | Progress | 2.68/2.78 c | | Clauses Literals | Max Clauses Literals LPC | | 2.68/2.78 c ============================================================================== 2.68/2.78 c | 12798 | 69732 182806 | 23244 4885 107541 22.0 | 13.892 % | 2.68/2.79 c ============================================================================== 2.68/2.79 c [1mFound solution: -82[0m 2.68/2.79 c ---[ 0]---> Sorter-cost: 3 Base: 2 2 2.68/2.79 c ==================================[MINISAT+]================================== 2.68/2.79 c | Conflicts | Original | Learnt | Progress | 2.68/2.79 c | | Clauses Literals | Max Clauses Literals LPC | | 2.68/2.79 c ============================================================================== 2.68/2.79 c | 12837 | 69737 182840 | 23245 4924 108580 22.1 | 13.892 % | 2.78/2.82 c | 12937 | 69737 182840 | 25569 5024 111070 22.1 | 13.896 % | 2.78/2.85 c | 13089 | 69737 182840 | 28126 5176 115368 22.3 | 13.896 % | 2.88/2.91 c | 13314 | 69683 182721 | 30939 5398 119310 22.1 | 13.975 % | 2.88/2.99 c | 13651 | 69033 181223 | 34033 5731 125323 21.9 | 15.052 % | 3.08/3.11 c | 14157 | 68340 179633 | 37436 6233 140806 22.6 | 16.103 % | 3.19/3.28 c | 14917 | 68340 179633 | 41179 6993 156819 22.4 | 16.103 % | 3.48/3.55 c | 16056 | 68037 178937 | 45297 8130 180974 22.3 | 16.675 % | 3.88/3.92 c | 17764 | 64946 171689 | 49827 5674 115889 20.4 | 21.780 % | 4.29/4.36 c ============================================================================== 4.29/4.36 c [1mOptimal solution: -82[0m 4.29/4.36 s OPTIMUM FOUND 4.29/4.36 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 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 4.29/4.36 c _______________________________________________________________________________ 4.29/4.36 c 4.29/4.36 c restarts : 48 4.29/4.36 c conflicts : 19864 (4567 /sec) 4.29/4.36 c decisions : 59478 (13675 /sec) 4.29/4.36 c propagations : 0 (0 /sec) 4.29/4.36 c inspects : 0 (0 /sec) 4.29/4.36 c CPU time : 4.34934 s 4.29/4.36 c _______________________________________________________________________________
OK -82
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723809-1338574990/watcher-3723809-1338574990 -o /tmp/evaluation-result-3723809-1338574990/solver-3723809-1338574990 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723809-1338574990.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.99 1.99 3/177 28936 /proc/meminfo: memFree=25448184/32873648 swapFree=6852/6852 [pid=28936] ppid=28934 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28936/stat : 28936 (minisat+_script) S 28934 28936 25976 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323626314 9367552 276 33554432000 4194304 5064252 140735191456640 140735191455552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28936/statm: 2287 276 236 213 0 72 0 [startup+0.0424971 s] /proc/loadavg: 1.93 1.99 1.99 3/177 28936 /proc/meminfo: memFree=25448184/32873648 swapFree=6852/6852 [pid=28936] ppid=28934 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28936/stat : 28936 (minisat+_script) S 28934 28936 25976 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323626314 9367552 276 33554432000 4194304 5064252 140735191456640 140735191455552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28936/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100278 s] /proc/loadavg: 1.93 1.99 1.99 3/177 28936 /proc/meminfo: memFree=25448184/32873648 swapFree=6852/6852 [pid=28936] ppid=28934 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28936/stat : 28936 (minisat+_script) S 28934 28936 25976 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323626314 9367552 276 33554432000 4194304 5064252 140735191456640 140735191455552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28936/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300221 s] /proc/loadavg: 1.93 1.99 1.99 3/177 28936 /proc/meminfo: memFree=25448184/32873648 swapFree=6852/6852 [pid=28936] ppid=28934 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28936/stat : 28936 (minisat+_script) S 28934 28936 25976 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323626314 9367552 276 33554432000 4194304 5064252 140735191456640 140735191455552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28936/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700184 s] /proc/loadavg: 1.93 1.99 1.99 3/177 28936 /proc/meminfo: memFree=25448184/32873648 swapFree=6852/6852 [pid=28936] ppid=28934 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28936/stat : 28936 (minisat+_script) S 28934 28936 25976 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323626314 9367552 276 33554432000 4194304 5064252 140735191456640 140735191455552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28936/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50022 s] /proc/loadavg: 1.93 1.99 1.99 3/179 28941 /proc/meminfo: memFree=25429700/32873648 swapFree=6852/6852 [pid=28936] ppid=28934 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28936/stat : 28936 (minisat+_script) S 28934 28936 25976 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323626314 9367552 276 33554432000 4194304 5064252 140735191456640 140735191455552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28936/statm: 2287 276 236 213 0 72 0 [pid=28940] ppid=28936 vsize=19496 CPUtime=1.48 cores=1,3,5,7 /proc/28940/stat : 28940 (minisat+_64-bit) R 28936 28936 25976 0 -1 4202496 4659 0 0 0 147 1 0 0 20 0 1 0 323626315 19963904 4615 33554432000 4194304 5276501 140733357543744 140733357541992 4399427 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/28940/statm: 4874 4615 120 265 0 4606 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 28644 [startup+3.10026 s] /proc/loadavg: 1.93 1.99 1.99 3/179 28941 /proc/meminfo: memFree=25429328/32873648 swapFree=6852/6852 [pid=28936] ppid=28934 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28936/stat : 28936 (minisat+_script) S 28934 28936 25976 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323626314 9367552 276 33554432000 4194304 5064252 140735191456640 140735191455552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28936/statm: 2287 276 236 213 0 72 0 [pid=28940] ppid=28936 vsize=19496 CPUtime=3.08 cores=1,3,5,7 /proc/28940/stat : 28940 (minisat+_64-bit) R 28936 28936 25976 0 -1 4202496 4663 0 0 0 307 1 0 0 20 0 1 0 323626315 19963904 4619 33554432000 4194304 5276501 140733357543744 140733357541992 4399804 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/28940/statm: 4874 4619 120 265 0 4606 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28644 Solver just ended. Dumping a history of the last processes samples [startup+3.90026 s] /proc/loadavg: 1.93 1.99 1.99 3/179 28941 /proc/meminfo: memFree=25429080/32873648 swapFree=6852/6852 [pid=28936] ppid=28934 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28936/stat : 28936 (minisat+_script) S 28934 28936 25976 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323626314 9367552 276 33554432000 4194304 5064252 140735191456640 140735191455552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28936/statm: 2287 276 236 213 0 72 0 [pid=28940] ppid=28936 vsize=19496 CPUtime=3.88 cores=1,3,5,7 /proc/28940/stat : 28940 (minisat+_64-bit) R 28936 28936 25976 0 -1 4202496 4663 0 0 0 387 1 0 0 20 0 1 0 323626315 19963904 4619 33554432000 4194304 5276501 140733357543744 140733357541992 4397093 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/28940/statm: 4874 4619 120 265 0 4606 0 Current children cumulated CPU time (s) 3.88 Current children cumulated vsize (KiB) 28644 [startup+4.30026 s] /proc/loadavg: 1.93 1.99 1.99 3/179 28941 /proc/meminfo: memFree=25429080/32873648 swapFree=6852/6852 [pid=28936] ppid=28934 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28936/stat : 28936 (minisat+_script) S 28934 28936 25976 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323626314 9367552 276 33554432000 4194304 5064252 140735191456640 140735191455552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28936/statm: 2287 276 236 213 0 72 0 [pid=28940] ppid=28936 vsize=19496 CPUtime=4.29 cores=1,3,5,7 /proc/28940/stat : 28940 (minisat+_64-bit) R 28936 28936 25976 0 -1 4202496 4663 0 0 0 428 1 0 0 20 0 1 0 323626315 19963904 4619 33554432000 4194304 5276501 140733357543744 140733357541992 4399298 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/28940/statm: 4874 4619 120 265 0 4606 0 Current children cumulated CPU time (s) 4.29 Current children cumulated vsize (KiB) 28644 Child status: 0 Real time (s): 4.3726 CPU time (s): 4.37133 CPU user time (s): 4.35034 CPU system time (s): 0.020996 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 28644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.35034 system time used= 0.020996 maximum resident set size= 18488 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5614 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= 10 involuntary context switches= 11 runsolver used 0.008998 second user time and 0.047992 second system time The end
Begin job on node112 at 2012-06-01 20:23:11 IDJOB=3723809 IDBENCH=71821 IDSOLVER=2307 FILE ID=node112/3723809-1338574990 RUNJOBID= node112-1338569577-27650 PBS_JOBID= 14635872 Free space on /tmp= 71236 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-4000opt.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723809-1338574990/watcher-3723809-1338574990 -o /tmp/evaluation-result-3723809-1338574990/solver-3723809-1338574990 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723809-1338574990.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 78d7b4bc270e158c16f301038a8fbfa0 RANDOM SEED=1218723216 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 25448340 kB Buffers: 528080 kB Cached: 5792300 kB SwapCached: 0 kB Active: 1860208 kB Inactive: 4704932 kB Active(anon): 233712 kB Inactive(anon): 10936 kB Active(file): 1626496 kB Inactive(file): 4693996 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3364 kB Writeback: 0 kB AnonPages: 248248 kB Mapped: 14908 kB Shmem: 200 kB Slab: 722896 kB SReclaimable: 165836 kB SUnreclaim: 557060 kB KernelStack: 1480 kB PageTables: 4616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 357056 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71232 MiB End job on node112 at 2012-06-01 20:23:15