Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -13 | 1798.06 | 1798.71 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb |
MD5SUM | 3258ae2375db1ca5a9ce9d305f00baf0 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1703.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1228 |
Sum of products size (including duplicates) | 2456 |
Number of different products | 614 |
Sum of products size | 1228 |
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: Generic Pseudo-Boolean 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-1879727-1245247629.opb 0.00/0.00 c File size is 50240 bytes. 0.00/0.00 c Highest Coefficient sum: 100 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 714 Constr: 1380 664/102/614 Lit: 5212 Watch. Lit: 4500 0.00/0.00 c Obj. Vars: 50 (7.0028 % of total variables) 0.10/0.12 c Pre-processing Time: 0.128 s 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 0 714 1380 5212 3 4500 10651 0 0 0.13 0.10/0.12 c Switching off lower bounding mode. 0.10/0.13 o -1 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 0 714 1381 5262 3 4503 10685 1 0 0.13 0.10/0.13 o -2 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 1 714 1384 5412 3 4512 10701 4 7 0.13 0.10/0.13 o -3 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 4 714 1391 5803 4 4558 10718 11 30 0.13 0.10/0.13 o -4 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 6 714 1396 6082 4 4590 10735 16 45 0.13 0.10/0.13 o -5 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 14 714 1413 6374 4 4708 10751 33 104 0.13 0.10/0.13 o -6 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 19 714 1424 6887 4 4804 10768 44 140 0.14 0.10/0.13 o -7 0.10/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.14 c 28 714 1443 7372 5 4953 10785 63 204 0.14 0.10/0.14 o -8 0.10/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.15 c 35 714 1458 7912 5 5081 10801 78 251 0.14 0.10/0.15 o -9 0.10/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.17 c 115 714 1619 14692 9 7487 10818 239 741 0.15 0.10/0.17 o -10 2.39/2.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.47 c 171 714 1732 20164 11 9630 10835 352 982 0.17 2.39/2.47 c 271 714 1930 29265 15 12307 11919 550 1284 0.21 2.39/2.47 c 522 714 2425 62707 25 21286 13111 1045 1500 0.35 2.39/2.47 c 998 714 3377 139898 41 42597 14423 1997 1189 0.84 2.39/2.47 c 1811 714 5003 267582 53 77698 15866 3623 773 2.34 2.39/2.47 o -11 102.65/102.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 102.65/102.80 c 1859 714 5100 274444 53 79703 10851 3720 751 2.47 102.65/102.80 c 1959 714 5300 290447 54 81709 11937 3920 727 2.69 102.65/102.80 c 2211 714 5804 323364 55 91545 13131 4424 688 3.21 102.65/102.80 c 2686 714 6754 403305 59 116762 14445 5374 563 4.77 102.65/102.80 c 3499 714 8380 526684 62 152281 15890 7000 459 7.62 102.65/102.80 c 4819 714 11018 741258 67 211201 17480 9638 332 14.51 102.65/102.80 c 6900 714 15180 1075917 70 303427 19229 13800 245 28.09 102.65/102.80 c 10123 714 11470 757321 66 221404 21152 10090 158 63.87 102.65/102.80 o -12 613.43/613.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 613.43/613.78 c 15015 714 21232 1562502 73 437501 10868 19852 146 102.76 613.43/613.78 c 15115 714 7015 414587 59 134037 11955 5635 124 121.19 613.43/613.78 c 15365 714 7515 451002 60 145434 13151 6135 125 122.06 613.43/613.78 c 15841 714 8461 527778 62 165020 14467 7081 127 123.91 613.43/613.78 c 16656 714 10091 613201 60 190814 15914 8711 131 127.05 613.43/613.78 c 17976 714 12729 769383 60 262464 17506 11349 129 139.22 613.43/613.78 c 20057 714 16889 1028315 60 374750 19257 15509 110 180.88 613.43/613.78 c 23280 714 13179 762757 57 326873 21183 11799 80 288.53 613.43/613.78 c 28216 714 12027 739951 61 315620 23302 10647 55 503.86 613.43/613.78 o -13 1798.04/1798.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.04/1798.70 c 31327 714 18234 1171665 64 469012 10885 16854 51 613.54 1798.04/1798.70 c 31428 714 7025 363312 51 172134 11974 5645 48 648.19 1798.04/1798.70 c 31679 714 7527 395136 52 186759 13172 6147 48 651.79 1798.04/1798.70 c 32156 714 8480 449361 52 210488 14490 7100 48 660.38 1798.04/1798.70 c 32970 714 10097 561246 55 250795 15940 8717 48 675.90 1798.04/1798.70 c 34290 714 12729 729288 57 315264 17535 11349 48 708.41 1798.04/1798.70 c 36371 714 16876 1025690 60 415928 19289 15496 47 770.25 1798.04/1798.70 c 39594 714 13125 777708 59 313170 21218 11745 44 885.71 1798.04/1798.70 c 44530 714 11990 684186 57 306134 23340 10610 40 1110.62 1798.04/1798.70 c 52037 714 14709 907754 61 361507 25675 13329 36 1410.49 1798.04/1798.70 c Resources Exceeded 1798.04/1798.70 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 -x28 x29 -x30 -x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 x42 x43 x44 -x45 -x46 -x47 x48 x49 -x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 x76 -x77 x78 -x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 x96 x97 -x98 -x99 x100 1798.04/1798.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.04/1798.70 c 41 61872 6135 71087 20947 1327130 19567 34 1798.05 1798.04/1798.70 c Objective: -13 1798.04/1798.70 s SATISFIABLE 1798.04/1798.70 c Total time: 1798.05 s
OK -13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879727-1245247629/watcher-1879727-1245247629 -o /tmp/evaluation-result-1879727-1245247629/solver-1879727-1245247629 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879727-1245247629.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.06 1.03 0.98 3/64 13379 /proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=10760 CPUtime=0 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 192360155 11018240 242 1992294400 134512640 137136520 4294956256 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 2690 242 177 640 0 2033 0 [startup+0.104711 s] /proc/loadavg: 1.06 1.03 0.98 3/64 13379 /proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=10984 CPUtime=0.1 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 350 0 0 0 10 0 0 0 18 0 1 0 192360155 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 2746 321 189 640 0 2102 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10984 [startup+0.201721 s] /proc/loadavg: 1.06 1.03 0.98 3/64 13379 /proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=11504 CPUtime=0.19 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 481 0 0 0 19 0 0 0 18 0 1 0 192360155 11780096 452 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 2876 452 197 640 0 2232 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11504 [startup+0.301731 s] /proc/loadavg: 1.06 1.03 0.98 3/64 13379 /proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=12032 CPUtime=0.29 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 608 0 0 0 29 0 0 0 19 0 1 0 192360155 12320768 579 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 3008 579 197 640 0 2364 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12032 [startup+0.701775 s] /proc/loadavg: 1.06 1.03 0.98 3/64 13379 /proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=13316 CPUtime=0.69 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 952 0 0 0 69 0 0 0 23 0 1 0 192360155 13635584 923 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 3329 923 197 640 0 2685 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13316 [startup+1.50186 s] /proc/loadavg: 1.06 1.03 0.98 2/65 13380 /proc/meminfo: memFree=1834056/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=15116 CPUtime=1.5 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 1397 0 0 0 149 1 0 0 25 0 1 0 192360155 15478784 1368 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 3779 1368 197 640 0 3135 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 15116 [startup+3.10103 s] /proc/loadavg: 1.05 1.03 0.98 2/65 13380 /proc/meminfo: memFree=1832136/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=17320 CPUtime=3.09 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 1930 0 0 0 308 1 0 0 25 0 1 0 192360155 17735680 1901 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 4330 1901 197 640 0 3686 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17320 [startup+6.30138 s] /proc/loadavg: 1.05 1.03 0.98 2/65 13380 /proc/meminfo: memFree=1828424/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=20432 CPUtime=6.29 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 2733 0 0 0 627 2 0 0 25 0 1 0 192360155 20922368 2704 1992294400 134512640 137136520 4294956256 18446744073709551615 134605826 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 5108 2704 197 640 0 4464 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20432 [startup+12.7011 s] /proc/loadavg: 1.04 1.03 0.98 2/65 13380 /proc/meminfo: memFree=1823688/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=24828 CPUtime=12.69 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 3835 0 0 0 1265 4 0 0 25 0 1 0 192360155 25423872 3806 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 6207 3806 198 640 0 5563 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24828 [startup+25.5015 s] /proc/loadavg: 1.04 1.03 0.98 2/65 13380 /proc/meminfo: memFree=1817032/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=31392 CPUtime=25.49 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 5465 0 0 0 2542 7 0 0 25 0 1 0 192360155 32145408 5436 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 7848 5436 198 640 0 7204 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31392 [startup+51.1013 s] /proc/loadavg: 1.02 1.02 0.98 2/65 13380 /proc/meminfo: memFree=1807624/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=40816 CPUtime=51.07 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 7811 0 0 0 5098 9 0 0 25 0 1 0 192360155 41795584 7782 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 10204 7782 198 640 0 9560 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 40816 [startup+102.302 s] /proc/loadavg: 1.01 1.02 0.98 2/65 13380 /proc/meminfo: memFree=1805896/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=42332 CPUtime=102.25 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8182 0 0 0 10214 11 0 0 25 0 1 0 192360155 43347968 8153 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 10583 8153 198 640 0 9939 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 42332 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.98 2/65 13380 /proc/meminfo: memFree=1805640/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=42424 CPUtime=162.23 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 16209 14 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 10606 8194 198 640 0 9962 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 42424 [startup+222.306 s] /proc/loadavg: 1.00 1.01 0.98 2/65 13380 /proc/meminfo: memFree=1805576/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=42424 CPUtime=222.2 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 22206 14 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 10606 8194 198 640 0 9962 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 42424 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1805576/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=42424 CPUtime=282.17 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 28202 15 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 10606 8194 198 640 0 9962 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 42424 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1805512/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=42424 CPUtime=342.16 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 34200 16 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 10606 8194 198 640 0 9962 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 42424 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1805448/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=42424 CPUtime=402.11 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 40195 16 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 10606 8194 198 640 0 9962 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 42424 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1802952/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=45172 CPUtime=462.1 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8901 0 0 0 46192 18 0 0 25 0 1 0 192360155 46256128 8872 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 11293 8872 198 640 0 10649 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 45172 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1802120/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=45880 CPUtime=522.08 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 52189 19 0 0 25 0 1 0 192360155 46981120 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 11470 9059 198 640 0 10826 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 45880 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1802056/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=45880 CPUtime=582.05 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 58186 19 0 0 25 0 1 0 192360155 46981120 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 11470 9059 198 640 0 10826 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 45880 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1801992/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=45864 CPUtime=642.02 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 64183 19 0 0 25 0 1 0 192360155 46964736 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 11466 9059 198 640 0 10822 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 45864 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1801736/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=45844 CPUtime=1121.84 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 112160 24 0 0 25 0 1 0 192360155 46944256 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 11461 9059 198 640 0 10817 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 45844 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1801672/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=45844 CPUtime=1181.82 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 118157 25 0 0 25 0 1 0 192360155 46944256 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 11461 9059 198 640 0 10817 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 45844 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1801480/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=45844 CPUtime=1241.8 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 124154 26 0 0 25 0 1 0 192360155 46944256 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 11461 9059 198 640 0 10817 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 45844 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1801416/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=45844 CPUtime=1301.78 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 130152 26 0 0 25 0 1 0 192360155 46944256 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 11461 9059 198 640 0 10817 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 45844 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1799112/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=48312 CPUtime=1361.76 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 136149 27 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12078 9675 198 640 0 11434 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 48312 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1799112/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=48312 CPUtime=1421.75 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 142147 28 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12078 9675 198 640 0 11434 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 48312 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1799048/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=48312 CPUtime=1481.74 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 148145 29 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12078 9675 198 640 0 11434 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 48312 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1799048/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=48312 CPUtime=1541.72 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 154143 29 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12078 9675 198 640 0 11434 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 48312 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1799048/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=48312 CPUtime=1601.7 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 160140 30 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 136509115 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12078 9675 198 640 0 11434 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 48312 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1796104/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1661.67 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 166137 30 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 51312 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1796040/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1721.66 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 172135 31 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 51312 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1781.64 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 178133 31 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 51312 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1791.35 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179103 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 51312 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1794.55 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179423 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 51312 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1796.14 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179582 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 51312 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1796.94 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179662 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 51312 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1797.74 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179742 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 51312 [startup+1798.61 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1797.95 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179763 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 51312 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13380 /proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956 [pid=13379] ppid=13377 vsize=51312 CPUtime=1798.04 /proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179772 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13379/statm: 12828 10426 198 640 0 12184 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (KiB) 51312 Child status: 0 Real time (s): 1798.71 CPU time (s): 1798.06 CPU user time (s): 1797.73 CPU system time (s): 0.328949 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (KiB): 51312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.73 system time used= 0.328949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10457 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= 5632 runsolver used 1.49377 second user time and 5.05523 second system time The end
Begin job on node37 at 2009-06-17 16:07:10 IDJOB=1879727 IDBENCH=48277 IDSOLVER=701 FILE ID=node37/1879727-1245247629 PBS_JOBID= 9372302 Free space on /tmp= 66168 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879727-1245247629/watcher-1879727-1245247629 -o /tmp/evaluation-result-1879727-1245247629/solver-1879727-1245247629 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879727-1245247629.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0 RANDOM SEED=1637899097 node37.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.232 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.232 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: 1838512 kB Buffers: 25432 kB Cached: 109128 kB SwapCached: 5044 kB Active: 24756 kB Inactive: 117952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1838512 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 3960 kB Writeback: 0 kB Mapped: 14380 kB Slab: 60832 kB Committed_AS: 187400 kB PageTables: 1376 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-1879727-1245247629.opb Free space on /tmp at the end= 66164 MiB End job on node37 at 2009-06-17 16:37:08