Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | -22 | 1485.6 | 1486.3 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_5.opb |
MD5SUM | dfd3914a8aa1cc34e3abdf0a14d8373d |
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 | -82 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -82 |
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) | 31412 |
Sum of products size (including duplicates) | 62824 |
Number of different products | 15706 |
Sum of products size | 31412 |
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/455340-1178041646/instance-455340-1178041646.opb 0.00/0.00 c File size is 432083 bytes. 0.29/0.30 c Highest Coefficient sum: 1000 0.29/0.30 c Parsing was ok!! 0.29/0.30 c Total parsing time: 0.302 s 0.29/0.35 c Var: 32412 Constr: 64326 31912/1002/31412 Lit: 222884 Watch. Lit: 190474 0.29/0.36 c Obj. Vars: 500 (1.54264 % of total variables) 180.33/180.44 c Pre-processing Time: 180.37 s 180.33/180.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.33/180.44 c 0 32412 64326 222884 3 190474 528158 0 0 180.37 180.33/180.44 c Switching off LPR mode. 180.43/180.50 o -1 180.433 180.43/180.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.43/180.58 c 0 32412 64327 223384 3 190477 528492 1 0 180.45 180.43/180.58 o -2 180.514 180.52/180.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.52/180.66 c 0 32412 64328 223884 3 190481 528992 2 0 180.53 180.52/180.66 o -3 180.596 180.62/180.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.62/180.75 c 0 32412 64329 224384 3 190486 529658 3 0 180.61 180.62/180.75 o -4 180.677 180.72/180.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.72/180.83 c 0 32412 64330 224884 3 190492 530492 4 0 180.69 180.72/180.83 o -5 180.759 180.82/180.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.82/180.91 c 0 32412 64331 225384 3 190499 531492 5 0 180.78 180.82/180.91 o -6 180.841 180.82/180.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.82/180.99 c 0 32412 64332 225884 3 190507 532492 6 0 180.86 180.82/180.99 o -7 180.923 180.92/181.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.92/181.07 c 0 32412 64333 226384 3 190516 533492 7 0 180.94 180.92/181.07 o -8 181.005 181.02/181.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.02/181.16 c 0 32412 64334 226884 3 190526 534492 8 0 181.02 181.02/181.16 o -9 181.087 181.12/181.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.12/181.24 c 0 32412 64335 227384 3 190537 535492 9 0 181.10 181.12/181.24 o -10 181.169 181.22/181.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.22/181.32 c 0 32412 64336 227884 3 190549 536492 10 0 181.19 181.22/181.32 o -11 181.25 181.32/181.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.32/181.40 c 0 32412 64337 228384 3 190562 537492 11 0 181.27 181.32/181.40 o -12 181.332 181.32/181.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.32/181.48 c 0 32412 64338 228884 3 190576 538492 12 0 181.35 181.32/181.48 o -13 181.413 181.42/181.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.42/181.56 c 0 32412 64339 229384 3 190591 539492 13 0 181.43 181.42/181.56 o -14 181.495 181.53/181.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.53/181.65 c 0 32412 64340 229884 3 190607 540492 14 0 181.51 181.53/181.65 o -15 181.577 181.62/181.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.62/181.73 c 0 32412 64341 230384 3 190624 541492 15 0 181.59 181.62/181.73 o -16 181.659 181.72/181.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.72/181.81 c 0 32412 64342 230884 3 190642 542492 16 0 181.68 181.72/181.81 o -17 181.74 181.72/181.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.72/181.89 c 0 32412 64343 231384 3 190661 543492 17 0 181.76 181.72/181.89 o -18 181.821 181.82/181.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.82/181.97 c 0 32412 64344 231884 3 190681 544492 18 0 181.84 181.82/181.97 o -19 181.903 181.92/182.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.92/182.05 c 0 32412 64345 232384 3 190702 545492 19 0 181.92 181.92/182.05 o -20 181.984 182.02/182.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.02/182.19 c 0 32412 64346 232884 3 190724 546492 20 0 182.00 182.02/182.19 o -21 182.123 193.92/194.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 193.92/194.02 c 18 32412 64365 242811 3 190783 546492 39 0 182.14 193.92/194.02 c 118 32412 64465 294801 4 190983 601142 139 0 183.05 193.92/194.02 c 368 32412 64715 450978 6 191483 661257 389 1 185.24 193.92/194.02 c 843 32412 65190 749520 11 192433 727383 864 4 188.41 193.92/194.02 c 1656 32412 66003 1328674 20 194059 800122 1677 8 192.51 193.92/194.02 o -22 193.945 1485.30/1486.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1485.30/1486.00 c 2200 32412 66548 1788844 26 195171 546492 2222 11 193.97 1485.30/1486.00 c 2300 32412 66648 1840726 27 195371 601142 2322 11 195.51 1485.30/1486.00 c 2550 32412 66898 1995023 29 195871 661257 2572 12 197.51 1485.30/1486.00 c 3025 32412 67373 2275754 33 196821 727383 3047 15 199.79 1485.30/1486.00 c 3838 32412 68186 2698733 39 198447 800122 3860 18 203.54 1485.30/1486.00 c 5158 32412 69506 3572012 51 201087 880135 5180 24 213.57 1485.30/1486.00 c 7239 32412 71587 4828431 67 205249 968149 7261 31 229.18 1485.30/1486.00 c 10462 32412 74810 6804747 90 211695 500000 10484 41 254.83 1485.30/1486.00 c 15398 32412 79746 9742749 122 221567 550001 15420 53 287.05 1485.30/1486.00 c 22904 32412 87252 14459723 165 236579 605002 22926 66 342.25 1485.30/1486.00 c 34265 32412 98613 21558670 218 259301 665503 34287 80 423.97 1485.30/1486.00 c 51409 32412 115757 31786725 274 293589 732054 51431 97 526.71 1485.30/1486.00 c 77228 32412 141576 47201325 333 345227 805260 77250 116 661.22 1485.30/1486.00 c 116060 32412 180408 71108995 394 422891 885787 116082 137 841.28 1485.30/1486.00 c 174412 32412 238760 106223670 444 539595 974366 174434 145 1200.09 1485.30/1486.00 c Caught signal: 15 1485.30/1486.00 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 1485.30/1486.00 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 1485.30/1486.00 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 1485.30/1486.00 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 1485.30/1486.00 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1485.30/1486.00 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1485.30/1486.00 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1485.30/1486.00 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1485.30/1486.00 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1485.30/1486.00 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1485.30/1486.00 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1485.30/1486.00 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1485.30/1486.00 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1485.30/1486.00 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1485.30/1486.00 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1485.30/1486.00 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1485.30/1486.00 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1485.30/1486.00 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1485.30/1486.00 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1485.30/1486.00 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1485.30/1486.00 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1485.30/1486.00 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 1485.30/1486.00 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777 -x633 -x921 1485.30/1486.00 v -x650 -x574 -x882 -x527 -x849 -x861 -x699 -x911 -x521 -x727 -x829 -x987 -x915 -x506 -x680 -x874 -x832 -x961 -x517 -x572 -x581 1485.30/1486.00 v -x595 -x598 -x649 -x681 -x731 -x739 -x867 -x878 -x501 x884 x553 x968 -x847 x728 x585 x809 -x800 x862 -x941 -x511 x866 x954 1485.30/1486.00 v -x538 -x714 x666 x736 -x624 -x608 -x702 -x594 x616 -x723 -x504 -x535 -x548 x567 x577 -x596 -x617 -x625 x635 -x653 -x660 -x720 1485.30/1486.00 v x776 -x785 x813 -x827 -x843 x902 -x992 -x502 -x774 -x989 -x554 -x586 -x724 -x928 -x990 -x543 -x717 -x628 -x934 -x869 -x940 1485.30/1486.00 v -x851 -x591 -x745 -x888 -x804 -x762 -x975 -x779 -x799 -x980 -x664 -x515 -x520 -x523 -x566 -x672 -x735 -x746 -x769 -x944 -x503 1485.30/1486.00 v -x528 -x887 -x935 -x792 -x590 -x659 -x719 x579 -x844 -x647 -x807 x871 -x592 -x551 -x610 -x747 -x505 -x510 -x532 x541 -x559 1485.30/1486.00 v -x605 -x629 -x662 -x667 -x688 -x705 -x711 -x789 -x823 -x908 -x937 -x525 -x963 -x870 -x979 -x897 -x901 -x533 -x508 -x568 -x922 1485.30/1486.00 v -x715 -x627 -x646 -x552 -x571 -x587 -x654 -x663 -x679 -x722 -x730 -x740 -x761 -x794 -x859 -x868 -x996 -x938 -x978 -x742 -x602 1485.30/1486.00 v -x619 -x564 -x622 -x542 -x758 -x636 -x956 -x626 -x998 -x545 -x765 -x514 -x529 -x530 -x558 -x601 -x613 -x640 -x669 -x692 -x704 1485.30/1486.00 v -x793 -x795 -x889 -x570 -x815 -x716 -x578 -x764 -x820 -x516 -x751 -x899 -x822 -x886 -x652 -x612 -x684 -x694 -x738 -x781 -x898 1485.30/1486.00 v -x974 -x507 -x569 -x518 -x991 -x926 -x709 -x639 -x561 -x857 -x756 -x677 -x912 -x651 -x919 -x536 -x563 -x634 -x710 -x743 -x744 1485.30/1486.00 v -x837 -x875 -x879 -x945 -x964 -x966 -x787 -x695 -x923 -x556 -x534 -x811 -x806 -x835 -x718 -x981 -x936 -x725 -x931 -x920 -x550 1485.30/1486.00 v -x637 -x685 -x768 -x812 -x821 -x828 -x833 -x850 -x876 -x988 -x509 -x959 -x946 -x914 -x609 -x970 -x607 -x917 -x895 -x540 -x881 1485.30/1486.00 v -x883 -x953 -x836 -x576 -x648 -x665 -x775 -x810 -x830 -x863 -x890 -x615 -x589 -x958 -x854 -x839 -x949 -x960 -x984 -x864 -x557 1485.30/1486.00 v -x641 -x797 -x892 -x903 -x733 -x734 -x801 -x555 -x778 -x840 -x790 -x696 -x599 -x713 -x965 -x802 -x593 -x657 -x757 -x782 -x824 1485.30/1486.00 v -x904 -x947 -x971 -x512 -x638 -x753 -x853 -x838 -x803 -x580 -x932 -x939 -x826 -x537 -x771 -x865 -x983 -x604 -x631 -x721 -x732 1485.30/1486.00 v -x798 -x910 -x950 -x957 -x513 -x759 -x786 -x698 -x546 -x729 -x539 -x620 -x683 -x689 -x770 -x860 -x933 -x642 -x597 -x708 -x969 1485.30/1486.00 v -x955 -x962 -x748 -x924 -x519 -x565 -x655 -x855 -x805 -x760 -x872 -x977 -x701 -x948 -x700 -x549 -x767 -x825 -x927 -x952 -x600 1485.30/1486.00 v -x750 -x737 -x834 -x930 -x749 -x976 -x796 -x656 -x671 -x816 -x687 -x856 -x916 -x818 -x763 -x544 -x741 -x909 -x522 -x877 -x900 1485.30/1486.00 v -x560 -x967 -x682 -x773 -x788 -x842 -x623 -x524 -x678 -x913 -x668 -x845 -x582 -x880 -x780 -x942 -x583 -x584 -x691 -x693 -x670 1485.30/1486.00 v -x562 -x995 -x603 -x754 -x907 -x791 -x575 -x985 -x905 -x606 -x630 -x951 -x783 -x644 -x674 -x906 -x526 -x831 -x547 -x755 -x808 1485.30/1486.00 v -x1000 -x673 -x841 -x918 -x531 -x645 -x885 -x994 -x943 -x858 -x614 -x784 -x894 -x814 -x973 -x706 -x752 -x675 -x661 -x891 1485.30/1486.00 v -x588 -x621 -x848 -x697 -x707 -x925 -x658 -x643 -x686 -x712 -x632 -x993 -x999 -x972 -x893 -x982 -x929 -x690 -x986 -x852 -x873 1485.30/1486.00 v -x846 -x896 -x997 -x819 -x772 -x817 -x618 -x703 x726 1485.30/1486.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1485.30/1486.00 c 40 237070 579 838364 301418 141568574 237092 159 1485.31 1485.30/1486.00 c Objective: -22 1485.30/1486.00 s SATISFIABLE 1485.30/1486.00 c Total time: 1485.31 s
OK -22
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-455340-1178041646 -o ROOT/results/node39/solver-455340-1178041646 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455340-1178041646/instance-455340-1178041646.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 24331 /proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=12160 CPUtime=0 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 252076621 12451840 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11518019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 3040 335 281 324 0 2003 0 [startup+0.10665 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24331 /proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=8004 CPUtime=0.1 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 1303 0 0 0 10 0 0 0 18 0 1 0 252076621 8196096 1272 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538914 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 2001 1272 327 324 0 964 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 8004 [startup+0.201666 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24331 /proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=11048 CPUtime=0.19 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 2132 0 0 0 19 0 0 0 18 0 1 0 252076621 11313152 2061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 2762 2061 359 324 0 1725 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11048 [startup+0.301682 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24331 /proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=13992 CPUtime=0.29 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 2938 0 0 0 29 0 0 0 19 0 1 0 252076621 14327808 2867 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 3498 2867 393 324 0 2461 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13992 [startup+0.701749 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24331 /proc/meminfo: memFree=1832696/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=21188 CPUtime=0.69 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4744 0 0 0 68 1 0 0 23 0 1 0 252076621 21696512 4567 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 5297 4567 307 324 0 4366 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21188 [startup+1.50188 s] /proc/loadavg: 0.92 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1815536/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=21320 CPUtime=1.49 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4748 0 0 0 148 1 0 0 25 0 1 0 252076621 21831680 4571 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 5330 4571 307 324 0 4399 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21320 [startup+3.10115 s] /proc/loadavg: 0.92 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1815408/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=21320 CPUtime=3.09 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 308 1 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 5330 4572 307 324 0 4399 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21320 [startup+6.30169 s] /proc/loadavg: 0.93 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1815224/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=21320 CPUtime=6.29 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 628 1 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 5330 4572 307 324 0 4399 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21320 [startup+12.7028 s] /proc/loadavg: 0.93 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1815352/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=21320 CPUtime=12.68 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 1267 1 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 5330 4572 307 324 0 4399 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21320 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1815352/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=21320 CPUtime=25.48 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 2546 2 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11522070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 5330 4572 307 324 0 4399 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21320 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1815352/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=21320 CPUtime=51.07 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 5104 3 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11526234 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 5330 4572 307 324 0 4399 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21320 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1815352/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=21320 CPUtime=102.25 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 10221 4 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11522117 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 5330 4572 307 324 0 4399 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 21320 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1815288/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=21320 CPUtime=162.22 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 4749 0 0 0 16215 7 0 0 25 0 1 0 252076621 21831680 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 5330 4572 307 324 0 4399 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 21320 [startup+222.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1760632/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=75552 CPUtime=222.21 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 18458 0 0 0 22172 49 0 0 25 0 1 0 252076621 77365248 18217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 18888 18217 313 324 0 17957 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 75552 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1696632/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=139688 CPUtime=282.19 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 34494 0 0 0 28157 62 0 0 25 0 1 0 252076621 143040512 34253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 34922 34253 313 324 0 33991 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 139688 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1631608/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=205024 CPUtime=342.16 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 50830 0 0 0 34142 74 0 0 25 0 1 0 252076621 209944576 50589 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 51256 50589 313 324 0 50325 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 205024 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1564216/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=272012 CPUtime=402.14 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 67582 0 0 0 40127 87 0 0 25 0 1 0 252076621 278540288 67341 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 68003 67341 313 324 0 67072 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 272012 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1489720/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=346076 CPUtime=462.12 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 86088 0 0 0 46110 102 0 0 25 0 1 0 252076621 354381824 85847 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 86519 85847 313 324 0 85588 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 346076 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1412728/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=423256 CPUtime=522.1 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 105388 0 0 0 52094 116 0 0 25 0 1 0 252076621 433414144 105147 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 105814 105147 313 324 0 104883 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 423256 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1336952/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=499204 CPUtime=582.08 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 124352 0 0 0 58079 129 0 0 25 0 1 0 252076621 511184896 124111 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 124801 124111 313 324 0 123870 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 499204 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1239160/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=596836 CPUtime=642.06 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 148779 0 0 0 64058 148 0 0 25 0 1 0 252076621 611160064 148538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 149209 148538 313 324 0 148278 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 596836 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1140024/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=695796 CPUtime=702.05 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 173518 0 0 0 70038 167 0 0 25 0 1 0 252076621 712495104 173277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 173949 173277 313 324 0 173018 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 695796 [startup+762.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24332 /proc/meminfo: memFree=1034232/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=800392 CPUtime=762.02 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 199674 0 0 0 76015 187 0 0 25 0 1 0 252076621 819601408 199433 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 200098 199433 313 324 0 199167 0 Current children cumulated CPU time (s) 762.02 Current children cumulated vsize (KiB) 800392 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 24404 /proc/meminfo: memFree=920264/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=913636 CPUtime=821.97 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 227967 0 0 0 81987 210 0 0 25 0 1 0 252076621 935563264 227726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 228409 227726 313 324 0 227478 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 913636 [startup+882.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24530 /proc/meminfo: memFree=856496/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=978020 CPUtime=881.89 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 244057 0 0 0 87965 224 0 0 25 0 1 0 252076621 1001492480 243816 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 244505 243816 313 324 0 243574 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 978020 [startup+942.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24530 /proc/meminfo: memFree=787440/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1046952 CPUtime=941.86 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 261316 0 0 0 93947 239 0 0 25 0 1 0 252076621 1072078848 261075 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 261738 261075 313 324 0 260807 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 1046952 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24530 /proc/meminfo: memFree=713776/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1120168 CPUtime=1001.84 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 279622 0 0 0 99929 255 0 0 25 0 1 0 252076621 1147052032 279381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 280042 279381 313 324 0 279111 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 1120168 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24530 /proc/meminfo: memFree=637552/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1196588 CPUtime=1061.82 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 298726 0 0 0 105911 271 0 0 25 0 1 0 252076621 1225306112 298485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 299147 298485 313 324 0 298216 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 1196588 [startup+1122.3 s] /proc/loadavg: 1.05 1.00 1.00 2/78 24530 /proc/meminfo: memFree=563056/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1270920 CPUtime=1121.8 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 317296 0 0 0 111894 286 0 0 25 0 1 0 252076621 1301422080 317055 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 317730 317055 313 324 0 316799 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 1270920 [startup+1182.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 24530 /proc/meminfo: memFree=475000/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1359904 CPUtime=1181.77 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 339530 0 0 0 117872 305 0 0 25 0 1 0 252076621 1392541696 339289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 339976 339289 313 324 0 339045 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 1359904 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24530 /proc/meminfo: memFree=378872/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1454824 CPUtime=1241.76 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 363281 0 0 0 123852 324 0 0 25 0 1 0 252076621 1489739776 363040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547895 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 363706 363040 313 324 0 362775 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 1454824 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24530 /proc/meminfo: memFree=283448/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1551200 CPUtime=1301.74 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 387368 0 0 0 129834 340 0 0 25 0 1 0 252076621 1588428800 387127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 387800 387127 313 324 0 386869 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 1551200 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24530 /proc/meminfo: memFree=176248/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1657664 CPUtime=1361.71 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 413988 0 0 0 135808 363 0 0 25 0 1 0 252076621 1697447936 413747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 414416 413747 313 324 0 413485 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 1657664 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24530 /proc/meminfo: memFree=85176/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1747480 CPUtime=1421.7 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 436441 0 0 0 141787 383 0 0 25 0 1 0 252076621 1789419520 436200 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 436870 436200 313 324 0 435939 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 1747480 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24530 /proc/meminfo: memFree=15992/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1837380 CPUtime=1481.6 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 458914 0 0 0 147755 405 0 0 25 0 1 0 252076621 1881477120 458673 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 459345 458673 313 324 0 458414 0 Current children cumulated CPU time (s) 1481.6 Current children cumulated vsize (KiB) 1837380 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1486 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24530 /proc/meminfo: memFree=15416/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=1843236 CPUtime=1485.3 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194304 460361 0 0 0 148124 406 0 0 25 0 1 0 252076621 1887473664 460120 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 460809 460120 313 324 0 459878 0 Current children cumulated CPU time (s) 1485.3 Current children cumulated vsize (KiB) 1843236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1486.11 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24531 /proc/meminfo: memFree=618032/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=0 CPUtime=1485.4 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194308 460362 0 0 0 148124 416 0 0 25 0 1 0 252076621 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1485.4 Current children cumulated vsize (KiB) 0 [startup+1486.21 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24531 /proc/meminfo: memFree=618032/2055920 swapFree=4159404/4192956 [pid=24331] ppid=24329 vsize=0 CPUtime=1485.5 /proc/24331/stat : 24331 (bsolo3.0.16) R 24329 24331 23094 0 -1 4194308 460362 0 0 0 148124 426 0 0 25 0 1 0 252076621 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/24331/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1485.5 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1486.3 CPU time (s): 1485.6 CPU user time (s): 1481.25 CPU system time (s): 4.35334 CPU usage (%): 99.9531 Max. virtual memory (cumulated for all children) (KiB): 1843236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1481.25 system time used= 4.35334 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460362 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= 32382 runsolver used 1.16682 second user time and 3.3145 second system time The end
Begin job on node39 on Tue May 1 17:47:26 UTC 2007 IDJOB= 455340 IDBENCH= 48257 IDSOLVER= 163 FILE ID= node39/455340-1178041646 PBS_JOBID= 4728440 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455340-1178041646/instance-455340-1178041646.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-455340-1178041646 -o ROOT/results/node39/solver-455340-1178041646 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455340-1178041646/instance-455340-1178041646.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= dfd3914a8aa1cc34e3abdf0a14d8373d RANDOM SEED= 899594311 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1833104 kB Buffers: 59520 kB Cached: 71128 kB SwapCached: 13784 kB Active: 104944 kB Inactive: 50456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1833104 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 7192 kB Writeback: 0 kB Mapped: 31540 kB Slab: 52724 kB Committed_AS: 3945420 kB PageTables: 2016 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 node39 on Tue May 1 18:12:14 UTC 2007