Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -16 | 1800.27 | 1800.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_2.opb |
MD5SUM | 493eec42e81abed935f584a4e365015a |
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 | -84 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -84 |
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) | 31340 |
Sum of products size (including duplicates) | 62680 |
Number of different products | 15670 |
Sum of products size | 31340 |
0.00/0.03 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.03 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.03 c type "bsolo -h" for help 0.00/0.03 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Time Limit set to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/455010-1178035349/instance-455010-1178035349.opb 0.00/0.03 c File size is 431169 bytes. 0.17/0.21 c Highest Coefficient sum: 1000 0.17/0.21 c Parsing was ok!! 0.17/0.21 c Total parsing time: 0.189 s 0.17/0.27 c Var: 32340 Constr: 64182 31840/1002/31340 Lit: 222380 Watch. Lit: 190042 0.17/0.27 c Obj. Vars: 500 (1.54607 % of total variables) 180.23/180.32 c Pre-processing Time: 180.249 s 180.23/180.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.23/180.32 c 0 32340 64182 222380 3 190042 525974 0 0 180.25 180.23/180.32 c Switching off LPR mode. 180.23/180.38 o -1 180.313 180.32/180.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.32/180.46 c 0 32340 64183 222880 3 190045 526308 1 0 180.33 180.32/180.46 o -2 180.394 180.42/180.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.42/180.55 c 0 32340 64184 223380 3 190049 526808 2 0 180.41 180.42/180.55 o -3 180.475 180.52/180.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.52/180.63 c 0 32340 64185 223880 3 190054 527474 3 0 180.49 180.52/180.63 o -4 180.557 180.62/180.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.62/180.71 c 0 32340 64186 224380 3 190060 528308 4 0 180.57 180.62/180.71 o -5 180.639 180.62/180.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.62/180.79 c 0 32340 64187 224880 3 190067 529308 5 0 180.65 180.62/180.79 o -6 180.721 180.72/180.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.72/180.87 c 0 32340 64188 225380 3 190075 530308 6 0 180.74 180.72/180.87 o -7 180.802 180.82/180.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.82/180.95 c 0 32340 64189 225880 3 190084 531308 7 0 180.82 180.82/180.95 o -8 180.884 180.92/181.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.92/181.04 c 0 32340 64190 226380 3 190094 532308 8 0 180.90 180.92/181.04 o -9 180.966 181.03/181.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.03/181.12 c 0 32340 64191 226880 3 190105 533308 9 0 180.98 181.03/181.12 o -10 181.048 181.12/181.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.12/181.20 c 0 32340 64192 227380 3 190117 534308 10 0 181.06 181.12/181.20 o -11 181.129 181.12/181.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.12/181.28 c 0 32340 64193 227880 3 190130 535308 11 0 181.15 181.12/181.28 o -12 181.211 181.23/181.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.23/181.36 c 0 32340 64194 228380 3 190144 536308 12 0 181.23 181.23/181.36 o -13 181.292 181.32/181.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.32/181.44 c 0 32340 64195 228880 3 190159 537308 13 0 181.31 181.32/181.44 o -14 181.373 181.42/181.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.42/181.57 c 0 32340 64196 229380 3 190175 538308 14 0 181.39 181.42/181.57 o -15 181.5 197.71/197.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 197.71/197.85 c 4 32340 64201 232205 3 190200 538308 19 0 181.52 197.71/197.85 c 104 32340 64301 291063 4 190400 592139 119 0 182.65 197.71/197.85 c 354 32340 64551 445662 6 190900 651353 369 1 185.29 197.71/197.85 c 829 32340 65026 747859 11 191850 716489 844 4 189.86 197.71/197.85 c 1642 32340 65839 1301695 19 193476 788138 1657 8 194.96 197.71/197.85 o -16 197.777 1799.92/1800.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.48 c 2609 32340 66807 2121048 31 195428 538308 2625 13 197.80 1799.92/1800.48 c 2709 32340 66907 2171051 32 195628 592139 2725 13 198.67 1799.92/1800.48 c 2959 32340 67157 2296062 34 196128 651353 2975 14 199.84 1799.92/1800.48 c 3434 32340 67632 2577649 38 197078 716489 3450 16 204.76 1799.92/1800.48 c 4247 32340 68445 3105967 45 198704 788138 4263 19 213.23 1799.92/1800.48 c 5567 32340 69765 3974920 56 201344 866952 5583 24 224.96 1799.92/1800.48 c 7648 32340 71846 5304761 73 205506 953648 7664 31 241.83 1799.92/1800.48 c 10871 32340 75069 7415926 98 211952 500000 10887 40 269.54 1799.92/1800.48 c 15807 32340 80005 10661594 133 221824 550001 15823 48 322.84 1799.92/1800.48 c 23313 32340 87511 15760218 180 236836 605002 23329 60 388.15 1799.92/1800.48 c 34674 32340 98872 23504139 237 259558 665503 34690 71 484.53 1799.92/1800.48 c 51818 32340 116016 34845017 300 293846 732054 51834 85 605.46 1799.92/1800.48 c 77637 32340 141835 52689258 371 345484 805260 77653 100 773.88 1799.92/1800.48 c 116469 32340 180667 78749822 435 423148 885787 116485 112 1039.79 1799.92/1800.48 c 174821 32340 239019 117505835 491 539852 974366 174837 106 1648.34 1799.92/1800.48 c Resources Exceeded 1799.92/1800.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 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.48 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x791 -x720 -x789 -x576 -x562 -x999 1799.92/1800.48 v -x865 -x778 -x746 -x628 -x843 -x680 -x650 -x594 -x538 -x550 -x655 -x774 -x868 -x731 -x503 -x573 -x570 -x816 -x768 -x519 -x578 1799.92/1800.48 v -x601 -x606 -x610 -x625 -x629 -x644 -x727 -x769 -x796 -x837 -x851 -x888 -x926 -x931 -x945 -x957 -x959 -x501 x892 -x711 x631 1799.92/1800.48 v x797 x564 -x514 x587 x783 x803 x662 -x697 -x653 x878 -x974 x898 -x858 x668 x929 -x507 -x761 -x966 -x557 -x915 x591 -x776 -x512 1799.92/1800.48 v -x541 -x546 x560 x561 -x574 -x588 -x673 -x728 -x738 -x810 -x812 -x828 -x869 -x885 -x947 -x502 -x645 -x946 -x700 -x567 -x967 1799.92/1800.48 v -x824 -x949 -x887 -x963 -x544 -x522 -x617 -x718 -x787 -x691 -x518 -x526 -x589 -x623 -x671 -x683 -x753 -x755 -x798 -x820 -x829 1799.92/1800.48 v -x971 -x763 -x558 -x705 -x686 -x734 -x800 -x704 -x961 -x938 -x652 -x918 -x582 -x870 -x766 -x702 -x656 -x809 -x719 -x551 -x575 1799.92/1800.48 v -x602 -x630 -x712 -x744 -x799 -x891 -x920 -x504 -x516 -x989 -x710 -x983 -x747 -x984 -x598 -x924 -x535 -x690 -x693 -x506 -x907 1799.92/1800.48 v -x875 -x521 -x524 -x532 -x539 -x572 -x595 -x642 -x678 -x839 -x876 -x916 -x505 -x882 -x833 -x861 -x831 -x988 -x638 -x580 -x823 1799.92/1800.48 v -x973 -x542 -x921 -x510 -x817 -x807 -x699 -x517 -x545 -x605 -x681 -x752 -x775 -x813 -x899 -x960 -x706 -x867 -x646 -x741 -x622 1799.92/1800.48 v -x632 -x982 -x835 -x732 -x579 -x792 -x571 -x568 -x723 -x893 -x540 -x548 -x661 -x672 -x679 -x688 -x757 -x836 -x922 -x941 -x969 1799.92/1800.48 v -x665 -x785 -x972 -x600 -x840 -x657 -x615 -x802 -x914 -x725 -x897 -x939 -x729 -x730 -x754 -x748 -x520 -x627 -x651 -x654 -x659 1799.92/1800.48 v -x714 -x759 -x881 -x883 -x993 -x508 -x670 -x709 -x620 -x736 -x902 -x666 -x742 -x758 -x677 -x708 -x911 -x781 -x857 -x586 -x658 1799.92/1800.48 v -x511 -x515 -x649 -x663 -x968 -x509 -x749 -x927 -x841 -x955 -x772 -x827 -x904 -x844 -x513 -x826 -x923 -x640 -x676 -x765 -x793 1799.92/1800.48 v -x852 -x913 -x987 -x767 -x619 -x533 -x788 -x643 -x942 -x950 -x596 -x565 -x863 -x990 -x890 -x534 -x636 -x896 -x930 -x944 -x996 1799.92/1800.48 v -x786 -x994 -x530 -x952 -x853 -x985 -x978 -x722 -x698 -x593 -x599 -x733 -x739 -x856 -x937 -x618 -x777 -x597 -x581 -x818 -x934 1799.92/1800.48 v -x611 -x675 -x674 -x717 -x750 -x773 -x808 -x822 -x928 -x849 -x556 -x981 -x804 -x932 -x590 -x692 -x850 -x624 -x543 -x735 -x647 1799.92/1800.48 v -x847 -x903 -x917 -x737 -x905 -x559 -x694 -x713 -x779 -x900 -x948 -x669 -x616 -x756 -x873 -x609 -x607 -x536 -x577 -x584 -x716 1799.92/1800.48 v -x745 -x687 -x637 -x956 -x626 -x780 -x848 -x919 -x621 -x523 -x547 -x553 -x815 -x721 -x958 -x689 -x814 -x879 -x970 -x954 -x795 1799.92/1800.48 v -x592 -x634 -x529 -x859 -x860 -x936 -x608 -x953 -x855 -x604 -x525 -x528 -x555 -x583 -x790 -x908 -x912 -x874 -x866 -x695 -x554 1799.92/1800.48 v -x975 -x998 -x901 -x527 -x819 -x760 -x794 -x614 -x566 -x740 -x965 -x943 -x549 -x825 -x872 -x933 -x552 -x762 -x877 -x845 -x635 1799.92/1800.48 v -x743 -x830 -x641 -x660 -x806 -x864 -x682 -x801 -x834 -x537 -x648 -x770 -x980 -x986 -x664 -x805 -x862 -x880 -x612 -x935 -x696 1799.92/1800.48 v -x979 -x995 -x832 -x784 -x563 -x889 -x940 -x1000 -x925 -x909 -x821 -x685 -x910 -x531 -x846 -x977 -x842 -x639 -x751 -x838 1799.92/1800.48 v -x782 -x569 -x613 -x603 -x726 -x707 -x701 -x684 -x811 -x906 -x633 -x991 -x771 -x964 -x962 -x764 -x997 -x724 -x992 -x884 -x951 1799.92/1800.48 v x894 -x585 -x667 -x854 -x895 -x715 -x703 -x976 -x871 -x886 1799.92/1800.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.48 c 34 193155 515 635810 257353 130949943 193171 107 1800.00 1799.92/1800.48 c Objective: -16 1799.92/1800.48 s SATISFIABLE 1799.92/1800.48 c Total time: 1800 s
OK -16
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-455010-1178035349 -o ROOT/results/node12/solver-455010-1178035349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455010-1178035349/instance-455010-1178035349.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.14 1.02 1.00 3/77 23407 /proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=18528 CPUtime=0 /proc/23407/stat : 23407 (runsolver) D 23405 23407 23002 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 279572254 18972672 284 18446744073709551615 4194304 4255128 548682068960 18446744073709551615 252429528359 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/23407/statm: 4632 284 249 14 0 2626 0 [startup+0.104374 s] /proc/loadavg: 1.14 1.02 1.00 3/77 23407 /proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=8552 CPUtime=0.07 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 1445 0 0 0 7 0 0 0 18 0 1 0 279572254 8757248 1414 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 2138 1416 333 324 0 1101 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8552 [startup+0.201382 s] /proc/loadavg: 1.14 1.02 1.00 3/77 23407 /proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=13448 CPUtime=0.17 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 2777 0 0 0 16 1 0 0 18 0 1 0 279572254 13770752 2706 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 3362 2707 385 324 0 2325 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 13448 [startup+0.301393 s] /proc/loadavg: 1.14 1.02 1.00 3/77 23407 /proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21036 CPUtime=0.27 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4701 0 0 0 25 2 0 0 19 0 1 0 279572254 21540864 4524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5259 4524 307 324 0 4328 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 21036 [startup+0.701432 s] /proc/loadavg: 1.14 1.02 1.00 3/77 23407 /proc/meminfo: memFree=1854608/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21168 CPUtime=0.67 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4737 0 0 0 65 2 0 0 23 0 1 0 279572254 21676032 4560 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10129448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5292 4560 307 324 0 4361 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 21168 [startup+1.50151 s] /proc/loadavg: 1.13 1.02 1.00 2/78 23408 /proc/meminfo: memFree=1837384/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21168 CPUtime=1.47 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 145 2 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5292 4561 307 324 0 4361 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 21168 [startup+3.10167 s] /proc/loadavg: 1.13 1.02 1.00 2/78 23408 /proc/meminfo: memFree=1837320/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21168 CPUtime=3.07 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 305 2 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5292 4561 307 324 0 4361 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 21168 [startup+6.30299 s] /proc/loadavg: 1.12 1.02 1.00 2/78 23408 /proc/meminfo: memFree=1837200/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21168 CPUtime=6.27 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 625 2 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550903 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5292 4561 307 324 0 4361 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 21168 [startup+12.7016 s] /proc/loadavg: 1.11 1.02 1.00 2/78 23408 /proc/meminfo: memFree=1837336/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21168 CPUtime=12.66 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 1264 2 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5292 4561 307 324 0 4361 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 21168 [startup+25.5019 s] /proc/loadavg: 1.08 1.02 1.00 2/78 23408 /proc/meminfo: memFree=1837528/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21168 CPUtime=25.46 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 2543 3 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10125381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5292 4561 307 324 0 4361 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 21168 [startup+51.1015 s] /proc/loadavg: 1.06 1.01 1.00 2/78 23408 /proc/meminfo: memFree=1837592/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21168 CPUtime=51.05 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 5101 4 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550813 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5292 4561 307 324 0 4361 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 21168 [startup+102.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 23408 /proc/meminfo: memFree=1837720/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21168 CPUtime=102.24 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 10217 7 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5292 4561 307 324 0 4361 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 21168 [startup+162.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 23408 /proc/meminfo: memFree=1837720/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=21168 CPUtime=162.22 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 4738 0 0 0 16212 10 0 0 25 0 1 0 279572254 21676032 4561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550801 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 5292 4561 307 324 0 4361 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 21168 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=1792024/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=66600 CPUtime=222.22 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 16220 0 0 0 22179 43 0 0 25 0 1 0 279572254 68198400 15979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 16650 15979 313 324 0 15719 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 66600 [startup+282.302 s] /proc/loadavg: 1.07 1.02 1.00 2/78 23408 /proc/meminfo: memFree=1733720/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=124832 CPUtime=282.2 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 30784 0 0 0 28165 55 0 0 25 0 1 0 279572254 127827968 30543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 31208 30543 313 324 0 30277 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 124832 [startup+342.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 23408 /proc/meminfo: memFree=1686936/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=171416 CPUtime=342.18 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 42419 0 0 0 34154 64 0 0 25 0 1 0 279572254 175529984 42178 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 42854 42178 313 324 0 41923 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 171416 [startup+402.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 23408 /proc/meminfo: memFree=1623064/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=235624 CPUtime=402.17 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 58458 0 0 0 40141 76 0 0 25 0 1 0 279572254 241278976 58217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 58906 58217 313 324 0 57975 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 235624 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=1562264/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=295960 CPUtime=462.15 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 73557 0 0 0 46129 86 0 0 25 0 1 0 279572254 303063040 73316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 73990 73316 313 324 0 73059 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 295960 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=1494616/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=365196 CPUtime=522.14 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 90869 0 0 0 52114 100 0 0 25 0 1 0 279572254 373960704 90628 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 91299 90628 313 324 0 90368 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 365196 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=1418200/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=440616 CPUtime=582.12 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 109725 0 0 0 58101 111 0 0 25 0 1 0 279572254 451190784 109484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 110154 109484 313 324 0 109223 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 440616 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=1343384/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=514964 CPUtime=642.1 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 128296 0 0 0 64083 127 0 0 25 0 1 0 279572254 527323136 128055 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 128741 128055 313 324 0 127810 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 514964 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=972056/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=884932 CPUtime=882.05 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 220797 0 0 0 88011 194 0 0 25 0 1 0 279572254 906170368 220556 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 221233 220556 313 324 0 220302 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 884932 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=884120/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=972548 CPUtime=942.04 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 242697 0 0 0 93994 210 0 0 25 0 1 0 279572254 995889152 242456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 243137 242456 313 324 0 242206 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 972548 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=849304/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1007212 CPUtime=1002.02 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 251353 0 0 0 99985 217 0 0 25 0 1 0 279572254 1031385088 251112 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 251803 251112 313 324 0 250872 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1007212 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=808792/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1047892 CPUtime=1062 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 261525 0 0 0 105976 224 0 0 25 0 1 0 279572254 1073041408 261284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 261973 261284 313 324 0 261042 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1047892 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=768920/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1087832 CPUtime=1121.98 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 271514 0 0 0 111967 231 0 0 25 0 1 0 279572254 1113939968 271273 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 271958 271273 313 324 0 271027 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1087832 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=731096/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1125324 CPUtime=1181.97 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 280897 0 0 0 117959 238 0 0 25 0 1 0 279572254 1152331776 280656 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 281331 280656 313 324 0 280400 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1125324 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=692696/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1163932 CPUtime=1241.95 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 290556 0 0 0 123950 245 0 0 25 0 1 0 279572254 1191866368 290315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 290983 290315 313 324 0 290052 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1163932 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=649752/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1206544 CPUtime=1301.94 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 301193 0 0 0 129939 255 0 0 25 0 1 0 279572254 1235501056 300952 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 301636 300952 313 324 0 300705 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1206544 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=597080/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1259044 CPUtime=1361.92 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 314323 0 0 0 135927 265 0 0 25 0 1 0 279572254 1289261056 314082 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 314761 314082 313 324 0 313830 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1259044 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=540376/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1315320 CPUtime=1421.91 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 328387 0 0 0 141914 277 0 0 25 0 1 0 279572254 1346887680 328146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551510 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 328830 328146 313 324 0 327899 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1315320 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=488088/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1367892 CPUtime=1481.89 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 341552 0 0 0 147901 288 0 0 25 0 1 0 279572254 1400721408 341311 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 341973 341311 313 324 0 341042 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1367892 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=430936/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1424508 CPUtime=1541.89 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 355696 0 0 0 153892 297 0 0 25 0 1 0 279572254 1458696192 355455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 356127 355455 313 324 0 355196 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1424508 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=372056/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1483932 CPUtime=1601.86 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 370555 0 0 0 159877 309 0 0 25 0 1 0 279572254 1519546368 370314 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 370983 370314 313 324 0 370052 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1483932 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=312408/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1542816 CPUtime=1661.85 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 385277 0 0 0 165864 321 0 0 25 0 1 0 279572254 1579843584 385036 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 385704 385036 313 324 0 384773 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1542816 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=246680/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1609116 CPUtime=1721.83 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 401829 0 0 0 171850 333 0 0 25 0 1 0 279572254 1647734784 401588 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 402279 401588 313 324 0 401348 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1609116 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=174744/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=1680240 CPUtime=1781.82 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194304 419618 0 0 0 177835 347 0 0 25 0 1 0 279572254 1720565760 419377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 420060 419377 313 324 0 419129 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1680240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23408 /proc/meminfo: memFree=240024/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=0 CPUtime=1800.01 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194308 425450 0 0 0 179649 352 0 0 17 0 1 0 279572254 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 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+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23409 /proc/meminfo: memFree=1522896/2055920 swapFree=4160052/4192956 [pid=23407] ppid=23405 vsize=0 CPUtime=1800.21 /proc/23407/stat : 23407 (bsolo3.0.16) R 23405 23407 23002 0 -1 4194308 425450 0 0 0 179649 372 0 0 18 0 1 0 279572254 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23407/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): 1800.75 CPU time (s): 1800.27 CPU user time (s): 1796.5 CPU system time (s): 3.77243 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1703384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.5 system time used= 3.77243 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 425450 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= 18 involuntary context switches= 36270 runsolver used 1.2978 second user time and 3.9304 second system time The end
Begin job on node12 on Tue May 1 16:02:29 UTC 2007 IDJOB= 455010 IDBENCH= 48235 IDSOLVER= 163 FILE ID= node12/455010-1178035349 PBS_JOBID= 4728444 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_25_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455010-1178035349/instance-455010-1178035349.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-455010-1178035349 -o ROOT/results/node12/solver-455010-1178035349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455010-1178035349/instance-455010-1178035349.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 493eec42e81abed935f584a4e365015a RANDOM SEED= 159402272 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1855016 kB Buffers: 51232 kB Cached: 64588 kB SwapCached: 11204 kB Active: 53592 kB Inactive: 85400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855016 kB SwapTotal: 4192956 kB SwapFree: 4160052 kB Dirty: 7128 kB Writeback: 0 kB Mapped: 29876 kB Slab: 47440 kB Committed_AS: 9755676 kB PageTables: 1792 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 node12 on Tue May 1 16:32:31 UTC 2007