Trace number 3462863

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
bsolo 3.2SAT-45 1798.03 1797.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_3.opb
MD5SUM27440fbcb5a9ea2c9ae6b100e77dc1d3
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-57
Best CPU time to get the best result obtained on this benchmark1797.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -60
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4976
Sum of products size (including duplicates)9952
Number of different products2488
Sum of products size4976

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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462863-1307184397.opb
0.00/0.00	c File size is 74409 bytes.
0.00/0.01	c Highest Coefficient sum: 400
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.01 s
0.00/0.01	c Var: 5376 Constr: 10554 5176/402/4976 Lit: 36032 Watch. Lit: 30658
0.00/0.01	c Obj. Vars: 200 (3.72024 % of total variables)
1.10/1.17	c Pre-processing Time: 1.177 s
1.10/1.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.18	c        0   5376    10554    36032    3    30658   53214      0      0 1.18
1.10/1.18	c Switching off lower bounding mode.
1.10/1.18	o -1
1.10/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.19	c        0   5376    10555    36232    3    30661   53347      1      0 1.18
1.10/1.19	o -2
1.19/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.20	c        1   5376    10558    36832    3    30670   53414      4      0 1.19
1.19/1.20	o -3
1.19/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.20	c        2   5376    10561    37455    3    30681   53481      7      1 1.20
1.19/1.20	o -4
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c        3   5376    10564    38068    3    30694   53547     10      2 1.21
1.19/1.21	o -5
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c        4   5376    10567    38691    3    30709   53614     13      3 1.22
1.19/1.22	o -6
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c        5   5376    10570    39326    3    30726   53681     16      4 1.22
1.19/1.23	o -7
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c        8   5376    10575    39967    3    30749   53747     21      6 1.23
1.19/1.24	o -8
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c        9   5376    10578    40610    3    30770   53814     24      7 1.24
1.19/1.24	o -9
1.19/1.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.25	c       13   5376    10584    41263    3    30799   53881     30     10 1.25
1.19/1.25	o -10
1.19/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.26	c       17   5376    10590    41917    3    30830   53947     36     13 1.25
1.19/1.26	o -11
1.19/1.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.27	c       36   5376    10611    45818    4    30893   54014     57     28 1.26
1.19/1.27	o -12
1.19/1.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.28	c       46   5376    10623    48192    4    30940   54081     69     36 1.27
1.19/1.28	o -13
1.19/1.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.28	c       52   5376    10631    48887    4    30981   54147     77     40 1.28
1.19/1.28	o -14
1.19/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.29	c       56   5376    10637    49589    4    31020   54214     83     43 1.29
1.19/1.29	o -15
1.29/1.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.30	c       62   5376    10645    50297    4    31065   54214     91     47 1.29
1.29/1.30	o -16
1.29/1.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.30	c       64   5376    10649    50995    4    31104   54214     95     49 1.30
1.29/1.30	o -17
1.29/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.31	c       72   5376    10659    51712    4    31157   54214    105     55 1.31
1.29/1.31	o -18
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c       80   5376    10669    52430    4    31212   54214    115     60 1.31
1.29/1.32	o -19
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c       85   5376    10676    53157    4    31263   54214    122     64 1.32
1.29/1.32	o -20
1.29/1.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.33	c       90   5376    10683    53882    5    31316   54214    129     67 1.33
1.29/1.33	o -21
1.29/1.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.37	c      103   5376    10698    54633    5    31387   54214    144     77 1.33
1.29/1.37	o -22
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c      199   5376    10796    72339    6    31626   54214    242    145 1.37
1.29/1.38	o -23
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c      212   5376    10811    74838    6    31701   54214    257    153 1.38
1.29/1.38	o -24
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c      218   5376    10819    75741    7    31764   54214    265    157 1.38
1.29/1.39	o -25
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c      235   5376    10838    76513    7    31851   54214    284    168 1.39
1.39/1.40	o -26
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c      239   5376    10844    77251    7    31914   54214    290    170 1.40
1.39/1.40	o -27
1.39/1.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.41	c      244   5376    10851    77998    7    31981   54214    297    173 1.41
1.39/1.41	o -28
1.39/1.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.42	c      255   5376    10864    78763    7    32062   54214    310    180 1.41
1.39/1.42	o -29
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c      270   5376    10881    79551    7    32153   54214    327    190 1.42
1.39/1.43	o -30
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c      281   5376    10894    81331    7    32238   54214    340    196 1.43
1.39/1.43	o -31
1.39/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.44	c      293   5376    10908    83444    7    32327   54214    354    204 1.44
1.39/1.44	o -32
1.39/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.45	c      313   5376    10930    86903    7    32434   54214    376    216 1.45
1.39/1.45	o -33
1.39/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.45	c      316   5376    10935    87657    8    32509   54214    381    217 1.45
1.39/1.45	o -34
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c      320   5376    10941    88417    8    32588   54214    387    219 1.46
1.39/1.46	o -35
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c      326   5376    10949    89185    8    32673   54214    395    223 1.46
1.39/1.46	o -36
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c      328   5376    10953    89944    8    32752   54214    399    223 1.47
1.39/1.47	o -37
3.09/3.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.11	c      332   5376    10959    90713    8    32837   54214    405    225 1.47
3.09/3.11	c      433   5376    11061    99789    9    33078   59636    507    289 1.50
3.09/3.11	c      683   5376    11313   149331   13    33582   65600    759    436 1.56
3.09/3.11	c     1158   5376    11795   242910   20    34546   72161   1241    682 1.70
3.09/3.11	c     1971   5376    12609   402542   31    36174   79378   2055   1017 1.94
3.09/3.11	c     3291   5376    13931   662594   47    38818   87316   3377   1382 2.38
3.09/3.11	o -38
3.09/3.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.12	c     4577   5376    15225   888595   58    41444   54214   4671   1469 3.11
3.09/3.12	o -39
3.09/3.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.12	c     4580   5376    15230   889675   58    41531   54214   4676   1468 3.12
3.09/3.12	o -40
9.19/9.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.19/9.27	c     4585   5376    15237   890436   58    41624   54214   4683   1466 3.13
9.19/9.27	c     4685   5376    15338   896219   58    41866   59636   4784   1481 3.16
9.19/9.27	c     4935   5376    15589   945820   60    42368   65600   5035   1527 3.23
9.19/9.27	c     5410   5376    16070  1038633   64    43330   72161   5516   1602 3.38
9.19/9.27	c     6223   5376    16883  1198652   70    44956   79378   6329   1707 3.65
9.19/9.27	c     7543   5376    18205  1458687   80    47600   87316   7651   1821 4.14
9.19/9.27	c     9624   5376    20288  1867250   92    51766   96048   9734   1936 4.97
9.19/9.27	c    12847   5376    23851  2580490  108    77907  105653  13297   1824 7.04
9.19/9.27	o -41
9.19/9.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.19/9.28	c    17058   5376    28078  3381833  120    86402   54214  17524   1839 9.27
9.19/9.28	o -42
9.29/9.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.30	c    17062   5376    28084  3382584  120    86497   54214  17530   1838 9.28
9.29/9.30	o -43
9.29/9.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.31	c    17071   5376    28095  3383351  120    86604   54214  17541   1835 9.30
9.29/9.31	o -44
9.29/9.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.32	c    17077   5376    28103  3384119  120    86707   54214  17549   1832 9.32
9.29/9.32	o -45
1797.94/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.95	c    17079   5376    28107  3384873  120    86804   54214  17553   1831 9.32
1797.94/1797.95	c    17179   5376    28208  3392335  120    87051   59636  17654   1826 9.40
1797.94/1797.95	c    17429   5376    28460  3441746  120    87555   65600  17906   1836 9.49
1797.94/1797.95	c    17904   5376    28940  3535559  122    88515   72161  18386   1856 9.65
1797.94/1797.95	c    18717   5376    29756  3694616  124    90147   79378  19202   1886 9.92
1797.94/1797.95	c    20040   5376    31080  3950506  127    92795   87316  20526   1928 10.39
1797.94/1797.95	c    22121   5376    33202  4270101  128    97088   96048  22648   1758 12.58
1797.94/1797.95	c    25344   5376    36531  4929303  134   103791  105653  25977   1550 16.34
1797.94/1797.95	c    30280   5376    41563  5827770  140   113907  116219  31009   1363 22.20
1797.94/1797.95	c    37786   5376    49277  7247781  147   129427  127841  38723   1210 31.21
1797.94/1797.95	c    49147   5376    60987  9442502  154   152977  140626  50433   1026 47.89
1797.94/1797.95	c    66291   5376    78913 12873131  163   189232  154689  68359    860 77.03
1797.94/1797.95	c    92110   5376   105894 18069047  170   243942  170158  95340    737 124.91
1797.94/1797.95	c   130942   5376   146361 25516006  174   325662  187174 135807    651 200.91
1797.94/1797.95	c   189294   5376    29227  3307807  113    68308  205892  18673    493 383.37
1797.94/1797.95	c   276926   5376   119480 19753975  165   250657  226482 108926    576 480.69
1797.94/1797.95	c   408478   5376    38877  5140965  132    88013  249131  28323    530 770.58
1797.94/1797.95	c   605910   5376   242894 42136076  173   500253  274045 232340    559 1082.06
1797.94/1797.95	c   902162   5376    25428  2731895  107    60648  301450  14874    502 1794.54
1797.94/1797.95	c Resources Exceeded
1797.94/1797.95	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 -x347 -x386 -x369 -x241 -x226 x341 -x273 -x377 -x202 -x265 -x258 -x262 -x201 x259 -x325 -x394 -x340 x203 x242 -x376 x296 -x224 -x253 x391 x316 -x343 x239 -x274 -x248 x286 -x338 x269 -x208 x231 x288 -x399 x255 -x215 -x337 -x375 x207 -x362 -x279 -x291 -x256 -x342 x360 -x204 -x295 -x349 -x393 -x289 -x348 x282 -x353 -x323 -x229 -x245 -x303 -x324 -x205 -x283 x400 -x390 -x225 -x238 -x249 x298 -x237 -x387 x211 x236 -x206 -x305 -x272 -x372 x368 -x278 -x334 -x271 -x309 -x351 -x212 -x243 -x220 -x287 -x318 -x320 -x317 -x254 -x267 -x307 -x327 -x392 -x270 -x365 -x396 -x209 -x314 -x398 -x227 x346 -x284 x357 -x329 -x210 -x230 x354 -x299 -x222 -x308 -x261 -x217 -x275 x328 -x304 x384 x381 x382 -x244 -x336 -x350 -x235 -x251 x294 x301 -x213 -x335 -x345 x252 -x302 -x216 -x221 -x214 -x246 -x228 -x355 -x290 -x232 -x389 x385 -x379 -x363 -x219 -x277 -x306 x311 -x333 -x285 -x344 -x234 -x280 -x367 -x218 -x257 -x326 x352 -x313 -x240 -x322 -x264 -x266 -x339 -x397 -x223 x383 -x359 -x233 -x321 -x247 -x371 -x378 x281 x293 -x332 x361 -x315 x292 x356 x380 -x250 -x358 -x374 -x373 x300 -x276 -x331 -x263 -x319 x260 -x395 x388 -x310 -x330 x312 -x268 -x297 -x370 -x366 -x364 
1797.94/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.95	c   75   905858 307656  1583096    29330  3403969  18776    503 1798.00
1797.94/1797.95	c Objective: -45
1797.94/1797.95	s SATISFIABLE
1797.94/1797.95	c Total time: 1798 s

Verifier Data 

OK	-45

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462863-1307184397/watcher-3462863-1307184397 -o /tmp/evaluation-result-3462863-1307184397/solver-3462863-1307184397 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462863-1307184397.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: 2.01 2.03 2.00 3/455 26911
/proc/meminfo: memFree=23982632/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=12800 CPUtime=0.01 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 818 0 0 0 1 0 0 0 25 0 1 0 810855568 13107200 753 33554432000 134512640 137138936 4289258016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 3200 755 183 642 0 2556 0

[startup+0.0768339 s]
/proc/loadavg: 2.01 2.03 2.00 3/455 26911
/proc/meminfo: memFree=23982632/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=13468 CPUtime=0.07 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 975 0 0 0 7 0 0 0 25 0 1 0 810855568 13791232 910 33554432000 134512640 137138936 4289258016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 3367 910 185 642 0 2723 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13468

[startup+0.100838 s]
/proc/loadavg: 2.01 2.03 2.00 3/455 26911
/proc/meminfo: memFree=23982632/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=13468 CPUtime=0.09 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 975 0 0 0 9 0 0 0 25 0 1 0 810855568 13791232 910 33554432000 134512640 137138936 4289258016 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 3367 910 185 642 0 2723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13468

[startup+0.300793 s]
/proc/loadavg: 2.01 2.03 2.00 3/455 26911
/proc/meminfo: memFree=23982632/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=13468 CPUtime=0.29 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 975 0 0 0 29 0 0 0 25 0 1 0 810855568 13791232 910 33554432000 134512640 137138936 4289258016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 3367 910 185 642 0 2723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13468

[startup+0.700729 s]
/proc/loadavg: 2.01 2.03 2.00 3/455 26911
/proc/meminfo: memFree=23982632/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=13468 CPUtime=0.69 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 975 0 0 0 69 0 0 0 25 0 1 0 810855568 13791232 910 33554432000 134512640 137138936 4289258016 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 3367 910 185 642 0 2723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13468

[startup+1.50057 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 26912
/proc/meminfo: memFree=23977292/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=14464 CPUtime=1.49 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 1493 0 0 0 146 3 0 0 25 0 1 0 810855568 14811136 1195 33554432000 134512640 137138936 4289258016 18446744073709551615 134544865 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 3616 1195 192 642 0 2972 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14464

[startup+3.10028 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 26912
/proc/meminfo: memFree=23967900/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=24888 CPUtime=3.09 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 4094 0 0 0 304 5 0 0 25 0 1 0 810855568 25485312 3796 33554432000 134512640 137138936 4289258016 18446744073709551615 136511093 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 6222 3796 192 642 0 5578 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24888

[startup+6.30068 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 26912
/proc/meminfo: memFree=23940248/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=45204 CPUtime=6.29 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 9178 0 0 0 621 8 0 0 25 0 1 0 810855568 46288896 8880 33554432000 134512640 137138936 4289258016 18446744073709551615 134551866 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 11301 8880 192 642 0 10657 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45204

[startup+12.7005 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 26912
/proc/meminfo: memFree=23899552/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=70760 CPUtime=12.69 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 15560 0 0 0 1257 12 0 0 25 0 1 0 810855568 72458240 15262 33554432000 134512640 137138936 4289258016 18446744073709551615 134606693 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 17690 15262 192 642 0 17046 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70760

[startup+25.5001 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 26912
/proc/meminfo: memFree=23849092/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=98588 CPUtime=25.49 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 22512 0 0 0 2534 15 0 0 25 0 1 0 810855568 100954112 22214 33554432000 134512640 137138936 4289258016 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 24647 22214 192 642 0 24003 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 98588

[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26913
/proc/meminfo: memFree=23757684/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=144552 CPUtime=51.09 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 33999 0 0 0 5087 22 0 0 25 0 1 0 810855568 148021248 33701 33554432000 134512640 137138936 4289258016 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 36138 33701 192 642 0 35494 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 144552

[startup+102.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26914
/proc/meminfo: memFree=23600180/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=224612 CPUtime=102.31 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 54026 0 0 0 10201 30 0 0 25 0 1 0 810855568 230002688 53728 33554432000 134512640 137138936 4289258016 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 56153 53728 192 642 0 55509 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 224612

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26916
/proc/meminfo: memFree=23442800/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=302212 CPUtime=162.29 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 73430 0 0 0 16186 43 0 0 25 0 1 0 810855568 309465088 73132 33554432000 134512640 137138936 4289258016 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 75553 73132 192 642 0 74909 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 302212

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26918
/proc/meminfo: memFree=23286912/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=375900 CPUtime=222.29 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 91849 0 0 0 22175 54 0 0 25 0 1 0 810855568 384921600 91551 33554432000 134512640 137138936 4289258016 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 93975 91551 192 642 0 93331 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 375900

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26919
/proc/meminfo: memFree=23147028/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=443164 CPUtime=282.3 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 108671 0 0 0 28166 64 0 0 25 0 1 0 810855568 453799936 108373 33554432000 134512640 137138936 4289258016 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 110791 108373 192 642 0 110147 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 443164

[startup+342.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/456 26921
/proc/meminfo: memFree=23036520/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=490664 CPUtime=342.3 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 120734 0 0 0 34159 71 0 0 25 0 1 0 810855568 502439936 120248 33554432000 134512640 137138936 4289258016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 122666 120248 192 642 0 122022 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 490664

[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/456 26922
/proc/meminfo: memFree=23036488/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=490664 CPUtime=402.3 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 120734 0 0 0 40156 74 0 0 25 0 1 0 810855568 502439936 120248 33554432000 134512640 137138936 4289258016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 122666 120248 192 642 0 122022 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 490664

[startup+462.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/456 26924
/proc/meminfo: memFree=23036460/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=490664 CPUtime=462.3 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 120734 0 0 0 46147 83 0 0 25 0 1 0 810855568 502439936 120248 33554432000 134512640 137138936 4289258016 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 122666 120248 192 642 0 122022 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 490664

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/456 26925
/proc/meminfo: memFree=23036556/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=490664 CPUtime=522.31 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 120734 0 0 0 52141 90 0 0 25 0 1 0 810855568 502439936 120248 33554432000 134512640 137138936 4289258016 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 122666 120248 192 642 0 122022 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 490664

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26927
/proc/meminfo: memFree=23036404/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=490664 CPUtime=582.3 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 120734 0 0 0 58136 94 0 0 25 0 1 0 810855568 502439936 120248 33554432000 134512640 137138936 4289258016 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 122666 120248 192 642 0 122022 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 490664

[startup+642.3 s]

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

/proc/meminfo: memFree=22955828/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=570964 CPUtime=1062.32 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 141019 0 0 0 106088 144 0 0 25 0 1 0 810855568 584667136 140307 33554432000 134512640 137138936 4289258016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 142741 140307 192 642 0 142097 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 570964

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 26951
/proc/meminfo: memFree=22910668/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=617124 CPUtime=1122.32 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 152555 0 0 0 112078 154 0 0 25 0 1 0 810855568 631934976 151843 33554432000 134512640 137138936 4289258016 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 154281 151843 192 642 0 153637 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 617124

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26952
/proc/meminfo: memFree=22859552/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=668716 CPUtime=1182.32 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 165453 0 0 0 118071 161 0 0 25 0 1 0 810855568 684765184 164741 33554432000 134512640 137138936 4289258016 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 167179 164741 192 642 0 166535 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 668716

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26954
/proc/meminfo: memFree=22837456/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=689200 CPUtime=1242.33 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 170847 0 0 0 124069 164 0 0 25 0 1 0 810855568 705740800 169862 33554432000 134512640 137138936 4289258016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 172300 169862 192 642 0 171656 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 689200

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26955
/proc/meminfo: memFree=22837424/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=689200 CPUtime=1302.34 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 170847 0 0 0 130065 169 0 0 25 0 1 0 810855568 705740800 169862 33554432000 134512640 137138936 4289258016 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 172300 169862 192 642 0 171656 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 689200

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26957
/proc/meminfo: memFree=22837648/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=689200 CPUtime=1362.33 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 170847 0 0 0 136059 174 0 0 25 0 1 0 810855568 705740800 169862 33554432000 134512640 137138936 4289258016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 172300 169862 192 642 0 171656 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 689200

[startup+1422.32 s]
/proc/loadavg: 2.08 2.03 2.01 3/456 26959
/proc/meminfo: memFree=22838612/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=689200 CPUtime=1422.35 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 170847 0 0 0 142054 181 0 0 25 0 1 0 810855568 705740800 169862 33554432000 134512640 137138936 4289258016 18446744073709551615 134607587 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 172300 169862 192 642 0 171656 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 689200

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/456 26960
/proc/meminfo: memFree=22838464/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=689200 CPUtime=1482.34 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 170847 0 0 0 148044 190 0 0 25 0 1 0 810855568 705740800 169862 33554432000 134512640 137138936 4289258016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 172300 169862 192 642 0 171656 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 689200

[startup+1542.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/456 26962
/proc/meminfo: memFree=22838192/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=689200 CPUtime=1542.33 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 170847 0 0 0 154037 196 0 0 25 0 1 0 810855568 705740800 169862 33554432000 134512640 137138936 4289258016 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 172300 169862 192 642 0 171656 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 689200

[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/456 26991
/proc/meminfo: memFree=23837444/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=689200 CPUtime=1602.33 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 170847 0 0 0 160032 201 0 0 25 0 1 0 810855568 705740800 169862 33554432000 134512640 137138936 4289258016 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 172300 169862 192 642 0 171656 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 689200

[startup+1662.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/456 26993
/proc/meminfo: memFree=23837312/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=689200 CPUtime=1662.34 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 170847 0 0 0 166028 206 0 0 25 0 1 0 810855568 705740800 169862 33554432000 134512640 137138936 4289258016 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 172300 169862 192 642 0 171656 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 689200

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/456 27021
/proc/meminfo: memFree=23825020/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=702596 CPUtime=1722.34 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 174482 0 0 0 172024 210 0 0 25 0 1 0 810855568 719458304 173227 33554432000 134512640 137138936 4289258016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 175649 173227 192 642 0 175005 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 702596

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/456 27023
/proc/meminfo: memFree=23824040/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=702596 CPUtime=1782.34 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 174482 0 0 0 178024 210 0 0 25 0 1 0 810855568 719458304 173227 33554432000 134512640 137138936 4289258016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 175649 173227 192 642 0 175005 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 702596

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/456 27023
/proc/meminfo: memFree=23824040/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=702596 CPUtime=1785.54 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 174482 0 0 0 178344 210 0 0 25 0 1 0 810855568 719458304 173227 33554432000 134512640 137138936 4289258016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 175649 173227 192 642 0 175005 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 702596

[startup+1791.92 s]
/proc/loadavg: 2.01 2.04 2.00 3/456 27023
/proc/meminfo: memFree=23823776/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=702596 CPUtime=1791.96 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 174482 0 0 0 178986 210 0 0 25 0 1 0 810855568 719458304 173227 33554432000 134512640 137138936 4289258016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 175649 173227 192 642 0 175005 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 702596

[startup+1795.1 s]
/proc/loadavg: 2.01 2.04 2.00 3/456 27023
/proc/meminfo: memFree=23823776/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=702596 CPUtime=1795.15 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 174482 0 0 0 179305 210 0 0 25 0 1 0 810855568 719458304 173227 33554432000 134512640 137138936 4289258016 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 175649 173227 192 642 0 175005 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 702596

[startup+1796.7 s]
/proc/loadavg: 2.01 2.04 2.00 3/456 27023
/proc/meminfo: memFree=23823648/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=702596 CPUtime=1796.74 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 174482 0 0 0 179464 210 0 0 25 0 1 0 810855568 719458304 173227 33554432000 134512640 137138936 4289258016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 175649 173227 192 642 0 175005 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 702596

[startup+1797.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/456 27024
/proc/meminfo: memFree=23822656/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=702596 CPUtime=1797.54 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 174482 0 0 0 179544 210 0 0 25 0 1 0 810855568 719458304 173227 33554432000 134512640 137138936 4289258016 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 175649 173227 192 642 0 175005 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 702596

[startup+1797.9 s]
/proc/loadavg: 2.01 2.04 2.00 3/456 27024
/proc/meminfo: memFree=23822656/32951124 swapFree=60476376/67111528
[pid=26911] ppid=26909 vsize=702596 CPUtime=1797.94 cores=1,3,5,7
/proc/26911/stat : 26911 (bsolo) R 26909 26911 23562 0 -1 4202496 174482 0 0 0 179584 210 0 0 25 0 1 0 810855568 719458304 173227 33554432000 134512640 137138936 4289258016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26911/statm: 175649 173227 192 642 0 175005 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 702596

Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.03
CPU user time (s): 1795.89
CPU system time (s): 2.13668
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 703676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.89
system time used= 2.13667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174483
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= 4
involuntary context switches= 2571

runsolver used 7.61284 second user time and 18.5482 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-04 12:46:37
IDJOB=3462863
IDBENCH=48279
IDSOLVER=1955
FILE ID=node147/3462863-1307184397
RUNJOBID= node147-1307174222-25612
PBS_JOBID= 13508849
Free space on /tmp= 73692 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462863-1307184397/watcher-3462863-1307184397 -o /tmp/evaluation-result-3462863-1307184397/solver-3462863-1307184397 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462863-1307184397.opb

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

MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3
RANDOM SEED=237052314

node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23982912 kB
Buffers:        323548 kB
Cached:        1493332 kB
SwapCached:      11188 kB
Active:        7348660 kB
Inactive:      1359820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23982912 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:            3884 kB
Writeback:           0 kB
AnonPages:     6888720 kB
Mapped:          23428 kB
Slab:           133684 kB
PageTables:      59216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 121353712 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73688 MiB
End job on node147 at 2011-06-04 13:16:35