Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT (TO) | -12 | 1800.04 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_3.opb |
MD5SUM | 138d1c5c8dee06528dd1cfb072975c49 |
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 | 1267.4 |
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) | 1236 |
Sum of products size (including duplicates) | 2472 |
Number of different products | 618 |
Sum of products size | 1236 |
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-1876836-1245208050.opb 0.00/0.00 c File size is 50556 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: 718 Constr: 1388 668/102/618 Lit: 5244 Watch. Lit: 4528 0.00/0.00 c Obj. Vars: 50 (6.96379 % of total variables) 0.09/0.13 c Pre-processing Time: 0.135 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 718 1388 5244 3 4528 10741 0 0 0.14 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 718 1389 5294 3 4531 10774 1 0 0.14 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 718 1392 5444 3 4540 10791 4 7 0.14 0.09/0.13 o -3 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 2 718 1395 5617 4 4551 10807 7 14 0.14 0.09/0.14 o -4 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 3 718 1398 5782 4 4564 10824 10 21 0.14 0.09/0.14 o -5 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 8 718 1405 5974 4 4587 10841 17 57 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 22 718 1421 6487 4 4630 10857 33 153 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 33 718 1434 7023 4 4669 10874 46 227 0.14 0.09/0.15 o -8 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 71 718 1474 7561 5 4764 10891 86 476 0.15 0.09/0.17 c 172 718 1578 10489 6 4980 11981 190 1005 0.17 0.09/0.17 o -9 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 175 718 1582 10665 6 4997 10907 194 1017 0.17 0.09/0.17 o -10 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 185 718 1594 11069 6 5040 10924 206 1063 0.17 0.09/0.18 o -11 39.87/39.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.87/39.92 c 271 718 1684 13898 8 5241 10941 296 1464 0.18 39.87/39.92 c 371 718 1793 18508 10 5502 12036 405 1809 0.20 39.87/39.92 c 621 718 2061 30706 14 6038 13240 673 2474 0.25 39.87/39.92 c 1096 718 2569 56626 22 7072 14565 1181 3131 0.35 39.87/39.92 c 1911 718 3467 105623 30 8889 16022 2079 3545 0.54 39.87/39.92 c 3231 718 4940 191743 38 11955 17625 3552 3546 0.91 39.87/39.92 c 5312 718 7281 309728 42 16707 19388 5893 3248 1.64 39.87/39.92 c 8535 718 10787 492340 45 23789 21327 9399 2829 3.02 39.87/39.92 c 13471 718 16281 797184 48 34886 23460 14893 1912 7.04 39.87/39.92 c 20977 718 24668 1261249 51 51846 25807 23280 1364 15.37 39.87/39.92 c 32339 718 23300 1181320 50 48923 28388 21912 1061 30.47 39.87/39.92 o -12 1800.02/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.50 c 38111 718 29686 1514515 51 61858 10958 28298 955 39.91 1800.02/1800.50 c 38211 718 7004 278113 39 16264 12054 5616 928 41.15 1800.02/1800.50 c 38461 718 7269 290706 39 16794 13260 5881 932 41.25 1800.02/1800.50 c 38938 718 7797 317744 40 17850 14587 6409 939 41.45 1800.02/1800.50 c 39751 718 8671 358796 41 19649 16046 7283 949 41.88 1800.02/1800.50 c 41071 718 10116 429277 42 22542 17651 8728 963 42.60 1800.02/1800.50 c 43153 718 12489 549625 44 27316 19417 11101 973 44.33 1800.02/1800.50 c 46376 718 16154 740600 45 34757 21359 14766 973 47.66 1800.02/1800.50 c 51312 718 21693 1031044 47 45986 23495 20305 974 52.67 1800.02/1800.50 c 58819 718 17851 856987 48 38287 25845 16463 942 62.38 1800.02/1800.50 c 70180 718 17196 850207 49 36476 28430 15808 889 78.85 1800.02/1800.50 c 87324 718 20303 1051551 51 42815 31274 18915 857 101.84 1800.02/1800.50 c 113143 718 29981 1501882 50 62412 34402 28593 811 139.40 1800.02/1800.50 c 151977 718 29897 1568795 52 62306 37843 28509 722 210.31 1800.02/1800.50 c 210331 718 18967 977089 51 40427 41628 17579 657 319.71 1800.02/1800.50 c 297963 718 30658 1599466 52 63778 45791 29270 613 485.47 1800.02/1800.50 c 429515 718 44894 2402337 53 92803 50371 43506 554 774.55 1800.02/1800.50 c 626947 718 43922 2441383 55 90942 55409 42534 492 1272.60 1800.02/1800.50 c Caught signal: 15 1800.02/1800.50 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 -x717 -x718 -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 1800.02/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.50 c 40 827143 109809 975766 48954 2653626 47566 459 1800.03 1800.02/1800.50 c Objective: -12 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 c Total time: 1800.03 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-1876836-1245208050/watcher-1876836-1245208050 -o /tmp/evaluation-result-1876836-1245208050/solver-1876836-1245208050 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876836-1245208050.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.99 0.97 0.99 3/67 12187 /proc/meminfo: memFree=1632088/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=10756 CPUtime=0 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 177294362 11014144 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 2689 238 176 640 0 2032 0 [startup+0.0306869 s] /proc/loadavg: 0.99 0.97 0.99 3/67 12187 /proc/meminfo: memFree=1632088/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=10980 CPUtime=0.02 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 350 0 0 0 2 0 0 0 18 0 1 0 177294362 11243520 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 2745 321 189 640 0 2101 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10980 [startup+0.102693 s] /proc/loadavg: 0.99 0.97 0.99 3/67 12187 /proc/meminfo: memFree=1632088/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=10980 CPUtime=0.09 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 350 0 0 0 9 0 0 0 18 0 1 0 177294362 11243520 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 2745 321 189 640 0 2101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10980 [startup+0.30271 s] /proc/loadavg: 0.99 0.97 0.99 3/67 12187 /proc/meminfo: memFree=1632088/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=11612 CPUtime=0.29 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 511 0 0 0 29 0 0 0 19 0 1 0 177294362 11890688 482 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 2903 482 198 640 0 2259 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11612 [startup+0.701754 s] /proc/loadavg: 0.99 0.97 0.99 3/67 12187 /proc/meminfo: memFree=1632088/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=13092 CPUtime=0.69 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 890 0 0 0 69 0 0 0 23 0 1 0 177294362 13406208 861 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 3273 861 198 640 0 2629 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13092 [startup+1.50182 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1628496/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=15228 CPUtime=1.49 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 1431 0 0 0 148 1 0 0 25 0 1 0 177294362 15593472 1402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 3807 1402 198 640 0 3163 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15228 [startup+3.10196 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1625808/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=18460 CPUtime=3.09 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 2242 0 0 0 307 2 0 0 25 0 1 0 177294362 18903040 2213 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 4615 2213 198 640 0 3971 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18460 [startup+6.30125 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1621072/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=22236 CPUtime=6.29 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 3181 0 0 0 626 3 0 0 25 0 1 0 177294362 22769664 3152 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 5559 3152 198 640 0 4915 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22236 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1615064/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=27620 CPUtime=12.69 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 4517 0 0 0 1263 6 0 0 25 0 1 0 177294362 28282880 4488 1992294400 134512640 137136520 4294956256 18446744073709551615 134544297 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 6905 4488 198 640 0 6261 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27620 [startup+25.502 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1609688/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=32348 CPUtime=25.48 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 5709 0 0 0 2539 9 0 0 25 0 1 0 177294362 33124352 5680 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 8087 5680 198 640 0 7443 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32348 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1608408/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=33724 CPUtime=51.08 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 6054 0 0 0 5093 15 0 0 25 0 1 0 177294362 34533376 6025 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 8431 6025 198 640 0 7787 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33724 [startup+102.307 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1607256/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=34796 CPUtime=102.26 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 6324 0 0 0 10205 21 0 0 25 0 1 0 177294362 35631104 6295 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 8699 6295 198 640 0 8055 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34796 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1603352/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=38552 CPUtime=162.24 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 7293 0 0 0 16193 31 0 0 25 0 1 0 177294362 39477248 7229 1992294400 134512640 137136520 4294956256 18446744073709551615 136500542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 9638 7229 198 640 0 8994 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 38552 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1602712/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=39424 CPUtime=222.23 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 7492 0 0 0 22183 40 0 0 25 0 1 0 177294362 40370176 7428 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 9856 7428 198 640 0 9212 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 39424 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1599512/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=42572 CPUtime=282.21 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 8312 0 0 0 28173 48 0 0 25 0 1 0 177294362 43593728 8210 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 10643 8210 198 640 0 9999 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 42572 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1599512/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=42572 CPUtime=342.19 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 8312 0 0 0 34164 55 0 0 25 0 1 0 177294362 43593728 8210 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 10643 8210 198 640 0 9999 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 42572 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1596248/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=45624 CPUtime=402.18 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 9124 0 0 0 40153 65 0 0 25 0 1 0 177294362 46718976 8980 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 11406 8980 198 640 0 10762 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 45624 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1595672/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=46364 CPUtime=462.16 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 9302 0 0 0 46146 70 0 0 25 0 1 0 177294362 47476736 9158 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 11591 9158 198 640 0 10947 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 46364 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1592728/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=49552 CPUtime=522.15 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 10100 0 0 0 52135 80 0 0 25 0 1 0 177294362 50741248 9956 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 12388 9956 198 640 0 11744 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 49552 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1592088/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=49684 CPUtime=582.13 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 10192 0 0 0 58126 87 0 0 25 0 1 0 177294362 50876416 10002 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 12421 10002 198 640 0 11777 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 49684 [startup+642.303 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1592024/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=49916 CPUtime=642.12 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 10236 0 0 0 64118 94 0 0 25 0 1 0 177294362 51113984 10046 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 12479 10046 198 640 0 11835 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 49916 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1589272/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=52748 CPUtime=882.05 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 10994 0 0 0 88089 116 0 0 25 0 1 0 177294362 54013952 10754 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 13187 10754 198 640 0 12543 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 52748 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1589272/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=52748 CPUtime=942.04 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 10994 0 0 0 94083 121 0 0 25 0 1 0 177294362 54013952 10754 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 13187 10754 198 640 0 12543 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 52748 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/68 12188 /proc/meminfo: memFree=1589272/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=52748 CPUtime=1002.01 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 10994 0 0 0 100075 126 0 0 25 0 1 0 177294362 54013952 10754 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 13187 10754 198 640 0 12543 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 52748 [startup+1062.3 s] /proc/loadavg: 1.06 0.99 0.99 2/68 12188 /proc/meminfo: memFree=1589272/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=52748 CPUtime=1062 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 10994 0 0 0 106069 131 0 0 25 0 1 0 177294362 54013952 10754 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 13187 10754 198 640 0 12543 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 52748 [startup+1122.3 s] /proc/loadavg: 1.08 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1589144/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=52748 CPUtime=1121.99 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 11019 0 0 0 112061 138 0 0 25 0 1 0 177294362 54013952 10779 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 13187 10779 198 640 0 12543 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 52748 [startup+1182.3 s] /proc/loadavg: 1.03 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1589144/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=52748 CPUtime=1181.97 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 11019 0 0 0 118054 143 0 0 25 0 1 0 177294362 54013952 10779 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 13187 10779 198 640 0 12543 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 52748 [startup+1242.3 s] /proc/loadavg: 1.01 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1588120/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=53808 CPUtime=1241.96 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 11259 0 0 0 124049 147 0 0 25 0 1 0 177294362 55099392 11019 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 13452 11019 198 640 0 12808 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 53808 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 3/68 12188 /proc/meminfo: memFree=1587096/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=54740 CPUtime=1301.95 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 11510 0 0 0 130042 153 0 0 25 0 1 0 177294362 56053760 11270 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 13685 11270 198 640 0 13041 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 54740 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583960/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57660 CPUtime=1361.92 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12306 0 0 0 136032 160 0 0 25 0 1 0 177294362 59043840 12011 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14415 12011 198 640 0 13771 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 57660 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583896/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57996 CPUtime=1421.92 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12361 0 0 0 142028 164 0 0 25 0 1 0 177294362 59387904 12066 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14499 12066 198 640 0 13855 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 57996 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583832/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57996 CPUtime=1481.89 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12361 0 0 0 148017 172 0 0 25 0 1 0 177294362 59387904 12066 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14499 12066 198 640 0 13855 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 57996 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583832/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57996 CPUtime=1541.88 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12361 0 0 0 154009 179 0 0 25 0 1 0 177294362 59387904 12066 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14499 12066 198 640 0 13855 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 57996 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583896/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57996 CPUtime=1601.86 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12361 0 0 0 160001 185 0 0 25 0 1 0 177294362 59387904 12066 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14499 12066 198 640 0 13855 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 57996 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583768/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57996 CPUtime=1661.85 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12391 0 0 0 165992 193 0 0 25 0 1 0 177294362 59387904 12096 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14499 12096 198 640 0 13855 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 57996 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583704/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57996 CPUtime=1721.84 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12391 0 0 0 171986 198 0 0 25 0 1 0 177294362 59387904 12096 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14499 12096 198 640 0 13855 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 57996 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583704/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57996 CPUtime=1781.82 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12391 0 0 0 177978 204 0 0 25 0 1 0 177294362 59387904 12096 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14499 12096 198 640 0 13855 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 57996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583704/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57996 CPUtime=1800.02 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12391 0 0 0 179797 205 0 0 25 0 1 0 177294362 59387904 12096 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14499 12096 198 640 0 13855 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 57996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12188 /proc/meminfo: memFree=1583704/2055920 swapFree=4192956/4192956 [pid=12187] ppid=12185 vsize=57996 CPUtime=1800.02 /proc/12187/stat : 12187 (bsolo) R 12185 12187 12088 0 -1 4194304 12391 0 0 0 179797 205 0 0 25 0 1 0 177294362 59387904 12096 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12187/statm: 14499 12096 198 640 0 13855 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 57996 Child status: 15 Real time (s): 1800.52 CPU time (s): 1800.04 CPU user time (s): 1797.98 CPU system time (s): 2.06369 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 57996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.98 system time used= 2.06369 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12393 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5180 runsolver used 1.41678 second user time and 5.14422 second system time The end
Begin job on node68 at 2009-06-17 05:07:30 IDJOB=1876836 IDBENCH=48246 IDSOLVER=699 FILE ID=node68/1876836-1245208050 PBS_JOBID= 9368394 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876836-1245208050/watcher-1876836-1245208050 -o /tmp/evaluation-result-1876836-1245208050/solver-1876836-1245208050 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876836-1245208050.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 138d1c5c8dee06528dd1cfb072975c49 RANDOM SEED=1911673953 node68.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.238 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.238 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: 1632568 kB Buffers: 50032 kB Cached: 277184 kB SwapCached: 0 kB Active: 105628 kB Inactive: 237972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1632568 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3984 kB Writeback: 0 kB Mapped: 26496 kB Slab: 65340 kB Committed_AS: 94696 kB PageTables: 1564 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876836-1245208050.opb Free space on /tmp at the end= 66468 MiB End job on node68 at 2009-06-17 05:37:33