Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -12 | 1798.01 | 1798.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_2.opb |
MD5SUM | 2468d4642d986af58e932976ec0c4f0e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1716.62 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1232 |
Sum of products size (including duplicates) | 2464 |
Number of different products | 616 |
Sum of products size | 1232 |
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-1876852-1245209973.opb 0.00/0.00 c File size is 50402 bytes. 0.00/0.00 c Highest Coefficient sum: 100 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 716 Constr: 1384 666/102/616 Lit: 5228 Watch. Lit: 4514 0.00/0.00 c Obj. Vars: 50 (6.98324 % of total variables) 0.09/0.13 c Pre-processing Time: 0.13 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 716 1384 5228 3 4514 10700 0 0 0.13 0.09/0.13 c Switching off lower bounding mode. 0.09/0.13 o -1 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 716 1385 5278 3 4517 10733 1 0 0.13 0.09/0.13 o -2 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1 716 1388 5428 3 4526 10750 4 7 0.13 0.09/0.13 o -3 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 2 716 1391 5591 4 4537 10767 7 15 0.13 0.09/0.13 o -4 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 3 716 1394 5754 4 4550 10783 10 22 0.13 0.09/0.13 o -5 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 5 716 1398 5939 4 4567 10800 14 37 0.14 0.09/0.14 o -6 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 21 716 1417 6813 4 4621 10817 33 152 0.14 0.09/0.14 o -7 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 32 716 1430 7075 4 4660 10833 46 228 0.14 0.09/0.15 o -8 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 119 716 1519 9114 6 4853 10850 135 798 0.15 0.09/0.19 c 219 716 1620 12574 7 5055 11936 236 1288 0.17 0.09/0.19 o -9 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 324 716 1728 16293 9 5288 10867 344 1723 0.19 0.09/0.19 o -10 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 340 716 1746 17102 9 5343 10883 362 1780 0.19 0.29/0.37 c 440 716 1848 20495 11 5557 11972 464 2146 0.20 0.29/0.37 c 690 716 2108 29970 14 6077 13170 724 2887 0.24 0.29/0.37 c 1165 716 2619 54521 20 7099 14488 1235 3663 0.32 0.29/0.37 o -11 34.38/34.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.38/34.42 c 1430 716 2904 69038 23 7685 10900 1520 3844 0.37 34.38/34.42 c 1531 716 3015 74805 24 7907 11991 1631 3915 0.39 34.38/34.42 c 1781 716 3293 90811 27 8463 13191 1909 3984 0.45 34.38/34.42 c 2256 716 3798 114782 30 9486 14511 2414 4109 0.55 34.38/34.42 c 3069 716 4678 160095 34 11255 15963 3294 4064 0.76 34.38/34.42 c 4389 716 6116 232667 38 14202 17560 4732 3993 1.10 34.38/34.42 c 6470 716 8390 348372 41 18782 19317 7006 3618 1.79 34.38/34.42 c 9693 716 11977 548383 45 26063 21249 10593 2997 3.23 34.38/34.42 c 14629 716 17411 844406 48 37083 23374 16027 2041 7.17 34.38/34.42 c 22135 716 13502 661099 48 29671 25712 12118 1310 16.89 34.38/34.42 c 33497 716 26337 1377945 52 55918 28284 24953 1120 29.90 34.38/34.42 o -12 1797.99/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.51 c 35872 716 29019 1528986 52 61338 10917 27635 1042 34.41 1797.99/1798.51 c 35972 716 6955 300438 43 15744 12009 5571 1013 35.51 1797.99/1798.51 c 36222 716 7225 313105 43 16303 13210 5841 1017 35.61 1797.99/1798.51 c 36697 716 7761 338608 43 17393 14532 6377 1025 35.78 1797.99/1798.51 c 37510 716 8633 380465 44 19162 15986 7249 1037 36.14 1797.99/1798.51 c 38830 716 10090 450587 44 22097 17585 8706 1055 36.80 1797.99/1798.51 c 40911 716 12401 563276 45 26773 19344 11017 1083 37.77 1797.99/1798.51 c 44134 716 15935 739222 46 33877 21279 14551 1099 40.13 1797.99/1798.51 c 49070 716 21373 1025883 47 44896 23407 19989 1084 45.25 1797.99/1798.51 c 56576 716 17574 837083 47 37299 25748 16190 1057 53.51 1797.99/1798.51 c 67937 716 16731 789837 47 35580 28323 15347 996 68.20 1797.99/1798.51 c 85081 716 19702 964891 48 41533 31156 18318 954 89.15 1797.99/1798.51 c 110901 716 30083 1540270 51 62766 34272 28699 870 127.36 1797.99/1798.51 c 149733 716 29825 1525110 51 61857 37700 28441 799 187.27 1797.99/1798.51 c 208085 716 19708 1019107 51 41882 41471 18324 712 292.22 1797.99/1798.51 c 295717 716 29317 1470479 50 61627 45619 27933 688 429.42 1797.99/1798.51 c 427269 716 44541 2365697 53 92265 50181 43157 609 700.58 1797.99/1798.51 c 624701 716 44137 2315795 52 91756 55200 42753 522 1195.22 1797.99/1798.51 c Resources Exceeded 1797.99/1798.51 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 x13 x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 x26 x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 x45 -x46 -x47 -x48 x49 -x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -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 1797.99/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.51 c 43 850536 116960 1011106 46157 2515195 44773 473 1798.00 1797.99/1798.51 c Objective: -12 1797.99/1798.51 s SATISFIABLE 1797.99/1798.51 c Total time: 1798 s
OK -12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876852-1245209973/watcher-1876852-1245209973 -o /tmp/evaluation-result-1876852-1245209973/solver-1876852-1245209973 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876852-1245209973.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: 0.91 0.97 0.99 3/65 6474 /proc/meminfo: memFree=1785792/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=10756 CPUtime=0 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 254 0 0 0 0 0 0 0 20 0 1 0 188595914 11014144 238 1992294400 134512640 137136520 4294956256 18446744073709551615 134520240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 2689 239 176 640 0 2032 0 [startup+0.0297779 s] /proc/loadavg: 0.91 0.97 0.99 3/65 6474 /proc/meminfo: memFree=1785792/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=10980 CPUtime=0.02 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 351 0 0 0 2 0 0 0 20 0 1 0 188595914 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 2745 322 189 640 0 2101 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10980 [startup+0.101785 s] /proc/loadavg: 0.91 0.97 0.99 3/65 6474 /proc/meminfo: memFree=1785792/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=10980 CPUtime=0.09 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 351 0 0 0 9 0 0 0 20 0 1 0 188595914 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 2745 322 189 640 0 2101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10980 [startup+0.301805 s] /proc/loadavg: 0.91 0.97 0.99 3/65 6474 /proc/meminfo: memFree=1785792/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=11736 CPUtime=0.29 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 537 0 0 0 29 0 0 0 22 0 1 0 188595914 12017664 508 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 2934 508 198 640 0 2290 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11736 [startup+0.701846 s] /proc/loadavg: 0.91 0.97 0.99 3/65 6474 /proc/meminfo: memFree=1785792/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=13228 CPUtime=0.69 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 914 0 0 0 69 0 0 0 25 0 1 0 188595914 13545472 885 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 3307 885 198 640 0 2663 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13228 [startup+1.50192 s] /proc/loadavg: 0.91 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1782008/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=15492 CPUtime=1.49 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 1494 0 0 0 148 1 0 0 25 0 1 0 188595914 15863808 1465 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 3873 1465 198 640 0 3229 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15492 [startup+3.10109 s] /proc/loadavg: 0.91 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1779064/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=18996 CPUtime=3.08 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 2352 0 0 0 307 1 0 0 25 0 1 0 188595914 19451904 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 4749 2323 198 640 0 4105 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 18996 [startup+6.30141 s] /proc/loadavg: 0.92 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1774080/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=22744 CPUtime=6.29 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 3305 0 0 0 626 3 0 0 25 0 1 0 188595914 23289856 3276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 5686 3276 198 640 0 5042 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22744 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1768000/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=28228 CPUtime=12.68 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 4679 0 0 0 1263 5 0 0 25 0 1 0 188595914 28905472 4650 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 7057 4650 198 640 0 6413 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28228 [startup+25.5014 s] /proc/loadavg: 0.94 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1765504/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=30332 CPUtime=25.49 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 5207 0 0 0 2541 8 0 0 25 0 1 0 188595914 31059968 5178 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 7583 5178 198 640 0 6939 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30332 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1761984/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=33840 CPUtime=51.08 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 6084 0 0 0 5094 14 0 0 25 0 1 0 188595914 34652160 6055 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 8460 6055 198 640 0 7816 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33840 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1761152/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=34708 CPUtime=102.26 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 6299 0 0 0 10205 21 0 0 25 0 1 0 188595914 35540992 6270 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 8677 6270 198 640 0 8033 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34708 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1756928/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=38716 CPUtime=162.25 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 7338 0 0 0 16195 30 0 0 25 0 1 0 188595914 39645184 7275 1992294400 134512640 137136520 4294956256 18446744073709551615 134606752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 9679 7275 198 640 0 9035 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38716 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1754048/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=41636 CPUtime=222.23 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 8124 0 0 0 22186 37 0 0 25 0 1 0 188595914 42635264 7988 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 10409 7988 198 640 0 9765 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 41636 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1753984/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=41884 CPUtime=282.21 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 8175 0 0 0 28177 44 0 0 25 0 1 0 188595914 42889216 8039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 10471 8039 198 640 0 9827 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 41884 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1751936/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=43616 CPUtime=342.19 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 8674 0 0 0 34167 52 0 0 25 0 1 0 188595914 44662784 8496 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 10904 8496 198 640 0 10260 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 43616 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1751936/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=43876 CPUtime=402.18 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 8715 0 0 0 40159 59 0 0 25 0 1 0 188595914 44929024 8537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 10969 8537 198 640 0 10325 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 43876 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1751040/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=44804 CPUtime=462.16 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 8950 0 0 0 46150 66 0 0 25 0 1 0 188595914 45879296 8772 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 11201 8772 198 640 0 10557 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 44804 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1748480/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=47272 CPUtime=522.14 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 9610 0 0 0 52141 73 0 0 25 0 1 0 188595914 48406528 9386 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 11818 9386 198 640 0 11174 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 47272 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1748416/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=47272 CPUtime=582.13 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 9610 0 0 0 58135 78 0 0 25 0 1 0 188595914 48406528 9386 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 11818 9386 198 640 0 11174 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 47272 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6475 /proc/meminfo: memFree=1748352/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=47272 CPUtime=642.12 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 9621 0 0 0 64128 84 0 0 25 0 1 0 188595914 48406528 9397 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 11818 9397 198 640 0 11174 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 47272 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1743296/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=52316 CPUtime=1061.99 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 10921 0 0 0 106070 129 0 0 25 0 1 0 188595914 53571584 10647 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 13079 10647 198 640 0 12435 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 52316 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6477 /proc/meminfo: memFree=1743232/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=52316 CPUtime=1121.97 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 10921 0 0 0 112062 135 0 0 25 0 1 0 188595914 53571584 10647 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 13079 10647 198 640 0 12435 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 52316 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6477 /proc/meminfo: memFree=1741376/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=54196 CPUtime=1181.95 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 11391 0 0 0 118054 141 0 0 25 0 1 0 188595914 55496704 11117 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 13549 11117 198 640 0 12905 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 54196 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6477 /proc/meminfo: memFree=1739712/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=55540 CPUtime=1241.94 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 11810 0 0 0 124048 146 0 0 25 0 1 0 188595914 56872960 11481 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 13885 11481 198 640 0 13241 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 55540 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1739840/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=55540 CPUtime=1301.92 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 11810 0 0 0 130039 153 0 0 25 0 1 0 188595914 56872960 11481 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 13885 11481 198 640 0 13241 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 55540 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1739584/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=55868 CPUtime=1361.9 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 11864 0 0 0 136034 156 0 0 25 0 1 0 188595914 57208832 11535 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 13967 11535 198 640 0 13323 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 55868 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1739648/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=55868 CPUtime=1421.89 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 11864 0 0 0 142027 162 0 0 25 0 1 0 188595914 57208832 11535 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 13967 11535 198 640 0 13323 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 55868 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1739584/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=55868 CPUtime=1481.87 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 11864 0 0 0 148019 168 0 0 25 0 1 0 188595914 57208832 11535 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 13967 11535 198 640 0 13323 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 55868 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1738560/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=56924 CPUtime=1541.85 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12128 0 0 0 154012 173 0 0 25 0 1 0 188595914 58290176 11799 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14231 11799 198 640 0 13587 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 56924 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1738560/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=56924 CPUtime=1601.84 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12128 0 0 0 160007 177 0 0 25 0 1 0 188595914 58290176 11799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14231 11799 198 640 0 13587 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 56924 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1736832/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=58664 CPUtime=1661.82 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12563 0 0 0 165999 183 0 0 25 0 1 0 188595914 60071936 12234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14666 12234 198 640 0 14022 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 58664 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1736768/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=58664 CPUtime=1721.8 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12563 0 0 0 171992 188 0 0 25 0 1 0 188595914 60071936 12234 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14666 12234 198 640 0 14022 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 58664 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1736768/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=58664 CPUtime=1781.79 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12563 0 0 0 177986 193 0 0 25 0 1 0 188595914 60071936 12234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14666 12234 198 640 0 14022 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 58664 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1736768/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=58664 CPUtime=1791.38 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12563 0 0 0 178945 193 0 0 25 0 1 0 188595914 60071936 12234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14666 12234 198 640 0 14022 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 58664 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1736768/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=58664 CPUtime=1794.59 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12563 0 0 0 179265 194 0 0 25 0 1 0 188595914 60071936 12234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14666 12234 198 640 0 14022 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 58664 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1736768/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=58664 CPUtime=1796.18 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12563 0 0 0 179424 194 0 0 25 0 1 0 188595914 60071936 12234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14666 12234 198 640 0 14022 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 58664 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1736768/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=58664 CPUtime=1796.98 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12563 0 0 0 179504 194 0 0 25 0 1 0 188595914 60071936 12234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14666 12234 198 640 0 14022 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 58664 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1736768/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=58664 CPUtime=1797.78 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12563 0 0 0 179584 194 0 0 25 0 1 0 188595914 60071936 12234 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14666 12234 198 640 0 14022 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 58664 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.99 2/66 6483 /proc/meminfo: memFree=1736768/2055920 swapFree=4170004/4192956 [pid=6474] ppid=6472 vsize=58664 CPUtime=1797.99 /proc/6474/stat : 6474 (bsolo) R 6472 6474 6355 0 -1 4194304 12563 0 0 0 179605 194 0 0 25 0 1 0 188595914 60071936 12234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6474/statm: 14666 12234 198 640 0 14022 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 58664 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.01 CPU user time (s): 1796.06 CPU system time (s): 1.9527 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 58664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.06 system time used= 1.9527 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12565 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2016 runsolver used 2.02769 second user time and 4.44732 second system time The end
Begin job on node84 at 2009-06-17 05:39:33 IDJOB=1876852 IDBENCH=48262 IDSOLVER=699 FILE ID=node84/1876852-1245209973 PBS_JOBID= 9368397 Free space on /tmp= 66524 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876852-1245209973/watcher-1876852-1245209973 -o /tmp/evaluation-result-1876852-1245209973/solver-1876852-1245209973 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876852-1245209973.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e RANDOM SEED=1721833975 node84.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.222 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.222 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1786208 kB Buffers: 47808 kB Cached: 140100 kB SwapCached: 17044 kB Active: 67188 kB Inactive: 140128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786208 kB SwapTotal: 4192956 kB SwapFree: 4170004 kB Dirty: 3964 kB Writeback: 0 kB Mapped: 25156 kB Slab: 48348 kB Committed_AS: 113616 kB PageTables: 1396 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-1876852-1245209973.opb Free space on /tmp at the end= 66520 MiB End job on node84 at 2009-06-17 06:09:32