Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -12 | 1800.27 | 1800.97 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_1.opb |
MD5SUM | 6c6505c4760e09c43f48167716751a54 |
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 | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
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) | 74732 |
Sum of products size (including duplicates) | 149464 |
Number of different products | 37366 |
Sum of products size | 74732 |
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/455151-1178038247/instance-455151-1178038247.opb 0.00/0.00 c File size is 984211 bytes. 0.39/0.45 c Highest Coefficient sum: 1000 0.39/0.45 c Parsing was ok!! 0.39/0.45 c Total parsing time: 0.45 s 0.49/0.58 c Var: 75732 Constr: 150966 75232/1002/74732 Lit: 526124 Watch. Lit: 450394 0.49/0.58 c Obj. Vars: 500 (0.660223 % of total variables) 179.52/179.67 c Pre-processing Time: 179.606 s 179.52/179.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.52/179.69 c 0 75732 150966 526124 3 450394 500000 0 0 179.61 179.52/179.69 c Switching off LPR mode. 179.63/179.76 o -1 179.695 179.83/179.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.83/179.90 c 0 75732 150967 526624 3 450397 500000 1 0 179.73 179.83/179.90 o -2 179.828 179.93/180.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.93/180.03 c 0 75732 150968 527124 3 450401 500000 2 0 179.86 179.93/180.03 o -3 179.966 180.03/180.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.03/180.17 c 0 75732 150969 527624 3 450406 500000 3 0 180.00 180.03/180.17 o -4 180.105 180.23/180.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.23/180.32 c 0 75732 150970 528124 3 450412 500000 4 0 180.14 180.23/180.32 o -5 180.247 180.33/180.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.33/180.46 c 0 75732 150971 528624 3 450419 500000 5 0 180.28 180.33/180.46 o -6 180.39 180.53/180.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.53/180.60 c 0 75732 150972 529124 3 450427 500000 6 0 180.43 180.53/180.60 o -7 180.534 180.63/180.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.63/180.75 c 0 75732 150973 529624 3 450436 500000 7 0 180.57 180.63/180.75 o -8 180.679 180.73/180.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.73/180.89 c 0 75732 150974 530124 3 450446 500000 8 0 180.72 180.73/180.89 o -9 180.825 180.93/181.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.93/181.04 c 0 75732 150975 530624 3 450457 500000 9 0 180.87 180.93/181.04 o -10 180.972 181.13/181.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.13/181.27 c 0 75732 150976 531124 3 450469 500000 10 0 181.01 181.13/181.27 o -11 181.202 203.51/203.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 203.51/203.66 c 5 75732 150982 534674 3 450492 500000 16 0 181.24 203.51/203.66 c 105 75732 151082 586222 3 450692 550001 116 0 182.93 203.51/203.66 c 355 75732 151332 741785 4 451192 605002 366 1 187.00 203.51/203.66 c 830 75732 151807 1068312 7 452142 665503 841 4 193.26 203.51/203.66 c 1643 75732 152620 1709268 11 453768 732054 1654 8 199.95 203.51/203.66 o -12 203.589 1800.01/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.70 c 2732 75732 153710 2470812 16 455960 500000 2744 13 203.65 1800.01/1800.70 c 2832 75732 153810 2524020 16 456160 550001 2844 13 206.62 1800.01/1800.70 c 3082 75732 154060 2684586 17 456660 605002 3094 14 210.04 1800.01/1800.70 c 3557 75732 154535 2923317 18 457610 665503 3569 16 212.51 1800.01/1800.70 c 4370 75732 155348 3341535 21 459236 732054 4382 20 217.45 1800.01/1800.70 c 5690 75732 156668 4100155 26 461876 805260 5702 24 228.03 1800.01/1800.70 c 7771 75732 158749 5194968 32 466038 885787 7783 32 239.25 1800.01/1800.70 c 10994 75732 161972 6814134 42 472484 974366 11006 43 253.02 1800.01/1800.70 c 15930 75732 166908 9410106 56 482356 500000 15942 56 282.29 1800.01/1800.70 c 23436 75732 174414 13461137 77 497368 550001 23448 72 322.59 1800.01/1800.70 c 34797 75732 185775 20303528 109 520090 605002 34809 84 411.35 1800.01/1800.70 c 51941 75732 202919 30691425 151 554378 665503 51953 97 530.88 1800.01/1800.70 c 77760 75732 228738 46926195 205 606016 732054 77772 113 687.66 1800.01/1800.70 c 116592 75732 267570 68156857 254 683680 805260 116604 131 883.77 1800.01/1800.70 c 174944 75732 325922 101544235 311 800384 885787 174956 117 1486.77 1800.01/1800.70 c Caught signal: 15 1800.01/1800.70 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 1800.01/1800.70 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.01/1800.70 v -x57 -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 1800.01/1800.70 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1800.01/1800.70 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.01/1800.70 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.01/1800.70 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.01/1800.70 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.01/1800.70 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.01/1800.70 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.01/1800.70 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.01/1800.70 v -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.01/1800.70 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.01/1800.70 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.01/1800.70 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.01/1800.70 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.01/1800.70 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.01/1800.70 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.01/1800.70 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.01/1800.70 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.01/1800.70 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.01/1800.70 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.01/1800.70 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x884 -x887 -x778 -x916 -x794 1800.01/1800.70 v -x836 -x993 -x650 -x922 -x863 -x528 -x691 -x560 -x764 -x927 -x541 -x673 -x737 -x712 -x869 -x568 -x930 -x783 -x531 -x624 -x636 1800.01/1800.70 v -x803 -x523 -x559 -x570 -x668 -x894 -x957 -x512 -x543 -x730 -x874 -x920 -x785 -x538 -x699 -x825 -x816 -x871 -x914 -x527 -x592 1800.01/1800.70 v -x981 -x671 -x997 -x782 -x806 -x926 -x585 -x828 -x837 -x506 -x847 -x814 -x858 -x503 -x507 -x508 -x514 -x516 -x526 -x529 -x530 1800.01/1800.70 v -x542 -x549 -x613 -x623 -x625 -x632 -x633 -x638 -x640 -x646 -x666 -x676 -x683 -x689 -x706 -x713 -x720 -x741 -x745 -x760 -x777 1800.01/1800.70 v -x779 -x819 -x827 -x833 -x849 -x881 -x892 -x965 -x991 -x996 -x501 x896 -x583 -x546 x815 -x868 -x935 x865 -x544 -x751 x588 1800.01/1800.70 v x809 x679 -x789 -x904 -x652 x755 x900 -x933 -x561 -x677 x740 -x513 -x727 -x587 -x595 -x540 -x796 -x571 -x879 -x968 -x602 -x598 1800.01/1800.70 v x903 x818 -x653 -x757 -x802 -x781 -x787 -x942 -x866 -x690 -x945 -x620 -x941 -x532 -x618 -x772 -x982 -x710 -x928 -x857 -x554 1800.01/1800.70 v -x555 -x557 -x565 -x566 -x596 -x599 -x616 -x647 -x664 -x667 -x682 -x684 -x688 -x719 -x743 -x758 -x765 -x769 -x790 -x810 -x826 1800.01/1800.70 v -x829 -x897 -x898 -x937 -x980 -x502 -x998 -x854 -x966 -x807 -x872 -x733 -x830 -x504 -x520 -x771 -x709 -x716 -x841 -x797 -x724 1800.01/1800.70 v -x619 -x746 -x952 -x556 -x880 -x989 -x729 -x842 -x851 -x694 -x535 -x915 -x988 -x744 -x992 -x728 -x860 -x552 -x938 -x776 -x908 1800.01/1800.70 v -x975 -x622 -x859 -x738 -x736 -x510 -x518 -x534 -x550 -x553 -x609 -x629 -x637 -x658 -x670 -x707 -x718 -x722 -x822 -x839 -x845 1800.01/1800.70 v -x850 -x861 -x929 -x644 -x905 -x944 -x614 -x539 -x607 -x870 -x918 -x971 -x1000 -x773 -x726 -x645 -x591 -x955 -x698 -x856 1800.01/1800.70 v -x805 -x612 -x800 -x844 -x747 -x569 -x923 -x812 -x811 -x606 -x662 -x731 -x821 -x524 -x525 -x548 -x564 -x576 -x615 -x627 -x692 1800.01/1800.70 v -x742 -x749 -x753 -x768 -x792 -x840 -x889 -x960 -x917 -x759 -x925 -x563 -x601 -x537 -x953 -x551 -x969 -x572 -x974 -x882 -x931 1800.01/1800.70 v -x934 -x895 -x661 -x700 -x774 -x669 -x967 -x685 -x877 -x608 -x946 -x680 -x919 -x888 -x913 -x660 -x711 -x843 -x573 -x579 -x580 1800.01/1800.70 v -x604 -x621 -x634 -x641 -x656 -x663 -x695 -x696 -x723 -x823 -x901 -x978 -x505 -x714 -x873 -x756 -x820 -x600 -x940 -x628 -x651 1800.01/1800.70 v -x985 -x659 -x921 -x725 -x770 -x582 -x631 -x793 -x973 -x626 -x886 -x899 -x799 -x995 -x643 -x885 -x994 -x536 -x611 -x617 -x639 1800.01/1800.70 v -x672 -x674 -x752 -x762 -x766 -x791 -x862 -x864 -x911 -x977 -x962 -x703 -x522 -x909 -x959 -x999 -x754 -x804 -x834 -x649 -x891 1800.01/1800.70 v -x547 -x798 -x750 -x893 -x687 -x976 -x961 -x795 -x517 -x521 -x681 -x702 -x735 -x832 -x855 -x890 -x947 -x983 -x648 -x635 -x693 1800.01/1800.70 v -x630 -x786 -x678 -x739 -x972 -x950 -x545 -x589 -x597 -x784 -x788 -x853 -x956 -x984 -x558 -x813 -x581 -x594 -x715 -x970 -x775 1800.01/1800.70 v -x642 -x567 -x761 -x519 -x515 -x533 -x578 -x948 -x964 -x509 -x979 -x939 -x575 -x734 -x848 -x932 -x963 -x732 -x586 -x705 -x686 1800.01/1800.70 v -x708 -x912 -x951 -x876 -x590 -x883 -x987 -x878 -x763 -x577 -x584 -x605 -x657 -x665 -x717 -x824 -x511 -x654 -x574 -x852 -x986 1800.01/1800.70 v -x697 -x831 -x867 -x936 -x655 -x958 -x748 -x704 -x721 -x835 -x562 -x906 -x610 -x990 -x701 -x767 -x838 -x603 -x817 -x907 -x801 1800.01/1800.70 v -x675 -x949 -x780 x593 -x808 -x954 -x910 -x943 -x875 -x902 -x924 -x846 1800.01/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.71 c 30 216159 709 967687 367137 125180071 216171 120 1800.02 1800.01/1800.71 c Objective: -12 1800.01/1800.71 s SATISFIABLE 1800.01/1800.71 c Total time: 1800.02 s
OK -12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-455151-1178038247 -o ROOT/results/node58/solver-455151-1178038247 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455151-1178038247/instance-455151-1178038247.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.91 0.97 0.99 3/64 3391 /proc/meminfo: memFree=1847736/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=12700 CPUtime=0 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 251734419 13004800 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 3175 333 279 324 0 2004 0 [startup+0.0151989 s] /proc/loadavg: 0.91 0.97 0.99 3/64 3391 /proc/meminfo: memFree=1847736/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=5572 CPUtime=0 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 527 0 0 0 0 0 0 0 18 0 1 0 251734419 5705728 497 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5305925 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 1393 498 295 324 0 222 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5572 [startup+0.101213 s] /proc/loadavg: 0.91 0.97 0.99 3/64 3391 /proc/meminfo: memFree=1847736/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=10176 CPUtime=0.09 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 1737 0 0 0 9 0 0 0 18 0 1 0 251734419 10420224 1707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 2544 1707 342 324 0 1373 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10176 [startup+0.301246 s] /proc/loadavg: 0.91 0.97 0.99 3/64 3391 /proc/meminfo: memFree=1847736/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=20240 CPUtime=0.29 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 4474 0 0 0 28 1 0 0 19 0 1 0 251734419 20725760 4276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 5060 4276 443 324 0 3889 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20240 [startup+0.701313 s] /proc/loadavg: 0.91 0.97 0.99 3/64 3391 /proc/meminfo: memFree=1847736/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=44320 CPUtime=0.7 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 10584 0 0 0 66 4 0 0 22 0 1 0 251734419 45383680 10145 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 11080 10145 305 324 0 10150 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 44320 [startup+1.50145 s] /proc/loadavg: 0.91 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1807472/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=44848 CPUtime=1.49 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 10766 0 0 0 145 4 0 0 25 0 1 0 251734419 45924352 10327 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 11212 10327 305 324 0 10282 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44848 [startup+3.10171 s] /proc/loadavg: 0.91 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1807344/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=44848 CPUtime=3.09 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 10770 0 0 0 305 4 0 0 25 0 1 0 251734419 45924352 10331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567634 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 11212 10331 305 324 0 10282 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44848 [startup+6.30125 s] /proc/loadavg: 0.92 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1807344/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=44848 CPUtime=6.29 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 10770 0 0 0 625 4 0 0 25 0 1 0 251734419 45924352 10331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5300376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 11212 10331 305 324 0 10282 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44848 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1807472/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=44848 CPUtime=12.68 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 10770 0 0 0 1264 4 0 0 25 0 1 0 251734419 45924352 10331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5304407 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 11212 10331 305 324 0 10282 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44848 [startup+25.5015 s] /proc/loadavg: 0.94 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1807536/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=44848 CPUtime=25.48 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 10770 0 0 0 2543 5 0 0 25 0 1 0 251734419 45924352 10331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 11212 10331 305 324 0 10282 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44848 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1807664/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=44848 CPUtime=51.07 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 10773 0 0 0 5102 5 0 0 25 0 1 0 251734419 45924352 10334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 11212 10334 305 324 0 10282 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44848 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1807600/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=44848 CPUtime=102.25 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 10773 0 0 0 10220 5 0 0 25 0 1 0 251734419 45924352 10334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5300376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 11212 10334 305 324 0 10282 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 44848 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1807600/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=44848 CPUtime=162.23 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 10773 0 0 0 16218 5 0 0 25 0 1 0 251734419 45924352 10334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5300293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 11212 10334 305 324 0 10282 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 44848 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1763568/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=88340 CPUtime=222.2 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 21913 0 0 0 22209 11 0 0 25 0 1 0 251734419 90460160 21326 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5303958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 22085 21326 311 324 0 21155 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 88340 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1691376/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=160668 CPUtime=282.19 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 40012 0 0 0 28195 24 0 0 25 0 1 0 251734419 164524032 39425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 40167 39425 311 324 0 39237 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 160668 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1617904/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=234120 CPUtime=342.18 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 58384 0 0 0 34181 37 0 0 25 0 1 0 251734419 239738880 57797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 58530 57797 311 324 0 57600 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 234120 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1559920/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=292268 CPUtime=402.15 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 72904 0 0 0 40171 44 0 0 25 0 1 0 251734419 299282432 72317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 73067 72317 311 324 0 72137 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 292268 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1491952/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=359528 CPUtime=462.13 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 89725 0 0 0 46159 54 0 0 25 0 1 0 251734419 368156672 89138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 89882 89138 311 324 0 88952 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 359528 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1425904/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=426168 CPUtime=522.11 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 106397 0 0 0 52146 65 0 0 25 0 1 0 251734419 436396032 105810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 106542 105810 311 324 0 105612 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 426168 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3392 /proc/meminfo: memFree=1351280/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=500536 CPUtime=582.09 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 124977 0 0 0 58131 78 0 0 25 0 1 0 251734419 512548864 124390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 125134 124390 311 324 0 124204 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 500536 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/71 3548 /proc/meminfo: memFree=1267696/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=581856 CPUtime=641.99 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 145307 0 0 0 64107 92 0 0 25 0 1 0 251734419 595820544 144720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 145464 144720 311 324 0 144534 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 581856 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=887280/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=963256 CPUtime=941.87 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 240663 0 0 0 94032 155 0 0 25 0 1 0 251734419 986374144 240076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 240814 240076 311 324 0 239884 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 963256 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=854192/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=996060 CPUtime=1001.86 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 248859 0 0 0 100024 162 0 0 25 0 1 0 251734419 1019965440 248272 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 249015 248272 311 324 0 248085 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 996060 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=820080/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1030056 CPUtime=1061.83 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 257360 0 0 0 106016 167 0 0 25 0 1 0 251734419 1054777344 256773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 257514 256773 311 324 0 256584 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 1030056 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=780592/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1069708 CPUtime=1121.82 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 267278 0 0 0 112008 174 0 0 25 0 1 0 251734419 1095380992 266691 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 267427 266691 311 324 0 266497 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 1069708 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=723952/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1126020 CPUtime=1181.8 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 281343 0 0 0 117996 184 0 0 25 0 1 0 251734419 1153044480 280756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 281505 280756 311 324 0 280575 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 1126020 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=676528/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1173156 CPUtime=1241.78 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 293118 0 0 0 123985 193 0 0 25 0 1 0 251734419 1201311744 292531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 293289 292531 311 324 0 292359 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 1173156 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=633776/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1215536 CPUtime=1301.76 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 303735 0 0 0 129976 200 0 0 25 0 1 0 251734419 1244708864 303148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 303884 303148 311 324 0 302954 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1215536 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=593328/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1256736 CPUtime=1361.73 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 314020 0 0 0 135966 207 0 0 25 0 1 0 251734419 1286897664 313433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 314184 313433 311 324 0 313254 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 1256736 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=554032/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1295300 CPUtime=1421.72 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 323677 0 0 0 141956 216 0 0 25 0 1 0 251734419 1326387200 323090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5304036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 323825 323090 311 324 0 322895 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 1295300 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=506096/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1343268 CPUtime=1481.7 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 335657 0 0 0 147944 226 0 0 25 0 1 0 251734419 1375506432 335070 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 335817 335070 311 324 0 334887 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 1343268 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=462832/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1386552 CPUtime=1541.68 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 346484 0 0 0 153933 235 0 0 25 0 1 0 251734419 1419829248 345897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 346638 345897 311 324 0 345708 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1386552 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=418032/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1431448 CPUtime=1601.66 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 357713 0 0 0 159923 243 0 0 25 0 1 0 251734419 1465802752 357126 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 357862 357126 311 324 0 356932 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 1431448 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3590 /proc/meminfo: memFree=363760/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1485384 CPUtime=1661.64 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 371197 0 0 0 165912 252 0 0 25 0 1 0 251734419 1521033216 370610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 371346 370610 311 324 0 370416 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 1485384 [startup+1722.3 s] /proc/loadavg: 1.03 0.99 0.99 2/65 3590 /proc/meminfo: memFree=292400/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1557456 CPUtime=1721.62 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 389219 0 0 0 171896 266 0 0 25 0 1 0 251734419 1594834944 388632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 389364 388632 311 324 0 388434 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 1557456 [startup+1782.3 s] /proc/loadavg: 1.01 0.99 0.99 2/65 3590 /proc/meminfo: memFree=217136/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1632016 CPUtime=1781.6 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 407859 0 0 0 177881 279 0 0 25 0 1 0 251734419 1671184384 407272 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 408004 407272 311 324 0 407074 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 1632016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.01 0.99 0.99 2/65 3590 /proc/meminfo: memFree=195376/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=1653104 CPUtime=1800.01 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194304 413106 0 0 0 179719 282 0 0 25 0 1 0 251734419 1692778496 412519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 413276 412519 311 324 0 412346 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1653104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.01 0.99 0.99 2/65 3590 /proc/meminfo: memFree=195376/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=0 CPUtime=1800.1 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194308 413110 0 0 0 179719 291 0 0 25 0 1 0 251734419 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.01 0.99 0.99 2/65 3590 /proc/meminfo: memFree=195376/2055920 swapFree=4184476/4192956 [pid=3391] ppid=3389 vsize=0 CPUtime=1800.2 /proc/3391/stat : 3391 (bsolo3.0.17) R 3389 3391 2865 0 -1 4194308 413110 0 0 0 179719 301 0 0 25 0 1 0 251734419 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/3391/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.97 CPU time (s): 1800.27 CPU user time (s): 1797.2 CPU system time (s): 3.07553 CPU usage (%): 99.9614 Max. virtual memory (cumulated for all children) (KiB): 1653104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.2 system time used= 3.07553 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 413110 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= 3459 runsolver used 1.43578 second user time and 3.54046 second system time The end
Begin job on node58 on Tue May 1 16:50:47 UTC 2007 IDJOB= 455151 IDBENCH= 48244 IDSOLVER= 199 FILE ID= node58/455151-1178038247 PBS_JOBID= 4728404 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455151-1178038247/instance-455151-1178038247.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-455151-1178038247 -o ROOT/results/node58/solver-455151-1178038247 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455151-1178038247/instance-455151-1178038247.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 6c6505c4760e09c43f48167716751a54 RANDOM SEED= 731468333 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1848336 kB Buffers: 56920 kB Cached: 75404 kB SwapCached: 2180 kB Active: 103832 kB Inactive: 39644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848336 kB SwapTotal: 4192956 kB SwapFree: 4184476 kB Dirty: 7548 kB Writeback: 0 kB Mapped: 16404 kB Slab: 50140 kB Committed_AS: 3743012 kB PageTables: 1384 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= 66557 MiB End job on node58 on Tue May 1 17:20:50 UTC 2007