Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -25 | 1798 | 1798.46 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_2.opb |
MD5SUM | 597624b9879736416e28e0a242fe0005 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -26 |
Best CPU time to get the best result obtained on this benchmark | 1789.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 1260 |
Sum of products size (including duplicates) | 2520 |
Number of different products | 630 |
Sum of products size | 1260 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670905-1276711170.opb 0.00/0.00 c File size is 49758 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 730 Constr: 1460 730/100/630 Lit: 6300 Watch. Lit: 4410 0.00/0.01 c Obj. Vars: 100 (13.6986 % of total variables) 0.00/0.01 c Pre-processing Time: 0.015 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 100 630 1890 3 1260 209 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 0.00/0.01 o -22 0.01/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.09 c 0 100 631 1990 3 1284 976 1 0 0.01 0.01/0.09 c 100 100 731 9444 12 1484 1074 101 2941 0.03 0.01/0.09 c 350 100 981 28086 28 1984 1182 351 4216 0.08 0.01/0.09 o -23 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 384 100 1016 30728 30 2077 1009 386 4314 0.09 0.49/0.57 c 485 100 1117 38182 34 2279 1110 487 4409 0.11 0.49/0.57 c 736 100 1368 56589 41 2781 1222 738 4628 0.16 0.49/0.57 c 1211 100 1845 91518 49 3735 1345 1215 4535 0.27 0.49/0.57 c 2025 100 1304 50765 38 2631 1480 674 3916 0.52 0.49/0.57 o -24 13.19/13.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.19/13.25 c 2254 100 1534 67713 44 3115 1043 904 3954 0.57 13.19/13.25 c 2354 100 1634 74961 45 3315 1148 1004 3969 0.59 13.19/13.25 c 2604 100 1884 93030 49 3815 1263 1254 4018 0.65 13.19/13.25 c 3079 100 2360 127407 53 4767 1390 1730 3972 0.78 13.19/13.25 c 3893 100 1773 84385 47 3570 1530 1143 3885 1.00 13.19/13.25 c 5213 100 1637 74459 45 3298 1684 1007 3844 1.36 13.19/13.25 c 7295 100 2179 112870 51 4382 1853 1549 3721 1.96 13.19/13.25 c 10518 100 2153 110366 51 4330 2039 1523 3499 3.01 13.19/13.25 c 15454 100 1964 97259 49 3952 2243 1334 3305 4.67 13.19/13.25 c 22960 100 2202 114464 51 4428 2468 1572 3174 7.23 13.19/13.25 c 34321 100 1976 96925 49 3976 2715 1346 2994 11.46 13.19/13.25 o -25 1797.94/1798.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.46 c 39489 100 3038 174632 57 6125 1076 2408 2980 13.25 1797.94/1798.46 c 39589 100 1269 47461 37 2563 1184 639 2980 13.28 1797.94/1798.46 c 39839 100 1519 65295 42 3063 1303 889 2987 13.33 1797.94/1798.46 c 40315 100 1995 99271 49 4015 1434 1365 2997 13.45 1797.94/1798.46 c 41128 100 1391 55667 40 2807 1578 761 3004 13.69 1797.94/1798.46 c 42449 100 2714 149993 55 5453 1736 2084 3030 14.01 1797.94/1798.46 c 44530 100 1652 73747 44 3329 1910 1022 3036 14.67 1797.94/1798.46 c 47753 100 1586 69448 43 3197 2102 956 3029 15.76 1797.94/1798.46 c 52689 100 3027 171912 56 6079 2313 2397 3035 17.36 1797.94/1798.46 c 60195 100 3110 176013 56 6245 2545 2480 3008 20.01 1797.94/1798.46 c 71557 100 2656 145073 54 5337 2800 2026 2973 24.07 1797.94/1798.46 c 88701 100 3055 173396 56 6135 3081 2425 2860 31.01 1797.94/1798.46 c 114520 100 4297 260150 60 8664 3390 3667 2735 41.87 1797.94/1798.46 c 153352 100 2540 132315 52 5126 3730 1910 2639 58.09 1797.94/1798.46 c 211704 100 4750 293405 61 9548 4104 4120 2470 85.71 1797.94/1798.46 c 299337 100 4679 284247 60 9445 4515 4049 2348 127.47 1797.94/1798.46 c 430889 100 3814 228490 59 7653 4967 3184 2128 202.43 1797.94/1798.46 c 628321 100 4871 301367 61 9790 5464 4241 2050 306.48 1797.94/1798.46 c 924573 100 4078 245795 60 8181 6011 3448 1917 482.29 1797.94/1798.46 c 1369055 100 6084 379146 62 12193 6613 5454 1811 755.89 1797.94/1798.46 c 2035882 100 7325 475137 64 14698 7275 6695 1693 1202.44 1797.94/1798.46 c Resources Exceeded 1797.94/1798.46 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 1797.94/1798.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.46 c 40 2865811 181093 3078690 8415 552736 7785 1593 1798.00 1797.94/1798.46 c Objective: -25 1797.94/1798.46 s SATISFIABLE 1797.94/1798.46 c Total time: 1798 s
OK -25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670905-1276711170/watcher-2670905-1276711170 -o /tmp/evaluation-result-2670905-1276711170/solver-2670905-1276711170 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670905-1276711170.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.08 1.02 1.01 3/106 12336 /proc/meminfo: memFree=1857992/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=10840 CPUtime=0 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 314 0 0 0 0 0 0 0 19 0 1 0 46718373 11100160 233 1992294400 134512640 137138936 4289297424 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 2710 233 170 642 0 2053 0 [startup+0.024311 s] /proc/loadavg: 1.08 1.02 1.01 3/106 12336 /proc/meminfo: memFree=1857992/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=11056 CPUtime=0.01 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 425 0 0 0 1 0 0 0 19 0 1 0 46718373 11321344 331 1992294400 134512640 137138936 4289297424 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 2764 331 192 642 0 2120 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11056 [startup+0.101318 s] /proc/loadavg: 1.08 1.02 1.01 3/106 12336 /proc/meminfo: memFree=1857992/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=11416 CPUtime=0.09 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 507 0 0 0 9 0 0 0 19 0 1 0 46718373 11689984 413 1992294400 134512640 137138936 4289297424 18446744073709551615 134598907 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 2854 413 192 642 0 2210 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11416 [startup+0.301336 s] /proc/loadavg: 1.08 1.02 1.01 3/106 12336 /proc/meminfo: memFree=1857992/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=12264 CPUtime=0.29 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 727 0 0 0 29 0 0 0 20 0 1 0 46718373 12558336 633 1992294400 134512640 137138936 4289297424 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 3066 633 192 642 0 2422 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12264 [startup+0.701374 s] /proc/loadavg: 1.08 1.02 1.01 3/106 12336 /proc/meminfo: memFree=1857992/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=13004 CPUtime=0.68 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 910 0 0 0 68 0 0 0 20 0 1 0 46718373 13316096 816 1992294400 134512640 137138936 4289297424 18446744073709551615 134573856 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 3251 816 192 642 0 2607 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13004 [startup+1.50145 s] /proc/loadavg: 1.07 1.02 1.00 2/107 12337 /proc/meminfo: memFree=1855628/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=13248 CPUtime=1.49 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 956 0 0 0 148 1 0 0 22 0 1 0 46718373 13565952 862 1992294400 134512640 137138936 4289297424 18446744073709551615 134606626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 3312 862 192 642 0 2668 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13248 [startup+3.1016 s] /proc/loadavg: 1.07 1.02 1.00 2/107 12337 /proc/meminfo: memFree=1855132/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=13500 CPUtime=3.08 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1039 0 0 0 307 1 0 0 25 0 1 0 46718373 13824000 945 1992294400 134512640 137138936 4289297424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 3375 945 192 642 0 2731 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13500 [startup+6.3009 s] /proc/loadavg: 1.07 1.02 1.00 2/107 12337 /proc/meminfo: memFree=1854644/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=13980 CPUtime=6.28 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1138 0 0 0 625 3 0 0 25 0 1 0 46718373 14315520 1044 1992294400 134512640 137138936 4289297424 18446744073709551615 134618202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 3495 1044 192 642 0 2851 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13980 [startup+12.7015 s] /proc/loadavg: 1.06 1.02 1.00 2/107 12337 /proc/meminfo: memFree=1854280/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=14464 CPUtime=12.69 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1256 0 0 0 1263 6 0 0 25 0 1 0 46718373 14811136 1162 1992294400 134512640 137138936 4289297424 18446744073709551615 134551589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 3616 1162 192 642 0 2972 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14464 [startup+25.5007 s] /proc/loadavg: 1.05 1.01 1.00 2/107 12337 /proc/meminfo: memFree=1854156/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=14416 CPUtime=25.48 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1283 0 0 0 2537 11 0 0 25 0 1 0 46718373 14761984 1172 1992294400 134512640 137138936 4289297424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 3604 1172 192 642 0 2960 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14416 [startup+51.1011 s] /proc/loadavg: 1.03 1.01 1.00 2/107 12337 /proc/meminfo: memFree=1853536/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=15024 CPUtime=51.07 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1441 0 0 0 5087 20 0 0 25 0 1 0 46718373 15384576 1330 1992294400 134512640 137138936 4289297424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 3756 1330 192 642 0 3112 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15024 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 12348 /proc/meminfo: memFree=1851676/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=15760 CPUtime=102.26 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1622 0 0 0 10190 36 0 0 25 0 1 0 46718373 16138240 1511 1992294400 134512640 137138936 4289297424 18446744073709551615 134542912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 3940 1511 192 642 0 3296 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 15760 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12350 /proc/meminfo: memFree=1851676/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=16236 CPUtime=162.24 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1729 0 0 0 16168 56 0 0 25 0 1 0 46718373 16625664 1618 1992294400 134512640 137138936 4289297424 18446744073709551615 136505588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4059 1618 192 642 0 3415 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16236 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12352 /proc/meminfo: memFree=1851428/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=16720 CPUtime=222.22 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1842 0 0 0 22147 75 0 0 25 0 1 0 46718373 17121280 1731 1992294400 134512640 137138936 4289297424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4180 1731 192 642 0 3536 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 16720 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12352 /proc/meminfo: memFree=1851428/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=16712 CPUtime=282.21 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1846 0 0 0 28124 97 0 0 25 0 1 0 46718373 17113088 1735 1992294400 134512640 137138936 4289297424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4178 1735 192 642 0 3534 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 16712 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12354 /proc/meminfo: memFree=1850932/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=17188 CPUtime=342.19 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1966 0 0 0 34104 115 0 0 25 0 1 0 46718373 17600512 1855 1992294400 134512640 137138936 4289297424 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4297 1855 192 642 0 3653 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 17188 [startup+402.301 s] /proc/loadavg: 1.06 1.01 1.00 2/107 12356 /proc/meminfo: memFree=1850932/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=17188 CPUtime=402.18 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1970 0 0 0 40088 130 0 0 25 0 1 0 46718373 17600512 1859 1992294400 134512640 137138936 4289297424 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4297 1859 192 642 0 3653 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 17188 [startup+462.301 s] /proc/loadavg: 1.07 1.03 1.00 2/107 12358 /proc/meminfo: memFree=1850932/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=17188 CPUtime=462.16 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 1970 0 0 0 46070 146 0 0 25 0 1 0 46718373 17600512 1859 1992294400 134512640 137138936 4289297424 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4297 1859 192 642 0 3653 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 17188 [startup+522.301 s] /proc/loadavg: 1.07 1.03 1.00 2/107 12360 /proc/meminfo: memFree=1850436/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=17784 CPUtime=522.15 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2108 0 0 0 52052 163 0 0 25 0 1 0 46718373 18210816 1997 1992294400 134512640 137138936 4289297424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4446 1997 192 642 0 3802 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 17784 [startup+582.302 s] /proc/loadavg: 1.07 1.04 1.00 2/107 12360 /proc/meminfo: memFree=1850436/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=17772 CPUtime=582.14 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2112 0 0 0 58034 180 0 0 25 0 1 0 46718373 18198528 2001 1992294400 134512640 137138936 4289297424 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4443 2001 192 642 0 3799 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 17772 [startup+642.301 s] /proc/loadavg: 1.06 1.04 1.00 2/107 12362 /proc/meminfo: memFree=1850436/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=17772 CPUtime=642.12 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2116 0 0 0 64015 197 0 0 25 0 1 0 46718373 18198528 2005 1992294400 134512640 137138936 4289297424 18446744073709551615 134618322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4443 2005 192 642 0 3799 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 17772 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1849072/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=18368 CPUtime=1122 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2267 0 0 0 111871 329 0 0 25 0 1 0 46718373 18808832 2156 1992294400 134512640 137138936 4289297424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4592 2156 192 642 0 3948 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 18368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12379 /proc/meminfo: memFree=1849072/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=18368 CPUtime=1181.98 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2267 0 0 0 117851 347 0 0 25 0 1 0 46718373 18808832 2156 1992294400 134512640 137138936 4289297424 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4592 2156 192 642 0 3948 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 18368 [startup+1242.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 12381 /proc/meminfo: memFree=1848700/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19084 CPUtime=1241.98 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2436 0 0 0 123836 362 0 0 25 0 1 0 46718373 19542016 2325 1992294400 134512640 137138936 4289297424 18446744073709551615 134542944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4771 2325 192 642 0 4127 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 19084 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 12383 /proc/meminfo: memFree=1848700/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1301.96 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2436 0 0 0 129816 380 0 0 25 0 1 0 46718373 19517440 2325 1992294400 134512640 137138936 4289297424 18446744073709551615 136520977 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2325 192 642 0 4121 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 19060 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12385 /proc/meminfo: memFree=1848700/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1361.94 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2436 0 0 0 135798 396 0 0 25 0 1 0 46718373 19517440 2325 1992294400 134512640 137138936 4289297424 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2325 192 642 0 4121 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 19060 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12387 /proc/meminfo: memFree=1848700/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1421.93 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2439 0 0 0 141781 412 0 0 25 0 1 0 46718373 19517440 2328 1992294400 134512640 137138936 4289297424 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2328 192 642 0 4121 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 19060 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12387 /proc/meminfo: memFree=1848700/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1481.92 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2439 0 0 0 147763 429 0 0 25 0 1 0 46718373 19517440 2328 1992294400 134512640 137138936 4289297424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2328 192 642 0 4121 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 19060 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12389 /proc/meminfo: memFree=1848700/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1541.89 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2439 0 0 0 153745 444 0 0 25 0 1 0 46718373 19517440 2328 1992294400 134512640 137138936 4289297424 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2328 192 642 0 4121 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 19060 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12391 /proc/meminfo: memFree=1848576/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1601.88 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 159725 463 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 19060 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12393 /proc/meminfo: memFree=1848576/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1661.86 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 165708 478 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 135984576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 19060 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12395 /proc/meminfo: memFree=1848452/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1721.86 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 171691 495 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 19060 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12395 /proc/meminfo: memFree=1848204/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1781.83 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 177673 510 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 19060 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12397 /proc/meminfo: memFree=1848204/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1791.44 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 178632 512 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 136296996 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 19060 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12397 /proc/meminfo: memFree=1848204/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1794.64 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 178951 513 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 136502588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 19060 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12397 /proc/meminfo: memFree=1848204/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1796.23 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 179110 513 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (KiB) 19060 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12397 /proc/meminfo: memFree=1848204/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1797.03 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 179190 513 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 19060 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12397 /proc/meminfo: memFree=1848204/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1797.43 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 179230 513 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 19060 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12397 /proc/meminfo: memFree=1848204/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1797.83 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 179270 513 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 19060 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12397 /proc/meminfo: memFree=1848204/2059040 swapFree=4135932/4192956 [pid=12336] ppid=12334 vsize=19060 CPUtime=1797.94 /proc/12336/stat : 12336 (bsolo_pb10) R 12334 12336 11227 0 -1 4202496 2440 0 0 0 179281 513 0 0 25 0 1 0 46718373 19517440 2329 1992294400 134512640 137138936 4289297424 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12336/statm: 4765 2329 192 642 0 4121 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 19060 Child status: 0 Real time (s): 1798.46 CPU time (s): 1798 CPU user time (s): 1792.86 CPU system time (s): 5.14122 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 19084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.86 system time used= 5.14122 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2441 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= 1 involuntary context switches= 6455 runsolver used 3.15052 second user time and 8.30774 second system time The end
Begin job on node015 at 2010-06-16 19:59:30 IDJOB=2670905 IDBENCH=48169 IDSOLVER=1162 FILE ID=node015/2670905-1276711170 PBS_JOBID= 11174119 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670905-1276711170/watcher-2670905-1276711170 -o /tmp/evaluation-result-2670905-1276711170/solver-2670905-1276711170 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670905-1276711170.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 597624b9879736416e28e0a242fe0005 RANDOM SEED=2099925816 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1859016 kB Buffers: 19100 kB Cached: 100900 kB SwapCached: 10760 kB Active: 78144 kB Inactive: 56052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1859016 kB SwapTotal: 4192956 kB SwapFree: 4135932 kB Dirty: 4208 kB Writeback: 0 kB AnonPages: 12572 kB Mapped: 9344 kB Slab: 44108 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180636 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670905-1276711170.opb Free space on /tmp at the end= 62580 MiB End job on node015 at 2010-06-16 20:29:29