Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 68 | 1798.13 | 1798.65 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | ff9be653d1d3ea3b1a82846016e94df6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 66 |
Best CPU time to get the best result obtained on this benchmark | 1798.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-1877107-1245146539.opb 0.00/0.00 c File size is 202558 bytes. 0.00/0.03 c Highest Coefficient sum: 324 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.028 s 0.00/0.03 c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776 0.00/0.03 c Obj. Vars: 180 (33.3333 % of total variables) 0.00/0.07 c Pre-processing Time: 0.07 s 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 540 4626 21888 4 14136 31514 0 0 0.07 0.00/0.07 c Switching off lower bounding mode. 0.09/0.10 c 101 540 4762 25113 5 15381 34666 136 1262 0.08 0.09/0.10 o 86 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 187 540 4878 31648 6 15649 31874 252 1870 0.10 0.09/0.19 c 287 540 4995 38698 7 15659 35062 369 2174 0.13 0.09/0.19 o 84 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 458 540 5207 50932 9 16470 31874 581 2410 0.19 0.19/0.25 c 558 540 5323 57836 10 16443 35062 697 2513 0.22 0.19/0.25 o 82 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 664 540 5470 67325 12 16817 31874 844 2614 0.25 0.19/0.26 o 80 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 678 540 5487 68062 12 17093 31874 861 2607 0.26 0.29/0.30 c 780 540 5610 74593 13 16858 35062 984 2662 0.29 0.29/0.30 o 78 0.69/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.80 c 810 540 5644 75963 13 17092 31874 1018 2682 0.30 0.69/0.80 c 910 540 5755 81805 14 17356 35062 1129 2700 0.34 0.69/0.80 c 1160 540 6041 105274 17 18290 38569 1415 2521 0.46 0.69/0.80 c 1636 540 6720 143301 21 18922 42426 2094 2548 0.64 0.69/0.80 o 76 7.59/7.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.59/7.65 c 1939 540 7139 167555 23 20579 31874 2513 2429 0.80 7.59/7.65 c 2039 540 7273 173639 23 20863 35062 2647 2387 0.85 7.59/7.65 c 2290 540 7602 198866 26 22241 38569 2976 2285 1.00 7.59/7.65 c 2766 540 8220 247911 30 23101 42426 3594 2024 1.37 7.59/7.65 c 3580 540 9294 373123 40 25274 46669 4668 1598 2.24 7.59/7.65 c 4900 540 11038 540552 48 28798 51336 6412 1361 3.60 7.59/7.65 c 6982 540 13752 825952 60 34537 56470 9126 973 7.17 7.59/7.65 o 74 55.27/55.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.27/55.35 c 7365 540 14317 851553 59 36320 31874 9691 962 7.65 55.27/55.35 c 7466 540 14446 861700 59 36701 35062 9820 954 7.82 55.27/55.35 c 7722 540 14770 889755 60 37193 38569 10144 933 8.27 55.27/55.35 c 8197 540 15349 938969 61 38727 42426 10723 889 9.22 55.27/55.35 c 9010 540 16419 1039463 63 41075 46669 11793 817 11.03 55.27/55.35 c 10330 540 18228 1214534 66 44840 51336 13602 705 14.64 55.27/55.35 c 12411 540 21093 1542360 73 50621 56470 16467 584 21.23 55.27/55.35 c 15634 540 25393 1995200 78 59913 62118 20767 489 31.92 55.27/55.35 o 72 67.97/68.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.97/68.09 c 20282 540 31901 2725647 85 74069 31874 27275 366 55.34 67.97/68.09 c 20382 540 32041 2739134 85 74313 35062 27415 364 55.91 67.97/68.09 c 20632 540 32361 2767458 85 74578 38569 27735 360 57.29 67.97/68.09 c 21107 540 33037 2837699 85 76230 42426 28411 351 59.97 67.97/68.09 c 21925 540 34148 2952055 86 79036 46669 29522 343 63.84 67.97/68.09 o 70 688.09/688.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 688.09/688.37 c 22735 540 35251 3044644 86 80999 31874 30625 334 68.07 688.09/688.37 c 22838 540 35404 3050558 86 81133 35062 30778 333 68.51 688.09/688.37 c 23088 540 35756 3072270 85 82712 38569 31130 332 69.43 688.09/688.37 c 23563 540 36398 3132830 86 84090 42426 31772 324 72.67 688.09/688.37 c 24376 540 37515 3246472 86 86066 46669 32889 309 78.69 688.09/688.37 c 25696 540 39266 3427199 87 90054 51336 34640 295 86.98 688.09/688.37 c 27777 540 42044 3709041 88 96022 56470 37418 275 100.95 688.09/688.37 c 31001 540 46622 4176311 89 106252 62118 41996 247 125.19 688.09/688.37 c 35938 540 53525 5026841 93 121531 68330 48899 217 165.14 688.09/688.37 c 43444 540 64449 6459744 100 144765 75164 59823 178 244.01 688.09/688.37 c 54807 540 24803 2289600 92 58125 82681 20177 140 388.87 688.09/688.37 c 71952 540 49773 5151328 103 110783 90950 45147 136 528.73 688.09/688.37 o 68 1798.08/1798.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.08/1798.62 c 88457 540 73183 7816292 106 161455 31874 68557 128 688.17 1798.08/1798.62 c 88557 540 20684 1587377 76 48465 35062 16058 128 691.62 1798.08/1798.62 c 88808 540 21010 1610544 76 49196 38569 16384 128 692.40 1798.08/1798.62 c 89283 540 21640 1663742 76 50624 42426 17014 128 693.73 1798.08/1798.62 c 90096 540 22826 1753185 76 52838 46669 18200 129 696.49 1798.08/1798.62 c 91420 540 24634 1936336 78 57305 51336 20008 130 701.21 1798.08/1798.62 c 93503 540 27670 2219764 80 63864 56470 23044 131 711.12 1798.08/1798.62 c 96728 540 32302 2785048 86 73893 62118 27676 132 728.45 1798.08/1798.62 c 101667 540 39486 3751141 94 89093 68330 34860 134 758.63 1798.08/1798.62 c 109173 540 49938 5132514 102 111556 75164 45312 134 809.68 1798.08/1798.62 c 120534 540 65905 7159436 108 144621 82681 61279 131 916.03 1798.08/1798.62 c 137678 540 29198 2409998 82 66589 90950 24572 118 1159.69 1798.08/1798.62 c 163497 540 67253 7232066 107 147373 100046 62627 116 1401.04 1798.08/1798.62 c Resources Exceeded 1798.08/1798.62 v -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 -x2 -x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 x326 -x3 -x39 -x75 x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 x294 -x330 -x7 -x43 x79 -x115 -x151 -x187 -x223 -x259 -x295 -x331 x9 -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 x227 -x263 -x299 -x335 -x12 -x48 -x84 x120 -x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 x158 -x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 -x232 -x268 x304 -x340 -x17 x53 -x89 -x125 -x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 -x90 -x126 -x162 -x198 -x234 x270 -x306 -x342 -x19 x55 -x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 -x128 -x164 x200 -x236 -x272 -x308 -x344 -x21 -x57 x93 -x129 -x165 -x201 -x237 -x273 -x309 -x345 x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 -x240 -x276 -x312 x348 -x25 -x61 -x97 -x133 -x169 -x205 -x241 x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 -x242 -x278 x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 -x243 -x279 -x315 x351 -x28 -x64 -x100 x136 -x172 -x208 -x244 -x280 -x316 -x352 -x30 -x66 x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 x68 -x104 -x140 -x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 x250 -x286 -x322 -x358 -x35 -x71 -x107 -x143 x179 -x215 -x251 -x287 -x323 -x359 -x8 x44 -x80 -x116 x152 x188 -x224 -x260 x296 x332 x15 -x51 x87 x123 -x159 x195 -x231 -x267 -x303 x339 -x22 -x58 -x94 x130 x166 -x202 x238 x274 x310 -x346 x29 x65 -x101 -x137 x173 x209 x245 -x281 -x317 -x353 -x36 -x72 x108 x144 -x180 -x216 -x252 x288 x324 x360 x1 x37 x73 -x109 -x145 -x181 x217 x253 -x289 -x325 1798.08/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.08/1798.62 c 57 187785 45822 332604 103105 11472248 98479 104 1798.10 1798.08/1798.62 c Objective: 68 1798.08/1798.62 s SATISFIABLE 1798.08/1798.62 c Total time: 1798.1 s
OK 68
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877107-1245146539/watcher-1877107-1245146539 -o /tmp/evaluation-result-1877107-1245146539/solver-1877107-1245146539 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877107-1245146539.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7406 /proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=10908 CPUtime=0 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 182251144 11169792 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 2727 236 175 640 0 2033 0 [startup+0.099763 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7406 /proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=11800 CPUtime=0.08 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 642 0 0 0 8 0 0 0 18 0 1 0 182251144 12083200 549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 2950 549 197 640 0 2306 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11800 [startup+0.101763 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7406 /proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=11800 CPUtime=0.09 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 642 0 0 0 9 0 0 0 18 0 1 0 182251144 12083200 549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 2950 549 197 640 0 2306 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11800 [startup+0.301786 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7406 /proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=12416 CPUtime=0.29 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 787 0 0 0 29 0 0 0 19 0 1 0 182251144 12713984 694 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 3104 694 197 640 0 2460 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12416 [startup+0.701828 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7406 /proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=13536 CPUtime=0.69 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 1064 0 0 0 68 1 0 0 22 0 1 0 182251144 13860864 971 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 3384 971 198 640 0 2740 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13536 [startup+1.50192 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1810424/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=15284 CPUtime=1.49 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 1495 0 0 0 148 1 0 0 25 0 1 0 182251144 15650816 1402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 3821 1402 198 640 0 3177 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15284 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1808120/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=18172 CPUtime=3.09 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 2218 0 0 0 307 2 0 0 25 0 1 0 182251144 18608128 2125 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 4543 2125 198 640 0 3899 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18172 [startup+6.30144 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1803256/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=22040 CPUtime=6.29 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 3187 0 0 0 625 4 0 0 25 0 1 0 182251144 22568960 3094 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 5510 3094 198 640 0 4866 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22040 [startup+12.7021 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1797496/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=27248 CPUtime=12.69 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 4486 0 0 0 1264 5 0 0 25 0 1 0 182251144 27901952 4393 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 6812 4393 198 640 0 6168 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27248 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1789240/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=35236 CPUtime=25.48 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 6473 0 0 0 2540 8 0 0 25 0 1 0 182251144 36081664 6380 1992294400 134512640 137136520 4294956256 18446744073709551615 136501965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 8809 6380 198 640 0 8165 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35236 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1776888/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=47668 CPUtime=51.08 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 9601 0 0 0 5095 13 0 0 25 0 1 0 182251144 48812032 9508 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 11917 9508 198 640 0 11273 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47668 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1760952/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=63276 CPUtime=102.26 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 13508 0 0 0 10207 19 0 0 25 0 1 0 182251144 64794624 13415 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 15819 13415 198 640 0 15175 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 63276 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1744056/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=80440 CPUtime=162.24 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 17772 0 0 0 16198 26 0 0 25 0 1 0 182251144 82370560 17679 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 20110 17679 198 640 0 19466 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 80440 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1728376/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=95832 CPUtime=222.23 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 21630 0 0 0 22189 34 0 0 25 0 1 0 182251144 98131968 21537 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 23958 21537 198 640 0 23314 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 95832 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1715448/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=108796 CPUtime=282.21 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 24874 0 0 0 28183 38 0 0 25 0 1 0 182251144 111407104 24781 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 27199 24781 198 640 0 26555 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 108796 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1704440/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=119620 CPUtime=342.19 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 27575 0 0 0 34177 42 0 0 25 0 1 0 182251144 122490880 27482 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 29905 27482 198 640 0 29261 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 119620 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1696248/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=127516 CPUtime=402.17 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 40172 45 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 31879 29463 198 640 0 31235 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 127516 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1696312/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=127516 CPUtime=462.16 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 46168 48 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 31879 29463 198 640 0 31235 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 127516 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1696376/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=127516 CPUtime=522.14 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 52165 49 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 31879 29463 198 640 0 31235 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 127516 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1696376/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=127516 CPUtime=582.12 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 58161 51 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 31879 29463 198 640 0 31235 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 127516 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1696376/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=127516 CPUtime=642.11 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 64157 54 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 31879 29463 198 640 0 31235 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 127516 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1683896/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=139748 CPUtime=1121.97 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 32690 0 0 0 112123 74 0 0 25 0 1 0 182251144 143101952 32523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 34937 32523 198 640 0 34293 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 139748 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=142528 CPUtime=1181.95 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 118119 76 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 35632 33231 198 640 0 34988 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 142528 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=142528 CPUtime=1241.93 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 124114 79 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 35632 33231 198 640 0 34988 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 142528 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=142528 CPUtime=1301.92 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 130110 82 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 35632 33231 198 640 0 34988 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 142528 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=142528 CPUtime=1361.9 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 136107 83 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 35632 33231 198 640 0 34988 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 142528 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=142528 CPUtime=1421.88 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 142104 84 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 35632 33231 198 640 0 34988 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 142528 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=142528 CPUtime=1481.86 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 148100 86 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 35632 33231 198 640 0 34988 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 142528 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=142528 CPUtime=1541.84 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 154097 87 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 35632 33231 198 640 0 34988 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 142528 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1679800/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=143716 CPUtime=1601.82 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33770 0 0 0 160094 88 0 0 25 0 1 0 182251144 147165184 33522 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 35929 33522 198 640 0 35285 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 143716 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1671736/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=151656 CPUtime=1661.81 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 35737 0 0 0 166090 91 0 0 25 0 1 0 182251144 155295744 35489 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 37914 35489 198 640 0 37270 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 151656 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1664248/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=159196 CPUtime=1721.79 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 37623 0 0 0 172085 94 0 0 25 0 1 0 182251144 163016704 37375 1992294400 134512640 137136520 4294956256 18446744073709551615 134543781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 39799 37375 198 640 0 39155 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 159196 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1656248/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=167004 CPUtime=1781.77 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 39596 0 0 0 178080 97 0 0 25 0 1 0 182251144 171012096 39348 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 41751 39348 198 640 0 41107 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 167004 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1654904/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=168328 CPUtime=1791.38 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 39911 0 0 0 179040 98 0 0 25 0 1 0 182251144 172367872 39663 1992294400 134512640 137136520 4294956256 18446744073709551615 136518848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 42082 39663 198 640 0 41438 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 168328 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 3/65 7407 /proc/meminfo: memFree=1654584/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=168724 CPUtime=1794.58 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40000 0 0 0 179360 98 0 0 25 0 1 0 182251144 172773376 39752 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 42181 39752 198 640 0 41537 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 168724 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1654392/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=168856 CPUtime=1796.17 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40057 0 0 0 179519 98 0 0 25 0 1 0 182251144 172908544 39809 1992294400 134512640 137136520 4294956256 18446744073709551615 136518947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 42214 39809 198 640 0 41570 0 Current children cumulated CPU time (s) 1796.17 Current children cumulated vsize (KiB) 168856 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1654264/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=168988 CPUtime=1796.97 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40089 0 0 0 179599 98 0 0 25 0 1 0 182251144 173043712 39841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 42247 39841 198 640 0 41603 0 Current children cumulated CPU time (s) 1796.97 Current children cumulated vsize (KiB) 168988 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1654264/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=169120 CPUtime=1797.78 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40113 0 0 0 179679 99 0 0 25 0 1 0 182251144 173178880 39865 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 42280 39865 198 640 0 41636 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 169120 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1654072/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=169120 CPUtime=1797.98 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40120 0 0 0 179699 99 0 0 25 0 1 0 182251144 173178880 39872 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 42280 39872 198 640 0 41636 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 169120 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7407 /proc/meminfo: memFree=1654072/2055920 swapFree=4191900/4192956 [pid=7406] ppid=7404 vsize=169120 CPUtime=1798.08 /proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40122 0 0 0 179709 99 0 0 25 0 1 0 182251144 173178880 39874 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7406/statm: 42280 39874 198 640 0 41636 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (KiB) 169120 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.13 CPU user time (s): 1797.11 CPU system time (s): 1.01984 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 169120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.11 system time used= 1.01984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40126 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= 3249 runsolver used 1.15182 second user time and 3.88641 second system time The end
Begin job on node37 at 2009-06-16 12:02:19 IDJOB=1877107 IDBENCH=2007 IDSOLVER=699 FILE ID=node37/1877107-1245146539 PBS_JOBID= 9363737 Free space on /tmp= 66168 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877107-1245146539/watcher-1877107-1245146539 -o /tmp/evaluation-result-1877107-1245146539/solver-1877107-1245146539 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877107-1245146539.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6 RANDOM SEED=87004751 node37.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.232 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.232 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: 1814688 kB Buffers: 34980 kB Cached: 127484 kB SwapCached: 260 kB Active: 28840 kB Inactive: 146912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1814688 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4136 kB Writeback: 0 kB Mapped: 21804 kB Slab: 51484 kB Committed_AS: 157352 kB PageTables: 1376 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-1877107-1245146539.opb Free space on /tmp at the end= 66164 MiB End job on node37 at 2009-06-16 12:32:18