Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | -16 | 1472.45 | 1472.89 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb |
MD5SUM | 68d7f052f18638860d9232a7f3ed2053 |
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 | -139 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
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) | 12632 |
Sum of products size (including duplicates) | 25264 |
Number of different products | 6316 |
Sum of products size | 12632 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455196-1178038913/instance-455196-1178038913.opb 0.00/0.00 c File size is 192850 bytes. 0.06/0.08 c Highest Coefficient sum: 1000 0.06/0.08 c Parsing was ok!! 0.06/0.08 c Total parsing time: 0.08 s 0.08/0.10 c Var: 13632 Constr: 26766 13132/1002/12632 Lit: 91424 Watch. Lit: 77794 0.08/0.10 c Obj. Vars: 500 (3.66784 % of total variables) 6.88/6.98 c Pre-processing Time: 6.974 s 6.88/6.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.88/6.99 c 0 13632 26766 91424 3 77794 133041 0 0 6.97 6.88/6.99 c Switching off LPR mode. 6.98/7.01 o -1 6.995 6.98/7.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.03 c 0 13632 26767 91924 3 77797 133374 1 0 7.00 6.98/7.03 o -2 7.015 6.98/7.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.05 c 0 13632 26768 92424 3 77801 133874 2 0 7.02 6.98/7.05 o -3 7.036 6.98/7.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.07 c 0 13632 26769 92924 3 77806 134541 3 0 7.04 6.98/7.07 o -4 7.056 6.98/7.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.09 c 0 13632 26770 93424 3 77812 135374 4 0 7.06 6.98/7.09 o -5 7.077 7.08/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.11 c 0 13632 26771 93924 3 77819 136374 5 0 7.08 7.08/7.11 o -6 7.098 7.08/7.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.13 c 0 13632 26772 94424 3 77827 137374 6 0 7.10 7.08/7.13 o -7 7.118 7.08/7.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.15 c 0 13632 26773 94924 3 77836 138374 7 0 7.12 7.08/7.15 o -8 7.139 7.08/7.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.17 c 0 13632 26774 95424 3 77846 139374 8 0 7.14 7.08/7.17 o -9 7.16 7.08/7.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.19 c 0 13632 26775 95924 3 77857 140374 9 0 7.17 7.08/7.19 o -10 7.181 7.18/7.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.21 c 0 13632 26776 96424 3 77869 141374 10 0 7.19 7.18/7.21 o -11 7.201 7.18/7.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.23 c 0 13632 26777 96924 3 77882 142374 11 0 7.21 7.18/7.23 o -12 7.222 7.18/7.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.25 c 0 13632 26778 97424 3 77896 143374 12 0 7.23 7.18/7.25 o -13 7.243 7.18/7.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.30 c 0 13632 26779 97924 3 77911 144374 13 0 7.25 7.18/7.30 o -14 7.285 14.98/15.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.98/15.03 c 6 13632 26786 101586 3 77939 144374 20 0 7.29 14.98/15.03 c 106 13632 26886 156224 5 78139 158812 120 13 7.90 14.98/15.03 c 356 13632 27136 300754 11 78639 174694 370 38 9.13 14.98/15.03 c 831 13632 27611 593557 21 79589 192164 845 73 11.35 14.98/15.03 c 1644 13632 28424 1173813 41 81215 211381 1658 118 13.87 14.98/15.03 o -15 15.022 838.55/838.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 838.55/838.81 c 2395 13632 29176 1802729 61 82734 144374 2410 159 15.03 838.55/838.81 c 2495 13632 29276 1857321 63 82934 158812 2510 152 16.32 838.55/838.81 c 2745 13632 29526 2034082 68 83434 174694 2760 150 18.21 838.55/838.81 c 3220 13632 30001 2380911 79 84384 192164 3235 146 22.03 838.55/838.81 c 4033 13632 30814 2976525 96 86010 211381 4048 139 28.97 838.55/838.81 c 5353 13632 32134 3843946 119 88650 232520 5368 149 35.77 838.55/838.81 c 7434 13632 34215 5334166 155 92812 255773 7449 139 53.12 838.55/838.81 c 10657 13632 37438 7680112 205 99258 281351 10672 133 79.89 838.55/838.81 c 15593 13632 42374 11307932 266 109130 309487 15608 126 122.94 838.55/838.81 c 23099 13632 49880 16886631 338 124142 340436 23114 122 187.90 838.55/838.81 c 34460 13632 61241 25453928 415 146864 374480 34475 117 293.51 838.55/838.81 c 51604 13632 78385 38410565 490 181152 411929 51619 121 423.20 838.55/838.81 c 77423 13632 104204 58813193 564 232790 453122 77438 126 610.62 838.55/838.81 o -16 838.581 1472.15/1472.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1472.15/1472.60 c 115139 13632 141921 90666388 638 308240 144374 115155 137 838.59 1472.15/1472.60 c 115239 13632 142021 90721033 638 308440 158812 115255 137 840.13 1472.15/1472.60 c 115489 13632 142271 90896756 638 308940 174694 115505 136 844.87 1472.15/1472.60 c 115964 13632 142746 91236846 639 309890 192164 115980 136 851.34 1472.15/1472.60 c 116777 13632 143559 91801349 639 311516 211381 116793 136 858.18 1472.15/1472.60 c 118097 13632 144879 92679621 639 314156 232520 118113 135 869.52 1472.15/1472.60 c 120178 13632 146960 94180547 640 318318 255773 120194 135 888.22 1472.15/1472.60 c 123401 13632 150183 96529925 642 324764 281351 123417 134 917.81 1472.15/1472.60 c 128337 13632 155119 100055245 645 334636 309487 128353 132 968.88 1472.15/1472.60 c 135843 13632 162625 105627848 649 349648 340436 135859 128 1057.20 1472.15/1472.60 c 147204 13632 173986 114149207 656 372370 374480 147220 127 1156.70 1472.15/1472.60 c 164348 13632 191130 127387528 666 406658 411929 164364 125 1310.39 1472.15/1472.60 c Caught signal: 15 1472.15/1472.60 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 1472.15/1472.60 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 1472.15/1472.60 v -x58 -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 1472.15/1472.60 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1472.15/1472.60 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1472.15/1472.60 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1472.15/1472.60 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1472.15/1472.60 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1472.15/1472.60 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1472.15/1472.60 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1472.15/1472.60 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 1472.15/1472.60 v -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1472.15/1472.60 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1472.15/1472.60 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1472.15/1472.60 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1472.15/1472.60 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1472.15/1472.60 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1472.15/1472.60 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1472.15/1472.60 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1472.15/1472.60 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1472.15/1472.60 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1472.15/1472.60 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1472.15/1472.60 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x747 -x986 -x669 -x941 -x926 -x573 1472.15/1472.60 v -x877 -x802 -x765 -x859 -x531 -x574 -x591 -x776 -x822 -x858 -x866 -x908 -x501 x925 x894 x740 x603 x842 x976 x702 x896 x516 1472.15/1472.60 v x542 x655 x996 -x502 -x643 -x939 -x759 -x774 -x648 -x886 -x938 -x969 -x799 -x955 -x508 -x559 -x576 -x652 -x887 -x963 -x503 1472.15/1472.60 v -x715 -x637 -x975 -x507 -x562 -x916 -x579 -x791 -x569 -x695 -x640 -x745 -x781 -x807 -x953 -x504 -x649 -x993 -x588 -x889 -x948 1472.15/1472.60 v -x782 -x653 -x923 -x983 -x900 -x529 -x557 -x570 -x647 -x685 -x699 -x796 -x835 -x883 -x906 -x505 -x790 -x625 -x838 -x549 -x898 1472.15/1472.60 v -x837 -x786 -x687 -x805 -x936 -x831 -x506 -x642 -x872 -x572 -x968 -x878 -x634 -x809 -x924 -x568 -x623 -x658 -x661 -x867 -x882 1472.15/1472.60 v -x998 -x951 -x812 -x743 -x816 -x517 -x617 -x792 -x826 -x868 -x854 x567 x978 -x905 -x707 -x727 -x741 -x992 -x914 -x539 -x604 1472.15/1472.60 v -x613 -x626 -x761 -x841 -x509 -x927 -x907 -x769 -x999 -x874 -x646 -x984 -x757 -x806 -x537 -x540 -x638 -x960 -x510 -x830 -x899 1472.15/1472.60 v -x994 -x622 -x522 -x558 -x678 -x684 -x737 -x777 -x511 -x817 -x728 -x804 -x681 -x724 -x672 -x543 -x565 -x616 -x803 -x845 -x512 1472.15/1472.60 v -x795 -x973 -x950 -x553 -x739 -x931 -x535 -x526 x532 -x582 -x829 -x869 -x937 -x513 -x544 -x689 -x945 -x852 -x871 -x602 -x716 1472.15/1472.60 v -x746 -x723 -x515 -x521 -x863 -x964 -x514 -x536 -x704 -x586 -x660 -x890 -x732 -x785 -x988 -x563 -x590 -x627 -x952 -x771 -x949 1472.15/1472.60 v -x712 -x811 -x893 -x533 -x691 -x575 -x671 -x783 -x875 -x991 -x748 -x789 -x944 -x828 -x844 -x548 -x601 -x614 -x770 -x788 -x932 1472.15/1472.60 v -x518 -x657 -x985 -x775 -x620 -x644 -x933 -x519 -x545 -x714 -x708 -x607 -x851 -x594 -x810 -x520 -x571 -x840 -x667 -x843 -x800 1472.15/1472.60 v -x530 -x580 -x836 -x940 -x956 -x974 -x692 -x599 -x564 -x645 -x639 -x618 -x654 -x656 -x814 -x820 -x824 -x967 -x977 -x523 -x534 1472.15/1472.60 v -x989 -x876 -x846 -x659 -x538 -x554 -x751 -x772 -x892 -x524 -x823 -x833 -x821 -x962 -x808 -x734 -x742 -x753 -x848 -x525 -x733 1472.15/1472.60 v -x928 -x778 -x762 -x593 -x711 -x853 -x920 -x705 -x839 -x596 -x787 -x611 -x773 -x527 -x981 -x709 -x584 -x621 -x768 -x528 -x578 1472.15/1472.60 v -x675 -x815 -x550 -x738 -x766 -x726 -x703 -x750 -x595 -x598 -x720 -x676 -x958 -x664 -x700 -x650 -x697 -x912 -x930 -x891 -x633 1472.15/1472.60 v -x690 -x610 -x729 -x965 -x665 -x581 -x921 -x635 -x673 -x731 -x713 -x819 -x663 -x990 -x609 -x688 -x1000 -x780 -x834 -x587 1472.15/1472.60 v -x754 -x730 -x541 -x566 -x682 -x744 -x947 -x957 -x855 -x722 -x619 -x763 -x903 -x606 -x895 -x832 -x736 -x918 -x862 -x668 -x749 1472.15/1472.60 v -x721 -x547 -x608 -x624 -x641 -x825 -x683 -x860 -x686 -x674 -x784 -x585 -x959 -x970 -x546 x555 -x551 -x922 -x628 -x884 -x755 1472.15/1472.60 v -x982 -x696 -x752 -x827 -x911 -x560 -x600 -x679 -x857 -x904 -x794 -x561 -x694 -x943 -x793 -x997 -x693 -x758 -x552 -x592 -x897 1472.15/1472.60 v -x630 -x942 -x735 -x885 -x946 -x651 -x670 -x615 -x632 -x725 -x760 -x864 -x556 -x915 -x577 -x698 -x873 -x961 -x980 -x954 -x797 1472.15/1472.60 v -x612 -x880 -x856 -x909 -x666 -x597 -x870 -x813 -x801 -x583 -x706 -x764 -x719 -x767 -x910 -x798 -x718 -x589 -x680 -x631 -x865 1472.15/1472.60 v -x818 -x710 -x756 -x901 -x929 -x971 -x935 -x881 -x879 -x995 -x850 -x913 -x888 -x629 -x701 -x662 -x849 -x987 -x779 -x979 -x677 1472.15/1472.60 v -x902 -x605 -x847 -x934 -x717 -x917 -x861 -x636 -x919 -x966 -x972 1472.15/1472.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1472.15/1472.60 c 43 183657 371 371134 210439 142729081 183673 124 1472.16 1472.15/1472.60 c Objective: -16 1472.15/1472.60 s SATISFIABLE 1472.15/1472.60 c Total time: 1472.16 s
OK -16
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-455196-1178038913 -o ROOT/results/node1/solver-455196-1178038913 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455196-1178038913/instance-455196-1178038913.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.95 1.05 1.00 3/83 27686 /proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=11928 CPUtime=0 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 279929119 12214272 337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 2983 339 280 324 0 2005 0 [startup+0.076867 s] /proc/loadavg: 0.95 1.05 1.00 3/83 27686 /proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=7948 CPUtime=0.06 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 1353 0 0 0 6 0 0 0 18 0 1 0 279929119 8138752 1323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 1987 1324 329 324 0 1009 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7948 [startup+0.10187 s] /proc/loadavg: 0.95 1.05 1.00 3/83 27686 /proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=10428 CPUtime=0.08 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2025 0 0 0 8 0 0 0 18 0 1 0 279929119 10678272 1947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 2607 1949 300 324 0 1677 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10428 [startup+0.301893 s] /proc/loadavg: 0.95 1.05 1.00 3/83 27686 /proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=11112 CPUtime=0.28 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2169 0 0 0 28 0 0 0 19 0 1 0 279929119 11378688 2091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 2778 2091 304 324 0 1848 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11112 [startup+0.70194 s] /proc/loadavg: 0.95 1.05 1.00 3/83 27686 /proc/meminfo: memFree=1776432/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=11112 CPUtime=0.68 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2170 0 0 0 68 0 0 0 22 0 1 0 279929119 11378688 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 2778 2092 304 324 0 1848 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 11112 [startup+1.50103 s] /proc/loadavg: 0.95 1.05 1.00 2/84 27687 /proc/meminfo: memFree=1769192/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=11112 CPUtime=1.49 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2170 0 0 0 148 1 0 0 25 0 1 0 279929119 11378688 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 2778 2092 304 324 0 1848 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11112 [startup+3.10123 s] /proc/loadavg: 0.95 1.05 1.00 2/84 27687 /proc/meminfo: memFree=1768808/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=11112 CPUtime=3.09 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2170 0 0 0 308 1 0 0 25 0 1 0 279929119 11378688 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27686/statm: 2778 2092 304 324 0 1848 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11112 [startup+6.3016 s] /proc/loadavg: 0.95 1.05 1.00 2/78 27707 /proc/meminfo: memFree=1769944/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=11112 CPUtime=6.28 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 2170 0 0 0 627 1 0 0 25 0 1 0 279929119 11378688 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 2778 2092 304 324 0 1848 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11112 [startup+12.7013 s] /proc/loadavg: 0.95 1.05 1.00 2/78 27707 /proc/meminfo: memFree=1761624/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=21676 CPUtime=12.68 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 5291 0 0 0 1262 6 0 0 25 0 1 0 279929119 22196224 4784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 5419 4784 310 324 0 4489 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21676 [startup+25.5018 s] /proc/loadavg: 0.96 1.04 1.00 2/78 27707 /proc/meminfo: memFree=1736672/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=44828 CPUtime=25.48 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 11057 0 0 0 2539 9 0 0 25 0 1 0 279929119 45903872 10550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 11207 10550 310 324 0 10277 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44828 [startup+51.1018 s] /proc/loadavg: 0.97 1.04 1.00 2/78 27707 /proc/meminfo: memFree=1704032/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=77424 CPUtime=51.06 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 19218 0 0 0 5093 13 0 0 25 0 1 0 279929119 79282176 18711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 19356 18711 310 324 0 18426 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 77424 [startup+102.306 s] /proc/loadavg: 0.99 1.03 1.00 2/78 27707 /proc/meminfo: memFree=1647072/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=134100 CPUtime=102.26 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 33383 0 0 0 10203 23 0 0 25 0 1 0 279929119 137318400 32876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572684 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 33525 32876 310 324 0 32595 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 134100 [startup+162.302 s] /proc/loadavg: 0.99 1.02 1.00 2/78 27707 /proc/meminfo: memFree=1583072/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=198268 CPUtime=162.24 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 49417 0 0 0 16190 34 0 0 25 0 1 0 279929119 203026432 48910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 49567 48910 310 324 0 48637 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 198268 [startup+222.302 s] /proc/loadavg: 0.99 1.02 1.00 2/78 27707 /proc/meminfo: memFree=1516256/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=264632 CPUtime=222.22 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 66015 0 0 0 22179 43 0 0 25 0 1 0 279929119 270983168 65508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 66158 65508 310 324 0 65228 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 264632 [startup+282.302 s] /proc/loadavg: 0.99 1.01 1.00 2/78 27707 /proc/meminfo: memFree=1455136/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=325976 CPUtime=282.21 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 81355 0 0 0 28167 54 0 0 25 0 1 0 279929119 333799424 80848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 81494 80848 310 324 0 80564 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 325976 [startup+342.302 s] /proc/loadavg: 0.99 1.01 1.00 2/78 27707 /proc/meminfo: memFree=1380768/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=400096 CPUtime=342.19 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 99897 0 0 0 34154 65 0 0 25 0 1 0 279929119 409698304 99390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134592576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 100024 99390 310 324 0 99094 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 400096 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=1305760/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=475300 CPUtime=402.17 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 118674 0 0 0 40143 74 0 0 25 0 1 0 279929119 486707200 118167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 118825 118167 310 324 0 117895 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 475300 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=1226592/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=554096 CPUtime=462.15 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 138392 0 0 0 46129 86 0 0 25 0 1 0 279929119 567394304 137885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 138524 137885 310 324 0 137594 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 554096 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=1140448/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=640508 CPUtime=522.14 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 160003 0 0 0 52114 100 0 0 25 0 1 0 279929119 655880192 159496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 160127 159496 310 324 0 159197 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 640508 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=1055520/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=724872 CPUtime=582.12 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 181079 0 0 0 58099 113 0 0 25 0 1 0 279929119 742268928 180572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 181218 180572 310 324 0 180288 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 724872 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=964704/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=815020 CPUtime=642.11 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 203630 0 0 0 64086 125 0 0 25 0 1 0 279929119 834580480 203123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 203755 203123 310 324 0 202825 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 815020 [startup+702.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=863840/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=917144 CPUtime=702.09 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 229136 0 0 0 70069 140 0 0 25 0 1 0 279929119 939155456 228629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 229286 228629 310 324 0 228356 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 917144 [startup+762.305 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=760096/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1019396 CPUtime=762.07 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 254705 0 0 0 76051 156 0 0 25 0 1 0 279929119 1043861504 254198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 254849 254198 310 324 0 253919 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1019396 [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=637856/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1142588 CPUtime=822.06 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 285516 0 0 0 82030 176 0 0 25 0 1 0 279929119 1170010112 285009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 285647 285009 310 324 0 284717 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 1142588 [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=565472/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1213640 CPUtime=882.04 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 303264 0 0 0 88018 186 0 0 25 0 1 0 279929119 1242767360 302757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 303410 302757 310 324 0 302480 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1213640 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=506784/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1272896 CPUtime=942.03 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 318102 0 0 0 94008 195 0 0 25 0 1 0 279929119 1303445504 317595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 318224 317595 310 324 0 317294 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1272896 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=456928/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1322096 CPUtime=1002.01 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 330384 0 0 0 99999 202 0 0 25 0 1 0 279929119 1353826304 329877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 330524 329877 310 324 0 329594 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1322096 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=408480/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1370728 CPUtime=1061.99 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 342537 0 0 0 105990 209 0 0 25 0 1 0 279929119 1403625472 342030 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 342682 342030 310 324 0 341752 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1370728 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=341920/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1436884 CPUtime=1121.98 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 359072 0 0 0 111979 219 0 0 25 0 1 0 279929119 1471369216 358565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 359221 358565 310 324 0 358291 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1436884 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=275040/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1504396 CPUtime=1181.96 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 375966 0 0 0 117967 229 0 0 25 0 1 0 279929119 1540501504 375459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262934 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 376099 375459 310 324 0 375169 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1504396 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=207776/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1570884 CPUtime=1241.94 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 392586 0 0 0 123955 239 0 0 25 0 1 0 279929119 1608585216 392079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 392721 392079 310 324 0 391791 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1570884 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=140384/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1637792 CPUtime=1301.93 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 409296 0 0 0 129942 251 0 0 25 0 1 0 279929119 1677099008 408789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 409448 408789 310 324 0 408518 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1637792 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=67552/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1711872 CPUtime=1361.91 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 427817 0 0 0 135929 262 0 0 25 0 1 0 279929119 1752956928 427310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 427968 427310 310 324 0 427038 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1711872 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=15968/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1785212 CPUtime=1421.87 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 446157 0 0 0 141914 273 0 0 25 0 1 0 279929119 1828057088 445650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 446303 445650 310 324 0 445373 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1785212 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1472.6 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27707 /proc/meminfo: memFree=15328/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=1843320 CPUtime=1472.15 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194304 460688 0 0 0 146934 281 0 0 25 0 1 0 279929119 1887559680 460181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 460830 460181 310 324 0 459900 0 Current children cumulated CPU time (s) 1472.15 Current children cumulated vsize (KiB) 1843320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1472.8 s] /proc/loadavg: 0.99 1.00 1.00 2/79 27708 /proc/meminfo: memFree=1277656/2055920 swapFree=4145736/4192956 [pid=27686] ppid=27684 vsize=0 CPUtime=1472.35 /proc/27686/stat : 27686 (bsolo3.0.17) R 27684 27686 27071 0 -1 4194308 460692 0 0 0 146934 301 0 0 25 0 1 0 279929119 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/27686/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1472.35 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1472.89 CPU time (s): 1472.45 CPU user time (s): 1469.35 CPU system time (s): 3.10053 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1843320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1469.35 system time used= 3.10053 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460692 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= 1999 runsolver used 1.15882 second user time and 3.21551 second system time The end
Begin job on node1 on Tue May 1 17:01:53 UTC 2007 IDJOB= 455196 IDBENCH= 48247 IDSOLVER= 199 FILE ID= node1/455196-1178038913 PBS_JOBID= 4728435 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455196-1178038913/instance-455196-1178038913.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-455196-1178038913 -o ROOT/results/node1/solver-455196-1178038913 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455196-1178038913/instance-455196-1178038913.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED= 464524555 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1776904 kB Buffers: 84152 kB Cached: 106064 kB SwapCached: 14532 kB Active: 153420 kB Inactive: 61612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776904 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 6820 kB Writeback: 0 kB Mapped: 31380 kB Slab: 49112 kB Committed_AS: 8334004 kB PageTables: 2072 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 node1 on Tue May 1 17:26:28 UTC 2007