Trace number 3462824

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 (TO)-43 1800.13 1800.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
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-58
Best CPU time to get the best result obtained on this benchmark1797.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
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)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

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-3462824-1307183571.opb
0.00/0.00	c File size is 75229 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.011 s
0.00/0.01	c Var: 5448 Constr: 10698 5248/402/5048 Lit: 36536 Watch. Lit: 31090
0.00/0.01	c Obj. Vars: 200 (3.67107 % of total variables)
1.20/1.25	c Pre-processing Time: 1.248 s
1.20/1.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.20/1.25	c        0   5448    10698    36536    3    31090   54403      0      0 1.25
1.20/1.25	c Switching off lower bounding mode.
1.20/1.25	o -1
1.20/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.20/1.26	c        0   5448    10699    36736    3    31093   54537      1      0 1.25
1.20/1.26	o -2
1.20/1.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.20/1.27	c        1   5448    10702    37336    3    31102   54603      4      0 1.26
1.20/1.27	o -3
1.20/1.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.20/1.27	c        2   5448    10705    37960    3    31113   54670      7      1 1.27
1.20/1.27	o -4
1.20/1.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.20/1.28	c        3   5448    10708    38584    3    31126   54737     10      2 1.28
1.20/1.28	o -5
1.20/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.20/1.29	c        4   5448    10711    39226    3    31141   54803     13      3 1.28
1.20/1.29	o -6
1.29/1.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.30	c        7   5448    10716    40252    3    31162   54870     18      5 1.29
1.29/1.30	o -7
1.29/1.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.30	c       13   5448    10724    41693    3    31191   54937     26      9 1.30
1.29/1.30	o -8
1.29/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.31	c       17   5448    10730    42364    3    31218   55003     32     12 1.31
1.29/1.31	o -9
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c       30   5448    10745    44596    4    31265   55070     47     22 1.32
1.29/1.32	o -10
1.29/1.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.33	c       31   5448    10748    45274    4    31290   55137     50     23 1.32
1.29/1.33	o -11
1.29/1.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.33	c       36   5448    10755    45973    4    31325   55203     57     27 1.33
1.29/1.33	o -12
1.29/1.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.34	c       40   5448    10761    46675    4    31360   55270     63     29 1.34
1.29/1.34	o -13
1.29/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.35	c       42   5448    10765    47372    4    31393   55337     67     31 1.34
1.29/1.35	o -14
1.29/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.35	c       45   5448    10770    48072    4    31430   55403     72     33 1.35
1.29/1.35	o -15
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c       55   5448    10782    48808    4    31483   55403     84     40 1.36
1.29/1.36	o -16
1.29/1.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.37	c       61   5448    10790    49518    4    31530   55403     92     44 1.36
1.29/1.37	o -17
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c       70   5448    10801    50244    4    31585   55403    103     51 1.37
1.29/1.38	o -18
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c       78   5448    10811    50957    4    31640   55403    113     56 1.38
1.39/1.43	c      178   5448    10913    67589    6    31880   60944    215    125 1.42
1.39/1.43	o -19
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c      214   5448    10950    73448    6    31973   55403    252    149 1.43
1.39/1.43	o -20
1.39/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.44	c      219   5448    10957    74158    6    32026   55403    259    152 1.44
1.39/1.44	o -21
1.39/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.44	c      220   5448    10960    74859    6    32073   55403    262    152 1.44
1.39/1.44	o -22
1.39/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.45	c      222   5448    10964    75571    6    32124   55403    266    153 1.45
1.39/1.45	o -23
1.39/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.45	c      224   5448    10968    76294    6    32177   55403    270    154 1.45
1.39/1.45	o -24
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c      226   5448    10972    77017    7    32232   55403    274    155 1.46
1.39/1.46	o -25
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c      229   5448    10977    77745    7    32291   55403    279    156 1.46
1.39/1.47	o -26
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c      240   5448    10990    78499    7    32368   55403    292    163 1.47
1.39/1.47	o -27
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c      246   5448    10998    79248    7    32437   55403    300    166 1.48
1.39/1.48	o -28
1.39/1.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.49	c      248   5448    11002    79986    7    32500   55403    304    167 1.48
1.39/1.49	o -29
1.49/1.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.52	c      257   5448    11013    80746    7    32579   55403    315    172 1.49
1.49/1.52	o -30
1.49/1.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.52	c      338   5448    11096    94186    8    32804   55403    398    222 1.52
1.49/1.52	o -31
1.49/1.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.53	c      339   5448    11099    94930    8    32871   55403    401    222 1.53
1.49/1.53	o -32
1.49/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.54	c      344   5448    11106    95689    8    32948   55403    408    224 1.53
1.49/1.54	o -33
1.49/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.54	c      357   5448    11121    96475    8    33043   55403    423    231 1.54
1.49/1.54	o -34
1.49/1.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.55	c      367   5448    11133    97256    8    33134   55403    435    237 1.55
1.49/1.55	o -35
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c      382   5448    11150    98051    8    33237   55403    452    245 1.55
1.49/1.56	o -36
1.59/1.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.60	c      405   5448    11175    98869    8    33358   55403    477    258 1.56
1.59/1.60	c      505   5448    11276   112498    9    33596   60944    578    316 1.60
1.59/1.60	o -37
1.59/1.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.60	c      505   5448    11277   112698    9    33635   55403    579    315 1.60
1.59/1.60	o -38
4.79/4.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.80	c      511   5448    11285   113470   10    33726   55403    587    317 1.61
4.79/4.80	c      612   5448    11387   124779   10    33968   60944    689    373 1.64
4.79/4.80	c      862   5448    11639   174342   14    34472   67039    941    505 1.71
4.79/4.80	c     1337   5448    12120   267151   22    35434   73743   1422    725 1.84
4.79/4.80	c     2150   5448    12935   426986   33    37064   81118   2237    982 2.19
4.79/4.80	c     3470   5448    14256   687225   48    39706   89230   3558   1175 2.95
4.79/4.80	c     5551   5448    16342  1089742   66    43878   98154   5644   1297 4.28
4.79/4.80	o -39
4.79/4.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.80	c     6171   5448    16963  1198145   70    45159   55403   6265   1284 4.80
4.79/4.80	o -40
4.79/4.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.81	c     6175   5448    16969  1199067   70    45250   55403   6271   1284 4.81
4.79/4.81	o -41
7.29/7.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.31	c     6184   5448    16980  1200946   70    45353   55403   6282   1284 4.82
7.29/7.31	c     6284   5448    17081  1208466   70    45596   60944   6383   1297 4.84
7.29/7.31	c     6534   5448    17332  1258049   72    46098   67039   6634   1329 4.91
7.29/7.31	c     7009   5448    17814  1351059   75    47062   73743   7116   1388 5.05
7.29/7.31	c     7822   5448    18628  1511284   81    48690   81118   7930   1474 5.30
7.29/7.31	c     9142   5448    19950  1771124   88    51334   89230   9252   1574 5.81
7.29/7.31	c    11223   5448    22033  2180992   98    55500   98154  11335   1655 6.78
7.29/7.31	o -42
7.29/7.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.31	c    12365   5448    23177  2394238  103    57830   55403  12479   1691 7.31
7.29/7.31	o -43
1800.09/1800.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.01	c    12368   5448    23182  2394996  103    57925   55403  12484   1690 7.32
1800.09/1800.01	c    12468   5448    23283  2404568  103    58170   60944  12585   1695 7.35
1800.09/1800.01	c    12719   5448    23535  2433807  103    58674   67039  12837   1705 7.46
1800.09/1800.01	c    13194   5448    24011  2527603  105    59626   73743  13313   1735 7.60
1800.09/1800.01	c    14007   5448    24827  2687434  108    61258   81118  14129   1778 7.88
1800.09/1800.01	c    15327   5448    26150  2947866  112    63904   89230  15452   1828 8.38
1800.09/1800.01	c    17408   5448    28246  3293545  116    68096   98154  17548   1832 9.50
1800.09/1800.01	c    20631   5448    31539  3834093  121    74781  107970  20841   1730 11.92
1800.09/1800.01	c    25567   5448    36500  4698591  128    84703  118768  25802   1797 14.22
1800.09/1800.01	c    33073   5448    44267  6169972  139   100765  130645  33569   1595 20.73
1800.09/1800.01	c    44434   5448    55775  8275827  148   123839  143710  45077   1353 32.82
1800.09/1800.01	c    61578   5448    73473 11832459  161   159916  158082  62775   1151 53.49
1800.09/1800.01	c    87397   5448   100079 17024940  170   214173  173891  89381    974 89.71
1800.09/1800.01	c   126229   5448   140129 25096293  179   295442  191281 129431    806 156.53
1800.09/1800.01	c   184581   5448   200649 37333583  186   418387  210410 189951    655 281.58
1800.09/1800.01	c   272213   5448    90809 16427939  180   196056  231452  80111    511 531.95
1800.09/1800.01	c   403765   5448   227149 45580518  200   477282  254598 216451    488 826.06
1800.09/1800.01	c   601197   5448   186542 36676424  196   393267  280058 175844    438 1371.09
1800.09/1800.01	c Caught signal: 15
1800.09/1800.01	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 -x302 -x284 -x275 x327 -x364 -x338 -x226 -x229 -x386 -x345 -x242 x317 -x328 -x384 -x201 -x355 x315 -x365 x204 -x215 x303 -x342 -x350 -x318 -x205 x212 -x225 -x231 -x252 -x280 -x339 -x360 x202 -x369 -x374 -x319 -x323 x283 -x321 -x221 -x305 x208 -x233 -x257 -x367 -x203 -x300 -x220 -x395 -x325 x223 -x262 -x236 -x240 -x295 -x307 -x373 x377 -x376 -x245 -x332 -x343 x299 -x273 -x344 -x248 -x217 -x246 -x292 -x370 x390 x348 -x368 -x222 -x287 -x296 -x207 -x218 -x238 -x282 x297 -x309 -x363 x397 -x206 x394 -x232 -x392 -x340 -x308 -x211 x230 -x256 -x258 -x354 -x362 -x291 -x239 x301 -x247 -x271 -x330 -x380 x383 -x334 x388 -x268 -x361 -x306 -x264 -x224 -x234 -x250 -x286 -x389 -x209 -x249 x378 -x241 -x272 -x210 x294 -x379 x313 -x251 -x285 -x288 -x289 -x290 -x357 x227 -x278 -x253 -x213 -x316 -x265 -x381 -x385 -x274 -x263 x356 -x261 x214 -x335 x310 x387 -x352 -x237 -x267 x320 -x324 -x269 -x243 x277 -x216 -x333 -x382 -x260 x372 x279 x371 x347 -x266 -x314 -x219 -x270 -x358 -x322 -x244 x255 -x346 x399 -x228 -x359 -x396 -x281 x341 -x276 -x349 -x366 -x304 -x259 -x331 x336 -x293 -x312 -x398 -x393 -x400 -x235 x391 x351 -x311 x329 x353 -x375 -x298 -x326 -x254 -x337 
1800.09/1800.01	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.01	c   74   706280 189499  1109659   127372 24133085 116674    392 1800.10
1800.09/1800.01	c Objective: -43
1800.09/1800.01	s SATISFIABLE
1800.09/1800.01	c Total time: 1800.1 s

Verifier Data 

OK	-43

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-3462824-1307183571/watcher-3462824-1307183571 -o /tmp/evaluation-result-3462824-1307183571/solver-3462824-1307183571 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462824-1307183571.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.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=11972 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 580 0 0 0 0 0 0 0 25 0 1 0 810772772 12259328 535 33554432000 134512640 137138936 4292451584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 2993 535 184 642 0 2330 0

[startup+0.10428 s]
/proc/loadavg: 2.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=13512 CPUtime=0.1 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 983 0 0 0 10 0 0 0 25 0 1 0 810772772 13836288 919 33554432000 134512640 137138936 4292451584 18446744073709551615 136500289 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3378 919 185 642 0 2734 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13512

[startup+0.200251 s]
/proc/loadavg: 2.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=13512 CPUtime=0.19 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 983 0 0 0 19 0 0 0 25 0 1 0 810772772 13836288 919 33554432000 134512640 137138936 4292451584 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3378 919 185 642 0 2734 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13512

[startup+0.300231 s]
/proc/loadavg: 2.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=13512 CPUtime=0.29 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 983 0 0 0 29 0 0 0 25 0 1 0 810772772 13836288 919 33554432000 134512640 137138936 4292451584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3378 919 185 642 0 2734 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13512

[startup+0.700149 s]
/proc/loadavg: 2.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=13512 CPUtime=0.69 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 983 0 0 0 69 0 0 0 25 0 1 0 810772772 13836288 919 33554432000 134512640 137138936 4292451584 18446744073709551615 134543391 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3378 919 185 642 0 2734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13512

[startup+1.50099 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24482368/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=14304 CPUtime=1.49 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 1444 0 0 0 146 3 0 0 25 0 1 0 810772772 14647296 1142 33554432000 134512640 137138936 4292451584 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3576 1143 192 642 0 2932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14304

[startup+3.10067 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24475796/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=22968 CPUtime=3.09 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 3625 0 0 0 305 4 0 0 25 0 1 0 810772772 23519232 3323 33554432000 134512640 137138936 4292451584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 5742 3323 192 642 0 5098 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22968

[startup+6.30105 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24459852/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=39524 CPUtime=6.29 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 7758 0 0 0 622 7 0 0 25 0 1 0 810772772 40472576 7456 33554432000 134512640 137138936 4292451584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 9881 7456 192 642 0 9237 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39524

[startup+12.7008 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24428564/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=69200 CPUtime=12.69 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 15181 0 0 0 1258 11 0 0 25 0 1 0 810772772 70860800 14879 33554432000 134512640 137138936 4292451584 18446744073709551615 134575898 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 17300 14879 192 642 0 16656 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69200

[startup+25.5012 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24388148/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=106652 CPUtime=25.49 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 24537 0 0 0 2532 17 0 0 25 0 1 0 810772772 109211648 24235 33554432000 134512640 137138936 4292451584 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 26663 24235 192 642 0 26019 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106652

[startup+51.1012 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 11471
/proc/meminfo: memFree=24329532/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=165888 CPUtime=51.09 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 39342 0 0 0 5085 24 0 0 25 0 1 0 810772772 169869312 39040 33554432000 134512640 137138936 4292451584 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 41472 39040 192 642 0 40828 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 165888

[startup+102.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/438 11473
/proc/meminfo: memFree=24231288/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=261984 CPUtime=102.3 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 63363 0 0 0 10192 38 0 0 25 0 1 0 810772772 268271616 63061 33554432000 134512640 137138936 4292451584 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 65496 63061 192 642 0 64852 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 261984

[startup+162.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/438 11475
/proc/meminfo: memFree=24138020/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=355452 CPUtime=162.3 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 86741 0 0 0 16180 50 0 0 25 0 1 0 810772772 363982848 86439 33554432000 134512640 137138936 4292451584 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 88863 86439 192 642 0 88219 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 355452

[startup+222.317 s]
/proc/loadavg: 2.08 2.07 2.01 3/438 11476
/proc/meminfo: memFree=24046860/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=438824 CPUtime=222.32 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 107586 0 0 0 22172 60 0 0 25 0 1 0 810772772 449355776 107284 33554432000 134512640 137138936 4292451584 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 109706 107284 192 642 0 109062 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 438824

[startup+282.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/438 11478
/proc/meminfo: memFree=23975300/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=511260 CPUtime=282.3 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 125699 0 0 0 28160 70 0 0 25 0 1 0 810772772 523530240 125397 33554432000 134512640 137138936 4292451584 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 127815 125397 192 642 0 127171 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 511260

[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/438 11480
/proc/meminfo: memFree=23914028/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=570904 CPUtime=342.3 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 140599 0 0 0 34151 79 0 0 25 0 1 0 810772772 584605696 140297 33554432000 134512640 137138936 4292451584 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 142726 140297 192 642 0 142082 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 570904

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/438 11481
/proc/meminfo: memFree=23910288/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=573832 CPUtime=402.31 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 141553 0 0 0 40151 80 0 0 25 0 1 0 810772772 587603968 141041 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 143458 141041 192 642 0 142814 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 573832

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 11484
/proc/meminfo: memFree=23911004/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=573832 CPUtime=462.31 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 141553 0 0 0 46150 81 0 0 25 0 1 0 810772772 587603968 141041 33554432000 134512640 137138936 4292451584 18446744073709551615 136500245 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 143458 141041 192 642 0 142814 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 573832

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11485
/proc/meminfo: memFree=23911224/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=573832 CPUtime=522.32 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 141553 0 0 0 52144 88 0 0 25 0 1 0 810772772 587603968 141041 33554432000 134512640 137138936 4292451584 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 143458 141041 192 642 0 142814 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 573832

[startup+582.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/438 11487
/proc/meminfo: memFree=23910716/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=573832 CPUtime=582.32 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 141553 0 0 0 58140 92 0 0 25 0 1 0 810772772 587603968 141041 33554432000 134512640 137138936 4292451584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 143458 141041 192 642 0 142814 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 573832

[startup+642.301 s]

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

[startup+882.316 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 11496
/proc/meminfo: memFree=23813860/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=672680 CPUtime=882.35 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 166251 0 0 0 88116 119 0 0 25 0 1 0 810772772 688824320 165739 33554432000 134512640 137138936 4292451584 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 168170 165739 192 642 0 167526 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 672680

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11638
/proc/meminfo: memFree=23928752/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=727432 CPUtime=942.33 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 179947 0 0 0 94107 126 0 0 25 0 1 0 810772772 744890368 179435 33554432000 134512640 137138936 4292451584 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 181858 179435 192 642 0 181214 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 727432

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11639
/proc/meminfo: memFree=23844808/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1002.33 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 100106 127 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 729564

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/438 11641
/proc/meminfo: memFree=23793948/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1062.34 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 106107 127 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 729564

[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/438 11642
/proc/meminfo: memFree=23754504/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1122.35 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 112105 130 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 729564

[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/438 11644
/proc/meminfo: memFree=23726828/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1182.34 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 118099 135 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 729564

[startup+1242.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/438 11646
/proc/meminfo: memFree=23701152/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1242.34 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 124094 140 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 729564

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/438 11647
/proc/meminfo: memFree=23678076/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1302.35 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 130090 145 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 729564

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 11649
/proc/meminfo: memFree=23654744/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1362.35 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 136087 148 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 729564

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11650
/proc/meminfo: memFree=23635004/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1422.36 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 142084 152 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 729564

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11652
/proc/meminfo: memFree=23615780/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1482.36 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 148080 156 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 729564

[startup+1542.32 s]
/proc/loadavg: 2.10 2.04 2.01 3/438 11654
/proc/meminfo: memFree=23596548/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1542.38 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 154078 160 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1542.38
Current children cumulated vsize (KiB) 729564

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/438 11655
/proc/meminfo: memFree=23577440/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=733972 CPUtime=1602.36 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 181832 0 0 0 160074 162 0 0 25 0 1 0 810772772 751587328 181066 33554432000 134512640 137138936 4292451584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 183493 181066 192 642 0 182849 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 733972

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11657
/proc/meminfo: memFree=23515680/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=780928 CPUtime=1662.36 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 193578 0 0 0 166067 169 0 0 25 0 1 0 810772772 799670272 192812 33554432000 134512640 137138936 4292451584 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 195232 192812 192 642 0 194588 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 780928

[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/438 11667
/proc/meminfo: memFree=23477108/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=803436 CPUtime=1722.37 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 199479 0 0 0 172064 173 0 0 25 0 1 0 810772772 822718464 198435 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 200859 198435 192 642 0 200215 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 803436

[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/438 11669
/proc/meminfo: memFree=23461348/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=803436 CPUtime=1782.38 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 199479 0 0 0 178065 173 0 0 25 0 1 0 810772772 822718464 198435 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 200859 198435 192 642 0 200215 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 803436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.05 2.00 3/438 11670
/proc/meminfo: memFree=23456752/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=803436 CPUtime=1800.09 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 199479 0 0 0 179836 173 0 0 25 0 1 0 810772772 822718464 198435 33554432000 134512640 137138936 4292451584 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 200859 198435 192 642 0 200215 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 803436

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

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

[startup+1800 s]
/proc/loadavg: 2.05 2.05 2.00 3/438 11670
/proc/meminfo: memFree=23456752/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=803436 CPUtime=1800.09 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 199479 0 0 0 179836 173 0 0 25 0 1 0 810772772 822718464 198435 33554432000 134512640 137138936 4292451584 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 200859 198435 192 642 0 200215 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 803436

Child status: 15
Real time (s): 1800.05
CPU time (s): 1800.13
CPU user time (s): 1798.37
CPU system time (s): 1.76473
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 804548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 1.76473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199480
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= 6
involuntary context switches= 2096

runsolver used 7.31689 second user time and 18.6892 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-04 12:32:52
IDJOB=3462824
IDBENCH=48240
IDSOLVER=1955
FILE ID=node143/3462824-1307183571
RUNJOBID= node143-1307175466-10807
PBS_JOBID= 13508843
Free space on /tmp= 73972 MiB

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

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=1429231913

node143.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.846
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.69
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.846
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	: 5226.15
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.846
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.74
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.846
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.83
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.846
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.75
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.846
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.83
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.846
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.74
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.846
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24486252 kB
Buffers:        312832 kB
Cached:         469656 kB
SwapCached:       9140 kB
Active:        7708232 kB
Inactive:       476732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24486252 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:     7400004 kB
Mapped:          22432 kB
Slab:           132384 kB
PageTables:      79996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115873620 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= 73972 MiB
End job on node143 at 2011-06-04 13:02:54