Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver inc | OPT | -35 | 54.0378 | 54.0482 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
MD5SUM | 3895ca8e12182fcd80d7923f66584703 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 54.0378 |
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 | 27931 |
Number of constraints which are clauses | 27931 |
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.06 c run inc solver 0.00/0.06 c [INC SYSTEM] run initial solver 0.00/0.06 c [INC SYSTEM] preprocess with white file 0.00/0.11 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.11 c [INC SYSTEM] execute solver 0.00/0.11 c [INC SEARCH] formula is SAT 0.00/0.11 c [INC SYSTEM] solved the initial formula 0.00/0.14 c model valid 0.00/0.14 c current solution ok 0.00/0.19 o 0 0.00/0.19 c execute binary inc search 0.00/0.19 c [INC SEARCH] current bound: 297 0.00/0.19 c [INC SEARCH] iteration: 0 0.00/0.19 c [INC SEARCH] lower bound: 0 upperbound 595 current bound: 297 best value:595 0.00/0.19 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.19 c write failed with 2 0.00/0.19 c [INC SYSTEM] create new solver instance 0.00/0.19 c [INC] encode full formula 0.00/0.19 c (debug) using card networks 0.00/0.21 c set iterative enc to: card 0.00/0.21 c set iterative enc to: none 0.00/0.21 c [INC SEARCH] isOptimum variable: 0 0.00/0.71 c [INC SEARCH] formula is UNSAT 0.00/0.72 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.72 c write failed with 2 0.00/0.72 c sat variable: 0 optimum/unsat variable: 1 0.00/0.72 c [INC SEARCH] set lower bound to 298 upperbound 595 0.00/0.72 c [INC SEARCH] current bound: 446 0.00/0.72 c [INC SEARCH] iteration: 1 0.00/0.72 c [INC SEARCH] lower bound: 298 upperbound 595 current bound: 446 best value:595 0.00/0.72 c [INC SYSTEM] create new solver instance 0.00/0.72 c [INC] encode full formula 0.00/0.72 c (debug) using card networks 0.00/0.74 c set iterative enc to: card 0.00/0.74 c set iterative enc to: none 0.00/0.74 c [INC SEARCH] isOptimum variable: 0 1.57/1.62 c [INC SEARCH] formula is UNSAT 1.57/1.62 c [INC SYSTEM] there exists a inc, kill it! 1.57/1.62 c write failed with 2 1.57/1.62 c sat variable: 0 optimum/unsat variable: 1 1.57/1.62 c [INC SEARCH] set lower bound to 447 upperbound 595 1.57/1.62 c [INC SEARCH] current bound: 521 1.57/1.62 c [INC SEARCH] iteration: 2 1.57/1.62 c [INC SEARCH] lower bound: 447 upperbound 595 current bound: 521 best value:595 1.57/1.62 c [INC SYSTEM] create new solver instance 1.57/1.62 c [INC] encode full formula 1.57/1.62 c (debug) using card networks 1.57/1.65 c set iterative enc to: card 1.57/1.65 c set iterative enc to: none 1.57/1.65 c [INC SEARCH] isOptimum variable: 0 3.18/3.23 c [INC SEARCH] formula is UNSAT 3.18/3.23 c [INC SYSTEM] there exists a inc, kill it! 3.18/3.23 c write failed with 2 3.18/3.23 c sat variable: 0 optimum/unsat variable: 1 3.18/3.23 c [INC SEARCH] set lower bound to 522 upperbound 595 3.18/3.23 c [INC SEARCH] current bound: 558 3.18/3.23 c [INC SEARCH] iteration: 3 3.18/3.23 c [INC SEARCH] lower bound: 522 upperbound 595 current bound: 558 best value:595 3.18/3.23 c [INC SYSTEM] create new solver instance 3.18/3.23 c [INC] encode full formula 3.18/3.23 c (debug) using card networks 3.18/3.25 c set iterative enc to: card 3.18/3.25 c set iterative enc to: none 3.18/3.26 c [INC SEARCH] isOptimum variable: 0 5.97/6.04 c [INC SEARCH] formula is UNSAT 5.97/6.04 c [INC SYSTEM] there exists a inc, kill it! 5.97/6.04 c write failed with 2 5.97/6.04 c sat variable: 0 optimum/unsat variable: 1 5.97/6.04 c [INC SEARCH] set lower bound to 559 upperbound 595 5.97/6.04 c [INC SEARCH] current bound: 577 5.97/6.04 c [INC SEARCH] iteration: 4 5.97/6.04 c [INC SEARCH] lower bound: 559 upperbound 595 current bound: 577 best value:595 5.97/6.04 c [INC SYSTEM] create new solver instance 5.97/6.04 c [INC] encode full formula 5.97/6.04 c (debug) using card networks 5.97/6.07 c set iterative enc to: card 5.97/6.07 c set iterative enc to: none 5.97/6.07 c [INC SEARCH] isOptimum variable: 0 6.04/6.15 c [INC SEARCH] formula is SAT 6.04/6.15 c [INC SEARCH] copied best model 6.04/6.15 c sat variable: 1 optimum/unsat variable: 0 6.04/6.18 c model valid 6.04/6.18 c current solution ok 6.04/6.18 o -24 6.04/6.18 c [INC SEARCH] current bound: 565 6.04/6.18 c [INC SEARCH] iteration: 5 6.04/6.18 c [INC SEARCH] lower bound: 559 upperbound 571 current bound: 565 best value:571 6.04/6.18 c [INC SYSTEM] there exists a inc, kill it! 6.04/6.18 c write failed with 2 6.04/6.18 c [INC SYSTEM] create new solver instance 6.04/6.18 c [INC] encode full formula 6.04/6.18 c (debug) using card networks 6.17/6.20 c set iterative enc to: card 6.17/6.20 c set iterative enc to: none 6.17/6.20 c [INC SEARCH] isOptimum variable: 0 8.57/8.63 c [INC SEARCH] formula is SAT 8.57/8.63 c [INC SEARCH] copied best model 8.57/8.63 c sat variable: 1 optimum/unsat variable: 0 8.57/8.66 c model valid 8.57/8.66 c current solution ok 8.57/8.66 o -30 8.57/8.66 c [INC SEARCH] current bound: 562 8.57/8.66 c [INC SEARCH] iteration: 6 8.57/8.66 c [INC SEARCH] lower bound: 559 upperbound 565 current bound: 562 best value:565 8.57/8.66 c [INC SYSTEM] there exists a inc, kill it! 8.57/8.66 c write failed with 2 8.57/8.66 c [INC SYSTEM] create new solver instance 8.57/8.66 c [INC] encode full formula 8.57/8.66 c (debug) using card networks 8.57/8.68 c set iterative enc to: card 8.57/8.68 c set iterative enc to: none 8.57/8.69 c [INC SEARCH] isOptimum variable: 0 11.97/12.01 c [INC SEARCH] formula is SAT 11.97/12.01 c [INC SEARCH] copied best model 11.97/12.01 c sat variable: 1 optimum/unsat variable: 0 11.97/12.04 c model valid 11.97/12.04 c current solution ok 11.97/12.04 o -33 11.97/12.04 c [INC SEARCH] current bound: 560 11.97/12.04 c [INC SEARCH] iteration: 7 11.97/12.04 c [INC SEARCH] lower bound: 559 upperbound 562 current bound: 560 best value:562 11.97/12.04 c [INC SYSTEM] there exists a inc, kill it! 11.97/12.04 c write failed with 2 11.97/12.04 c [INC SYSTEM] create new solver instance 11.97/12.04 c [INC] encode full formula 11.97/12.04 c (debug) using card networks 11.97/12.06 c set iterative enc to: card 11.97/12.06 c set iterative enc to: none 11.97/12.07 c [INC SEARCH] isOptimum variable: 0 49.76/49.86 c [INC SEARCH] formula is SAT 49.76/49.87 c [INC SEARCH] copied best model 49.76/49.87 c sat variable: 1 optimum/unsat variable: 0 49.76/49.89 c model valid 49.76/49.89 c current solution ok 49.76/49.89 o -35 49.76/49.89 c [INC SEARCH] current bound: 559 49.76/49.89 c [INC SEARCH] iteration: 8 49.76/49.89 c [INC SEARCH] lower bound: 559 upperbound 560 current bound: 559 best value:560 49.76/49.89 c [INC SYSTEM] there exists a inc, kill it! 49.76/49.89 c write failed with 2 49.76/49.89 c [INC SYSTEM] create new solver instance 49.76/49.89 c [INC] encode full formula 49.76/49.89 c (debug) using card networks 49.86/49.92 c set iterative enc to: card 49.86/49.92 c set iterative enc to: none 49.86/49.92 c [INC SEARCH] isOptimum variable: 0 53.95/54.04 c [INC SEARCH] formula is UNSAT 53.95/54.04 c [INC SYSTEM] there exists a inc, kill it! 53.95/54.04 c write failed with 2 53.95/54.04 c sat variable: 0 optimum/unsat variable: 1 53.95/54.04 c [INC SEARCH] set lower bound to 560 upperbound 560 53.95/54.04 c display solution 53.95/54.04 s OPTIMUM FOUND 53.95/54.04 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
OK -35
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3699648-1338064392/watcher-3699648-1338064392 -o /tmp/evaluation-result-3699648-1338064392/solver-3699648-1338064392 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699648-1338064392.opb 2070774780 HOME HOME running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/179 1330 /proc/meminfo: memFree=28561820/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [startup+0.0830459 s] /proc/loadavg: 2.00 2.00 2.00 3/179 1330 /proc/meminfo: memFree=28561820/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100163 s] /proc/loadavg: 2.00 2.00 2.00 3/179 1330 /proc/meminfo: memFree=28561820/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300252 s] /proc/loadavg: 2.00 2.00 2.00 3/179 1330 /proc/meminfo: memFree=28561820/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700288 s] /proc/loadavg: 2.00 2.00 2.00 3/179 1330 /proc/meminfo: memFree=28561820/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50037 s] /proc/loadavg: 2.00 2.00 2.00 3/182 1341 /proc/meminfo: memFree=28542052/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=2732 CPUtime=0.73 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 2819 7879 0 0 13 4 55 1 20 0 1 0 272565975 2797568 341 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 683 341 180 440 0 239 0 [pid=1341] ppid=1331 vsize=18636 CPUtime=0.74 cores=1,3,5,7 /proc/1341/stat : 1341 (glucosInc) R 1331 1330 339 0 -1 4202496 3435 0 0 0 74 0 0 0 20 0 1 0 272566050 19083264 3718 33554432000 4194304 5654031 140734766725392 140734766723160 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1341/statm: 4659 3718 131 357 0 4299 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 30516 [startup+3.10036 s] /proc/loadavg: 2.00 2.00 2.00 3/182 1343 /proc/meminfo: memFree=28541184/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=2732 CPUtime=1.64 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 3975 11839 0 0 15 5 142 2 20 0 1 0 272565975 2797568 341 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 683 341 180 440 0 239 0 [pid=1343] ppid=1331 vsize=17360 CPUtime=1.44 cores=1,3,5,7 /proc/1343/stat : 1343 (glucosInc) R 1331 1330 339 0 -1 4202496 4160 0 0 0 143 1 0 0 20 0 1 0 272566140 17776640 3600 33554432000 4194304 5654031 140736298431584 140736298419400 4232505 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1343/statm: 4340 3600 138 357 0 3980 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29240 [startup+6.30031 s] /proc/loadavg: 2.08 2.02 2.01 3/182 1347 /proc/meminfo: memFree=28534524/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=7540 CPUtime=6.19 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 7631 25834 0 0 25 6 583 5 20 0 1 0 272565975 7720960 1298 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 1885 1298 180 440 0 1441 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 16688 [startup+12.7003 s] /proc/loadavg: 2.07 2.02 2.00 4/182 1411 /proc/meminfo: memFree=28670784/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=7540 CPUtime=12.05 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 10311 36244 0 0 35 6 1157 7 20 0 1 0 272565975 7720960 1298 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 1885 1298 180 440 0 1441 0 Current children cumulated CPU time (s) 12.05 Current children cumulated vsize (KiB) 16688 [startup+25.5003 s] /proc/loadavg: 2.06 2.02 2.00 3/182 1420 /proc/meminfo: memFree=28644332/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=7540 CPUtime=12.05 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 10311 36244 0 0 35 6 1157 7 20 0 1 0 272565975 7720960 1298 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 1885 1298 180 440 0 1441 0 [pid=1413] ppid=1331 vsize=29540 CPUtime=13.42 cores=1,3,5,7 /proc/1413/stat : 1413 (glucosInc) R 1331 1330 339 0 -1 4202496 7441 0 0 0 1341 1 0 0 20 0 1 0 272567182 30248960 6841 33554432000 4194304 5654031 140733705515328 140733705503144 4217262 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1413/statm: 7385 6841 142 357 0 7025 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 46228 [startup+51.1003 s] /proc/loadavg: 2.04 2.01 2.00 3/181 1424 /proc/meminfo: memFree=28649952/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=7540 CPUtime=49.89 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 11649 45547 0 0 40 7 4933 9 20 0 1 0 272565975 7720960 1298 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 1885 1298 180 440 0 1441 0 [pid=1424] ppid=1331 vsize=19048 CPUtime=1.16 cores=1,3,5,7 /proc/1424/stat : 1424 (glucosInc) R 1331 1330 339 0 -1 4202496 3873 0 0 0 116 0 0 0 20 0 1 0 272570967 19505152 4113 33554432000 4194304 5654031 140737165157824 140737165145640 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1424/statm: 4762 4113 140 357 0 4402 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 35736 Solver just ended. Dumping a history of the last processes samples [startup+52.7003 s] /proc/loadavg: 2.04 2.01 2.00 3/181 1426 /proc/meminfo: memFree=28663912/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=7540 CPUtime=49.89 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 11649 45547 0 0 40 7 4933 9 20 0 1 0 272565975 7720960 1298 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 1885 1298 180 440 0 1441 0 [pid=1424] ppid=1331 vsize=17836 CPUtime=2.77 cores=1,3,5,7 /proc/1424/stat : 1424 (glucosInc) R 1331 1330 339 0 -1 4202496 4093 0 0 0 277 0 0 0 20 0 1 0 272570967 18264064 3865 33554432000 4194304 5654031 140737165157824 140737165145640 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1424/statm: 4459 3865 142 357 0 4099 0 Current children cumulated CPU time (s) 52.66 Current children cumulated vsize (KiB) 34524 [startup+53.5003 s] /proc/loadavg: 2.04 2.01 2.00 3/181 1426 /proc/meminfo: memFree=28663912/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=7540 CPUtime=49.89 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 11649 45547 0 0 40 7 4933 9 20 0 1 0 272565975 7720960 1298 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 1885 1298 180 440 0 1441 0 [pid=1424] ppid=1331 vsize=19744 CPUtime=3.56 cores=1,3,5,7 /proc/1424/stat : 1424 (glucosInc) R 1331 1330 339 0 -1 4202496 4303 0 0 0 356 0 0 0 20 0 1 0 272570967 20217856 4073 33554432000 4194304 5654031 140737165157824 140737165145640 4208659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1424/statm: 4936 4073 142 357 0 4576 0 Current children cumulated CPU time (s) 53.45 Current children cumulated vsize (KiB) 36432 [startup+53.9067 s] /proc/loadavg: 2.04 2.01 2.00 3/181 1426 /proc/meminfo: memFree=28664968/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=7540 CPUtime=49.89 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 11649 45547 0 0 40 7 4933 9 20 0 1 0 272565975 7720960 1298 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 1885 1298 180 440 0 1441 0 [pid=1424] ppid=1331 vsize=18084 CPUtime=3.96 cores=1,3,5,7 /proc/1424/stat : 1424 (glucosInc) R 1331 1330 339 0 -1 4202496 5016 0 0 0 396 0 0 0 20 0 1 0 272570967 18518016 3872 33554432000 4194304 5654031 140737165157824 140737165145640 4208659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1424/statm: 4521 3872 142 357 0 4161 0 Current children cumulated CPU time (s) 53.85 Current children cumulated vsize (KiB) 34772 [startup+54.0003 s] /proc/loadavg: 2.04 2.01 2.00 3/181 1426 /proc/meminfo: memFree=28664968/32873648 swapFree=6844/6844 [pid=1330] ppid=1328 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1330/stat : 1330 (npSolver-pbo-I.) S 1328 1330 339 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272565975 9367552 275 33554432000 4194304 5064252 140735262301536 140735262300448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1330/statm: 2287 275 233 213 0 72 0 [pid=1331] ppid=1330 vsize=7540 CPUtime=49.89 cores=1,3,5,7 /proc/1331/stat : 1331 (npSolver-pbo) S 1330 1330 339 0 -1 4202496 11649 45547 0 0 40 7 4933 9 20 0 1 0 272565975 7720960 1298 33554432000 4194304 5992684 140737204464304 140737204449208 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/1331/statm: 1885 1298 180 440 0 1441 0 [pid=1424] ppid=1331 vsize=18084 CPUtime=4.06 cores=1,3,5,7 /proc/1424/stat : 1424 (glucosInc) R 1331 1330 339 0 -1 4202496 5035 0 0 0 406 0 0 0 20 0 1 0 272570967 18518016 3889 33554432000 4194304 5654031 140737165157824 140737165145640 4233464 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1424/statm: 4521 3889 142 357 0 4161 0 Current children cumulated CPU time (s) 53.95 Current children cumulated vsize (KiB) 34772 Child status: 0 Real time (s): 54.0482 CPU time (s): 54.0378 CPU user time (s): 53.8548 CPU system time (s): 0.182972 CPU usage (%): 99.9808 Max. virtual memory (cumulated for all children) (KiB): 60496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.8548 system time used= 0.182972 maximum resident set size= 36800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63079 page faults= 0 swaps= 0 block input operations= 0 block output operations= 29408 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 372 involuntary context switches= 164 runsolver used 0.099984 second user time and 0.32595 second system time The end
Begin job on node115 at 2012-05-26 22:33:12 IDJOB=3699648 IDBENCH=2272 IDSOLVER=2276 FILE ID=node115/3699648-1338064392 RUNJOBID= node115-1338051787-356 PBS_JOBID= 14624382 Free space on /tmp= 71564 MiB SOLVER NAME= npSolver inc BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3699648-1338064392/watcher-3699648-1338064392 -o /tmp/evaluation-result-3699648-1338064392/solver-3699648-1338064392 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699648-1338064392.opb 2070774780 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703 RANDOM SEED=2070774780 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28562340 kB Buffers: 250132 kB Cached: 3133488 kB SwapCached: 0 kB Active: 1165400 kB Inactive: 2359100 kB Active(anon): 143620 kB Inactive(anon): 0 kB Active(file): 1021780 kB Inactive(file): 2359100 kB Unevictable: 6844 kB Mlocked: 6844 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 9100 kB Writeback: 16 kB AnonPages: 162140 kB Mapped: 15648 kB Shmem: 200 kB Slab: 631884 kB SReclaimable: 76188 kB SUnreclaim: 555696 kB KernelStack: 1472 kB PageTables: 4492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 284872 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 129024 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71556 MiB End job on node115 at 2012-05-26 22:34:06