Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT (TO) | -13 | 1800.14 | 1800.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb |
MD5SUM | 26861ca996cf8fd2abe5c211e1f47a26 |
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 | 1306.65 |
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) | 1220 |
Sum of products size (including duplicates) | 2440 |
Number of different products | 610 |
Sum of products size | 1220 |
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-1879677-1245247023.opb 0.00/0.00 c File size is 49946 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: 710 Constr: 1372 660/102/610 Lit: 5180 Watch. Lit: 4472 0.00/0.00 c Obj. Vars: 50 (7.04225 % of total variables) 0.10/0.12 c Pre-processing Time: 0.123 s 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 0 710 1372 5180 3 4472 10550 0 0 0.12 0.10/0.12 c Switching off lower bounding mode. 0.10/0.12 o -1 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 0 710 1373 5230 3 4475 10583 1 0 0.12 0.10/0.12 o -2 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 1 710 1376 5380 3 4484 10600 4 8 0.12 0.10/0.12 o -3 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 2 710 1379 5542 4 4495 10617 7 15 0.13 0.10/0.12 o -4 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 5 710 1386 5743 4 4533 10633 14 39 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 7 710 1391 5933 4 4561 10650 19 54 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 9 710 1396 6120 4 4592 10667 24 69 0.13 0.10/0.13 o -7 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 11 710 1401 6403 4 4634 10683 29 84 0.13 0.10/0.13 o -8 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 16 710 1412 6740 4 4724 10700 40 121 0.13 0.10/0.13 o -9 0.10/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.17 c 24 710 1429 7299 5 4876 10717 57 180 0.13 0.10/0.17 c 124 710 1629 14993 9 7574 11789 257 821 0.15 0.10/0.17 o -10 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 219 710 1819 24198 13 10231 10733 447 1237 0.18 1.39/1.43 c 319 710 2019 36658 18 13966 11807 647 1399 0.23 1.39/1.43 c 569 710 2519 71789 28 23694 12988 1147 1404 0.41 1.39/1.43 c 1044 710 3469 145898 42 43784 14287 2097 1082 0.96 1.39/1.43 o -11 105.74/105.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 105.74/105.82 c 1366 710 4114 195667 47 55374 10750 2742 955 1.43 105.74/105.82 c 1466 710 4314 212500 49 60059 11826 2942 916 1.60 105.74/105.82 c 1718 710 4818 249646 51 68499 13009 3446 820 2.09 105.74/105.82 c 2194 710 5770 324635 56 87557 14310 4398 654 3.35 105.74/105.82 c 3008 710 7395 457519 61 122272 15742 6023 508 5.91 105.74/105.82 c 4331 710 10041 672028 66 172079 17317 8669 372 11.63 105.74/105.82 c 6412 710 14200 1030834 72 258480 19049 12828 252 25.44 105.74/105.82 c 9635 710 10898 748715 68 199925 20954 9526 158 60.91 105.74/105.82 c 14575 710 20721 1532721 73 374826 23050 19349 140 103.67 105.74/105.82 o -12 1477.20/1477.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1477.20/1477.87 c 14745 710 21059 1561440 74 387000 10767 19687 139 105.77 1477.20/1477.87 c 14845 710 6955 425013 61 121071 11844 5583 123 119.77 1477.20/1477.87 c 15096 710 7453 464906 62 130608 13029 6081 124 120.98 1477.20/1477.87 c 15573 710 8389 539773 64 149580 14332 7017 126 123.13 1477.20/1477.87 c 16386 710 9997 677504 67 186083 15766 8625 128 127.67 1477.20/1477.87 c 17706 710 12605 882295 69 237666 17343 11233 129 136.35 1477.20/1477.87 c 19787 710 16666 1226180 73 311309 19078 15294 129 152.32 1477.20/1477.87 c 23010 710 12868 934488 72 268336 20986 11496 122 187.96 1477.20/1477.87 c 27946 710 11866 852639 71 229177 23085 10494 117 238.50 1477.20/1477.87 c 35452 710 14812 1004713 67 318770 25394 13440 101 348.80 1477.20/1477.87 c 46814 710 24077 1756087 72 506283 27934 22705 86 539.12 1477.20/1477.87 c 63958 710 28650 2079451 72 549770 30728 27278 76 833.18 1477.20/1477.87 c 89778 710 31280 2383451 76 614180 33801 29908 65 1378.89 1477.20/1477.87 o -13 1800.08/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.80 c 94627 710 23498 1742046 74 467468 10783 22126 64 1477.28 1800.08/1800.80 c 94728 710 6965 424747 60 147638 11862 5593 63 1495.67 1800.08/1800.80 c 94979 710 7463 457832 61 147104 13049 6091 63 1496.74 1800.08/1800.80 c 95455 710 8408 526824 62 166696 14354 7036 63 1499.39 1800.08/1800.80 c 96269 710 9998 648304 64 201602 15790 8626 63 1504.68 1800.08/1800.80 c 97589 710 12577 846162 67 258037 17370 11205 64 1516.70 1800.08/1800.80 c 99670 710 16604 1146852 69 335806 19108 15232 64 1539.82 1800.08/1800.80 c 102893 710 12689 869572 68 257703 21019 11317 64 1592.02 1800.08/1800.80 c 107829 710 22261 1623752 72 455552 23121 20889 65 1644.76 1800.08/1800.80 c Caught signal: 15 1800.08/1800.80 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 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 1800.08/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.80 c 46 115336 11071 131695 15058 1096977 13686 64 1800.09 1800.08/1800.80 c Objective: -13 1800.08/1800.80 s SATISFIABLE 1800.08/1800.80 c Total time: 1800.09 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-1879677-1245247023/watcher-1879677-1245247023 -o /tmp/evaluation-result-1879677-1245247023/solver-1879677-1245247023 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879677-1245247023.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 0.97 3/65 21744 /proc/meminfo: memFree=1263288/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=10760 CPUtime=0 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 253 0 0 0 0 0 0 0 18 0 1 0 192301308 11018240 237 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 2690 238 176 640 0 2033 0 [startup+0.0248979 s] /proc/loadavg: 1.00 1.00 0.97 3/65 21744 /proc/meminfo: memFree=1263288/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=10984 CPUtime=0.02 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 350 0 0 0 2 0 0 0 18 0 1 0 192301308 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 2746 321 189 640 0 2102 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10984 [startup+0.101906 s] /proc/loadavg: 1.00 1.00 0.97 3/65 21744 /proc/meminfo: memFree=1263288/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=10984 CPUtime=0.1 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 350 0 0 0 10 0 0 0 18 0 1 0 192301308 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 2746 321 189 640 0 2102 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10984 [startup+0.301926 s] /proc/loadavg: 1.00 1.00 0.97 3/65 21744 /proc/meminfo: memFree=1263288/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=12004 CPUtime=0.3 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 614 0 0 0 30 0 0 0 19 0 1 0 192301308 12292096 585 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 3001 585 197 640 0 2357 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12004 [startup+0.701967 s] /proc/loadavg: 1.00 1.00 0.97 3/65 21744 /proc/meminfo: memFree=1263288/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=13296 CPUtime=0.69 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 935 0 0 0 69 0 0 0 23 0 1 0 192301308 13615104 906 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 3324 906 197 640 0 2680 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13296 [startup+1.50105 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21745 /proc/meminfo: memFree=1259760/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=14976 CPUtime=1.49 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 1360 0 0 0 149 0 0 0 25 0 1 0 192301308 15335424 1331 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 3744 1331 197 640 0 3100 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14976 [startup+3.10122 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21745 /proc/meminfo: memFree=1257648/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=17172 CPUtime=3.09 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 1894 0 0 0 308 1 0 0 25 0 1 0 192301308 17584128 1865 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 4293 1865 197 640 0 3649 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17172 [startup+6.30155 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21745 /proc/meminfo: memFree=1253872/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=20304 CPUtime=6.29 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 2675 0 0 0 627 2 0 0 25 0 1 0 192301308 20791296 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 5076 2646 197 640 0 4432 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20304 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21745 /proc/meminfo: memFree=1249080/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=24720 CPUtime=12.68 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 3792 0 0 0 1265 3 0 0 25 0 1 0 192301308 25313280 3763 1992294400 134512640 137136520 4294956256 18446744073709551615 134544001 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 6180 3763 197 640 0 5536 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24720 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21745 /proc/meminfo: memFree=1242624/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=30924 CPUtime=25.48 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 5356 0 0 0 2543 5 0 0 25 0 1 0 192301308 31666176 5327 1992294400 134512640 137136520 4294956256 18446744073709551615 136502022 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 7731 5327 198 640 0 7087 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30924 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21745 /proc/meminfo: memFree=1233792/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=39844 CPUtime=51.07 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 7569 0 0 0 5098 9 0 0 25 0 1 0 192301308 40800256 7540 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 9961 7540 198 640 0 9317 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39844 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21745 /proc/meminfo: memFree=1232448/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=40976 CPUtime=102.25 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 7859 0 0 0 10214 11 0 0 25 0 1 0 192301308 41959424 7830 1992294400 134512640 137136520 4294956256 18446744073709551615 134616544 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 10244 7830 198 640 0 9600 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 40976 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21745 /proc/meminfo: memFree=1232128/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=41224 CPUtime=162.21 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 7922 0 0 0 16209 12 0 0 25 0 1 0 192301308 42213376 7893 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 10306 7893 198 640 0 9662 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 41224 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21745 /proc/meminfo: memFree=1230784/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=42764 CPUtime=222.2 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 8294 0 0 0 22205 15 0 0 25 0 1 0 192301308 43790336 8265 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 10691 8265 198 640 0 10047 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 42764 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1227968/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=45156 CPUtime=282.17 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 8907 0 0 0 28200 17 0 0 25 0 1 0 192301308 46239744 8878 1992294400 134512640 137136520 4294956256 18446744073709551615 134551986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 11289 8878 198 640 0 10645 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 45156 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1225856/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=47460 CPUtime=342.14 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 9485 0 0 0 34195 19 0 0 25 0 1 0 192301308 48599040 9456 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 11865 9456 198 640 0 11221 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 47460 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1225856/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=47460 CPUtime=402.12 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 9485 0 0 0 40191 21 0 0 25 0 1 0 192301308 48599040 9456 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 11865 9456 198 640 0 11221 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 47460 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1222016/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=51332 CPUtime=462.1 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 10459 0 0 0 46186 24 0 0 25 0 1 0 192301308 52563968 10430 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 12833 10430 198 640 0 12189 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 51332 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1221952/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=51332 CPUtime=522.08 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 10459 0 0 0 52182 26 0 0 25 0 1 0 192301308 52563968 10430 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 12833 10430 198 640 0 12189 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 51332 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1218496/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=54832 CPUtime=582.05 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 11333 0 0 0 58177 28 0 0 25 0 1 0 192301308 56147968 11304 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 13708 11304 198 640 0 13064 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 54832 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1218432/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=54832 CPUtime=642.04 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 11333 0 0 0 64175 29 0 0 25 0 1 0 192301308 56147968 11304 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 13708 11304 198 640 0 13064 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 54832 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1218240/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=54832 CPUtime=821.96 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 11333 0 0 0 82164 32 0 0 25 0 1 0 192301308 56147968 11304 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 13708 11304 198 640 0 13064 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 54832 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1215296/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=57856 CPUtime=881.93 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 12091 0 0 0 88160 33 0 0 25 0 1 0 192301308 59244544 12062 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 14464 12062 198 640 0 13820 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 57856 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1215296/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=57856 CPUtime=941.92 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 12091 0 0 0 94158 34 0 0 25 0 1 0 192301308 59244544 12062 1992294400 134512640 137136520 4294956256 18446744073709551615 136518971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 14464 12062 198 640 0 13820 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 57856 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1215296/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=57856 CPUtime=1001.89 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 12091 0 0 0 100154 35 0 0 25 0 1 0 192301308 59244544 12062 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 14464 12062 198 640 0 13820 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 57856 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1214272/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=58924 CPUtime=1061.86 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 12358 0 0 0 106150 36 0 0 25 0 1 0 192301308 60338176 12329 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 14731 12329 198 640 0 14087 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 58924 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1214208/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=58924 CPUtime=1121.83 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 12358 0 0 0 112147 36 0 0 25 0 1 0 192301308 60338176 12329 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 14731 12329 198 640 0 14087 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 58924 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1214208/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=58924 CPUtime=1181.81 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 12358 0 0 0 118143 38 0 0 25 0 1 0 192301308 60338176 12329 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 14731 12329 198 640 0 14087 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 58924 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1214016/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=58924 CPUtime=1241.78 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 12358 0 0 0 124139 39 0 0 25 0 1 0 192301308 60338176 12329 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 14731 12329 198 640 0 14087 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 58924 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1213952/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=58924 CPUtime=1301.77 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 12358 0 0 0 130137 40 0 0 25 0 1 0 192301308 60338176 12329 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 14731 12329 198 640 0 14087 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 58924 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1213952/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=58924 CPUtime=1361.75 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 12358 0 0 0 136134 41 0 0 25 0 1 0 192301308 60338176 12329 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 14731 12329 198 640 0 14087 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 58924 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1210176/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=62768 CPUtime=1421.72 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 13332 0 0 0 142128 44 0 0 25 0 1 0 192301308 64274432 13269 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 15692 13269 198 640 0 15048 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 62768 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1210176/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=62768 CPUtime=1481.69 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 13354 0 0 0 148124 45 0 0 25 0 1 0 192301308 64274432 13291 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 15692 13291 198 640 0 15048 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 62768 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1210176/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=62768 CPUtime=1541.67 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 13354 0 0 0 154120 47 0 0 25 0 1 0 192301308 64274432 13291 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 15692 13291 198 640 0 15048 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 62768 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1210176/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=62768 CPUtime=1601.65 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 13354 0 0 0 160117 48 0 0 25 0 1 0 192301308 64274432 13291 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 15692 13291 198 640 0 15048 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 62768 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1210112/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=62768 CPUtime=1661.63 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 13354 0 0 0 166113 50 0 0 25 0 1 0 192301308 64274432 13291 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 15692 13291 198 640 0 15048 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 62768 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1210112/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=62768 CPUtime=1721.61 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 13354 0 0 0 172110 51 0 0 25 0 1 0 192301308 64274432 13291 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 15692 13291 198 640 0 15048 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 62768 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1209920/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=62768 CPUtime=1781.58 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 13354 0 0 0 178105 53 0 0 25 0 1 0 192301308 64274432 13291 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 15692 13291 198 640 0 15048 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 62768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21751 /proc/meminfo: memFree=1209920/2055920 swapFree=4182160/4192956 [pid=21744] ppid=21742 vsize=62768 CPUtime=1800.08 /proc/21744/stat : 21744 (bsolo) R 21742 21744 21445 0 -1 4194304 13354 0 0 0 179955 53 0 0 25 0 1 0 192301308 64274432 13291 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21744/statm: 15692 13291 198 640 0 15048 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 62768 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.86 CPU time (s): 1800.14 CPU user time (s): 1799.6 CPU system time (s): 0.544917 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 62768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.544917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13356 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= 7513 runsolver used 1.9937 second user time and 3.84441 second system time The end
Begin job on node79 at 2009-06-17 15:57:03 IDJOB=1879677 IDBENCH=48227 IDSOLVER=701 FILE ID=node79/1879677-1245247023 PBS_JOBID= 9372272 Free space on /tmp= 66016 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_1.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879677-1245247023/watcher-1879677-1245247023 -o /tmp/evaluation-result-1879677-1245247023/solver-1879677-1245247023 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879677-1245247023.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26 RANDOM SEED=1339841834 node79.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.234 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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1263776 kB Buffers: 39128 kB Cached: 681548 kB SwapCached: 4884 kB Active: 136084 kB Inactive: 592152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1263776 kB SwapTotal: 4192956 kB SwapFree: 4182160 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 13404 kB Slab: 49844 kB Committed_AS: 101060 kB PageTables: 1388 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-1879677-1245247023.opb Free space on /tmp at the end= 66012 MiB End job on node79 at 2009-06-17 16:27:06