Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 68 | 1798.04 | 1798.46 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb |
MD5SUM | d95d18eb9f9494c32273975c1bc570ba |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 6.586 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | YES |
Number of variables | 756 |
Total number of constraints | 1853 |
Number of constraints which are clauses | 1853 |
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 | 1 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 756 |
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 | 756 |
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 | 756 |
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: Cardinality Constraint 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-1877753-1245172719.opb 0.00/0.00 c File size is 166800 bytes. 0.00/0.02 c Highest Coefficient sum: 756 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.023 s 0.00/0.02 c Var: 756 Constr: 1853 1853/0/0 Lit: 19125 Watch. Lit: 3689 0.00/0.02 c Obj. Vars: 756 (100 % of total variables) 0.02/0.07 c Formula reductions applied at preprocessing 0.02/0.07 c Pre-processing Time: 0.071 s 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 612 1235 16248 13 2470 411 0 0 0.07 0.09/0.17 c Initial Lower Bound: 62 0.09/0.17 c Initial Path Cost: 19 0.09/0.17 o 83 1.69/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.72 c 1 612 1238 16898 13 3024 1411 3 5 0.17 1.69/1.72 o 76 18.99/19.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.99/19.07 c 2 612 1240 17514 14 3583 1411 5 1 1.72 18.99/19.07 c 116 612 1573 101429 64 4249 1553 338 25 4.46 18.99/19.07 c 366 612 2178 256740 117 5459 1709 943 42 8.56 18.99/19.07 c 841 612 2161 282600 130 4877 1880 926 48 17.36 18.99/19.07 o 75 20.58/20.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.58/20.66 c 844 612 2167 284217 131 5445 1411 932 44 19.07 20.58/20.66 o 74 22.09/22.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.09/22.10 c 848 612 2176 286863 131 6020 1411 941 41 20.66 22.09/22.10 o 73 23.39/23.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.39/23.45 c 856 612 2195 293185 133 6616 1411 960 38 22.10 23.39/23.45 o 72 105.77/105.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 105.77/105.84 c 861 612 2209 298185 134 7203 1411 974 36 23.45 105.77/105.84 c 971 612 2524 401472 159 7833 1553 1289 37 25.61 105.77/105.84 c 1222 612 2014 265697 131 4587 1709 779 41 29.32 105.77/105.84 c 1699 612 2092 300062 143 4743 1880 857 49 34.64 105.77/105.84 c 2519 612 2893 509823 176 6345 2069 1658 57 44.15 105.77/105.84 c 3843 612 2271 328128 144 5101 2276 1036 65 58.93 105.77/105.84 c 5924 612 3299 604027 183 7157 2504 2064 74 79.57 105.77/105.84 o 71 110.77/110.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 110.77/110.85 c 8185 612 2796 482680 172 6711 1411 1561 77 105.82 110.77/110.85 c 8286 612 2214 297090 134 4988 1553 979 76 107.99 110.77/110.85 o 70 115.96/116.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 115.96/116.05 c 8404 612 2537 385504 151 6195 1411 1302 75 110.83 115.96/116.05 c 8511 612 1943 215253 110 4447 1553 708 75 112.74 115.96/116.05 o 69 178.95/179.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.95/179.03 c 8692 612 2427 368903 151 5977 1411 1192 74 116.03 178.95/179.03 c 8792 612 2705 435771 161 6533 1553 1470 74 118.27 178.95/179.03 c 9053 612 2241 293011 130 5044 1709 1006 74 121.64 178.95/179.03 c 9528 612 2252 301632 133 5066 1880 1017 74 127.41 178.95/179.03 c 10345 612 2824 410346 145 6210 2069 1589 75 136.90 178.95/179.03 c 11665 612 2282 290261 127 5126 2276 1047 76 152.51 178.95/179.03 c 13750 612 3410 575876 168 7382 2504 2175 79 174.02 178.95/179.03 o 68 1797.98/1798.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.45 c 14097 612 2663 387691 145 6451 1411 1428 78 179.00 1797.98/1798.45 c 14203 612 1944 194916 100 4451 1553 709 78 180.93 1797.98/1798.45 c 14453 612 2656 348578 131 5875 1709 1421 78 184.14 1797.98/1798.45 c 14934 612 2784 358426 128 6131 1880 1549 78 189.94 1797.98/1798.45 c 15755 612 2416 228703 94 5395 2069 1181 78 199.49 1797.98/1798.45 c 17076 612 3142 366224 116 6847 2276 1907 79 214.18 1797.98/1798.45 c 19157 612 2800 340339 121 6163 2504 1565 80 238.72 1797.98/1798.45 c 22384 612 3653 509498 139 7869 2755 2418 81 275.04 1797.98/1798.45 c 27331 612 3571 472706 132 7705 3031 2336 83 329.24 1797.98/1798.45 c 34846 612 3769 550079 145 8101 3335 2534 84 411.05 1797.98/1798.45 c 46209 612 4554 821924 180 9671 3669 3319 83 552.19 1797.98/1798.45 c 63367 612 4765 614311 128 10093 4036 3530 83 762.87 1797.98/1798.45 c 89194 612 3855 597329 154 8273 4440 2620 87 1021.69 1797.98/1798.45 c 128028 612 3459 500316 144 7481 4885 2224 91 1401.39 1797.98/1798.45 c Resources Exceeded 1797.98/1798.45 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 -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 -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 x715 x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 x752 -x753 -x754 -x755 -x756 1797.98/1798.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.45 c 40 157769 12912 199677 5711 775150 4476 87 1798.04 1797.98/1798.45 c Objective: 68 1797.98/1798.45 s SATISFIABLE 1797.98/1798.45 c Total time: 1798.04 s
OK 68
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877753-1245172719/watcher-1877753-1245172719 -o /tmp/evaluation-result-1877753-1245172719/solver-1877753-1245172719 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877753-1245172719.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 3/64 1412 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=10880 CPUtime=0 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 184872912 11141120 230 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 2720 233 176 640 0 2035 0 [startup+0.0308219 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1412 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=11384 CPUtime=0.02 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 488 0 0 0 2 0 0 0 18 0 1 0 184872912 11657216 431 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 2846 431 190 640 0 2202 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11384 [startup+0.101827 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1412 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=11724 CPUtime=0.09 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 971 0 0 0 9 0 0 0 18 0 1 0 184872912 12005376 558 1992294400 134512640 137136520 4294956256 18446744073709551615 134710037 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 2931 558 225 640 0 2287 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11724 [startup+0.301843 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1412 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=13584 CPUtime=0.29 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 5398 0 0 0 27 2 0 0 19 0 1 0 184872912 13910016 732 1992294400 134512640 137136520 4294956256 18446744073709551615 134846254 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 3430 732 292 640 0 2786 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13584 [startup+0.701875 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1412 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=11736 CPUtime=0.69 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 17460 0 0 0 63 6 0 0 22 0 1 0 184872912 12017664 628 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 2934 628 292 640 0 2290 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11736 [startup+1.50194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1855720/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=11880 CPUtime=1.49 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 41744 0 0 0 134 15 0 0 25 0 1 0 184872912 12165120 658 1992294400 134512640 137136520 4294956256 18446744073709551615 135258679 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 2970 658 292 640 0 2326 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11880 [startup+3.10107 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1855400/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=11736 CPUtime=3.09 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 90371 0 0 0 278 31 0 0 25 0 1 0 184872912 12017664 629 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 2934 629 293 640 0 2290 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11736 [startup+6.30133 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1854184/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=14652 CPUtime=6.29 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 208374 0 0 0 561 68 0 0 25 0 1 0 184872912 15003648 1033 1992294400 134512640 137136520 4294956256 18446744073709551615 135463824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 3663 1033 293 640 0 3019 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14652 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1851452/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=17560 CPUtime=12.68 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 457478 0 0 0 1119 149 0 0 25 0 1 0 184872912 17981440 1853 1992294400 134512640 137136520 4294956256 18446744073709551615 135431241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 4390 1854 293 640 0 3746 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17560 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1847080/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=20104 CPUtime=25.49 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 751234 0 0 0 2302 247 0 0 25 0 1 0 184872912 20586496 2721 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 5026 2721 293 640 0 4382 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20104 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1845032/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=23596 CPUtime=51.08 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 1009859 0 0 0 4764 344 0 0 25 0 1 0 184872912 24162304 3268 1992294400 134512640 137136520 4294956256 18446744073709551615 134729499 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 5899 3268 293 640 0 5255 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23596 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1842728/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=25500 CPUtime=102.27 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 1627187 0 0 0 9663 564 0 0 25 0 1 0 184872912 26112000 3833 1992294400 134512640 137136520 4294956256 18446744073709551615 134731897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6375 3833 293 640 0 5731 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25500 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1842728/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=25024 CPUtime=162.25 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 1787280 0 0 0 15593 632 0 0 25 0 1 0 184872912 25624576 3847 1992294400 134512640 137136520 4294956256 18446744073709551615 134728824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6256 3847 293 640 0 5612 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 25024 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1842920/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=24252 CPUtime=222.24 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 1787280 0 0 0 21591 633 0 0 25 0 1 0 184872912 24834048 3758 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6063 3758 293 640 0 5419 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 24252 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1842920/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=24252 CPUtime=282.22 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 1787280 0 0 0 27587 635 0 0 25 0 1 0 184872912 24834048 3758 1992294400 134512640 137136520 4294956256 18446744073709551615 134710048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6063 3758 293 640 0 5419 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 24252 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1842920/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=24252 CPUtime=342.21 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 1787280 0 0 0 33584 637 0 0 25 0 1 0 184872912 24834048 3758 1992294400 134512640 137136520 4294956256 18446744073709551615 135386512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6063 3758 293 640 0 5419 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 24252 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1842856/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=24764 CPUtime=402.2 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 2048296 0 0 0 39472 748 0 0 25 0 1 0 184872912 25358336 3761 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6191 3761 293 640 0 5547 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 24764 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1842856/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=24252 CPUtime=462.18 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 2280158 0 0 0 45360 858 0 0 25 0 1 0 184872912 24834048 3758 1992294400 134512640 137136520 4294956256 18446744073709551615 134748218 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6063 3758 293 640 0 5419 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 24252 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1841256/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=27288 CPUtime=522.17 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 2660373 0 0 0 51202 1015 0 0 25 0 1 0 184872912 27942912 4183 1992294400 134512640 137136520 4294956256 18446744073709551615 135454327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6822 4183 293 640 0 6178 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 27288 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1841256/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=27016 CPUtime=582.16 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 3078516 0 0 0 57031 1185 0 0 25 0 1 0 184872912 27664384 4163 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6754 4163 293 640 0 6110 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 27016 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1841256/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=26712 CPUtime=642.15 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 3291645 0 0 0 62932 1283 0 0 25 0 1 0 184872912 27353088 4158 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6678 4158 293 640 0 6034 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 26712 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1840040/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=28264 CPUtime=1122.03 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 6054591 0 0 0 109812 2391 0 0 25 0 1 0 184872912 28942336 4429 1992294400 134512640 137136520 4294956256 18446744073709551615 134847319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7066 4429 293 640 0 6422 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 28264 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1840040/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=26980 CPUtime=1182.02 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 6658535 0 0 0 115588 2614 0 0 25 0 1 0 184872912 27627520 4407 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 6745 4407 293 640 0 6101 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 26980 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1839912/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=28340 CPUtime=1242 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 7116047 0 0 0 121406 2794 0 0 25 0 1 0 184872912 29020160 4416 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7085 4416 293 640 0 6441 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 28340 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1836008/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=30616 CPUtime=1301.99 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 7786308 0 0 0 127152 3047 0 0 25 0 1 0 184872912 31350784 5349 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7654 5349 293 640 0 7010 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 30616 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1836008/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=30600 CPUtime=1361.98 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8086104 0 0 0 133013 3185 0 0 25 0 1 0 184872912 31334400 5345 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7650 5345 293 640 0 7006 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 30600 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835944/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31520 CPUtime=1421.96 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8202744 0 0 0 138947 3249 0 0 25 0 1 0 184872912 32276480 5353 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7880 5353 293 640 0 7236 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 31520 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835944/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1481.94 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241509 0 0 0 144923 3271 0 0 25 0 1 0 184872912 31883264 5360 1992294400 134512640 137136520 4294956256 18446744073709551615 135377180 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5360 293 640 0 7140 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 31136 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835944/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1541.93 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 150921 3272 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 31136 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835944/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1601.92 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 156918 3274 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 135379455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 31136 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835944/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1661.9 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 162914 3276 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 135379627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 31136 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835944/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1721.89 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 168911 3278 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 135342535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 31136 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835880/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1781.87 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 174908 3279 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 136498190 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 31136 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835880/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1791.47 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 175868 3279 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 134742978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 31136 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835880/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1794.68 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 176188 3280 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (KiB) 31136 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835880/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1796.27 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 176347 3280 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 134748806 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1796.27 Current children cumulated vsize (KiB) 31136 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835880/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1797.07 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 176427 3280 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 134838787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 31136 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835880/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1797.47 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 176467 3280 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 135331051 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 31136 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835880/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1797.87 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 176507 3280 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 134845948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 31136 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1413 /proc/meminfo: memFree=1835880/2055920 swapFree=4191900/4192956 [pid=1412] ppid=1410 vsize=31136 CPUtime=1797.98 /proc/1412/stat : 1412 (bsolo) R 1410 1412 1197 0 -1 4194304 8241518 0 0 0 176518 3280 0 0 25 0 1 0 184872912 31883264 5369 1992294400 134512640 137136520 4294956256 18446744073709551615 135069570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1412/statm: 7784 5369 293 640 0 7140 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 31136 Child status: 0 Real time (s): 1798.46 CPU time (s): 1798.04 CPU user time (s): 1765.23 CPU system time (s): 32.808 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 32676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1765.23 system time used= 32.808 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8241520 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= 1327 runsolver used 1.55676 second user time and 3.43548 second system time The end
Begin job on node3 at 2009-06-16 19:18:39 IDJOB=1877753 IDBENCH=2880 IDSOLVER=699 FILE ID=node3/1877753-1245172719 PBS_JOBID= 9363879 Free space on /tmp= 66320 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877753-1245172719/watcher-1877753-1245172719 -o /tmp/evaluation-result-1877753-1245172719/solver-1877753-1245172719 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877753-1245172719.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba RANDOM SEED=820940896 node3.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.236 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.236 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: 1857808 kB Buffers: 39256 kB Cached: 88256 kB SwapCached: 260 kB Active: 29504 kB Inactive: 111248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857808 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4100 kB Writeback: 0 kB Mapped: 21756 kB Slab: 43340 kB Committed_AS: 154112 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-1877753-1245172719.opb Free space on /tmp at the end= 66316 MiB End job on node3 at 2009-06-16 19:48:38