Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | -24 | 1033.97 | 1034.2 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_3.opb |
MD5SUM | a83973bc04af54d38c05a30d36c8573f |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -41 |
Best CPU time to get the best result obtained on this benchmark | 1800.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74920 |
Sum of products size (including duplicates) | 149840 |
Number of different products | 37460 |
Sum of products size | 74920 |
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/454875-1178032940/instance-454875-1178032940.opb 0.00/0.00 c File size is 986473 bytes. 0.40/0.46 c Highest Coefficient sum: 1000 0.40/0.46 c Parsing was ok!! 0.40/0.46 c Total parsing time: 0.462 s 0.49/0.59 c Var: 75920 Constr: 151342 75420/1002/74920 Lit: 527440 Watch. Lit: 451522 0.49/0.59 c Obj. Vars: 500 (0.658588 % of total variables) 180.55/180.68 c Pre-processing Time: 180.645 s 180.55/180.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.55/180.69 c 0 75920 151342 527440 3 451522 500000 0 0 180.65 180.55/180.69 c Switching off LPR mode. 180.75/180.82 o -1 180.786 180.95/181.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.95/181.01 c 0 75920 151343 527940 3 451525 500000 1 0 180.82 180.95/181.01 o -2 180.971 181.05/181.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.05/181.20 c 0 75920 151344 528440 3 451529 500000 2 0 181.01 181.05/181.20 o -3 181.157 181.25/181.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.25/181.38 c 0 75920 151345 528940 3 451534 500000 3 0 181.19 181.25/181.38 o -4 181.345 181.45/181.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.45/181.57 c 0 75920 151346 529440 3 451540 500000 4 0 181.38 181.45/181.57 o -5 181.533 181.65/181.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.65/181.76 c 0 75920 151347 529940 3 451547 500000 5 0 181.57 181.65/181.76 o -6 181.721 181.85/181.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.85/181.95 c 0 75920 151348 530440 3 451555 500000 6 0 181.76 181.85/181.95 o -7 181.909 182.05/182.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.05/182.14 c 0 75920 151349 530940 3 451564 500000 7 0 181.95 182.05/182.14 o -8 182.098 182.25/182.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.25/182.32 c 0 75920 151350 531440 3 451574 500000 8 0 182.14 182.25/182.32 o -9 182.286 182.45/182.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.45/182.51 c 0 75920 151351 531940 3 451585 500000 9 0 182.33 182.45/182.51 o -10 182.474 182.65/182.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.65/182.70 c 0 75920 151352 532440 3 451597 500000 10 0 182.51 182.65/182.70 o -11 182.662 182.75/182.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.75/182.89 c 0 75920 151353 532940 3 451610 500000 11 0 182.70 182.75/182.89 o -12 182.849 182.95/183.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.95/183.07 c 0 75920 151354 533440 3 451624 500000 12 0 182.89 182.95/183.07 o -13 183.036 183.16/183.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.16/183.26 c 0 75920 151355 533940 3 451639 500000 13 0 183.08 183.16/183.26 o -14 183.223 183.35/183.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.35/183.45 c 0 75920 151356 534440 3 451655 500000 14 0 183.26 183.35/183.45 o -15 183.409 183.55/183.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.55/183.63 c 0 75920 151357 534940 3 451672 500000 15 0 183.45 183.55/183.63 o -16 183.596 183.75/183.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.75/183.82 c 0 75920 151358 535440 3 451690 500000 16 0 183.64 183.75/183.82 o -17 183.781 183.95/184.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.95/184.00 c 0 75920 151359 535940 3 451709 500000 17 0 183.82 183.95/184.00 o -18 183.966 184.06/184.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 184.06/184.19 c 0 75920 151360 536440 3 451729 500000 18 0 184.01 184.06/184.19 o -19 184.15 184.26/184.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 184.26/184.37 c 0 75920 151361 536940 3 451750 500000 19 0 184.19 184.26/184.37 o -20 184.334 184.45/184.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 184.45/184.56 c 0 75920 151362 537440 3 451772 500000 20 0 184.38 184.45/184.56 o -21 184.517 184.66/184.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 184.66/184.74 c 0 75920 151363 537940 3 451795 500000 21 0 184.56 184.66/184.74 o -22 184.7 185.25/185.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 185.25/185.32 c 0 75920 151364 538440 3 451819 500000 22 0 184.74 185.25/185.32 o -23 185.281 196.05/196.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 196.05/196.11 c 77 75920 151442 587284 3 451998 500000 100 0 185.33 196.05/196.11 c 177 75920 151542 643655 4 452198 550001 200 0 186.13 196.05/196.11 c 427 75920 151792 787889 5 452698 605002 450 2 188.41 196.05/196.11 c 902 75920 152267 1116811 7 453648 665503 925 4 192.26 196.05/196.11 c 1715 75920 153080 1648211 10 455274 732054 1738 8 195.66 196.05/196.11 o -24 196.072 1033.67/1033.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1033.67/1033.90 c 1877 75920 153243 1729771 11 455624 500000 1901 9 196.13 1033.67/1033.90 c 1977 75920 153343 1782887 11 455824 550001 2001 10 197.64 1033.67/1033.90 c 2227 75920 153593 1911300 12 456324 605002 2251 11 198.50 1033.67/1033.90 c 2702 75920 154068 2150276 13 457274 665503 2726 13 199.48 1033.67/1033.90 c 3515 75920 154881 2569331 16 458900 732054 3539 17 201.71 1033.67/1033.90 c 4835 75920 156201 3252719 20 461540 805260 4859 23 206.84 1033.67/1033.90 c 6916 75920 158282 4320324 27 465702 885787 6940 32 212.99 1033.67/1033.90 c 10139 75920 161505 5971599 36 472148 974366 10163 45 221.58 1033.67/1033.90 c 15075 75920 166441 8500860 51 482020 500000 15099 63 235.74 1033.67/1033.90 c 22581 75920 173947 12332162 70 497032 550001 22605 87 258.18 1033.67/1033.90 c 33942 75920 185308 18085296 97 519754 605002 33966 118 285.23 1033.67/1033.90 c 51086 75920 202452 26717321 131 554042 665503 51110 158 321.57 1033.67/1033.91 c 76905 75920 228271 39719991 174 605680 732054 76929 206 372.18 1033.67/1033.91 c 115737 75920 267103 59278818 221 683344 805260 115761 249 464.54 1033.67/1033.91 c 174089 75920 325455 88570845 272 800048 885787 174113 274 633.07 1033.67/1033.91 c 261721 75920 413087 133096380 322 975312 974366 261745 263 993.22 1033.67/1033.91 c Caught signal: 15 1033.67/1033.91 v x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 x13 x14 x15 -x16 -x17 x18 -x19 -x20 -x21 x22 -x23 -x24 x25 x26 -x27 -x28 -x29 -x30 -x31 1033.67/1033.91 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 1033.67/1033.91 v x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 1033.67/1033.91 v -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 1033.67/1033.91 v x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 1033.67/1033.91 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1033.67/1033.91 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1033.67/1033.91 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1033.67/1033.91 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1033.67/1033.91 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1033.67/1033.91 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1033.67/1033.91 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1033.67/1033.91 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1033.67/1033.91 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1033.67/1033.91 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1033.67/1033.91 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1033.67/1033.91 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1033.67/1033.91 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1033.67/1033.91 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1033.67/1033.91 v -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1033.67/1033.91 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1033.67/1033.91 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 1033.67/1033.91 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x747 -x986 -x669 -x941 -x926 -x573 -x877 1033.67/1033.91 v -x802 -x765 -x859 -x925 -x894 -x740 -x603 -x842 -x976 -x702 -x896 -x516 -x643 -x939 -x759 -x774 -x648 -x886 -x938 -x969 -x799 1033.67/1033.91 v -x955 -x715 -x637 -x975 -x507 -x562 -x916 -x579 -x791 -x569 -x695 -x649 -x993 -x588 -x889 -x948 -x782 -x653 -x923 -x983 -x900 1033.67/1033.91 v -x790 -x625 -x838 -x549 -x898 -x837 -x786 -x687 -x805 -x936 -x642 -x505 -x511 -x514 -x535 -x539 -x542 -x543 -x547 -x555 -x557 1033.67/1033.91 v -x589 -x598 -x630 -x641 -x656 -x668 -x672 -x706 -x717 -x724 -x754 -x768 -x769 -x779 -x780 -x787 -x810 -x812 -x817 -x822 -x833 1033.67/1033.91 v -x856 -x876 -x881 -x917 -x918 x968 -x501 x872 -x572 x878 x634 x883 x809 -x924 x951 -x503 -x796 -x591 -x743 x816 -x517 -x854 1033.67/1033.91 v -x567 -x807 x978 -x905 -x707 -x727 -x741 x992 x914 x927 -x907 -x999 -x874 -x646 -x984 -x757 x806 -x559 -x830 -x899 -x994 -x622 1033.67/1033.91 v -x661 -x728 -x623 -x804 -x681 -x882 -x795 x973 -x950 -x553 -x739 x931 -x544 -x522 -x563 -x568 -x580 -x584 -x592 -x610 -x616 1033.67/1033.91 v -x640 -x663 -x666 -x673 -x677 -x683 -x701 -x703 -x704 -x711 -x726 -x753 -x755 -x766 -x772 -x778 -x785 -x811 -x832 -x866 -x952 1033.67/1033.91 v -x990 -x1000 -x502 -x689 x945 -x852 -x871 -x602 -x716 -x746 -x723 -x536 -x586 -x732 -x988 -x771 -x949 -x712 x893 -x533 -x691 1033.67/1033.91 v -x869 -x748 -x789 -x944 -x828 -x844 -x590 -x548 -x657 -x985 -x626 -x775 -x545 -x714 -x708 -x607 -x851 -x571 -x509 -x512 -x551 1033.67/1033.91 v -x556 -x564 -x566 -x574 -x585 -x595 -x620 -x647 -x670 -x720 -x750 -x752 -x773 -x845 -x912 -x964 -x840 -x667 -x843 -x858 -x800 1033.67/1033.91 v -x932 -x940 -x956 -x974 -x660 -x692 -x601 -x645 -x639 -x745 -x783 -x534 -x989 -x846 -x659 -x823 -x821 -x962 -x808 -x513 -x733 1033.67/1033.91 v -x928 -x762 -x967 -x705 -x520 -x532 -x538 -x550 -x582 -x629 -x633 -x688 -x694 -x758 -x870 -x892 -x919 -x920 -x979 -x504 -x839 1033.67/1033.91 v -x596 -x792 -x887 -x981 -x709 -x578 -x998 -x675 -x908 x863 -x815 -x618 -x521 -x676 -x958 -x664 -x700 -x891 -x690 -x665 -x558 1033.67/1033.91 v -x581 -x921 -x526 -x528 -x537 -x541 -x597 -x613 -x678 -x699 -x730 -x735 -x749 x798 -x829 -x930 -x977 -x987 -x996 -x635 -x575 1033.67/1033.91 v -x713 -x963 -x819 -x777 -x906 -x781 -x834 -x814 -x510 -x627 -x947 -x524 -x957 -x855 -x722 -x619 -x763 -x903 -x831 -x599 -x895 1033.67/1033.91 v -x540 -x583 -x609 -x632 -x651 -x680 -x698 -x718 -x764 -x770 -x797 -x827 -x922 -x935 -x506 -x736 -x682 -x862 -x721 -x825 -x515 1033.67/1033.91 v -x674 -x784 -x565 -x731 -x518 -x523 -x570 -x587 -x605 -x621 -x654 -x658 -x760 -x767 x880 -x929 -x961 -x995 -x652 -x628 -x884 1033.67/1033.91 v -x606 -x982 -x560 -x600 -x529 -x857 -x904 -x604 -x561 -x943 -x793 -x997 -x897 -x788 -x636 -x725 -x737 -x801 x867 -x934 -x508 1033.67/1033.91 v -x885 -x946 -x965 -x937 -x915 -x650 -x873 -x875 -x576 -x617 -x685 -x818 -x909 -x954 -x864 -x611 -x612 -x813 -x530 -x631 -x644 1033.67/1033.91 v -x719 -x734 -x756 -x836 -x841 -x850 -x751 -x910 -x527 -x865 -x525 -x531 -x608 -x671 -x942 -x710 x971 -x901 -x594 -x638 -x655 1033.67/1033.91 v -x697 -x776 -x853 -x913 -x794 -x546 -x820 -x888 -x686 -x729 -x835 -x970 -x879 -x615 -x761 -x860 -x662 -x696 -x849 -x577 -x624 1033.67/1033.91 v -x554 -x614 -x868 -x742 -x519 x738 -x959 -x824 -x803 -x890 -x552 -x593 -x848 -x960 -x826 -x933 -x744 -x679 -x980 -x911 -x902 1033.67/1033.91 v x684 -x991 -x972 -x953 -x861 -x693 -x847 -x966 1033.67/1033.91 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1033.67/1033.91 c 43 274601 780 1612101 425967 139653805 274625 265 1033.68 1033.67/1033.91 c Objective: -24 1033.67/1033.91 s SATISFIABLE 1033.67/1033.91 c Total time: 1033.68 s
OK -24
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-454875-1178032940 -o ROOT/results/node52/solver-454875-1178032940 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454875-1178032940/instance-454875-1178032940.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.92 0.97 3/64 5423 /proc/meminfo: memFree=1886532/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=12700 CPUtime=0 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 158139086 13004800 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 3175 335 281 324 0 2003 0 [startup+0.0623331 s] /proc/loadavg: 0.72 0.92 0.97 3/64 5423 /proc/meminfo: memFree=1886532/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=8080 CPUtime=0.05 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 1192 0 0 0 5 0 0 0 18 0 1 0 158139086 8273920 1161 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 2020 1162 322 324 0 848 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8080 [startup+0.101335 s] /proc/loadavg: 0.72 0.92 0.97 3/64 5423 /proc/meminfo: memFree=1886532/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=10048 CPUtime=0.09 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 1707 0 0 0 9 0 0 0 18 0 1 0 158139086 10289152 1676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 2512 1676 343 324 0 1340 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10048 [startup+0.301348 s] /proc/loadavg: 0.72 0.92 0.97 3/64 5423 /proc/meminfo: memFree=1886532/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=20044 CPUtime=0.29 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 4383 0 0 0 27 2 0 0 19 0 1 0 158139086 20525056 4233 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 5011 4233 442 324 0 3839 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20044 [startup+0.701375 s] /proc/loadavg: 0.72 0.92 0.97 3/64 5423 /proc/meminfo: memFree=1886532/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=44448 CPUtime=0.69 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 10620 0 0 0 64 5 0 0 22 0 1 0 158139086 45514752 10180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 11112 10180 307 324 0 10181 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44448 [startup+1.50243 s] /proc/loadavg: 0.72 0.92 0.97 2/65 5424 /proc/meminfo: memFree=1846268/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=44976 CPUtime=1.49 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 10796 0 0 0 144 5 0 0 25 0 1 0 158139086 46055424 10356 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4743255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 11244 10356 307 324 0 10313 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44976 [startup+3.10154 s] /proc/loadavg: 0.74 0.92 0.97 2/65 5424 /proc/meminfo: memFree=1846076/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=44976 CPUtime=3.09 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 10807 0 0 0 304 5 0 0 25 0 1 0 158139086 46055424 10367 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 11244 10367 307 324 0 10313 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44976 [startup+6.30175 s] /proc/loadavg: 0.74 0.92 0.97 2/65 5424 /proc/meminfo: memFree=1845764/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=44976 CPUtime=6.29 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 10808 0 0 0 623 6 0 0 25 0 1 0 158139086 46055424 10368 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 11244 10368 307 324 0 10313 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44976 [startup+12.7012 s] /proc/loadavg: 0.78 0.93 0.97 2/65 5424 /proc/meminfo: memFree=1845780/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=44976 CPUtime=12.69 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 10808 0 0 0 1263 6 0 0 25 0 1 0 158139086 46055424 10368 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583266 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 11244 10368 307 324 0 10313 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44976 [startup+25.501 s] /proc/loadavg: 0.81 0.93 0.97 2/65 5424 /proc/meminfo: memFree=1845844/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=44976 CPUtime=25.49 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 10810 0 0 0 2542 7 0 0 25 0 1 0 158139086 46055424 10370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4739224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 11244 10370 307 324 0 10313 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44976 [startup+51.1018 s] /proc/loadavg: 0.87 0.93 0.97 2/65 5424 /proc/meminfo: memFree=1845844/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=45108 CPUtime=51.08 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 10820 0 0 0 5101 7 0 0 25 0 1 0 158139086 46190592 10380 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 11277 10380 307 324 0 10346 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45108 [startup+102.305 s] /proc/loadavg: 0.95 0.94 0.97 2/65 5424 /proc/meminfo: memFree=1845908/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=45108 CPUtime=102.27 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 10821 0 0 0 10220 7 0 0 25 0 1 0 158139086 46190592 10381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4742714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 11277 10381 307 324 0 10346 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 45108 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.97 2/65 5424 /proc/meminfo: memFree=1845908/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=45108 CPUtime=162.26 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 10821 0 0 0 16218 8 0 0 25 0 1 0 158139086 46190592 10381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4742950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 11277 10381 307 324 0 10346 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 45108 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.97 2/65 5424 /proc/meminfo: memFree=1772244/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=119328 CPUtime=222.24 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 29680 0 0 0 22130 94 0 0 25 0 1 0 158139086 122191872 29091 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 29832 29091 313 324 0 28901 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 119328 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.97 2/65 5424 /proc/meminfo: memFree=1628372/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=264496 CPUtime=282.23 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 65969 0 0 0 28105 118 0 0 25 0 1 0 158139086 270843904 65380 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 66124 65380 313 324 0 65193 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 264496 [startup+342.301 s] /proc/loadavg: 1.05 0.98 0.98 2/65 5424 /proc/meminfo: memFree=1433692/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=457124 CPUtime=342.21 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 114113 0 0 0 34063 158 0 0 25 0 1 0 158139086 468094976 113524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 114281 113524 313 324 0 113350 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 457124 [startup+402.301 s] /proc/loadavg: 1.02 0.98 0.98 2/65 5424 /proc/meminfo: memFree=1256284/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=634996 CPUtime=402.2 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 158610 0 0 0 40029 191 0 0 25 0 1 0 158139086 650235904 158021 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 158749 158021 313 324 0 157818 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 634996 [startup+462.301 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=1091804/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=798156 CPUtime=462.19 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 199395 0 0 0 45994 225 0 0 25 0 1 0 158139086 817311744 198806 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 199539 198806 313 324 0 198608 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 798156 [startup+522.302 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=942108/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=949316 CPUtime=522.18 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 237170 0 0 0 51961 257 0 0 25 0 1 0 158139086 972099584 236581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 237329 236581 313 324 0 236398 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 949316 [startup+582.302 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=813660/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=1076620 CPUtime=582.17 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 268993 0 0 0 57934 283 0 0 25 0 1 0 158139086 1102458880 268404 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 269155 268404 313 324 0 268224 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 1076620 [startup+642.302 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=684828/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=1203240 CPUtime=642.16 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 300666 0 0 0 63908 308 0 0 25 0 1 0 158139086 1232117760 300077 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 300810 300077 313 324 0 299879 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 1203240 [startup+702.302 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=571996/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=1317084 CPUtime=702.14 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 329109 0 0 0 69883 331 0 0 25 0 1 0 158139086 1348694016 328520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 329271 328520 313 324 0 328340 0 Current children cumulated CPU time (s) 702.14 Current children cumulated vsize (KiB) 1317084 [startup+762.306 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=492252/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=1395772 CPUtime=762.13 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 348775 0 0 0 75866 347 0 0 25 0 1 0 158139086 1429270528 348186 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551895 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 348943 348186 313 324 0 348012 0 Current children cumulated CPU time (s) 762.13 Current children cumulated vsize (KiB) 1395772 [startup+822.302 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=403292/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=1485524 CPUtime=822.11 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 371228 0 0 0 81845 366 0 0 25 0 1 0 158139086 1521176576 370639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 371381 370639 313 324 0 370450 0 Current children cumulated CPU time (s) 822.11 Current children cumulated vsize (KiB) 1485524 [startup+882.302 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=312988/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=1574772 CPUtime=882.1 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 393533 0 0 0 87824 386 0 0 25 0 1 0 158139086 1612566528 392944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 393693 392944 313 324 0 392762 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 1574772 [startup+942.302 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=221148/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=1667280 CPUtime=942.09 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 416679 0 0 0 93802 407 0 0 25 0 1 0 158139086 1707294720 416090 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 416820 416090 313 324 0 415889 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 1667280 [startup+1002.3 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=109596/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=1777880 CPUtime=1002.07 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 444304 0 0 0 99781 426 0 0 25 0 1 0 158139086 1820549120 443715 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 444470 443715 313 324 0 443539 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 1777880 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1033.9 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=43548/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=1843324 CPUtime=1033.67 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194304 460676 0 0 0 102927 440 0 0 25 0 1 0 158139086 1887563776 460087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 460831 460087 313 324 0 459900 0 Current children cumulated CPU time (s) 1033.67 Current children cumulated vsize (KiB) 1843324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1034.01 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=43548/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=0 CPUtime=1033.78 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194308 460677 0 0 0 102928 450 0 0 25 0 1 0 158139086 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1033.78 Current children cumulated vsize (KiB) 0 [startup+1034.1 s] /proc/loadavg: 1.00 0.98 0.98 2/65 5424 /proc/meminfo: memFree=43548/2055920 swapFree=4182984/4192956 [pid=5423] ppid=5421 vsize=0 CPUtime=1033.87 /proc/5423/stat : 5423 (bsolo3.0.16) R 5421 5423 5267 0 -1 4194308 460677 0 0 0 102928 459 0 0 25 0 1 0 158139086 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/5423/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1033.87 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1034.2 CPU time (s): 1033.97 CPU user time (s): 1029.28 CPU system time (s): 4.68629 CPU usage (%): 99.978 Max. virtual memory (cumulated for all children) (KiB): 1843324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1029.28 system time used= 4.68629 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460677 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= 1608 runsolver used 0.872867 second user time and 1.9607 second system time The end
Begin job on node52 on Tue May 1 15:22:20 UTC 2007 IDJOB= 454875 IDBENCH= 48226 IDSOLVER= 163 FILE ID= node52/454875-1178032940 PBS_JOBID= 4728426 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454875-1178032940/instance-454875-1178032940.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-454875-1178032940 -o ROOT/results/node52/solver-454875-1178032940 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454875-1178032940/instance-454875-1178032940.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= a83973bc04af54d38c05a30d36c8573f RANDOM SEED= 820645550 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1886940 kB Buffers: 36692 kB Cached: 70872 kB SwapCached: 3888 kB Active: 82088 kB Inactive: 35736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1886940 kB SwapTotal: 4192956 kB SwapFree: 4182984 kB Dirty: 7812 kB Writeback: 0 kB Mapped: 15468 kB Slab: 37144 kB Committed_AS: 4485912 kB PageTables: 1484 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 node52 on Tue May 1 15:39:36 UTC 2007