Trace number 3737408

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: bsolo 3.0.17SAT (TO)-24 1800.16 1801.08

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_4.opb
MD5SUM95bfca9fba26d7f8c875796701522876
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-144
Best CPU time to get the best result obtained on this benchmark1796.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
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)12652
Sum of products size (including duplicates)25304
Number of different products6326
Sum of products size12652

Quality of the solution as a function of time


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

Solver Data

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 15500 MB
0.00/0.00	c Instance file HOME/instance-3737408-1338719149.opb
0.00/0.00	c File size is 193110 bytes.
0.00/0.04	c Highest Coefficient sum: 1000
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.036 s
0.00/0.05	c Var: 13652 Constr: 26806 13152/1002/12652 Lit: 91564 Watch. Lit: 77914
0.00/0.05	c Obj. Vars: 500 (3.66247 % of total variables)
2.79/2.89	c Pre-processing Time: 2.891 s
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26806    91564    3    77914  133312      0      0 2.89
2.99/3.00	c Switching off LPR mode.
2.99/3.00	o -1	2.9
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26807    92064    3    77917  133645      1      0 2.90
2.99/3.00	o -2	2.906
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26808    92564    3    77921  134145      2      0 2.91
2.99/3.00	o -3	2.911
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26809    93064    3    77926  134812      3      0 2.91
2.99/3.00	o -4	2.917
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26810    93564    3    77932  135645      4      0 2.92
2.99/3.00	o -5	2.923
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26811    94064    3    77939  136645      5      0 2.92
2.99/3.00	o -6	2.929
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26812    94564    3    77947  137645      6      0 2.93
2.99/3.00	o -7	2.934
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26813    95064    3    77956  138645      7      0 2.94
2.99/3.00	o -8	2.94
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26814    95564    3    77966  139645      8      0 2.94
2.99/3.00	o -9	2.946
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26815    96064    3    77977  140645      9      0 2.95
2.99/3.00	o -10	2.952
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26816    96564    3    77989  141645     10      0 2.95
2.99/3.00	o -11	2.957
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26817    97064    3    78002  142645     11      0 2.96
2.99/3.00	o -12	2.963
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26818    97564    3    78016  143645     12      0 2.96
2.99/3.00	o -13	2.969
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26819    98064    3    78031  144645     13      0 2.97
2.99/3.00	o -14	2.975
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26820    98564    3    78047  145645     14      0 2.98
2.99/3.00	o -15	2.98
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26821    99064    3    78064  146645     15      0 2.98
2.99/3.00	o -16	2.986
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26822    99564    3    78082  147645     16      0 2.99
2.99/3.00	o -17	2.992
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c        0  13652    26823   100064    3    78101  148645     17      0 2.99
2.99/3.00	o -18	2.998
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13652    26824   100564    3    78121  149645     18      0 3.00
2.99/3.01	o -19	3.004
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c        0  13652    26825   101064    3    78142  150645     19      0 3.00
2.99/3.01	o -20	3.01
2.99/3.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.02	c        0  13652    26826   101564    3    78164  151645     20      0 3.01
2.99/3.02	o -21	3.015
2.99/3.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.02	c        0  13652    26827   102064    3    78187  152645     21      0 3.02
2.99/3.02	o -22	3.021
2.99/3.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.04	c        0  13652    26828   102564    3    78211  153645     22      0 3.02
2.99/3.04	o -23	3.036
6.19/6.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.27	c        2  13652    26831   104311    3    78240  153645     25      0 3.04
6.19/6.27	c      102  13652    26931   162812    6    78440  169010    125     31 3.25
6.19/6.27	c      352  13652    27181   307978   11    78940  185912    375     90 3.89
6.19/6.27	c      827  13652    27656   616352   22    79890  204504    850    166 4.96
6.19/6.27	c     1640  13652    28469  1255165   44    81516  224955   1663    268 6.11
6.19/6.27	o -24	6.268
1800.08/1801.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1801.00	c     1886  13652    28716  1474354   51    82034  153645   1910    300 6.27
1800.08/1801.00	c     1986  13652    28816  1529182   53    82234  169010   2010    287 6.91
1800.08/1801.00	c     2236  13652    29066  1704514   58    82734  185912   2260    288 7.75
1800.08/1801.00	c     2711  13652    29541  2046020   69    83684  204504   2735    280 9.67
1800.08/1801.00	c     3524  13652    30354  2619073   86    85310  224955   3548    278 12.65
1800.08/1801.00	c     4844  13652    31674  3465804  109    87950  247451   4868    289 16.74
1800.08/1801.00	c     6925  13652    33755  4934004  146    92112  272197   6949    285 24.27
1800.08/1801.00	c    10148  13652    36978  7192638  194    98558  299417  10172    272 37.28
1800.08/1801.00	c    15084  13652    41914 10617874  253   108430  329359  15108    283 53.17
1800.08/1801.00	c    22590  13652    49420 15945323  322   123442  362295  22614    294 76.75
1800.08/1801.00	c    33951  13652    60781 23987964  394   146164  398525  33975    298 113.61
1800.08/1801.00	c    51095  13652    77925 35976834  461   180452  438378  51119    317 160.87
1800.08/1801.00	c    76914  13652   103744 55492101  534   232090  482216  76938    330 232.89
1800.08/1801.00	c   115746  13652   142576 84099494  589   309754  530438 115770    324 356.23
1800.08/1801.00	c   174098  13652   200928 126554160  629   426458  583482 174122    276 630.64
1800.08/1801.00	c   261730  13652   288560 193268719  669   601722  641831 261754    242 1081.04
1800.08/1801.00	c   393282  13652   420112 290022786  690   864826  706015 393306    230 1703.37
1800.08/1801.00	c Caught signal: 15
1800.08/1801.00	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 -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 -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 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x802 -x584 -x775 -x827 -x864 -x538 -x526 -x529 -x886 -x545 -x510 -x541 -x555 -x623 -x811 -x982 -x501 x955 x715 x965 x904 x915 x903 x942 x902 x650 x718 -x519 x597 -x648 x741 x769 x894 x961 -x502 -x605 -x969 -x780 -x574 -x719 -x823 -x883 -x721 -x821 -x631 -x557 -x635 -x688 -x848 -x503 -x874 -x905 -x757 -x700 -x620 -x795 -x725 -x984 -x962 -x570 -x595 -x601 -x613 -x784 -x801 -x926 -x504 -x880 -x777 -x676 -x845 -x532 -x943 -x599 -x973 -x844 -x748 -x517 -x560 -x701 -x963 -x972 -x505 -x690 -x948 -x568 -x822 x873 -x787 -x996 -x755 -x507 -x817 -x509 -x633 -x999 -x506 -x738 -x732 -x573 -x994 -x932 -x692 -x640 -x508 -x527 -x575 -x628 -x783 -x966 -x970 -x907 -x591 -x997 -x603 -x974 -x939 -x569 -x612 -x752 -x754 -x778 -x807 -x947 -x634 -x800 -x988 -x933 -x868 -x661 -x806 -x657 -x524 -x528 -x705 -x746 -x889 -x990 -x912 -x825 -x749 -x847 -x878 -x940 -x986 -x609 -x671 -x681 x967 -x707 x742 -x703 x544 x699 x763 -x810 x816 -x511 -x879 -x513 x627 x678 -x853 -x897 -x865 -x717 -x776 -x808 -x819 -x954 -x512 -x521 -x980 -x765 -x697 -x981 -x712 -x945 -x589 -x571 -x668 -x695 -x756 -x766 -x920 -x949 -x983 -x885 -x664 -x826 -x884 -x927 -x556 -x632 -x670 -x711 -x727 -x815 -x842 -x882 -x950 -x514 -x771 -x910 -x660 -x987 -x852 -x598 -x515 -x537 -x724 -x869 -x921 -x849 -x638 -x542 -x602 -x645 -x745 -x854 -x893 -x516 -x578 -x655 -x639 -x577 -x608 -x785 -x682 -x860 -x770 -x679 -x803 -x590 -x587 -x641 -x653 -x731 -x798 -x518 -x979 -x896 -x730 -x674 -x547 -x663 -x592 -x647 -x708 -x773 -x992 -x866 -x614 -x758 -x610 -x764 -x938 -x520 -x530 -x563 -x794 -x922 -x813 -x543 -x843 -x820 -x985 -x781 -x539 -x768 -x702 -x553 -x714 -x716 -x522 -x559 -x956 -x596 -x566 -x629 -x792 -x523 -x976 -x696 -x888 -x871 -x616 -x667 -x890 -x855 -x959 -x669 -x549 -x579 -x689 -x704 -x525 -x739 -x685 -x841 -x928 -x551 -x586 -x625 -x805 -x585 -x531 -x622 -x892 -x762 -x989 -x779 -x899 -x607 -x665 -x693 -x934 -x642 -x930 -x887 -x991 -x644 -x975 -x606 -x836 -x554 -x824 -x617 -x687 -x593 -x600 -x953 -x540 -x799 -x916 -x833 -x604 -x977 -x720 -x856 -x908 -x909 -x941 -x951 -x533 -x968 -x809 -x957 -x536 -x858 -x898 -x534 -x851 -x840 -x747 -x832 -x786 -x649 -x535 -x850 -x637 -x581 -x546 -x900 -x630 -x919 -x548 -x935 -x750 -x918 -x790 -x1000 -x624 -x978 -x837 -x877 -x924 -x673 -x675 -x561 -x588 -x767 -x791 -x839 -x550 -x863 -x651 -x652 -x881 -x937 -x672 -x788 -x876 -x772 -x751 -x958 -x872 -x710 -x793 -x857 -x662 -x621 -x618 -x782 -x911 -x564 -x875 -x960 -x619 -x654 -x913 -x834 -x796 -x582 -x936 -x583 -x552 -x734 -x759 -x677 -x891 -x952 -x709 -x694 -x925 -x862 -x666 -x691 -x558 -x814 -x838 -x760 -x658 -x686 -x789 -x929 -x565 -x722 -x728 -x867 -x562 -x626 -x698 -x706 -x646 -x901 -x740 -x895 -x656 -x576 -x680 -x971 -x861 -x567 -x835 -x931 -x998 -x736 -x743 -x831 -x572 -x870 -x944 -x744 -x995 -x594 -x611 -x828 -x659 -x580 -x846 -x859 -x797 -x615 -x804 -x726 -x829 -x723 -x735 -x761 -x643 -x713 -x683 -x733 -x917 -x964 -x993 -x946 -x684 -x729 -x923 -x737 -x906 -x812 -x636 -x818 -x753 -x914 -x830 -x774 
1800.08/1801.00	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1801.00	c   44   432987    418   724029   459817 314289006 433011    240 1800.09
1800.08/1801.00	c Objective: -24
1800.08/1801.00	s SATISFIABLE
1800.08/1801.00	c Total time: 1800.09 s

Verifier Data

OK	-24

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737408-1338719149/watcher-3737408-1338719149 -o /tmp/evaluation-result-3737408-1338719149/solver-3737408-1338719149 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737408-1338719149.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4194304 194 0 0 0 0 0 0 0 20 0 1 0 338040730 4583424 144 33554432000 134512640 135840783 4286692672 4286691640 5762376 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 1119 148 130 325 0 39 0

[startup+0.0530459 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=0.04 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2243 0 0 0 4 0 0 0 20 0 1 0 338040730 11952128 2131 33554432000 134512640 135840783 4286692672 4286527964 16200752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2131 345 325 0 1854 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11672

[startup+0.100248 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=0.09 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2248 0 0 0 9 0 0 0 20 0 1 0 338040730 11952128 2136 33554432000 134512640 135840783 4286692672 4286527600 1579756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2136 345 325 0 1854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11672

[startup+0.300199 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=0.29 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2249 0 0 0 29 0 0 0 20 0 1 0 338040730 11952128 2137 33554432000 134512640 135840783 4286692672 4286527824 134551727 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2137 345 325 0 1854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11672

[startup+0.700193 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=0.68 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2249 0 0 0 68 0 0 0 20 0 1 0 338040730 11952128 2137 33554432000 134512640 135840783 4286692672 4286527936 134583223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2137 345 325 0 1854 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11672

[startup+1.5002 s]
/proc/loadavg: 1.92 1.98 1.96 3/177 18874
/proc/meminfo: memFree=30505572/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=1.48 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2249 0 0 0 148 0 0 0 20 0 1 0 338040730 11952128 2137 33554432000 134512640 135840783 4286692672 4286527600 1579748 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2137 345 325 0 1854 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11672

[startup+3.1002 s]
/proc/loadavg: 1.92 1.98 1.96 3/177 18874
/proc/meminfo: memFree=30504952/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=12248 CPUtime=3.09 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2854 0 0 0 307 2 0 0 20 0 1 0 338040730 12541952 2313 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 3062 2313 351 325 0 1998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12248

[startup+6.30024 s]
/proc/loadavg: 1.93 1.98 1.96 3/177 18874
/proc/meminfo: memFree=30495204/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=29776 CPUtime=6.29 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 7240 0 0 0 626 3 0 0 20 0 1 0 338040730 30490624 6699 33554432000 134512640 135840783 4286692672 4286692024 14506187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 7444 6699 351 325 0 6380 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29776

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.96 3/176 18874
/proc/meminfo: memFree=30472200/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=44524 CPUtime=12.68 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 10940 0 0 0 1265 3 0 0 20 0 1 0 338040730 45592576 10399 33554432000 134512640 135840783 4286692672 4286691844 1577073 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 11131 10399 351 325 0 10067 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44524

[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.96 3/177 18875
/proc/meminfo: memFree=30439860/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=75832 CPUtime=25.48 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 18756 0 0 0 2543 5 0 0 20 0 1 0 338040730 77651968 18211 33554432000 134512640 135840783 4286692672 4286692032 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 18958 18211 351 325 0 17894 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75832

[startup+51.1003 s]
/proc/loadavg: 1.90 1.97 1.95 3/177 18914
/proc/meminfo: memFree=30352644/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=141272 CPUtime=51.06 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 35142 0 0 0 5097 9 0 0 20 0 1 0 338040730 144662528 34573 33554432000 134512640 135840783 4286692672 4286691968 134572646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 35318 34573 351 325 0 34254 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 141272

[startup+102.307 s]
/proc/loadavg: 1.95 1.97 1.95 3/178 18915
/proc/meminfo: memFree=30060296/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=287392 CPUtime=102.24 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 71698 0 0 0 10208 16 0 0 20 0 1 0 338040730 294289408 71100 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 71848 71100 351 325 0 70784 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 287392

[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.95 3/177 18915
/proc/meminfo: memFree=29778108/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=477660 CPUtime=162.2 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 119326 0 0 0 16194 26 0 0 20 0 1 0 338040730 489123840 118688 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 119415 118688 351 325 0 118351 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 477660

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18915
/proc/meminfo: memFree=29491080/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=682032 CPUtime=222.16 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 170445 0 0 0 22178 38 0 0 20 0 1 0 338040730 698400768 169770 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 170508 169770 351 325 0 169444 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 682032

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 18918
/proc/meminfo: memFree=29201568/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=929788 CPUtime=282.13 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 232426 0 0 0 28162 51 0 0 20 0 1 0 338040730 952102912 231720 33554432000 134512640 135840783 4286692672 4286692032 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 232447 231720 351 325 0 231383 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 929788

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18919
/proc/meminfo: memFree=29029988/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1069696 CPUtime=342.09 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 267405 0 0 0 34148 61 0 0 20 0 1 0 338040730 1095368704 266669 33554432000 134512640 135840783 4286692672 4286692032 134551383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 267424 266669 351 325 0 266360 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 1069696

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18919
/proc/meminfo: memFree=28933544/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1166312 CPUtime=402.06 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 291605 0 0 0 40135 71 0 0 20 0 1 0 338040730 1194303488 290839 33554432000 134512640 135840783 4286692672 4286691968 134572600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 291578 290839 351 325 0 290514 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 1166312

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18919
/proc/meminfo: memFree=28840820/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1258872 CPUtime=462.03 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 314780 0 0 0 46125 78 0 0 20 0 1 0 338040730 1289084928 313981 33554432000 134512640 135840783 4286692672 4286692032 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 314718 313981 351 325 0 313654 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 1258872

[startup+522.301 s]
/proc/loadavg: 2.04 1.99 1.96 3/177 18919
/proc/meminfo: memFree=28729000/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1371104 CPUtime=522 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 342875 0 0 0 52113 87 0 0 20 0 1 0 338040730 1404010496 342041 33554432000 134512640 135840783 4286692672 4286692032 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 342776 342041 351 325 0 341712 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 1371104

[startup+582.3 s]
/proc/loadavg: 2.01 1.99 1.96 3/177 18919
/proc/meminfo: memFree=28592752/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1506676 CPUtime=581.96 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 376805 0 0 0 58099 97 0 0 20 0 1 0 338040730 1542836224 375935 33554432000 134512640 135840783 4286692672 4286691968 134572603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 376669 375935 351 325 0 375605 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 1506676

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.00 1.96 3/177 18920
/proc/meminfo: memFree=28032764/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2065472 CPUtime=821.84 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 516623 0 0 0 82047 137 0 0 20 0 1 0 338040730 2115043328 515639 33554432000 134512640 135840783 4286692672 4286692032 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 516368 515639 351 325 0 515304 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 2065472

[startup+882.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 18923
/proc/meminfo: memFree=27946116/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2150960 CPUtime=881.81 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 538011 0 0 0 88036 145 0 0 20 0 1 0 338040730 2202583040 536994 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 537740 536994 351 325 0 536676 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 2150960

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27847200/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2243552 CPUtime=941.78 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 561206 0 0 0 94025 153 0 0 20 0 1 0 338040730 2297397248 560156 33554432000 134512640 135840783 4286692672 4286692032 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 560888 560156 351 325 0 559824 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 2243552

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27722236/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2336504 CPUtime=1001.75 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 584458 0 0 0 100014 161 0 0 20 0 1 0 338040730 2392580096 583373 33554432000 134512640 135840783 4286692672 4286692032 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 584126 583373 351 325 0 583062 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 2336504

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27580036/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2450224 CPUtime=1061.72 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 612912 0 0 0 106002 170 0 0 20 0 1 0 338040730 2509029376 611798 33554432000 134512640 135840783 4286692672 4286691932 14469908 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 612556 611798 351 325 0 611492 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 2450224

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27408824/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2589296 CPUtime=1121.7 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 647717 0 0 0 111992 178 0 0 20 0 1 0 338040730 2651439104 646576 33554432000 134512640 135840783 4286692672 4286691972 1587787 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 647324 646576 351 325 0 646260 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 2589296

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27210328/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2753604 CPUtime=1181.67 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 688809 0 0 0 117977 190 0 0 20 0 1 0 338040730 2819690496 687657 33554432000 134512640 135840783 4286692672 4286691984 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 688401 687657 351 325 0 687337 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 2753604

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26966944/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2957900 CPUtime=1241.64 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 739916 0 0 0 123960 204 0 0 20 0 1 0 338040730 3028889600 738743 33554432000 134512640 135840783 4286692672 4286692032 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 739475 738743 351 325 0 738411 0
Current children cumulated CPU time (s) 1241.64
Current children cumulated vsize (KiB) 2957900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26875460/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3015248 CPUtime=1301.61 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 754280 0 0 0 129953 208 0 0 20 0 1 0 338040730 3087613952 753072 33554432000 134512640 135840783 4286692672 4286692032 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 753812 753072 351 325 0 752748 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 3015248

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26771824/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3084348 CPUtime=1361.57 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 771576 0 0 0 135942 215 0 0 20 0 1 0 338040730 3158372352 770336 33554432000 134512640 135840783 4286692672 4286692032 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 771087 770336 351 325 0 770023 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 3084348

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26668560/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3156036 CPUtime=1421.55 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 789552 0 0 0 141933 222 0 0 20 0 1 0 338040730 3231780864 788277 33554432000 134512640 135840783 4286692672 4286692032 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 789009 788277 351 325 0 787945 0
Current children cumulated CPU time (s) 1421.55
Current children cumulated vsize (KiB) 3156036

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18928
/proc/meminfo: memFree=26557984/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3241568 CPUtime=1481.51 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 810951 0 0 0 147921 230 0 0 20 0 1 0 338040730 3319365632 809645 33554432000 134512640 135840783 4286692672 4286691984 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 810392 809645 351 325 0 809328 0
Current children cumulated CPU time (s) 1481.51
Current children cumulated vsize (KiB) 3241568

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=26427328/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3355504 CPUtime=1541.49 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 839462 0 0 0 153911 238 0 0 20 0 1 0 338040730 3436036096 838140 33554432000 134512640 135840783 4286692672 4286692024 14506192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 838876 838140 351 325 0 837812 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 3355504

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=26277192/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3491268 CPUtime=1601.46 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 873431 0 0 0 159900 246 0 0 20 0 1 0 338040730 3575058432 872084 33554432000 134512640 135840783 4286692672 4286692032 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 872817 872084 351 325 0 871753 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 3491268

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=26127676/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3625868 CPUtime=1661.44 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 907085 0 0 0 165888 256 0 0 20 0 1 0 338040730 3712888832 905729 33554432000 134512640 135840783 4286692672 4286682016 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 906467 905729 351 325 0 905403 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 3625868

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=25943192/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3793264 CPUtime=1721.41 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 948945 0 0 0 171876 265 0 0 20 0 1 0 338040730 3884302336 947573 33554432000 134512640 135840783 4286692672 4286692032 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 948316 947573 351 325 0 947252 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 3793264

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=25744572/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3990916 CPUtime=1781.38 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 998327 0 0 0 177861 277 0 0 20 0 1 0 338040730 4086697984 996936 33554432000 134512640 135840783 4286692672 4286692032 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 997729 996936 351 325 0 996665 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (KiB) 3990916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=25683284/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=4050344 CPUtime=1800.08 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 1013223 0 0 0 179727 281 0 0 20 0 1 0 338040730 4147552256 1011822 33554432000 134512640 135840783 4286692672 4286692032 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 1012586 1011822 351 325 0 1011522 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 4050344

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

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

Child status: 15
Real time (s): 1801.08
CPU time (s): 1800.16
CPU user time (s): 1797.27
CPU system time (s): 2.88756
CPU usage (%): 99.949
Max. virtual memory (cumulated for all children) (KiB): 4050344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.27
system time used= 2.88756
maximum resident set size= 4047288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1013226
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= 1081
involuntary context switches= 1803

runsolver used 4.66129 second user time and 8.00278 second system time

The end

Launcher Data

Begin job on node124 at 2012-06-03 12:25:49
IDJOB=3737408
IDBENCH=48234
IDSOLVER=2318
FILE ID=node124/3737408-1338719149
RUNJOBID= node124-1338713740-18446
PBS_JOBID= 14636741
Free space on /tmp= 70704 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737408-1338719149/watcher-3737408-1338719149 -o /tmp/evaluation-result-3737408-1338719149/solver-3737408-1338719149 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737408-1338719149.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876
RANDOM SEED=1626453503

node124.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5357.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30513192 kB
Buffers:          195176 kB
Cached:          1376376 kB
SwapCached:         8268 kB
Active:           415976 kB
Inactive:        1178140 kB
Active(anon):      16024 kB
Inactive(anon):     8240 kB
Active(file):     399952 kB
Inactive(file):  1169900 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              6612 kB
Writeback:             0 kB
AnonPages:         20828 kB
Mapped:            10368 kB
Shmem:                 0 kB
Slab:             629688 kB
SReclaimable:      74244 kB
SUnreclaim:       555444 kB
KernelStack:        1488 kB
PageTables:         4216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     136592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70696 MiB
End job on node124 at 2012-06-03 12:55:52