Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -30 | 1798.04 | 1798.69 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb |
MD5SUM | 7f24dba3f3d4b877b96bd50f5b27c089 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -33 |
Best CPU time to get the best result obtained on this benchmark | 1789.78 |
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 | 28143 |
Number of constraints which are clauses | 28143 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657569-1276514012.opb 0.00/0.00 c File size is 669646 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.108 s 0.09/0.12 c Var: 595 Constr: 28143 28143/0/0 Lit: 56286 Watch. Lit: 56286 0.09/0.12 c Obj. Vars: 595 (100 % of total variables) 0.40/0.46 c Pre-processing Time: 0.463 s 0.40/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.40/0.46 c 0 595 28143 56286 2 56286 9381 0 0 0.46 0.40/0.46 c Switching off lower bounding mode. 0.40/0.47 o -21 0.40/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.40/0.48 c 0 595 28144 56881 2 56309 10381 1 0 0.47 0.40/0.48 o -22 0.40/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.40/0.49 c 42 595 28187 81404 2 56417 10381 44 86 0.49 0.40/0.49 o -23 0.40/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.40/0.49 c 42 595 28188 81999 2 56442 10381 45 85 0.49 0.40/0.49 o -26 0.40/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.40/0.49 c 42 595 28189 82594 2 56470 10381 46 85 0.49 0.40/0.49 o -27 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 49 595 28197 87148 3 56513 10381 54 98 0.50 0.49/0.50 o -28 28.28/28.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.32 c 55 595 28204 91137 3 56555 10381 61 109 0.50 28.28/28.32 c 155 595 28304 147469 5 56755 11420 161 283 0.55 28.28/28.32 c 406 595 28555 288743 10 57257 12563 412 604 0.67 28.28/28.32 c 882 595 29031 556839 19 58209 13820 888 957 0.92 28.28/28.32 c 1695 595 29844 1014846 34 59835 15203 1701 1247 1.36 28.28/28.32 c 3016 595 31165 1759220 56 62477 16724 3022 1367 2.21 28.28/28.32 c 5097 595 33246 2930749 88 66639 18397 5103 1359 3.75 28.28/28.32 c 8320 595 36469 4743429 130 73085 20237 8326 1305 6.37 28.28/28.32 c 13256 595 41405 7521178 181 82957 22261 13262 1092 12.13 28.28/28.32 c 20762 595 48911 11746662 240 97969 24488 20768 750 27.66 28.28/28.32 o -29 1242.24/1242.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1242.24/1242.71 c 21363 595 49513 12085251 244 99202 10381 21370 754 28.31 1242.24/1242.71 c 21463 595 33435 3034192 90 66899 11420 5292 712 30.14 1242.24/1242.71 c 21713 595 33685 3174823 94 67399 12563 5542 716 30.29 1242.24/1242.71 c 22189 595 34161 3442407 100 68351 13820 6018 726 30.56 1242.24/1242.71 c 23002 595 34974 3899445 111 69977 15203 6831 740 31.07 1242.24/1242.71 c 24322 595 36294 4640560 127 72617 16724 8151 758 32.06 1242.24/1242.71 c 26403 595 38375 5809250 151 76779 18397 10232 781 33.77 1242.24/1242.71 c 29627 595 41599 7618629 183 83227 20237 13456 787 37.61 1242.24/1242.71 c 34563 595 46535 10388883 223 93099 22261 18392 782 44.19 1242.24/1242.71 c 42070 595 42039 7857046 186 84107 24488 13896 767 54.82 1242.24/1242.71 c 53432 595 39229 6285411 160 78487 26937 11086 669 79.79 1242.24/1242.71 c 70579 595 39868 6640737 166 79765 29631 11725 600 117.60 1242.24/1242.71 c 96399 595 46616 10432590 223 93261 32595 18473 551 174.81 1242.24/1242.71 c 135231 595 41500 7555966 182 83029 35855 13357 460 293.88 1242.24/1242.71 c 193584 595 49769 12184498 244 99567 39441 21626 336 574.92 1242.24/1242.71 c 281217 595 51680 13269097 256 103389 43386 23537 314 893.08 1242.24/1242.71 o -30 1797.93/1798.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.65 c 348935 595 54614 14931575 273 109287 10381 26471 280 1242.26 1797.93/1798.65 c 349035 595 33435 3031834 90 66900 11420 5292 280 1244.61 1797.93/1798.65 c 349285 595 33685 3172209 94 67400 12563 5542 280 1244.76 1797.93/1798.65 c 349761 595 34161 3438943 100 68352 13820 6018 280 1245.11 1797.93/1798.65 c 350574 595 34974 3895011 111 69978 15203 6831 281 1245.69 1797.93/1798.65 c 351894 595 36294 4635611 127 72618 16724 8151 282 1246.55 1797.93/1798.65 c 353977 595 38377 5803441 151 76784 18397 10234 283 1248.99 1797.93/1798.65 c 357201 595 41601 7608386 182 83232 20237 13458 285 1251.89 1797.93/1798.65 c 362137 595 46537 10374458 222 93104 22261 18394 286 1263.19 1797.93/1798.65 c 369643 595 42008 7826509 186 84046 24488 13865 288 1279.52 1797.93/1798.65 c 381005 595 39221 6270371 159 78472 26937 11078 292 1300.64 1797.93/1798.65 c 398149 595 39875 6629533 166 79780 29631 11732 299 1331.21 1797.93/1798.65 c 423969 595 46601 10394556 223 93232 32595 18458 305 1386.65 1797.93/1798.65 c 462801 595 41497 7539821 181 83024 35855 13354 307 1504.99 1797.93/1798.65 c 521153 595 49622 12108395 244 99274 39441 21479 300 1737.12 1797.93/1798.65 c Resources Exceeded 1797.93/1798.65 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.93/1798.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.65 c 46 544985 34091 585418 44823 9407558 16680 303 1798.00 1797.93/1798.65 c Objective: -30 1797.93/1798.65 s SATISFIABLE 1797.93/1798.65 c Total time: 1798 s
OK -30
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657569-1276514012/watcher-2657569-1276514012 -o /tmp/evaluation-result-2657569-1276514012/solver-2657569-1276514012 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657569-1276514012.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.91 0.97 0.99 3/106 30429 /proc/meminfo: memFree=1797956/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=11584 CPUtime=0 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 27002791 11862016 268 1992294400 134512640 137138936 4292797472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 2896 268 176 642 0 2088 0 [startup+0.07382 s] /proc/loadavg: 0.91 0.97 0.99 3/106 30429 /proc/meminfo: memFree=1797956/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=13236 CPUtime=0.06 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 861 0 0 0 6 0 0 0 20 0 1 0 27002791 13553664 779 1992294400 134512640 137138936 4292797472 18446744073709551615 136525315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 3309 780 274 642 0 2501 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13236 [startup+0.101825 s] /proc/loadavg: 0.91 0.97 0.99 3/106 30429 /proc/meminfo: memFree=1797956/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=13924 CPUtime=0.09 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 1075 0 0 0 9 0 0 0 20 0 1 0 27002791 14258176 993 1992294400 134512640 137138936 4292797472 18446744073709551615 134529510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 3481 993 315 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13924 [startup+0.300868 s] /proc/loadavg: 0.91 0.97 0.99 3/106 30429 /proc/meminfo: memFree=1797956/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=15788 CPUtime=0.29 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 1733 0 0 0 27 2 0 0 20 0 1 0 27002791 16166912 1487 1992294400 134512640 137138936 4292797472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 3947 1487 185 642 0 3303 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15788 [startup+0.700953 s] /proc/loadavg: 0.91 0.97 0.99 3/106 30429 /proc/meminfo: memFree=1797956/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=18216 CPUtime=0.69 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 2561 0 0 0 66 3 0 0 20 0 1 0 27002791 18653184 2119 1992294400 134512640 137138936 4292797472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 4554 2119 191 642 0 3910 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18216 [startup+1.50112 s] /proc/loadavg: 0.91 0.97 0.99 2/107 30432 /proc/meminfo: memFree=1785548/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=29184 CPUtime=1.49 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 5285 0 0 0 144 5 0 0 22 0 1 0 27002791 29884416 4843 1992294400 134512640 137138936 4292797472 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 7296 4843 191 642 0 6652 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29184 [startup+3.10046 s] /proc/loadavg: 0.92 0.97 0.99 2/107 30432 /proc/meminfo: memFree=1772156/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=46324 CPUtime=3.09 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 9582 0 0 0 302 7 0 0 25 0 1 0 27002791 47435776 9140 1992294400 134512640 137138936 4292797472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 11581 9140 191 642 0 10937 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46324 [startup+6.30114 s] /proc/loadavg: 0.92 0.97 0.99 2/107 30432 /proc/meminfo: memFree=1740164/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=74780 CPUtime=6.29 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 16704 0 0 0 619 10 0 0 25 0 1 0 27002791 76574720 16262 1992294400 134512640 137138936 4292797472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 18695 16262 191 642 0 18051 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 74780 [startup+12.7005 s] /proc/loadavg: 0.93 0.97 0.99 2/107 30432 /proc/meminfo: memFree=1696888/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=115864 CPUtime=12.68 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 26959 0 0 0 1251 17 0 0 25 0 1 0 27002791 118644736 26517 1992294400 134512640 137138936 4292797472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 28966 26517 191 642 0 28322 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 115864 [startup+25.5012 s] /proc/loadavg: 0.94 0.97 0.99 2/107 30432 /proc/meminfo: memFree=1644560/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=163460 CPUtime=25.48 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 38872 0 0 0 2523 25 0 0 25 0 1 0 27002791 167383040 38430 1992294400 134512640 137138936 4292797472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 40865 38430 191 642 0 40221 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 163460 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.99 2/107 30435 /proc/meminfo: memFree=1626952/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=180284 CPUtime=51.07 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 43086 0 0 0 5075 32 0 0 25 0 1 0 27002791 184610816 42644 1992294400 134512640 137138936 4292797472 18446744073709551615 136504146 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 45071 42644 191 642 0 44427 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 180284 [startup+102.309 s] /proc/loadavg: 0.98 0.97 0.99 2/107 30437 /proc/meminfo: memFree=1610832/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=196524 CPUtime=102.26 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 47139 0 0 0 10183 43 0 0 25 0 1 0 27002791 201240576 46697 1992294400 134512640 137138936 4292797472 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 49131 46697 191 642 0 48487 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 196524 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 30439 /proc/meminfo: memFree=1573508/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=233896 CPUtime=162.23 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 56487 0 0 0 16163 60 0 0 25 0 1 0 27002791 239509504 56045 1992294400 134512640 137138936 4292797472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 58474 56045 191 642 0 57830 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 233896 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 30439 /proc/meminfo: memFree=1551808/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=255324 CPUtime=222.21 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 61861 0 0 0 22148 73 0 0 25 0 1 0 27002791 261451776 61386 1992294400 134512640 137138936 4292797472 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 63831 61386 191 642 0 63187 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 255324 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 30441 /proc/meminfo: memFree=1551808/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=255324 CPUtime=282.18 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 61861 0 0 0 28137 81 0 0 25 0 1 0 27002791 261451776 61386 1992294400 134512640 137138936 4292797472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 63831 61386 191 642 0 63187 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 255324 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 30443 /proc/meminfo: memFree=1551684/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=255512 CPUtime=342.16 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 61895 0 0 0 34127 89 0 0 25 0 1 0 27002791 261644288 61420 1992294400 134512640 137138936 4292797472 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 63878 61420 191 642 0 63234 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 255512 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 30445 /proc/meminfo: memFree=1528248/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=278840 CPUtime=402.14 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 67763 0 0 0 40115 99 0 0 25 0 1 0 27002791 285532160 67252 1992294400 134512640 137138936 4292797472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 69710 67252 191 642 0 69066 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 278840 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 30447 /proc/meminfo: memFree=1528124/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=278840 CPUtime=462.12 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 67763 0 0 0 46108 104 0 0 25 0 1 0 27002791 285532160 67252 1992294400 134512640 137138936 4292797472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 69710 67252 191 642 0 69066 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 278840 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 30447 /proc/meminfo: memFree=1528000/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=278840 CPUtime=522.1 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 67763 0 0 0 52103 107 0 0 25 0 1 0 27002791 285532160 67252 1992294400 134512640 137138936 4292797472 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 69710 67252 191 642 0 69066 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 278840 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 30449 /proc/meminfo: memFree=1528000/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=278816 CPUtime=582.07 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 67797 0 0 0 58094 113 0 0 25 0 1 0 27002791 285507584 67278 1992294400 134512640 137138936 4292797472 18446744073709551615 134575829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 69704 67278 191 642 0 69060 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 278816 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 30451 /proc/meminfo: memFree=1502332/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=304504 CPUtime=642.06 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 74251 0 0 0 64080 126 0 0 25 0 1 0 27002791 311812096 73692 1992294400 134512640 137138936 4292797472 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 76126 73692 191 642 0 75482 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 304504 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1472944/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=333476 CPUtime=1121.88 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81527 0 0 0 112006 182 0 0 25 0 1 0 27002791 341479424 80925 1992294400 134512640 137138936 4292797472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 83369 80925 191 642 0 82725 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 333476 [startup+1182.3 s] /proc/loadavg: 1.06 1.05 1.01 2/107 30465 /proc/meminfo: memFree=1472820/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=333744 CPUtime=1181.85 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 118001 184 0 0 25 0 1 0 27002791 341753856 80978 1992294400 134512640 137138936 4292797472 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 83436 80978 191 642 0 82792 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 333744 [startup+1242.3 s] /proc/loadavg: 1.12 1.06 1.01 2/107 30467 /proc/meminfo: memFree=1472572/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=333744 CPUtime=1241.84 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 123994 190 0 0 25 0 1 0 27002791 341753856 80978 1992294400 134512640 137138936 4292797472 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 83436 80978 191 642 0 82792 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 333744 [startup+1302.3 s] /proc/loadavg: 1.11 1.07 1.01 2/107 30469 /proc/meminfo: memFree=1472944/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=332700 CPUtime=1301.82 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 129982 200 0 0 25 0 1 0 27002791 340684800 80749 1992294400 134512640 137138936 4292797472 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 83175 80749 191 642 0 82531 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 332700 [startup+1362.3 s] /proc/loadavg: 1.10 1.07 1.01 2/107 30471 /proc/meminfo: memFree=1472944/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=332700 CPUtime=1361.8 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 135969 211 0 0 25 0 1 0 27002791 340684800 80749 1992294400 134512640 137138936 4292797472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 83175 80749 191 642 0 82531 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 332700 [startup+1422.31 s] /proc/loadavg: 1.04 1.05 1.00 2/107 30471 /proc/meminfo: memFree=1473068/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=332700 CPUtime=1421.77 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 141957 220 0 0 25 0 1 0 27002791 340684800 80749 1992294400 134512640 137138936 4292797472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 83175 80749 191 642 0 82531 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 332700 [startup+1482.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 30473 /proc/meminfo: memFree=1473936/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331780 CPUtime=1481.75 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 147947 228 0 0 25 0 1 0 27002791 339742720 80519 1992294400 134512640 137138936 4292797472 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82945 80519 191 642 0 82301 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 331780 [startup+1542.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 30475 /proc/meminfo: memFree=1473936/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331780 CPUtime=1541.73 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 153937 236 0 0 25 0 1 0 27002791 339742720 80519 1992294400 134512640 137138936 4292797472 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82945 80519 191 642 0 82301 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 331780 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30477 /proc/meminfo: memFree=1473936/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331780 CPUtime=1601.71 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 159926 245 0 0 25 0 1 0 27002791 339742720 80519 1992294400 134512640 137138936 4292797472 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82945 80519 191 642 0 82301 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 331780 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30479 /proc/meminfo: memFree=1473812/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331780 CPUtime=1661.69 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 165918 251 0 0 25 0 1 0 27002791 339742720 80519 1992294400 134512640 137138936 4292797472 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82945 80519 191 642 0 82301 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 331780 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30479 /proc/meminfo: memFree=1473812/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331780 CPUtime=1721.67 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 171912 255 0 0 25 0 1 0 27002791 339742720 80519 1992294400 134512640 137138936 4292797472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82945 80519 191 642 0 82301 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 331780 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30481 /proc/meminfo: memFree=1473564/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331780 CPUtime=1781.64 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 177900 264 0 0 25 0 1 0 27002791 339742720 80519 1992294400 134512640 137138936 4292797472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82945 80519 191 642 0 82301 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 331780 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30481 /proc/meminfo: memFree=1473564/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331780 CPUtime=1791.24 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 178859 265 0 0 25 0 1 0 27002791 339742720 80519 1992294400 134512640 137138936 4292797472 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82945 80519 191 642 0 82301 0 Current children cumulated CPU time (s) 1791.24 Current children cumulated vsize (KiB) 331780 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30481 /proc/meminfo: memFree=1473564/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331780 CPUtime=1794.44 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 179178 266 0 0 25 0 1 0 27002791 339742720 80519 1992294400 134512640 137138936 4292797472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82945 80519 191 642 0 82301 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (KiB) 331780 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30481 /proc/meminfo: memFree=1473812/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331560 CPUtime=1796.03 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 179337 266 0 0 25 0 1 0 27002791 339517440 80464 1992294400 134512640 137138936 4292797472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82890 80464 191 642 0 82246 0 Current children cumulated CPU time (s) 1796.03 Current children cumulated vsize (KiB) 331560 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30481 /proc/meminfo: memFree=1473812/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331560 CPUtime=1796.83 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 179417 266 0 0 25 0 1 0 27002791 339517440 80464 1992294400 134512640 137138936 4292797472 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82890 80464 191 642 0 82246 0 Current children cumulated CPU time (s) 1796.83 Current children cumulated vsize (KiB) 331560 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30481 /proc/meminfo: memFree=1473812/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331560 CPUtime=1797.63 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 179497 266 0 0 25 0 1 0 27002791 339517440 80464 1992294400 134512640 137138936 4292797472 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82890 80464 191 642 0 82246 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (KiB) 331560 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30481 /proc/meminfo: memFree=1473812/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331560 CPUtime=1797.84 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 179518 266 0 0 25 0 1 0 27002791 339517440 80464 1992294400 134512640 137138936 4292797472 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82890 80464 191 642 0 82246 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 331560 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30481 /proc/meminfo: memFree=1473812/2059040 swapFree=4140220/4192956 [pid=30429] ppid=30427 vsize=331560 CPUtime=1797.93 /proc/30429/stat : 30429 (bsolo_pb10) R 30427 30429 30240 0 -1 4202496 81580 0 0 0 179527 266 0 0 25 0 1 0 27002791 339517440 80464 1992294400 134512640 137138936 4292797472 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30429/statm: 82890 80464 191 642 0 82246 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 331560 Child status: 0 Real time (s): 1798.69 CPU time (s): 1798.04 CPU user time (s): 1795.34 CPU system time (s): 2.70159 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 333744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.34 system time used= 2.70159 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81581 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= 6580 runsolver used 3.10853 second user time and 8.34873 second system time The end
Begin job on node010 at 2010-06-14 13:13:32 IDJOB=2657569 IDBENCH=2271 IDSOLVER=1163 FILE ID=node010/2657569-1276514012 PBS_JOBID= 11173430 Free space on /tmp= 62500 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657569-1276514012/watcher-2657569-1276514012 -o /tmp/evaluation-result-2657569-1276514012/solver-2657569-1276514012 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657569-1276514012.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089 RANDOM SEED=436001997 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1798484 kB Buffers: 76304 kB Cached: 105100 kB SwapCached: 5836 kB Active: 99512 kB Inactive: 94320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1798484 kB SwapTotal: 4192956 kB SwapFree: 4140220 kB Dirty: 4656 kB Writeback: 0 kB AnonPages: 10868 kB Mapped: 12940 kB Slab: 44936 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182688 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= 62496 MiB End job on node010 at 2010-06-14 13:43:30