Trace number 455511

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)-22 1800.36 1800.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_5.opb
MD5SUM9b75ee50c2c62e6be495e8bd0a94fa2c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-139
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 numbers10
Number of products (including duplicates)12540
Sum of products size (including duplicates)25080
Number of different products6270
Sum of products size12540

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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/455511-1178044714/instance-455511-1178044714.opb
0.00/0.00	c File size is 191690 bytes.
0.04/0.08	c Highest Coefficient sum: 1000
0.04/0.08	c Parsing was ok!!
0.04/0.08	c Total parsing time: 0.08 s
0.09/0.10	c Var: 13540 Constr: 26582 13040/1002/12540 Lit: 90780 Watch. Lit: 77242
0.09/0.10	c Obj. Vars: 500 (3.69276 % of total variables)
6.79/6.81	c Pre-processing Time: 6.813 s
6.79/6.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.82	c        0  13540    26582    90780    3    77242  131637      0      0 6.81
6.79/6.82	c Switching off LPR mode.
6.79/6.83	o -1	6.834
6.79/6.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.86	c        0  13540    26583    91280    3    77245  131970      1      0 6.84
6.79/6.86	o -2	6.854
6.79/6.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.88	c        0  13540    26584    91780    3    77249  132470      2      0 6.86
6.79/6.88	o -3	6.874
6.79/6.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.90	c        0  13540    26585    92280    3    77254  133137      3      0 6.88
6.79/6.90	o -4	6.895
6.89/6.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.92	c        0  13540    26586    92780    3    77260  133970      4      0 6.90
6.89/6.92	o -5	6.915
6.89/6.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.94	c        0  13540    26587    93280    3    77267  134970      5      0 6.92
6.89/6.94	o -6	6.935
6.89/6.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.96	c        0  13540    26588    93780    3    77275  135970      6      0 6.94
6.89/6.96	o -7	6.956
6.89/6.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.98	c        0  13540    26589    94280    3    77284  136970      7      0 6.96
6.89/6.98	o -8	6.976
6.99/7.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.00	c        0  13540    26590    94780    3    77294  137970      8      0 6.98
6.99/7.00	o -9	6.997
6.99/7.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.02	c        0  13540    26591    95280    3    77305  138970      9      0 7.00
6.99/7.02	o -10	7.018
6.99/7.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.04	c        0  13540    26592    95780    3    77317  139970     10      0 7.02
6.99/7.04	o -11	7.038
6.99/7.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.06	c        0  13540    26593    96280    3    77330  140970     11      0 7.04
6.99/7.06	o -12	7.059
6.99/7.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.08	c        0  13540    26594    96780    3    77344  141970     12      0 7.07
6.99/7.08	o -13	7.08
7.09/7.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.10	c        0  13540    26595    97280    3    77359  142970     13      0 7.09
7.09/7.10	o -14	7.1
7.09/7.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.12	c        0  13540    26596    97780    3    77375  143970     14      0 7.11
7.09/7.12	o -15	7.121
7.09/7.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.14	c        0  13540    26597    98280    3    77392  144970     15      0 7.13
7.09/7.14	o -16	7.142
7.09/7.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.16	c        0  13540    26598    98780    3    77410  145970     16      0 7.15
7.09/7.16	o -17	7.163
7.09/7.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.18	c        0  13540    26599    99280    3    77429  146970     17      0 7.17
7.09/7.18	o -18	7.184
7.19/7.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.21	c        0  13540    26600    99780    3    77449  147970     18      0 7.19
7.19/7.21	o -19	7.205
7.19/7.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.23	c        0  13540    26601   100280    3    77470  148970     19      0 7.21
7.19/7.23	o -20	7.226
7.19/7.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.26	c        0  13540    26602   100780    3    77492  149970     20      0 7.23
7.19/7.26	o -21	7.256
14.49/14.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.49/14.58	c        1  13540    26604   101893    3    77517  149970     22      0 7.26
14.49/14.58	c      101  13540    26704   162209    6    77717  164968    122     12 7.84
14.49/14.58	c      351  13540    26954   308689   11    78217  181465    372     38 9.15
14.49/14.58	c      826  13540    27429   608598   22    79167  199612    847     72 11.47
14.49/14.58	c     1639  13540    28242  1198419   42    80793  219574   1660    117 13.99
14.49/14.58	o -22	14.578
1800.09/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.70	c     2117  13540    28721  1609859   56    81773  149970   2139    145 14.59
1800.09/1800.70	c     2217  13540    28821  1659859   57    81973  164968   2239    151 14.68
1800.09/1800.70	c     2467  13540    29071  1784859   61    82473  181465   2489    166 14.85
1800.09/1800.70	c     2942  13540    29546  2080793   70    83423  199612   2964    159 18.42
1800.09/1800.70	c     3755  13540    30359  2645528   87    85049  219574   3777    151 24.79
1800.09/1800.70	c     5075  13540    31679  3574170  112    87689  241532   5097    146 34.63
1800.09/1800.70	c     7156  13540    33760  5056941  149    91851  265686   7178    143 50.00
1800.09/1800.70	c    10379  13540    36983  7331776  198    98297  292255  10401    134 76.92
1800.09/1800.70	c    15315  13540    41919 10844897  258   108169  321481  15337    125 122.06
1800.09/1800.70	c    22821  13540    49425 16174796  327   123181  353630  22843    118 192.85
1800.09/1800.70	c    34182  13540    60786 24395911  401   145903  388994  34204    126 271.00
1800.09/1800.70	c    51326  13540    77930 36974142  474   180191  427894  51348    131 390.34
1800.09/1800.70	c    77145  13540   103749 56491826  544   231829  470684  77167    137 560.99
1800.09/1800.70	c   115977  13540   142581 85411147  599   309493  517753 115999    128 904.56
1800.09/1800.70	c   174329  13540   200933 128835589  641   426197  569529 174351     99 1750.09
1800.09/1800.70	c Caught signal: 15
1800.09/1800.71	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 -x32 -x33
1800.09/1800.71	v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59
1800.09/1800.71	v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85
1800.09/1800.71	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1800.09/1800.71	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.09/1800.71	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1800.09/1800.71	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1800.09/1800.71	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1800.09/1800.71	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1800.09/1800.71	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1800.09/1800.71	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
1800.09/1800.71	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1800.09/1800.71	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1800.09/1800.71	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1800.09/1800.71	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1800.09/1800.71	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1800.09/1800.71	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1800.09/1800.71	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1800.09/1800.71	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1800.09/1800.71	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1800.09/1800.71	v -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1800.09/1800.71	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1800.09/1800.71	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777 -x633 -x921
1800.09/1800.71	v -x650 -x574 -x882 -x546 -x706 -x741 -x787 -x801 -x501 -x527 x849 x861 x699 x911 -x521 x727 x829 x987 x915 -x510 -x595 x634
1800.09/1800.71	v -x692 x723 x785 x790 x878 x881 x922 -x968 -x502 -x506 -x680 -x874 -x832 -x961 -x884 -x553 -x847 -x728 -x540 -x554 -x561 -x690
1800.09/1800.71	v -x503 -x585 -x809 -x800 -x862 -x941 -x572 -x511 -x866 -x954 -x538 -x512 -x526 -x586 -x603 -x612 -x644 -x669 -x786 -x825 -x933
1800.09/1800.71	v -x504 -x714 -x666 -x736 -x624 -x608 -x702 -x594 -x616 -x705 -x763 -x850 -x505 -x774 -x989 x724 x928 -x990 -x543 -x535 -x578
1800.09/1800.71	v x582 x663 x811 -x717 -x628 -x934 -x869 -x940 -x851 -x591 -x541 -x648 -x859 -x913 -x507 -x745 -x888 -x804 -x762 -x975 -x779
1800.09/1800.71	v -x799 -x980 -x664 -x597 -x681 -x837 -x957 -x508 -x528 -x887 -x653 -x935 -x792 -x590 -x659 -x719 -x579 -x524 -x641 -x761 -x824
1800.09/1800.71	v -x977 -x509 -x844 -x647 -x515 -x520 -x807 -x871 -x721 -x988 -x592 -x551 -x610 -x747 -x813 -x937 -x525 -x963 -x870 -x518 -x580
1800.09/1800.71	v -x661 -x994 -x979 -x897 -x598 -x901 -x533 -x581 -x657 -x698 -x782 -x904 -x931 -x568 -x715 -x627 -x646 -x552 -x947 -x513 -x868
1800.09/1800.71	v -x996 -x938 -x978 -x742 -x602 -x619 -x564 -x618 -x655 -x756 -x789 -x846 -x872 -x895 -x514 -x635 -x622 -x542 -x758 -x636 -x956
1800.09/1800.71	v -x549 -x566 -x654 -x686 -x773 -x853 -x925 -x626 -x998 -x545 -x944 -x765 -x570 -x815 -x639 -x651 -x693 -x927 -x516 -x716 -x867
1800.09/1800.71	v -x764 -x820 -x529 -x783 -x517 -x751 -x899 -x822 -x886 x652 -x519 -x621 -x836 -x852 -x908 -x569 -x991 -x926 -x709 -x558 -x550
1800.09/1800.71	v -x772 -x992 -x857 -x677 -x563 -x614 -x671 -x808 -x912 -x746 -x688 -x919 -x704 -x744 -x839 -x695 -x577 -x649 -x672 -x923 -x556
1800.09/1800.71	v -x534 -x596 -x818 -x855 -x953 -x522 -x806 -x835 -x718 -x981 -x936 -x791 -x523 -x725 -x920 -x959 -x946 -x571 -x703 -x827 -x842
1800.09/1800.71	v -x914 -x609 -x970 -x607 -x917 -x778 -x883 -x604 -x623 -x860 -x740 -x615 -x696 -x760 -x969 -x589 -x958 -x854 -x768 -x949 -x536
1800.09/1800.71	v -x891 -x960 -x984 -x864 -x733 -x734 -x560 -x584 -x805 -x720 -x555 -x840 -x967 -x530 -x599 -x665 -x713 -x679 -x753 -x531 -x965
1800.09/1800.71	v -x802 -x638 -x838 -x532 -x803 -x682 -x876 -x982 -x731 -x797 -x932 -x939 -x826 -x537 -x771 -x865 -x983 -x637 -x903 -x955 -x759
1800.09/1800.71	v -x694 -x810 -x966 -x640 -x687 -x985 -x729 -x642 -x833 -x738 -x708 -x962 -x748 -x660 -x539 -x798 -x769 -x924 -x889 -x562 -x675
1800.09/1800.71	v -x722 -x668 -x707 -x875 -x701 -x821 -x948 -x700 -x795 -x600 -x620 -x645 -x749 -x863 -x739 -x750 -x737 -x544 -x834 -x930 -x843
1800.09/1800.71	v -x976 -x547 -x588 -x950 -x951 -x796 -x999 -x856 -x916 -x732 -x576 -x776 -x548 -x877 -x613 -x900 -x605 -x662 -x683 -x784 -x794
1800.09/1800.71	v -x823 -x712 -x767 -x775 -x910 -x710 -x735 -x780 -x845 -x880 -x942 -x557 -x670 -x689 -x743 -x995 -x583 -x559 -x754 -x656 -x907
1800.09/1800.71	v -x896 -x964 -x678 -x697 -x788 -x575 -x905 -x643 -x565 -x667 -x630 -x601 -x632 -x567 -x892 -x830 -x879 -x890 -x909 -x673 -x730
1800.09/1800.71	v -x831 -x674 -x755 -x593 -x971 -x711 -x629 -x691 -x1000 x587 -x929 -x841 -x781 -x918 -x943 -x858 -x617 -x973 -x894 -x814 -x625
1800.09/1800.71	v -x757 -x817 -x685 -x752 -x816 -x885 -x893 -x945 -x997 -x848 -x793 -x658 -x812 -x972 -x993 -x606 -x828 -x898 -x902 -x770 -x631
1800.09/1800.71	v -x952 -x873 -x974 -x986 -x684 -x819 -x906 -x726
1800.09/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.71	c   40   179304    397   442215   205908 132782106 179326     99 1800.09
1800.09/1800.71	c Objective: -22
1800.09/1800.71	s SATISFIABLE
1800.09/1800.71	c Total time: 1800.09 s

Verifier Data (download as text)

OK	-22

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node45/watcher-455511-1178044714 -o ROOT/results/node45/solver-455511-1178044714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455511-1178044714/instance-455511-1178044714.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.85 0.97 0.99 3/77 17972
/proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=11924 CPUtime=0
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 159317036 12210176 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 2981 335 279 324 0 2004 0

[startup+0.0584601 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 17972
/proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=7028 CPUtime=0.04
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 1130 0 0 0 4 0 0 0 18 0 1 0 159317036 7196672 1100 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 1757 1100 319 324 0 780 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7028

[startup+0.101465 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 17972
/proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=10392 CPUtime=0.09
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2029 0 0 0 8 1 0 0 18 0 1 0 159317036 10641408 1952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 2598 1953 300 324 0 1668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10392

[startup+0.301485 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 17972
/proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=11068 CPUtime=0.29
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2155 0 0 0 28 1 0 0 19 0 1 0 159317036 11333632 2078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 2767 2078 304 324 0 1837 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11068

[startup+0.701525 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 17972
/proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=11068 CPUtime=0.69
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2156 0 0 0 68 1 0 0 22 0 1 0 159317036 11333632 2079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 2767 2079 304 324 0 1837 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11068

[startup+1.50161 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1782112/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=11068 CPUtime=1.49
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2156 0 0 0 148 1 0 0 25 0 1 0 159317036 11333632 2079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 2767 2079 304 324 0 1837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11068

[startup+3.10177 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1781920/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=11068 CPUtime=3.09
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2156 0 0 0 307 2 0 0 25 0 1 0 159317036 11333632 2079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 2767 2079 304 324 0 1837 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11068

[startup+6.30109 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1781792/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=11068 CPUtime=6.29
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2156 0 0 0 627 2 0 0 25 0 1 0 159317036 11333632 2079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 2767 2079 304 324 0 1837 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11068

[startup+12.7017 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1773872/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=20244 CPUtime=12.69
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 4918 0 0 0 1264 5 0 0 25 0 1 0 159317036 20729856 4417 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 5061 4417 311 324 0 4131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20244

[startup+25.501 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1747632/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=46444 CPUtime=25.49
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 11455 0 0 0 2541 8 0 0 25 0 1 0 159317036 47558656 10954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571806 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 11611 10954 311 324 0 10681 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46444

[startup+51.1016 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1717168/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=75808 CPUtime=51.08
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 18825 0 0 0 5096 12 0 0 25 0 1 0 159317036 77627392 18324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 18952 18324 311 324 0 18022 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75808

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1662576/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=130072 CPUtime=102.26
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 32386 0 0 0 10205 21 0 0 25 0 1 0 159317036 133193728 31885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 32518 31885 311 324 0 31588 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 130072

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1604720/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=188456 CPUtime=162.24
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 46983 0 0 0 16195 29 0 0 25 0 1 0 159317036 192978944 46482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 47114 46482 311 324 0 46184 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 188456

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1534064/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=258424 CPUtime=222.23
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 64457 0 0 0 22184 39 0 0 25 0 1 0 159317036 264626176 63956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 64606 63956 311 324 0 63676 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 258424

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1454960/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=338248 CPUtime=282.21
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 84416 0 0 0 28171 50 0 0 25 0 1 0 159317036 346365952 83915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 84562 83915 311 324 0 83632 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 338248

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1377336/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=414764 CPUtime=342.2
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 103547 0 0 0 34157 63 0 0 25 0 1 0 159317036 424718336 103046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572643 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 103691 103046 311 324 0 102761 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 414764

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1291192/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=501156 CPUtime=402.18
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 125151 0 0 0 40143 75 0 0 25 0 1 0 159317036 513183744 124650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5157016 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 125289 124650 311 324 0 124359 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 501156

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1201144/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=591380 CPUtime=462.16
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 147707 0 0 0 46126 90 0 0 25 0 1 0 159317036 605573120 147206 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 147845 147206 311 324 0 146915 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 591380

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1118456/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=674664 CPUtime=522.14
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 168517 0 0 0 52112 102 0 0 25 0 1 0 159317036 690855936 168016 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 168666 168016 311 324 0 167736 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 674664

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=1025976/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=765928 CPUtime=582.12
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 191333 0 0 0 58095 117 0 0 25 0 1 0 159317036 784310272 190832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 191482 190832 311 324 0 190552 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 765928

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=908344/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=882624 CPUtime=642.12
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 220520 0 0 0 64078 134 0 0 25 0 1 0 159317036 903806976 220019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 220656 220019 311 324 0 219726 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 882624


################
# More data... #
################

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=661240/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1129788 CPUtime=942.02
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 282321 0 0 0 94032 170 0 0 25 0 1 0 159317036 1156902912 281820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 282447 281820 311 324 0 281517 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1129788

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=622648/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1168020 CPUtime=1002.01
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 291849 0 0 0 100025 176 0 0 25 0 1 0 159317036 1196052480 291348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 292005 291348 311 324 0 291075 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1168020

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=593528/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1197260 CPUtime=1061.99
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 299162 0 0 0 106019 180 0 0 25 0 1 0 159317036 1225994240 298661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160801 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 299315 298661 311 324 0 298385 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1197260

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=559224/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1231264 CPUtime=1121.98
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 307672 0 0 0 112010 188 0 0 25 0 1 0 159317036 1260814336 307171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 307816 307171 311 324 0 306886 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1231264

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=536248/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1254412 CPUtime=1181.96
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 313474 0 0 0 118004 192 0 0 25 0 1 0 159317036 1284517888 312973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 313603 312973 311 324 0 312673 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1254412

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=511544/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1278812 CPUtime=1241.94
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 319564 0 0 0 123998 196 0 0 25 0 1 0 159317036 1309503488 319063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 319703 319063 311 324 0 318773 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1278812

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17973
/proc/meminfo: memFree=481592/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1308600 CPUtime=1301.93
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 327012 0 0 0 129991 202 0 0 25 0 1 0 159317036 1340006400 326511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 327150 326511 311 324 0 326220 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1308600

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 18055
/proc/meminfo: memFree=433536/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1355572 CPUtime=1361.86
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 338753 0 0 0 135977 209 0 0 25 0 1 0 159317036 1388105728 338252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 338893 338252 311 324 0 337963 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1355572

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=398968/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1391200 CPUtime=1421.79
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 347647 0 0 0 141964 215 0 0 25 0 1 0 159317036 1424588800 347146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 347800 347146 311 324 0 346870 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1391200

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=349752/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1441124 CPUtime=1481.77
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 360151 0 0 0 147954 223 0 0 25 0 1 0 159317036 1475710976 359650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 360281 359650 311 324 0 359351 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1441124

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=301560/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1488488 CPUtime=1541.75
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 371985 0 0 0 153946 229 0 0 25 0 1 0 159317036 1524211712 371484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 372122 371484 311 324 0 371192 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1488488

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=251768/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1539028 CPUtime=1601.73
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 384624 0 0 0 159937 236 0 0 25 0 1 0 159317036 1575964672 384123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 384757 384123 311 324 0 383827 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1539028

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=206328/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1583448 CPUtime=1661.71
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 395730 0 0 0 165930 241 0 0 25 0 1 0 159317036 1621450752 395229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 395862 395229 311 324 0 394932 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1583448

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=150712/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1639960 CPUtime=1721.7
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 409835 0 0 0 171918 252 0 0 25 0 1 0 159317036 1679319040 409334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 409990 409334 311 324 0 409060 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1639960

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=93048/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1696772 CPUtime=1781.68
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 424038 0 0 0 177907 261 0 0 25 0 1 0 159317036 1737494528 423537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 424193 423537 311 324 0 423263 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1696772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=73016/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=1716472 CPUtime=1800.09
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 428978 0 0 0 179745 264 0 0 25 0 1 0 159317036 1757667328 428477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 429118 428477 311 324 0 428188 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1716472

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=73016/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=0 CPUtime=1800.18
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194308 428982 0 0 0 179745 273 0 0 25 0 1 0 159317036 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 18171
/proc/meminfo: memFree=73016/2055920 swapFree=4157776/4192956
[pid=17972] ppid=17970 vsize=0 CPUtime=1800.28
/proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194308 428982 0 0 0 179745 283 0 0 25 0 1 0 159317036 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/17972/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.98
CPU time (s): 1800.36
CPU user time (s): 1797.46
CPU system time (s): 2.90556
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 1716472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.46
system time used= 2.90556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428982
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= 3000

runsolver used 1.35779 second user time and 4.00839 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Tue May  1 18:38:34 UTC 2007

IDJOB= 455511
IDBENCH= 48268
IDSOLVER= 199
FILE ID= node45/455511-1178044714

PBS_JOBID= 4728461

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_5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455511-1178044714/instance-455511-1178044714.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-455511-1178044714 -o ROOT/results/node45/solver-455511-1178044714 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455511-1178044714/instance-455511-1178044714.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  9b75ee50c2c62e6be495e8bd0a94fa2c

RANDOM SEED= 391562880

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1789696 kB
Buffers:        100136 kB
Cached:          81348 kB
SwapCached:      14084 kB
Active:         128552 kB
Inactive:        76876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1789696 kB
SwapTotal:     4192956 kB
SwapFree:      4157776 kB
Dirty:            7004 kB
Writeback:           0 kB
Mapped:          29364 kB
Slab:            46376 kB
Committed_AS:  3077492 kB
PageTables:       1732 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 node45 on Tue May  1 19:08:37 UTC 2007