Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -15 | 1800.06 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-afiro.opb |
MD5SUM | d412dc68829850bad6555fa34c6ad801 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -65 |
Optimality of the best value was proved | NO |
Number of variables | 960 |
Total number of constraints | 27 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 27 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 222156 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524394 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524468 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.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/432701-1177948039/instance-432701-1177948039.opb 0.00/0.00 c File size is 24246 bytes. 0.00/0.00 c Highest Coefficient sum: 524468 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 960 Constr: 35 0/0/35 Lit: 3510 Watch. Lit: 714 0.00/0.00 c Obj. Vars: 150 (15.625 % of total variables) 0.00/0.03 c Pre-processing Time: 0.029 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 621 35 3510 100 3238 7020 0 0 0.03 0.00/0.03 c Switching off LPR mode. 0.00/0.04 o 3 0.04 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 79 621 115 6145 53 3491 7210 80 1975 0.04 0.59/0.67 c 179 621 215 17891 83 3691 7932 180 2671 0.07 0.59/0.67 c 429 621 465 26133 56 4191 8726 430 4422 0.10 0.59/0.67 c 905 621 941 99076 105 5143 9599 906 5386 0.17 0.59/0.67 c 1718 621 1754 212618 121 6769 10559 1719 5488 0.31 0.59/0.67 c 3039 621 3075 242177 78 9411 11615 3040 6479 0.47 0.59/0.67 c 5122 621 5158 302748 58 13577 12777 5123 7679 0.67 0.59/0.67 o 2 0.676 5.09/5.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.12 c 5138 621 5175 303456 58 13704 7210 5140 7600 0.68 5.09/5.12 c 5238 621 5275 306575 58 13904 7932 5240 7613 0.69 5.09/5.12 c 5491 621 5528 316522 57 14410 8726 5493 7573 0.72 5.09/5.12 c 5967 621 6004 331001 55 15362 9599 5969 7640 0.78 5.09/5.12 c 6780 621 6817 384657 56 16988 10559 6782 7290 0.93 5.09/5.12 c 8100 621 8137 452806 55 19628 11615 8102 6495 1.25 5.09/5.12 c 10181 621 10218 518052 50 23790 12777 10183 6367 1.60 5.09/5.12 c 13404 621 6605 289406 43 16471 14055 6570 6037 2.22 5.09/5.12 c 18341 621 11542 511123 44 26345 15461 11507 5197 3.53 5.09/5.12 o -3 5.121 12.49/12.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.49/12.53 c 22499 621 15701 747368 47 34756 7210 15666 4393 5.12 12.49/12.53 c 22599 621 3745 226679 60 10751 7932 3710 4255 5.31 12.49/12.53 c 22849 621 3995 240054 60 11251 8726 3960 4225 5.41 12.49/12.53 c 23324 621 4470 260320 58 12201 9599 4435 4162 5.60 12.49/12.53 c 24137 621 5283 300531 56 13827 10559 5248 4132 5.84 12.49/12.53 c 25459 621 6605 355703 53 16471 11615 6570 4063 6.26 12.49/12.53 c 27540 621 8686 467450 53 20633 12777 8651 3952 6.97 12.49/12.53 c 30763 621 11909 554420 46 27079 14055 11874 4172 7.37 12.49/12.53 c 35703 621 9426 396162 42 22113 15461 9391 4151 8.60 12.49/12.53 o -15 12.526 1800.04/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.60 c 41871 621 15595 734968 47 34544 7210 15560 3342 12.53 1800.04/1800.60 c 41971 621 3745 212320 56 10751 7932 3710 3309 12.68 1800.04/1800.60 c 42221 621 3995 218079 54 11251 8726 3960 3323 12.71 1800.04/1800.60 c 42696 621 4470 246960 55 12201 9599 4435 3346 12.76 1800.04/1800.60 c 43509 621 5283 281183 53 13827 10559 5248 3371 12.91 1800.04/1800.60 c 44829 621 6603 333650 50 16467 11615 6568 3392 13.21 1800.04/1800.60 c 46910 621 8684 442913 51 20629 12777 8649 3377 13.89 1800.04/1800.60 c 50135 621 11909 585157 49 27079 14055 11874 3368 14.88 1800.04/1800.60 c 55072 621 9045 461181 50 21351 15461 9010 3296 16.71 1800.04/1800.60 c 62578 621 8372 387237 46 20005 17008 8337 3403 18.39 1800.04/1800.60 c 73939 621 10766 488166 45 24793 18709 10731 3187 23.19 1800.04/1800.60 c 91083 621 18058 1134972 62 39377 20580 18023 2601 35.02 1800.04/1800.60 c 116903 621 11698 541691 46 26657 22639 11663 2168 53.92 1800.04/1800.60 c 155735 621 13437 798204 59 30135 24903 13402 1800 86.50 1800.04/1800.60 c 214087 621 13967 681540 48 31195 27394 13932 1564 136.81 1800.04/1800.60 c 301719 621 18172 648943 35 39605 30134 18137 1099 274.44 1800.04/1800.60 c 433272 621 20605 2809225 136 44471 33148 20570 745 581.06 1800.04/1800.60 c 630705 621 27984 1386264 49 59229 36463 27949 661 954.09 1800.04/1800.60 c 926957 621 17306 1039294 60 37873 40110 17271 531 1745.12 1800.04/1800.60 c Caught signal: 15 1800.04/1800.60 v -x31 -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 1800.04/1800.60 v -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.04/1800.60 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.04/1800.60 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.04/1800.60 v -x510 x841 -x842 x843 -x844 x845 x846 -x847 -x848 -x849 -x850 x851 -x852 x853 x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 1800.04/1800.60 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 1800.04/1800.60 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x1 -x2 -x3 -x4 1800.04/1800.60 v -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 -x61 -x62 1800.04/1800.60 v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 1800.04/1800.60 v -x89 -x90 x91 -x92 -x93 x94 -x95 x96 x97 x98 x99 -x100 -x101 x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 1800.04/1800.60 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1800.04/1800.60 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 1800.04/1800.60 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 1800.04/1800.60 v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 1800.04/1800.60 v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.04/1800.60 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 1800.04/1800.60 v -x239 -x240 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 1800.04/1800.60 v -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 1800.04/1800.60 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 1800.04/1800.60 v x452 x453 -x454 -x455 x456 -x457 x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 1800.04/1800.60 v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x511 -x512 -x513 x514 x515 x516 x517 x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 1800.04/1800.60 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.04/1800.60 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.04/1800.60 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 1800.04/1800.60 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.04/1800.60 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.04/1800.60 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.04/1800.60 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.04/1800.60 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.04/1800.60 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.04/1800.60 v -x715 -x716 -x717 -x718 -x719 -x720 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 1800.04/1800.60 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x871 -x872 -x873 -x874 -x875 x876 1800.04/1800.60 v -x877 -x878 -x879 -x880 -x881 x882 x883 x884 x885 x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.04/1800.60 v -x899 -x900 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 1800.04/1800.60 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 1800.04/1800.60 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 1800.04/1800.60 v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1800.04/1800.60 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1800.04/1800.60 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x721 -x722 -x723 -x724 1800.04/1800.60 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1800.04/1800.60 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 1800.04/1800.60 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1800.04/1800.60 v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1800.04/1800.60 v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 1800.04/1800.60 v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.04/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.61 c 44 984667 59788 1170427 20337 877490 20302 547 1800.05 1800.04/1800.61 c Objective: -15 1800.04/1800.61 s SATISFIABLE 1800.04/1800.61 c Total time: 1800.05 s
OK -15
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-432701-1177948039 -o ROOT/results/node14/solver-432701-1177948039 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432701-1177948039/instance-432701-1177948039.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.92 3/77 4920 /proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=11760 CPUtime=0 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 242721667 12042240 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 2940 336 281 324 0 2004 0 [startup+0.0794311 s] /proc/loadavg: 0.92 0.98 0.92 3/77 4920 /proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=4452 CPUtime=0.07 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 521 0 0 0 7 0 0 0 18 0 1 0 242721667 4558848 485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 1113 485 311 324 0 183 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4452 [startup+0.102434 s] /proc/loadavg: 0.92 0.98 0.92 3/77 4920 /proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=4580 CPUtime=0.09 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 551 0 0 0 9 0 0 0 18 0 1 0 242721667 4689920 515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 1145 515 311 324 0 215 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4580 [startup+0.301452 s] /proc/loadavg: 0.92 0.98 0.92 3/77 4920 /proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=6896 CPUtime=0.29 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 1131 0 0 0 29 0 0 0 19 0 1 0 242721667 7061504 1095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 1724 1095 311 324 0 794 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6896 [startup+0.70249 s] /proc/loadavg: 0.92 0.98 0.92 3/77 4920 /proc/meminfo: memFree=1550144/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=8732 CPUtime=0.69 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 1589 0 0 0 68 1 0 0 23 0 1 0 242721667 8941568 1553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 2183 1553 311 324 0 1253 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8732 [startup+1.50157 s] /proc/loadavg: 0.92 0.98 0.92 2/78 4921 /proc/meminfo: memFree=1543864/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=11612 CPUtime=1.49 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 2312 0 0 0 148 1 0 0 25 0 1 0 242721667 11890688 2276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 2903 2276 311 324 0 1973 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11612 [startup+3.10172 s] /proc/loadavg: 0.92 0.98 0.92 2/78 4921 /proc/meminfo: memFree=1539576/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=14080 CPUtime=3.09 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 2945 0 0 0 307 2 0 0 25 0 1 0 242721667 14417920 2909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 3520 2909 311 324 0 2590 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14080 [startup+6.30202 s] /proc/loadavg: 0.93 0.98 0.92 2/78 4921 /proc/meminfo: memFree=1537912/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=15508 CPUtime=6.29 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 3302 0 0 0 626 3 0 0 25 0 1 0 242721667 15880192 3266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7360040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 3877 3266 311 324 0 2947 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15508 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.92 2/78 4921 /proc/meminfo: memFree=1537912/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=15508 CPUtime=12.69 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 3302 0 0 0 1266 3 0 0 25 0 1 0 242721667 15880192 3266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 3877 3266 311 324 0 2947 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15508 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.92 2/78 4921 /proc/meminfo: memFree=1536888/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=16628 CPUtime=25.48 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 3571 0 0 0 2545 3 0 0 25 0 1 0 242721667 17027072 3535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 4157 3535 311 324 0 3227 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16628 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.92 2/78 4921 /proc/meminfo: memFree=1530936/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=22648 CPUtime=51.06 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 5078 0 0 0 5102 4 0 0 25 0 1 0 242721667 23191552 5042 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 5662 5042 311 324 0 4732 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 22648 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.92 2/78 4921 /proc/meminfo: memFree=1528888/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=24684 CPUtime=102.26 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 5590 0 0 0 10221 5 0 0 25 0 1 0 242721667 25276416 5554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7356493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 6171 5554 311 324 0 5241 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24684 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 4921 /proc/meminfo: memFree=1528888/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=24688 CPUtime=162.24 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 5593 0 0 0 16218 6 0 0 25 0 1 0 242721667 25280512 5557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 6172 5557 311 324 0 5242 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 24688 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 4921 /proc/meminfo: memFree=1528888/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=24688 CPUtime=222.22 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 5593 0 0 0 22216 6 0 0 25 0 1 0 242721667 25280512 5557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 6172 5557 311 324 0 5242 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 24688 [startup+282.301 s] /proc/loadavg: 1.04 1.00 0.93 2/78 4921 /proc/meminfo: memFree=1523960/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=29596 CPUtime=282.21 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 6826 0 0 0 28213 8 0 0 25 0 1 0 242721667 30306304 6790 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551778 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 7399 6790 311 324 0 6469 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 29596 [startup+342.302 s] /proc/loadavg: 1.09 1.03 0.94 2/78 4921 /proc/meminfo: memFree=1510456/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=43036 CPUtime=342.2 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 10185 0 0 0 34208 12 0 0 25 0 1 0 242721667 44068864 10149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 10759 10149 311 324 0 9829 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 43036 [startup+402.301 s] /proc/loadavg: 1.11 1.05 0.95 2/78 4921 /proc/meminfo: memFree=1499832/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=53636 CPUtime=402.18 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 12836 0 0 0 40203 15 0 0 25 0 1 0 242721667 54923264 12800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 13409 12800 311 324 0 12479 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 53636 [startup+462.302 s] /proc/loadavg: 1.04 1.04 0.95 2/78 4921 /proc/meminfo: memFree=1489784/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=63696 CPUtime=462.16 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15350 0 0 0 46199 17 0 0 25 0 1 0 242721667 65224704 15314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15924 15314 311 324 0 14994 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 63696 [startup+522.302 s] /proc/loadavg: 1.01 1.03 0.95 2/78 4921 /proc/meminfo: memFree=1489784/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=63680 CPUtime=522.15 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15350 0 0 0 52197 18 0 0 25 0 1 0 242721667 65208320 15312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15920 15312 311 324 0 14990 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 63680 [startup+582.302 s] /proc/loadavg: 1.00 1.02 0.95 2/78 4921 /proc/meminfo: memFree=1489720/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=63680 CPUtime=582.14 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15350 0 0 0 58196 18 0 0 25 0 1 0 242721667 65208320 15312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15920 15312 311 324 0 14990 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 63680 [startup+642.303 s] /proc/loadavg: 1.00 1.02 0.95 2/78 4921 /proc/meminfo: memFree=1489976/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=63264 CPUtime=642.12 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15352 0 0 0 64194 18 0 0 25 0 1 0 242721667 64782336 15207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15816 15207 311 324 0 14886 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 63264 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.95 2/78 4921 /proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61212 CPUtime=822.07 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15352 0 0 0 82187 20 0 0 25 0 1 0 242721667 62681088 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4920/statm: 15303 14694 311 324 0 14373 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 61212 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.95 3/78 5119 /proc/meminfo: memFree=1492024/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61212 CPUtime=881.97 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15352 0 0 0 88176 21 0 0 25 0 1 0 242721667 62681088 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15303 14694 311 324 0 14373 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 61212 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61212 CPUtime=941.95 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15352 0 0 0 94174 21 0 0 25 0 1 0 242721667 62681088 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15303 14694 311 324 0 14373 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 61212 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492024/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61224 CPUtime=1001.93 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 100172 21 0 0 25 0 1 0 242721667 62693376 14698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15306 14698 311 324 0 14376 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 61224 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61220 CPUtime=1061.92 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 106170 22 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15305 14697 311 324 0 14375 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 61220 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61220 CPUtime=1121.9 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 112168 22 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15305 14697 311 324 0 14375 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 61220 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61220 CPUtime=1181.89 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 118166 23 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15305 14697 311 324 0 14375 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 61220 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61220 CPUtime=1241.87 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 124164 23 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547788 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15305 14697 311 324 0 14375 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 61220 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61220 CPUtime=1301.87 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15356 0 0 0 130163 24 0 0 25 0 1 0 242721667 62689280 14697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15305 14697 311 324 0 14375 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 61220 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61204 CPUtime=1361.84 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 136160 24 0 0 25 0 1 0 242721667 62672896 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15301 14694 311 324 0 14371 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 61204 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61204 CPUtime=1421.83 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 142159 24 0 0 25 0 1 0 242721667 62672896 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15301 14694 311 324 0 14371 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 61204 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492088/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61204 CPUtime=1481.81 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 148156 25 0 0 25 0 1 0 242721667 62672896 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15301 14694 311 324 0 14371 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 61204 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61204 CPUtime=1541.8 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 154155 25 0 0 25 0 1 0 242721667 62672896 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15301 14694 311 324 0 14371 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 61204 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61180 CPUtime=1601.79 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 160153 26 0 0 25 0 1 0 242721667 62648320 14688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15295 14688 311 324 0 14365 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 61180 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61180 CPUtime=1661.76 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 166150 26 0 0 25 0 1 0 242721667 62648320 14688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15295 14688 311 324 0 14365 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 61180 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61180 CPUtime=1721.76 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15357 0 0 0 172149 27 0 0 25 0 1 0 242721667 62648320 14688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15295 14688 311 324 0 14365 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 61180 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61188 CPUtime=1781.74 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15360 0 0 0 178147 27 0 0 25 0 1 0 242721667 62656512 14690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15297 14690 311 324 0 14367 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 61188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/78 5119 /proc/meminfo: memFree=1492152/2055920 swapFree=4148856/4192956 [pid=4920] ppid=4918 vsize=61188 CPUtime=1800.04 /proc/4920/stat : 4920 (bsolo3.0.17) R 4918 4920 4365 0 -1 4194304 15360 0 0 0 179977 27 0 0 25 0 1 0 242721667 62656512 14690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4920/statm: 15297 14690 311 324 0 14367 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 61188 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.06 CPU user time (s): 1799.78 CPU system time (s): 0.287956 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 63696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.287956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15364 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= 3145 runsolver used 1.40379 second user time and 3.99539 second system time The end
Begin job on node14 on Mon Apr 30 15:47:19 UTC 2007 IDJOB= 432701 IDBENCH= 1700 IDSOLVER= 199 FILE ID= node14/432701-1177948039 PBS_JOBID= 4727667 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-afiro.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432701-1177948039/instance-432701-1177948039.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-432701-1177948039 -o ROOT/results/node14/solver-432701-1177948039 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432701-1177948039/instance-432701-1177948039.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= d412dc68829850bad6555fa34c6ad801 RANDOM SEED= 490856012 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1550552 kB Buffers: 46644 kB Cached: 365960 kB SwapCached: 12124 kB Active: 296088 kB Inactive: 141528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1550552 kB SwapTotal: 4192956 kB SwapFree: 4148856 kB Dirty: 6624 kB Writeback: 0 kB Mapped: 31484 kB Slab: 53292 kB Committed_AS: 7948388 kB PageTables: 1788 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 node14 on Mon Apr 30 16:17:22 UTC 2007