Trace number 455355

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)-13 1800.3 1801.07

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_1.opb
MD5SUM162153f0f0e5f8f2e587b9d579ee09dc
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-136
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -136
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)12636
Sum of products size (including duplicates)25272
Number of different products6318
Sum of products size12636

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/455355-1178041875/instance-455355-1178041875.opb
0.00/0.00	c File size is 192846 bytes.
0.03/0.08	c Highest Coefficient sum: 1000
0.03/0.08	c Parsing was ok!!
0.03/0.08	c Total parsing time: 0.078 s
0.09/0.10	c Var: 13636 Constr: 26774 13136/1002/12636 Lit: 91452 Watch. Lit: 77818
0.09/0.10	c Obj. Vars: 500 (3.66676 % of total variables)
6.99/7.03	c Pre-processing Time: 7.029 s
6.99/7.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.03	c        0  13636    26774    91452    3    77818  133245      0      0 7.03
6.99/7.03	c Switching off LPR mode.
6.99/7.06	o -1	7.06
6.99/7.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.09	c        0  13636    26775    91952    3    77821  133578      1      0 7.07
6.99/7.09	o -2	7.09
7.09/7.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.12	c        0  13636    26776    92452    3    77825  134078      2      0 7.10
7.09/7.12	o -3	7.121
7.09/7.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.15	c        0  13636    26777    92952    3    77830  134745      3      0 7.13
7.09/7.15	o -4	7.151
7.09/7.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.18	c        0  13636    26778    93452    3    77836  135578      4      0 7.16
7.09/7.18	o -5	7.18
7.18/7.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.21	c        0  13636    26779    93952    3    77843  136578      5      0 7.19
7.18/7.21	o -6	7.21
7.18/7.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.24	c        0  13636    26780    94452    3    77851  137578      6      0 7.22
7.18/7.24	o -7	7.24
7.18/7.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.27	c        0  13636    26781    94952    3    77860  138578      7      0 7.25
7.18/7.27	o -8	7.27
7.28/7.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.30	c        0  13636    26782    95452    3    77870  139578      8      0 7.28
7.28/7.30	o -9	7.3
7.28/7.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.33	c        0  13636    26783    95952    3    77881  140578      9      0 7.31
7.28/7.33	o -10	7.33
7.28/7.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.36	c        0  13636    26784    96452    3    77893  141578     10      0 7.34
7.28/7.36	o -11	7.36
7.38/7.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.42	c        0  13636    26785    96952    3    77906  142578     11      0 7.37
7.38/7.42	o -12	7.413
16.48/16.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.48/16.50	c        3  13636    26789    99069    3    77926  142578     15      0 7.42
16.48/16.50	c      103  13636    26889   153946    5    78126  156836    115     12 8.02
16.48/16.50	c      353  13636    27139   304856   11    78626  172520    365     36 9.65
16.48/16.50	c      828  13636    27614   611369   22    79576  189773    840     72 11.45
16.48/16.50	c     1641  13636    28427  1152792   40    81202  208751   1653    119 13.69
16.48/16.50	c     2961  13636    29747  2060066   69    83842  229627   2973    198 14.92
16.48/16.50	o -13	16.495
1799.92/1800.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.92/1800.78	c     3969  13636    30756  2748914   89    85873  142578   3982    240 16.50
1799.92/1800.78	c     4069  13636    30856  2803923   90    86073  156836   4082    227 17.85
1799.92/1800.78	c     4319  13636    31106  2981417   95    86573  172520   4332    212 20.36
1799.92/1800.78	c     4794  13636    31581  3322012  105    87523  189773   4807    197 24.24
1799.92/1800.78	c     5607  13636    32394  3904272  120    89149  208751   5620    179 31.20
1799.92/1800.78	c     6927  13636    33714  4872125  144    91789  229627   6940    165 41.81
1799.92/1800.78	c     9008  13636    35795  6376341  178    95951  252590   9021    148 60.50
1799.92/1800.78	c    12231  13636    39018  8734433  223   102397  277850  12244    137 89.17
1799.92/1800.78	c    17167  13636    43954 12375307  281   112269  305636  17180    125 137.22
1799.92/1800.78	c    24673  13636    51460 17960910  349   127281  336200  24686    112 220.27
1799.92/1800.78	c    36034  13636    62821 26410003  420   150003  369821  36047    115 312.38
1799.92/1800.78	c    53178  13636    79965 39530893  494   184291  406804  53191    118 449.31
1799.92/1800.78	c    78997  13636   105784 59691698  564   235929  447485  79010    121 650.75
1799.92/1800.78	c   117829  13636   144616 92678521  640   313593  492234 117842    130 901.79
1799.92/1800.78	c   176181  13636   202968 135983698  669   430297  541458 176194    102 1725.17
1799.92/1800.78	c Resources Exceeded
1799.92/1800.78	v x1 -x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31
1799.92/1800.78	v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57
1799.92/1800.78	v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83
1799.92/1800.78	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1799.92/1800.78	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1799.92/1800.78	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1799.92/1800.78	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1799.92/1800.78	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1799.92/1800.78	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1799.92/1800.78	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1799.92/1800.78	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1799.92/1800.78	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1799.92/1800.78	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1799.92/1800.78	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1799.92/1800.78	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1799.92/1800.78	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1799.92/1800.78	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1799.92/1800.78	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1799.92/1800.78	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1799.92/1800.78	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1799.92/1800.78	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1799.92/1800.78	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1799.92/1800.78	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x884 -x887 -x778 -x916 -x794 -x836
1799.92/1800.78	v -x993 -x650 -x922 -x863 -x517 -x544 -x548 -x590 -x607 -x692 -x716 -x724 -x807 -x852 -x938 -x501 x528 x691 x560 x764 x927 -x541
1799.92/1800.78	v x673 x737 x712 -x869 x805 x999 -x502 -x568 -x930 -x783 -x531 -x624 -x636 -x803 -x523 -x559 -x566 -x626 -x754 -x757 -x835 -x898
1799.92/1800.78	v -x953 -x998 -x503 -x570 -x668 -x894 -x957 -x512 -x543 -x730 -x874 -x920 -x515 -x578 -x675 -x676 -x710 -x864 -x917 -x937 -x504
1799.92/1800.78	v -x785 -x538 -x699 -x825 -x816 -x871 -x914 -x527 -x592 -x981 -x540 -x549 -x720 -x893 -x896 -x505 -x671 -x997 -x782 -x806 -x926
1799.92/1800.78	v -x585 -x828 -x507 -x738 -x780 -x506 -x837 -x847 -x814 -x858 -x625 -x583 -x546 -x589 -x595 -x611 -x614 -x647 -x822 -x832 -x891
1799.92/1800.78	v -x815 -x868 -x935 -x865 -x751 -x588 -x809 -x777 -x679 -x524 -x771 -x802 -x879 -x975 -x508 -x789 -x904 -x652 -x755 -x900 -x933
1799.92/1800.78	v -x561 -x677 -x601 -x684 -x747 -x774 -x799 -x862 -x982 -x509 -x740 -x513 -x727 -x587 -x796 -x571 -x532 -x873 -x510 -x968 -x602
1799.92/1800.78	v -x598 -x903 -x818 -x653 -x781 -x631 -x722 -x965 -x511 -x787 -x942 -x866 -x690 -x945 -x620 -x941 -x520 -x613 -x639 -x708 -x744
1799.92/1800.78	v x618 x772 -x928 -x857 -x557 -x736 -x823 -x969 -x854 -x966 -x529 -x872 -x656 -x662 -x514 -x733 -x830 -x709 -x841 -x678 -x696
1799.92/1800.78	v -x739 -x767 -x810 -x876 -x797 -x619 -x746 -x952 -x556 -x880 -x989 -x638 -x682 -x516 -x765 -x729 -x842 -x851 -x694 -x535 -x915
1799.92/1800.78	v -x988 -x674 -x992 -x728 -x860 -x552 -x574 -x605 -x725 -x743 -x518 -x776 -x908 -x622 -x859 -x530 -x576 -x580 -x685 -x726 -x839
1799.92/1800.78	v -x519 -x819 -x929 -x644 -x905 -x944 -x640 -x539 -x629 -x689 -x870 -x707 -x731 -x521 -x918 -x971 -x991 -x1000 -x773 -x565
1799.92/1800.78	v -x567 -x597 -x954 -x522 -x645 -x591 -x955 -x670 -x526 -x734 -x853 -x698 -x856 -x849 -x612 -x623 -x829 -x800 -x553 -x666 -x702
1799.92/1800.78	v -x741 -x890 -x844 -x569 -x923 -x812 -x811 -x606 -x537 -x554 -x635 -x525 -x821 -x627 -x562 -x599 -x703 -x717 -x750 -x759 -x925
1799.92/1800.78	v -x563 -x683 -x897 -x551 -x572 -x974 -x632 -x882 -x547 -x867 -x932 -x979 -x931 -x934 -x895 -x661 -x664 -x700 -x603 -x646 -x669
1799.92/1800.78	v -x948 -x960 -x596 -x967 -x555 -x630 -x701 -x770 -x985 -x877 -x608 -x946 -x582 -x735 -x795 x889 -x994 -x680 -x919 -x888 -x913
1799.92/1800.78	v -x660 -x711 -x843 -x714 -x756 -x533 -x820 -x600 -x940 -x706 -x545 -x881 -x964 -x534 -x628 -x651 -x659 -x921 -x687 -x732 -x949
1799.92/1800.78	v -x793 -x973 -x886 -x723 -x617 -x536 -x641 -x899 -x542 -x579 -x995 -x748 -x861 -x643 -x885 -x615 -x962 -x827 -x760 -x846 -x581
1799.92/1800.78	v -x658 -x704 -x749 -x909 -x959 -x804 -x834 -x584 -x609 -x634 -x649 -x788 -x817 -x798 -x573 -x976 -x950 -x961 -x833 -x686 -x648
1799.92/1800.78	v -x667 -x779 -x840 -x693 -x550 -x786 -x901 -x972 -x790 -x892 -x762 -x594 -x604 -x558 -x813 -x831 -x902 -x963 -x947 -x768 -x791
1799.92/1800.78	v -x715 -x980 -x808 -x970 -x775 -x642 -x621 -x564 -x633 -x761 -x850 -x766 -x718 -x784 -x984 -x758 -x939 -x575 -x848 -x792 -x616
1799.92/1800.78	v -x826 -x719 -x978 -x672 -x745 -x912 -x951 -x655 -x681 -x721 -x742 -x753 -x977 -x990 -x956 -x769 -x883 -x983 -x577 -x657 -x987
1799.92/1800.78	v -x878 -x763 -x697 -x654 -x906 -x996 -x986 -x593 -x936 -x705 -x943 -x958 -x586 -x637 -x911 -x610 -x824 -x688 -x663 -x838 -x801
1799.92/1800.78	v -x855 -x665 -x845 -x910 -x713 -x752 -x875 -x907 -x695 -x924
1799.92/1800.78	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.92/1800.78	c   32   184155    414   345375   210942 142334133 184168    102 1800.01
1799.92/1800.78	c Objective: -13
1799.92/1800.78	s SATISFIABLE
1799.92/1800.78	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-13

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node66/watcher-455355-1178041875 -o ROOT/results/node66/solver-455355-1178041875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455355-1178041875/instance-455355-1178041875.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 5626
/proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=11928 CPUtime=0
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 280177134 12214272 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 2982 335 281 324 0 2003 0

[startup+0.0371391 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 5626
/proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=5900 CPUtime=0.03
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 834 0 0 0 3 0 0 0 18 0 1 0 280177134 6041600 803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 1475 804 310 324 0 496 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5900

[startup+0.101151 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 5626
/proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=10772 CPUtime=0.09
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2111 0 0 0 9 0 0 0 18 0 1 0 280177134 11030528 2032 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 2693 2033 302 324 0 1762 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10772

[startup+0.30119 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 5626
/proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=11100 CPUtime=0.29
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2172 0 0 0 29 0 0 0 19 0 1 0 280177134 11366400 2093 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 2775 2093 306 324 0 1844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11100

[startup+0.70127 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 5626
/proc/meminfo: memFree=1888616/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=11100 CPUtime=0.69
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2173 0 0 0 69 0 0 0 22 0 1 0 280177134 11366400 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 2775 2094 306 324 0 1844 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11100

[startup+1.50143 s]
/proc/loadavg: 0.92 0.98 0.97 2/65 5627
/proc/meminfo: memFree=1881376/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=11100 CPUtime=1.49
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2173 0 0 0 149 0 0 0 25 0 1 0 280177134 11366400 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 2775 2094 306 324 0 1844 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11100

[startup+3.10175 s]
/proc/loadavg: 0.93 0.98 0.97 2/65 5627
/proc/meminfo: memFree=1881248/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=11100 CPUtime=3.09
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2173 0 0 0 309 0 0 0 25 0 1 0 280177134 11366400 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 2775 2094 306 324 0 1844 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11100

[startup+6.30138 s]
/proc/loadavg: 0.93 0.98 0.97 2/65 5627
/proc/meminfo: memFree=1880928/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=11100 CPUtime=6.29
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 2173 0 0 0 628 1 0 0 25 0 1 0 280177134 11366400 2094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 2775 2094 306 324 0 1844 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11100

[startup+12.7017 s]
/proc/loadavg: 0.94 0.98 0.97 2/65 5627
/proc/meminfo: memFree=1872544/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=21152 CPUtime=12.68
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 5155 0 0 0 1254 14 0 0 25 0 1 0 280177134 21659648 4648 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 5288 4648 313 324 0 4357 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21152

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.97 2/65 5627
/proc/meminfo: memFree=1837216/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=54892 CPUtime=25.48
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 13601 0 0 0 2528 20 0 0 25 0 1 0 280177134 56209408 13094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 13723 13094 313 324 0 12792 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54892

[startup+51.1013 s]
/proc/loadavg: 1.03 1.00 0.98 2/65 5627
/proc/meminfo: memFree=1810016/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=82344 CPUtime=51.07
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 20457 0 0 0 5084 23 0 0 25 0 1 0 280177134 84320256 19950 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 20586 19950 313 324 0 19655 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82344

[startup+102.306 s]
/proc/loadavg: 1.07 1.02 0.98 2/65 5627
/proc/meminfo: memFree=1756320/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=135640 CPUtime=102.26
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 33789 0 0 0 10195 31 0 0 25 0 1 0 280177134 138895360 33282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 33910 33282 313 324 0 32979 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135640

[startup+162.301 s]
/proc/loadavg: 1.09 1.03 0.99 2/65 5627
/proc/meminfo: memFree=1700704/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=191424 CPUtime=162.23
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 47728 0 0 0 16181 42 0 0 25 0 1 0 280177134 196018176 47221 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 47856 47221 313 324 0 46925 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 191424

[startup+222.301 s]
/proc/loadavg: 1.08 1.03 0.99 2/65 5627
/proc/meminfo: memFree=1649888/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=241840 CPUtime=222.2
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 60336 0 0 0 22170 50 0 0 25 0 1 0 280177134 247644160 59829 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10272484 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 60460 59829 313 324 0 59529 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 241840

[startup+282.301 s]
/proc/loadavg: 1.03 1.03 0.99 2/65 5627
/proc/meminfo: memFree=1585312/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=306836 CPUtime=282.18
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 76586 0 0 0 28155 63 0 0 25 0 1 0 280177134 314200064 76079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 76709 76079 313 324 0 75778 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 306836

[startup+342.302 s]
/proc/loadavg: 1.11 1.05 1.00 2/65 5627
/proc/meminfo: memFree=1502048/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=390444 CPUtime=342.16
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 97462 0 0 0 34139 77 0 0 25 0 1 0 280177134 399814656 96955 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 97611 96955 313 324 0 96680 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 390444

[startup+402.301 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 5627
/proc/meminfo: memFree=1427680/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=464548 CPUtime=402.14
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 115995 0 0 0 40126 88 0 0 25 0 1 0 280177134 475697152 115488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 116137 115488 313 324 0 115206 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 464548

[startup+462.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 5627
/proc/meminfo: memFree=1360672/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=530888 CPUtime=462.12
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 132575 0 0 0 46112 100 0 0 25 0 1 0 280177134 543629312 132068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 132722 132068 313 324 0 131791 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 530888

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5627
/proc/meminfo: memFree=1278496/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=613500 CPUtime=522.09
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 153235 0 0 0 52095 114 0 0 25 0 1 0 280177134 628224000 152728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 153375 152728 313 324 0 152444 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 613500

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5627
/proc/meminfo: memFree=1195360/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=695796 CPUtime=582.07
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 173804 0 0 0 58079 128 0 0 25 0 1 0 280177134 712495104 173297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 173949 173297 313 324 0 173018 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 695796

[startup+642.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 5825
/proc/meminfo: memFree=1127248/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=763124 CPUtime=641.96
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 190648 0 0 0 64056 140 0 0 25 0 1 0 280177134 781438976 190141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 190781 190141 313 324 0 189850 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 763124


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=721504/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1168448 CPUtime=881.86
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 291975 0 0 0 87979 207 0 0 25 0 1 0 280177134 1196490752 291468 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 292112 291468 313 324 0 291181 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 1168448

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=663200/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1226352 CPUtime=941.84
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 306450 0 0 0 93968 216 0 0 25 0 1 0 280177134 1255784448 305943 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 306588 305943 313 324 0 305657 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 1226352

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=632480/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1256972 CPUtime=1001.82
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 314093 0 0 0 99961 221 0 0 25 0 1 0 280177134 1287139328 313586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 314243 313586 313 324 0 313312 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 1256972

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=602208/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1287364 CPUtime=1061.79
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 321720 0 0 0 105953 226 0 0 25 0 1 0 280177134 1318260736 321213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 321841 321213 313 324 0 320910 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 1287364

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=567712/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1321656 CPUtime=1121.77
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 330275 0 0 0 111945 232 0 0 25 0 1 0 280177134 1353375744 329768 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 330414 329768 313 324 0 329483 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 1321656

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=524768/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1364764 CPUtime=1181.76
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 341068 0 0 0 117936 240 0 0 25 0 1 0 280177134 1397518336 340561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 341191 340561 313 324 0 340260 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 1364764

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=482848/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1406424 CPUtime=1241.73
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 351460 0 0 0 123927 246 0 0 25 0 1 0 280177134 1440178176 350953 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 351606 350953 313 324 0 350675 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 1406424

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=439840/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1449072 CPUtime=1301.71
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 362126 0 0 0 129917 254 0 0 25 0 1 0 280177134 1483849728 361619 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550959 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 362268 361619 313 324 0 361337 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 1449072

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=402656/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1486436 CPUtime=1361.69
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 371459 0 0 0 135908 261 0 0 25 0 1 0 280177134 1522110464 370952 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 371609 370952 313 324 0 370678 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1486436

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=363424/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1525296 CPUtime=1421.66
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 381189 0 0 0 141899 267 0 0 25 0 1 0 280177134 1561903104 380682 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 381324 380682 313 324 0 380393 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 1525296

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=321504/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1567548 CPUtime=1481.63
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 391763 0 0 0 147889 274 0 0 25 0 1 0 280177134 1605169152 391256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 391887 391256 313 324 0 390956 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 1567548

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=280032/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1608592 CPUtime=1541.62
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 402008 0 0 0 153881 281 0 0 25 0 1 0 280177134 1647198208 401501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 402148 401501 313 324 0 401217 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 1608592

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=234912/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1654128 CPUtime=1601.6
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 413386 0 0 0 159871 289 0 0 25 0 1 0 280177134 1693827072 412879 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 413532 412879 313 324 0 412601 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 1654128

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=189664/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1698684 CPUtime=1661.57
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 424529 0 0 0 165860 297 0 0 25 0 1 0 280177134 1739452416 424022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 424671 424022 313 324 0 423740 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 1698684

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=137120/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1752024 CPUtime=1721.55
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 437862 0 0 0 171847 308 0 0 25 0 1 0 280177134 1794072576 437355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 438006 437355 313 324 0 437075 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 1752024

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=69152/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=1819300 CPUtime=1781.52
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194304 454686 0 0 0 177833 319 0 0 25 0 1 0 280177134 1862963200 454179 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 454825 454179 313 324 0 453894 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 1819300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=126688/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=0 CPUtime=1800.02
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194308 459449 0 0 0 179677 325 0 0 25 0 1 0 280177134 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5825
/proc/meminfo: memFree=126688/2055920 swapFree=4183004/4192956
[pid=5626] ppid=5624 vsize=0 CPUtime=1800.21
/proc/5626/stat : 5626 (bsolo3.0.16) R 5624 5626 4705 0 -1 4194308 459449 0 0 0 179677 344 0 0 25 0 1 0 280177134 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5626/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.07
CPU time (s): 1800.3
CPU user time (s): 1796.78
CPU system time (s): 3.51847
CPU usage (%): 99.957
Max. virtual memory (cumulated for all children) (KiB): 1838296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 3.51846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 3284

runsolver used 1.34479 second user time and 3.62745 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Tue May  1 17:51:16 UTC 2007

IDJOB= 455355
IDBENCH= 48258
IDSOLVER= 163
FILE ID= node66/455355-1178041875

PBS_JOBID= 4728438

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  162153f0f0e5f8f2e587b9d579ee09dc

RANDOM SEED= 951334057

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1889024 kB
Buffers:         21340 kB
Cached:          70304 kB
SwapCached:       3624 kB
Active:          73988 kB
Inactive:        29428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1889024 kB
SwapTotal:     4192956 kB
SwapFree:      4183004 kB
Dirty:            6912 kB
Writeback:           0 kB
Mapped:          17532 kB
Slab:            49568 kB
Committed_AS:  4057428 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node66 on Tue May  1 18:21:19 UTC 2007