Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -1 | 1800.14 | 1800.74 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb |
MD5SUM | 2533454829254b6bcc39aa8d9b25219b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -18535 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -18535 |
Optimality of the best value was proved | NO |
Number of variables | 901 |
Total number of constraints | 2521 |
Number of constraints which are clauses | 2520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 840 |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 576460752303423488 |
Number of bits of the biggest number in a constraint | 60 |
Biggest sum of numbers in a constraint | 2305842614989581580 |
Number of bits of the biggest sum of numbers | 61 |
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/433620-1177961829/instance-433620-1177961829.opb 0.00/0.00 c File size is 75474 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Highest Coefficient sum: 2.30584e+18 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 901 Constr: 2522 2520/0/2 Lit: 7560 Watch. Lit: 5882 0.00/0.01 c Obj. Vars: 21 (2.33074 % of total variables) 0.09/0.10 c Pre-processing Time: 0.103 s 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 687 2075 6220 2 4300 3202 0 0 0.10 0.09/0.10 o -1 0.104 1800.09/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.70 c 0 687 2076 6241 3 4854 3244 1 0 0.10 1800.09/1800.70 c 100 686 2176 58620 26 5086 3569 101 714 0.14 1800.09/1800.70 c 351 686 2427 188415 77 5537 3926 352 1249 0.28 1800.09/1800.70 c 826 686 2902 435042 149 6512 4319 827 1472 0.56 1800.09/1800.70 c 1640 686 3716 860021 231 8095 4751 1641 1512 1.08 1800.09/1800.70 c 2961 686 5037 1612200 320 10715 5227 2962 1565 1.89 1800.09/1800.70 c 5042 686 7118 2820664 396 14883 5750 5043 1594 3.16 1800.09/1800.70 c 8265 686 6622 2659810 401 13960 6326 4547 1635 5.05 1800.09/1800.70 c 13202 686 7688 3062420 398 16102 6959 5613 1410 9.36 1800.09/1800.70 c 20708 686 6717 2429111 361 14168 7655 4642 1260 16.42 1800.09/1800.70 c 32076 686 9110 3596060 394 19041 8421 7035 1219 26.29 1800.09/1800.70 c 49221 686 6406 2333473 364 13599 9264 4331 1183 41.58 1800.09/1800.70 c 75041 686 10755 4489479 417 22296 10191 8680 1162 64.52 1800.09/1800.70 c 113873 686 8879 3749338 422 18671 11211 6804 1115 102.11 1800.09/1800.70 c 172226 686 10515 4288068 407 21882 12333 8440 1048 164.27 1800.09/1800.70 c 259858 686 8479 3359649 396 17668 13567 6404 987 263.03 1800.09/1800.70 c 391411 686 12423 5389890 433 25678 14924 10348 956 409.36 1800.09/1800.70 c 588843 686 13696 6080346 443 28119 16417 11621 876 672.13 1800.09/1800.70 c 885096 686 14806 6481097 437 30364 18059 12731 795 1112.69 1800.09/1800.70 c Caught signal: 15 1800.09/1800.70 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x62 x22 x63 x23 -x64 -x24 x65 x25 -x66 1800.09/1800.70 v -x26 -x67 -x27 -x68 -x28 -x69 -x29 x70 x30 -x71 -x31 x72 x32 x73 x33 -x74 -x34 x75 x35 x76 x36 -x77 -x37 x78 x38 -x79 -x39 -x80 -x40 1800.09/1800.70 v x81 x41 -x82 -x42 -x83 -x43 -x84 -x44 x85 x45 -x86 -x46 x87 x47 x88 x48 -x89 -x49 x90 x50 x91 x51 -x92 -x52 -x93 -x53 -x94 -x54 -x95 1800.09/1800.70 v -x55 x96 x56 -x97 -x57 -x98 -x58 x99 x59 -x100 -x60 x101 x61 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 1800.09/1800.70 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 1800.09/1800.70 v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1800.09/1800.70 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.09/1800.70 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.09/1800.70 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.09/1800.70 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.09/1800.70 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.09/1800.70 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.09/1800.70 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 1800.09/1800.70 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1800.09/1800.70 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1800.09/1800.70 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 1800.09/1800.70 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 1800.09/1800.70 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 1800.09/1800.70 v -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.09/1800.70 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 1800.09/1800.70 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1800.09/1800.70 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 1800.09/1800.70 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.09/1800.70 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1800.09/1800.70 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1800.09/1800.70 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1800.09/1800.70 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.09/1800.70 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1800.09/1800.70 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1800.09/1800.70 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.09/1800.70 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.09/1800.70 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.09/1800.70 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1800.09/1800.70 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.09/1800.70 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.09/1800.70 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1800.09/1800.70 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.09/1800.70 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.09/1800.70 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1800.09/1800.70 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1800.09/1800.70 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1800.09/1800.70 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 1800.09/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.70 c 19 1119106 9559 1171822 13829 7142214 11754 621 1800.11 1800.09/1800.70 c Objective: -1 1800.09/1800.70 s SATISFIABLE 1800.09/1800.70 c Total time: 1800.11 s
OK -1
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-433620-1177961829 -o ROOT/results/node27/solver-433620-1177961829 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433620-1177961829/instance-433620-1177961829.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.72 0.93 0.92 3/65 25825 /proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=19624 CPUtime=0 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 208878879 20094976 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 4906 333 280 324 0 3957 0 [startup+0.0790359 s] /proc/loadavg: 0.72 0.93 0.92 3/65 25825 /proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=4468 CPUtime=0.07 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 544 0 0 0 7 0 0 0 18 0 1 0 208878879 4575232 495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 1117 495 303 324 0 187 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4468 [startup+0.101038 s] /proc/loadavg: 0.72 0.93 0.92 3/65 25825 /proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=4612 CPUtime=0.09 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 556 0 0 0 9 0 0 0 18 0 1 0 208878879 4722688 507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 1153 507 305 324 0 223 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.301058 s] /proc/loadavg: 0.72 0.93 0.92 3/65 25825 /proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=7012 CPUtime=0.29 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 1188 0 0 0 29 0 0 0 19 0 1 0 208878879 7180288 1139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 1753 1139 311 324 0 823 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7012 [startup+0.701098 s] /proc/loadavg: 0.72 0.93 0.92 3/65 25825 /proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=11696 CPUtime=0.68 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 2363 0 0 0 68 0 0 0 22 0 1 0 208878879 11976704 2314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 2924 2314 311 324 0 1994 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 11696 [startup+1.50118 s] /proc/loadavg: 0.72 0.93 0.92 2/66 25826 /proc/meminfo: memFree=1715656/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=20452 CPUtime=1.49 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 4530 0 0 0 147 2 0 0 25 0 1 0 208878879 20942848 4481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 5113 4481 311 324 0 4183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20452 [startup+3.10134 s] /proc/loadavg: 0.72 0.93 0.92 2/66 25826 /proc/meminfo: memFree=1701960/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=40080 CPUtime=3.09 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 9448 0 0 0 305 4 0 0 25 0 1 0 208878879 41041920 9399 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 10020 9399 311 324 0 9090 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40080 [startup+6.30167 s] /proc/loadavg: 0.74 0.94 0.92 2/66 25826 /proc/meminfo: memFree=1677512/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=52500 CPUtime=6.29 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 12545 0 0 0 623 6 0 0 25 0 1 0 208878879 53760000 12496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 13125 12496 311 324 0 12195 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52500 [startup+12.7013 s] /proc/loadavg: 0.76 0.94 0.92 2/66 25826 /proc/meminfo: memFree=1673032/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=57056 CPUtime=12.69 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 13702 0 0 0 1262 7 0 0 25 0 1 0 208878879 58425344 13653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 14264 13653 311 324 0 13334 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57056 [startup+25.5016 s] /proc/loadavg: 0.81 0.94 0.92 2/66 25826 /proc/meminfo: memFree=1670480/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=59680 CPUtime=25.48 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 14550 0 0 0 2541 7 0 0 25 0 1 0 208878879 61112320 14313 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 14920 14313 311 324 0 13990 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59680 [startup+51.1012 s] /proc/loadavg: 0.88 0.94 0.92 2/66 25826 /proc/meminfo: memFree=1659088/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=71256 CPUtime=51.07 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 19171 0 0 0 5099 8 0 0 25 0 1 0 208878879 72966144 17205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 17814 17205 311 324 0 16884 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71256 [startup+102.305 s] /proc/loadavg: 0.94 0.95 0.92 2/66 25826 /proc/meminfo: memFree=1648016/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=82296 CPUtime=102.26 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 22111 0 0 0 10216 10 0 0 25 0 1 0 208878879 84271104 19960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 20574 19960 311 324 0 19644 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 82296 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.92 2/66 25826 /proc/meminfo: memFree=1642064/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=88228 CPUtime=162.24 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 23613 0 0 0 16213 11 0 0 25 0 1 0 208878879 90345472 21444 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 22057 21444 311 324 0 21127 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 88228 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.92 2/66 25826 /proc/meminfo: memFree=1636176/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=93844 CPUtime=222.23 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 25782 0 0 0 22210 13 0 0 25 0 1 0 208878879 96096256 22854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 23461 22854 311 324 0 22531 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 93844 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.92 2/66 25826 /proc/meminfo: memFree=1629584/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=100704 CPUtime=282.21 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 27509 0 0 0 28207 14 0 0 25 0 1 0 208878879 103120896 24551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 25176 24551 311 324 0 24246 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 100704 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.92 2/66 25826 /proc/meminfo: memFree=1629136/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=100856 CPUtime=342.19 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 27912 0 0 0 34205 14 0 0 25 0 1 0 208878879 103276544 24607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 25214 24607 311 324 0 24284 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 100856 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.92 2/66 25826 /proc/meminfo: memFree=1627600/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=102576 CPUtime=402.18 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 28341 0 0 0 40203 15 0 0 25 0 1 0 208878879 105037824 25034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 25644 25034 311 324 0 24714 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 102576 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.92 2/66 25826 /proc/meminfo: memFree=1620624/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=109496 CPUtime=462.16 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 30076 0 0 0 46200 16 0 0 25 0 1 0 208878879 112123904 26766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 27374 26766 311 324 0 26444 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 109496 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.92 2/66 25826 /proc/meminfo: memFree=1616272/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=113848 CPUtime=522.14 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 31183 0 0 0 52197 17 0 0 25 0 1 0 208878879 116580352 27847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 28462 27847 311 324 0 27532 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 113848 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.92 2/66 25826 /proc/meminfo: memFree=1616272/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=113740 CPUtime=582.12 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 31183 0 0 0 58195 17 0 0 25 0 1 0 208878879 116469760 27828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 28435 27828 311 324 0 27505 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 113740 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.92 2/66 25826 /proc/meminfo: memFree=1616336/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=113732 CPUtime=642.12 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 31183 0 0 0 64194 18 0 0 25 0 1 0 208878879 116461568 27826 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 28433 27826 311 324 0 27503 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 113732 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/66 25826 /proc/meminfo: memFree=1601360/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=128592 CPUtime=882.04 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 38712 0 0 0 88182 22 0 0 25 0 1 0 208878879 131678208 31541 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134548060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 32148 31541 311 324 0 31218 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 128592 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.92 2/66 25826 /proc/meminfo: memFree=1605456/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=124544 CPUtime=942.03 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 40715 0 0 0 94180 23 0 0 25 0 1 0 208878879 127533056 30529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 31136 30529 311 324 0 30206 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 124544 [startup+1002.3 s] /proc/loadavg: 1.06 0.99 0.93 2/66 25826 /proc/meminfo: memFree=1600784/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=129436 CPUtime=1002.01 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 41932 0 0 0 100177 24 0 0 25 0 1 0 208878879 132542464 31746 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 32359 31746 311 324 0 31429 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 129436 [startup+1062.3 s] /proc/loadavg: 1.08 1.00 0.93 2/66 25826 /proc/meminfo: memFree=1598224/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=131844 CPUtime=1061.99 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 42564 0 0 0 106175 24 0 0 25 0 1 0 208878879 135008256 32354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 32961 32354 311 324 0 32031 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 131844 [startup+1122.3 s] /proc/loadavg: 1.09 1.01 0.94 2/66 25826 /proc/meminfo: memFree=1602448/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=127728 CPUtime=1121.97 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 43152 0 0 0 112172 25 0 0 25 0 1 0 208878879 130793472 31318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 31932 31318 311 324 0 31002 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 127728 [startup+1182.3 s] /proc/loadavg: 1.08 1.03 0.94 2/66 25826 /proc/meminfo: memFree=1598800/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=131332 CPUtime=1181.96 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 44301 0 0 0 118170 26 0 0 25 0 1 0 208878879 134483968 32225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 32833 32225 311 324 0 31903 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 131332 [startup+1242.3 s] /proc/loadavg: 1.03 1.02 0.94 2/66 25826 /proc/meminfo: memFree=1592976/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=137192 CPUtime=1241.94 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 45756 0 0 0 124167 27 0 0 25 0 1 0 208878879 140484608 33678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 34298 33678 311 324 0 33368 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 137192 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 0.94 2/66 25826 /proc/meminfo: memFree=1588112/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=142012 CPUtime=1301.93 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 48436 0 0 0 130164 29 0 0 25 0 1 0 208878879 145420288 34882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1584244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 35503 34882 311 324 0 34573 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 142012 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.94 2/66 25826 /proc/meminfo: memFree=1574608/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=155420 CPUtime=1361.91 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 51799 0 0 0 136160 31 0 0 25 0 1 0 208878879 159150080 38245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 38855 38245 311 324 0 37925 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 155420 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/66 25826 /proc/meminfo: memFree=1581328/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=148476 CPUtime=1421.89 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 51799 0 0 0 142158 31 0 0 25 0 1 0 208878879 152039424 36512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 37119 36512 311 324 0 36189 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 148476 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/72 26002 /proc/meminfo: memFree=1587992/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=140624 CPUtime=1481.78 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 53256 0 0 0 148146 32 0 0 25 0 1 0 208878879 143998976 34549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 35156 34549 311 324 0 34226 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 140624 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 26024 /proc/meminfo: memFree=1576208/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=153692 CPUtime=1541.77 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 56509 0 0 0 154143 34 0 0 25 0 1 0 208878879 157380608 37802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 38423 37802 311 324 0 37493 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 153692 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 26024 /proc/meminfo: memFree=1576336/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=153480 CPUtime=1601.74 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 59733 0 0 0 160138 36 0 0 25 0 1 0 208878879 157163520 37751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 38370 37751 311 324 0 37440 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 153480 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 26024 /proc/meminfo: memFree=1577680/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=151896 CPUtime=1661.73 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 59733 0 0 0 166136 37 0 0 25 0 1 0 208878879 155541504 37367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 37974 37367 311 324 0 37044 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 151896 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 26024 /proc/meminfo: memFree=1576656/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=153256 CPUtime=1721.71 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 60065 0 0 0 172134 37 0 0 25 0 1 0 208878879 156934144 37699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 38314 37699 311 324 0 37384 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 153256 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 26024 /proc/meminfo: memFree=1576400/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=153508 CPUtime=1781.69 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 60126 0 0 0 178132 37 0 0 25 0 1 0 208878879 157192192 37760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 38377 37760 311 324 0 37447 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 153508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.94 2/66 26024 /proc/meminfo: memFree=1576400/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=153276 CPUtime=1800.09 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 60126 0 0 0 179972 37 0 0 25 0 1 0 208878879 156954624 37712 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 38319 37712 311 324 0 37389 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 153276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.94 2/66 26024 /proc/meminfo: memFree=1576400/2055920 swapFree=4182924/4192956 [pid=25825] ppid=25823 vsize=153276 CPUtime=1800.09 /proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 60126 0 0 0 179972 37 0 0 25 0 1 0 208878879 156954624 37712 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25825/statm: 38319 37712 311 324 0 37389 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 153276 Child status: 15 Real time (s): 1800.74 CPU time (s): 1800.14 CPU user time (s): 1799.73 CPU system time (s): 0.405938 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 155420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.405938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60130 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= 12 involuntary context switches= 3101 runsolver used 1.40579 second user time and 3.57046 second system time The end
Begin job on node27 on Mon Apr 30 19:37:10 UTC 2007 IDJOB= 433620 IDBENCH= 3007 IDSOLVER= 199 FILE ID= node27/433620-1177961829 PBS_JOBID= 4727695 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433620-1177961829/instance-433620-1177961829.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-433620-1177961829 -o ROOT/results/node27/solver-433620-1177961829 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433620-1177961829/instance-433620-1177961829.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 2533454829254b6bcc39aa8d9b25219b RANDOM SEED= 517881250 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1727208 kB Buffers: 33168 kB Cached: 215384 kB SwapCached: 4068 kB Active: 79944 kB Inactive: 180044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1727208 kB SwapTotal: 4192956 kB SwapFree: 4182924 kB Dirty: 6824 kB Writeback: 0 kB Mapped: 17272 kB Slab: 54832 kB Committed_AS: 2314584 kB PageTables: 1416 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= 66558 MiB End job on node27 on Mon Apr 30 20:07:13 UTC 2007