Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -32 | 1798.09 | 1799.01 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
MD5SUM | f408a60720d5bae3e36cea0c41e2f7f1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -34 |
Best CPU time to get the best result obtained on this benchmark | 1795.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -39 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41619 |
Number of constraints which are clauses | 41619 |
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 | 760 |
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 | 760 |
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 | 760 |
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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879970-1245164526.opb 0.00/0.00 c File size is 994325 bytes. 0.09/0.13 c Highest Coefficient sum: 760 0.09/0.13 c Parsing was ok!! 0.09/0.13 c Total parsing time: 0.13 s 0.09/0.14 c Var: 760 Constr: 41619 41619/0/0 Lit: 83238 Watch. Lit: 83238 0.09/0.14 c Obj. Vars: 760 (100 % of total variables) 0.79/0.85 c Pre-processing Time: 0.85 s 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 0 760 41619 83238 2 83238 13872 0 0 0.85 0.79/0.85 c Switching off lower bounding mode. 0.79/0.85 o -27 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 760 41620 83998 2 83267 14872 1 0 0.86 0.79/0.86 o -28 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 1 760 41622 85490 2 83299 14872 3 1 0.86 0.89/0.95 o -29 7.89/7.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.89/7.93 c 56 760 41719 156998 3 84511 14872 100 58 0.95 7.89/7.93 c 156 760 41911 297975 7 86687 16360 292 130 1.19 7.89/7.93 c 406 760 42399 657124 15 91839 17997 780 182 2.22 7.89/7.93 c 881 760 43333 1342935 30 100727 19797 1714 194 4.53 7.89/7.93 o -30 15.68/15.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.68/15.74 c 1363 760 44287 2044372 46 107583 14872 2668 172 7.92 15.68/15.74 c 1463 760 44477 2184033 49 106245 16360 2858 160 9.09 15.68/15.74 c 1714 760 44970 2546622 56 111807 17997 3351 143 11.95 15.68/15.74 o -31 86.93/87.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 86.93/87.09 c 2089 760 45711 3091676 67 119458 14872 4092 132 15.73 86.93/87.09 c 2189 760 45899 3229868 70 119094 16360 4280 123 17.79 86.93/87.09 c 2439 760 46384 3585992 77 124285 17997 4765 112 21.68 86.93/87.09 c 2914 760 47328 4277035 90 134352 19797 5709 90 32.34 86.93/87.09 c 3728 760 48936 5455922 111 149518 21777 7317 65 56.49 86.93/87.09 o -32 1797.98/1798.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.95 c 5046 760 51573 7378204 143 175224 14872 9954 57 87.03 1797.98/1798.95 c 5147 760 51772 7524143 145 164306 16360 10153 56 90.44 1797.98/1798.95 c 5397 760 52268 7886835 150 169536 17997 10649 54 98.41 1797.98/1798.95 c 5872 760 53201 8568792 161 179163 19797 11582 53 110.55 1797.98/1798.95 c 6685 760 54818 9754221 177 193582 21777 13199 47 140.44 1797.98/1798.95 c 8006 760 57444 11674465 203 213469 23955 15825 36 221.04 1797.98/1798.95 c 10088 760 61600 14717074 238 248091 26351 19981 31 321.36 1797.98/1798.95 c 13312 760 54796 9700668 177 199880 28987 13177 24 547.00 1797.98/1798.95 c 18249 760 64210 16569205 258 279109 31886 22591 24 733.85 1797.98/1798.95 c 25756 760 62535 15322612 245 281624 35075 20916 23 1118.70 1797.98/1798.95 c 37117 760 66572 18289847 274 345573 38583 24953 21 1724.45 1797.98/1798.95 c Resources Exceeded 1797.98/1798.95 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -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 1797.98/1798.95 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.95 c 25 38281 2583 41767 68878 19979069 27259 21 1798.03 1797.98/1798.95 c Objective: -32 1797.98/1798.95 s SATISFIABLE 1797.98/1798.95 c Total time: 1798.03 s
OK -32
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879970-1245164526/watcher-1879970-1245164526 -o /tmp/evaluation-result-1879970-1245164526/solver-1879970-1245164526 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879970-1245164526.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6308 /proc/meminfo: memFree=1848528/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=11688 CPUtime=0 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 184052683 11968512 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6308/statm: 2922 243 175 640 0 2035 0 [startup+0.026642 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6308 /proc/meminfo: memFree=1848528/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=12376 CPUtime=0.02 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 469 0 0 0 2 0 0 0 18 0 1 0 184052683 12673024 453 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6308/statm: 3094 453 214 640 0 2207 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12376 [startup+0.10165 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6308 /proc/meminfo: memFree=1848528/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=14716 CPUtime=0.09 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 1198 0 0 0 9 0 0 0 18 0 1 0 184052683 15069184 1182 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6308/statm: 3679 1182 355 640 0 2792 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14716 [startup+0.301673 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6308 /proc/meminfo: memFree=1848528/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=18016 CPUtime=0.29 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 2353 0 0 0 28 1 0 0 19 0 1 0 184052683 18448384 2094 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6308/statm: 4504 2094 190 640 0 3860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18016 [startup+0.701719 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6308 /proc/meminfo: memFree=1848528/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=18016 CPUtime=0.69 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 2353 0 0 0 67 2 0 0 22 0 1 0 184052683 18448384 2094 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6308/statm: 4504 2094 190 640 0 3860 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18016 [startup+1.50181 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1840776/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=21432 CPUtime=1.49 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 3782 0 0 0 145 4 0 0 25 0 1 0 184052683 21946368 2934 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6308/statm: 5358 2934 196 640 0 4714 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21432 [startup+3.10199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1834824/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=28212 CPUtime=3.09 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 5496 0 0 0 304 5 0 0 25 0 1 0 184052683 28889088 4648 1992294400 134512640 137136520 4294956256 18446744073709551615 136295557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6308/statm: 7053 4648 196 640 0 6409 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28212 [startup+6.30155 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1822480/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=38436 CPUtime=6.28 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 8045 0 0 0 622 6 0 0 25 0 1 0 184052683 39358464 7197 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 9609 7197 196 640 0 8965 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38436 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1809488/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=50232 CPUtime=12.68 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 10979 0 0 0 1260 8 0 0 25 0 1 0 184052683 51437568 10131 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 12558 10131 196 640 0 11914 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 50232 [startup+25.5058 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1793040/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=65796 CPUtime=25.47 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 14870 0 0 0 2536 11 0 0 25 0 1 0 184052683 67375104 14022 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 16449 14022 196 640 0 15805 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 65796 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1774480/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=84376 CPUtime=51.04 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 19535 0 0 0 5091 13 0 0 25 0 1 0 184052683 86401024 18687 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 21094 18687 197 640 0 20450 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 84376 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1738192/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=121088 CPUtime=102.22 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 28700 0 0 0 10201 21 0 0 25 0 1 0 184052683 123994112 27852 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 30272 27852 197 640 0 29628 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 121088 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1708112/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=150496 CPUtime=162.19 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 36064 0 0 0 16194 25 0 0 25 0 1 0 184052683 154107904 35216 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 37624 35216 197 640 0 36980 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 150496 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1690320/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=168192 CPUtime=222.13 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 40493 0 0 0 22185 28 0 0 25 0 1 0 184052683 172228608 39645 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 42048 39645 197 640 0 41404 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 168192 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1666704/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=192020 CPUtime=282.1 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 46425 0 0 0 28179 31 0 0 25 0 1 0 184052683 196628480 45577 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 48005 45577 197 640 0 47361 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 192020 [startup+342.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1644440/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=213936 CPUtime=342.07 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 51924 0 0 0 34173 34 0 0 25 0 1 0 184052683 219070464 51076 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 53484 51076 197 640 0 52840 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 213936 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1627352/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=231144 CPUtime=402.04 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 56226 0 0 0 40167 37 0 0 25 0 1 0 184052683 236691456 55378 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 57786 55378 197 640 0 57142 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 231144 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1610200/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=248156 CPUtime=462.02 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 60464 0 0 0 46162 40 0 0 25 0 1 0 184052683 254111744 59616 1992294400 134512640 137136520 4294956256 18446744073709551615 134574036 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 62039 59616 197 640 0 61395 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 248156 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1592216/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=266268 CPUtime=521.98 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 65006 0 0 0 52155 43 0 0 25 0 1 0 184052683 272658432 64158 1992294400 134512640 137136520 4294956256 18446744073709551615 134598615 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 66567 64158 197 640 0 65923 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 266268 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1589144/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=269004 CPUtime=581.96 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 65691 0 0 0 58152 44 0 0 25 0 1 0 184052683 275460096 64843 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 67251 64843 197 640 0 66607 0 Current children cumulated CPU time (s) 581.96 Current children cumulated vsize (KiB) 269004 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1589080/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=269004 CPUtime=641.93 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 65691 0 0 0 64148 45 0 0 25 0 1 0 184052683 275460096 64843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 67251 64843 197 640 0 66607 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 269004 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1530328/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=327308 CPUtime=1121.7 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 80274 0 0 0 112112 58 0 0 25 0 1 0 184052683 335163392 79426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 81827 79426 197 640 0 81183 0 Current children cumulated CPU time (s) 1121.7 Current children cumulated vsize (KiB) 327308 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1530264/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=327308 CPUtime=1181.67 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 80274 0 0 0 118109 58 0 0 25 0 1 0 184052683 335163392 79426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 81827 79426 197 640 0 81183 0 Current children cumulated CPU time (s) 1181.67 Current children cumulated vsize (KiB) 327308 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1530136/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=327308 CPUtime=1241.64 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 80274 0 0 0 124105 59 0 0 25 0 1 0 184052683 335163392 79426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 81827 79426 197 640 0 81183 0 Current children cumulated CPU time (s) 1241.64 Current children cumulated vsize (KiB) 327308 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1530072/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=327308 CPUtime=1301.62 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 80274 0 0 0 130102 60 0 0 25 0 1 0 184052683 335163392 79426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 81827 79426 197 640 0 81183 0 Current children cumulated CPU time (s) 1301.62 Current children cumulated vsize (KiB) 327308 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1530008/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=327308 CPUtime=1361.59 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 80274 0 0 0 136099 60 0 0 25 0 1 0 184052683 335163392 79426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 81827 79426 197 640 0 81183 0 Current children cumulated CPU time (s) 1361.59 Current children cumulated vsize (KiB) 327308 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1525528/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=332312 CPUtime=1421.56 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 81518 0 0 0 142094 62 0 0 25 0 1 0 184052683 340287488 80670 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 83078 80670 197 640 0 82434 0 Current children cumulated CPU time (s) 1421.56 Current children cumulated vsize (KiB) 332312 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1508504/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=349220 CPUtime=1481.53 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 85742 0 0 0 148088 65 0 0 25 0 1 0 184052683 357601280 84894 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 87305 84894 197 640 0 86661 0 Current children cumulated CPU time (s) 1481.53 Current children cumulated vsize (KiB) 349220 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499672/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1541.51 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 154085 66 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1541.51 Current children cumulated vsize (KiB) 357720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499608/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1601.48 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 160081 67 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1601.48 Current children cumulated vsize (KiB) 357720 [startup+1662.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499544/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1661.44 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 166077 67 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 136518959 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1661.44 Current children cumulated vsize (KiB) 357720 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499480/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1721.41 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 172074 67 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1721.41 Current children cumulated vsize (KiB) 357720 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499352/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1781.37 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 178070 67 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (KiB) 357720 Solver just ended. Dumping a history of the last processes samples [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499352/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1791.18 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 179050 68 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1791.18 Current children cumulated vsize (KiB) 357720 [startup+1795.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499352/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1794.38 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 179370 68 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (KiB) 357720 [startup+1796.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499352/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1795.98 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 179530 68 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1795.98 Current children cumulated vsize (KiB) 357720 [startup+1797.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499352/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1796.78 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 179610 68 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 357720 [startup+1798.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499352/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1797.58 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 179690 68 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (KiB) 357720 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499352/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=357720 CPUtime=1797.98 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194304 87905 0 0 0 179730 68 0 0 25 0 1 0 184052683 366305280 87022 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 89430 87022 197 640 0 88786 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 357720 [startup+1799 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6309 /proc/meminfo: memFree=1499352/2055920 swapFree=4191900/4192956 [pid=6308] ppid=6306 vsize=0 CPUtime=1798.07 /proc/6308/stat : 6308 (bsolo) R 6306 6308 5829 0 -1 4194308 87907 0 0 0 179735 72 0 0 25 0 1 0 184052683 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6308/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.07 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1799.01 CPU time (s): 1798.09 CPU user time (s): 1797.35 CPU system time (s): 0.735888 CPU usage (%): 99.9488 Max. virtual memory (cumulated for all children) (KiB): 357720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.35 system time used= 0.735888 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87907 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 6264 runsolver used 1.48277 second user time and 5.09323 second system time The end
Begin job on node28 at 2009-06-16 17:02:06 IDJOB=1879970 IDBENCH=2240 IDSOLVER=701 FILE ID=node28/1879970-1245164526 PBS_JOBID= 9363825 Free space on /tmp= 66176 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879970-1245164526/watcher-1879970-1245164526 -o /tmp/evaluation-result-1879970-1245164526/solver-1879970-1245164526 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879970-1245164526.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED=839332960 node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.231 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.231 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1849008 kB Buffers: 31460 kB Cached: 99112 kB SwapCached: 260 kB Active: 51576 kB Inactive: 98512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849008 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4912 kB Writeback: 0 kB Mapped: 22624 kB Slab: 42568 kB Committed_AS: 156648 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879970-1245164526.opb Free space on /tmp at the end= 66172 MiB End job on node28 at 2009-06-16 17:32:06