Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT (TO) | -33 | 1800.11 | 1800.88 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
MD5SUM | f408a60720d5bae3e36cea0c41e2f7f1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -34 |
Best CPU time to get the best result obtained on this benchmark | 1795.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -39 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41619 |
Number of constraints which are clauses | 41619 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: 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-1878540-1245164504.opb 0.00/0.00 c File size is 994325 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.122 s 0.09/0.13 c Var: 760 Constr: 41619 41619/0/0 Lit: 83238 Watch. Lit: 83238 0.09/0.13 c Obj. Vars: 760 (100 % of total variables) 0.79/0.82 c Pre-processing Time: 0.825 s 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 0 760 41619 83238 2 83238 13872 0 0 0.82 0.79/0.82 c Switching off lower bounding mode. 0.79/0.83 o -27 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 0 760 41620 83998 2 83267 14872 1 0 0.83 0.79/0.83 o -28 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 1 760 41622 85490 2 83299 14872 3 1 0.84 0.79/0.88 o -29 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 98 760 41720 156891 3 83524 14872 101 110 0.88 0.89/0.93 c 199 760 41821 230255 5 83726 16360 202 213 0.93 0.89/0.93 o -30 1.89/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.94 c 199 760 41822 231015 5 83758 14872 203 212 0.94 1.89/1.94 c 301 760 41924 305135 7 83962 16360 305 304 0.99 1.89/1.94 c 551 760 42174 486679 11 84462 17997 555 489 1.13 1.89/1.94 c 1026 760 42649 831700 19 85412 19797 1030 724 1.42 1.89/1.94 c 1839 760 43462 1422014 32 87038 21777 1843 953 1.93 1.89/1.94 o -31 726.28/726.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 726.28/726.65 c 1867 760 43491 1443120 33 87127 14872 1872 958 1.95 726.28/726.65 c 1968 760 43592 1516313 34 87329 16360 1973 980 2.01 726.28/726.65 c 2218 760 43842 1697734 38 87829 17997 2223 1032 2.15 726.28/726.65 c 2693 760 44317 2041975 46 88779 19797 2698 1092 2.47 726.28/726.65 c 3506 760 45130 2631555 58 90405 21777 3511 1142 3.07 726.28/726.65 c 4827 760 46451 3589163 77 93047 23955 4832 1121 4.30 726.28/726.65 c 6909 760 48533 5098426 105 97211 26351 6914 1078 6.41 726.28/726.65 c 10132 760 51756 7435731 143 103657 28987 10137 891 11.37 726.28/726.65 c 15068 760 56692 11014240 194 113529 31886 15073 648 23.23 726.28/726.65 c 22574 760 64198 16453656 256 128541 35075 22579 576 39.17 726.28/726.65 c 33935 760 75559 24686141 326 151263 38583 33940 503 67.40 726.28/726.65 c 51079 760 64742 16838530 260 129515 42442 23123 416 122.61 726.28/726.65 c 76899 760 58845 12556375 213 117721 46687 17226 336 228.22 726.28/726.65 c 115732 760 61846 14743053 238 123723 51356 20227 287 403.22 726.28/726.65 c 174086 760 79774 27742869 347 159579 56492 38155 250 695.22 726.28/726.65 o -32 1509.15/1509.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1509.15/1509.82 c 186138 760 91827 36484857 397 183717 14872 50208 256 726.34 1509.15/1509.82 c 186238 760 49156 5549358 112 98344 16360 7537 252 737.73 1509.15/1509.82 c 186488 760 49406 5730214 115 98844 17997 7787 252 738.14 1509.15/1509.82 c 186963 760 49881 6073609 121 99794 19797 8262 253 738.56 1509.15/1509.82 c 187776 760 50694 6661944 131 101420 21777 9075 253 739.58 1509.15/1509.82 c 189096 760 52014 7615573 146 104060 23955 10395 255 740.71 1509.15/1509.82 c 191177 760 54095 9121377 168 108222 26351 12476 257 743.00 1509.15/1509.82 c 194400 760 57318 11453756 199 114668 28987 15699 258 750.87 1509.15/1509.82 c 199338 760 62256 15028531 241 124544 31886 20637 262 758.72 1509.15/1509.82 c 206844 760 69762 20460004 293 139556 35075 28143 267 772.39 1509.15/1509.82 c 218206 760 56600 10926257 193 113232 38583 14981 271 804.99 1509.15/1509.82 c 235350 760 73744 23339555 316 147520 42442 32125 277 847.53 1509.15/1509.82 c 261169 760 67809 19042165 280 135650 46687 26190 273 954.31 1509.15/1509.82 c 300001 760 70799 21204049 299 141630 51356 29180 271 1104.15 1509.15/1509.82 c 358354 760 88783 34218534 385 177598 56492 47164 237 1507.40 1509.15/1509.82 o -33 1800.03/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.80 c 358904 760 89334 34617375 387 178733 14872 47715 237 1509.18 1800.03/1800.80 c 359004 760 49156 5533293 112 98345 16360 7537 235 1523.33 1800.03/1800.80 c 359255 760 49407 5714732 115 98847 17997 7788 235 1523.54 1800.03/1800.80 c 359730 760 49882 6057951 121 99797 19797 8263 236 1523.90 1800.03/1800.80 c 360543 760 50695 6646030 131 101423 21777 9076 236 1524.73 1800.03/1800.80 c 361863 760 52015 7600996 146 104063 23955 10396 237 1526.14 1800.03/1800.80 c 363944 760 54096 9104852 168 108225 26351 12477 238 1528.01 1800.03/1800.80 c 367168 760 57320 11435330 199 114673 28987 15701 239 1531.98 1800.03/1800.80 c 372104 760 62256 15002618 240 124545 31886 20637 241 1539.98 1800.03/1800.80 c 379611 760 69763 20429118 292 139559 35075 28144 244 1553.98 1800.03/1800.80 c 390972 760 56584 10900854 192 113201 38583 14965 246 1583.75 1800.03/1800.80 c 408117 760 73729 23297857 315 147491 42442 32110 251 1624.58 1800.03/1800.80 c 433936 760 67837 19028202 280 135707 46687 26218 252 1715.97 1800.03/1800.80 c Caught signal: 15 1800.03/1800.80 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 1800.03/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.80 c 52 455145 36909 500575 66949 18388725 25330 252 1800.04 1800.03/1800.80 c Objective: -33 1800.03/1800.80 s SATISFIABLE 1800.03/1800.80 c Total time: 1800.04 s
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878540-1245164504/watcher-1878540-1245164504 -o /tmp/evaluation-result-1878540-1245164504/solver-1878540-1245164504 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878540-1245164504.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30951 /proc/meminfo: memFree=1914688/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=11692 CPUtime=0 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 184050151 11972608 246 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 2923 248 176 640 0 2036 0 [startup+0.0975079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30951 /proc/meminfo: memFree=1914688/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=14848 CPUtime=0.09 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 1214 0 0 0 9 0 0 0 18 0 1 0 184050151 15204352 1198 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 3712 1198 358 640 0 2825 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14848 [startup+0.101507 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30951 /proc/meminfo: memFree=1914688/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=14856 CPUtime=0.09 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 1255 0 0 0 9 0 0 0 18 0 1 0 184050151 15212544 1239 1992294400 134512640 137136520 4294956256 18446744073709551615 134519851 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 3747 1240 366 640 0 2860 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14856 [startup+0.301525 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30951 /proc/meminfo: memFree=1914688/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=18016 CPUtime=0.29 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 2353 0 0 0 28 1 0 0 19 0 1 0 184050151 18448384 2094 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 4504 2094 190 640 0 3860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18016 [startup+0.70156 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30951 /proc/meminfo: memFree=1914688/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=18016 CPUtime=0.69 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 2353 0 0 0 66 3 0 0 23 0 1 0 184050151 18448384 2094 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 4504 2094 190 640 0 3860 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18016 [startup+1.50163 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1905400/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=27816 CPUtime=1.49 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 5379 0 0 0 144 5 0 0 25 0 1 0 184050151 28483584 4531 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 6954 4531 196 640 0 6310 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27816 [startup+3.10178 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1888184/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=49872 CPUtime=3.09 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 10900 0 0 0 300 9 0 0 25 0 1 0 184050151 51068928 10052 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 12468 10052 196 640 0 11824 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49872 [startup+6.30107 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1852288/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=80544 CPUtime=6.28 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 18555 0 0 0 617 11 0 0 25 0 1 0 184050151 82477056 17707 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 20136 17707 196 640 0 19492 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 80544 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1809856/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=118868 CPUtime=12.68 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 28149 0 0 0 1252 16 0 0 25 0 1 0 184050151 121720832 27301 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 29717 27301 196 640 0 29073 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 118868 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1751424/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=175204 CPUtime=25.48 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 42231 0 0 0 2523 25 0 0 25 0 1 0 184050151 179408896 41383 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 43801 41383 196 640 0 43157 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 175204 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1642496/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=284228 CPUtime=51.07 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 69493 0 0 0 5066 41 0 0 25 0 1 0 184050151 291049472 68645 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 71057 68645 196 640 0 70413 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 284228 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1540864/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=383224 CPUtime=102.26 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 94282 0 0 0 10165 61 0 0 25 0 1 0 184050151 392421376 93395 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 95806 93395 196 640 0 95162 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 383224 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1540800/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=383224 CPUtime=162.22 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 94282 0 0 0 16156 66 0 0 25 0 1 0 184050151 392421376 93395 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 95806 93395 196 640 0 95162 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 383224 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1505216/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=418856 CPUtime=222.17 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 103238 0 0 0 22143 74 0 0 25 0 1 0 184050151 428908544 102308 1992294400 134512640 137136520 4294956256 18446744073709551615 136502460 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 104714 102308 196 640 0 104070 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 418856 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1505216/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=418856 CPUtime=282.15 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 103238 0 0 0 28137 78 0 0 25 0 1 0 184050151 428908544 102308 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 104714 102308 196 640 0 104070 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 418856 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1483904/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=440928 CPUtime=342.13 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 108733 0 0 0 34128 85 0 0 25 0 1 0 184050151 451510272 107803 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 110232 107803 196 640 0 109588 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 440928 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1465344/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=458632 CPUtime=402.11 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 113200 0 0 0 40121 90 0 0 25 0 1 0 184050151 469639168 112223 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 114658 112223 196 640 0 114014 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 458632 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1465280/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=458632 CPUtime=462.08 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 113200 0 0 0 46115 93 0 0 25 0 1 0 184050151 469639168 112223 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 114658 112223 196 640 0 114014 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 458632 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1465280/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=458632 CPUtime=522.05 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 113200 0 0 0 52110 95 0 0 25 0 1 0 184050151 469639168 112223 1992294400 134512640 137136520 4294956256 18446744073709551615 134571603 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 114658 112223 196 640 0 114014 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 458632 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421440/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502276 CPUtime=582.03 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 124172 0 0 0 58101 102 0 0 25 0 1 0 184050151 514330624 123144 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125569 123144 196 640 0 124925 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 502276 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421440/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502276 CPUtime=642.01 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 124172 0 0 0 64095 106 0 0 25 0 1 0 184050151 514330624 123144 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125569 123144 196 640 0 124925 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 502276 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1429824/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=493696 CPUtime=821.95 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 124172 0 0 0 82074 121 0 0 25 0 1 0 184050151 505544704 121022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 123424 121022 196 640 0 122780 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 493696 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1429760/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=493696 CPUtime=881.91 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 124172 0 0 0 88066 125 0 0 25 0 1 0 184050151 505544704 121022 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 123424 121022 196 640 0 122780 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 493696 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1429760/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=493696 CPUtime=941.9 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 124172 0 0 0 94061 129 0 0 25 0 1 0 184050151 505544704 121022 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 123424 121022 196 640 0 122780 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 493696 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1429696/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=493696 CPUtime=1001.88 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 124172 0 0 0 100053 135 0 0 25 0 1 0 184050151 505544704 121022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 123424 121022 196 640 0 122780 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 493696 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1429696/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=493696 CPUtime=1061.85 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 124172 0 0 0 106046 139 0 0 25 0 1 0 184050151 505544704 121022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 123424 121022 196 640 0 122780 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 493696 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1434432/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=488956 CPUtime=1121.83 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 124172 0 0 0 112040 143 0 0 25 0 1 0 184050151 500690944 119837 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 122239 119837 196 640 0 121595 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 488956 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1434368/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=491756 CPUtime=1181.81 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 124851 0 0 0 118034 147 0 0 25 0 1 0 184050151 503558144 120516 1992294400 134512640 137136520 4294956256 18446744073709551615 134572228 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 122939 120516 196 640 0 122295 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 491756 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421440/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1241.78 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 124027 151 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 134600249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 502008 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421312/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1301.76 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 130023 153 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 502008 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421312/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1361.73 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 136018 155 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 502008 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421248/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1421.71 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 142014 157 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 502008 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421184/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1481.66 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 148008 158 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 502008 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421120/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1541.64 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 154004 160 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 502008 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421184/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1601.6 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 159995 165 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 502008 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421184/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1661.58 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 165988 170 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 502008 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1421120/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1721.56 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 171981 175 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 502008 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1420992/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1781.53 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 177973 180 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 502008 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30952 /proc/meminfo: memFree=1420992/2055920 swapFree=4181496/4192956 [pid=30951] ppid=30949 vsize=502008 CPUtime=1800.03 /proc/30951/stat : 30951 (bsolo) R 30949 30951 30649 0 -1 4194304 127403 0 0 0 179822 181 0 0 25 0 1 0 184050151 514056192 123068 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30951/statm: 125502 123068 196 640 0 124858 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 502008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.88 CPU time (s): 1800.11 CPU user time (s): 1798.22 CPU system time (s): 1.88971 CPU usage (%): 99.9574 Max. virtual memory (cumulated for all children) (KiB): 502276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.22 system time used= 1.88971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127405 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5891 runsolver used 1.52077 second user time and 5.04023 second system time The end
Begin job on node25 at 2009-06-16 17:01:44 IDJOB=1878540 IDBENCH=2240 IDSOLVER=700 FILE ID=node25/1878540-1245164504 PBS_JOBID= 9363837 Free space on /tmp= 66312 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-5.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878540-1245164504/watcher-1878540-1245164504 -o /tmp/evaluation-result-1878540-1245164504/solver-1878540-1245164504 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878540-1245164504.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED=1289702041 node25.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.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: 1915232 kB Buffers: 26560 kB Cached: 59964 kB SwapCached: 5888 kB Active: 56532 kB Inactive: 38500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1915232 kB SwapTotal: 4192956 kB SwapFree: 4181496 kB Dirty: 4912 kB Writeback: 0 kB Mapped: 13548 kB Slab: 31664 kB Committed_AS: 198920 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878540-1245164504.opb Free space on /tmp at the end= 66308 MiB End job on node25 at 2009-06-16 17:31:47