Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -32 | 1798.06 | 1798.8 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 5249f5f1c551add7f5b5b920fc1c3b9c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1789.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656586-1276491315.opb 0.00/0.00 c File size is 986607 bytes. 0.09/0.16 c Highest Coefficient sum: 760 0.09/0.16 c Parsing was ok!! 0.09/0.16 c Total parsing time: 0.16 s 0.09/0.17 c Var: 760 Constr: 41263 41263/0/0 Lit: 82526 Watch. Lit: 82526 0.09/0.17 c Obj. Vars: 760 (100 % of total variables) 0.79/0.84 c Pre-processing Time: 0.839 s 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 760 41263 82526 2 82526 13754 0 0 0.84 0.79/0.84 c Switching off lower bounding mode. 0.79/0.84 o -29 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 760 41264 83286 2 82557 14754 1 0 0.85 0.79/0.89 o -30 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 32 760 41300 109505 2 82659 14754 37 35 0.89 1.39/1.40 c 132 760 41410 189334 4 82879 16230 147 129 1.02 1.39/1.40 c 383 760 41694 395405 9 83447 17854 431 276 1.39 1.39/1.40 o -31 4.30/4.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.31 c 393 760 41706 404151 9 83502 14754 443 279 1.41 4.30/4.31 c 493 760 41823 488892 11 83736 16230 560 319 1.54 4.30/4.31 c 743 760 42108 695177 16 84306 17854 845 385 1.93 4.30/4.31 c 1219 760 42641 1081262 25 85372 19640 1378 461 2.64 4.30/4.31 c 2032 760 43575 1757308 40 87240 21605 2312 508 4.00 4.30/4.31 o -32 1797.96/1798.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.74 c 2229 760 43803 1922486 43 87728 14754 2540 517 4.31 1797.96/1798.74 c 2329 760 43913 2002094 45 87948 16230 2650 520 4.47 1797.96/1798.74 c 2579 760 44194 2205324 49 88510 17854 2931 527 4.89 1797.96/1798.74 c 3054 760 44704 2574561 57 89530 19640 3441 527 5.79 1797.96/1798.74 c 3867 760 45617 3235238 70 91356 21605 4354 531 7.28 1797.96/1798.74 c 5187 760 47128 4328012 91 94378 23766 5865 531 9.75 1797.96/1798.74 c 7268 760 49506 6047989 122 99134 26143 8243 507 14.31 1797.96/1798.74 c 10491 760 53214 8728798 164 106550 28758 11951 476 22.02 1797.96/1798.74 c 15427 760 58912 12839803 217 117946 31634 17649 392 39.29 1797.96/1798.74 c 22933 760 67444 19008910 281 135039 34798 26181 329 69.56 1797.96/1798.74 c 34294 760 57719 11976757 207 115499 38278 16456 284 120.37 1797.96/1798.74 c 51439 760 77284 26124787 338 154708 42106 36021 234 219.12 1797.96/1798.74 c 77258 760 76850 25781560 335 153951 46317 35587 202 381.53 1797.96/1798.74 c 116091 760 87137 33226913 381 174391 50949 45874 166 697.34 1797.96/1798.74 c 174444 760 77166 25890542 335 154681 56044 35903 145 1200.13 1797.96/1798.74 c Resources Exceeded 1797.96/1798.74 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.96/1798.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.74 c 24 249220 23362 278267 74671 24230338 33408 138 1798.01 1797.96/1798.74 c Objective: -32 1797.96/1798.74 s SATISFIABLE 1797.96/1798.74 c Total time: 1798.01 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-2656586-1276491315/watcher-2656586-1276491315 -o /tmp/evaluation-result-2656586-1276491315/solver-2656586-1276491315 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656586-1276491315.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.02 1.00 1.00 3/106 30255 /proc/meminfo: memFree=1817476/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=11892 CPUtime=0 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 349 0 0 0 0 0 0 0 18 0 1 0 24733034 12177408 268 1992294400 134512640 137138936 4289065376 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 2973 268 176 642 0 2088 0 [startup+0.041895 s] /proc/loadavg: 1.02 1.00 1.00 3/106 30255 /proc/meminfo: memFree=1817476/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=12720 CPUtime=0.04 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 607 0 0 0 4 0 0 0 20 0 1 0 24733034 13025280 526 1992294400 134512640 137138936 4289065376 18446744073709551615 136525335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 3180 528 225 642 0 2295 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12720 [startup+0.100905 s] /proc/loadavg: 1.02 1.00 1.00 3/106 30255 /proc/meminfo: memFree=1817476/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=14096 CPUtime=0.09 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 1058 0 0 0 9 0 0 0 20 0 1 0 24733034 14434304 977 1992294400 134512640 137138936 4289065376 18446744073709551615 136396410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 3524 977 312 642 0 2639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14096 [startup+0.300944 s] /proc/loadavg: 1.02 1.00 1.00 3/106 30255 /proc/meminfo: memFree=1817476/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=18080 CPUtime=0.29 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 2397 0 0 0 29 0 0 0 20 0 1 0 24733034 18513920 2075 1992294400 134512640 137138936 4289065376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 4520 2075 185 642 0 3876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18080 [startup+0.701022 s] /proc/loadavg: 1.02 1.00 1.00 3/106 30255 /proc/meminfo: memFree=1817476/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=18080 CPUtime=0.69 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 2397 0 0 0 67 2 0 0 20 0 1 0 24733034 18513920 2075 1992294400 134512640 137138936 4289065376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 4520 2075 185 642 0 3876 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18080 [startup+1.50118 s] /proc/loadavg: 1.02 1.00 1.00 2/107 30256 /proc/meminfo: memFree=1809780/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=21648 CPUtime=1.49 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 3890 0 0 0 146 3 0 0 23 0 1 0 24733034 22167552 2984 1992294400 134512640 137138936 4289065376 18446744073709551615 136506089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 5412 2984 192 642 0 4768 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21648 [startup+3.10149 s] /proc/loadavg: 1.02 1.00 1.00 2/107 30256 /proc/meminfo: memFree=1801348/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=32748 CPUtime=3.09 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 6648 0 0 0 305 4 0 0 25 0 1 0 24733034 33533952 5742 1992294400 134512640 137138936 4289065376 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 8187 5742 192 642 0 7543 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32748 [startup+6.30112 s] /proc/loadavg: 1.01 1.00 1.00 2/107 30256 /proc/meminfo: memFree=1780516/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=51992 CPUtime=6.29 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 11465 0 0 0 622 7 0 0 25 0 1 0 24733034 53239808 10559 1992294400 134512640 137138936 4289065376 18446744073709551615 136500286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 12998 10560 192 642 0 12354 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51992 [startup+12.7014 s] /proc/loadavg: 1.01 1.00 1.00 2/107 30256 /proc/meminfo: memFree=1744184/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=86032 CPUtime=12.69 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 19979 0 0 0 1257 12 0 0 25 0 1 0 24733034 88096768 19073 1992294400 134512640 137138936 4289065376 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 21508 19073 192 642 0 20864 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 86032 [startup+25.5009 s] /proc/loadavg: 1.01 1.00 1.00 2/107 30256 /proc/meminfo: memFree=1687020/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=141168 CPUtime=25.48 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 33763 0 0 0 2528 20 0 0 25 0 1 0 24733034 144556032 32857 1992294400 134512640 137138936 4289065376 18446744073709551615 134544827 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 35292 32857 192 642 0 34648 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 141168 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30258 /proc/meminfo: memFree=1609892/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=218604 CPUtime=51.06 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 53126 0 0 0 5073 33 0 0 25 0 1 0 24733034 223850496 52220 1992294400 134512640 137138936 4289065376 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 54651 52220 192 642 0 54007 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 218604 [startup+102.309 s] /proc/loadavg: 1.06 1.01 1.00 2/107 30258 /proc/meminfo: memFree=1485892/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=341136 CPUtime=102.24 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 83747 0 0 0 10169 55 0 0 25 0 1 0 24733034 349323264 82841 1992294400 134512640 137138936 4289065376 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 85284 82841 192 642 0 84640 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 341136 [startup+162.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 30260 /proc/meminfo: memFree=1479444/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=346972 CPUtime=162.21 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 85240 0 0 0 16160 61 0 0 25 0 1 0 24733034 355299328 84299 1992294400 134512640 137138936 4289065376 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 86743 84299 192 642 0 86099 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 346972 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30262 /proc/meminfo: memFree=1466672/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=360268 CPUtime=222.2 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 88574 0 0 0 22153 67 0 0 25 0 1 0 24733034 368914432 87633 1992294400 134512640 137138936 4289065376 18446744073709551615 134577911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 90067 87633 192 642 0 89423 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 360268 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30264 /proc/meminfo: memFree=1411244/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=415112 CPUtime=282.17 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 102310 0 0 0 28137 80 0 0 25 0 1 0 24733034 425074688 101327 1992294400 134512640 137138936 4289065376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 103778 101327 192 642 0 103134 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 415112 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30266 /proc/meminfo: memFree=1411244/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=415112 CPUtime=342.15 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 102310 0 0 0 34130 85 0 0 25 0 1 0 24733034 425074688 101327 1992294400 134512640 137138936 4289065376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 103778 101327 192 642 0 103134 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 415112 [startup+402.302 s] /proc/loadavg: 1.08 1.02 1.01 2/107 30275 /proc/meminfo: memFree=1410624/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=415112 CPUtime=402.11 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 102310 0 0 0 40121 90 0 0 25 0 1 0 24733034 425074688 101327 1992294400 134512640 137138936 4289065376 18446744073709551615 136511187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 103778 101327 192 642 0 103134 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 415112 [startup+462.301 s] /proc/loadavg: 1.13 1.04 1.01 2/107 30277 /proc/meminfo: memFree=1370944/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=454572 CPUtime=462.09 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 112221 0 0 0 46109 100 0 0 25 0 1 0 24733034 465481728 111192 1992294400 134512640 137138936 4289065376 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 113643 111192 192 642 0 112999 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 454572 [startup+522.301 s] /proc/loadavg: 1.11 1.05 1.01 2/107 30279 /proc/meminfo: memFree=1370944/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=454572 CPUtime=522.07 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 112221 0 0 0 52103 104 0 0 25 0 1 0 24733034 465481728 111192 1992294400 134512640 137138936 4289065376 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 113643 111192 192 642 0 112999 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 454572 [startup+582.302 s] /proc/loadavg: 1.04 1.04 1.00 2/107 30281 /proc/meminfo: memFree=1370944/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=454572 CPUtime=582.04 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 112221 0 0 0 58097 107 0 0 25 0 1 0 24733034 465481728 111192 1992294400 134512640 137138936 4289065376 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 113643 111192 192 642 0 112999 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 454572 [startup+642.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 30283 /proc/meminfo: memFree=1370944/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=454572 CPUtime=642.03 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 112221 0 0 0 64093 110 0 0 25 0 1 0 24733034 465481728 111192 1992294400 134512640 137138936 4289065376 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 113643 111192 192 642 0 112999 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 454572 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1327916/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=497696 CPUtime=1061.86 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 123049 0 0 0 106047 139 0 0 25 0 1 0 24733034 509640704 121969 1992294400 134512640 137138936 4289065376 18446744073709551615 134603056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 124424 121969 192 642 0 123780 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 497696 [startup+1122.3 s] /proc/loadavg: 1.10 1.04 1.00 2/107 30295 /proc/meminfo: memFree=1327916/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=497696 CPUtime=1121.83 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 123049 0 0 0 112039 144 0 0 25 0 1 0 24733034 509640704 121969 1992294400 134512640 137138936 4289065376 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 124424 121969 192 642 0 123780 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 497696 [startup+1182.3 s] /proc/loadavg: 1.13 1.06 1.01 2/107 30300 /proc/meminfo: memFree=1326800/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=497696 CPUtime=1181.8 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 123049 0 0 0 118031 149 0 0 25 0 1 0 24733034 509640704 121969 1992294400 134512640 137138936 4289065376 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 124424 121969 192 642 0 123780 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 497696 [startup+1242.3 s] /proc/loadavg: 1.11 1.06 1.01 2/107 30302 /proc/meminfo: memFree=1326800/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=497696 CPUtime=1241.78 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 123049 0 0 0 124025 153 0 0 25 0 1 0 24733034 509640704 121969 1992294400 134512640 137138936 4289065376 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 124424 121969 192 642 0 123780 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 497696 [startup+1302.3 s] /proc/loadavg: 1.10 1.07 1.01 2/107 30302 /proc/meminfo: memFree=1309068/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=515840 CPUtime=1301.76 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 127617 0 0 0 130016 160 0 0 25 0 1 0 24733034 528220160 126537 1992294400 134512640 137138936 4289065376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 128960 126537 192 642 0 128316 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 515840 [startup+1362.3 s] /proc/loadavg: 1.09 1.07 1.01 2/107 30304 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543696 CPUtime=1361.72 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134609 0 0 0 136004 168 0 0 25 0 1 0 24733034 556744704 133473 1992294400 134512640 137138936 4289065376 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135924 133473 192 642 0 135280 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 543696 [startup+1422.31 s] /proc/loadavg: 1.08 1.06 1.01 2/107 30306 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543696 CPUtime=1421.71 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134609 0 0 0 141997 174 0 0 25 0 1 0 24733034 556744704 133473 1992294400 134512640 137138936 4289065376 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135924 133473 192 642 0 135280 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 543696 [startup+1482.3 s] /proc/loadavg: 1.07 1.06 1.01 2/107 30308 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543696 CPUtime=1481.68 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134609 0 0 0 147989 179 0 0 25 0 1 0 24733034 556744704 133473 1992294400 134512640 137138936 4289065376 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135924 133473 192 642 0 135280 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 543696 [startup+1542.3 s] /proc/loadavg: 1.07 1.06 1.01 2/107 30310 /proc/meminfo: memFree=1281168/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543696 CPUtime=1541.66 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134609 0 0 0 153982 184 0 0 25 0 1 0 24733034 556744704 133473 1992294400 134512640 137138936 4289065376 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135924 133473 192 642 0 135280 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 543696 [startup+1602.3 s] /proc/loadavg: 1.10 1.08 1.01 2/107 30310 /proc/meminfo: memFree=1281168/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543696 CPUtime=1601.64 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134609 0 0 0 159976 188 0 0 25 0 1 0 24733034 556744704 133473 1992294400 134512640 137138936 4289065376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135924 133473 192 642 0 135280 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 543696 [startup+1662.3 s] /proc/loadavg: 1.07 1.08 1.01 2/107 30312 /proc/meminfo: memFree=1281168/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543904 CPUtime=1661.61 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134657 0 0 0 165972 189 0 0 25 0 1 0 24733034 556957696 133521 1992294400 134512640 137138936 4289065376 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135976 133521 192 642 0 135332 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 543904 [startup+1722.3 s] /proc/loadavg: 1.14 1.09 1.02 2/107 30314 /proc/meminfo: memFree=1281168/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543904 CPUtime=1721.58 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134657 0 0 0 171966 192 0 0 25 0 1 0 24733034 556957696 133521 1992294400 134512640 137138936 4289065376 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135976 133521 192 642 0 135332 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 543904 [startup+1782.3 s] /proc/loadavg: 1.12 1.09 1.02 2/107 30316 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543904 CPUtime=1781.57 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134657 0 0 0 177959 198 0 0 25 0 1 0 24733034 556957696 133521 1992294400 134512640 137138936 4289065376 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135976 133521 192 642 0 135332 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 543904 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.10 1.08 1.01 2/107 30316 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543904 CPUtime=1791.16 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134657 0 0 0 178918 198 0 0 25 0 1 0 24733034 556957696 133521 1992294400 134512640 137138936 4289065376 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135976 133521 192 642 0 135332 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (KiB) 543904 [startup+1795.1 s] /proc/loadavg: 1.09 1.08 1.01 2/107 30316 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543904 CPUtime=1794.37 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134657 0 0 0 179238 199 0 0 25 0 1 0 24733034 556957696 133521 1992294400 134512640 137138936 4289065376 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135976 133521 192 642 0 135332 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 543904 [startup+1796.7 s] /proc/loadavg: 1.09 1.08 1.01 2/107 30316 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543904 CPUtime=1795.96 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134657 0 0 0 179397 199 0 0 25 0 1 0 24733034 556957696 133521 1992294400 134512640 137138936 4289065376 18446744073709551615 134600094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135976 133521 192 642 0 135332 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 543904 [startup+1797.5 s] /proc/loadavg: 1.09 1.08 1.01 2/107 30316 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543904 CPUtime=1796.76 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134657 0 0 0 179477 199 0 0 25 0 1 0 24733034 556957696 133521 1992294400 134512640 137138936 4289065376 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135976 133521 192 642 0 135332 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 543904 [startup+1798.3 s] /proc/loadavg: 1.09 1.08 1.01 2/107 30316 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543904 CPUtime=1797.56 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134657 0 0 0 179557 199 0 0 25 0 1 0 24733034 556957696 133521 1992294400 134512640 137138936 4289065376 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135976 133521 192 642 0 135332 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 543904 [startup+1798.7 s] /proc/loadavg: 1.09 1.08 1.01 2/107 30316 /proc/meminfo: memFree=1281044/2059040 swapFree=4136184/4192956 [pid=30255] ppid=30253 vsize=543904 CPUtime=1797.96 /proc/30255/stat : 30255 (bsolo_pb10) R 30253 30255 30154 0 -1 4202496 134657 0 0 0 179597 199 0 0 25 0 1 0 24733034 556957696 133521 1992294400 134512640 137138936 4289065376 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30255/statm: 135976 133521 192 642 0 135332 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 543904 Child status: 0 Real time (s): 1798.8 CPU time (s): 1798.06 CPU user time (s): 1796.02 CPU system time (s): 2.04769 CPU usage (%): 99.9592 Max. virtual memory (cumulated for all children) (KiB): 543920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.02 system time used= 2.04769 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134658 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= 1 involuntary context switches= 5410 runsolver used 2.80357 second user time and 8.66068 second system time The end
Begin job on node011 at 2010-06-14 06:55:15 IDJOB=2656586 IDBENCH=2242 IDSOLVER=1162 FILE ID=node011/2656586-1276491315 PBS_JOBID= 11173397 Free space on /tmp= 62264 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656586-1276491315/watcher-2656586-1276491315 -o /tmp/evaluation-result-2656586-1276491315/solver-2656586-1276491315 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656586-1276491315.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c RANDOM SEED=566962362 node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1817880 kB Buffers: 62352 kB Cached: 102820 kB SwapCached: 9796 kB Active: 94200 kB Inactive: 83356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1817880 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 4884 kB Writeback: 0 kB AnonPages: 10924 kB Mapped: 9092 kB Slab: 41780 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180920 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62260 MiB End job on node011 at 2010-06-14 07:25:14