Trace number 455505

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.16SAT (TO)-22 1800.27 1800.91

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.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455505-1178044656/instance-455505-1178044656.opb
0.00/0.00	c File size is 191690 bytes.
0.01/0.08	c Highest Coefficient sum: 1000
0.01/0.08	c Parsing was ok!!
0.01/0.08	c Total parsing time: 0.081 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.806 s
6.79/6.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.81	c        0  13540    26582    90780    3    77242  131637      0      0 6.81
6.79/6.81	c Switching off LPR mode.
6.79/6.84	o -1	6.837
6.79/6.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.87	c        0  13540    26583    91280    3    77245  131970      1      0 6.84
6.79/6.87	o -2	6.867
6.89/6.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.90	c        0  13540    26584    91780    3    77249  132470      2      0 6.87
6.89/6.90	o -3	6.896
6.89/6.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.93	c        0  13540    26585    92280    3    77254  133137      3      0 6.90
6.89/6.93	o -4	6.926
6.89/6.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.96	c        0  13540    26586    92780    3    77260  133970      4      0 6.93
6.89/6.96	o -5	6.955
6.89/6.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.99	c        0  13540    26587    93280    3    77267  134970      5      0 6.96
6.89/6.99	o -6	6.985
6.99/7.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.02	c        0  13540    26588    93780    3    77275  135970      6      0 6.99
6.99/7.02	o -7	7.014
6.99/7.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.05	c        0  13540    26589    94280    3    77284  136970      7      0 7.02
6.99/7.05	o -8	7.043
6.99/7.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.08	c        0  13540    26590    94780    3    77294  137970      8      0 7.05
6.99/7.08	o -9	7.073
7.08/7.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.11	c        0  13540    26591    95280    3    77305  138970      9      0 7.08
7.08/7.11	o -10	7.102
7.08/7.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.14	c        0  13540    26592    95780    3    77317  139970     10      0 7.11
7.08/7.14	o -11	7.131
7.08/7.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.17	c        0  13540    26593    96280    3    77330  140970     11      0 7.14
7.08/7.17	o -12	7.16
7.08/7.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.19	c        0  13540    26594    96780    3    77344  141970     12      0 7.17
7.08/7.19	o -13	7.189
7.18/7.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.22	c        0  13540    26595    97280    3    77359  142970     13      0 7.20
7.18/7.22	o -14	7.218
7.18/7.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.25	c        0  13540    26596    97780    3    77375  143970     14      0 7.22
7.18/7.25	o -15	7.247
7.18/7.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.28	c        0  13540    26597    98280    3    77392  144970     15      0 7.25
7.18/7.28	o -16	7.276
7.28/7.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.31	c        0  13540    26598    98780    3    77410  145970     16      0 7.28
7.28/7.31	o -17	7.305
7.28/7.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.34	c        0  13540    26599    99280    3    77429  146970     17      0 7.31
7.28/7.34	o -18	7.333
7.28/7.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.37	c        0  13540    26600    99780    3    77449  147970     18      0 7.34
7.28/7.37	o -19	7.362
7.28/7.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.40	c        0  13540    26601   100280    3    77470  148970     19      0 7.37
7.28/7.40	o -20	7.391
7.38/7.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.43	c        0  13540    26602   100780    3    77492  149970     20      0 7.40
7.38/7.43	o -21	7.429
14.78/14.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.78/14.80	c        1  13540    26604   101893    3    77517  149970     22      0 7.44
14.78/14.80	c      101  13540    26704   162209    6    77717  164968    122     12 8.02
14.78/14.80	c      351  13540    26954   308689   11    78217  181465    372     37 9.33
14.78/14.80	c      826  13540    27429   608598   22    79167  199612    847     70 11.64
14.78/14.80	c     1639  13540    28242  1198419   42    80793  219574   1660    115 14.20
14.78/14.80	o -22	14.795
1799.96/1800.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.96/1800.63	c     2117  13540    28721  1609859   56    81773  149970   2139    143 14.80
1799.96/1800.63	c     2217  13540    28821  1659859   57    81973  164968   2239    148 14.90
1799.96/1800.63	c     2467  13540    29071  1784859   61    82473  181465   2489    163 15.07
1799.96/1800.63	c     2942  13540    29546  2080793   70    83423  199612   2964    157 18.64
1799.96/1800.63	c     3755  13540    30359  2645528   87    85049  219574   3777    150 24.95
1799.96/1800.63	c     5075  13540    31679  3574170  112    87689  241532   5097    145 34.76
1799.96/1800.63	c     7156  13540    33760  5056941  149    91851  265686   7178    143 50.01
1799.96/1800.63	c    10379  13540    36983  7331776  198    98297  292255  10401    135 76.83
1799.96/1800.63	c    15315  13540    41919 10844897  258   108169  321481  15337    125 121.69
1799.96/1800.63	c    22821  13540    49425 16174796  327   123181  353630  22843    118 192.22
1799.96/1800.63	c    34182  13540    60786 24395911  401   145903  388994  34204    126 270.13
1799.96/1800.63	c    51326  13540    77930 36974142  474   180191  427894  51348    131 389.34
1799.96/1800.63	c    77145  13540   103749 56491826  544   231829  470684  77167    137 559.95
1799.96/1800.64	c   115977  13540   142581 85411147  599   309493  517753 115999    128 903.74
1799.96/1800.64	c   174329  13540   200933 128835589  641   426197  569529 174351     99 1748.69
1799.96/1800.64	c Resources Exceeded
1799.96/1800.64	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
1799.96/1800.64	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
1799.96/1800.64	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
1799.96/1800.64	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1799.96/1800.64	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1799.96/1800.64	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1799.96/1800.64	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1799.96/1800.64	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1799.96/1800.64	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1799.96/1800.64	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1799.96/1800.64	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
1799.96/1800.64	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1799.96/1800.64	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1799.96/1800.64	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1799.96/1800.64	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1799.96/1800.64	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1799.96/1800.64	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1799.96/1800.64	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1799.96/1800.64	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1799.96/1800.64	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1799.96/1800.64	v -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1799.96/1800.64	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1799.96/1800.64	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777 -x633 -x921
1799.96/1800.64	v -x650 -x574 -x882 -x546 -x706 -x741 -x787 -x801 -x501 -x527 x849 x861 x699 x911 -x521 x727 x829 x987 x915 -x510 -x595 x634
1799.96/1800.64	v -x692 x723 x785 x790 x878 x881 x922 -x968 -x502 -x506 -x680 -x874 -x832 -x961 -x884 -x553 -x847 -x728 -x540 -x554 -x561 -x690
1799.96/1800.64	v -x503 -x585 -x809 -x800 -x862 -x941 -x572 -x511 -x866 -x954 -x538 -x512 -x526 -x586 -x603 -x612 -x644 -x669 -x786 -x825 -x933
1799.96/1800.64	v -x504 -x714 -x666 -x736 -x624 -x608 -x702 -x594 -x616 -x705 -x763 -x850 -x505 -x774 -x989 x724 x928 -x990 -x543 -x535 -x578
1799.96/1800.64	v x582 x663 x811 -x717 -x628 -x934 -x869 -x940 -x851 -x591 -x541 -x648 -x859 -x913 -x507 -x745 -x888 -x804 -x762 -x975 -x779
1799.96/1800.64	v -x799 -x980 -x664 -x597 -x681 -x837 -x957 -x508 -x528 -x887 -x653 -x935 -x792 -x590 -x659 -x719 -x579 -x524 -x641 -x761 -x824
1799.96/1800.64	v -x977 -x509 -x844 -x647 -x515 -x520 -x807 -x871 -x721 -x988 -x592 -x551 -x610 -x747 -x813 -x937 -x525 -x963 -x870 -x518 -x580
1799.96/1800.64	v -x661 -x994 -x979 -x897 -x598 -x901 -x533 -x581 -x657 -x698 -x782 -x904 -x931 -x568 -x715 -x627 -x646 -x552 -x947 -x513 -x868
1799.96/1800.64	v -x996 -x938 -x978 -x742 -x602 -x619 -x564 -x618 -x655 -x756 -x789 -x846 -x872 -x895 -x514 -x635 -x622 -x542 -x758 -x636 -x956
1799.96/1800.64	v -x549 -x566 -x654 -x686 -x773 -x853 -x925 -x626 -x998 -x545 -x944 -x765 -x570 -x815 -x639 -x651 -x693 -x927 -x516 -x716 -x867
1799.96/1800.64	v -x764 -x820 -x529 -x783 -x517 -x751 -x899 -x822 -x886 x652 -x519 -x621 -x836 -x852 -x908 -x569 -x991 -x926 -x709 -x558 -x550
1799.96/1800.64	v -x772 -x992 -x857 -x677 -x563 -x614 -x671 -x808 -x912 -x746 -x688 -x919 -x704 -x744 -x839 -x695 -x577 -x649 -x672 -x923 -x556
1799.96/1800.64	v -x534 -x596 -x818 -x855 -x953 -x522 -x806 -x835 -x718 -x981 -x936 -x791 -x523 -x725 -x920 -x959 -x946 -x571 -x703 -x827 -x842
1799.96/1800.64	v -x914 -x609 -x970 -x607 -x917 -x778 -x883 -x604 -x623 -x860 -x740 -x615 -x696 -x760 -x969 -x589 -x958 -x854 -x768 -x949 -x536
1799.96/1800.64	v -x891 -x960 -x984 -x864 -x733 -x734 -x560 -x584 -x805 -x720 -x555 -x840 -x967 -x530 -x599 -x665 -x713 -x679 -x753 -x531 -x965
1799.96/1800.64	v -x802 -x638 -x838 -x532 -x803 -x682 -x876 -x982 -x731 -x797 -x932 -x939 -x826 -x537 -x771 -x865 -x983 -x637 -x903 -x955 -x759
1799.96/1800.64	v -x694 -x810 -x966 -x640 -x687 -x985 -x729 -x642 -x833 -x738 -x708 -x962 -x748 -x660 -x539 -x798 -x769 -x924 -x889 -x562 -x675
1799.96/1800.64	v -x722 -x668 -x707 -x875 -x701 -x821 -x948 -x700 -x795 -x600 -x620 -x645 -x749 -x863 -x739 -x750 -x737 -x544 -x834 -x930 -x843
1799.96/1800.64	v -x976 -x547 -x588 -x950 -x951 -x796 -x999 -x856 -x916 -x732 -x576 -x776 -x548 -x877 -x613 -x900 -x605 -x662 -x683 -x784 -x794
1799.96/1800.64	v -x823 -x712 -x767 -x775 -x910 -x710 -x735 -x780 -x845 -x880 -x942 -x557 -x670 -x689 -x743 -x995 -x583 -x559 -x754 -x656 -x907
1799.96/1800.64	v -x896 -x964 -x678 -x697 -x788 -x575 -x905 -x643 -x565 -x667 -x630 -x601 -x632 -x567 -x892 -x830 -x879 -x890 -x909 -x673 -x730
1799.96/1800.64	v -x831 -x674 -x755 -x593 -x971 -x711 -x629 -x691 -x1000 x587 -x929 -x841 -x781 -x918 -x943 -x858 -x617 -x973 -x894 -x814 -x625
1799.96/1800.64	v -x757 -x817 -x685 -x752 -x816 -x885 -x893 -x945 -x997 -x848 -x793 -x658 -x812 -x972 -x993 -x606 -x828 -x898 -x902 -x770 -x631
1799.96/1800.64	v -x952 -x873 -x974 -x986 -x684 -x819 -x906 -x726
1799.96/1800.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.96/1800.64	c   40   179444    397   442354   206048 132902705 179466     99 1800.01
1799.96/1800.64	c Objective: -22
1799.96/1800.64	s SATISFIABLE
1799.96/1800.64	c Total time: 1800.01 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/node54/watcher-455505-1178044656 -o ROOT/results/node54/solver-455505-1178044656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455505-1178044656/instance-455505-1178044656.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.78 0.95 0.98 3/66 22687
/proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=11924 CPUtime=0
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 251840072 12210176 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 2981 336 281 324 0 2003 0

[startup+0.0218591 s]
/proc/loadavg: 0.78 0.95 0.98 3/66 22687
/proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=5072 CPUtime=0.01
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 607 0 0 0 1 0 0 0 18 0 1 0 251840072 5193728 576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 1268 576 300 324 0 290 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5072

[startup+0.10187 s]
/proc/loadavg: 0.78 0.95 0.98 3/66 22687
/proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=10260 CPUtime=0.09
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 1992 0 0 0 8 1 0 0 18 0 1 0 251840072 10506240 1914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 2565 1916 302 324 0 1634 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10260

[startup+0.301895 s]
/proc/loadavg: 0.78 0.95 0.98 3/66 22687
/proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=11068 CPUtime=0.29
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2157 0 0 0 28 1 0 0 19 0 1 0 251840072 11333632 2079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 2767 2079 306 324 0 1836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11068

[startup+0.701946 s]
/proc/loadavg: 0.78 0.95 0.98 3/66 22687
/proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=11068 CPUtime=0.69
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2158 0 0 0 68 1 0 0 23 0 1 0 251840072 11333632 2080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 2767 2080 306 324 0 1836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11068

[startup+1.50105 s]
/proc/loadavg: 0.80 0.95 0.98 2/67 22688
/proc/meminfo: memFree=1720176/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=11068 CPUtime=1.49
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2158 0 0 0 148 1 0 0 25 0 1 0 251840072 11333632 2080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 2767 2080 306 324 0 1836 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11068

[startup+3.10125 s]
/proc/loadavg: 0.80 0.95 0.98 2/67 22688
/proc/meminfo: memFree=1720048/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=11068 CPUtime=3.08
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2158 0 0 0 307 1 0 0 25 0 1 0 251840072 11333632 2080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 2767 2080 306 324 0 1836 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11068

[startup+6.30266 s]
/proc/loadavg: 0.81 0.95 0.98 2/67 22688
/proc/meminfo: memFree=1719856/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=11068 CPUtime=6.29
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2158 0 0 0 627 2 0 0 25 0 1 0 251840072 11333632 2080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 2767 2080 306 324 0 1836 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11068

[startup+12.7015 s]
/proc/loadavg: 0.83 0.95 0.98 2/67 22688
/proc/meminfo: memFree=1712240/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=19860 CPUtime=12.68
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 4814 0 0 0 1249 19 0 0 25 0 1 0 251840072 20336640 4312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 4965 4312 312 324 0 4034 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19860

[startup+25.5011 s]
/proc/loadavg: 0.85 0.95 0.98 2/67 22688
/proc/meminfo: memFree=1686256/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=45452 CPUtime=25.48
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 11232 0 0 0 2525 23 0 0 25 0 1 0 251840072 46542848 10730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 11363 10730 312 324 0 10432 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45452

[startup+51.1013 s]
/proc/loadavg: 0.91 0.96 0.98 2/67 22688
/proc/meminfo: memFree=1655344/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=75808 CPUtime=51.07
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 18826 0 0 0 5079 28 0 0 25 0 1 0 251840072 77627392 18324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 18952 18324 312 324 0 18021 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 75808

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/67 22688
/proc/meminfo: memFree=1600560/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=130448 CPUtime=102.25
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 32467 0 0 0 10186 39 0 0 25 0 1 0 251840072 133578752 31965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 32612 31965 312 324 0 31681 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 130448

[startup+162.301 s]
/proc/loadavg: 1.11 1.00 0.99 2/67 22688
/proc/meminfo: memFree=1542256/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=188708 CPUtime=162.23
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 47036 0 0 0 16175 48 0 0 25 0 1 0 251840072 193236992 46534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 47177 46534 312 324 0 46246 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 188708

[startup+222.301 s]
/proc/loadavg: 1.16 1.03 1.01 2/67 22688
/proc/meminfo: memFree=1471472/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=259436 CPUtime=222.21
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 64729 0 0 0 22160 61 0 0 25 0 1 0 251840072 265662464 64227 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 64859 64227 312 324 0 63928 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 259436

[startup+282.302 s]
/proc/loadavg: 1.09 1.03 1.00 2/67 22688
/proc/meminfo: memFree=1392048/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=338872 CPUtime=282.2
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 84572 0 0 0 28145 75 0 0 25 0 1 0 251840072 347004928 84070 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 84718 84070 312 324 0 83787 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 338872

[startup+342.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/67 22688
/proc/meminfo: memFree=1315056/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=415524 CPUtime=342.18
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 103744 0 0 0 34129 89 0 0 25 0 1 0 251840072 425496576 103242 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 103881 103242 312 324 0 102950 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 415524

[startup+402.302 s]
/proc/loadavg: 1.14 1.06 1.01 2/67 22688
/proc/meminfo: memFree=1228912/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=502284 CPUtime=402.16
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 125417 0 0 0 40113 103 0 0 25 0 1 0 251840072 514338816 124915 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 125571 124915 312 324 0 124640 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 502284

[startup+462.302 s]
/proc/loadavg: 1.12 1.06 1.01 2/67 22688
/proc/meminfo: memFree=1138224/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=592152 CPUtime=462.14
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 147894 0 0 0 46096 118 0 0 25 0 1 0 251840072 606363648 147392 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2252641 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 148038 147392 312 324 0 147107 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 592152

[startup+522.301 s]
/proc/loadavg: 1.11 1.07 1.01 2/67 22688
/proc/meminfo: memFree=1055088/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=676036 CPUtime=522.12
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 168883 0 0 0 52082 130 0 0 25 0 1 0 251840072 692260864 168381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 169009 168381 312 324 0 168078 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 676036

[startup+582.302 s]
/proc/loadavg: 1.04 1.05 1.00 2/67 22688
/proc/meminfo: memFree=962736/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=767528 CPUtime=582.11
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 191749 0 0 0 58067 144 0 0 25 0 1 0 251840072 785948672 191247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 191882 191247 312 324 0 190951 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 767528

[startup+642.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/67 22688
/proc/meminfo: memFree=844848/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=884532 CPUtime=642.1
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 220981 0 0 0 64047 163 0 0 25 0 1 0 251840072 905760768 220479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 221133 220479 312 324 0 220202 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 884532


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 22688
/proc/meminfo: memFree=599024/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1130668 CPUtime=941.99
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 282521 0 0 0 93991 208 0 0 25 0 1 0 251840072 1157804032 282019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 282667 282019 312 324 0 281736 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 1130668

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 22688
/proc/meminfo: memFree=560688/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1168148 CPUtime=1001.98
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 291911 0 0 0 99983 215 0 0 25 0 1 0 251840072 1196183552 291409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 292037 291409 312 324 0 291106 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 1168148

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22688
/proc/meminfo: memFree=531504/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1197640 CPUtime=1061.96
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 299271 0 0 0 105977 219 0 0 25 0 1 0 251840072 1226383360 298769 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 299410 298769 312 324 0 298479 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1197640

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22688
/proc/meminfo: memFree=497200/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1231640 CPUtime=1121.94
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 307758 0 0 0 111969 225 0 0 25 0 1 0 251840072 1261199360 307256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 307910 307256 312 324 0 306979 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1231640

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22688
/proc/meminfo: memFree=474096/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1255280 CPUtime=1181.93
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 313677 0 0 0 117963 230 0 0 25 0 1 0 251840072 1285406720 313175 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 313820 313175 312 324 0 312889 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1255280

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22688
/proc/meminfo: memFree=449584/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1279064 CPUtime=1241.9
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 319632 0 0 0 123956 234 0 0 25 0 1 0 251840072 1309761536 319130 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 319766 319130 312 324 0 318835 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1279064

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22688
/proc/meminfo: memFree=418608/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1309856 CPUtime=1301.89
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 327324 0 0 0 129949 240 0 0 25 0 1 0 251840072 1341292544 326822 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 327464 326822 312 324 0 326533 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1309856

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22688
/proc/meminfo: memFree=372528/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1356204 CPUtime=1361.87
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 338899 0 0 0 135939 248 0 0 25 0 1 0 251840072 1388752896 338397 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 339051 338397 312 324 0 338120 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1356204

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 22796
/proc/meminfo: memFree=334720/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1392460 CPUtime=1421.82
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 347987 0 0 0 141927 255 0 0 25 0 1 0 251840072 1425879040 347485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 348115 347485 312 324 0 347184 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1392460

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22886
/proc/meminfo: memFree=286000/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1442364 CPUtime=1481.75
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 360449 0 0 0 147910 265 0 0 25 0 1 0 251840072 1476980736 359947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 360591 359947 312 324 0 359660 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1442364

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22886
/proc/meminfo: memFree=238640/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1489372 CPUtime=1541.74
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 372201 0 0 0 153901 273 0 0 25 0 1 0 251840072 1525116928 371699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 372343 371699 312 324 0 371412 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1489372

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22886
/proc/meminfo: memFree=188400/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1539788 CPUtime=1601.71
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 384810 0 0 0 159890 281 0 0 25 0 1 0 251840072 1576742912 384308 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 384947 384308 312 324 0 384016 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1539788

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22886
/proc/meminfo: memFree=143920/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1584200 CPUtime=1661.7
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 395895 0 0 0 165881 289 0 0 25 0 1 0 251840072 1622220800 395393 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 396050 395393 312 324 0 395119 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1584200

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22886
/proc/meminfo: memFree=87664/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1640728 CPUtime=1721.68
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 410039 0 0 0 171868 300 0 0 25 0 1 0 251840072 1680105472 409537 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 410182 409537 312 324 0 409251 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1640728

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22886
/proc/meminfo: memFree=29936/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=1698276 CPUtime=1781.66
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 424435 0 0 0 177857 309 0 0 25 0 1 0 251840072 1739034624 423933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 424569 423933 312 324 0 423638 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 1698276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22886
/proc/meminfo: memFree=444080/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=0 CPUtime=1800.06
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194308 429367 0 0 0 179687 319 0 0 17 0 1 0 251840072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22886
/proc/meminfo: memFree=444080/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=0 CPUtime=1800.16
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194308 429367 0 0 0 179687 329 0 0 18 0 1 0 251840072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22886
/proc/meminfo: memFree=444080/2055920 swapFree=4182172/4192956
[pid=22687] ppid=22685 vsize=0 CPUtime=1800.25
/proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194308 429367 0 0 0 179687 338 0 0 18 0 1 0 251840072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22687/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.27
CPU user time (s): 1796.88
CPU system time (s): 3.39148
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 1717972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 3.39148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429367
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= 14
involuntary context switches= 3642

runsolver used 1.69974 second user time and 4.86126 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Tue May  1 18:37:36 UTC 2007

IDJOB= 455505
IDBENCH= 48268
IDSOLVER= 163
FILE ID= node54/455505-1178044656

PBS_JOBID= 4728459

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455505-1178044656/instance-455505-1178044656.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-455505-1178044656 -o ROOT/results/node54/solver-455505-1178044656 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455505-1178044656/instance-455505-1178044656.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  9b75ee50c2c62e6be495e8bd0a94fa2c

RANDOM SEED= 112278946

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.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.234
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.234
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:       1727760 kB
Buffers:         83104 kB
Cached:         178432 kB
SwapCached:       3936 kB
Active:         124192 kB
Inactive:       150080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727760 kB
SwapTotal:     4192956 kB
SwapFree:      4182172 kB
Dirty:            6976 kB
Writeback:           0 kB
Mapped:          15728 kB
Slab:            39820 kB
Committed_AS:  4498720 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 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 node54 on Tue May  1 19:07:39 UTC 2007