Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -15 | 1800.07 | 1800.72 |
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.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.02 c Time Limit set to 1800 0.00/0.02 c Memory Limit set to 1800 MB 0.00/0.02 c Instance file /tmp/evaluation/351213-1176589425/instance-351213-1176589425.opb 0.00/0.02 c File size is 24246 bytes. 0.00/0.03 c Highest Coefficient sum: 524468 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.005 s 0.00/0.03 c Var: 960 Constr: 35 0/0/35 Lit: 3510 Watch. Lit: 714 0.00/0.03 c Obj. Vars: 150 (15.625 % of total variables) 0.00/0.05 c Pre-processing Time: 0.028 s 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 621 35 3510 100 3238 7020 0 0 0.03 0.00/0.05 c Switching off LPR mode. 0.00/0.06 o 3 0.038 0.57/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.57/0.66 c 79 621 115 6145 53 3491 7210 80 2078 0.04 0.57/0.66 c 179 621 215 17891 83 3691 7932 180 2796 0.06 0.57/0.66 c 429 621 465 26133 56 4191 8726 430 4663 0.09 0.57/0.66 c 905 621 941 99076 105 5143 9599 906 5656 0.16 0.57/0.66 c 1718 621 1754 212618 121 6769 10559 1719 5804 0.30 0.57/0.66 c 3039 621 3075 242177 78 9411 11615 3040 6829 0.45 0.57/0.66 c 5122 621 5158 302748 58 13577 12777 5123 8104 0.63 0.57/0.66 o 2 0.641 5.06/5.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.06/5.13 c 5138 621 5175 303456 58 13704 7210 5140 8015 0.64 5.06/5.13 c 5238 621 5275 306575 58 13904 7932 5240 8033 0.65 5.06/5.13 c 5491 621 5528 316522 57 14410 8726 5493 7992 0.69 5.06/5.13 c 5967 621 6004 331001 55 15362 9599 5969 8074 0.74 5.06/5.13 c 6780 621 6817 384657 56 16988 10559 6782 7669 0.88 5.06/5.13 c 8100 621 8137 452806 55 19628 11615 8102 6733 1.20 5.06/5.13 c 10181 621 10218 518052 50 23790 12777 10183 6522 1.56 5.06/5.13 c 13404 621 6605 289406 43 16471 14055 6570 6109 2.19 5.06/5.13 c 18341 621 11542 511123 44 26345 15461 11507 5229 3.51 5.06/5.13 o -3 5.101 12.46/12.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.46/12.54 c 22499 621 15701 747368 47 34756 7210 15666 4409 5.10 12.46/12.54 c 22599 621 3745 226679 60 10751 7932 3710 4271 5.29 12.46/12.54 c 22849 621 3995 240054 60 11251 8726 3960 4239 5.39 12.46/12.54 c 23324 621 4470 260320 58 12201 9599 4435 4174 5.59 12.46/12.54 c 24137 621 5283 300531 56 13827 10559 5248 4145 5.82 12.46/12.54 c 25459 621 6605 355703 53 16471 11615 6570 4076 6.25 12.46/12.54 c 27540 621 8686 467450 53 20633 12777 8651 3960 6.95 12.46/12.54 c 30763 621 11909 554420 46 27079 14055 11874 4176 7.37 12.46/12.54 c 35703 621 9426 396162 42 22113 15461 9391 4151 8.60 12.46/12.54 o -15 12.516 1800.04/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.70 c 41871 621 15595 734968 47 34544 7210 15560 3345 12.52 1800.04/1800.70 c 41971 621 3745 212320 56 10751 7932 3710 3312 12.67 1800.04/1800.70 c 42221 621 3995 218079 54 11251 8726 3960 3326 12.69 1800.04/1800.70 c 42696 621 4470 246960 55 12201 9599 4435 3349 12.75 1800.04/1800.70 c 43509 621 5283 281183 53 13827 10559 5248 3373 12.90 1800.04/1800.70 c 44829 621 6603 333650 50 16467 11615 6568 3394 13.21 1800.04/1800.70 c 46910 621 8684 442913 51 20629 12777 8649 3378 13.88 1800.04/1800.70 c 50135 621 11909 585157 49 27079 14055 11874 3368 14.88 1800.04/1800.70 c 55072 621 9045 461181 50 21351 15461 9010 3294 16.72 1800.04/1800.70 c 62578 621 8372 387237 46 20005 17008 8337 3395 18.43 1800.04/1800.70 c 73939 621 10766 488166 45 24793 18709 10731 3173 23.30 1800.04/1800.70 c 91083 621 18058 1134972 62 39377 20580 18023 2586 35.22 1800.04/1800.70 c 116903 621 11698 541691 46 26657 22639 11663 2154 54.26 1800.04/1800.71 c 155735 621 13437 798204 59 30135 24903 13402 1790 86.97 1800.04/1800.71 c 214087 621 13967 681540 48 31195 27394 13932 1555 137.59 1800.04/1800.71 c 301719 621 18172 648943 35 39605 30134 18137 1093 275.90 1800.04/1800.71 c 433272 621 20605 2809225 136 44471 33148 20570 742 583.76 1800.04/1800.71 c 630705 621 27984 1386264 49 59229 36463 27949 658 957.98 1800.04/1800.71 c 926957 621 17306 1039294 60 37873 40110 17271 529 1750.31 1800.04/1800.71 c Caught signal: 15 1800.04/1800.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 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.71 v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.04/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.71 c 44 979494 59338 1164670 34252 1563305 34217 544 1800.05 1800.04/1800.71 c Objective: -15 1800.04/1800.71 s SATISFIABLE 1800.04/1800.71 c Total time: 1800.05 s
OK -15
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-351213-1176589425 -o ROOT/results/node62/solver-351213-1176589425 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351213-1176589425/instance-351213-1176589425.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: 1.00 1.00 1.00 3/64 17000 /proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=3780 CPUtime=0 /proc/17000/stat : 17000 (bsolo3.0.16) D 16998 17000 15997 0 -1 4194304 215 0 3 0 0 0 0 0 18 0 1 0 91108030 3870720 186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8237744 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/17000/statm: 945 186 159 324 0 14 0 [startup+0.0950369 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17000 /proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=4456 CPUtime=0.06 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 519 0 7 0 6 0 0 0 18 0 1 0 91108030 4562944 488 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17000/statm: 1114 488 313 324 0 183 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4456 [startup+0.101034 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17000 /proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=4456 CPUtime=0.07 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 519 0 7 0 7 0 0 0 18 0 1 0 91108030 4562944 488 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17000/statm: 1114 488 313 324 0 183 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4456 [startup+0.301079 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17000 /proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=6772 CPUtime=0.26 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 1100 0 7 0 26 0 0 0 19 0 1 0 91108030 6934528 1069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134587024 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17000/statm: 1693 1069 313 324 0 762 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 6772 [startup+0.701161 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17000 /proc/meminfo: memFree=1750824/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=8736 CPUtime=0.67 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 1600 0 7 0 66 1 0 0 23 0 1 0 91108030 8945664 1569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17000/statm: 2184 1569 313 324 0 1253 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 8736 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1743648/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=11616 CPUtime=1.47 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 2321 0 7 0 144 3 0 0 25 0 1 0 91108030 11894784 2290 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 2904 2290 313 324 0 1973 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 11616 [startup+3.10163 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1739168/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=14084 CPUtime=3.07 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 2943 0 7 0 303 4 0 0 25 0 1 0 91108030 14422016 2912 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 3521 2912 313 324 0 2590 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 14084 [startup+6.30126 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1737632/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=15512 CPUtime=6.26 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 3300 0 7 0 622 4 0 0 25 0 1 0 91108030 15884288 3269 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 3878 3269 313 324 0 2947 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 15512 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1737696/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=15512 CPUtime=12.66 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 3300 0 7 0 1260 6 0 0 25 0 1 0 91108030 15884288 3269 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 3878 3269 313 324 0 2947 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 15512 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1736672/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=16632 CPUtime=25.46 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 3569 0 7 0 2536 10 0 0 25 0 1 0 91108030 17031168 3538 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 4158 3538 313 324 0 3227 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 16632 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1730720/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=22652 CPUtime=51.05 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 5076 0 7 0 5090 15 0 0 25 0 1 0 91108030 23195648 5045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 5663 5045 313 324 0 4732 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 22652 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1728672/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=24688 CPUtime=102.23 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 5588 0 7 0 10200 23 0 0 25 0 1 0 91108030 25280512 5557 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 6172 5557 313 324 0 5241 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 24688 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1728608/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=24692 CPUtime=162.21 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 5591 0 7 0 16191 30 0 0 25 0 1 0 91108030 25284608 5560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 6173 5560 313 324 0 5242 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 24692 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1728608/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=24692 CPUtime=222.19 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 5591 0 7 0 22183 36 0 0 25 0 1 0 91108030 25284608 5560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 6173 5560 313 324 0 5242 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 24692 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1723616/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=29600 CPUtime=282.16 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 6824 0 7 0 28172 44 0 0 25 0 1 0 91108030 30310400 6793 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8537431 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 7400 6793 313 324 0 6469 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 29600 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1710176/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=43040 CPUtime=342.14 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 10183 0 7 0 34161 53 0 0 25 0 1 0 91108030 44072960 10152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 10760 10152 313 324 0 9829 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 43040 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1699488/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=53640 CPUtime=402.12 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 12834 0 7 0 40151 61 0 0 25 0 1 0 91108030 54927360 12803 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 13410 12803 313 324 0 12479 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 53640 [startup+462.301 s] /proc/loadavg: 1.03 1.01 1.00 2/65 17001 /proc/meminfo: memFree=1689440/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=63700 CPUtime=462.11 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15348 0 7 0 46141 70 0 0 25 0 1 0 91108030 65228800 15317 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15925 15317 313 324 0 14994 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 63700 [startup+522.301 s] /proc/loadavg: 1.01 1.01 1.00 2/65 17001 /proc/meminfo: memFree=1689376/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=63684 CPUtime=522.08 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15348 0 7 0 52134 74 0 0 25 0 1 0 91108030 65212416 15315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15921 15315 313 324 0 14990 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 63684 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1689440/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=63684 CPUtime=582.06 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15348 0 7 0 58129 77 0 0 25 0 1 0 91108030 65212416 15315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15921 15315 313 324 0 14990 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 63684 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1689632/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=63268 CPUtime=642.05 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15350 0 7 0 64120 85 0 0 25 0 1 0 91108030 64786432 15210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15817 15210 313 324 0 14886 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 63268 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61216 CPUtime=881.95 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15350 0 7 0 88093 102 0 0 25 0 1 0 91108030 62685184 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15304 14697 313 324 0 14373 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 61216 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61216 CPUtime=941.93 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15350 0 7 0 94086 107 0 0 25 0 1 0 91108030 62685184 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15304 14697 313 324 0 14373 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 61216 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691808/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61228 CPUtime=1001.92 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 100080 112 0 0 25 0 1 0 91108030 62697472 14701 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8537941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15307 14701 313 324 0 14376 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 61228 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61228 CPUtime=1061.9 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 106073 117 0 0 25 0 1 0 91108030 62697472 14701 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15307 14701 313 324 0 14376 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 61228 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691808/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61224 CPUtime=1121.88 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 112067 121 0 0 25 0 1 0 91108030 62693376 14700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15306 14700 313 324 0 14375 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 61224 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61224 CPUtime=1181.85 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 118060 125 0 0 25 0 1 0 91108030 62693376 14700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15306 14700 313 324 0 14375 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 61224 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61224 CPUtime=1241.83 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 124055 128 0 0 25 0 1 0 91108030 62693376 14700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15306 14700 313 324 0 14375 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 61224 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61224 CPUtime=1301.82 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15354 0 7 0 130048 134 0 0 25 0 1 0 91108030 62693376 14700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15306 14700 313 324 0 14375 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 61224 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691744/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61208 CPUtime=1361.79 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 136041 138 0 0 25 0 1 0 91108030 62676992 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15302 14697 313 324 0 14371 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 61208 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61208 CPUtime=1421.77 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 142034 143 0 0 25 0 1 0 91108030 62676992 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8537950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15302 14697 313 324 0 14371 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 61208 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61208 CPUtime=1481.75 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 148029 146 0 0 25 0 1 0 91108030 62676992 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15302 14697 313 324 0 14371 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 61208 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61208 CPUtime=1541.73 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 154023 150 0 0 25 0 1 0 91108030 62676992 14697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15302 14697 313 324 0 14371 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 61208 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691616/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61184 CPUtime=1601.7 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 160017 153 0 0 25 0 1 0 91108030 62652416 14691 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15296 14691 313 324 0 14365 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 61184 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691680/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61184 CPUtime=1661.68 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 166012 156 0 0 25 0 1 0 91108030 62652416 14691 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15296 14691 313 324 0 14365 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 61184 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691616/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61184 CPUtime=1721.67 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15355 0 7 0 172006 161 0 0 25 0 1 0 91108030 62652416 14691 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15296 14691 313 324 0 14365 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 61184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691552/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61192 CPUtime=1781.64 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15358 0 7 0 177996 168 0 0 25 0 1 0 91108030 62660608 14693 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15298 14693 313 324 0 14367 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 61192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691552/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61192 CPUtime=1800.04 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15358 0 7 0 179835 169 0 0 25 0 1 0 91108030 62660608 14693 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15298 14693 313 324 0 14367 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 61192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17001 /proc/meminfo: memFree=1691552/2055920 swapFree=4185932/4192956 [pid=17000] ppid=16998 vsize=61192 CPUtime=1800.04 /proc/17000/stat : 17000 (bsolo3.0.16) R 16998 17000 15997 0 -1 4194304 15358 0 7 0 179835 169 0 0 25 0 1 0 91108030 62660608 14693 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17000/statm: 15298 14693 313 324 0 14367 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 61192 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.07 CPU user time (s): 1798.36 CPU system time (s): 1.70574 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 63820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.36 system time used= 1.70574 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15359 page faults= 7 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19 involuntary context switches= 1904 runsolver used 1.13983 second user time and 3.79042 second system time The end
Begin job on node62 on Sat Apr 14 22:23:45 UTC 2007 IDJOB= 351213 IDBENCH= 1700 IDSOLVER= 163 FILE ID= node62/351213-1176589425 PBS_JOBID= 4556932 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/351213-1176589425/instance-351213-1176589425.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-351213-1176589425 -o ROOT/results/node62/solver-351213-1176589425 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351213-1176589425/instance-351213-1176589425.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d412dc68829850bad6555fa34c6ad801 RANDOM SEED= 928522411 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.279 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.279 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: 1751168 kB Buffers: 14196 kB Cached: 181736 kB SwapCached: 2356 kB Active: 57212 kB Inactive: 150600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1751168 kB SwapTotal: 4192956 kB SwapFree: 4185932 kB Dirty: 4400 kB Writeback: 0 kB Mapped: 18628 kB Slab: 82884 kB Committed_AS: 135972 kB PageTables: 1468 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= 66560 MiB End job on node62 on Sat Apr 14 22:53:48 UTC 2007