Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -32 | 1800.19 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb |
MD5SUM | 7262f9f4ab1a3ada75b3b140acf97f7d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -39 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41605 |
Number of constraints which are clauses | 41605 |
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 | 760 |
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 | 760 |
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 | 760 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433092-1177954284/instance-433092-1177954284.opb 0.00/0.00 c File size is 993315 bytes. 0.09/0.17 c Highest Coefficient sum: 760 0.09/0.17 c Parsing was ok!! 0.09/0.17 c Total parsing time: 0.169 s 0.09/0.19 c Var: 760 Constr: 41605 41605/0/0 Lit: 83210 Watch. Lit: 83210 0.09/0.19 c Obj. Vars: 760 (100 % of total variables) 0.89/0.91 c Pre-processing Time: 0.905 s 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 760 41605 83210 2 83210 13868 0 0 0.91 0.89/0.91 c Switching off LPR mode. 0.89/0.91 o -29 0.912 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 0 760 41606 83970 2 83241 14868 1 0 0.91 0.89/0.94 o -30 0.935 1.18/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.18/1.23 c 56 760 41663 125521 3 83385 14868 58 59 0.94 1.18/1.23 c 156 760 41763 198082 4 83585 16355 158 159 0.98 1.18/1.23 c 406 760 42013 379756 9 84085 17991 408 368 1.10 1.18/1.23 o -31 1.226 820.85/821.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 820.85/821.18 c 640 760 42248 550519 13 84586 14868 643 521 1.23 820.85/821.18 c 741 760 42349 623669 14 84788 16355 744 582 1.27 820.85/821.18 c 993 760 42601 806231 18 85292 17991 996 713 1.39 820.85/821.18 c 1468 760 43076 1150703 26 86242 19791 1471 893 1.64 820.85/821.18 c 2281 760 43889 1740183 39 87868 21771 2284 1040 2.19 820.85/821.18 c 3601 760 45209 2695857 59 90508 23949 3604 1031 3.49 820.85/821.18 c 5682 760 47290 4204452 88 94670 26344 5685 1020 5.57 820.85/821.18 c 8906 760 50514 6540866 129 101118 28979 8909 805 11.05 820.85/821.18 c 13842 760 55450 10115164 182 110990 31877 13845 632 21.87 820.85/821.18 c 21349 760 62957 15556738 247 126004 35065 21352 494 43.22 820.85/821.18 c 32710 760 74318 23789082 320 148726 38572 32713 342 95.57 820.85/821.18 c 49855 760 63660 16065482 252 127351 42430 22055 236 210.36 820.85/821.18 c 75674 760 58108 12043736 207 116247 46674 16503 176 428.52 820.85/821.18 c 114508 760 61109 14217329 232 122249 51342 19504 139 819.83 820.85/821.18 o -32 820.942 1800.10/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.10/1800.71 c 115562 760 62164 14982490 241 124391 14868 20559 140 820.94 1800.10/1800.71 c 115662 760 49140 5543652 112 98312 16355 7535 140 825.85 1800.10/1800.71 c 115913 760 49391 5725252 115 98814 17991 7786 140 826.48 1800.10/1800.71 c 116388 760 49866 6068864 121 99764 19791 8261 140 826.85 1800.10/1800.71 c 117201 760 50679 6657488 131 101390 21771 9074 141 827.51 1800.10/1800.71 c 118521 760 51999 7612959 146 104030 23949 10394 143 828.81 1800.10/1800.71 c 120602 760 54080 9118690 168 108192 26344 12475 145 831.28 1800.10/1800.71 c 123825 760 57303 11450267 199 114638 28979 15698 147 837.48 1800.10/1800.71 c 128761 760 62239 15023752 241 124510 31877 20634 151 847.45 1800.10/1800.71 c 136267 760 69745 20459736 293 139522 35065 28140 157 864.16 1800.10/1800.71 c 147628 760 56647 10967461 193 113326 38572 15042 161 914.95 1800.10/1800.71 c 164773 760 73792 23378092 316 147616 42430 32187 163 1005.75 1800.10/1800.71 c 190592 760 67962 19157821 281 135956 46674 26357 161 1181.95 1800.10/1800.71 c 229424 760 71017 21360858 300 142066 51342 29412 160 1431.31 1800.10/1800.71 c Caught signal: 15 1800.10/1800.71 v x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 1800.10/1800.71 v -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 1800.10/1800.71 v -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 1800.10/1800.71 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 1800.10/1800.71 v -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 1800.10/1800.71 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 1800.10/1800.71 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 1800.10/1800.71 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 1800.10/1800.71 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 1800.10/1800.71 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 1800.10/1800.71 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1800.10/1800.71 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 1800.10/1800.71 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 1800.10/1800.71 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 1800.10/1800.71 v -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 1800.10/1800.71 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 1800.10/1800.71 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 1800.10/1800.71 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 1800.10/1800.71 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 1800.10/1800.71 v -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 1800.10/1800.71 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 1800.10/1800.71 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 1800.10/1800.71 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 1800.10/1800.71 v x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 1800.10/1800.71 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 1800.10/1800.71 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 1800.10/1800.71 v -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 1800.10/1800.71 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 1800.10/1800.71 v -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 1800.10/1800.71 v -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1800.10/1800.71 v -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 1800.10/1800.71 v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 1800.10/1800.71 v -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 1800.10/1800.71 v -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 1800.10/1800.71 v -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 1800.10/1800.71 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.10/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.71 c 32 273740 25533 305831 75134 24348199 33529 152 1800.11 1800.10/1800.71 c Objective: -32 1800.10/1800.71 s SATISFIABLE 1800.10/1800.71 c Total time: 1800.11 s
OK -32
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-433092-1177954284 -o ROOT/results/node44/solver-433092-1177954284 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433092-1177954284/instance-433092-1177954284.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.95 0.90 3/77 9581 /proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=1408 CPUtime=0 /proc/9581/stat : 9581 (bsolo3.0.17) D 9579 9581 9518 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 243340172 1441792 24 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11281188 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0 /proc/9581/statm: 352 24 19 324 0 3 0 [startup+0.0686731 s] /proc/loadavg: 0.78 0.95 0.90 3/77 9581 /proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=6412 CPUtime=0.05 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 832 0 0 0 5 0 0 0 18 0 1 0 243340172 6565888 802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 1603 802 367 324 0 430 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6412 [startup+0.101676 s] /proc/loadavg: 0.78 0.95 0.90 3/77 9581 /proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=7236 CPUtime=0.09 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 1078 0 0 0 9 0 0 0 18 0 1 0 243340172 7409664 1048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 1809 1048 415 324 0 636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7236 [startup+0.301696 s] /proc/loadavg: 0.78 0.95 0.90 3/77 9581 /proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=11352 CPUtime=0.28 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 2496 0 0 0 27 1 0 0 19 0 1 0 243340172 11624448 2223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 2838 2223 305 324 0 1908 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11352 [startup+0.701738 s] /proc/loadavg: 0.78 0.95 0.90 3/77 9581 /proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=11352 CPUtime=0.69 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 2496 0 0 0 66 3 0 0 23 0 1 0 243340172 11624448 2223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 2838 2223 305 324 0 1908 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11352 [startup+1.50182 s] /proc/loadavg: 0.78 0.95 0.90 2/78 9582 /proc/meminfo: memFree=1860392/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=21376 CPUtime=1.49 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 5580 0 0 0 144 5 0 0 25 0 1 0 243340172 21889024 4717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 5344 4717 310 324 0 4414 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21376 [startup+3.10198 s] /proc/loadavg: 0.78 0.95 0.90 2/78 9582 /proc/meminfo: memFree=1842152/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=41236 CPUtime=3.09 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 10556 0 0 0 302 7 0 0 25 0 1 0 243340172 42225664 9693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 10309 9693 310 324 0 9379 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41236 [startup+6.30131 s] /proc/loadavg: 0.80 0.95 0.90 2/78 9582 /proc/meminfo: memFree=1809576/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=68904 CPUtime=6.28 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 17471 0 0 0 618 10 0 0 25 0 1 0 243340172 70557696 16608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 17226 16608 310 324 0 16296 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 68904 [startup+12.703 s] /proc/loadavg: 0.81 0.95 0.90 2/78 9582 /proc/meminfo: memFree=1767536/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=108852 CPUtime=12.69 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 27464 0 0 0 1253 16 0 0 25 0 1 0 243340172 111464448 26601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 27213 26601 310 324 0 26283 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 108852 [startup+25.5013 s] /proc/loadavg: 0.85 0.95 0.91 2/78 9582 /proc/meminfo: memFree=1708912/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=163920 CPUtime=25.48 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 41209 0 0 0 2525 23 0 0 25 0 1 0 243340172 167854080 40346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 40980 40346 310 324 0 40050 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 163920 [startup+51.1019 s] /proc/loadavg: 0.90 0.96 0.91 2/78 9582 /proc/meminfo: memFree=1627504/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=246044 CPUtime=51.06 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 61760 0 0 0 5072 34 0 0 25 0 1 0 243340172 251949056 60897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 61511 60897 310 324 0 60581 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 246044 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.91 2/78 9582 /proc/meminfo: memFree=1519984/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=351560 CPUtime=102.26 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 88139 0 0 0 10176 50 0 0 25 0 1 0 243340172 359997440 87276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 87890 87276 310 324 0 86960 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 351560 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.91 2/78 9582 /proc/meminfo: memFree=1495024/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=376288 CPUtime=162.23 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 94335 0 0 0 16170 53 0 0 25 0 1 0 243340172 385318912 93433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 94072 93433 310 324 0 93142 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 376288 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9582 /proc/meminfo: memFree=1495024/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=376288 CPUtime=222.22 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 94335 0 0 0 22168 54 0 0 25 0 1 0 243340172 385318912 93433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 94072 93433 310 324 0 93142 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 376288 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9582 /proc/meminfo: memFree=1495216/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=376288 CPUtime=282.2 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 94335 0 0 0 28166 54 0 0 25 0 1 0 243340172 385318912 93433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 94072 93433 310 324 0 93142 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 376288 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9582 /proc/meminfo: memFree=1493680/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=378044 CPUtime=342.18 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 94802 0 0 0 34163 55 0 0 25 0 1 0 243340172 387117056 93900 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 94511 93900 310 324 0 93581 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 378044 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9582 /proc/meminfo: memFree=1458864/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=412304 CPUtime=402.16 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 40155 61 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 103076 102453 310 324 0 102146 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 412304 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9582 /proc/meminfo: memFree=1458864/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=412304 CPUtime=462.15 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 46153 62 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 103076 102453 310 324 0 102146 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 412304 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9582 /proc/meminfo: memFree=1458928/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=412304 CPUtime=522.13 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 52151 62 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 103076 102453 310 324 0 102146 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 412304 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9582 /proc/meminfo: memFree=1458928/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=412304 CPUtime=582.12 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 58149 63 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 103076 102453 310 324 0 102146 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 412304 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1459120/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=412304 CPUtime=642.1 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 64147 63 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 103076 102453 310 324 0 102146 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 412304 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1419376/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451692 CPUtime=882.03 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 88132 71 0 0 25 0 1 0 243340172 462532608 112309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112923 112309 310 324 0 111993 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 451692 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1419440/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451600 CPUtime=942.02 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 94130 72 0 0 25 0 1 0 243340172 462438400 112290 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112900 112290 310 324 0 111970 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 451600 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1419632/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451600 CPUtime=1002 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 100128 72 0 0 25 0 1 0 243340172 462438400 112290 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112900 112290 310 324 0 111970 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 451600 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1419632/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451532 CPUtime=1061.98 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 106125 73 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112883 112273 310 324 0 111953 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 451532 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1419632/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451532 CPUtime=1121.96 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 112123 73 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11398257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112883 112273 310 324 0 111953 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 451532 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1419632/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451532 CPUtime=1181.94 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 118121 73 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112883 112273 310 324 0 111953 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 451532 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1419568/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451532 CPUtime=1241.93 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 124119 74 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112883 112273 310 324 0 111953 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 451532 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1419504/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451532 CPUtime=1301.91 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 130117 74 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112883 112273 310 324 0 111953 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 451532 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9584 /proc/meminfo: memFree=1419504/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451480 CPUtime=1361.9 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 136115 75 0 0 25 0 1 0 243340172 462315520 112260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112870 112260 310 324 0 111940 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 451480 [startup+1422.31 s] /proc/loadavg: 1.07 0.99 0.91 2/78 9584 /proc/meminfo: memFree=1419504/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451480 CPUtime=1421.88 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 142113 75 0 0 25 0 1 0 243340172 462315520 112260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551294 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112870 112260 310 324 0 111940 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 451480 [startup+1482.3 s] /proc/loadavg: 1.10 1.00 0.92 2/78 9584 /proc/meminfo: memFree=1419440/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451480 CPUtime=1481.87 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 148111 76 0 0 25 0 1 0 243340172 462315520 112260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11712341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112870 112260 310 324 0 111940 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 451480 [startup+1542.3 s] /proc/loadavg: 1.10 1.02 0.93 2/78 9584 /proc/meminfo: memFree=1419504/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=451480 CPUtime=1541.84 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 154108 76 0 0 25 0 1 0 243340172 462315520 112260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 112870 112260 310 324 0 111940 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 451480 [startup+1602.3 s] /proc/loadavg: 1.16 1.04 0.94 2/78 9584 /proc/meminfo: memFree=1384752/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=487224 CPUtime=1601.83 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 122219 0 0 0 160101 82 0 0 25 0 1 0 243340172 498917376 121178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 121806 121178 310 324 0 120876 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 487224 [startup+1662.3 s] /proc/loadavg: 1.06 1.03 0.94 2/78 9584 /proc/meminfo: memFree=1376304/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=494520 CPUtime=1661.81 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 166098 83 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 123630 122993 310 324 0 122700 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 494520 [startup+1722.3 s] /proc/loadavg: 1.05 1.03 0.94 2/78 9584 /proc/meminfo: memFree=1376368/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=494520 CPUtime=1721.8 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 172096 84 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 123630 122993 310 324 0 122700 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 494520 [startup+1782.3 s] /proc/loadavg: 1.02 1.03 0.94 2/84 9650 /proc/meminfo: memFree=1375032/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=494520 CPUtime=1781.74 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 178090 84 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9581/statm: 123630 122993 310 324 0 122700 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 494520 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.01 1.02 0.94 2/84 9722 /proc/meminfo: memFree=1375160/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=494520 CPUtime=1800.1 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 179926 84 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 123630 122993 310 324 0 122700 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 494520 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.01 1.02 0.94 2/84 9722 /proc/meminfo: memFree=1375160/2055920 swapFree=4156212/4192956 [pid=9581] ppid=9579 vsize=494520 CPUtime=1800.1 /proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 179926 84 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9581/statm: 123630 122993 310 324 0 122700 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 494520 Child status: 15 Real time (s): 1800.79 CPU time (s): 1800.19 CPU user time (s): 1799.27 CPU system time (s): 0.925859 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 494724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.27 system time used= 0.925859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 124089 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= 13 involuntary context switches= 38776 runsolver used 1.46478 second user time and 3.82142 second system time The end
Begin job on node44 on Mon Apr 30 17:31:25 UTC 2007 IDJOB= 433092 IDBENCH= 2244 IDSOLVER= 199 FILE ID= node44/433092-1177954284 PBS_JOBID= 4727687 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433092-1177954284/instance-433092-1177954284.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-433092-1177954284 -o ROOT/results/node44/solver-433092-1177954284 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433092-1177954284/instance-433092-1177954284.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d RANDOM SEED= 808358611 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1869064 kB Buffers: 30756 kB Cached: 67484 kB SwapCached: 13620 kB Active: 67564 kB Inactive: 54500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1869064 kB SwapTotal: 4192956 kB SwapFree: 4156212 kB Dirty: 7724 kB Writeback: 0 kB Mapped: 32052 kB Slab: 50312 kB Committed_AS: 1548500 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66557 MiB End job on node44 on Mon Apr 30 18:01:27 UTC 2007