Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -13 | 1800.3 | 1801.07 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb |
MD5SUM | 162153f0f0e5f8f2e587b9d579ee09dc |
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 | -136 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -136 |
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) | 12636 |
Sum of products size (including duplicates) | 25272 |
Number of different products | 6318 |
Sum of products size | 12636 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455355-1178041875/instance-455355-1178041875.opb 0.00/0.00 c File size is 192846 bytes. 0.03/0.08 c Highest Coefficient sum: 1000 0.03/0.08 c Parsing was ok!! 0.03/0.08 c Total parsing time: 0.078 s 0.09/0.10 c Var: 13636 Constr: 26774 13136/1002/12636 Lit: 91452 Watch. Lit: 77818 0.09/0.10 c Obj. Vars: 500 (3.66676 % of total variables) 6.99/7.03 c Pre-processing Time: 7.029 s 6.99/7.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.03 c 0 13636 26774 91452 3 77818 133245 0 0 7.03 6.99/7.03 c Switching off LPR mode. 6.99/7.06 o -1 7.06 6.99/7.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.09 c 0 13636 26775 91952 3 77821 133578 1 0 7.07 6.99/7.09 o -2 7.09 7.09/7.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.12 c 0 13636 26776 92452 3 77825 134078 2 0 7.10 7.09/7.12 o -3 7.121 7.09/7.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.15 c 0 13636 26777 92952 3 77830 134745 3 0 7.13 7.09/7.15 o -4 7.151 7.09/7.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.18 c 0 13636 26778 93452 3 77836 135578 4 0 7.16 7.09/7.18 o -5 7.18 7.18/7.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.21 c 0 13636 26779 93952 3 77843 136578 5 0 7.19 7.18/7.21 o -6 7.21 7.18/7.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.24 c 0 13636 26780 94452 3 77851 137578 6 0 7.22 7.18/7.24 o -7 7.24 7.18/7.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.27 c 0 13636 26781 94952 3 77860 138578 7 0 7.25 7.18/7.27 o -8 7.27 7.28/7.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.30 c 0 13636 26782 95452 3 77870 139578 8 0 7.28 7.28/7.30 o -9 7.3 7.28/7.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.33 c 0 13636 26783 95952 3 77881 140578 9 0 7.31 7.28/7.33 o -10 7.33 7.28/7.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.36 c 0 13636 26784 96452 3 77893 141578 10 0 7.34 7.28/7.36 o -11 7.36 7.38/7.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.42 c 0 13636 26785 96952 3 77906 142578 11 0 7.37 7.38/7.42 o -12 7.413 16.48/16.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.48/16.50 c 3 13636 26789 99069 3 77926 142578 15 0 7.42 16.48/16.50 c 103 13636 26889 153946 5 78126 156836 115 12 8.02 16.48/16.50 c 353 13636 27139 304856 11 78626 172520 365 36 9.65 16.48/16.50 c 828 13636 27614 611369 22 79576 189773 840 72 11.45 16.48/16.50 c 1641 13636 28427 1152792 40 81202 208751 1653 119 13.69 16.48/16.50 c 2961 13636 29747 2060066 69 83842 229627 2973 198 14.92 16.48/16.50 o -13 16.495 1799.92/1800.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.78 c 3969 13636 30756 2748914 89 85873 142578 3982 240 16.50 1799.92/1800.78 c 4069 13636 30856 2803923 90 86073 156836 4082 227 17.85 1799.92/1800.78 c 4319 13636 31106 2981417 95 86573 172520 4332 212 20.36 1799.92/1800.78 c 4794 13636 31581 3322012 105 87523 189773 4807 197 24.24 1799.92/1800.78 c 5607 13636 32394 3904272 120 89149 208751 5620 179 31.20 1799.92/1800.78 c 6927 13636 33714 4872125 144 91789 229627 6940 165 41.81 1799.92/1800.78 c 9008 13636 35795 6376341 178 95951 252590 9021 148 60.50 1799.92/1800.78 c 12231 13636 39018 8734433 223 102397 277850 12244 137 89.17 1799.92/1800.78 c 17167 13636 43954 12375307 281 112269 305636 17180 125 137.22 1799.92/1800.78 c 24673 13636 51460 17960910 349 127281 336200 24686 112 220.27 1799.92/1800.78 c 36034 13636 62821 26410003 420 150003 369821 36047 115 312.38 1799.92/1800.78 c 53178 13636 79965 39530893 494 184291 406804 53191 118 449.31 1799.92/1800.78 c 78997 13636 105784 59691698 564 235929 447485 79010 121 650.75 1799.92/1800.78 c 117829 13636 144616 92678521 640 313593 492234 117842 130 901.79 1799.92/1800.78 c 176181 13636 202968 135983698 669 430297 541458 176194 102 1725.17 1799.92/1800.78 c Resources Exceeded 1799.92/1800.78 v x1 -x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 1799.92/1800.78 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1799.92/1800.78 v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1799.92/1800.78 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1799.92/1800.78 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1799.92/1800.78 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1799.92/1800.78 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1799.92/1800.78 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1799.92/1800.78 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1799.92/1800.78 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1799.92/1800.78 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1799.92/1800.78 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1799.92/1800.78 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1799.92/1800.78 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1799.92/1800.78 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1799.92/1800.78 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1799.92/1800.78 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1799.92/1800.78 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1799.92/1800.78 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1799.92/1800.78 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1799.92/1800.78 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1799.92/1800.78 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1799.92/1800.78 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x884 -x887 -x778 -x916 -x794 -x836 1799.92/1800.78 v -x993 -x650 -x922 -x863 -x517 -x544 -x548 -x590 -x607 -x692 -x716 -x724 -x807 -x852 -x938 -x501 x528 x691 x560 x764 x927 -x541 1799.92/1800.78 v x673 x737 x712 -x869 x805 x999 -x502 -x568 -x930 -x783 -x531 -x624 -x636 -x803 -x523 -x559 -x566 -x626 -x754 -x757 -x835 -x898 1799.92/1800.78 v -x953 -x998 -x503 -x570 -x668 -x894 -x957 -x512 -x543 -x730 -x874 -x920 -x515 -x578 -x675 -x676 -x710 -x864 -x917 -x937 -x504 1799.92/1800.78 v -x785 -x538 -x699 -x825 -x816 -x871 -x914 -x527 -x592 -x981 -x540 -x549 -x720 -x893 -x896 -x505 -x671 -x997 -x782 -x806 -x926 1799.92/1800.78 v -x585 -x828 -x507 -x738 -x780 -x506 -x837 -x847 -x814 -x858 -x625 -x583 -x546 -x589 -x595 -x611 -x614 -x647 -x822 -x832 -x891 1799.92/1800.78 v -x815 -x868 -x935 -x865 -x751 -x588 -x809 -x777 -x679 -x524 -x771 -x802 -x879 -x975 -x508 -x789 -x904 -x652 -x755 -x900 -x933 1799.92/1800.78 v -x561 -x677 -x601 -x684 -x747 -x774 -x799 -x862 -x982 -x509 -x740 -x513 -x727 -x587 -x796 -x571 -x532 -x873 -x510 -x968 -x602 1799.92/1800.78 v -x598 -x903 -x818 -x653 -x781 -x631 -x722 -x965 -x511 -x787 -x942 -x866 -x690 -x945 -x620 -x941 -x520 -x613 -x639 -x708 -x744 1799.92/1800.78 v x618 x772 -x928 -x857 -x557 -x736 -x823 -x969 -x854 -x966 -x529 -x872 -x656 -x662 -x514 -x733 -x830 -x709 -x841 -x678 -x696 1799.92/1800.78 v -x739 -x767 -x810 -x876 -x797 -x619 -x746 -x952 -x556 -x880 -x989 -x638 -x682 -x516 -x765 -x729 -x842 -x851 -x694 -x535 -x915 1799.92/1800.78 v -x988 -x674 -x992 -x728 -x860 -x552 -x574 -x605 -x725 -x743 -x518 -x776 -x908 -x622 -x859 -x530 -x576 -x580 -x685 -x726 -x839 1799.92/1800.78 v -x519 -x819 -x929 -x644 -x905 -x944 -x640 -x539 -x629 -x689 -x870 -x707 -x731 -x521 -x918 -x971 -x991 -x1000 -x773 -x565 1799.92/1800.78 v -x567 -x597 -x954 -x522 -x645 -x591 -x955 -x670 -x526 -x734 -x853 -x698 -x856 -x849 -x612 -x623 -x829 -x800 -x553 -x666 -x702 1799.92/1800.78 v -x741 -x890 -x844 -x569 -x923 -x812 -x811 -x606 -x537 -x554 -x635 -x525 -x821 -x627 -x562 -x599 -x703 -x717 -x750 -x759 -x925 1799.92/1800.78 v -x563 -x683 -x897 -x551 -x572 -x974 -x632 -x882 -x547 -x867 -x932 -x979 -x931 -x934 -x895 -x661 -x664 -x700 -x603 -x646 -x669 1799.92/1800.78 v -x948 -x960 -x596 -x967 -x555 -x630 -x701 -x770 -x985 -x877 -x608 -x946 -x582 -x735 -x795 x889 -x994 -x680 -x919 -x888 -x913 1799.92/1800.78 v -x660 -x711 -x843 -x714 -x756 -x533 -x820 -x600 -x940 -x706 -x545 -x881 -x964 -x534 -x628 -x651 -x659 -x921 -x687 -x732 -x949 1799.92/1800.78 v -x793 -x973 -x886 -x723 -x617 -x536 -x641 -x899 -x542 -x579 -x995 -x748 -x861 -x643 -x885 -x615 -x962 -x827 -x760 -x846 -x581 1799.92/1800.78 v -x658 -x704 -x749 -x909 -x959 -x804 -x834 -x584 -x609 -x634 -x649 -x788 -x817 -x798 -x573 -x976 -x950 -x961 -x833 -x686 -x648 1799.92/1800.78 v -x667 -x779 -x840 -x693 -x550 -x786 -x901 -x972 -x790 -x892 -x762 -x594 -x604 -x558 -x813 -x831 -x902 -x963 -x947 -x768 -x791 1799.92/1800.78 v -x715 -x980 -x808 -x970 -x775 -x642 -x621 -x564 -x633 -x761 -x850 -x766 -x718 -x784 -x984 -x758 -x939 -x575 -x848 -x792 -x616 1799.92/1800.78 v -x826 -x719 -x978 -x672 -x745 -x912 -x951 -x655 -x681 -x721 -x742 -x753 -x977 -x990 -x956 -x769 -x883 -x983 -x577 -x657 -x987 1799.92/1800.78 v -x878 -x763 -x697 -x654 -x906 -x996 -x986 -x593 -x936 -x705 -x943 -x958 -x586 -x637 -x911 -x610 -x824 -x688 -x663 -x838 -x801 1799.92/1800.78 v -x855 -x665 -x845 -x910 -x713 -x752 -x875 -x907 -x695 -x924 1799.92/1800.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.78 c 32 184155 414 345375 210942 142334133 184168 102 1800.01 1799.92/1800.78 c Objective: -13 1799.92/1800.78 s SATISFIABLE 1799.92/1800.78 c Total time: 1800.01 s
OK -13
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-455355-1178041875 -o ROOT/results/node66/solver-455355-1178041875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455355-1178041875/instance-455355-1178041875.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.97 3/64 5626 /proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=11928 CPUtime=0 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 280177134 12214272 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 2982 335 281 324 0 2003 0 [startup+0.0371391 s] /proc/loadavg: 0.92 0.98 0.97 3/64 5626 /proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=5900 CPUtime=0.03 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 834 0 0 0 3 0 0 0 18 0 1 0 280177134 6041600 803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 1475 804 310 324 0 496 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5900 [startup+0.101151 s] /proc/loadavg: 0.92 0.98 0.97 3/64 5626 /proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=10772 CPUtime=0.09 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2111 0 0 0 9 0 0 0 18 0 1 0 280177134 11030528 2032 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 2693 2033 302 324 0 1762 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10772 [startup+0.30119 s] /proc/loadavg: 0.92 0.98 0.97 3/64 5626 /proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=11100 CPUtime=0.29 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2172 0 0 0 29 0 0 0 19 0 1 0 280177134 11366400 2093 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 2775 2093 306 324 0 1844 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11100 [startup+0.70127 s] /proc/loadavg: 0.92 0.98 0.97 3/64 5626 /proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=11100 CPUtime=0.69 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2173 0 0 0 69 0 0 0 22 0 1 0 280177134 11366400 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 2775 2094 306 324 0 1844 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11100 [startup+1.50143 s] /proc/loadavg: 0.92 0.98 0.97 2/65 5627 /proc/meminfo: memFree=1881376/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=11100 CPUtime=1.49 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2173 0 0 0 149 0 0 0 25 0 1 0 280177134 11366400 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 2775 2094 306 324 0 1844 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11100 [startup+3.10175 s] /proc/loadavg: 0.93 0.98 0.97 2/65 5627 /proc/meminfo: memFree=1881248/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=11100 CPUtime=3.09 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2173 0 0 0 309 0 0 0 25 0 1 0 280177134 11366400 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 2775 2094 306 324 0 1844 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11100 [startup+6.30138 s] /proc/loadavg: 0.93 0.98 0.97 2/65 5627 /proc/meminfo: memFree=1880928/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=11100 CPUtime=6.29 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2173 0 0 0 628 1 0 0 25 0 1 0 280177134 11366400 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 2775 2094 306 324 0 1844 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11100 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.97 2/65 5627 /proc/meminfo: memFree=1872544/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=21152 CPUtime=12.68 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 5155 0 0 0 1254 14 0 0 25 0 1 0 280177134 21659648 4648 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 5288 4648 313 324 0 4357 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21152 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.97 2/65 5627 /proc/meminfo: memFree=1837216/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=54892 CPUtime=25.48 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 13601 0 0 0 2528 20 0 0 25 0 1 0 280177134 56209408 13094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 13723 13094 313 324 0 12792 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54892 [startup+51.1013 s] /proc/loadavg: 1.03 1.00 0.98 2/65 5627 /proc/meminfo: memFree=1810016/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=82344 CPUtime=51.07 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 20457 0 0 0 5084 23 0 0 25 0 1 0 280177134 84320256 19950 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 20586 19950 313 324 0 19655 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 82344 [startup+102.306 s] /proc/loadavg: 1.07 1.02 0.98 2/65 5627 /proc/meminfo: memFree=1756320/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=135640 CPUtime=102.26 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 33789 0 0 0 10195 31 0 0 25 0 1 0 280177134 138895360 33282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 33910 33282 313 324 0 32979 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 135640 [startup+162.301 s] /proc/loadavg: 1.09 1.03 0.99 2/65 5627 /proc/meminfo: memFree=1700704/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=191424 CPUtime=162.23 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 47728 0 0 0 16181 42 0 0 25 0 1 0 280177134 196018176 47221 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 47856 47221 313 324 0 46925 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 191424 [startup+222.301 s] /proc/loadavg: 1.08 1.03 0.99 2/65 5627 /proc/meminfo: memFree=1649888/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=241840 CPUtime=222.2 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 60336 0 0 0 22170 50 0 0 25 0 1 0 280177134 247644160 59829 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10272484 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 60460 59829 313 324 0 59529 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 241840 [startup+282.301 s] /proc/loadavg: 1.03 1.03 0.99 2/65 5627 /proc/meminfo: memFree=1585312/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=306836 CPUtime=282.18 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 76586 0 0 0 28155 63 0 0 25 0 1 0 280177134 314200064 76079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 76709 76079 313 324 0 75778 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 306836 [startup+342.302 s] /proc/loadavg: 1.11 1.05 1.00 2/65 5627 /proc/meminfo: memFree=1502048/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=390444 CPUtime=342.16 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 97462 0 0 0 34139 77 0 0 25 0 1 0 280177134 399814656 96955 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 97611 96955 313 324 0 96680 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 390444 [startup+402.301 s] /proc/loadavg: 1.04 1.04 1.00 2/65 5627 /proc/meminfo: memFree=1427680/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=464548 CPUtime=402.14 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 115995 0 0 0 40126 88 0 0 25 0 1 0 280177134 475697152 115488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 116137 115488 313 324 0 115206 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 464548 [startup+462.301 s] /proc/loadavg: 1.01 1.03 1.00 2/65 5627 /proc/meminfo: memFree=1360672/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=530888 CPUtime=462.12 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 132575 0 0 0 46112 100 0 0 25 0 1 0 280177134 543629312 132068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 132722 132068 313 324 0 131791 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 530888 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5627 /proc/meminfo: memFree=1278496/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=613500 CPUtime=522.09 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 153235 0 0 0 52095 114 0 0 25 0 1 0 280177134 628224000 152728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572889 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 153375 152728 313 324 0 152444 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 613500 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5627 /proc/meminfo: memFree=1195360/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=695796 CPUtime=582.07 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 173804 0 0 0 58079 128 0 0 25 0 1 0 280177134 712495104 173297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 173949 173297 313 324 0 173018 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 695796 [startup+642.301 s] /proc/loadavg: 1.07 1.03 1.00 2/65 5825 /proc/meminfo: memFree=1127248/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=763124 CPUtime=641.96 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 190648 0 0 0 64056 140 0 0 25 0 1 0 280177134 781438976 190141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 190781 190141 313 324 0 189850 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 763124 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=721504/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1168448 CPUtime=881.86 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 291975 0 0 0 87979 207 0 0 25 0 1 0 280177134 1196490752 291468 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 292112 291468 313 324 0 291181 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 1168448 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=663200/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1226352 CPUtime=941.84 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 306450 0 0 0 93968 216 0 0 25 0 1 0 280177134 1255784448 305943 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 306588 305943 313 324 0 305657 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 1226352 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=632480/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1256972 CPUtime=1001.82 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 314093 0 0 0 99961 221 0 0 25 0 1 0 280177134 1287139328 313586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 314243 313586 313 324 0 313312 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 1256972 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=602208/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1287364 CPUtime=1061.79 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 321720 0 0 0 105953 226 0 0 25 0 1 0 280177134 1318260736 321213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 321841 321213 313 324 0 320910 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 1287364 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=567712/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1321656 CPUtime=1121.77 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 330275 0 0 0 111945 232 0 0 25 0 1 0 280177134 1353375744 329768 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 330414 329768 313 324 0 329483 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 1321656 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=524768/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1364764 CPUtime=1181.76 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 341068 0 0 0 117936 240 0 0 25 0 1 0 280177134 1397518336 340561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 341191 340561 313 324 0 340260 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 1364764 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=482848/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1406424 CPUtime=1241.73 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 351460 0 0 0 123927 246 0 0 25 0 1 0 280177134 1440178176 350953 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 351606 350953 313 324 0 350675 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 1406424 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=439840/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1449072 CPUtime=1301.71 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 362126 0 0 0 129917 254 0 0 25 0 1 0 280177134 1483849728 361619 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550959 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 362268 361619 313 324 0 361337 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 1449072 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=402656/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1486436 CPUtime=1361.69 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 371459 0 0 0 135908 261 0 0 25 0 1 0 280177134 1522110464 370952 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 371609 370952 313 324 0 370678 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 1486436 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=363424/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1525296 CPUtime=1421.66 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 381189 0 0 0 141899 267 0 0 25 0 1 0 280177134 1561903104 380682 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 381324 380682 313 324 0 380393 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 1525296 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=321504/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1567548 CPUtime=1481.63 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 391763 0 0 0 147889 274 0 0 25 0 1 0 280177134 1605169152 391256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 391887 391256 313 324 0 390956 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 1567548 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=280032/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1608592 CPUtime=1541.62 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 402008 0 0 0 153881 281 0 0 25 0 1 0 280177134 1647198208 401501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 402148 401501 313 324 0 401217 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 1608592 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=234912/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1654128 CPUtime=1601.6 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 413386 0 0 0 159871 289 0 0 25 0 1 0 280177134 1693827072 412879 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 413532 412879 313 324 0 412601 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 1654128 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=189664/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1698684 CPUtime=1661.57 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 424529 0 0 0 165860 297 0 0 25 0 1 0 280177134 1739452416 424022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 424671 424022 313 324 0 423740 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 1698684 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=137120/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1752024 CPUtime=1721.55 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 437862 0 0 0 171847 308 0 0 25 0 1 0 280177134 1794072576 437355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 438006 437355 313 324 0 437075 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 1752024 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=69152/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=1819300 CPUtime=1781.52 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 454686 0 0 0 177833 319 0 0 25 0 1 0 280177134 1862963200 454179 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 454825 454179 313 324 0 453894 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 1819300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=126688/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=0 CPUtime=1800.02 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194308 459449 0 0 0 179677 325 0 0 25 0 1 0 280177134 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 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.00 1.00 1.00 2/65 5825 /proc/meminfo: memFree=126688/2055920 swapFree=4183004/4192956 [pid=5626] ppid=5624 vsize=0 CPUtime=1800.21 /proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194308 459449 0 0 0 179677 344 0 0 25 0 1 0 280177134 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5626/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.07 CPU time (s): 1800.3 CPU user time (s): 1796.78 CPU system time (s): 3.51847 CPU usage (%): 99.957 Max. virtual memory (cumulated for all children) (KiB): 1838296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.78 system time used= 3.51846 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459449 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= 3284 runsolver used 1.34479 second user time and 3.62745 second system time The end
Begin job on node66 on Tue May 1 17:51:16 UTC 2007 IDJOB= 455355 IDBENCH= 48258 IDSOLVER= 163 FILE ID= node66/455355-1178041875 PBS_JOBID= 4728438 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455355-1178041875/instance-455355-1178041875.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-455355-1178041875 -o ROOT/results/node66/solver-455355-1178041875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455355-1178041875/instance-455355-1178041875.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc RANDOM SEED= 951334057 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1889024 kB Buffers: 21340 kB Cached: 70304 kB SwapCached: 3624 kB Active: 73988 kB Inactive: 29428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1889024 kB SwapTotal: 4192956 kB SwapFree: 4183004 kB Dirty: 6912 kB Writeback: 0 kB Mapped: 17532 kB Slab: 49568 kB Committed_AS: 4057428 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= 66558 MiB End job on node66 on Tue May 1 18:21:19 UTC 2007