Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -25 | 1798 | 1798.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb |
MD5SUM | a142d6d7b95394ce9dab5e7d7d075ea6 |
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 | -25 |
Best CPU time to get the best result obtained on this benchmark | 1789.34 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -25 |
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 | 18 |
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) | 1252 |
Sum of products size (including duplicates) | 2504 |
Number of different products | 626 |
Sum of products size | 1252 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670916-1276711350.opb 0.00/0.00 c File size is 49466 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.008 s 0.00/0.01 c Var: 726 Constr: 1452 726/100/626 Lit: 6260 Watch. Lit: 4382 0.00/0.01 c Obj. Vars: 100 (13.7741 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 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 626 1878 3 1252 208 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 0.00/0.01 o -22 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 100 627 1978 3 1276 975 1 0 0.01 0.00/0.01 o -23 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 6 100 634 2534 3 1313 1008 8 428 0.01 0.49/0.50 c 106 100 734 9895 13 1513 1109 108 4818 0.02 0.49/0.50 c 356 100 984 28295 28 2013 1220 358 8279 0.04 0.49/0.50 c 831 100 1459 63224 43 2963 1343 833 9443 0.09 0.49/0.50 c 1645 100 2273 123068 54 4591 1478 1647 8435 0.20 0.49/0.50 c 2966 100 2161 114325 52 4345 1626 1535 8238 0.36 0.49/0.50 o -24 70.38/70.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.38/70.46 c 4050 100 1727 82219 47 3501 1041 1101 8003 0.51 70.38/70.46 c 4151 100 1828 89579 49 3703 1146 1202 8044 0.52 70.38/70.46 c 4401 100 2078 107714 51 4203 1261 1452 8180 0.54 70.38/70.46 c 4876 100 1258 47543 37 2540 1388 632 8086 0.60 70.38/70.46 c 5689 100 2071 106304 51 4166 1527 1445 8162 0.70 70.38/70.46 c 7009 100 1926 95739 49 3876 1680 1300 8065 0.87 70.38/70.46 c 9090 100 2465 134016 54 4954 1849 1839 7870 1.16 70.38/70.46 c 12314 100 2434 132019 54 4892 2034 1808 7568 1.63 70.38/70.46 c 17250 100 2217 115883 52 4458 2238 1591 6621 2.60 70.38/70.46 c 24756 100 2441 132089 54 4906 2462 1815 6001 4.12 70.38/70.46 c 36117 100 2253 118153 52 4530 2709 1627 5654 6.39 70.38/70.46 c 53261 100 2973 169825 57 5970 2980 2347 5244 10.15 70.38/70.46 c 79080 100 2563 141202 55 5150 3279 1937 5077 15.58 70.38/70.46 c 117912 100 4052 248348 61 8128 3607 3426 4838 24.37 70.38/70.46 c 176264 100 2431 131862 54 4886 3968 1805 4396 40.09 70.38/70.46 c 263896 100 4356 270262 62 8736 4365 3730 4043 65.26 70.38/70.46 o -25 1797.95/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.55 c 280553 100 3743 225886 60 7535 1075 3117 3982 70.44 1797.95/1798.55 c 280654 100 1266 47669 37 2557 1183 640 3982 70.47 1797.95/1798.55 c 280906 100 1518 65630 43 3061 1302 892 3984 70.49 1797.95/1798.55 c 281381 100 1993 99493 49 4011 1433 1367 3988 70.55 1797.95/1798.55 c 282195 100 1402 56648 40 2829 1577 776 3993 70.67 1797.95/1798.55 c 283516 100 2723 150595 55 5471 1735 2097 4001 70.85 1797.95/1798.55 c 285597 100 1669 75943 45 3363 1909 1043 4011 71.19 1797.95/1798.55 c 288820 100 1584 69524 43 3193 2100 958 4028 71.70 1797.95/1798.55 c 293756 100 3017 171297 56 6059 2311 2391 4050 72.53 1797.95/1798.55 c 301263 100 3102 176542 56 6229 2543 2476 4073 73.96 1797.95/1798.55 c 312624 100 2643 144740 54 5311 2798 2017 4097 76.29 1797.95/1798.55 c 329768 100 3026 171474 56 6077 3078 2400 4118 80.07 1797.95/1798.55 c 355587 100 4280 259644 60 8585 3386 3654 4112 86.47 1797.95/1798.55 c 394419 100 2528 136751 54 5081 3725 1902 4110 95.96 1797.95/1798.55 c 452771 100 4645 286320 61 9315 4098 4019 4062 111.46 1797.95/1798.55 c 540404 100 4489 275499 61 9003 4508 3863 3990 135.41 1797.95/1798.55 c 671956 100 3409 197890 58 6843 4959 2783 3869 173.64 1797.95/1798.55 c 869389 100 4272 260140 60 8569 5455 3646 3563 243.99 1797.95/1798.55 c 1165641 100 6471 415955 64 12967 6001 5845 3257 357.84 1797.95/1798.55 c 1610123 100 4470 274006 61 8965 6602 3844 3016 533.84 1797.95/1798.55 c 2276950 100 4517 276549 61 9059 7263 3891 2690 846.17 1797.95/1798.55 c 3277296 99 6898 439786 63 13820 7990 6272 2383 1375.00 1797.95/1798.55 c Resources Exceeded 1797.95/1798.55 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 1797.95/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.55 c 45 4041973 243604 4326864 7938 513310 7312 2248 1798.00 1797.95/1798.55 c Objective: -25 1797.95/1798.55 s SATISFIABLE 1797.95/1798.55 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-2670916-1276711350/watcher-2670916-1276711350 -o /tmp/evaluation-result-2670916-1276711350/solver-2670916-1276711350 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670916-1276711350.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/105 20343 /proc/meminfo: memFree=1748024/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=10980 CPUtime=0 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 340 0 0 0 0 0 0 0 25 0 1 0 12428212 11243520 259 1992294400 134512640 137138936 4292885952 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 2745 260 176 642 0 2088 0 [startup+0.106561 s] /proc/loadavg: 1.00 1.00 1.00 3/105 20343 /proc/meminfo: memFree=1748024/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=11932 CPUtime=0.1 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 634 0 0 0 10 0 0 0 25 0 1 0 12428212 12218368 540 1992294400 134512640 137138936 4292885952 18446744073709551615 134602762 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 2983 540 191 642 0 2339 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11932 [startup+0.201572 s] /proc/loadavg: 1.00 1.00 1.00 3/105 20343 /proc/meminfo: memFree=1748024/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=12688 CPUtime=0.19 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 820 0 0 0 19 0 0 0 25 0 1 0 12428212 12992512 726 1992294400 134512640 137138936 4292885952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3172 726 191 642 0 2528 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12688 [startup+0.301584 s] /proc/loadavg: 1.00 1.00 1.00 3/105 20343 /proc/meminfo: memFree=1748024/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=13188 CPUtime=0.29 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 946 0 0 0 29 0 0 0 25 0 1 0 12428212 13504512 852 1992294400 134512640 137138936 4292885952 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3297 852 191 642 0 2653 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13188 [startup+0.700633 s] /proc/loadavg: 1.00 1.00 1.00 3/105 20343 /proc/meminfo: memFree=1748024/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=13316 CPUtime=0.69 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 986 0 0 0 68 1 0 0 25 0 1 0 12428212 13635584 892 1992294400 134512640 137138936 4292885952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3329 892 191 642 0 2685 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13316 [startup+1.50073 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20344 /proc/meminfo: memFree=1745536/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=13568 CPUtime=1.49 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 1037 0 0 0 148 1 0 0 25 0 1 0 12428212 13893632 943 1992294400 134512640 137138936 4292885952 18446744073709551615 136520938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3392 943 191 642 0 2748 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13568 [startup+3.10093 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20344 /proc/meminfo: memFree=1744792/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=13940 CPUtime=3.09 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 1138 0 0 0 306 3 0 0 25 0 1 0 12428212 14274560 1044 1992294400 134512640 137138936 4292885952 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3485 1044 191 642 0 2841 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13940 [startup+6.30032 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20344 /proc/meminfo: memFree=1744420/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=14188 CPUtime=6.29 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 1193 0 0 0 625 4 0 0 25 0 1 0 12428212 14528512 1099 1992294400 134512640 137138936 4292885952 18446744073709551615 136511151 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3547 1099 191 642 0 2903 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14188 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20344 /proc/meminfo: memFree=1743800/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=14692 CPUtime=12.69 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 1329 0 0 0 1262 7 0 0 25 0 1 0 12428212 15044608 1235 1992294400 134512640 137138936 4292885952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3673 1235 191 642 0 3029 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14692 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20344 /proc/meminfo: memFree=1743180/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=15312 CPUtime=25.48 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 1495 0 0 0 2536 12 0 0 25 0 1 0 12428212 15679488 1401 1992294400 134512640 137138936 4292885952 18446744073709551615 134577911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3828 1401 191 642 0 3184 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15312 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20346 /proc/meminfo: memFree=1742808/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=15688 CPUtime=51.08 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 1586 0 0 0 5083 25 0 0 25 0 1 0 12428212 16064512 1492 1992294400 134512640 137138936 4292885952 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3922 1492 191 642 0 3278 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15688 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20346 /proc/meminfo: memFree=1742312/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=15788 CPUtime=102.27 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 1687 0 0 0 10179 48 0 0 25 0 1 0 12428212 16166912 1522 1992294400 134512640 137138936 4292885952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 3947 1522 191 642 0 3303 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15788 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20348 /proc/meminfo: memFree=1742188/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=16164 CPUtime=162.24 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 1781 0 0 0 16147 77 0 0 25 0 1 0 12428212 16551936 1616 1992294400 134512640 137138936 4292885952 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4041 1616 191 642 0 3397 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16164 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20350 /proc/meminfo: memFree=1741568/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=16664 CPUtime=222.23 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 1900 0 0 0 22124 99 0 0 25 0 1 0 12428212 17063936 1735 1992294400 134512640 137138936 4292885952 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4166 1735 191 642 0 3522 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 16664 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20352 /proc/meminfo: memFree=1741072/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=17164 CPUtime=282.21 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2026 0 0 0 28100 121 0 0 25 0 1 0 12428212 17575936 1861 1992294400 134512640 137138936 4292885952 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4291 1861 191 642 0 3647 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 17164 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20354 /proc/meminfo: memFree=1741072/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=17164 CPUtime=342.18 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2026 0 0 0 34076 142 0 0 25 0 1 0 12428212 17575936 1861 1992294400 134512640 137138936 4292885952 18446744073709551615 134578898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4291 1861 191 642 0 3647 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 17164 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20354 /proc/meminfo: memFree=1740576/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=17780 CPUtime=402.17 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2165 0 0 0 40054 163 0 0 25 0 1 0 12428212 18206720 2000 1992294400 134512640 137138936 4292885952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4445 2000 191 642 0 3801 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 17780 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20356 /proc/meminfo: memFree=1740576/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=17776 CPUtime=462.15 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2165 0 0 0 46033 182 0 0 25 0 1 0 12428212 18202624 2000 1992294400 134512640 137138936 4292885952 18446744073709551615 134542458 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4444 2000 191 642 0 3800 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 17776 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20358 /proc/meminfo: memFree=1740576/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=17772 CPUtime=522.13 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2165 0 0 0 52010 203 0 0 25 0 1 0 12428212 18198528 2000 1992294400 134512640 137138936 4292885952 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4443 2000 191 642 0 3799 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 17772 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20360 /proc/meminfo: memFree=1739956/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=18400 CPUtime=582.11 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2322 0 0 0 57990 221 0 0 25 0 1 0 12428212 18841600 2157 1992294400 134512640 137138936 4292885952 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4600 2157 191 642 0 3956 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 18400 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20362 /proc/meminfo: memFree=1739956/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=18400 CPUtime=642.1 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2322 0 0 0 63969 241 0 0 25 0 1 0 12428212 18841600 2157 1992294400 134512640 137138936 4292885952 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4600 2157 191 642 0 3956 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 18400 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1738964/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19012 CPUtime=1121.95 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2490 0 0 0 111796 399 0 0 25 0 1 0 12428212 19468288 2325 1992294400 134512640 137138936 4292885952 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4753 2325 191 642 0 4109 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 19012 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20376 /proc/meminfo: memFree=1738840/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19012 CPUtime=1181.93 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2490 0 0 0 117773 420 0 0 25 0 1 0 12428212 19468288 2325 1992294400 134512640 137138936 4292885952 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4753 2325 191 642 0 4109 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 19012 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20378 /proc/meminfo: memFree=1738592/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19012 CPUtime=1241.92 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2490 0 0 0 123752 440 0 0 25 0 1 0 12428212 19468288 2325 1992294400 134512640 137138936 4292885952 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4753 2325 191 642 0 4109 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 19012 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20378 /proc/meminfo: memFree=1738592/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19012 CPUtime=1301.9 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2490 0 0 0 129731 459 0 0 25 0 1 0 12428212 19468288 2325 1992294400 134512640 137138936 4292885952 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4753 2325 191 642 0 4109 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 19012 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20380 /proc/meminfo: memFree=1738592/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19012 CPUtime=1361.87 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2490 0 0 0 135710 477 0 0 25 0 1 0 12428212 19468288 2325 1992294400 134512640 137138936 4292885952 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4753 2325 191 642 0 4109 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 19012 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20382 /proc/meminfo: memFree=1737972/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19724 CPUtime=1421.86 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2651 0 0 0 141689 497 0 0 25 0 1 0 12428212 20197376 2486 1992294400 134512640 137138936 4292885952 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4931 2486 191 642 0 4287 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 19724 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20384 /proc/meminfo: memFree=1737972/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19724 CPUtime=1481.83 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2652 0 0 0 147667 516 0 0 25 0 1 0 12428212 20197376 2487 1992294400 134512640 137138936 4292885952 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4931 2487 191 642 0 4287 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 19724 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20386 /proc/meminfo: memFree=1737972/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1541.83 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2652 0 0 0 153648 535 0 0 25 0 1 0 12428212 20180992 2487 1992294400 134512640 137138936 4292885952 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2487 191 642 0 4283 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 19708 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20386 /proc/meminfo: memFree=1737848/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1601.81 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2652 0 0 0 159628 553 0 0 25 0 1 0 12428212 20180992 2487 1992294400 134512640 137138936 4292885952 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2487 191 642 0 4283 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 19708 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20388 /proc/meminfo: memFree=1737848/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1661.78 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2652 0 0 0 165607 571 0 0 25 0 1 0 12428212 20180992 2487 1992294400 134512640 137138936 4292885952 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2487 191 642 0 4283 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 19708 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20390 /proc/meminfo: memFree=1737724/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1721.76 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2653 0 0 0 171587 589 0 0 25 0 1 0 12428212 20180992 2488 1992294400 134512640 137138936 4292885952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2488 191 642 0 4283 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 19708 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20392 /proc/meminfo: memFree=1737600/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1781.75 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2653 0 0 0 177565 610 0 0 25 0 1 0 12428212 20180992 2488 1992294400 134512640 137138936 4292885952 18446744073709551615 134542217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2488 191 642 0 4283 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 19708 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20392 /proc/meminfo: memFree=1737600/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1791.45 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2653 0 0 0 178532 613 0 0 25 0 1 0 12428212 20180992 2488 1992294400 134512640 137138936 4292885952 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2488 191 642 0 4283 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 19708 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20392 /proc/meminfo: memFree=1737600/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1794.65 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2653 0 0 0 178850 615 0 0 25 0 1 0 12428212 20180992 2488 1992294400 134512640 137138936 4292885952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2488 191 642 0 4283 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 19708 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20392 /proc/meminfo: memFree=1737600/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1796.24 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2653 0 0 0 179009 615 0 0 25 0 1 0 12428212 20180992 2488 1992294400 134512640 137138936 4292885952 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2488 191 642 0 4283 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 19708 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20392 /proc/meminfo: memFree=1737600/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1797.04 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2653 0 0 0 179088 616 0 0 25 0 1 0 12428212 20180992 2488 1992294400 134512640 137138936 4292885952 18446744073709551615 136297657 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2488 191 642 0 4283 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 19708 [startup+1798 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20392 /proc/meminfo: memFree=1737600/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1797.44 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2653 0 0 0 179128 616 0 0 25 0 1 0 12428212 20180992 2488 1992294400 134512640 137138936 4292885952 18446744073709551615 134577898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2488 191 642 0 4283 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (KiB) 19708 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20392 /proc/meminfo: memFree=1737600/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1797.84 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2653 0 0 0 179168 616 0 0 25 0 1 0 12428212 20180992 2488 1992294400 134512640 137138936 4292885952 18446744073709551615 134573452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2488 191 642 0 4283 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 19708 [startup+1798.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20394 /proc/meminfo: memFree=1737228/2059040 swapFree=4164956/4192956 [pid=20343] ppid=20341 vsize=19708 CPUtime=1797.95 /proc/20343/stat : 20343 (bsolo_pb10) R 20341 20343 19528 0 -1 4202496 2653 0 0 0 179179 616 0 0 25 0 1 0 12428212 20180992 2488 1992294400 134512640 137138936 4292885952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20343/statm: 4927 2488 191 642 0 4283 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 19708 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798 CPU user time (s): 1791.83 CPU system time (s): 6.16806 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 19728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.83 system time used= 6.16806 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2654 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= 5287 runsolver used 3.09053 second user time and 8.36473 second system time The end
Begin job on node080 at 2010-06-16 20:02:30 IDJOB=2670916 IDBENCH=48174 IDSOLVER=1163 FILE ID=node080/2670916-1276711350 PBS_JOBID= 11174086 Free space on /tmp= 62592 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670916-1276711350/watcher-2670916-1276711350 -o /tmp/evaluation-result-2670916-1276711350/solver-2670916-1276711350 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670916-1276711350.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a142d6d7b95394ce9dab5e7d7d075ea6 RANDOM SEED=1643899845 node080.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.242 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.242 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 : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1749172 kB Buffers: 83628 kB Cached: 113776 kB SwapCached: 1540 kB Active: 100896 kB Inactive: 130532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1749172 kB SwapTotal: 4192956 kB SwapFree: 4164956 kB Dirty: 4032 kB Writeback: 0 kB AnonPages: 32560 kB Mapped: 14304 kB Slab: 56924 kB PageTables: 3900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184084 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-2670916-1276711350.opb Free space on /tmp at the end= 62588 MiB End job on node080 at 2010-06-16 20:32:29