Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -32 | 1798.12 | 1798.83 |
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 | -35 |
Best CPU time to get the best result obtained on this benchmark | 1795.08 |
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.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: Clause 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-1878576-1245165258.opb 0.00/0.00 c File size is 987647 bytes. 0.09/0.12 c Highest Coefficient sum: 760 0.09/0.12 c Parsing was ok!! 0.09/0.12 c Total parsing time: 0.121 s 0.09/0.13 c Var: 760 Constr: 41314 41314/0/0 Lit: 82628 Watch. Lit: 82628 0.09/0.13 c Obj. Vars: 760 (100 % of total variables) 0.79/0.81 c Pre-processing Time: 0.812 s 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 760 41314 82628 2 82628 13771 0 0 0.81 0.79/0.81 c Switching off lower bounding mode. 0.79/0.82 o -30 249.80/249.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 249.80/249.94 c 0 760 41315 83388 2 82660 14771 1 0 0.82 249.80/249.94 c 100 760 41415 156060 3 82860 16249 101 115 0.87 249.80/249.94 c 351 760 41666 338303 8 83362 17874 352 356 0.98 249.80/249.94 c 826 760 42141 683005 16 84312 19662 827 670 1.23 249.80/249.94 c 1640 760 42955 1274851 29 85940 21629 1641 895 1.83 249.80/249.94 c 2961 760 44276 2234833 50 88582 23792 2962 1104 2.68 249.80/249.94 c 5044 760 46359 3747204 80 92748 26172 5045 1003 5.03 249.80/249.94 c 8268 760 49583 6088959 122 99196 28790 8269 901 9.17 249.80/249.94 c 13205 760 54520 9673653 177 109070 31670 13206 794 16.63 249.80/249.94 c 20711 760 62026 15119718 243 124082 34838 20712 663 31.21 249.80/249.94 c 32072 760 73387 23367682 318 146804 38322 32073 548 58.51 249.80/249.94 c 49217 760 62889 15747268 250 125808 42155 21575 365 134.62 249.80/249.94 c 75037 760 57191 11618517 203 114412 46371 15877 300 249.79 249.80/249.94 o -31 250.80/250.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 250.80/250.90 c 75076 760 57231 11647629 203 114523 14771 15917 300 249.85 250.80/250.90 c 75176 760 48801 5521747 113 97633 16249 7487 299 250.78 250.80/250.90 o -32 1797.98/1798.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.74 c 75196 760 48822 5537023 113 97707 14771 7508 299 250.81 1797.98/1798.74 c 75297 760 48923 5610220 114 97909 16249 7609 300 250.91 1797.98/1798.74 c 75548 760 49174 5791914 117 98411 17874 7860 300 251.10 1797.98/1798.74 c 76023 760 49649 6135551 123 99361 19662 8335 302 251.49 1797.98/1798.74 c 76837 760 50463 6724904 133 100989 21629 9149 304 252.13 1797.98/1798.74 c 78157 760 51783 7680350 148 103629 23792 10469 308 253.36 1797.98/1798.74 c 80239 760 53865 9187772 170 107793 26172 12551 312 256.91 1797.98/1798.74 c 83462 760 57088 11519920 201 114239 28790 15774 319 261.48 1797.98/1798.74 c 88399 760 62025 15095832 243 124113 31670 20711 324 272.38 1797.98/1798.74 c 95905 760 69531 20530340 295 139125 34838 28217 333 287.65 1797.98/1798.74 c 107266 760 56602 11154538 197 113236 38322 15288 326 328.27 1797.98/1798.74 c 124411 760 73747 23571033 319 147526 42155 32433 333 373.45 1797.98/1798.74 c 150230 760 68069 19457691 285 136170 46371 26755 300 500.65 1797.98/1798.74 c 189062 760 71314 21786710 305 142660 51009 30000 280 674.26 1797.98/1798.74 c 247415 760 89567 35045695 391 179166 56110 48253 241 1024.19 1797.98/1798.74 c 335047 760 86946 33136295 381 173924 61722 45632 219 1529.10 1797.98/1798.74 c Resources Exceeded 1797.98/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.98/1798.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.74 c 31 395193 37056 440984 96424 39970657 55110 219 1798.03 1797.98/1798.74 c Objective: -32 1797.98/1798.74 s SATISFIABLE 1797.98/1798.74 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-1878576-1245165258/watcher-1878576-1245165258 -o /tmp/evaluation-result-1878576-1245165258/solver-1878576-1245165258 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878576-1245165258.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.91 3/64 31641 /proc/meminfo: memFree=1438576/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=11688 CPUtime=0 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 184120029 11968512 246 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 2922 248 176 640 0 2036 0 [startup+0.0836859 s] /proc/loadavg: 0.99 0.97 0.91 3/64 31641 /proc/meminfo: memFree=1438576/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=14300 CPUtime=0.07 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 1078 0 0 0 7 0 0 0 18 0 1 0 184120029 14643200 1062 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 3575 1063 332 640 0 2689 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14300 [startup+0.101685 s] /proc/loadavg: 0.99 0.97 0.91 3/64 31641 /proc/meminfo: memFree=1438576/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=14984 CPUtime=0.09 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 1260 0 0 0 9 0 0 0 18 0 1 0 184120029 15343616 1244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 3746 1244 367 640 0 2860 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14984 [startup+0.3017 s] /proc/loadavg: 0.99 0.97 0.91 3/64 31641 /proc/meminfo: memFree=1438576/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=18004 CPUtime=0.29 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 2339 0 0 0 28 1 0 0 19 0 1 0 184120029 18436096 2081 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 4501 2081 190 640 0 3857 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18004 [startup+0.701746 s] /proc/loadavg: 0.99 0.97 0.91 3/64 31641 /proc/meminfo: memFree=1438576/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=18004 CPUtime=0.69 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 2339 0 0 0 66 3 0 0 23 0 1 0 184120029 18436096 2081 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 4501 2081 190 640 0 3857 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18004 [startup+1.50184 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1428648/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=28836 CPUtime=1.49 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 5632 0 0 0 143 6 0 0 25 0 1 0 184120029 29528064 4789 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 7209 4791 196 640 0 6565 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28836 [startup+3.10202 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1412392/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=49764 CPUtime=3.09 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 10862 0 0 0 300 9 0 0 25 0 1 0 184120029 50958336 10019 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 12441 10019 196 640 0 11797 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49764 [startup+6.30138 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1380776/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=75736 CPUtime=6.29 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 17356 0 0 0 616 13 0 0 25 0 1 0 184120029 77553664 16513 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 18934 16513 196 640 0 18290 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 75736 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1328232/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=125420 CPUtime=12.69 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 29789 0 0 0 1250 19 0 0 25 0 1 0 184120029 128430080 28946 1992294400 134512640 137136520 4294956256 18446744073709551615 136501987 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 31355 28949 196 640 0 30711 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 125420 [startup+25.5026 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1255848/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=193940 CPUtime=25.48 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 46919 0 0 0 2521 27 0 0 25 0 1 0 184120029 198594560 46076 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 48485 46076 196 640 0 47841 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 193940 [startup+51.1025 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1153768/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=296552 CPUtime=51.07 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 72567 0 0 0 5065 42 0 0 25 0 1 0 184120029 303669248 71724 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 74138 71724 196 640 0 73494 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 296552 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1066536/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=381448 CPUtime=102.26 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 93820 0 0 0 10170 56 0 0 25 0 1 0 184120029 390602752 92938 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 95362 92938 196 640 0 94718 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 381448 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1066472/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=381448 CPUtime=162.24 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 93820 0 0 0 16163 61 0 0 25 0 1 0 184120029 390602752 92938 1992294400 134512640 137136520 4294956256 18446744073709551615 134600678 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 95362 92938 196 640 0 94718 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 381448 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1042984/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=405384 CPUtime=222.21 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 99802 0 0 0 22154 67 0 0 25 0 1 0 184120029 415113216 98920 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 101346 98920 196 640 0 100702 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 405384 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1030440/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=417376 CPUtime=282.19 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 102851 0 0 0 28146 73 0 0 25 0 1 0 184120029 427393024 101927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 104344 101927 196 640 0 103700 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 417376 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1030440/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=417376 CPUtime=342.17 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 102851 0 0 0 34140 77 0 0 25 0 1 0 184120029 427393024 101927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 104344 101927 196 640 0 103700 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 417376 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1030440/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=417376 CPUtime=402.14 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 102851 0 0 0 40133 81 0 0 25 0 1 0 184120029 427393024 101927 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 104344 101927 196 640 0 103700 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 417376 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1030440/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=417376 CPUtime=462.12 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 102851 0 0 0 46129 83 0 0 25 0 1 0 184120029 427393024 101927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 104344 101927 196 640 0 103700 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 417376 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=1030376/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=417376 CPUtime=522.1 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 102851 0 0 0 52123 87 0 0 25 0 1 0 184120029 427393024 101927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 104344 101927 196 640 0 103700 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 417376 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=992424/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=455220 CPUtime=582.06 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 112373 0 0 0 58110 96 0 0 25 0 1 0 184120029 466145280 111402 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 113805 111402 196 640 0 113161 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 455220 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=992488/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=455220 CPUtime=642.05 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 112373 0 0 0 64106 99 0 0 25 0 1 0 184120029 466145280 111402 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 113805 111402 196 640 0 113161 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 455220 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=901160/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=546304 CPUtime=1121.85 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 135241 0 0 0 112053 132 0 0 25 0 1 0 184120029 559415296 134163 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 136576 134163 196 640 0 135932 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 546304 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=901224/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=546304 CPUtime=1181.83 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 135241 0 0 0 118047 136 0 0 25 0 1 0 184120029 559415296 134163 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 136576 134163 196 640 0 135932 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 546304 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=901032/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=546304 CPUtime=1241.81 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 135241 0 0 0 124042 139 0 0 25 0 1 0 184120029 559415296 134163 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 136576 134163 196 640 0 135932 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 546304 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=900968/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=546304 CPUtime=1301.78 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 135241 0 0 0 130036 142 0 0 25 0 1 0 184120029 559415296 134163 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 136576 134163 196 640 0 135932 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 546304 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=900968/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=546600 CPUtime=1361.76 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 135294 0 0 0 136034 142 0 0 25 0 1 0 184120029 559718400 134216 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 136650 134216 196 640 0 136006 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 546600 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=900968/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=546600 CPUtime=1421.74 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 135294 0 0 0 142027 147 0 0 25 0 1 0 184120029 559718400 134216 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 136650 134216 196 640 0 136006 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 546600 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=900968/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=546600 CPUtime=1481.71 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 135294 0 0 0 148020 151 0 0 25 0 1 0 184120029 559718400 134216 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 136650 134216 196 640 0 136006 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 546600 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=900968/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=546600 CPUtime=1541.69 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 135294 0 0 0 154014 155 0 0 25 0 1 0 184120029 559718400 134216 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 136650 134216 196 640 0 136006 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 546600 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848936/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1601.67 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 160001 166 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 598448 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848872/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1661.64 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 165995 169 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 598448 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848872/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1721.62 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 171990 172 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 598448 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848744/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1781.6 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 177983 177 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 598448 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848744/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1791.2 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 178943 177 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 598448 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848744/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1794.39 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 179262 177 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (KiB) 598448 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848744/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1795.98 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 179421 177 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1795.98 Current children cumulated vsize (KiB) 598448 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848744/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1796.78 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 179501 177 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 598448 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848744/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1797.58 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 179581 177 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 136518894 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (KiB) 598448 [startup+1798.7 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848744/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=598448 CPUtime=1797.98 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194304 148323 0 0 0 179621 177 0 0 25 0 1 0 184120029 612810752 147183 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 149612 147183 196 640 0 148968 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 598448 [startup+1798.8 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31642 /proc/meminfo: memFree=848744/2055920 swapFree=4135640/4192956 [pid=31641] ppid=31639 vsize=0 CPUtime=1798.09 /proc/31641/stat : 31641 (bsolo) R 31639 31641 31482 0 -1 4194308 148325 0 0 0 179626 183 0 0 17 0 1 0 184120029 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31641/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.09 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.83 CPU time (s): 1798.12 CPU user time (s): 1796.26 CPU system time (s): 1.85972 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 598448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.26 system time used= 1.85972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148325 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= 3 involuntary context switches= 6679 runsolver used 1.49977 second user time and 3.78842 second system time The end
Begin job on node63 at 2009-06-16 17:14:18 IDJOB=1878576 IDBENCH=2243 IDSOLVER=700 FILE ID=node63/1878576-1245165258 PBS_JOBID= 9363872 Free space on /tmp= 66468 MiB SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878576-1245165258/watcher-1878576-1245165258 -o /tmp/evaluation-result-1878576-1245165258/solver-1878576-1245165258 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878576-1245165258.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107 RANDOM SEED=1645448844 node63.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.240 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.240 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1439064 kB Buffers: 55280 kB Cached: 434104 kB SwapCached: 51760 kB Active: 255412 kB Inactive: 289036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1439064 kB SwapTotal: 4192956 kB SwapFree: 4135640 kB Dirty: 4908 kB Writeback: 0 kB Mapped: 13664 kB Slab: 58172 kB Committed_AS: 80220 kB PageTables: 1452 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-1878576-1245165258.opb Free space on /tmp at the end= 66464 MiB End job on node63 at 2009-06-16 17:44:17