Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -34 | 1800.08 | 1800.55 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
MD5SUM | f408a60720d5bae3e36cea0c41e2f7f1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -39 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -39 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41619 |
Number of constraints which are clauses | 41619 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353410-1176665137/instance-353410-1176665137.opb 0.00/0.00 c File size is 994325 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.163 s 0.09/0.18 c Var: 760 Constr: 41619 41619/0/0 Lit: 83238 Watch. Lit: 83238 0.09/0.18 c Obj. Vars: 760 (100 % of total variables) 0.89/0.91 c Pre-processing Time: 0.907 s 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 760 41619 83238 2 83238 13872 0 0 0.91 0.89/0.91 c Switching off LPR mode. 0.89/0.91 o -27 0.914 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 760 41620 83998 2 83267 14872 1 0 0.92 0.89/0.92 o -28 0.917 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 1 760 41622 85490 2 83299 14872 3 1 0.92 0.89/0.92 o -31 0.921 98.15/98.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 98.15/98.26 c 1 760 41623 86250 2 83332 14872 4 1 0.92 98.15/98.26 c 102 760 41724 159564 3 83534 16360 105 105 0.97 98.15/98.26 c 353 760 41975 341533 8 84036 17997 356 323 1.09 98.15/98.26 c 830 760 42452 687232 16 84990 19797 833 610 1.36 98.15/98.26 c 1643 760 43265 1277095 29 86616 21777 1646 847 1.94 98.15/98.26 c 2963 760 44585 2233945 50 89256 23955 2966 957 3.10 98.15/98.26 c 5044 760 46666 3742441 80 93418 26351 5047 908 5.55 98.15/98.26 c 8267 760 49889 6081114 121 99864 28987 8270 849 9.73 98.15/98.26 c 13203 760 54825 9660805 176 109736 31886 13206 660 20.00 98.15/98.26 c 20711 760 62333 15101787 242 124752 35075 20714 400 51.69 98.15/98.26 c 32072 760 73694 23336242 316 147474 38583 32075 331 96.80 98.15/98.26 o -32 98.222 173.22/173.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 173.22/173.33 c 33498 760 75121 24371690 324 150360 14872 33502 341 98.22 173.22/173.33 c 33599 760 49157 5545068 112 98346 16360 7538 294 114.10 173.22/173.33 c 33849 760 49407 5726133 115 98846 17997 7788 296 114.29 173.22/173.33 c 34324 760 49882 6069926 121 99796 19797 8263 299 114.66 173.22/173.33 c 35137 760 50695 6658476 131 101422 21777 9076 304 115.40 173.22/173.33 c 36458 760 52016 7614817 146 104064 23955 10397 311 116.96 173.22/173.33 c 38539 760 54097 9121776 168 108226 26351 12478 318 121.00 173.22/173.33 c 41762 760 57320 11454139 199 114672 28987 15701 328 127.17 173.22/173.33 c 46699 760 62257 15029381 241 124546 31886 20638 334 139.56 173.22/173.33 c 54205 760 69763 20464449 293 139558 35075 28144 326 165.95 173.22/173.33 o -33 173.272 1011.02/1011.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1011.02/1011.40 c 57820 760 73379 23082742 314 146823 14872 31760 333 173.27 1011.02/1011.40 c 57920 760 49156 5540315 112 98345 16360 7537 322 179.50 1011.02/1011.40 c 58171 760 49407 5721833 115 98847 17997 7788 323 179.69 1011.02/1011.40 c 58648 760 49884 6066724 121 99801 19797 8265 325 180.06 1011.02/1011.40 c 59461 760 50697 6653668 131 101427 21777 9078 327 181.29 1011.02/1011.40 c 60781 760 52017 7607258 146 104067 23955 10398 326 185.97 1011.02/1011.40 c 62862 760 54098 9111933 168 108229 26351 12479 333 188.72 1011.02/1011.40 c 66085 760 57321 11441602 199 114675 28987 15702 340 194.09 1011.02/1011.40 c 71021 760 62257 15007652 241 124547 31886 20638 352 201.33 1011.02/1011.40 c 78528 760 69764 20433601 292 139561 35075 28145 344 227.89 1011.02/1011.40 c 89889 760 56654 10951772 193 113341 38583 15035 326 275.59 1011.02/1011.40 c 107034 760 73799 23349819 316 147631 42442 32180 271 393.93 1011.02/1011.40 c 132853 760 67912 19087122 281 135857 46687 26293 192 691.44 1011.02/1011.40 o -34 1011.13 1799.93/1800.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.47 c 165070 760 64405 16557077 257 128877 14872 22786 163 1011.13 1799.93/1800.47 c 165170 760 49156 5531729 112 98346 16360 7537 163 1013.23 1799.93/1800.47 c 165420 760 49406 5712288 115 98846 17997 7787 163 1013.42 1799.93/1800.47 c 165896 760 49882 6055922 121 99798 19797 8263 163 1013.74 1799.93/1800.47 c 166709 760 50695 6643087 131 101424 21777 9076 164 1014.45 1799.93/1800.47 c 168029 760 52015 7595817 146 104064 23955 10396 165 1015.54 1799.93/1800.47 c 170111 760 54097 9098874 168 108228 26351 12478 167 1018.27 1799.93/1800.47 c 173335 760 57321 11425793 199 114676 28987 15702 168 1025.66 1799.93/1800.47 c 178271 760 62257 14987142 240 124548 31886 20638 172 1036.13 1799.93/1800.47 c 185777 760 69763 20405218 292 139560 35075 28144 176 1054.01 1799.93/1800.47 c 197138 760 56623 10908892 192 113280 38583 15004 180 1092.14 1799.93/1800.47 c 214282 760 73767 23273447 315 147568 42442 32148 177 1207.93 1799.93/1800.47 c 240101 760 67886 19041884 280 135806 46687 26267 169 1416.34 1799.93/1800.47 c 278933 760 71005 21298478 299 142044 51356 29386 158 1762.75 1799.93/1800.47 c Resources Exceeded 1799.93/1800.47 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 1799.93/1800.47 v -x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 1799.93/1800.47 v -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 1799.93/1800.47 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 1799.93/1800.47 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1799.93/1800.47 v -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 1799.93/1800.47 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 1799.93/1800.47 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 1799.93/1800.47 v -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 1799.93/1800.47 v -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 1799.93/1800.47 v -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1799.93/1800.47 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 1799.93/1800.47 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 1799.93/1800.47 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 1799.93/1800.47 v -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 1799.93/1800.47 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 1799.93/1800.47 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 1799.93/1800.47 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 1799.93/1800.47 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 1799.93/1800.47 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 1799.93/1800.47 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 1799.93/1800.47 v -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 1799.93/1800.47 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 1799.93/1800.47 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 1799.93/1800.47 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 1799.93/1800.47 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 1799.93/1800.47 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 1799.93/1800.47 v -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 1799.93/1800.47 v -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 1799.93/1800.47 v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1799.93/1800.47 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 1799.93/1800.47 v -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 1799.93/1800.47 v -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 1799.93/1800.47 v -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 1799.93/1800.47 v -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 1799.93/1800.47 v -x7 -x6 -x5 -x4 -x3 -x2 -x1 1799.93/1800.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.47 c 50 290812 28619 327641 82884 29869787 41265 161 1800.01 1799.93/1800.47 c Objective: -34 1799.93/1800.47 s SATISFIABLE 1799.93/1800.47 c Total time: 1800.01 s
OK -34
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-353410-1176665137 -o ROOT/results/node48/solver-353410-1176665137 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353410-1176665137/instance-353410-1176665137.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.77 1.08 1.10 3/64 5531 /proc/meminfo: memFree=1799736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=12708 CPUtime=0 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 21359059 13012992 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 3177 336 281 324 0 2003 0 [startup+0.0849441 s] /proc/loadavg: 0.77 1.08 1.10 3/64 5531 /proc/meminfo: memFree=1799736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=6964 CPUtime=0.07 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 1001 0 0 0 7 0 0 0 18 0 1 0 21359059 7131136 969 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 1741 969 401 324 0 567 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6964 [startup+0.101945 s] /proc/loadavg: 0.77 1.08 1.10 3/64 5531 /proc/meminfo: memFree=1799736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=7376 CPUtime=0.09 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 1134 0 0 0 9 0 0 0 18 0 1 0 21359059 7553024 1102 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 1844 1102 427 324 0 670 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7376 [startup+0.301963 s] /proc/loadavg: 0.77 1.08 1.10 3/64 5531 /proc/meminfo: memFree=1799736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=11352 CPUtime=0.29 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 2500 0 0 0 28 1 0 0 19 0 1 0 21359059 11624448 2225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 2838 2225 307 324 0 1907 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11352 [startup+0.702 s] /proc/loadavg: 0.77 1.08 1.10 3/64 5531 /proc/meminfo: memFree=1799736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=11352 CPUtime=0.69 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 2500 0 0 0 66 3 0 0 22 0 1 0 21359059 11624448 2225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 2838 2225 307 324 0 1907 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11352 [startup+1.50107 s] /proc/loadavg: 0.77 1.08 1.10 2/65 5532 /proc/meminfo: memFree=1791600/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=20212 CPUtime=1.49 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 5292 0 0 0 145 4 0 0 25 0 1 0 21359059 20697088 4427 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 5053 4427 312 324 0 4122 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20212 [startup+3.10122 s] /proc/loadavg: 0.77 1.08 1.10 2/65 5532 /proc/meminfo: memFree=1775088/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=37700 CPUtime=3.09 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 9680 0 0 0 303 6 0 0 25 0 1 0 21359059 38604800 8815 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 9425 8815 312 324 0 8494 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37700 [startup+6.30152 s] /proc/loadavg: 0.79 1.08 1.10 2/65 5532 /proc/meminfo: memFree=1747120/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=65552 CPUtime=6.29 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 16633 0 0 0 621 8 0 0 25 0 1 0 21359059 67125248 15768 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 16388 15768 312 324 0 15457 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65552 [startup+12.7011 s] /proc/loadavg: 0.80 1.07 1.10 2/65 5532 /proc/meminfo: memFree=1697456/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=109600 CPUtime=12.68 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 27638 0 0 0 1255 13 0 0 25 0 1 0 21359059 112230400 26773 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 27400 26773 312 324 0 26469 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 109600 [startup+25.5013 s] /proc/loadavg: 0.85 1.07 1.09 2/65 5532 /proc/meminfo: memFree=1646960/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=156416 CPUtime=25.48 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 39346 0 0 0 2529 19 0 0 25 0 1 0 21359059 160169984 38481 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 39104 38481 312 324 0 38173 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 156416 [startup+51.1017 s] /proc/loadavg: 0.90 1.06 1.09 2/65 5532 /proc/meminfo: memFree=1601328/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=202408 CPUtime=51.05 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 50842 0 0 0 5080 25 0 0 25 0 1 0 21359059 207265792 49977 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 50602 49977 312 324 0 49671 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 202408 [startup+102.305 s] /proc/loadavg: 0.95 1.05 1.09 2/65 5532 /proc/meminfo: memFree=1480240/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=322264 CPUtime=102.25 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 80856 0 0 0 10182 43 0 0 25 0 1 0 21359059 329998336 79958 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 80566 79958 312 324 0 79635 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 322264 [startup+162.302 s] /proc/loadavg: 0.98 1.04 1.08 2/65 5532 /proc/meminfo: memFree=1480240/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=322264 CPUtime=162.24 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 80856 0 0 0 16177 47 0 0 25 0 1 0 21359059 329998336 79958 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 80566 79958 312 324 0 79635 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 322264 [startup+222.301 s] /proc/loadavg: 0.99 1.03 1.07 2/65 5532 /proc/meminfo: memFree=1480304/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=322264 CPUtime=222.22 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 80856 0 0 0 22172 50 0 0 25 0 1 0 21359059 329998336 79958 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 80566 79958 312 324 0 79635 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 322264 [startup+282.301 s] /proc/loadavg: 0.99 1.02 1.07 2/65 5532 /proc/meminfo: memFree=1459568/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=342960 CPUtime=282.2 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 86058 0 0 0 28164 56 0 0 25 0 1 0 21359059 351191040 85125 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 85740 85125 312 324 0 84809 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 342960 [startup+342.302 s] /proc/loadavg: 0.99 1.02 1.06 2/65 5532 /proc/meminfo: memFree=1459576/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=342960 CPUtime=342.19 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 86058 0 0 0 34161 58 0 0 25 0 1 0 21359059 351191040 85125 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 85740 85125 312 324 0 84809 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 342960 [startup+402.301 s] /proc/loadavg: 0.99 1.01 1.06 2/65 5532 /proc/meminfo: memFree=1459576/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=345376 CPUtime=402.17 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 86662 0 0 0 40157 60 0 0 25 0 1 0 21359059 353665024 85729 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 86344 85729 312 324 0 85413 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 345376 [startup+462.302 s] /proc/loadavg: 0.99 1.01 1.05 2/65 5532 /proc/meminfo: memFree=1390968/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=411352 CPUtime=462.15 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 103192 0 0 0 46143 72 0 0 25 0 1 0 21359059 421224448 102216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 102838 102216 312 324 0 101907 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 411352 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.04 2/65 5532 /proc/meminfo: memFree=1391032/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=411352 CPUtime=522.14 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 103192 0 0 0 52141 73 0 0 25 0 1 0 21359059 421224448 102216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 102838 102216 312 324 0 101907 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 411352 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.04 2/65 5532 /proc/meminfo: memFree=1391032/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=411352 CPUtime=582.13 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 103192 0 0 0 58139 74 0 0 25 0 1 0 21359059 421224448 102216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 102838 102216 312 324 0 101907 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 411352 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.03 2/65 5532 /proc/meminfo: memFree=1391032/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=411352 CPUtime=642.12 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 103192 0 0 0 64138 74 0 0 25 0 1 0 21359059 421224448 102216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 102838 102216 312 324 0 101907 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 411352 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.01 2/65 5532 /proc/meminfo: memFree=1351416/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450852 CPUtime=882.05 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 88121 84 0 0 25 0 1 0 21359059 461672448 112088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112713 112088 312 324 0 111782 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 450852 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.01 2/65 5532 /proc/meminfo: memFree=1351416/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450852 CPUtime=942.04 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 94119 85 0 0 25 0 1 0 21359059 461672448 112088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112713 112088 312 324 0 111782 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 450852 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351480/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450852 CPUtime=1002.03 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 100117 86 0 0 25 0 1 0 21359059 461672448 112088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112713 112088 312 324 0 111782 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 450852 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351544/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450852 CPUtime=1062.01 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 106111 90 0 0 25 0 1 0 21359059 461672448 112088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112713 112088 312 324 0 111782 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 450852 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450564 CPUtime=1121.99 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 112106 93 0 0 25 0 1 0 21359059 461377536 112034 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112641 112034 312 324 0 111710 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 450564 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450564 CPUtime=1181.98 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 118103 95 0 0 25 0 1 0 21359059 461377536 112034 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112641 112034 312 324 0 111710 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 450564 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351672/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450564 CPUtime=1241.97 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 124099 98 0 0 25 0 1 0 21359059 461377536 112034 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112641 112034 312 324 0 111710 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 450564 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351672/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450520 CPUtime=1301.96 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 130096 100 0 0 25 0 1 0 21359059 461332480 112023 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112630 112023 312 324 0 111699 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 450520 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 3/65 5532 /proc/meminfo: memFree=1351736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450436 CPUtime=1361.93 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 136092 101 0 0 25 0 1 0 21359059 461246464 112002 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112609 112002 312 324 0 111678 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 450436 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450436 CPUtime=1421.92 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 142089 103 0 0 25 0 1 0 21359059 461246464 112002 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112609 112002 312 324 0 111678 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 450436 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450436 CPUtime=1481.9 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 148085 105 0 0 25 0 1 0 21359059 461246464 112002 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112609 112002 312 324 0 111678 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 450436 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351736/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450436 CPUtime=1541.89 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113111 0 0 0 154082 107 0 0 25 0 1 0 21359059 461246464 112002 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112609 112002 312 324 0 111678 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 450436 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351800/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450312 CPUtime=1601.88 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113158 0 0 0 160079 109 0 0 25 0 1 0 21359059 461119488 111971 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112578 111971 312 324 0 111647 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 450312 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351800/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450312 CPUtime=1661.86 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113158 0 0 0 166076 110 0 0 25 0 1 0 21359059 461119488 111971 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112578 111971 312 324 0 111647 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 450312 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351800/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450312 CPUtime=1721.85 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113158 0 0 0 172074 111 0 0 25 0 1 0 21359059 461119488 111971 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112578 111971 312 324 0 111647 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 450312 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1351800/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=450312 CPUtime=1781.84 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194304 113158 0 0 0 178070 114 0 0 25 0 1 0 21359059 461119488 111971 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 112578 111971 312 324 0 111647 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 450312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1527480/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=0 CPUtime=1800.03 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194308 113159 0 0 0 179886 117 0 0 25 0 1 0 21359059 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5532 /proc/meminfo: memFree=1527480/2055920 swapFree=4184696/4192956 [pid=5531] ppid=5529 vsize=0 CPUtime=1800.03 /proc/5531/stat : 5531 (bsolo3.0.16) R 5529 5531 5471 0 -1 4194308 113159 0 0 0 179886 117 0 0 25 0 1 0 21359059 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5531/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.08 CPU user time (s): 1798.87 CPU system time (s): 1.21581 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 451040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.87 system time used= 1.21582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113159 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= 12 involuntary context switches= 2378 runsolver used 1.2898 second user time and 3.63845 second system time The end
Begin job on node48 on Sun Apr 15 19:25:37 UTC 2007 IDJOB= 353410 IDBENCH= 2240 IDSOLVER= 163 FILE ID= node48/353410-1176665137 PBS_JOBID= 4559937 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353410-1176665137/instance-353410-1176665137.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-353410-1176665137 -o ROOT/results/node48/solver-353410-1176665137 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353410-1176665137/instance-353410-1176665137.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED= 231168991 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.238 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.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1800080 kB Buffers: 41780 kB Cached: 133604 kB SwapCached: 2640 kB Active: 88216 kB Inactive: 97484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800080 kB SwapTotal: 4192956 kB SwapFree: 4184696 kB Dirty: 5584 kB Writeback: 0 kB Mapped: 16128 kB Slab: 56144 kB Committed_AS: 861672 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node48 on Sun Apr 15 19:55:40 UTC 2007