Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -29 | 1798.04 | 1798.64 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
MD5SUM | 366c883f3118f840e595e8bbe10351c8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1789.87 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27856 |
Number of constraints which are clauses | 27856 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656611-1276515392.opb 0.00/0.00 c File size is 664636 bytes. 0.09/0.11 c Highest Coefficient sum: 595 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.111 s 0.09/0.12 c Var: 595 Constr: 27856 27856/0/0 Lit: 55712 Watch. Lit: 55712 0.09/0.12 c Obj. Vars: 595 (100 % of total variables) 0.39/0.44 c Pre-processing Time: 0.444 s 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 595 27856 55712 2 55712 9285 0 0 0.44 0.39/0.44 c Switching off lower bounding mode. 0.39/0.45 o -25 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 595 27857 56307 2 55739 10285 1 0 0.45 0.39/0.45 o -26 26.89/26.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.89/26.94 c 1 595 27859 57466 2 55769 10285 3 2 0.45 26.89/26.94 c 102 595 27978 124590 4 56007 11314 122 183 0.56 26.89/26.94 c 353 595 28247 276745 9 56569 12446 391 428 0.82 26.89/26.94 c 828 595 28772 573358 19 57619 13691 916 591 1.40 26.89/26.94 c 1641 595 29695 1094317 36 59465 15061 1839 667 2.46 26.89/26.94 c 2963 595 31230 1959984 62 62535 16568 3374 683 4.33 26.89/26.94 c 5045 595 33658 3327033 98 67414 18225 5802 652 7.73 26.89/26.94 c 8269 595 37330 5398544 144 74758 20048 9474 571 14.46 26.89/26.94 c 13205 595 43025 8609107 200 86217 22053 15169 492 26.79 26.89/26.94 o -27 44.18/44.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 44.18/44.24 c 13273 595 43106 8654855 200 86406 10285 15250 492 26.93 44.18/44.24 c 13375 595 33111 3018664 91 66295 11314 5255 486 27.49 44.18/44.24 c 13625 595 33397 3179713 95 66867 12446 5541 488 27.88 44.18/44.24 c 14100 595 33946 3488879 102 67965 13691 6090 493 28.57 44.18/44.24 c 14915 595 34880 4014879 115 69833 15061 7024 500 29.81 44.18/44.24 c 16236 595 36379 4859356 133 72831 16568 8523 506 32.05 44.18/44.24 c 18317 595 38752 6196411 159 77577 18225 10896 493 37.08 44.18/44.24 o -28 836.32/836.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 836.32/836.61 c 21282 595 42183 8127362 192 84467 10285 14327 481 44.23 836.32/836.61 c 21382 595 33110 3014083 91 66248 11314 5254 476 44.84 836.32/836.61 c 21632 595 33400 3177144 95 66828 12446 5544 478 45.25 836.32/836.61 c 22107 595 33934 3477566 102 67896 13691 6078 480 46.01 836.32/836.61 c 22920 595 34872 4004129 114 69772 15061 7016 485 47.25 836.32/836.61 c 24240 595 36345 4832717 132 72718 16568 8489 490 49.42 836.32/836.61 c 26321 595 38759 6188048 159 77546 18225 10903 492 53.45 836.32/836.61 c 29544 595 42531 8305745 195 85090 20048 14675 475 62.10 836.32/836.61 c 34480 595 37881 5677683 149 75814 22053 10025 451 76.34 836.32/836.61 c 41986 595 46478 10508697 226 93008 24259 18622 417 100.58 836.32/836.61 c 53348 595 46811 10707328 228 93650 26685 18955 372 143.38 836.32/836.61 c 70492 595 52177 13710938 262 104408 29354 24321 341 206.23 836.32/836.61 c 96311 595 46401 10481295 225 92904 32290 18545 297 323.48 836.32/836.61 c 135144 595 50945 13018619 255 101967 35520 23089 246 549.35 836.32/836.61 c 193497 595 49015 11920418 243 98100 39073 21159 233 829.32 836.32/836.61 o -29 1797.99/1798.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.60 c 196080 595 51974 13583051 261 104073 10285 24118 234 836.34 1797.99/1798.60 c 196181 595 33114 3009918 90 66283 11314 5258 233 838.48 1797.99/1798.60 c 196432 595 33395 3167492 94 66845 12446 5539 234 838.86 1797.99/1798.60 c 196908 595 33937 3471668 102 67929 13691 6081 234 839.58 1797.99/1798.60 c 197721 595 34850 3984138 114 69755 15061 6994 235 840.89 1797.99/1798.60 c 199042 595 36306 4802347 132 72667 16568 8450 236 843.02 1797.99/1798.60 c 201123 595 38698 6143911 158 77451 18225 10842 237 846.64 1797.99/1798.60 c 204346 595 42429 8236195 194 84913 20048 14573 239 854.16 1797.99/1798.60 c 209282 595 37881 5681048 149 75791 22053 10025 240 868.48 1797.99/1798.60 c 216788 595 46512 10518348 226 93053 24259 18656 244 888.33 1797.99/1798.60 c 228150 595 46821 10696351 228 93671 26685 18965 245 929.82 1797.99/1798.60 c 245295 595 51933 13553224 260 103921 29354 24077 246 996.37 1797.99/1798.60 c 271114 595 48048 11352286 236 96201 32290 20192 242 1116.18 1797.99/1798.60 c 309946 595 52127 13674417 262 104283 35520 24271 233 1327.51 1797.99/1798.60 c 368298 595 49117 11958482 243 98337 39073 21261 219 1679.66 1797.99/1798.60 c Resources Exceeded 1797.99/1798.60 v -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 1797.99/1798.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.60 c 47 394230 31037 432050 52018 13602565 24162 219 1798.01 1797.99/1798.60 c Objective: -29 1797.99/1798.60 s SATISFIABLE 1797.99/1798.60 c Total time: 1798.01 s
OK -29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656611-1276515392/watcher-2656611-1276515392 -o /tmp/evaluation-result-2656611-1276515392/solver-2656611-1276515392 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656611-1276515392.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.06 3/106 29082 /proc/meminfo: memFree=1787940/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=11580 CPUtime=0 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 346 0 0 0 0 0 0 0 17 0 1 0 27140571 11857920 265 1992294400 134512640 137138936 4291321936 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 2895 266 176 642 0 2088 0 [startup+0.0382979 s] /proc/loadavg: 0.92 0.98 1.06 3/106 29082 /proc/meminfo: memFree=1787940/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=12272 CPUtime=0.03 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 573 0 0 0 3 0 0 0 17 0 1 0 27140571 12566528 492 1992294400 134512640 137138936 4291321936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 3068 492 218 642 0 2261 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12272 [startup+0.100307 s] /proc/loadavg: 0.92 0.98 1.06 3/106 29082 /proc/meminfo: memFree=1787940/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=13784 CPUtime=0.09 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 1045 0 0 0 9 0 0 0 17 0 1 0 27140571 14114816 964 1992294400 134512640 137138936 4291321936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 3446 964 310 642 0 2639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13784 [startup+0.300341 s] /proc/loadavg: 0.92 0.98 1.06 3/106 29082 /proc/meminfo: memFree=1787940/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=15668 CPUtime=0.29 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 1720 0 0 0 28 1 0 0 17 0 1 0 27140571 16044032 1476 1992294400 134512640 137138936 4291321936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 3917 1476 185 642 0 3273 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15668 [startup+0.70041 s] /proc/loadavg: 0.92 0.98 1.06 3/106 29082 /proc/meminfo: memFree=1787940/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=16768 CPUtime=0.69 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 2196 0 0 0 67 2 0 0 17 0 1 0 27140571 17170432 1764 1992294400 134512640 137138936 4291321936 18446744073709551615 134618552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 4192 1764 192 642 0 3548 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16768 [startup+1.50055 s] /proc/loadavg: 0.92 0.98 1.06 2/107 29083 /proc/meminfo: memFree=1779252/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=22200 CPUtime=1.49 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 3555 0 0 0 146 3 0 0 18 0 1 0 27140571 22732800 3123 1992294400 134512640 137138936 4291321936 18446744073709551615 134618512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 5550 3123 192 642 0 4906 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22200 [startup+3.10082 s] /proc/loadavg: 0.92 0.98 1.06 2/107 29083 /proc/meminfo: memFree=1771936/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=32324 CPUtime=3.09 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 6073 0 0 0 304 5 0 0 21 0 1 0 27140571 33099776 5641 1992294400 134512640 137138936 4291321936 18446744073709551615 134618180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 8081 5641 192 642 0 7437 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32324 [startup+6.30137 s] /proc/loadavg: 0.93 0.98 1.06 2/107 29083 /proc/meminfo: memFree=1751972/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=50260 CPUtime=6.29 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 10561 0 0 0 621 8 0 0 25 0 1 0 27140571 51466240 10129 1992294400 134512640 137138936 4291321936 18446744073709551615 134599722 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 12565 10129 192 642 0 11921 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50260 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 1.06 2/107 29083 /proc/meminfo: memFree=1722212/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=78016 CPUtime=12.68 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 17510 0 0 0 1257 11 0 0 25 0 1 0 27140571 79888384 17078 1992294400 134512640 137138936 4291321936 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 19504 17078 192 642 0 18860 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 78016 [startup+25.5007 s] /proc/loadavg: 0.95 0.98 1.06 2/107 29083 /proc/meminfo: memFree=1676704/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=121992 CPUtime=25.48 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 28483 0 0 0 2529 19 0 0 25 0 1 0 27140571 124919808 28051 1992294400 134512640 137138936 4291321936 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 30498 28051 192 642 0 29854 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 121992 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 1.05 2/107 29085 /proc/meminfo: memFree=1671992/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=125792 CPUtime=51.07 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 29458 0 0 0 5084 23 0 0 25 0 1 0 27140571 128811008 29024 1992294400 134512640 137138936 4291321936 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 31448 29024 192 642 0 30804 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 125792 [startup+102.308 s] /proc/loadavg: 0.98 0.98 1.05 2/107 29085 /proc/meminfo: memFree=1634420/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=163224 CPUtime=102.26 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 38804 0 0 0 10191 35 0 0 25 0 1 0 27140571 167141376 38370 1992294400 134512640 137138936 4291321936 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 40806 38370 192 642 0 40162 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 163224 [startup+162.3 s] /proc/loadavg: 0.99 0.98 1.04 2/107 29087 /proc/meminfo: memFree=1597716/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=201388 CPUtime=162.24 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 48347 0 0 0 16178 46 0 0 25 0 1 0 27140571 206221312 47913 1992294400 134512640 137138936 4291321936 18446744073709551615 134607068 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 50347 47913 192 642 0 49703 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 201388 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.04 2/107 29089 /proc/meminfo: memFree=1564980/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=232256 CPUtime=222.22 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 56071 0 0 0 22165 57 0 0 25 0 1 0 27140571 237830144 55637 1992294400 134512640 137138936 4291321936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 58064 55637 192 642 0 57420 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 232256 [startup+282.302 s] /proc/loadavg: 0.99 0.98 1.03 2/107 29091 /proc/meminfo: memFree=1564980/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=232256 CPUtime=282.2 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 56071 0 0 0 28157 63 0 0 25 0 1 0 27140571 237830144 55637 1992294400 134512640 137138936 4291321936 18446744073709551615 134599722 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 58064 55637 192 642 0 57420 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 232256 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 29093 /proc/meminfo: memFree=1564608/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=232684 CPUtime=342.18 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 56181 0 0 0 34149 69 0 0 25 0 1 0 27140571 238268416 55747 1992294400 134512640 137138936 4291321936 18446744073709551615 134607598 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 58171 55747 192 642 0 57527 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 232684 [startup+402.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 29093 /proc/meminfo: memFree=1543280/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=253652 CPUtime=402.16 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 61447 0 0 0 40139 77 0 0 25 0 1 0 27140571 259739648 60980 1992294400 134512640 137138936 4291321936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 63413 60980 192 642 0 62769 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 253652 [startup+462.301 s] /proc/loadavg: 0.99 0.98 1.01 2/107 29095 /proc/meminfo: memFree=1543280/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=253652 CPUtime=462.14 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 61447 0 0 0 46133 81 0 0 25 0 1 0 27140571 259739648 60980 1992294400 134512640 137138936 4291321936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 63413 60980 192 642 0 62769 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 253652 [startup+522.302 s] /proc/loadavg: 0.99 0.98 1.01 2/107 29097 /proc/meminfo: memFree=1543280/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=253652 CPUtime=522.13 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 61447 0 0 0 52127 86 0 0 25 0 1 0 27140571 259739648 60980 1992294400 134512640 137138936 4291321936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 63413 60980 192 642 0 62769 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 253652 [startup+582.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29099 /proc/meminfo: memFree=1528276/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=269696 CPUtime=582.11 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 65447 0 0 0 58117 94 0 0 25 0 1 0 27140571 276168704 64980 1992294400 134512640 137138936 4291321936 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 67424 64980 192 642 0 66780 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 269696 [startup+642.302 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29101 /proc/meminfo: memFree=1519968/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276712 CPUtime=642.08 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67256 0 0 0 64108 100 0 0 25 0 1 0 27140571 283353088 66753 1992294400 134512640 137138936 4291321936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69178 66753 192 642 0 68534 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 276712 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1519596/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1121.92 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 112042 150 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 276788 [startup+1182.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 29115 /proc/meminfo: memFree=1519596/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1181.91 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 118035 156 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 276788 [startup+1242.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 29115 /proc/meminfo: memFree=1519472/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1241.89 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 124029 160 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 276788 [startup+1302.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 29117 /proc/meminfo: memFree=1519472/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1301.88 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 130024 164 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 276788 [startup+1362.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 29119 /proc/meminfo: memFree=1519472/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1361.84 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 136015 169 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 276788 [startup+1422.31 s] /proc/loadavg: 1.12 1.06 1.01 2/107 29121 /proc/meminfo: memFree=1519348/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1421.83 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 142010 173 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 276788 [startup+1482.3 s] /proc/loadavg: 1.36 1.12 1.03 2/107 29132 /proc/meminfo: memFree=1518108/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1481.79 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 148002 177 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 276788 [startup+1542.3 s] /proc/loadavg: 1.13 1.10 1.02 2/107 29134 /proc/meminfo: memFree=1518480/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1541.77 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 153994 183 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 276788 [startup+1602.3 s] /proc/loadavg: 1.05 1.08 1.02 2/107 29134 /proc/meminfo: memFree=1518480/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1601.76 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 159988 188 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 276788 [startup+1662.3 s] /proc/loadavg: 1.02 1.06 1.01 2/107 29136 /proc/meminfo: memFree=1518480/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1661.73 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 165980 193 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 136500369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 276788 [startup+1722.3 s] /proc/loadavg: 1.00 1.05 1.00 2/107 29138 /proc/meminfo: memFree=1518480/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=276788 CPUtime=1721.72 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 67287 0 0 0 171974 198 0 0 25 0 1 0 27140571 283430912 66773 1992294400 134512640 137138936 4291321936 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 69197 66773 192 642 0 68553 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 276788 [startup+1782.3 s] /proc/loadavg: 1.00 1.04 1.00 2/107 29140 /proc/meminfo: memFree=1493804/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=301848 CPUtime=1781.69 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 73579 0 0 0 177960 209 0 0 25 0 1 0 27140571 309092352 73026 1992294400 134512640 137138936 4291321936 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 75462 73026 192 642 0 74818 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 301848 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.03 1.00 2/107 29140 /proc/meminfo: memFree=1493804/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=301848 CPUtime=1791.3 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 73579 0 0 0 178920 210 0 0 25 0 1 0 27140571 309092352 73026 1992294400 134512640 137138936 4291321936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 75462 73026 192 642 0 74818 0 Current children cumulated CPU time (s) 1791.3 Current children cumulated vsize (KiB) 301848 [startup+1795.1 s] /proc/loadavg: 1.00 1.03 1.00 2/107 29140 /proc/meminfo: memFree=1493804/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=301848 CPUtime=1794.49 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 73579 0 0 0 179239 210 0 0 25 0 1 0 27140571 309092352 73026 1992294400 134512640 137138936 4291321936 18446744073709551615 136501845 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 75462 73026 192 642 0 74818 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 301848 [startup+1796.7 s] /proc/loadavg: 1.00 1.03 1.00 2/107 29140 /proc/meminfo: memFree=1493804/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=301848 CPUtime=1796.1 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 73579 0 0 0 179399 211 0 0 25 0 1 0 27140571 309092352 73026 1992294400 134512640 137138936 4291321936 18446744073709551615 134617964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 75462 73026 192 642 0 74818 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 301848 [startup+1797.5 s] /proc/loadavg: 1.00 1.03 1.00 2/107 29140 /proc/meminfo: memFree=1493804/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=301848 CPUtime=1796.89 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 73579 0 0 0 179478 211 0 0 25 0 1 0 27140571 309092352 73026 1992294400 134512640 137138936 4291321936 18446744073709551615 134618912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 75462 73026 192 642 0 74818 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 301848 [startup+1798.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 29140 /proc/meminfo: memFree=1493804/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=301848 CPUtime=1797.69 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 73579 0 0 0 179558 211 0 0 25 0 1 0 27140571 309092352 73026 1992294400 134512640 137138936 4291321936 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 75462 73026 192 642 0 74818 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 301848 [startup+1798.51 s] /proc/loadavg: 1.00 1.03 1.00 2/107 29140 /proc/meminfo: memFree=1493804/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=301848 CPUtime=1797.9 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 73579 0 0 0 179579 211 0 0 25 0 1 0 27140571 309092352 73026 1992294400 134512640 137138936 4291321936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 75462 73026 192 642 0 74818 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 301848 [startup+1798.6 s] /proc/loadavg: 1.00 1.03 1.00 2/107 29140 /proc/meminfo: memFree=1493804/2059040 swapFree=4140084/4192956 [pid=29082] ppid=29080 vsize=301848 CPUtime=1797.99 /proc/29082/stat : 29082 (bsolo_pb10) R 29080 29082 28600 0 -1 4202496 73579 0 0 0 179588 211 0 0 25 0 1 0 27140571 309092352 73026 1992294400 134512640 137138936 4291321936 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29082/statm: 75462 73026 192 642 0 74818 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 301848 Child status: 0 Real time (s): 1798.64 CPU time (s): 1798.04 CPU user time (s): 1795.89 CPU system time (s): 2.14667 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 302004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.89 system time used= 2.14667 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73580 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= 1 involuntary context switches= 5960 runsolver used 2.85857 second user time and 8.60269 second system time The end
Begin job on node014 at 2010-06-14 13:36:32 IDJOB=2656611 IDBENCH=2273 IDSOLVER=1162 FILE ID=node014/2656611-1276515392 PBS_JOBID= 11173425 Free space on /tmp= 62504 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656611-1276515392/watcher-2656611-1276515392 -o /tmp/evaluation-result-2656611-1276515392/solver-2656611-1276515392 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656611-1276515392.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8 RANDOM SEED=2007379086 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1788468 kB Buffers: 75808 kB Cached: 103240 kB SwapCached: 6980 kB Active: 99980 kB Inactive: 93112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1788468 kB SwapTotal: 4192956 kB SwapFree: 4140084 kB Dirty: 4628 kB Writeback: 0 kB AnonPages: 12004 kB Mapped: 12932 kB Slab: 55724 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182992 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62500 MiB End job on node014 at 2010-06-14 14:06:31