Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -12 | 1798.02 | 1798.63 |
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: Generic Pseudo-Boolean 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-1879712-1245247361.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.005 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.128 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.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 5 716 1399 5950 4 4577 10800 15 37 0.13 0.09/0.13 o -6 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 15 716 1420 6804 4 4737 10817 36 110 0.14 0.09/0.14 o -7 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 29 716 1449 7196 4 4929 10833 65 211 0.14 0.09/0.14 o -8 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 30 716 1452 7384 5 4955 10850 68 217 0.14 0.09/0.14 o -9 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 33 716 1459 7607 5 5008 10867 75 237 0.14 0.09/0.16 c 133 716 1657 14192 8 7125 11954 273 852 0.16 0.09/0.16 o -10 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 152 716 1696 16222 9 7744 10883 312 932 0.16 0.49/0.51 c 253 716 1897 27269 14 10660 11972 513 1246 0.20 0.49/0.51 c 503 716 2396 60376 25 19791 13170 1012 1428 0.35 0.49/0.51 o -11 78.86/78.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.86/78.90 c 677 716 2744 84837 30 26219 10900 1360 1335 0.51 78.86/78.90 c 777 716 2944 100250 34 30486 11991 1560 1312 0.59 78.86/78.90 c 1028 716 3443 134765 39 39098 13191 2059 1173 0.88 78.86/78.90 c 1503 716 4391 202540 46 57288 14511 3007 974 1.54 78.86/78.90 c 2316 716 6011 321592 53 88906 15963 4627 723 3.20 78.86/78.90 c 3637 716 8651 528367 61 141522 17560 7267 484 7.50 78.86/78.90 c 5719 716 12811 849045 66 228859 19317 11427 316 18.08 78.86/78.90 c 8942 716 19246 1366655 71 365185 21249 17862 218 40.91 78.86/78.90 o -12 1797.99/1798.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.61 c 11466 716 13089 890230 68 256751 10917 11705 145 78.87 1797.99/1798.61 c 11567 716 7045 401366 56 126212 12009 5661 138 83.53 1797.99/1798.61 c 11817 716 7545 438234 58 136744 13210 6161 139 84.55 1797.99/1798.61 c 12293 716 8497 521893 61 161707 14532 7113 142 86.53 1797.99/1798.61 c 13107 716 10119 668218 66 198146 15986 8735 144 90.76 1797.99/1798.61 c 14427 716 12758 870309 68 250767 17585 11374 144 100.09 1797.99/1798.61 c 16508 716 16916 1200505 70 331280 19344 15532 141 116.32 1797.99/1798.61 c 19731 716 13067 915460 70 284185 21279 11683 130 151.67 1797.99/1798.61 c 24668 716 12025 827483 68 257270 23407 10641 117 209.93 1797.99/1798.61 c 32174 716 14691 1037918 70 316011 25748 13307 108 297.46 1797.99/1798.61 c 43535 716 23890 1701233 71 475298 28323 22506 100 433.50 1797.99/1798.61 c 60679 716 28447 2146395 75 568332 31156 27063 92 653.70 1797.99/1798.61 c 86498 716 30997 2440516 78 583991 34272 29613 84 1029.56 1797.99/1798.61 c 125330 716 33808 2732966 80 616727 37700 32424 74 1678.22 1797.99/1798.61 c Resources Exceeded 1797.99/1798.61 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.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.62 c 35 131174 11635 147519 25767 1993706 24383 72 1798.01 1797.99/1798.62 c Objective: -12 1797.99/1798.62 s SATISFIABLE 1797.99/1798.62 c Total time: 1798.01 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-1879712-1245247361/watcher-1879712-1245247361 -o /tmp/evaluation-result-1879712-1245247361/solver-1879712-1245247361 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879712-1245247361.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.95 3/64 21235 /proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=10756 CPUtime=0 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 192337079 11014144 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 2689 242 177 640 0 2032 0 [startup+0.0296199 s] /proc/loadavg: 1.00 1.00 0.95 3/64 21235 /proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=10980 CPUtime=0.02 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 351 0 0 0 2 0 0 0 18 0 1 0 192337079 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 2745 322 189 640 0 2101 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10980 [startup+0.101632 s] /proc/loadavg: 1.00 1.00 0.95 3/64 21235 /proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=10980 CPUtime=0.09 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 351 0 0 0 9 0 0 0 18 0 1 0 192337079 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 2745 322 189 640 0 2101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10980 [startup+0.301667 s] /proc/loadavg: 1.00 1.00 0.95 3/64 21235 /proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=12008 CPUtime=0.29 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 600 0 0 0 29 0 0 0 19 0 1 0 192337079 12296192 571 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 3002 571 197 640 0 2358 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12008 [startup+0.701737 s] /proc/loadavg: 1.00 1.00 0.95 3/64 21235 /proc/meminfo: memFree=1293088/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=13164 CPUtime=0.68 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 916 0 0 0 68 0 0 0 23 0 1 0 192337079 13479936 887 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 3291 887 198 640 0 2647 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13164 [startup+1.50188 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21236 /proc/meminfo: memFree=1289688/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=14952 CPUtime=1.49 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 1341 0 0 0 148 1 0 0 25 0 1 0 192337079 15310848 1312 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 3738 1312 198 640 0 3094 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14952 [startup+3.10116 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21236 /proc/meminfo: memFree=1287448/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=17260 CPUtime=3.09 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 1917 0 0 0 308 1 0 0 25 0 1 0 192337079 17674240 1888 1992294400 134512640 137136520 4294956256 18446744073709551615 134571495 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 4315 1888 198 640 0 3671 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17260 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21236 /proc/meminfo: memFree=1283288/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=20784 CPUtime=6.28 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 2796 0 0 0 626 2 0 0 25 0 1 0 192337079 21282816 2767 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 5196 2767 198 640 0 4552 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20784 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21236 /proc/meminfo: memFree=1278872/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=24932 CPUtime=12.69 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 3834 0 0 0 1265 4 0 0 25 0 1 0 192337079 25530368 3805 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 6233 3805 198 640 0 5589 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24932 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21236 /proc/meminfo: memFree=1272472/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=31160 CPUtime=25.47 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 5412 0 0 0 2542 5 0 0 25 0 1 0 192337079 31907840 5383 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 7790 5383 198 640 0 7146 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 31160 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21236 /proc/meminfo: memFree=1263064/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=40588 CPUtime=51.07 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 7758 0 0 0 5098 9 0 0 25 0 1 0 192337079 41562112 7729 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 10147 7729 198 640 0 9503 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 40588 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21236 /proc/meminfo: memFree=1259224/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=44072 CPUtime=102.24 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 8643 0 0 0 10214 10 0 0 25 0 1 0 192337079 45129728 8614 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 11018 8614 198 640 0 10374 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 44072 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21236 /proc/meminfo: memFree=1259160/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=44072 CPUtime=162.22 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 8643 0 0 0 16210 12 0 0 25 0 1 0 192337079 45129728 8614 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 11018 8614 198 640 0 10374 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 44072 [startup+222.302 s] /proc/loadavg: 1.07 1.02 0.95 2/65 21236 /proc/meminfo: memFree=1257304/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=46008 CPUtime=222.2 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 9122 0 0 0 22205 15 0 0 25 0 1 0 192337079 47112192 9093 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 11502 9093 198 640 0 10858 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 46008 [startup+282.301 s] /proc/loadavg: 1.09 1.03 0.96 2/65 21236 /proc/meminfo: memFree=1253336/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=49992 CPUtime=282.18 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 10118 0 0 0 28200 18 0 0 25 0 1 0 192337079 51191808 10089 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 12498 10089 198 640 0 11854 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 49992 [startup+342.302 s] /proc/loadavg: 1.09 1.04 0.96 2/65 21236 /proc/meminfo: memFree=1253336/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=49992 CPUtime=342.16 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 10118 0 0 0 34198 18 0 0 25 0 1 0 192337079 51191808 10089 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 12498 10089 198 640 0 11854 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 49992 [startup+402.301 s] /proc/loadavg: 1.03 1.03 0.96 2/65 21236 /proc/meminfo: memFree=1250520/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=52840 CPUtime=402.14 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 10836 0 0 0 40195 19 0 0 25 0 1 0 192337079 54108160 10807 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 13210 10807 198 640 0 12566 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 52840 [startup+462.302 s] /proc/loadavg: 1.01 1.02 0.96 2/65 21236 /proc/meminfo: memFree=1250456/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=52844 CPUtime=462.12 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 10836 0 0 0 46190 22 0 0 25 0 1 0 192337079 54112256 10807 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 13211 10807 198 640 0 12567 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 52844 [startup+522.301 s] /proc/loadavg: 1.00 1.02 0.96 2/65 21236 /proc/meminfo: memFree=1247704/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=55684 CPUtime=522.1 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 11546 0 0 0 52187 23 0 0 25 0 1 0 192337079 57020416 11517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 13921 11517 198 640 0 13277 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 55684 [startup+582.302 s] /proc/loadavg: 1.00 1.01 0.96 2/65 21236 /proc/meminfo: memFree=1247640/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=55680 CPUtime=582.08 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 11546 0 0 0 58183 25 0 0 25 0 1 0 192337079 57016320 11517 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 13920 11517 198 640 0 13276 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 55680 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1247640/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=55680 CPUtime=642.07 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 11546 0 0 0 64179 28 0 0 25 0 1 0 192337079 57016320 11517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 13920 11517 198 640 0 13276 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 55680 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1236568/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=66628 CPUtime=1121.91 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14305 0 0 0 112150 41 0 0 25 0 1 0 192337079 68227072 14241 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16657 14241 198 640 0 16013 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 66628 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1236504/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=66628 CPUtime=1181.89 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14305 0 0 0 118146 43 0 0 25 0 1 0 192337079 68227072 14241 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16657 14241 198 640 0 16013 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 66628 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1236376/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=66828 CPUtime=1241.87 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 124143 44 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16707 14275 198 640 0 16063 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 66828 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1236312/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=66828 CPUtime=1301.86 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 130140 46 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16707 14275 198 640 0 16063 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 66828 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1236312/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=66828 CPUtime=1361.83 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 136136 47 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16707 14275 198 640 0 16063 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 66828 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1236312/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=66828 CPUtime=1421.82 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 142134 48 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16707 14275 198 640 0 16063 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 66828 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1236248/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=66828 CPUtime=1481.79 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14339 0 0 0 148129 50 0 0 25 0 1 0 192337079 68431872 14275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16707 14275 198 640 0 16063 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 66828 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1235800/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=67476 CPUtime=1541.77 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14501 0 0 0 154126 51 0 0 25 0 1 0 192337079 69095424 14437 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16869 14437 198 640 0 16225 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 67476 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1235800/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=67476 CPUtime=1601.75 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14501 0 0 0 160123 52 0 0 25 0 1 0 192337079 69095424 14437 1992294400 134512640 137136520 4294956256 18446744073709551615 134544288 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16869 14437 198 640 0 16225 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 67476 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1235800/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=67476 CPUtime=1661.73 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 14501 0 0 0 166120 53 0 0 25 0 1 0 192337079 69095424 14437 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 16869 14437 198 640 0 16225 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 67476 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1233176/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=70260 CPUtime=1721.71 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15201 0 0 0 172115 56 0 0 25 0 1 0 192337079 71946240 15137 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 17565 15137 198 640 0 16921 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 70260 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=71052 CPUtime=1781.69 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 178113 56 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 17763 15356 198 640 0 17119 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 71052 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=71052 CPUtime=1791.29 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179072 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 17763 15356 198 640 0 17119 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 71052 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=71052 CPUtime=1794.49 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179392 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 17763 15356 198 640 0 17119 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 71052 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=71052 CPUtime=1796.09 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179552 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 17763 15356 198 640 0 17119 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (KiB) 71052 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=71052 CPUtime=1796.89 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179632 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 17763 15356 198 640 0 17119 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 71052 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=71052 CPUtime=1797.69 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179712 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 17763 15356 198 640 0 17119 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 71052 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=71052 CPUtime=1797.89 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179732 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 17763 15356 198 640 0 17119 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 71052 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 0.96 2/65 21236 /proc/meminfo: memFree=1231896/2055920 swapFree=4191900/4192956 [pid=21235] ppid=21233 vsize=71052 CPUtime=1797.99 /proc/21235/stat : 21235 (bsolo) R 21233 21235 20896 0 -1 4194304 15458 0 0 0 179742 57 0 0 25 0 1 0 192337079 72757248 15356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21235/statm: 17763 15356 198 640 0 17119 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 71052 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.02 CPU user time (s): 1797.44 CPU system time (s): 0.582911 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 71052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.44 system time used= 0.582911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15460 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= 4 involuntary context switches= 4117 runsolver used 1.76773 second user time and 4.77927 second system time The end
Begin job on node4 at 2009-06-17 16:02:41 IDJOB=1879712 IDBENCH=48262 IDSOLVER=701 FILE ID=node4/1879712-1245247361 PBS_JOBID= 9372332 Free space on /tmp= 66408 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879712-1245247361/watcher-1879712-1245247361 -o /tmp/evaluation-result-1879712-1245247361/solver-1879712-1245247361 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879712-1245247361.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e RANDOM SEED=1822807535 node4.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.259 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.259 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: 1293632 kB Buffers: 74692 kB Cached: 588932 kB SwapCached: 260 kB Active: 104816 kB Inactive: 572148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1293632 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 21804 kB Slab: 71240 kB Committed_AS: 162332 kB PageTables: 1472 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-1879712-1245247361.opb Free space on /tmp at the end= 66404 MiB End job on node4 at 2009-06-17 16:32:40