Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -13 | 1800.35 | 1800.9 |
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.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/455361-1178041965/instance-455361-1178041965.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.08 s 0.08/0.10 c Var: 13636 Constr: 26774 13136/1002/12636 Lit: 91452 Watch. Lit: 77818 0.08/0.10 c Obj. Vars: 500 (3.66676 % of total variables) 7.08/7.10 c Pre-processing Time: 7.096 s 7.08/7.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.10 c 0 13636 26774 91452 3 77818 133245 0 0 7.10 7.08/7.10 c Switching off LPR mode. 7.08/7.12 o -1 7.117 7.08/7.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.14 c 0 13636 26775 91952 3 77821 133578 1 0 7.12 7.08/7.14 o -2 7.138 7.08/7.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.16 c 0 13636 26776 92452 3 77825 134078 2 0 7.14 7.08/7.16 o -3 7.158 7.08/7.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.18 c 0 13636 26777 92952 3 77830 134745 3 0 7.17 7.08/7.18 o -4 7.179 7.18/7.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.20 c 0 13636 26778 93452 3 77836 135578 4 0 7.18 7.18/7.20 o -5 7.2 7.18/7.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.22 c 0 13636 26779 93952 3 77843 136578 5 0 7.21 7.18/7.22 o -6 7.221 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.23 7.18/7.24 o -7 7.242 7.18/7.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.26 c 0 13636 26781 94952 3 77860 138578 7 0 7.25 7.18/7.26 o -8 7.262 7.18/7.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.29 c 0 13636 26782 95452 3 77870 139578 8 0 7.27 7.18/7.29 o -9 7.283 7.28/7.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.31 c 0 13636 26783 95952 3 77881 140578 9 0 7.29 7.28/7.31 o -10 7.305 7.28/7.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.33 c 0 13636 26784 96452 3 77893 141578 10 0 7.31 7.28/7.33 o -11 7.326 7.28/7.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.37 c 0 13636 26785 96952 3 77906 142578 11 0 7.33 7.28/7.37 o -12 7.37 16.29/16.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.29/16.40 c 3 13636 26789 99069 3 77926 142578 15 0 7.38 16.29/16.40 c 103 13636 26889 153946 5 78126 156836 115 12 7.98 16.29/16.40 c 353 13636 27139 304856 11 78626 172520 365 36 9.60 16.29/16.40 c 828 13636 27614 611369 22 79576 189773 840 72 11.38 16.29/16.40 c 1641 13636 28427 1152792 40 81202 208751 1653 120 13.61 16.29/16.40 c 2961 13636 29747 2060066 69 83842 229627 2973 199 14.83 16.29/16.40 o -13 16.393 1800.05/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.60 c 3969 13636 30756 2748914 89 85873 142578 3982 241 16.40 1800.05/1800.60 c 4069 13636 30856 2803923 90 86073 156836 4082 229 17.75 1800.05/1800.60 c 4319 13636 31106 2981417 95 86573 172520 4332 213 20.25 1800.05/1800.60 c 4794 13636 31581 3322012 105 87523 189773 4807 198 24.17 1800.05/1800.60 c 5607 13636 32394 3904272 120 89149 208751 5620 180 31.07 1800.05/1800.60 c 6927 13636 33714 4872125 144 91789 229627 6940 166 41.65 1800.05/1800.60 c 9008 13636 35795 6376341 178 95951 252590 9021 149 60.25 1800.05/1800.60 c 12231 13636 39018 8734433 223 102397 277850 12244 137 88.88 1800.05/1800.60 c 17167 13636 43954 12375307 281 112269 305636 17180 125 136.86 1800.05/1800.60 c 24673 13636 51460 17960910 349 127281 336200 24686 112 219.73 1800.05/1800.60 c 36034 13636 62821 26410003 420 150003 369821 36047 115 311.61 1800.05/1800.60 c 53178 13636 79965 39530893 494 184291 406804 53191 118 448.12 1800.05/1800.60 c 78997 13636 105784 59691698 564 235929 447485 79010 121 648.96 1800.05/1800.60 c 117829 13636 144616 92678521 640 313593 492234 117842 131 898.36 1800.05/1800.60 c 176181 13636 202968 135983698 669 430297 541458 176194 102 1720.57 1800.05/1800.60 c Caught signal: 15 1800.05/1800.60 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 1800.05/1800.60 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 1800.05/1800.60 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 1800.05/1800.60 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 1800.05/1800.60 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.05/1800.60 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.05/1800.60 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.05/1800.60 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.05/1800.60 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1800.05/1800.60 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1800.05/1800.60 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1800.05/1800.60 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.05/1800.60 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.05/1800.60 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1800.05/1800.60 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.05/1800.60 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1800.05/1800.60 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1800.05/1800.60 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.05/1800.60 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.05/1800.60 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.05/1800.60 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.05/1800.60 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.05/1800.60 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x884 -x887 -x778 -x916 -x794 -x836 1800.05/1800.60 v -x993 -x650 -x922 -x863 -x517 -x544 -x548 -x590 -x607 -x692 -x716 -x724 -x807 -x852 -x938 -x501 x528 x691 x560 x764 x927 -x541 1800.05/1800.60 v x673 x737 x712 -x869 x805 x999 -x502 -x568 -x930 -x783 -x531 -x624 -x636 -x803 -x523 -x559 -x566 -x626 -x754 -x757 -x835 -x898 1800.05/1800.60 v -x953 -x998 -x503 -x570 -x668 -x894 -x957 -x512 -x543 -x730 -x874 -x920 -x515 -x578 -x675 -x676 -x710 -x864 -x917 -x937 -x504 1800.05/1800.60 v -x785 -x538 -x699 -x825 -x816 -x871 -x914 -x527 -x592 -x981 -x540 -x549 -x720 -x893 -x896 -x505 -x671 -x997 -x782 -x806 -x926 1800.05/1800.60 v -x585 -x828 -x507 -x738 -x780 -x506 -x837 -x847 -x814 -x858 -x625 -x583 -x546 -x589 -x595 -x611 -x614 -x647 -x822 -x832 -x891 1800.05/1800.60 v -x815 -x868 -x935 -x865 -x751 -x588 -x809 -x777 -x679 -x524 -x771 -x802 -x879 -x975 -x508 -x789 -x904 -x652 -x755 -x900 -x933 1800.05/1800.60 v -x561 -x677 -x601 -x684 -x747 -x774 -x799 -x862 -x982 -x509 -x740 -x513 -x727 -x587 -x796 -x571 -x532 -x873 -x510 -x968 -x602 1800.05/1800.60 v -x598 -x903 -x818 -x653 -x781 -x631 -x722 -x965 -x511 -x787 -x942 -x866 -x690 -x945 -x620 -x941 -x520 -x613 -x639 -x708 -x744 1800.05/1800.60 v x618 x772 -x928 -x857 -x557 -x736 -x823 -x969 -x854 -x966 -x529 -x872 -x656 -x662 -x514 -x733 -x830 -x709 -x841 -x678 -x696 1800.05/1800.60 v -x739 -x767 -x810 -x876 -x797 -x619 -x746 -x952 -x556 -x880 -x989 -x638 -x682 -x516 -x765 -x729 -x842 -x851 -x694 -x535 -x915 1800.05/1800.60 v -x988 -x674 -x992 -x728 -x860 -x552 -x574 -x605 -x725 -x743 -x518 -x776 -x908 -x622 -x859 -x530 -x576 -x580 -x685 -x726 -x839 1800.05/1800.60 v -x519 -x819 -x929 -x644 -x905 -x944 -x640 -x539 -x629 -x689 -x870 -x707 -x731 -x521 -x918 -x971 -x991 -x1000 -x773 -x565 1800.05/1800.60 v -x567 -x597 -x954 -x522 -x645 -x591 -x955 -x670 -x526 -x734 -x853 -x698 -x856 -x849 -x612 -x623 -x829 -x800 -x553 -x666 -x702 1800.05/1800.60 v -x741 -x890 -x844 -x569 -x923 -x812 -x811 -x606 -x537 -x554 -x635 -x525 -x821 -x627 -x562 -x599 -x703 -x717 -x750 -x759 -x925 1800.05/1800.60 v -x563 -x683 -x897 -x551 -x572 -x974 -x632 -x882 -x547 -x867 -x932 -x979 -x931 -x934 -x895 -x661 -x664 -x700 -x603 -x646 -x669 1800.05/1800.60 v -x948 -x960 -x596 -x967 -x555 -x630 -x701 -x770 -x985 -x877 -x608 -x946 -x582 -x735 -x795 x889 -x994 -x680 -x919 -x888 -x913 1800.05/1800.60 v -x660 -x711 -x843 -x714 -x756 -x533 -x820 -x600 -x940 -x706 -x545 -x881 -x964 -x534 -x628 -x651 -x659 -x921 -x687 -x732 -x949 1800.05/1800.60 v -x793 -x973 -x886 -x723 -x617 -x536 -x641 -x899 -x542 -x579 -x995 -x748 -x861 -x643 -x885 -x615 -x962 -x827 -x760 -x846 -x581 1800.05/1800.60 v -x658 -x704 -x749 -x909 -x959 -x804 -x834 -x584 -x609 -x634 -x649 -x788 -x817 -x798 -x573 -x976 -x950 -x961 -x833 -x686 -x648 1800.05/1800.60 v -x667 -x779 -x840 -x693 -x550 -x786 -x901 -x972 -x790 -x892 -x762 -x594 -x604 -x558 -x813 -x831 -x902 -x963 -x947 -x768 -x791 1800.05/1800.60 v -x715 -x980 -x808 -x970 -x775 -x642 -x621 -x564 -x633 -x761 -x850 -x766 -x718 -x784 -x984 -x758 -x939 -x575 -x848 -x792 -x616 1800.05/1800.60 v -x826 -x719 -x978 -x672 -x745 -x912 -x951 -x655 -x681 -x721 -x742 -x753 -x977 -x990 -x956 -x769 -x883 -x983 -x577 -x657 -x987 1800.05/1800.60 v -x878 -x763 -x697 -x654 -x906 -x996 -x986 -x593 -x936 -x705 -x943 -x958 -x586 -x637 -x911 -x610 -x824 -x688 -x663 -x838 -x801 1800.05/1800.60 v -x855 -x665 -x845 -x910 -x713 -x752 -x875 -x907 -x695 -x924 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 32 184579 414 345800 211366 142672954 184592 102 1800.06 1800.05/1800.61 c Objective: -13 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 c Total time: 1800.06 s
OK -13
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-455361-1178041965 -o ROOT/results/node26/solver-455361-1178041965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455361-1178041965/instance-455361-1178041965.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.99 0.99 3/77 1533 /proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=11928 CPUtime=0 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 252113327 12214272 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 2982 334 279 324 0 2004 0 [startup+0.0370991 s] /proc/loadavg: 0.92 0.99 0.99 3/77 1533 /proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=5900 CPUtime=0.03 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 818 0 0 0 3 0 0 0 18 0 1 0 252113327 6041600 788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 1475 789 307 324 0 497 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5900 [startup+0.101115 s] /proc/loadavg: 0.92 0.99 0.99 3/77 1533 /proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=10376 CPUtime=0.08 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2012 0 0 0 8 0 0 0 18 0 1 0 252113327 10625024 1934 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 2594 1935 300 324 0 1664 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10376 [startup+0.301122 s] /proc/loadavg: 0.92 0.99 0.99 3/77 1533 /proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=11100 CPUtime=0.29 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2169 0 0 0 28 1 0 0 19 0 1 0 252113327 11366400 2091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 2775 2091 304 324 0 1845 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11100 [startup+0.701159 s] /proc/loadavg: 0.92 0.99 0.99 3/77 1533 /proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=11100 CPUtime=0.69 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2170 0 0 0 68 1 0 0 23 0 1 0 252113327 11366400 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 2775 2092 304 324 0 1845 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11100 [startup+1.50123 s] /proc/loadavg: 0.92 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1776504/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=11100 CPUtime=1.49 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2170 0 0 0 148 1 0 0 25 0 1 0 252113327 11366400 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 2775 2092 304 324 0 1845 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11100 [startup+3.10138 s] /proc/loadavg: 0.93 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1776120/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=11100 CPUtime=3.09 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2170 0 0 0 308 1 0 0 25 0 1 0 252113327 11366400 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 2775 2092 304 324 0 1845 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11100 [startup+6.30168 s] /proc/loadavg: 0.93 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1776120/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=11100 CPUtime=6.29 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2170 0 0 0 628 1 0 0 25 0 1 0 252113327 11366400 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 2775 2092 304 324 0 1845 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11100 [startup+12.7013 s] /proc/loadavg: 0.94 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1767496/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=21280 CPUtime=12.69 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 5193 0 0 0 1263 6 0 0 25 0 1 0 252113327 21790720 4687 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 5320 4687 311 324 0 4390 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21280 [startup+25.5025 s] /proc/loadavg: 0.95 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1732552/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=55020 CPUtime=25.49 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 13609 0 0 0 2539 10 0 0 25 0 1 0 252113327 56340480 13103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 13755 13103 311 324 0 12825 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 55020 [startup+51.1018 s] /proc/loadavg: 0.96 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1705288/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=82472 CPUtime=51.07 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 20482 0 0 0 5093 14 0 0 25 0 1 0 252113327 84451328 19976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 20618 19976 311 324 0 19688 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 82472 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1651400/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=136012 CPUtime=102.25 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 33860 0 0 0 10204 21 0 0 25 0 1 0 252113327 139276288 33354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 34003 33354 311 324 0 33073 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 136012 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1595912/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=191676 CPUtime=162.24 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 47791 0 0 0 16193 31 0 0 25 0 1 0 252113327 196276224 47285 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 47919 47285 311 324 0 46989 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 191676 [startup+222.303 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1545032/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=242216 CPUtime=222.23 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 60402 0 0 0 22184 39 0 0 25 0 1 0 252113327 248029184 59896 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 60554 59896 311 324 0 59624 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 242216 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1480136/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=307716 CPUtime=282.21 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 76776 0 0 0 28171 50 0 0 25 0 1 0 252113327 315101184 76270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 76929 76270 311 324 0 75999 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 307716 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 3/78 1534 /proc/meminfo: memFree=1396040/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=390948 CPUtime=342.19 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 97588 0 0 0 34158 61 0 0 25 0 1 0 252113327 400330752 97082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 97737 97082 311 324 0 96807 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 390948 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1321864/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=466416 CPUtime=402.18 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 116469 0 0 0 40147 71 0 0 25 0 1 0 252113327 477609984 115963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 116604 115963 311 324 0 115674 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 466416 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1534 /proc/meminfo: memFree=1254024/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=532760 CPUtime=462.16 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 133056 0 0 0 46135 81 0 0 25 0 1 0 252113327 545546240 132550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 133190 132550 311 324 0 132260 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 532760 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/84 1672 /proc/meminfo: memFree=1170880/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=616116 CPUtime=522.08 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 153878 0 0 0 52114 94 0 0 25 0 1 0 252113327 630902784 153372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 154029 153372 311 324 0 153099 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 616116 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=1088392/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=698048 CPUtime=582.04 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 174368 0 0 0 58097 107 0 0 25 0 1 0 252113327 714801152 173862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 174512 173862 311 324 0 173582 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 698048 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=1019912/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=766004 CPUtime=642.03 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 191376 0 0 0 64087 116 0 0 25 0 1 0 252113327 784388096 190870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 191501 190870 311 324 0 190571 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 766004 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=607944/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1177564 CPUtime=881.97 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 294260 0 0 0 88024 173 0 0 25 0 1 0 252113327 1205825536 293754 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550777 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 294391 293754 311 324 0 293461 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 1177564 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=558088/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1227244 CPUtime=941.95 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 306669 0 0 0 94015 180 0 0 25 0 1 0 252113327 1256697856 306163 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 306811 306163 311 324 0 305881 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1227244 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=526664/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1258480 CPUtime=1001.94 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 314487 0 0 0 100008 186 0 0 25 0 1 0 252113327 1288683520 313981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 314620 313981 311 324 0 313690 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 1258480 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=496520/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1288872 CPUtime=1061.93 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 322066 0 0 0 106003 190 0 0 25 0 1 0 252113327 1319804928 321560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 322218 321560 311 324 0 321288 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 1288872 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=459976/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1325056 CPUtime=1121.91 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 331121 0 0 0 111995 196 0 0 25 0 1 0 252113327 1356857344 330615 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 331264 330615 311 324 0 330334 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1325056 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=417416/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1368032 CPUtime=1181.89 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 341858 0 0 0 117986 203 0 0 25 0 1 0 252113327 1400864768 341352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 342008 341352 311 324 0 341078 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1368032 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=375368/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1409824 CPUtime=1241.87 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 352324 0 0 0 123977 210 0 0 25 0 1 0 252113327 1443659776 351818 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 352456 351818 311 324 0 351526 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1409824 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=332872/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1451720 CPUtime=1301.87 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 362801 0 0 0 129969 218 0 0 25 0 1 0 252113327 1486561280 362295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 362930 362295 311 324 0 362000 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1451720 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=295368/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1489452 CPUtime=1361.85 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 372223 0 0 0 135962 223 0 0 25 0 1 0 252113327 1525198848 371717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 372363 371717 311 324 0 371433 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1489452 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=255048/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1529724 CPUtime=1421.83 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 382297 0 0 0 141954 229 0 0 25 0 1 0 252113327 1566437376 381791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 382431 381791 311 324 0 381501 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1529724 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=214280/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1570576 CPUtime=1481.82 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 392491 0 0 0 147946 236 0 0 25 0 1 0 252113327 1608269824 391985 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 392644 391985 311 324 0 391714 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1570576 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=172488/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1612120 CPUtime=1541.81 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 402877 0 0 0 153937 244 0 0 25 0 1 0 252113327 1650810880 402371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 403030 402371 311 324 0 402100 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1612120 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=127432/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1657420 CPUtime=1601.8 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 414223 0 0 0 159930 250 0 0 25 0 1 0 252113327 1697198080 413717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 414355 413717 311 324 0 413425 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1657420 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=82824/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1701852 CPUtime=1661.78 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 425323 0 0 0 165922 256 0 0 25 0 1 0 252113327 1742696448 424817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 425463 424817 311 324 0 424533 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1701852 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 1737 /proc/meminfo: memFree=26888/2055920 swapFree=4170240/4192956 [pid=1533] ppid=1531 vsize=1757712 CPUtime=1721.76 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 439298 0 0 0 171913 263 0 0 25 0 1 0 252113327 1799897088 438792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 439428 438792 311 324 0 438498 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1757712 [startup+1782.3 s] /proc/loadavg: 1.07 1.01 1.00 2/78 1737 /proc/meminfo: memFree=16200/2055920 swapFree=4170204/4192956 [pid=1533] ppid=1531 vsize=1824596 CPUtime=1781.74 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 456018 0 0 0 177901 273 0 0 25 0 1 0 252113327 1868386304 455512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 456149 455512 311 324 0 455219 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1824596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.06 1.01 1.00 2/78 1737 /proc/meminfo: memFree=15496/2055920 swapFree=4170208/4192956 [pid=1533] ppid=1531 vsize=1842656 CPUtime=1800.05 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 460533 0 0 0 179729 276 0 0 25 0 1 0 252113327 1886879744 460027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 460664 460027 311 324 0 459734 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1842656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.06 1.01 1.00 2/78 1737 /proc/meminfo: memFree=15496/2055920 swapFree=4170208/4192956 [pid=1533] ppid=1531 vsize=0 CPUtime=1800.24 /proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194308 460537 0 0 0 179729 295 0 0 25 0 1 0 252113327 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/1533/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.9 CPU time (s): 1800.35 CPU user time (s): 1797.29 CPU system time (s): 3.05653 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 1842656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.29 system time used= 3.05653 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460537 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= 29841 runsolver used 1.37379 second user time and 3.89041 second system time The end
Begin job on node26 on Tue May 1 17:52:45 UTC 2007 IDJOB= 455361 IDBENCH= 48258 IDSOLVER= 199 FILE ID= node26/455361-1178041965 PBS_JOBID= 4728408 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455361-1178041965/instance-455361-1178041965.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-455361-1178041965 -o ROOT/results/node26/solver-455361-1178041965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455361-1178041965/instance-455361-1178041965.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc RANDOM SEED= 262682046 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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.213 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.213 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: 1784160 kB Buffers: 55728 kB Cached: 119492 kB SwapCached: 3416 kB Active: 121160 kB Inactive: 83832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1784160 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 6772 kB Writeback: 0 kB Mapped: 35908 kB Slab: 52412 kB Committed_AS: 2471532 kB PageTables: 1728 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 node26 on Tue May 1 18:22:48 UTC 2007