Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -25 | 1798 | 1798.9 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_4.opb |
MD5SUM | d0c1e6f66b584092ef8bd8f37f3a4db9 |
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 | -25 |
Best CPU time to get the best result obtained on this benchmark | 9.96048 |
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) | 1258 |
Sum of products size (including duplicates) | 2516 |
Number of different products | 629 |
Sum of products size | 1258 |
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-1876796-1245202599.opb 0.00/0.00 c File size is 49681 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: 729 Constr: 1458 729/100/629 Lit: 6290 Watch. Lit: 4403 0.00/0.00 c Obj. Vars: 100 (13.7174 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 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 629 1887 3 1258 209 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 0.00/0.01 o -21 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 1987 3 1281 942 1 0 0.01 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 631 2087 3 1305 1709 2 0 0.01 0.00/0.01 o -23 36.78/36.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.78/36.86 c 7 100 639 2715 4 1344 1742 10 538 0.01 36.78/36.86 c 108 100 740 10168 13 1546 1917 111 3857 0.03 36.78/36.86 c 359 100 991 28568 28 2048 2109 362 5279 0.07 36.78/36.86 c 834 100 1466 63428 43 2998 2320 837 5560 0.15 36.78/36.86 c 1648 100 2283 122939 53 4652 2553 1654 5299 0.31 36.78/36.86 c 2969 100 3609 219250 60 7344 2809 2980 4758 0.62 36.78/36.86 c 5050 100 3581 214332 59 7205 3090 2952 4089 1.24 36.78/36.86 c 8274 100 2318 124940 53 4659 3400 1689 3575 2.31 36.78/36.86 c 13210 100 2459 135283 55 4941 3741 1830 3299 4.00 36.78/36.86 c 20716 100 4840 309184 63 9724 4116 4211 3058 6.77 36.78/36.86 c 32078 100 5212 335276 64 10468 4528 4583 2792 11.49 36.78/36.86 c 49222 100 4611 292277 63 9245 4981 3982 2604 18.90 36.78/36.86 c 75044 100 5022 315932 62 10121 5480 4393 2378 31.55 36.78/36.86 o -24 238.69/238.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 238.69/238.83 c 86087 100 5774 371490 64 11667 1042 5145 2335 36.85 238.69/238.83 c 86187 100 1251 46233 36 2526 1147 622 2332 36.95 238.69/238.83 c 86437 100 1501 64221 42 3026 1262 872 2336 36.99 238.69/238.83 c 86913 100 1977 98687 49 3978 1389 1348 2343 37.08 238.69/238.83 c 87726 100 1404 57551 40 2832 1528 775 2354 37.26 238.69/238.83 c 89047 100 2728 153062 56 5480 1681 2099 2371 37.55 238.69/238.83 c 91128 100 1740 81750 46 3504 1850 1111 2394 38.06 238.69/238.83 c 94351 100 1714 79598 46 3452 2036 1085 2425 38.91 238.69/238.83 c 99288 100 3229 187171 57 6482 2240 2600 2469 40.21 238.69/238.83 c 106796 100 3482 203166 58 7029 2465 2853 2508 42.58 238.69/238.83 c 118157 100 3257 190596 58 6538 2712 2628 2574 45.90 238.69/238.83 c 135301 100 1986 99359 50 3996 2984 1357 2632 51.40 238.69/238.83 c 161120 100 3818 228571 59 7720 3283 3189 2658 60.62 238.69/238.83 c 199952 100 2993 168831 56 6032 3612 2364 2684 74.50 238.69/238.83 c 258304 100 3902 236738 60 7828 3974 3273 2697 95.76 238.69/238.83 c 345938 100 3308 194907 58 6640 4372 2679 2605 132.77 238.69/238.83 c 477490 100 5524 354020 64 11094 4810 4895 2535 188.31 238.69/238.83 o -25 1797.90/1798.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.89 c 587367 100 4084 247601 60 8277 1076 3455 2460 238.73 1797.90/1798.89 c 587468 100 1269 46407 36 2563 1184 640 2460 238.78 1797.90/1798.89 c 587718 100 1519 64302 42 3063 1303 890 2460 238.82 1797.90/1798.89 c 588194 100 1998 98431 49 4021 1434 1369 2461 238.91 1797.90/1798.89 c 589007 100 1396 56355 40 2817 1578 767 2463 239.11 1797.90/1798.89 c 590327 100 2720 150643 55 5465 1736 2091 2465 239.44 1797.90/1798.89 c 592408 100 1666 75037 45 3357 1910 1037 2468 240.01 1797.90/1798.89 c 595632 100 1588 69283 43 3201 2102 959 2472 240.85 1797.90/1798.89 c 600568 100 3044 172156 56 6113 2313 2415 2478 242.28 1797.90/1798.89 c 608074 100 3149 180065 57 6323 2545 2520 2487 244.50 1797.90/1798.89 c 619435 100 2694 147180 54 5413 2800 2065 2498 247.87 1797.90/1798.89 c 636580 100 3088 175451 56 6201 3081 2459 2513 253.28 1797.90/1798.89 c 662399 100 2171 110931 51 4367 3390 1542 2530 261.77 1797.90/1798.89 c 701231 100 2800 155318 55 5625 3730 2171 2549 275.06 1797.90/1798.89 c 759583 100 2495 128797 51 5015 4104 1866 2566 295.93 1797.90/1798.89 c 847215 100 5235 327357 62 10495 4515 4606 2564 330.35 1797.90/1798.89 c 978768 100 4335 262436 60 8717 4967 3706 2526 387.37 1797.90/1798.89 c 1176201 100 5510 346590 62 11068 5464 4881 2459 478.13 1797.90/1798.89 c 1472454 100 4720 290696 61 9465 6011 4091 2363 623.08 1797.90/1798.89 c 1916936 100 6961 448863 64 13947 6613 6332 2202 870.45 1797.90/1798.89 c 2583763 100 3977 239063 60 7979 7275 3348 2048 1261.41 1797.90/1798.89 c Resources Exceeded 1797.90/1798.89 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 1797.90/1798.89 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.89 c 53 3442796 224480 3708011 4440 267987 3811 1914 1798.00 1797.90/1798.89 c Objective: -25 1797.90/1798.89 s SATISFIABLE 1797.90/1798.89 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-1876796-1245202599/watcher-1876796-1245202599 -o /tmp/evaluation-result-1876796-1245202599/solver-1876796-1245202599 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876796-1245202599.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.92 0.98 0.99 3/64 5324 /proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=10756 CPUtime=0 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 187857217 11014144 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 2689 244 176 640 0 2032 0 [startup+0.01965 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5324 /proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=10980 CPUtime=0.01 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 364 0 0 0 1 0 0 0 18 0 1 0 187857217 11243520 335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 2745 335 197 640 0 2101 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10980 [startup+0.101659 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5324 /proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=11460 CPUtime=0.09 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 471 0 0 0 9 0 0 0 18 0 1 0 187857217 11735040 442 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 2865 443 197 640 0 2221 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11460 [startup+0.301677 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5324 /proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=12440 CPUtime=0.29 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 735 0 0 0 29 0 0 0 19 0 1 0 187857217 12738560 706 1992294400 134512640 137136520 4294956256 18446744073709551615 134551993 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 3110 706 197 640 0 2466 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12440 [startup+0.701718 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5324 /proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=14260 CPUtime=0.69 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1167 0 0 0 68 1 0 0 23 0 1 0 187857217 14602240 1138 1992294400 134512640 137136520 4294956256 18446744073709551615 136500556 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 3565 1138 197 640 0 2921 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14260 [startup+1.5028 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1862800/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=14752 CPUtime=1.49 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1301 0 0 0 148 1 0 0 25 0 1 0 187857217 15106048 1272 1992294400 134512640 137136520 4294956256 18446744073709551615 136502340 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 3688 1272 197 640 0 3044 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14752 [startup+3.10196 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1862480/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=15112 CPUtime=3.09 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1393 0 0 0 308 1 0 0 25 0 1 0 187857217 15474688 1364 1992294400 134512640 137136520 4294956256 18446744073709551615 136502038 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 3778 1364 198 640 0 3134 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15112 [startup+6.30128 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1861648/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=15480 CPUtime=6.29 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1481 0 0 0 626 3 0 0 25 0 1 0 187857217 15851520 1452 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 3870 1452 198 640 0 3226 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15480 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860896/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16328 CPUtime=12.68 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1684 0 0 0 1264 4 0 0 25 0 1 0 187857217 16719872 1655 1992294400 134512640 137136520 4294956256 18446744073709551615 135982480 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4082 1655 198 640 0 3438 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16328 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860512/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16796 CPUtime=25.48 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1803 0 0 0 2540 8 0 0 25 0 1 0 187857217 17199104 1774 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4199 1774 198 640 0 3555 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16796 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860448/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16608 CPUtime=51.08 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 5092 16 0 0 25 0 1 0 187857217 17006592 1751 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4152 1751 198 640 0 3508 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16608 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860448/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16592 CPUtime=102.26 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 10195 31 0 0 25 0 1 0 187857217 16990208 1747 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4148 1747 198 640 0 3504 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16592 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860384/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16592 CPUtime=162.22 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 16177 45 0 0 25 0 1 0 187857217 16990208 1747 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4148 1747 198 640 0 3504 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 16592 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860448/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16572 CPUtime=222.2 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 22162 58 0 0 25 0 1 0 187857217 16969728 1742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4143 1742 198 640 0 3499 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 16572 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860512/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16444 CPUtime=282.18 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 28145 73 0 0 25 0 1 0 187857217 16838656 1710 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4111 1710 198 640 0 3467 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 16444 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860512/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16392 CPUtime=342.15 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 34130 85 0 0 25 0 1 0 187857217 16785408 1697 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4098 1697 198 640 0 3454 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 16392 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860576/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16556 CPUtime=402.12 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1978 0 0 0 40114 98 0 0 25 0 1 0 187857217 16953344 1737 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4139 1737 198 640 0 3495 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 16556 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860512/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=16656 CPUtime=462.1 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1983 0 0 0 46099 111 0 0 25 0 1 0 187857217 17055744 1742 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4164 1742 198 640 0 3520 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 16656 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860000/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=17132 CPUtime=522.08 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2109 0 0 0 52083 125 0 0 25 0 1 0 187857217 17543168 1868 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4283 1868 198 640 0 3639 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 17132 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1860000/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=17132 CPUtime=582.05 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2110 0 0 0 58067 138 0 0 25 0 1 0 187857217 17543168 1869 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4283 1869 198 640 0 3639 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 17132 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5325 /proc/meminfo: memFree=1859488/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=17724 CPUtime=642.04 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2245 0 0 0 64054 150 0 0 25 0 1 0 187857217 18149376 2004 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4431 2004 198 640 0 3787 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 17724 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1858592/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18296 CPUtime=1121.8 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2409 0 0 0 111937 243 0 0 25 0 1 0 187857217 18735104 2168 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4574 2168 198 640 0 3930 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 18296 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5327 /proc/meminfo: memFree=1858592/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18296 CPUtime=1181.78 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2409 0 0 0 117925 253 0 0 25 0 1 0 187857217 18735104 2168 1992294400 134512640 137136520 4294956256 18446744073709551615 134551578 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4574 2168 198 640 0 3930 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 18296 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5327 /proc/meminfo: memFree=1858400/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18296 CPUtime=1241.74 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2409 0 0 0 123908 266 0 0 25 0 1 0 187857217 18735104 2168 1992294400 134512640 137136520 4294956256 18446744073709551615 136509109 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4574 2168 198 640 0 3930 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 18296 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5327 /proc/meminfo: memFree=1857888/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=19000 CPUtime=1301.72 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 129896 276 0 0 25 0 1 0 187857217 19456000 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136509131 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4750 2333 198 640 0 4106 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 19000 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5327 /proc/meminfo: memFree=1857888/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=19000 CPUtime=1361.69 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 135881 288 0 0 25 0 1 0 187857217 19456000 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4750 2333 198 640 0 4106 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 19000 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5327 /proc/meminfo: memFree=1857824/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18996 CPUtime=1421.66 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 141866 300 0 0 25 0 1 0 187857217 19451904 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4749 2333 198 640 0 4105 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 18996 [startup+1482.3 s] /proc/loadavg: 1.07 1.00 1.00 2/65 5333 /proc/meminfo: memFree=1857568/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18996 CPUtime=1481.64 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 147852 312 0 0 25 0 1 0 187857217 19451904 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4749 2333 198 640 0 4105 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 18996 [startup+1542.3 s] /proc/loadavg: 1.29 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769328/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18992 CPUtime=1541.53 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 153826 327 0 0 25 0 1 0 187857217 19447808 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4748 2333 198 640 0 4104 0 Current children cumulated CPU time (s) 1541.53 Current children cumulated vsize (KiB) 18992 [startup+1602.3 s] /proc/loadavg: 1.17 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769760/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18976 CPUtime=1601.5 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 159813 337 0 0 25 0 1 0 187857217 19431424 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4744 2333 198 640 0 4100 0 Current children cumulated CPU time (s) 1601.5 Current children cumulated vsize (KiB) 18976 [startup+1662.3 s] /proc/loadavg: 1.18 1.08 1.02 2/65 5821 /proc/meminfo: memFree=1769760/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18972 CPUtime=1661.48 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 165801 347 0 0 25 0 1 0 187857217 19427328 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4743 2333 198 640 0 4099 0 Current children cumulated CPU time (s) 1661.48 Current children cumulated vsize (KiB) 18972 [startup+1722.3 s] /proc/loadavg: 1.12 1.08 1.02 2/65 5821 /proc/meminfo: memFree=1769760/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18972 CPUtime=1721.45 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 171789 356 0 0 25 0 1 0 187857217 19427328 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134616816 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4743 2333 198 640 0 4099 0 Current children cumulated CPU time (s) 1721.45 Current children cumulated vsize (KiB) 18972 [startup+1782.3 s] /proc/loadavg: 1.04 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18960 CPUtime=1781.4 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 177774 366 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4740 2333 198 640 0 4096 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (KiB) 18960 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.03 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18960 CPUtime=1791 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 178732 368 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4740 2333 198 640 0 4096 0 Current children cumulated CPU time (s) 1791 Current children cumulated vsize (KiB) 18960 [startup+1795.1 s] /proc/loadavg: 1.03 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18960 CPUtime=1794.2 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179052 368 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4740 2333 198 640 0 4096 0 Current children cumulated CPU time (s) 1794.2 Current children cumulated vsize (KiB) 18960 [startup+1796.7 s] /proc/loadavg: 1.03 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18960 CPUtime=1795.8 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179211 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136498184 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4740 2333 198 640 0 4096 0 Current children cumulated CPU time (s) 1795.8 Current children cumulated vsize (KiB) 18960 [startup+1797.5 s] /proc/loadavg: 1.03 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18960 CPUtime=1796.6 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179291 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134621773 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4740 2333 198 640 0 4096 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (KiB) 18960 [startup+1798.3 s] /proc/loadavg: 1.03 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18960 CPUtime=1797.4 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179371 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4740 2333 198 640 0 4096 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (KiB) 18960 [startup+1798.7 s] /proc/loadavg: 1.03 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18960 CPUtime=1797.8 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179411 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4740 2333 198 640 0 4096 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 18960 [startup+1798.8 s] /proc/loadavg: 1.03 1.06 1.02 2/65 5821 /proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956 [pid=5324] ppid=5322 vsize=18960 CPUtime=1797.9 /proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179421 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5324/statm: 4740 2333 198 640 0 4096 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 18960 Child status: 0 Real time (s): 1798.9 CPU time (s): 1798 CPU user time (s): 1794.3 CPU system time (s): 3.69844 CPU usage (%): 99.9502 Max. virtual memory (cumulated for all children) (KiB): 19016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.3 system time used= 3.69844 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2576 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= 6091 runsolver used 1.87571 second user time and 4.67629 second system time The end
Begin job on node36 at 2009-06-17 03:36:39 IDJOB=1876796 IDBENCH=48206 IDSOLVER=699 FILE ID=node36/1876796-1245202599 PBS_JOBID= 9368354 Free space on /tmp= 66200 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876796-1245202599/watcher-1876796-1245202599 -o /tmp/evaluation-result-1876796-1245202599/solver-1876796-1245202599 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876796-1245202599.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d0c1e6f66b584092ef8bd8f37f3a4db9 RANDOM SEED=827385003 node36.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.230 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.230 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1867448 kB Buffers: 46888 kB Cached: 94648 kB SwapCached: 6432 kB Active: 84248 kB Inactive: 66112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1867448 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 4116 kB Writeback: 0 kB Mapped: 13292 kB Slab: 24176 kB Committed_AS: 197160 kB PageTables: 1360 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-1876796-1245202599.opb Free space on /tmp at the end= 66196 MiB End job on node36 at 2009-06-17 04:06:38