Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -1 | 1800.03 | 1800.62 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/355292-1176799142/instance-355292-1176799142.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 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.014 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.102 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.103 1799.90/1800.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.90/1800.59 c 0 687 2076 6241 3 4854 3244 1 0 0.10 1799.90/1800.59 c 100 686 2176 58620 26 5086 3569 101 714 0.14 1799.90/1800.59 c 351 686 2427 188415 77 5537 3926 352 1253 0.28 1799.90/1800.59 c 826 686 2902 435042 149 6512 4319 827 1480 0.56 1799.90/1800.59 c 1640 686 3716 860021 231 8095 4751 1641 1519 1.08 1799.90/1800.59 c 2961 686 5037 1612200 320 10715 5227 2962 1570 1.89 1799.90/1800.59 c 5042 686 7118 2820664 396 14883 5750 5043 1591 3.17 1799.90/1800.59 c 8265 686 6622 2659810 401 13960 6326 4547 1626 5.08 1799.90/1800.59 c 13202 686 7688 3062420 398 16102 6959 5613 1396 9.45 1799.90/1800.59 c 20708 686 6717 2429111 361 14168 7655 4642 1251 16.55 1799.90/1800.59 c 32076 686 9110 3596060 394 19041 8421 7035 1212 26.45 1799.90/1800.59 c 49221 686 6406 2333473 364 13599 9264 4331 1177 41.79 1799.90/1800.59 c 75041 686 10755 4489479 417 22296 10191 8680 1156 64.87 1799.90/1800.59 c 113873 686 8879 3749338 422 18671 11211 6804 1109 102.68 1799.90/1800.59 c 172226 686 10515 4288068 407 21882 12333 8440 1042 165.24 1799.90/1800.59 c 259858 686 8479 3359649 396 17668 13567 6404 982 264.39 1799.90/1800.59 c 391411 686 12423 5389890 433 25678 14924 10348 951 411.31 1799.90/1800.59 c 588843 686 13696 6080346 443 28119 16417 11621 872 674.99 1799.90/1800.59 c 885096 686 14806 6481097 437 30364 18059 12731 792 1117.52 1799.90/1800.59 c Resources Exceeded 1799.90/1800.59 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 1799.90/1800.59 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 1799.90/1800.59 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 1799.90/1800.59 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 1799.90/1800.59 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 1799.90/1800.59 v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1799.90/1800.59 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1799.90/1800.59 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1799.90/1800.59 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1799.90/1800.59 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1799.90/1800.59 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1799.90/1800.59 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1799.90/1800.59 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 1799.90/1800.59 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1799.90/1800.59 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1799.90/1800.59 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 1799.90/1800.59 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 1799.90/1800.59 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 1799.90/1800.59 v -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1799.90/1800.59 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 1799.90/1800.59 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1799.90/1800.59 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 1799.90/1800.59 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1799.90/1800.59 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1799.90/1800.59 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1799.90/1800.59 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1799.90/1800.59 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1799.90/1800.59 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1799.90/1800.59 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1799.90/1800.59 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1799.90/1800.59 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1799.90/1800.59 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1799.90/1800.59 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1799.90/1800.59 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1799.90/1800.59 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1799.90/1800.59 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1799.90/1800.59 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1799.90/1800.59 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1799.90/1800.59 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1799.90/1800.59 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1799.90/1800.59 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1799.90/1800.59 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 1799.90/1800.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.59 c 19 1116635 9559 1169349 11358 5633420 9283 620 1800.00 1799.90/1800.59 c Objective: -1 1799.90/1800.59 s SATISFIABLE 1799.90/1800.59 c Total time: 1800 s
OK -1
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-355292-1176799142 -o ROOT/results/node47/solver-355292-1176799142 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355292-1176799142/instance-355292-1176799142.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.92 0.98 0.99 3/77 29595 /proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=19624 CPUtime=0 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 34759599 20094976 337 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11368304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 2953 338 283 324 0 2003 0 [startup+0.086648 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29595 /proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=4468 CPUtime=0.08 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 548 0 0 0 8 0 0 0 18 0 1 0 34759599 4575232 497 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 1117 497 305 324 0 186 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4468 [startup+0.10165 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29595 /proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=4612 CPUtime=0.09 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 560 0 0 0 9 0 0 0 18 0 1 0 34759599 4722688 509 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 1153 509 307 324 0 222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.301671 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29595 /proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=7012 CPUtime=0.29 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 1198 0 0 0 28 1 0 0 19 0 1 0 34759599 7180288 1147 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 1753 1148 313 324 0 822 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7012 [startup+0.701714 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29595 /proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=11828 CPUtime=0.69 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 2377 0 0 0 68 1 0 0 23 0 1 0 34759599 12111872 2326 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 2957 2326 313 324 0 2026 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11828 [startup+1.5018 s] /proc/loadavg: 0.92 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1705112/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=20576 CPUtime=1.49 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 4563 0 0 0 146 3 0 0 25 0 1 0 34759599 21069824 4512 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 5144 4512 313 324 0 4213 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20576 [startup+3.10197 s] /proc/loadavg: 0.93 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1691480/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=40080 CPUtime=3.09 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 9448 0 0 0 303 6 0 0 25 0 1 0 34759599 41041920 9397 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 10020 9397 313 324 0 9089 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40080 [startup+6.30132 s] /proc/loadavg: 0.93 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1667032/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=52500 CPUtime=6.29 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 12549 0 0 0 621 8 0 0 25 0 1 0 34759599 53760000 12498 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 13125 12498 313 324 0 12194 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52500 [startup+12.702 s] /proc/loadavg: 0.94 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1662752/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=57056 CPUtime=12.69 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 13706 0 0 0 1260 9 0 0 25 0 1 0 34759599 58425344 13655 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 14264 13655 313 324 0 13333 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57056 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1659744/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=59680 CPUtime=25.48 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 14554 0 0 0 2537 11 0 0 25 0 1 0 34759599 61112320 14315 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 14920 14315 313 324 0 13989 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59680 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1648224/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=71256 CPUtime=51.07 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 19175 0 0 0 5089 18 0 0 25 0 1 0 34759599 72966144 17207 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 17814 17207 313 324 0 16883 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71256 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1637280/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=82296 CPUtime=102.27 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 22115 0 0 0 10201 26 0 0 25 0 1 0 34759599 84271104 19962 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 20574 19962 313 324 0 19643 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 82296 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1631264/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=88228 CPUtime=162.25 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 23617 0 0 0 16189 36 0 0 25 0 1 0 34759599 90345472 21446 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 22057 21446 313 324 0 21126 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 88228 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1625376/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=93844 CPUtime=222.23 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 25786 0 0 0 22179 44 0 0 25 0 1 0 34759599 96096256 22856 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10952436 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 23461 22856 313 324 0 22530 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 93844 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1618720/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=100704 CPUtime=282.21 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 27513 0 0 0 28171 50 0 0 25 0 1 0 34759599 103120896 24553 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 25176 24553 313 324 0 24245 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 100704 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1618272/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=100856 CPUtime=342.2 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 27916 0 0 0 34162 58 0 0 25 0 1 0 34759599 103276544 24609 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 25214 24609 313 324 0 24283 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 100856 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1616800/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=102576 CPUtime=402.18 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 28345 0 0 0 40153 65 0 0 25 0 1 0 34759599 105037824 25036 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 25644 25036 313 324 0 24713 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 102576 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1609888/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=109496 CPUtime=462.17 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 30080 0 0 0 46144 73 0 0 25 0 1 0 34759599 112123904 26768 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 27374 26768 313 324 0 26443 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 109496 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1605536/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=113848 CPUtime=522.15 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 31187 0 0 0 52136 79 0 0 25 0 1 0 34759599 116580352 27849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 28462 27849 313 324 0 27531 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 113848 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1605536/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=113740 CPUtime=582.14 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 31187 0 0 0 58127 87 0 0 25 0 1 0 34759599 116469760 27830 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 28435 27830 313 324 0 27504 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 113740 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1605536/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=113732 CPUtime=642.12 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 31187 0 0 0 64121 91 0 0 25 0 1 0 34759599 116461568 27828 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 28433 27828 313 324 0 27502 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 113732 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1588768/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=130528 CPUtime=822.08 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 36683 0 0 0 82096 112 0 0 25 0 1 0 34759599 133660672 32019 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 32632 32019 313 324 0 31701 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 130528 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1580640/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=138692 CPUtime=882.05 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 38716 0 0 0 88090 115 0 0 25 0 1 0 34759599 142020608 34052 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 34673 34052 313 324 0 33742 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 138692 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29596 /proc/meminfo: memFree=1594528/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=124544 CPUtime=942.04 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 40719 0 0 0 94081 123 0 0 25 0 1 0 34759599 127533056 30531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 31136 30531 313 324 0 30205 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 124544 [startup+1002.3 s] /proc/loadavg: 1.13 1.02 1.00 2/78 29596 /proc/meminfo: memFree=1591264/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=129436 CPUtime=1002.02 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 41936 0 0 0 100073 129 0 0 25 0 1 0 34759599 132542464 31748 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 32359 31748 313 324 0 31428 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 129436 [startup+1062.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 29596 /proc/meminfo: memFree=1587488/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=131844 CPUtime=1062.01 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 42568 0 0 0 106065 136 0 0 25 0 1 0 34759599 135008256 32356 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 32961 32356 313 324 0 32030 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 131844 [startup+1122.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 29596 /proc/meminfo: memFree=1591648/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=127724 CPUtime=1122 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 43155 0 0 0 112056 144 0 0 25 0 1 0 34759599 130789376 31319 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 31931 31319 313 324 0 31000 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 127724 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29596 /proc/meminfo: memFree=1588000/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=131332 CPUtime=1181.98 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 44305 0 0 0 118048 150 0 0 25 0 1 0 34759599 134483968 32227 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10952531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 32833 32227 313 324 0 31902 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 131332 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29596 /proc/meminfo: memFree=1582176/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=137192 CPUtime=1241.97 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 45760 0 0 0 124040 157 0 0 25 0 1 0 34759599 140484608 33680 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 34298 33680 313 324 0 33367 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 137192 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29596 /proc/meminfo: memFree=1577376/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=142012 CPUtime=1301.96 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 48440 0 0 0 130031 165 0 0 25 0 1 0 34759599 145420288 34884 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 35503 34884 313 324 0 34572 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 142012 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 29766 /proc/meminfo: memFree=1562520/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=155420 CPUtime=1361.84 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 51803 0 0 0 136015 169 0 0 25 0 1 0 34759599 159150080 38247 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 38855 38247 313 324 0 37924 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 155420 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29794 /proc/meminfo: memFree=1570520/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=148476 CPUtime=1421.81 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 51803 0 0 0 142008 173 0 0 25 0 1 0 34759599 152039424 36514 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 37119 36514 313 324 0 36188 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 148476 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29794 /proc/meminfo: memFree=1578328/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=140624 CPUtime=1481.79 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 53260 0 0 0 148002 177 0 0 25 0 1 0 34759599 143998976 34551 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 35156 34551 313 324 0 34225 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 140624 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29794 /proc/meminfo: memFree=1565464/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=153692 CPUtime=1541.77 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 56513 0 0 0 153995 182 0 0 25 0 1 0 34759599 157380608 37804 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 38423 37804 313 324 0 37492 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 1.00 2/78 29794 /proc/meminfo: memFree=1565656/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=153480 CPUtime=1601.76 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 59737 0 0 0 159988 188 0 0 25 0 1 0 34759599 157163520 37753 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 38370 37753 313 324 0 37439 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 153480 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29794 /proc/meminfo: memFree=1567064/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=151896 CPUtime=1661.75 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 59737 0 0 0 165984 191 0 0 25 0 1 0 34759599 155541504 37369 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 37974 37369 313 324 0 37043 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 151896 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29796 /proc/meminfo: memFree=1565720/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=153256 CPUtime=1721.72 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 60063 0 0 0 171979 193 0 0 25 0 1 0 34759599 156934144 37695 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 38314 37695 313 324 0 37383 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 153256 [startup+1782.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 29796 /proc/meminfo: memFree=1565728/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=153508 CPUtime=1781.71 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 60130 0 0 0 177974 197 0 0 25 0 1 0 34759599 157192192 37762 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 38377 37762 313 324 0 37446 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 153508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.04 1.01 1.00 2/78 29796 /proc/meminfo: memFree=1625760/2055920 swapFree=4183744/4192956 [pid=29595] ppid=29593 vsize=0 CPUtime=1800.02 /proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194308 60131 0 0 0 179802 200 0 0 25 0 1 0 34759599 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29595/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.03 CPU user time (s): 1798.02 CPU system time (s): 2.01169 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 155420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.02 system time used= 2.01169 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60131 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= 10121 runsolver used 2.16367 second user time and 4.38733 second system time The end
Begin job on node47 on Tue Apr 17 08:39:02 UTC 2007 IDJOB= 355292 IDBENCH= 3007 IDSOLVER= 163 FILE ID= node47/355292-1176799142 PBS_JOBID= 4580874 Free space on /tmp= 66554 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/355292-1176799142/instance-355292-1176799142.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-355292-1176799142 -o ROOT/results/node47/solver-355292-1176799142 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355292-1176799142/instance-355292-1176799142.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 2533454829254b6bcc39aa8d9b25219b RANDOM SEED= 969819374 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1716600 kB Buffers: 35488 kB Cached: 203132 kB SwapCached: 3256 kB Active: 99208 kB Inactive: 194536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1716600 kB SwapTotal: 4192956 kB SwapFree: 4183744 kB Dirty: 4540 kB Writeback: 0 kB Mapped: 69800 kB Slab: 31068 kB Committed_AS: 2550656 kB PageTables: 1776 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= 66554 MiB End job on node47 on Tue Apr 17 09:09:05 UTC 2007