Trace number 455361

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)-13 1800.35 1800.9

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

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/node26/watcher-455361-1178041965 -o ROOT/results/node26/solver-455361-1178041965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455361-1178041965/instance-455361-1178041965.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 1533
/proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=11928 CPUtime=0
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 252113327 12214272 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 2982 334 279 324 0 2004 0

[startup+0.0370991 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 1533
/proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=5900 CPUtime=0.03
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 818 0 0 0 3 0 0 0 18 0 1 0 252113327 6041600 788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 1475 789 307 324 0 497 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5900

[startup+0.101115 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 1533
/proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=10376 CPUtime=0.08
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2012 0 0 0 8 0 0 0 18 0 1 0 252113327 10625024 1934 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 2594 1935 300 324 0 1664 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10376

[startup+0.301122 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 1533
/proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=11100 CPUtime=0.29
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2169 0 0 0 28 1 0 0 19 0 1 0 252113327 11366400 2091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 2775 2091 304 324 0 1845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11100

[startup+0.701159 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 1533
/proc/meminfo: memFree=1783744/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=11100 CPUtime=0.69
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2170 0 0 0 68 1 0 0 23 0 1 0 252113327 11366400 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 2775 2092 304 324 0 1845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11100

[startup+1.50123 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1776504/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=11100 CPUtime=1.49
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2170 0 0 0 148 1 0 0 25 0 1 0 252113327 11366400 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 2775 2092 304 324 0 1845 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11100

[startup+3.10138 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1776120/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=11100 CPUtime=3.09
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2170 0 0 0 308 1 0 0 25 0 1 0 252113327 11366400 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 2775 2092 304 324 0 1845 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11100

[startup+6.30168 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1776120/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=11100 CPUtime=6.29
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 2170 0 0 0 628 1 0 0 25 0 1 0 252113327 11366400 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 2775 2092 304 324 0 1845 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11100

[startup+12.7013 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1767496/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=21280 CPUtime=12.69
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 5193 0 0 0 1263 6 0 0 25 0 1 0 252113327 21790720 4687 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 5320 4687 311 324 0 4390 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21280

[startup+25.5025 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1732552/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=55020 CPUtime=25.49
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 13609 0 0 0 2539 10 0 0 25 0 1 0 252113327 56340480 13103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 13755 13103 311 324 0 12825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55020

[startup+51.1018 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1705288/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=82472 CPUtime=51.07
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 20482 0 0 0 5093 14 0 0 25 0 1 0 252113327 84451328 19976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 20618 19976 311 324 0 19688 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82472

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1651400/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=136012 CPUtime=102.25
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 33860 0 0 0 10204 21 0 0 25 0 1 0 252113327 139276288 33354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 34003 33354 311 324 0 33073 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 136012

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1595912/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=191676 CPUtime=162.24
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 47791 0 0 0 16193 31 0 0 25 0 1 0 252113327 196276224 47285 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 47919 47285 311 324 0 46989 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 191676

[startup+222.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1545032/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=242216 CPUtime=222.23
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 60402 0 0 0 22184 39 0 0 25 0 1 0 252113327 248029184 59896 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 60554 59896 311 324 0 59624 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 242216

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1480136/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=307716 CPUtime=282.21
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 76776 0 0 0 28171 50 0 0 25 0 1 0 252113327 315101184 76270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 76929 76270 311 324 0 75999 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 307716

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 3/78 1534
/proc/meminfo: memFree=1396040/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=390948 CPUtime=342.19
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 97588 0 0 0 34158 61 0 0 25 0 1 0 252113327 400330752 97082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 97737 97082 311 324 0 96807 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 390948

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1321864/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=466416 CPUtime=402.18
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 116469 0 0 0 40147 71 0 0 25 0 1 0 252113327 477609984 115963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 116604 115963 311 324 0 115674 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 466416

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1534
/proc/meminfo: memFree=1254024/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=532760 CPUtime=462.16
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 133056 0 0 0 46135 81 0 0 25 0 1 0 252113327 545546240 132550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 133190 132550 311 324 0 132260 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 532760

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/84 1672
/proc/meminfo: memFree=1170880/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=616116 CPUtime=522.08
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 153878 0 0 0 52114 94 0 0 25 0 1 0 252113327 630902784 153372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 154029 153372 311 324 0 153099 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 616116

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=1088392/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=698048 CPUtime=582.04
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 174368 0 0 0 58097 107 0 0 25 0 1 0 252113327 714801152 173862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 174512 173862 311 324 0 173582 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 698048

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=1019912/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=766004 CPUtime=642.03
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 191376 0 0 0 64087 116 0 0 25 0 1 0 252113327 784388096 190870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 191501 190870 311 324 0 190571 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 766004


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=607944/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1177564 CPUtime=881.97
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 294260 0 0 0 88024 173 0 0 25 0 1 0 252113327 1205825536 293754 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 294391 293754 311 324 0 293461 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 1177564

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=558088/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1227244 CPUtime=941.95
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 306669 0 0 0 94015 180 0 0 25 0 1 0 252113327 1256697856 306163 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 306811 306163 311 324 0 305881 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 1227244

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=526664/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1258480 CPUtime=1001.94
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 314487 0 0 0 100008 186 0 0 25 0 1 0 252113327 1288683520 313981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 314620 313981 311 324 0 313690 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1258480

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=496520/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1288872 CPUtime=1061.93
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 322066 0 0 0 106003 190 0 0 25 0 1 0 252113327 1319804928 321560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 322218 321560 311 324 0 321288 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 1288872

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=459976/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1325056 CPUtime=1121.91
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 331121 0 0 0 111995 196 0 0 25 0 1 0 252113327 1356857344 330615 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 331264 330615 311 324 0 330334 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1325056

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=417416/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1368032 CPUtime=1181.89
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 341858 0 0 0 117986 203 0 0 25 0 1 0 252113327 1400864768 341352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 342008 341352 311 324 0 341078 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1368032

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=375368/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1409824 CPUtime=1241.87
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 352324 0 0 0 123977 210 0 0 25 0 1 0 252113327 1443659776 351818 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 352456 351818 311 324 0 351526 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1409824

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=332872/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1451720 CPUtime=1301.87
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 362801 0 0 0 129969 218 0 0 25 0 1 0 252113327 1486561280 362295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 362930 362295 311 324 0 362000 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1451720

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=295368/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1489452 CPUtime=1361.85
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 372223 0 0 0 135962 223 0 0 25 0 1 0 252113327 1525198848 371717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 372363 371717 311 324 0 371433 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1489452

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=255048/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1529724 CPUtime=1421.83
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 382297 0 0 0 141954 229 0 0 25 0 1 0 252113327 1566437376 381791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 382431 381791 311 324 0 381501 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1529724

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=214280/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1570576 CPUtime=1481.82
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 392491 0 0 0 147946 236 0 0 25 0 1 0 252113327 1608269824 391985 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 392644 391985 311 324 0 391714 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1570576

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=172488/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1612120 CPUtime=1541.81
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 402877 0 0 0 153937 244 0 0 25 0 1 0 252113327 1650810880 402371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 403030 402371 311 324 0 402100 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1612120

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=127432/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1657420 CPUtime=1601.8
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 414223 0 0 0 159930 250 0 0 25 0 1 0 252113327 1697198080 413717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 414355 413717 311 324 0 413425 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1657420

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=82824/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1701852 CPUtime=1661.78
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 425323 0 0 0 165922 256 0 0 25 0 1 0 252113327 1742696448 424817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 425463 424817 311 324 0 424533 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1701852

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 1737
/proc/meminfo: memFree=26888/2055920 swapFree=4170240/4192956
[pid=1533] ppid=1531 vsize=1757712 CPUtime=1721.76
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 439298 0 0 0 171913 263 0 0 25 0 1 0 252113327 1799897088 438792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 439428 438792 311 324 0 438498 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1757712

[startup+1782.3 s]
/proc/loadavg: 1.07 1.01 1.00 2/78 1737
/proc/meminfo: memFree=16200/2055920 swapFree=4170204/4192956
[pid=1533] ppid=1531 vsize=1824596 CPUtime=1781.74
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 456018 0 0 0 177901 273 0 0 25 0 1 0 252113327 1868386304 455512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 456149 455512 311 324 0 455219 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1824596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 1737
/proc/meminfo: memFree=15496/2055920 swapFree=4170208/4192956
[pid=1533] ppid=1531 vsize=1842656 CPUtime=1800.05
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194304 460533 0 0 0 179729 276 0 0 25 0 1 0 252113327 1886879744 460027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 460664 460027 311 324 0 459734 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1842656

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

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

[startup+1800.8 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 1737
/proc/meminfo: memFree=15496/2055920 swapFree=4170208/4192956
[pid=1533] ppid=1531 vsize=0 CPUtime=1800.24
/proc/1533/stat : 1533 (bsolo3.0.17) R 1531 1533 674 0 -1 4194308 460537 0 0 0 179729 295 0 0 25 0 1 0 252113327 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/1533/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.9
CPU time (s): 1800.35
CPU user time (s): 1797.29
CPU system time (s): 3.05653
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1842656

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

runsolver used 1.37379 second user time and 3.89041 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue May  1 17:52:45 UTC 2007

IDJOB= 455361
IDBENCH= 48258
IDSOLVER= 199
FILE ID= node26/455361-1178041965

PBS_JOBID= 4728408

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  162153f0f0e5f8f2e587b9d579ee09dc

RANDOM SEED= 262682046

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1784160 kB
Buffers:         55728 kB
Cached:         119492 kB
SwapCached:       3416 kB
Active:         121160 kB
Inactive:        83832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1784160 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            6772 kB
Writeback:           0 kB
Mapped:          35908 kB
Slab:            52412 kB
Committed_AS:  2471532 kB
PageTables:       1728 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node26 on Tue May  1 18:22:48 UTC 2007