Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | -16 | 1473.69 | 1474.37 |
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.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/455190-1178038779/instance-455190-1178038779.opb 0.00/0.00 c File size is 192850 bytes. 0.07/0.08 c Highest Coefficient sum: 1000 0.07/0.08 c Parsing was ok!! 0.07/0.08 c Total parsing time: 0.081 s 0.09/0.10 c Var: 13632 Constr: 26766 13132/1002/12632 Lit: 91424 Watch. Lit: 77794 0.09/0.10 c Obj. Vars: 500 (3.66784 % of total variables) 6.99/7.05 c Pre-processing Time: 7.05 s 6.99/7.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.05 c 0 13632 26766 91424 3 77794 133041 0 0 7.05 6.99/7.05 c Switching off LPR mode. 6.99/7.08 o -1 7.081 7.09/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.11 c 0 13632 26767 91924 3 77797 133374 1 0 7.09 7.09/7.11 o -2 7.111 7.09/7.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.14 c 0 13632 26768 92424 3 77801 133874 2 0 7.12 7.09/7.14 o -3 7.141 7.09/7.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.17 c 0 13632 26769 92924 3 77806 134541 3 0 7.15 7.09/7.17 o -4 7.171 7.19/7.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.20 c 0 13632 26770 93424 3 77812 135374 4 0 7.18 7.19/7.20 o -5 7.201 7.19/7.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.23 c 0 13632 26771 93924 3 77819 136374 5 0 7.21 7.19/7.23 o -6 7.231 7.19/7.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.26 c 0 13632 26772 94424 3 77827 137374 6 0 7.24 7.19/7.26 o -7 7.26 7.19/7.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.29 c 0 13632 26773 94924 3 77836 138374 7 0 7.27 7.19/7.29 o -8 7.29 7.29/7.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.32 c 0 13632 26774 95424 3 77846 139374 8 0 7.30 7.29/7.32 o -9 7.32 7.29/7.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.35 c 0 13632 26775 95924 3 77857 140374 9 0 7.33 7.29/7.35 o -10 7.349 7.29/7.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.38 c 0 13632 26776 96424 3 77869 141374 10 0 7.36 7.29/7.38 o -11 7.379 7.38/7.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.41 c 0 13632 26777 96924 3 77882 142374 11 0 7.38 7.38/7.41 o -12 7.408 7.38/7.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.44 c 0 13632 26778 97424 3 77896 143374 12 0 7.41 7.38/7.44 o -13 7.437 7.38/7.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.49 c 0 13632 26779 97924 3 77911 144374 13 0 7.44 7.38/7.49 o -14 7.488 15.19/15.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.19/15.23 c 6 13632 26786 101586 3 77939 144374 20 0 7.50 15.19/15.23 c 106 13632 26886 156224 5 78139 158812 120 13 8.11 15.19/15.23 c 356 13632 27136 300754 11 78639 174694 370 38 9.33 15.19/15.23 c 831 13632 27611 593557 21 79589 192164 845 71 11.55 15.19/15.23 c 1644 13632 28424 1173813 41 81215 211381 1658 116 14.07 15.19/15.23 o -15 15.231 841.17/841.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 841.17/841.55 c 2395 13632 29176 1802729 61 82734 144374 2410 157 15.24 841.17/841.55 c 2495 13632 29276 1857321 63 82934 158812 2510 151 16.50 841.17/841.55 c 2745 13632 29526 2034082 68 83434 174694 2760 149 18.39 841.17/841.55 c 3220 13632 30001 2380911 79 84384 192164 3235 145 22.20 841.17/841.55 c 4033 13632 30814 2976525 96 86010 211381 4048 138 29.19 841.17/841.55 c 5353 13632 32134 3843946 119 88650 232520 5368 149 35.82 841.17/841.55 c 7434 13632 34215 5334166 155 92812 255773 7449 140 53.06 841.17/841.55 c 10657 13632 37438 7680112 205 99258 281351 10672 133 79.77 841.17/841.55 c 15593 13632 42374 11307932 266 109130 309487 15608 126 122.95 841.17/841.55 c 23099 13632 49880 16886631 338 124142 340436 23114 122 187.86 841.17/841.55 c 34460 13632 61241 25453928 415 146864 374480 34475 117 293.56 841.17/841.55 c 51604 13632 78385 38410565 490 181152 411929 51619 121 423.24 841.17/841.55 c 77423 13632 104204 58813193 564 232790 453122 77438 126 611.46 841.17/841.55 o -16 841.216 1473.40/1473.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1473.40/1473.90 c 115139 13632 141921 90666388 638 308240 144374 115155 136 841.23 1473.40/1473.90 c 115239 13632 142021 90721033 638 308440 158812 115255 136 842.77 1473.40/1473.90 c 115489 13632 142271 90896756 638 308940 174694 115505 136 847.51 1473.40/1473.90 c 115964 13632 142746 91236846 639 309890 192164 115980 135 853.94 1473.40/1473.90 c 116777 13632 143559 91801349 639 311516 211381 116793 135 860.79 1473.40/1473.90 c 118097 13632 144879 92679621 639 314156 232520 118113 135 872.11 1473.40/1473.90 c 120178 13632 146960 94180547 640 318318 255773 120194 134 890.80 1473.40/1473.90 c 123401 13632 150183 96529925 642 324764 281351 123417 134 920.41 1473.40/1473.90 c 128337 13632 155119 100055245 645 334636 309487 128353 132 971.42 1473.40/1473.90 c 135843 13632 162625 105627848 649 349648 340436 135859 128 1059.64 1473.40/1473.90 c 147204 13632 173986 114149207 656 372370 374480 147220 127 1158.81 1473.40/1473.90 c 164348 13632 191130 127387528 666 406658 411929 164364 125 1312.00 1473.40/1473.91 c Caught signal: 15 1473.40/1473.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 1473.40/1473.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 1473.40/1473.91 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 1473.40/1473.91 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 1473.40/1473.91 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1473.40/1473.91 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1473.40/1473.91 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1473.40/1473.91 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1473.40/1473.91 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1473.40/1473.91 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1473.40/1473.91 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 1473.40/1473.91 v -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1473.40/1473.91 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1473.40/1473.91 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1473.40/1473.91 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1473.40/1473.91 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1473.40/1473.91 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1473.40/1473.91 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1473.40/1473.91 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1473.40/1473.91 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1473.40/1473.91 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1473.40/1473.91 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1473.40/1473.91 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x747 -x986 -x669 -x941 -x926 -x573 1473.40/1473.91 v -x877 -x802 -x765 -x859 -x531 -x574 -x591 -x776 -x822 -x858 -x866 -x908 -x501 x925 x894 x740 x603 x842 x976 x702 x896 x516 1473.40/1473.91 v x542 x655 x996 -x502 -x643 -x939 -x759 -x774 -x648 -x886 -x938 -x969 -x799 -x955 -x508 -x559 -x576 -x652 -x887 -x963 -x503 1473.40/1473.91 v -x715 -x637 -x975 -x507 -x562 -x916 -x579 -x791 -x569 -x695 -x640 -x745 -x781 -x807 -x953 -x504 -x649 -x993 -x588 -x889 -x948 1473.40/1473.91 v -x782 -x653 -x923 -x983 -x900 -x529 -x557 -x570 -x647 -x685 -x699 -x796 -x835 -x883 -x906 -x505 -x790 -x625 -x838 -x549 -x898 1473.40/1473.91 v -x837 -x786 -x687 -x805 -x936 -x831 -x506 -x642 -x872 -x572 -x968 -x878 -x634 -x809 -x924 -x568 -x623 -x658 -x661 -x867 -x882 1473.40/1473.91 v -x998 -x951 -x812 -x743 -x816 -x517 -x617 -x792 -x826 -x868 -x854 x567 x978 -x905 -x707 -x727 -x741 -x992 -x914 -x539 -x604 1473.40/1473.91 v -x613 -x626 -x761 -x841 -x509 -x927 -x907 -x769 -x999 -x874 -x646 -x984 -x757 -x806 -x537 -x540 -x638 -x960 -x510 -x830 -x899 1473.40/1473.91 v -x994 -x622 -x522 -x558 -x678 -x684 -x737 -x777 -x511 -x817 -x728 -x804 -x681 -x724 -x672 -x543 -x565 -x616 -x803 -x845 -x512 1473.40/1473.91 v -x795 -x973 -x950 -x553 -x739 -x931 -x535 -x526 x532 -x582 -x829 -x869 -x937 -x513 -x544 -x689 -x945 -x852 -x871 -x602 -x716 1473.40/1473.91 v -x746 -x723 -x515 -x521 -x863 -x964 -x514 -x536 -x704 -x586 -x660 -x890 -x732 -x785 -x988 -x563 -x590 -x627 -x952 -x771 -x949 1473.40/1473.91 v -x712 -x811 -x893 -x533 -x691 -x575 -x671 -x783 -x875 -x991 -x748 -x789 -x944 -x828 -x844 -x548 -x601 -x614 -x770 -x788 -x932 1473.40/1473.91 v -x518 -x657 -x985 -x775 -x620 -x644 -x933 -x519 -x545 -x714 -x708 -x607 -x851 -x594 -x810 -x520 -x571 -x840 -x667 -x843 -x800 1473.40/1473.91 v -x530 -x580 -x836 -x940 -x956 -x974 -x692 -x599 -x564 -x645 -x639 -x618 -x654 -x656 -x814 -x820 -x824 -x967 -x977 -x523 -x534 1473.40/1473.91 v -x989 -x876 -x846 -x659 -x538 -x554 -x751 -x772 -x892 -x524 -x823 -x833 -x821 -x962 -x808 -x734 -x742 -x753 -x848 -x525 -x733 1473.40/1473.91 v -x928 -x778 -x762 -x593 -x711 -x853 -x920 -x705 -x839 -x596 -x787 -x611 -x773 -x527 -x981 -x709 -x584 -x621 -x768 -x528 -x578 1473.40/1473.91 v -x675 -x815 -x550 -x738 -x766 -x726 -x703 -x750 -x595 -x598 -x720 -x676 -x958 -x664 -x700 -x650 -x697 -x912 -x930 -x891 -x633 1473.40/1473.91 v -x690 -x610 -x729 -x965 -x665 -x581 -x921 -x635 -x673 -x731 -x713 -x819 -x663 -x990 -x609 -x688 -x1000 -x780 -x834 -x587 1473.40/1473.91 v -x754 -x730 -x541 -x566 -x682 -x744 -x947 -x957 -x855 -x722 -x619 -x763 -x903 -x606 -x895 -x832 -x736 -x918 -x862 -x668 -x749 1473.40/1473.91 v -x721 -x547 -x608 -x624 -x641 -x825 -x683 -x860 -x686 -x674 -x784 -x585 -x959 -x970 -x546 x555 -x551 -x922 -x628 -x884 -x755 1473.40/1473.91 v -x982 -x696 -x752 -x827 -x911 -x560 -x600 -x679 -x857 -x904 -x794 -x561 -x694 -x943 -x793 -x997 -x693 -x758 -x552 -x592 -x897 1473.40/1473.91 v -x630 -x942 -x735 -x885 -x946 -x651 -x670 -x615 -x632 -x725 -x760 -x864 -x556 -x915 -x577 -x698 -x873 -x961 -x980 -x954 -x797 1473.40/1473.91 v -x612 -x880 -x856 -x909 -x666 -x597 -x870 -x813 -x801 -x583 -x706 -x764 -x719 -x767 -x910 -x798 -x718 -x589 -x680 -x631 -x865 1473.40/1473.91 v -x818 -x710 -x756 -x901 -x929 -x971 -x935 -x881 -x879 -x995 -x850 -x913 -x888 -x629 -x701 -x662 -x849 -x987 -x779 -x979 -x677 1473.40/1473.91 v -x902 -x605 -x847 -x934 -x717 -x917 -x861 -x636 -x919 -x966 -x972 1473.40/1473.91 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1473.40/1473.91 c 43 183671 371 371148 210453 142742304 183687 124 1473.41 1473.40/1473.91 c Objective: -16 1473.40/1473.91 s SATISFIABLE 1473.40/1473.91 c Total time: 1473.41 s
OK -16
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-455190-1178038779 -o ROOT/results/node57/solver-455190-1178038779 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455190-1178038779/instance-455190-1178038779.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.78 0.92 0.95 3/64 4163 /proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=19740 CPUtime=0 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 245013823 20213760 331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134536080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 4935 332 280 324 0 3956 0 [startup+0.083752 s] /proc/loadavg: 0.78 0.92 0.95 3/64 4163 /proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=8092 CPUtime=0.07 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 1419 0 0 0 7 0 0 0 18 0 1 0 245013823 8286208 1388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 2023 1388 335 324 0 1044 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8092 [startup+0.101752 s] /proc/loadavg: 0.78 0.92 0.95 3/64 4163 /proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=10296 CPUtime=0.09 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2004 0 0 0 9 0 0 0 18 0 1 0 245013823 10543104 1925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 2574 1926 302 324 0 1643 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10296 [startup+0.30177 s] /proc/loadavg: 0.78 0.92 0.95 3/64 4163 /proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=11112 CPUtime=0.29 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2172 0 0 0 29 0 0 0 19 0 1 0 245013823 11378688 2093 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7827178 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 2778 2093 306 324 0 1847 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11112 [startup+0.701805 s] /proc/loadavg: 0.78 0.92 0.95 3/64 4163 /proc/meminfo: memFree=1881792/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=11112 CPUtime=0.69 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2173 0 0 0 69 0 0 0 22 0 1 0 245013823 11378688 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 2778 2094 306 324 0 1847 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11112 [startup+1.50187 s] /proc/loadavg: 0.78 0.92 0.95 2/65 4164 /proc/meminfo: memFree=1874616/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=11112 CPUtime=1.49 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2173 0 0 0 149 0 0 0 25 0 1 0 245013823 11378688 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 2778 2094 306 324 0 1847 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11112 [startup+3.10201 s] /proc/loadavg: 0.78 0.92 0.95 2/65 4164 /proc/meminfo: memFree=1874488/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=11112 CPUtime=3.09 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2173 0 0 0 308 1 0 0 25 0 1 0 245013823 11378688 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 2778 2094 306 324 0 1847 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11112 [startup+6.30129 s] /proc/loadavg: 0.80 0.92 0.95 2/65 4164 /proc/meminfo: memFree=1874304/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=11112 CPUtime=6.29 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 2173 0 0 0 628 1 0 0 25 0 1 0 245013823 11378688 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 2778 2094 306 324 0 1847 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11112 [startup+12.7018 s] /proc/loadavg: 0.82 0.93 0.95 2/65 4164 /proc/meminfo: memFree=1866440/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=21164 CPUtime=12.69 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 5152 0 0 0 1254 15 0 0 25 0 1 0 245013823 21671936 4644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 5291 4644 313 324 0 4360 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21164 [startup+25.502 s] /proc/loadavg: 0.86 0.93 0.95 2/65 4164 /proc/meminfo: memFree=1841096/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=44576 CPUtime=25.49 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 11013 0 0 0 2531 18 0 0 25 0 1 0 245013823 45645824 10505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 11144 10505 313 324 0 10213 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44576 [startup+51.1012 s] /proc/loadavg: 0.90 0.93 0.95 2/65 4164 /proc/meminfo: memFree=1808328/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=77424 CPUtime=51.05 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 19228 0 0 0 5083 22 0 0 25 0 1 0 245013823 79282176 18720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 19356 18720 313 324 0 18425 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 77424 [startup+102.306 s] /proc/loadavg: 0.96 0.94 0.95 2/71 4280 /proc/meminfo: memFree=1749840/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=134100 CPUtime=102.19 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 33389 0 0 0 10187 32 0 0 25 0 1 0 245013823 137318400 32881 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 33525 32881 313 324 0 32594 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 134100 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.95 2/65 4362 /proc/meminfo: memFree=1687176/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=198140 CPUtime=162.13 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 49407 0 0 0 16170 43 0 0 25 0 1 0 245013823 202895360 48899 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 49535 48899 313 324 0 48604 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 198140 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.95 2/65 4362 /proc/meminfo: memFree=1620168/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=264632 CPUtime=222.12 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 66021 0 0 0 22155 57 0 0 25 0 1 0 245013823 270983168 65513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 66158 65513 313 324 0 65227 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 264632 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.95 2/65 4362 /proc/meminfo: memFree=1558984/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=325976 CPUtime=282.11 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 81350 0 0 0 28144 67 0 0 25 0 1 0 245013823 333799424 80842 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 81494 80842 313 324 0 80563 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 325976 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=1484808/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=399968 CPUtime=342.09 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 99849 0 0 0 34130 79 0 0 25 0 1 0 245013823 409567232 99341 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 99992 99341 313 324 0 99061 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 399968 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=1409800/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=475172 CPUtime=402.08 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 118652 0 0 0 40116 92 0 0 25 0 1 0 245013823 486576128 118144 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 118793 118144 313 324 0 117862 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 475172 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=1330952/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=553588 CPUtime=462.06 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 138258 0 0 0 46101 105 0 0 25 0 1 0 245013823 566874112 137750 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 138397 137750 313 324 0 137466 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 553588 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=1246152/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=639864 CPUtime=522.04 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 159837 0 0 0 52085 119 0 0 25 0 1 0 245013823 655220736 159329 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 159966 159329 313 324 0 159035 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 639864 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=1160776/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=724244 CPUtime=582.03 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 180922 0 0 0 58069 134 0 0 25 0 1 0 245013823 741625856 180414 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 181061 180414 313 324 0 180130 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 724244 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=1070536/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=813252 CPUtime=642.02 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 203167 0 0 0 64053 149 0 0 25 0 1 0 245013823 832770048 202659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 203313 202659 313 324 0 202382 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 813252 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=970504/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=914416 CPUtime=701.99 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 228486 0 0 0 70033 166 0 0 25 0 1 0 245013823 936361984 227978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 228604 227978 313 324 0 227673 0 Current children cumulated CPU time (s) 701.99 Current children cumulated vsize (KiB) 914416 [startup+762.304 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=867464/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1015896 CPUtime=761.98 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 253852 0 0 0 76014 184 0 0 25 0 1 0 245013823 1040277504 253344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 253974 253344 313 324 0 253043 0 Current children cumulated CPU time (s) 761.98 Current children cumulated vsize (KiB) 1015896 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=747464/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1137400 CPUtime=821.96 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 284206 0 0 0 81995 201 0 0 25 0 1 0 245013823 1164697600 283698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 284350 283698 313 324 0 283419 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 1137400 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=672648/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1210392 CPUtime=881.95 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 302471 0 0 0 87980 215 0 0 25 0 1 0 245013823 1239441408 301963 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 302598 301963 313 324 0 301667 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 1210392 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=612872/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1270224 CPUtime=941.93 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 317432 0 0 0 93969 224 0 0 25 0 1 0 245013823 1300709376 316924 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 317556 316924 313 324 0 316625 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 1270224 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=562248/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1320584 CPUtime=1001.92 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 330007 0 0 0 99960 232 0 0 25 0 1 0 245013823 1352278016 329499 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 330146 329499 313 324 0 329215 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 1320584 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=514824/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1369320 CPUtime=1061.9 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 342193 0 0 0 105950 240 0 0 25 0 1 0 245013823 1402183680 341685 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 342330 341685 313 324 0 341399 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1369320 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 3/65 4362 /proc/meminfo: memFree=448968/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1433744 CPUtime=1121.88 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 358297 0 0 0 111935 253 0 0 25 0 1 0 245013823 1468153856 357789 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 358436 357789 313 324 0 357505 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1433744 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=381128/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1502628 CPUtime=1181.87 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 375531 0 0 0 117922 265 0 0 25 0 1 0 245013823 1538691072 375023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 375657 375023 313 324 0 374726 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1502628 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=313160/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1569232 CPUtime=1241.86 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 392175 0 0 0 123909 277 0 0 25 0 1 0 245013823 1606893568 391667 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7823512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 392308 391667 313 324 0 391377 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1569232 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=246536/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1635296 CPUtime=1301.84 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 408691 0 0 0 129896 288 0 0 25 0 1 0 245013823 1674543104 408183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 408824 408183 313 324 0 407893 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1635296 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=172936/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1709244 CPUtime=1361.82 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 427175 0 0 0 135881 301 0 0 25 0 1 0 245013823 1750265856 426667 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 427311 426667 313 324 0 426380 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1709244 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=97992/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1783552 CPUtime=1421.82 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 445764 0 0 0 141868 314 0 0 25 0 1 0 245013823 1826357248 445256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 445888 445256 313 324 0 444957 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1783552 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1473.9 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=37896/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=1843440 CPUtime=1473.4 /proc/4163/stat : 4163 (bsolo3.0.16) R 4161 4163 3286 0 -1 4194304 460734 0 0 0 147017 323 0 0 25 0 1 0 245013823 1887682560 460226 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4163/statm: 460860 460226 313 324 0 459929 0 Current children cumulated CPU time (s) 1473.4 Current children cumulated vsize (KiB) 1843440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1474.2 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=37896/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=0 CPUtime=1473.69 /proc/4163/stat : 4163 (bsolo3.0.16) D 4161 4163 3286 0 -1 4194308 460735 0 0 0 147018 351 0 0 25 0 1 0 245013823 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/4163/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1473.69 Current children cumulated vsize (KiB) 0 [startup+1474.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4362 /proc/meminfo: memFree=37896/2055920 swapFree=4183136/4192956 [pid=4163] ppid=4161 vsize=0 CPUtime=1473.69 /proc/4163/stat : 4163 (bsolo3.0.16) D 4161 4163 3286 0 -1 4194308 460735 0 0 0 147018 351 0 0 24 0 1 0 245013823 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/4163/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1473.69 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1474.37 CPU time (s): 1473.69 CPU user time (s): 1470.18 CPU system time (s): 3.51347 CPU usage (%): 99.9542 Max. virtual memory (cumulated for all children) (KiB): 1843440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1470.18 system time used= 3.51347 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460735 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= 2066 runsolver used 1.17682 second user time and 2.91056 second system time The end
Begin job on node57 on Tue May 1 16:59:39 UTC 2007 IDJOB= 455190 IDBENCH= 48247 IDSOLVER= 163 FILE ID= node57/455190-1178038779 PBS_JOBID= 4728433 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_10_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455190-1178038779/instance-455190-1178038779.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-455190-1178038779 -o ROOT/results/node57/solver-455190-1178038779 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455190-1178038779/instance-455190-1178038779.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED= 418571018 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1882264 kB Buffers: 34300 kB Cached: 74720 kB SwapCached: 3520 kB Active: 79624 kB Inactive: 41696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1882264 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 6960 kB Writeback: 0 kB Mapped: 15408 kB Slab: 38420 kB Committed_AS: 4721400 kB PageTables: 1408 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 node57 on Tue May 1 17:24:15 UTC 2007