Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -66 | 1800.25 | 1801.01 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_2.opb |
MD5SUM | 9073bcbe60c862f7d64be630b0fdd227 |
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 | -71 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 109 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
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) | 75286 |
Sum of products size (including duplicates) | 150572 |
Number of different products | 37643 |
Sum of products size | 75286 |
0.00/0.06 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.06 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.06 c type "bsolo -h" for help 0.00/0.06 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.06 c Time Limit set to 1800 0.00/0.06 c Memory Limit set to 1800 MB 0.00/0.06 c Instance file /tmp/evaluation/454065-1178020803/instance-454065-1178020803.opb 0.00/0.06 c File size is 972554 bytes. 0.63/0.73 c Highest Coefficient sum: 1000 0.63/0.73 c Parsing was ok!! 0.63/0.73 c Total parsing time: 0.673 s 0.73/0.86 c Var: 76286 Constr: 152572 76286/1000/75286 Lit: 602288 Watch. Lit: 451716 0.73/0.86 c Obj. Vars: 1000 (1.31086 % of total variables) 6.82/6.95 c Pre-processing Time: 6.888 s 6.82/6.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.82/6.96 c 0 1000 37643 112929 3 75286 12547 0 0 6.89 6.82/6.96 c Switching off LPR mode. 6.82/6.97 o -63 6.908 6.82/6.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.82/6.98 c 0 1000 37644 113929 3 75351 13547 1 0 6.91 6.82/6.98 o -64 6.916 23.42/23.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.42/23.50 c 4 1000 37649 118667 3 75425 13547 6 0 6.92 23.42/23.50 c 104 1000 37749 211954 5 75625 14902 106 14 6.97 23.42/23.50 c 354 1000 37999 445122 11 76125 16393 356 49 7.11 23.42/23.50 c 829 1000 38474 888119 23 77075 18033 831 111 7.41 23.42/23.50 c 1643 1000 39288 1647320 41 78703 19837 1645 205 7.98 23.42/23.50 c 2963 1000 40608 2878358 70 81343 21821 2965 328 9.01 23.42/23.50 c 5044 1000 42689 4818465 112 85505 24004 5046 452 11.14 23.42/23.50 c 8267 1000 45912 7823970 170 91951 26405 8269 534 15.46 23.42/23.50 c 13203 1000 50848 12427422 244 101823 29046 13205 564 23.39 23.42/23.50 o -65 23.431 196.15/196.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 196.15/196.44 c 13203 1000 50849 12428422 244 101890 13547 13206 563 23.43 196.15/196.44 c 13303 1000 50949 12521622 245 102090 14902 13306 565 23.51 196.15/196.44 c 13553 1000 51199 12754468 249 102590 16393 13556 572 23.69 196.15/196.44 c 14028 1000 51674 13196841 255 103540 18033 14031 583 24.04 196.15/196.44 c 14841 1000 52487 13954273 265 105166 19837 14844 600 24.71 196.15/196.44 c 16161 1000 53807 15183799 282 107806 21821 16164 619 26.07 196.15/196.44 c 18242 1000 55888 17122593 306 111968 24004 18245 641 28.46 196.15/196.44 c 21466 1000 59112 20125308 340 118416 26405 21469 649 33.07 196.15/196.44 c 26403 1000 64049 24725789 386 128290 29046 26406 596 44.28 196.15/196.44 c 33910 1000 71556 31720027 443 143304 31951 33913 559 60.61 196.15/196.44 c 45272 1000 82918 42306544 510 166028 35147 45275 487 92.87 196.15/196.44 c 62416 1000 100062 58271194 582 200316 38662 62419 375 166.34 196.15/196.44 o -66 196.207 1799.94/1800.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.76 c 70888 1000 108535 66166044 609 217328 13547 70892 361 196.21 1799.94/1800.76 c 70989 1000 108636 66260055 609 217530 14902 70993 361 196.43 1799.94/1800.76 c 71239 1000 108886 66492594 610 218030 16393 71243 361 196.85 1799.94/1800.76 c 71714 1000 109361 66934399 612 218980 18033 71718 362 198.07 1799.94/1800.76 c 72527 1000 110174 67690807 614 220606 19837 72531 364 199.24 1799.94/1800.76 c 73848 1000 111495 68919694 618 223248 21821 73852 367 201.05 1799.94/1800.76 c 75929 1000 113576 70855378 623 227410 24004 75933 372 204.09 1799.94/1800.76 c 79153 1000 116800 73854696 632 233858 26405 79157 349 226.26 1799.94/1800.76 c 84090 1000 121737 78448425 644 243732 29046 84094 353 237.94 1799.94/1800.76 c 91596 1000 129243 85432630 661 258744 31951 91600 356 257.08 1799.94/1800.76 c 102958 1000 140605 96004532 682 281468 35147 102962 341 301.05 1799.94/1800.76 c 120102 1000 58791 19789831 336 117648 38662 21148 215 558.09 1799.94/1800.76 c 145922 1000 84611 43808936 517 169288 42529 46968 213 683.72 1799.94/1800.76 c 184754 1000 123443 79940185 647 246952 46782 85800 192 958.71 1799.94/1800.76 c 243108 1000 71268 31398324 440 142602 51461 33625 180 1345.28 1799.94/1800.76 c Resources Exceeded 1799.94/1800.76 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 1799.94/1800.76 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1799.94/1800.76 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1799.94/1800.76 v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1799.94/1800.76 v -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1799.94/1800.76 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1799.94/1800.76 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1799.94/1800.76 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1799.94/1800.76 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 1799.94/1800.76 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1799.94/1800.76 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 1799.94/1800.76 v -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1799.94/1800.76 v -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1799.94/1800.76 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1799.94/1800.76 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1799.94/1800.76 v -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1799.94/1800.76 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 1799.94/1800.76 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1799.94/1800.76 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 1799.94/1800.76 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1799.94/1800.76 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1799.94/1800.76 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1799.94/1800.76 v -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 1799.94/1800.76 v x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1799.94/1800.76 v -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1799.94/1800.76 v -x547 -x548 -x549 x550 x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1799.94/1800.76 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1799.94/1800.76 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1799.94/1800.76 v -x610 -x611 -x612 x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1799.94/1800.76 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 1799.94/1800.76 v -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 1799.94/1800.76 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1799.94/1800.76 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1799.94/1800.76 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 x733 x734 -x735 1799.94/1800.76 v x736 -x737 -x738 x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1799.94/1800.76 v -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1799.94/1800.76 v -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 x798 1799.94/1800.76 v -x799 x800 -x801 -x802 -x803 -x804 x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1799.94/1800.76 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1799.94/1800.76 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 x861 1799.94/1800.76 v x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 1799.94/1800.76 v -x883 x884 -x885 -x886 x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 x899 -x900 -x901 -x902 -x903 -x904 1799.94/1800.76 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 -x925 1799.94/1800.76 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 x944 -x945 -x946 1799.94/1800.76 v x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 1799.94/1800.76 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 1799.94/1800.76 v x989 -x990 x991 -x992 -x993 x994 -x995 -x996 -x997 x998 -x999 -x1000 1799.94/1800.77 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.77 c 37 301009 29748 341971 129169 85258845 91526 167 1800.01 1799.94/1800.77 c Objective: -66 1799.94/1800.77 s SATISFIABLE 1799.94/1800.77 c Total time: 1800.01 s
OK -66
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-454065-1178020803 -o ROOT/results/node39/solver-454065-1178020803 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454065-1178020803/instance-454065-1178020803.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.84 0.97 0.99 3/77 13580 /proc/meminfo: memFree=1864584/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1408 CPUtime=0 /proc/13580/stat : 13580 (bsolo3.0.16) D 13578 13580 13189 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 249992389 1441792 25 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11092772 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13580/statm: 352 25 20 324 0 2 0 [startup+0.0865569 s] /proc/loadavg: 0.84 0.97 0.99 3/77 13580 /proc/meminfo: memFree=1864584/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=5700 CPUtime=0.02 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 576 0 0 0 2 0 0 0 18 0 1 0 249992389 5836800 545 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11517956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13580/statm: 1425 545 300 324 0 256 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5700 [startup+0.101554 s] /proc/loadavg: 0.84 0.97 0.99 3/77 13580 /proc/meminfo: memFree=1864584/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=6248 CPUtime=0.03 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 727 0 0 0 3 0 0 0 18 0 1 0 249992389 6397952 696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527331 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13580/statm: 1562 696 305 324 0 393 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6248 [startup+0.301597 s] /proc/loadavg: 0.84 0.97 0.99 3/77 13580 /proc/meminfo: memFree=1864584/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=13564 CPUtime=0.22 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 2648 0 0 0 22 0 0 0 19 0 1 0 249992389 13889536 2577 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134539215 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13580/statm: 3391 2577 376 324 0 2222 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 13564 [startup+0.701664 s] /proc/loadavg: 0.84 0.97 0.99 3/77 13580 /proc/meminfo: memFree=1864584/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=27504 CPUtime=0.63 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 6431 0 0 0 61 2 0 0 23 0 1 0 249992389 28164096 6232 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525315 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13580/statm: 6876 6232 516 324 0 5707 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 27504 [startup+1.50179 s] /proc/loadavg: 0.84 0.97 0.99 2/78 13581 /proc/meminfo: memFree=1823168/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=46156 CPUtime=1.43 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 11035 0 0 0 139 4 0 0 25 0 1 0 249992389 47263744 10598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 11539 10598 307 324 0 10608 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 46156 [startup+3.10206 s] /proc/loadavg: 0.85 0.97 0.99 2/78 13581 /proc/meminfo: memFree=1823040/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=46156 CPUtime=3.03 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 11035 0 0 0 299 4 0 0 25 0 1 0 249992389 47263744 10598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 11539 10598 307 324 0 10608 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 46156 [startup+6.3016 s] /proc/loadavg: 0.85 0.97 0.99 2/78 13581 /proc/meminfo: memFree=1820480/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=48540 CPUtime=6.23 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 11800 0 0 0 612 11 0 0 25 0 1 0 249992389 49704960 11214 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 12135 11214 309 324 0 11204 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 48540 [startup+12.7017 s] /proc/loadavg: 0.88 0.97 0.99 2/78 13581 /proc/meminfo: memFree=1756800/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=118608 CPUtime=12.63 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 30200 0 0 0 1242 21 0 0 25 0 1 0 249992389 121454592 28720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 29652 28720 313 324 0 28721 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 118608 [startup+25.5018 s] /proc/loadavg: 0.89 0.97 0.99 2/78 13581 /proc/meminfo: memFree=1648064/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=224528 CPUtime=25.42 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 56703 0 0 0 2511 31 0 0 25 0 1 0 249992389 229916672 55223 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11209844 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 56132 55223 313 324 0 55201 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 224528 [startup+51.1012 s] /proc/loadavg: 0.93 0.97 0.99 2/78 13581 /proc/meminfo: memFree=1467904/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=403144 CPUtime=51 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 101360 0 0 0 5045 55 0 0 25 0 1 0 249992389 412819456 99880 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 100786 99880 313 324 0 99855 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 403144 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/84 13753 /proc/meminfo: memFree=1233472/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=633740 CPUtime=102.1 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 159006 0 0 0 10124 86 0 0 25 0 1 0 249992389 648949760 157526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 158435 157526 313 324 0 157504 0 Current children cumulated CPU time (s) 102.1 Current children cumulated vsize (KiB) 633740 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=1097664/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=772024 CPUtime=162.06 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 193557 0 0 0 16101 105 0 0 25 0 1 0 249992389 790552576 192077 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 193006 192077 313 324 0 192075 0 Current children cumulated CPU time (s) 162.06 Current children cumulated vsize (KiB) 772024 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=899392/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=968084 CPUtime=222.05 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 242592 0 0 0 22073 132 0 0 25 0 1 0 249992389 991318016 241112 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 242021 241112 313 324 0 241090 0 Current children cumulated CPU time (s) 222.05 Current children cumulated vsize (KiB) 968084 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=656448/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1213032 CPUtime=282.02 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 303809 0 0 0 28040 162 0 0 25 0 1 0 249992389 1242144768 302329 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 303258 302329 313 324 0 302327 0 Current children cumulated CPU time (s) 282.02 Current children cumulated vsize (KiB) 1213032 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=565504/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1301116 CPUtime=342 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 325836 0 0 0 34024 176 0 0 25 0 1 0 249992389 1332342784 324356 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 325279 324356 313 324 0 324348 0 Current children cumulated CPU time (s) 342 Current children cumulated vsize (KiB) 1301116 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=508288/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1357804 CPUtime=401.99 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 340113 0 0 0 40014 185 0 0 25 0 1 0 249992389 1390391296 338524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 339451 338524 313 324 0 338520 0 Current children cumulated CPU time (s) 401.99 Current children cumulated vsize (KiB) 1357804 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=508416/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1357804 CPUtime=461.97 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 340113 0 0 0 46012 185 0 0 25 0 1 0 249992389 1390391296 338524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11523586 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 339451 338524 313 324 0 338520 0 Current children cumulated CPU time (s) 461.97 Current children cumulated vsize (KiB) 1357804 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=508416/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1357804 CPUtime=521.94 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 340113 0 0 0 52008 186 0 0 25 0 1 0 249992389 1390391296 338524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 339451 338524 313 324 0 338520 0 Current children cumulated CPU time (s) 521.94 Current children cumulated vsize (KiB) 1357804 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=508416/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1357804 CPUtime=581.93 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 340113 0 0 0 58004 189 0 0 25 0 1 0 249992389 1390391296 338524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 339451 338524 313 324 0 338520 0 Current children cumulated CPU time (s) 581.93 Current children cumulated vsize (KiB) 1357804 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=508416/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1357804 CPUtime=641.91 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 340113 0 0 0 64000 191 0 0 25 0 1 0 249992389 1390391296 338524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 339451 338524 313 324 0 338520 0 Current children cumulated CPU time (s) 641.91 Current children cumulated vsize (KiB) 1357804 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=508416/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1357804 CPUtime=881.83 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 340113 0 0 0 87982 201 0 0 25 0 1 0 249992389 1390391296 338524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 339451 338524 313 324 0 338520 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 1357804 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=508352/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1357804 CPUtime=941.81 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 340113 0 0 0 93978 203 0 0 25 0 1 0 249992389 1390391296 338524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 339451 338524 313 324 0 338520 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 1357804 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=508352/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1357804 CPUtime=1001.8 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 340113 0 0 0 99973 207 0 0 25 0 1 0 249992389 1390391296 338524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 339451 338524 313 324 0 338520 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 1357804 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=491776/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1376432 CPUtime=1061.78 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 344780 0 0 0 105965 213 0 0 25 0 1 0 249992389 1409466368 343191 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 344108 343191 313 324 0 343177 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 1376432 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=400960/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1465220 CPUtime=1121.76 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 366986 0 0 0 111948 228 0 0 25 0 1 0 249992389 1500385280 365397 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 366305 365397 313 324 0 365374 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 1465220 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371520/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1181.73 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 117941 232 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 1494080 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371520/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1241.71 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 123938 233 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 1494080 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371520/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1301.71 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 129935 236 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 1494080 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371520/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1361.68 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 135929 239 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 1494080 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371520/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1421.66 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 141925 241 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 1494080 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371520/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1481.64 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 147921 243 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 1494080 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371520/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1541.62 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 153917 245 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 1494080 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371520/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1601.6 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 159913 247 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 1494080 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371520/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1661.59 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 165910 249 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 1494080 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13779 /proc/meminfo: memFree=371456/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1721.56 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 171906 250 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 1494080 [startup+1782.3 s] /proc/loadavg: 1.04 0.99 0.99 2/78 13779 /proc/meminfo: memFree=371456/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=1494080 CPUtime=1781.54 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194304 374305 0 0 0 177903 251 0 0 25 0 1 0 249992389 1529937920 372595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 373520 372595 313 324 0 372589 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 1494080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.03 0.99 0.99 2/78 13779 /proc/meminfo: memFree=563264/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=0 CPUtime=1800.04 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194308 374306 0 0 0 179749 255 0 0 17 0 1 0 249992389 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.03 0.99 0.99 2/78 13779 /proc/meminfo: memFree=563264/2055920 swapFree=4159404/4192956 [pid=13580] ppid=13578 vsize=0 CPUtime=1800.23 /proc/13580/stat : 13580 (bsolo3.0.16) R 13578 13580 13189 0 -1 4194308 374306 0 0 0 179749 274 0 0 19 0 1 0 249992389 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13580/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.01 CPU time (s): 1800.25 CPU user time (s): 1797.49 CPU system time (s): 2.75158 CPU usage (%): 99.9577 Max. virtual memory (cumulated for all children) (KiB): 1494564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.49 system time used= 2.75158 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 374306 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= 13 involuntary context switches= 38578 runsolver used 1.46978 second user time and 4.02339 second system time The end
Begin job on node39 on Tue May 1 12:00:03 UTC 2007 IDJOB= 454065 IDBENCH= 48172 IDSOLVER= 163 FILE ID= node39/454065-1178020803 PBS_JOBID= 4728352 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454065-1178020803/instance-454065-1178020803.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-454065-1178020803 -o ROOT/results/node39/solver-454065-1178020803 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454065-1178020803/instance-454065-1178020803.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227 RANDOM SEED= 77290572 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1864992 kB Buffers: 29824 kB Cached: 69544 kB SwapCached: 13784 kB Active: 75732 kB Inactive: 47928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864992 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 7696 kB Writeback: 0 kB Mapped: 31336 kB Slab: 52576 kB Committed_AS: 3178056 kB PageTables: 2012 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 node39 on Tue May 1 12:30:06 UTC 2007