Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -32 | 1798.09 | 1798.58 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
MD5SUM | 9984e76947bf9addca42277d72ff7107 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -36 |
Best CPU time to get the best result obtained on this benchmark | 1789.94 |
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 | YES |
Number of variables | 760 |
Total number of constraints | 41314 |
Number of constraints which are clauses | 41314 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657512-1276492225.opb 0.00/0.00 c File size is 987647 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: 41314 41314/0/0 Lit: 82628 Watch. Lit: 82628 0.09/0.17 c Obj. Vars: 760 (100 % of total variables) 0.79/0.87 c Pre-processing Time: 0.877 s 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 0 760 41314 82628 2 82628 13771 0 0 0.88 0.79/0.88 c Switching off lower bounding mode. 0.79/0.88 o -30 259.62/259.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 259.62/259.74 c 0 760 41315 83388 2 82660 14771 1 0 0.89 259.62/259.74 c 100 760 41415 156060 3 82860 16249 101 107 0.93 259.62/259.74 c 351 760 41666 338303 8 83362 17874 352 330 1.06 259.62/259.74 c 826 760 42141 683005 16 84312 19662 827 623 1.32 259.62/259.74 c 1640 760 42955 1274851 29 85940 21629 1641 834 1.97 259.62/259.74 c 2961 760 44276 2234833 50 88582 23792 2962 1030 2.87 259.62/259.74 c 5044 760 46359 3747204 80 92748 26172 5045 945 5.34 259.62/259.74 c 8268 760 49583 6088959 122 99196 28790 8269 857 9.65 259.62/259.74 c 13205 760 54520 9673653 177 109070 31670 13206 757 17.43 259.62/259.74 c 20711 760 62026 15119718 243 124082 34838 20712 634 32.67 259.62/259.74 c 32072 760 73387 23367682 318 146804 38322 32073 525 61.01 259.62/259.74 c 49217 760 62889 15747268 250 125808 42155 21575 351 140.07 259.62/259.74 c 75037 760 57191 11618517 203 114412 46371 15877 289 259.60 259.62/259.74 o -31 260.63/260.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 260.63/260.74 c 75076 760 57231 11647629 203 114523 14771 15917 289 259.67 260.63/260.74 c 75176 760 48801 5521747 113 97633 16249 7487 288 260.64 260.63/260.74 o -32 1798.00/1798.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.00/1798.52 c 75196 760 48822 5537023 113 97707 14771 7508 288 260.66 1798.00/1798.52 c 75297 760 48923 5610220 114 97909 16249 7609 288 260.77 1798.00/1798.52 c 75548 760 49174 5791914 117 98411 17874 7860 289 260.97 1798.00/1798.52 c 76023 760 49649 6135551 123 99361 19662 8335 290 261.38 1798.00/1798.52 c 76837 760 50463 6724904 133 100989 21629 9149 293 262.06 1798.00/1798.52 c 78157 760 51783 7680350 148 103629 23792 10469 296 263.36 1798.00/1798.52 c 80239 760 53865 9187772 170 107793 26172 12551 300 267.09 1798.00/1798.52 c 83462 760 57088 11519920 201 114239 28790 15774 306 271.93 1798.00/1798.52 c 88399 760 62025 15095832 243 124113 31670 20711 312 283.24 1798.00/1798.52 c 95905 760 69531 20530340 295 139125 34838 28217 320 299.23 1798.00/1798.52 c 107266 760 56602 11154538 197 113236 38322 15288 314 341.27 1798.00/1798.52 c 124411 760 73747 23571033 319 147526 42155 32433 320 388.13 1798.00/1798.52 c 150230 760 68069 19457691 285 136170 46371 26755 288 520.42 1798.00/1798.52 c 189062 760 71314 21786710 305 142660 51009 30000 270 699.90 1798.00/1798.52 c 247415 760 89567 35045695 391 179166 56110 48253 233 1061.51 1798.00/1798.52 c 335047 760 86946 33136295 381 173924 61722 45632 211 1581.10 1798.00/1798.52 c Resources Exceeded 1798.00/1798.52 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 1798.00/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.52 c 31 383259 36007 427775 84490 31330481 43176 213 1798.03 1798.00/1798.52 c Objective: -32 1798.00/1798.52 s SATISFIABLE 1798.00/1798.52 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-2657512-1276492225/watcher-2657512-1276492225 -o /tmp/evaluation-result-2657512-1276492225/solver-2657512-1276492225 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657512-1276492225.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.08 1.02 1.11 3/106 30164 /proc/meminfo: memFree=1809800/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=11896 CPUtime=0 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 24826564 12181504 270 1992294400 134512640 137138936 4287047936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 2974 270 176 642 0 2088 0 [startup+0.014695 s] /proc/loadavg: 1.08 1.02 1.11 3/106 30164 /proc/meminfo: memFree=1809800/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=12036 CPUtime=0.01 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 395 0 0 0 1 0 0 0 20 0 1 0 24826564 12324864 313 1992294400 134512640 137138936 4287047936 18446744073709551615 136527916 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 3009 313 184 642 0 2123 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12036 [startup+0.100703 s] /proc/loadavg: 1.08 1.02 1.11 3/106 30164 /proc/meminfo: memFree=1809800/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=14100 CPUtime=0.09 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 1059 0 0 0 9 0 0 0 20 0 1 0 24826564 14438400 977 1992294400 134512640 137138936 4287047936 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 3525 977 312 642 0 2639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14100 [startup+0.300727 s] /proc/loadavg: 1.08 1.02 1.11 3/106 30164 /proc/meminfo: memFree=1809800/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=18080 CPUtime=0.29 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 2402 0 0 0 28 1 0 0 20 0 1 0 24826564 18513920 2078 1992294400 134512640 137138936 4287047936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 4520 2078 185 642 0 3876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18080 [startup+0.700773 s] /proc/loadavg: 1.08 1.02 1.11 3/106 30164 /proc/meminfo: memFree=1809800/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=18080 CPUtime=0.69 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 2402 0 0 0 66 3 0 0 20 0 1 0 24826564 18513920 2078 1992294400 134512640 137138936 4287047936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 4520 2078 185 642 0 3876 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18080 [startup+1.50087 s] /proc/loadavg: 1.08 1.02 1.11 2/107 30165 /proc/meminfo: memFree=1801236/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=27340 CPUtime=1.49 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 5298 0 0 0 144 5 0 0 22 0 1 0 24826564 27996160 4389 1992294400 134512640 137138936 4287047936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 6835 4389 191 642 0 6191 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27340 [startup+3.10105 s] /proc/loadavg: 1.08 1.02 1.11 2/107 30165 /proc/meminfo: memFree=1785736/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=47740 CPUtime=3.09 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 10409 0 0 0 302 7 0 0 25 0 1 0 24826564 48885760 9500 1992294400 134512640 137138936 4287047936 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 11935 9500 191 642 0 11291 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47740 [startup+6.30143 s] /proc/loadavg: 1.07 1.02 1.11 2/107 30165 /proc/meminfo: memFree=1755232/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=73304 CPUtime=6.29 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 16786 0 0 0 619 10 0 0 25 0 1 0 24826564 75063296 15877 1992294400 134512640 137138936 4287047936 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 18326 15877 191 642 0 17682 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73304 [startup+12.7012 s] /proc/loadavg: 1.07 1.02 1.10 2/107 30165 /proc/meminfo: memFree=1704392/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=121120 CPUtime=12.69 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 28745 0 0 0 1252 17 0 0 25 0 1 0 24826564 124026880 27836 1992294400 134512640 137138936 4287047936 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 30280 27836 191 642 0 29636 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 121120 [startup+25.5007 s] /proc/loadavg: 1.05 1.01 1.10 2/107 30165 /proc/meminfo: memFree=1632224/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=188652 CPUtime=25.48 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 45646 0 0 0 2520 28 0 0 25 0 1 0 24826564 193179648 44737 1992294400 134512640 137138936 4287047936 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 47163 44737 191 642 0 46519 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 188652 [startup+51.1007 s] /proc/loadavg: 1.03 1.01 1.10 2/107 30165 /proc/meminfo: memFree=1531288/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=290016 CPUtime=51.08 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 70967 0 0 0 5062 46 0 0 25 0 1 0 24826564 296976384 70058 1992294400 134512640 137138936 4287047936 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 72504 70058 191 642 0 71860 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 290016 [startup+102.309 s] /proc/loadavg: 1.01 1.01 1.09 2/107 30167 /proc/meminfo: memFree=1437420/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=381524 CPUtime=102.27 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 93883 0 0 0 10163 64 0 0 25 0 1 0 24826564 390680576 92935 1992294400 134512640 137138936 4287047936 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 95381 92935 191 642 0 94737 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 381524 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.08 2/107 30169 /proc/meminfo: memFree=1437296/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=381524 CPUtime=162.25 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 93883 0 0 0 16154 71 0 0 25 0 1 0 24826564 390680576 92935 1992294400 134512640 137138936 4287047936 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 95381 92935 191 642 0 94737 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 381524 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.08 2/107 30174 /proc/meminfo: memFree=1424400/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=394296 CPUtime=222.23 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 97080 0 0 0 22145 78 0 0 25 0 1 0 24826564 403759104 96132 1992294400 134512640 137138936 4287047936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 98574 96132 191 642 0 97930 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 394296 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.07 2/107 30174 /proc/meminfo: memFree=1400716/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=417452 CPUtime=282.21 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 102914 0 0 0 28133 88 0 0 25 0 1 0 24826564 427470848 101924 1992294400 134512640 137138936 4287047936 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 104363 101924 191 642 0 103719 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 417452 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.07 2/107 30176 /proc/meminfo: memFree=1400716/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=417452 CPUtime=342.2 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 102914 0 0 0 34123 97 0 0 25 0 1 0 24826564 427470848 101924 1992294400 134512640 137138936 4287047936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 104363 101924 191 642 0 103719 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 417452 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30178 /proc/meminfo: memFree=1400716/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=417452 CPUtime=402.17 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 102914 0 0 0 40112 105 0 0 25 0 1 0 24826564 427470848 101924 1992294400 134512640 137138936 4287047936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 104363 101924 191 642 0 103719 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 417452 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 30180 /proc/meminfo: memFree=1400716/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=417452 CPUtime=462.16 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 102914 0 0 0 46106 110 0 0 25 0 1 0 24826564 427470848 101924 1992294400 134512640 137138936 4287047936 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 104363 101924 191 642 0 103719 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 417452 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 30182 /proc/meminfo: memFree=1400716/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=417452 CPUtime=522.14 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 102914 0 0 0 52099 115 0 0 25 0 1 0 24826564 427470848 101924 1992294400 134512640 137138936 4287047936 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 104363 101924 191 642 0 103719 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 417452 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 30182 /proc/meminfo: memFree=1384348/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=434888 CPUtime=582.12 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 107260 0 0 0 58088 124 0 0 25 0 1 0 24826564 445325312 106270 1992294400 134512640 137138936 4287047936 18446744073709551615 134618342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 108722 106270 191 642 0 108078 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 434888 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 30184 /proc/meminfo: memFree=1363020/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=455296 CPUtime=642.11 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 112436 0 0 0 64077 134 0 0 25 0 1 0 24826564 466223104 111399 1992294400 134512640 137138936 4287047936 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 113824 111399 191 642 0 113180 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 455296 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1319620/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=498532 CPUtime=1062 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 123267 0 0 0 106022 178 0 0 25 0 1 0 24826564 510496768 122179 1992294400 134512640 137138936 4287047936 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 124633 122179 191 642 0 123989 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 498532 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30198 /proc/meminfo: memFree=1271632/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=546380 CPUtime=1121.98 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 135304 0 0 0 112011 187 0 0 25 0 1 0 24826564 559493120 134160 1992294400 134512640 137138936 4287047936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 136595 134160 191 642 0 135951 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 546380 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30198 /proc/meminfo: memFree=1271508/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=546380 CPUtime=1181.96 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 135304 0 0 0 118003 193 0 0 25 0 1 0 24826564 559493120 134160 1992294400 134512640 137138936 4287047936 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 136595 134160 191 642 0 135951 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 546380 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30200 /proc/meminfo: memFree=1271260/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=546380 CPUtime=1241.95 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 135304 0 0 0 123995 200 0 0 25 0 1 0 24826564 559493120 134160 1992294400 134512640 137138936 4287047936 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 136595 134160 191 642 0 135951 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 546380 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30202 /proc/meminfo: memFree=1271136/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=546380 CPUtime=1301.94 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 135304 0 0 0 129987 207 0 0 25 0 1 0 24826564 559493120 134160 1992294400 134512640 137138936 4287047936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 136595 134160 191 642 0 135951 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 546380 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30204 /proc/meminfo: memFree=1271136/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=546380 CPUtime=1361.91 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 135304 0 0 0 135981 210 0 0 25 0 1 0 24826564 559493120 134160 1992294400 134512640 137138936 4287047936 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 136595 134160 191 642 0 135951 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 546380 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30206 /proc/meminfo: memFree=1271136/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=546676 CPUtime=1421.91 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 135357 0 0 0 141980 211 0 0 25 0 1 0 24826564 559796224 134213 1992294400 134512640 137138936 4287047936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 136669 134213 191 642 0 136025 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 546676 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30206 /proc/meminfo: memFree=1271136/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=546676 CPUtime=1481.88 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 135357 0 0 0 147970 218 0 0 25 0 1 0 24826564 559796224 134213 1992294400 134512640 137138936 4287047936 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 136669 134213 191 642 0 136025 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 546676 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30208 /proc/meminfo: memFree=1271136/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=546676 CPUtime=1541.87 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 135357 0 0 0 153964 223 0 0 25 0 1 0 24826564 559796224 134213 1992294400 134512640 137138936 4287047936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 136669 134213 191 642 0 136025 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 546676 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30210 /proc/meminfo: memFree=1271012/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=546676 CPUtime=1601.85 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 135357 0 0 0 159956 229 0 0 25 0 1 0 24826564 559796224 134213 1992294400 134512640 137138936 4287047936 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 136669 134213 191 642 0 136025 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 546676 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30212 /proc/meminfo: memFree=1218932/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=598524 CPUtime=1661.83 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 148386 0 0 0 165943 240 0 0 25 0 1 0 24826564 612888576 147180 1992294400 134512640 137138936 4287047936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 149631 147180 191 642 0 148987 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 598524 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30214 /proc/meminfo: memFree=1218932/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=598524 CPUtime=1721.82 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 148386 0 0 0 171935 247 0 0 25 0 1 0 24826564 612888576 147180 1992294400 134512640 137138936 4287047936 18446744073709551615 134543085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 149631 147180 191 642 0 148987 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 598524 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30214 /proc/meminfo: memFree=1218684/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=598524 CPUtime=1781.8 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 148386 0 0 0 177928 252 0 0 25 0 1 0 24826564 612888576 147180 1992294400 134512640 137138936 4287047936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 149631 147180 191 642 0 148987 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 598524 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30216 /proc/meminfo: memFree=1218684/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=598524 CPUtime=1791.41 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 148386 0 0 0 178888 253 0 0 25 0 1 0 24826564 612888576 147180 1992294400 134512640 137138936 4287047936 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 149631 147180 191 642 0 148987 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 598524 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30216 /proc/meminfo: memFree=1218684/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=598524 CPUtime=1794.6 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 148386 0 0 0 179207 253 0 0 25 0 1 0 24826564 612888576 147180 1992294400 134512640 137138936 4287047936 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 149631 147180 191 642 0 148987 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 598524 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30216 /proc/meminfo: memFree=1218684/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=598524 CPUtime=1796.19 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 148386 0 0 0 179366 253 0 0 25 0 1 0 24826564 612888576 147180 1992294400 134512640 137138936 4287047936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 149631 147180 191 642 0 148987 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 598524 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30216 /proc/meminfo: memFree=1218684/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=598524 CPUtime=1796.99 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 148386 0 0 0 179446 253 0 0 25 0 1 0 24826564 612888576 147180 1992294400 134512640 137138936 4287047936 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 149631 147180 191 642 0 148987 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 598524 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30216 /proc/meminfo: memFree=1218684/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=598524 CPUtime=1797.79 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 148386 0 0 0 179526 253 0 0 25 0 1 0 24826564 612888576 147180 1992294400 134512640 137138936 4287047936 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 149631 147180 191 642 0 148987 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 598524 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30216 /proc/meminfo: memFree=1218684/2059040 swapFree=4136456/4192956 [pid=30164] ppid=30162 vsize=598524 CPUtime=1798 /proc/30164/stat : 30164 (bsolo_pb10) R 30162 30164 29635 0 -1 4202496 148386 0 0 0 179547 253 0 0 25 0 1 0 24826564 612888576 147180 1992294400 134512640 137138936 4287047936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30164/statm: 149631 147180 191 642 0 148987 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 598524 Child status: 0 Real time (s): 1798.58 CPU time (s): 1798.09 CPU user time (s): 1795.49 CPU system time (s): 2.5996 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 598772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.49 system time used= 2.5996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148387 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= 2562 runsolver used 2.86156 second user time and 8.59769 second system time The end
Begin job on node001 at 2010-06-14 07:10:25 IDJOB=2657512 IDBENCH=2243 IDSOLVER=1163 FILE ID=node001/2657512-1276492225 PBS_JOBID= 11173390 Free space on /tmp= 62436 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657512-1276492225/watcher-2657512-1276492225 -o /tmp/evaluation-result-2657512-1276492225/solver-2657512-1276492225 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657512-1276492225.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107 RANDOM SEED=71882624 node001.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.202 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.40 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1810328 kB Buffers: 61424 kB Cached: 109348 kB SwapCached: 9304 kB Active: 100548 kB Inactive: 82680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1810328 kB SwapTotal: 4192956 kB SwapFree: 4136456 kB Dirty: 4868 kB Writeback: 0 kB AnonPages: 11144 kB Mapped: 9184 kB Slab: 43724 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180848 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= 62432 MiB End job on node001 at 2010-06-14 07:40:24