Trace number 2657560

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.2 ClSAT82 1798 1798.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1792.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657560-1276616295.opb
0.00/0.00	c File size is 10354 bytes.
0.00/0.00	c Highest Coefficient sum: 5454
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 172 Constr: 14 0/0/14 Lit: 1058 Watch. Lit: 312
0.00/0.00	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    172       14     1058   75      322    2116      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 643
0.01/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.06	c        0    172       15     1170   78      728    2340      1      0 0.00
0.01/0.06	c      100    172      115     7371   64      935    2575    101   6666 0.01
0.01/0.06	c      352    172      367    23498   64     1437    2833    353   7652 0.05
0.01/0.06	o 641
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c      491    172      507    32346   63     1823    2340    493   7439 0.07
0.01/0.07	o 639
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c      517    172      534    33731   63     1981    2340    520   7281 0.07
0.01/0.07	o 608
0.01/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.08	c      534    172      552    34952   63     2084    2340    538   7216 0.07
0.01/0.08	o 428
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      566    172      585    36508   62     2233    2340    571   7075 0.08
0.19/0.21	c      666    172      685    41386   60     2434    2575    671   7085 0.09
0.19/0.21	c      916    172      935    54656   58     2918    2833    921   6887 0.13
0.19/0.21	c     1391    172     1410    79633   56     3832    3117   1396   6785 0.20
0.19/0.21	o 418
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1424    172     1444    81059   56     3948    2340   1430   6716 0.21
0.19/0.21	o 416
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c     1436    172     1457    82025   56     4060    2340   1443   6679 0.21
0.19/0.26	c     1536    172     1557    88537   56     4267    2575   1543   6592 0.23
0.19/0.26	o 414
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1689    172     1711    96666   56     4684    2340   1697   6349 0.27
0.19/0.29	c     1791    172     1813   102467   56     4929    2575   1799   6197 0.29
0.19/0.29	o 391
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c     1806    172     1829   103464   56     5022    2340   1815   6163 0.29
0.29/0.35	c     1906    172     1929   107423   55     5310    2575   1915   6108 0.31
0.29/0.35	o 390
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     2104    172     2128   118007   55     5720    2340   2114   5877 0.36
0.29/0.37	o 388
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     2188    172     2213   121963   55     5985    2340   2199   5803 0.38
0.29/0.38	o 387
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     2224    172     2250   124995   55     6185    2340   2236   5761 0.39
0.59/0.60	c     2325    172     2351   129119   54     6423    2575   2337   5684 0.41
0.59/0.60	c     2575    172     1303    67861   52     3318    2833   1289   5421 0.47
0.59/0.60	c     3051    172     1779    95570   53     4269    3117   1765   5438 0.56
0.59/0.60	o 356
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     3279    172     2008   108810   54     4832    2340   1994   5455 0.60
0.59/0.60	o 342
0.59/0.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.62	c     3286    172     2016   109229   54     4944    2340   2002   5449 0.60
0.59/0.62	o 340
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c     3371    172     2102   115498   54     5218    2340   2088   5445 0.62
0.59/0.64	c     3471    172     2202   119920   54     5430    2575   2188   5440 0.64
0.59/0.64	o 336
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     3519    172     2251   123332   54     5632    2340   2237   5438 0.65
0.59/0.66	o 258
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     3572    172     2305   125473   54     5817    2340   2291   5420 0.66
0.59/0.66	o 254
0.59/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.68	c     3582    172     2316   126310   54     5938    2340   2302   5410 0.66
0.59/0.68	o 252
0.59/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.68	c     3657    172     1185    68271   57     3078    2340   1171   5362 0.68
0.59/0.68	o 185
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     3685    172     1214    69304   57     3224    2340   1200   5356 0.69
0.59/0.69	o 183
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     3686    172     1216    69514   57     3338    2340   1202   5357 0.69
0.59/0.69	o 181
0.69/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.77	c     3695    172     1226    70347   57     3465    2340   1212   5347 0.69
0.69/0.77	c     3796    172     1327    77685   58     3674    2575   1313   5361 0.71
0.69/0.77	c     4046    172     1577    86761   55     4187    2833   1563   5430 0.74
0.69/0.77	o 180
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c     4180    172     1712    93155   54     4550    2340   1698   5428 0.77
0.79/0.86	c     4280    172     1812    96539   53     4779    2575   1798   5459 0.78
0.79/0.86	c     4531    172     2063   107222   51     5270    2833   2049   5459 0.83
0.79/0.86	o 177
10.19/10.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.19/10.26	c     4693    172     2226   118307   53     5715    2340   2212   5444 0.86
10.19/10.26	c     4793    172     2326   121455   52     5902    2575   2312   5471 0.88
10.19/10.26	c     5043    172     2576   131567   51     6409    2833   2562   5469 0.92
10.19/10.26	c     5518    172     1587    70352   44     3888    3117   1573   5496 1.00
10.19/10.26	c     6331    172     2400   105544   43     5519    3429   2386   5543 1.14
10.19/10.26	c     7652    172     1945    82911   42     4608    3772   1931   5508 1.39
10.19/10.26	c     9733    172     2093    82020   39     4884    4150   2079   5471 1.78
10.19/10.26	c    12956    172     3207   122291   38     7104    4566   3193   5494 2.36
10.19/10.26	c    17893    172     3496   151779   43     7703    5023   3482   5104 3.50
10.19/10.26	c    25399    172     3320   151029   45     7357    5526   3306   4702 5.40
10.19/10.26	c    36760    172     3439   172629   50     7603    6079   3425   4327 8.49
10.19/10.26	o 176
10.29/10.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.29/10.32	c    43600    172     4099   197617   48     9036    2340   4085   4247 10.26
10.29/10.32	c    43700    172     1285    60490   47     3289    2575   1271   4235 10.32
10.29/10.32	o 174
29.28/29.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.28/29.34	c    43727    172     1313    61914   47     3464    2340   1299   4235 10.32
29.28/29.34	c    43827    172     1413    66740   47     3642    2575   1399   4237 10.34
29.28/29.34	c    44077    172     1663    78448   47     4161    2833   1649   4243 10.39
29.28/29.34	c    44552    172     2138    98739   46     5087    3117   2124   4253 10.47
29.28/29.34	c    45365    172     2951   135962   46     6720    3429   2937   4262 10.64
29.28/29.34	c    46685    172     2481   113878   45     5786    3772   2467   4272 10.93
29.28/29.34	c    48766    172     2628   105215   40     6079    4150   2614   4309 11.31
29.28/29.34	c    51990    172     3729   161653   43     8172    4566   3715   4345 11.96
29.28/29.34	c    56927    172     4014   173711   43     8731    5023   4000   4349 13.09
29.28/29.34	c    64434    172     3807   168731   44     8334    5526   3793   4322 14.91
29.28/29.34	c    75795    172     3886   178737   45     8493    6079   3872   4244 17.86
29.28/29.34	c    92939    172     5548   231721   41    11813    6687   5534   4215 22.05
29.28/29.34	c   118758    172     4154   192911   46     9020    7356   4140   4055 29.28
29.28/29.34	o 155
29.59/29.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.69	c   118963    172     4360   201109   46     9543    2340   4346   4055 29.33
29.59/29.69	c   119063    172     1285    56755   44     3247    2575   1271   4047 29.41
29.59/29.69	c   119313    172     1535    68001   44     3783    2833   1521   4049 29.46
29.59/29.69	c   119788    172     2010    88679   44     4738    3117   1996   4053 29.55
29.59/29.69	o 148
29.59/29.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.70	c   120456    172     2679   116929   43     6184    2340   2665   4058 29.68
29.59/29.70	o 146
29.59/29.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.70	c   120459    172     1189    51311   43     3204    2340   1175   4057 29.69
29.59/29.70	o 144
29.59/29.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.70	c   120460    172     1191    51505   43     3318    2340   1177   4057 29.69
29.59/29.70	o 140
29.69/29.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.69/29.74	c   120475    172     1207    52317   43     3460    2340   1193   4057 29.69
29.69/29.74	c   120576    172     1308    59213   45     3665    2575   1294   4057 29.71
29.69/29.74	o 132
29.88/29.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.88/29.90	c   120727    172     1460    64759   44     4074    2340   1446   4059 29.74
29.88/29.90	c   120827    172     1560    71275   45     4278    2575   1546   4060 29.76
29.88/29.90	c   121078    172     1811    86860   47     4778    2833   1797   4061 29.81
29.88/29.90	o 127
30.08/30.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.08/30.19	c   121507    172     2241   107092   47     5748    2340   2227   4064 29.90
30.08/30.19	c   121607    167     2341   110346   47     5949    2575   2327   4064 29.92
30.08/30.19	c   121858    165     2592   119867   46     6449    2833   2578   4066 29.97
30.08/30.19	c   122333    165     1585    71708   45     3881    3117   1571   4068 30.07
30.08/30.19	o 96
30.18/30.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.18/30.20	c   123031    165     2284    98117   42     5386    2326   2270   4075 30.19
30.18/30.20	o 92
30.18/30.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.18/30.20	c   123049    165     2303    98792   42     5523    2326   2289   4075 30.19
30.18/30.20	o 88
30.18/30.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.18/30.21	c   123056    165     2311    99166   42     5642    2326   2297   4075 30.19
30.18/30.21	o 86
30.18/30.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.18/30.22	c   123125    164     1185    46389   39     3072    2324   1171   4075 30.21
30.18/30.22	o 84
30.18/30.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.18/30.23	c   123160    164     1221    49080   40     3246    2324   1207   4075 30.22
30.18/30.23	o 82
1797.92/1798.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.57	c   123178    164     1240    50684   40     3386    2324   1226   4075 30.22
1797.92/1798.57	c   123278    164     1340    54201   40     3583    2557   1326   4077 30.24
1797.92/1798.57	c   123528    162     1590    63702   40     4081    2813   1576   4080 30.28
1797.92/1798.57	c   124003    162     2065    80722   39     5026    3095   2051   4084 30.36
1797.92/1798.57	c   124816    162     2878   111316   38     6658    3405   2864   4090 30.51
1797.92/1798.57	c   126138    160     2447    92142   37     5594    3746   2433   4096 30.79
1797.92/1798.57	c   128219    160     2615    98217   37     5929    4121   2601   4112 31.18
1797.92/1798.57	c   131442    160     3739   141879   37     8182    4534   3725   4128 31.84
1797.92/1798.57	c   136378    160     4041   155453   38     8780    4988   4027   4147 32.88
1797.92/1798.57	c   143884    160     3934   152292   38     8572    5487   3920   4171 34.49
1797.92/1798.57	c   155245    160     4137   149319   36     8976    6036   4123   4220 36.79
1797.92/1798.57	c   172389    160     5971   217336   36    12629    6640   5957   4266 40.40
1797.92/1798.57	c   198208    160     4884   194258   39    10455    7305   4870   4273 46.38
1797.92/1798.57	c   237040    160     6760   258421   38    14212    8036   6746   4252 55.74
1797.92/1798.57	c   295392    160     4195   176059   41     9088    8840   4181   4086 72.29
1797.92/1798.57	c   383024    160     7083   285270   40    14854    9725   7069   3756 101.97
1797.92/1798.57	c   514576    160     6271   237912   37    13236   10698   6257   3443 149.43
1797.92/1798.57	c   712008    160     9755   351005   35    20186   11768   9741   3227 220.61
1797.92/1798.57	c  1008260    159     9875   390990   39    20442   12945   9861   2948 341.91
1797.92/1798.57	c  1452742    159    11601   439488   37    23893   14240  11587   2628 552.60
1797.92/1798.57	c  2119569    159    12637   533202   42    25963   15665  12623   2451 864.45
1797.92/1798.57	c  3119915    159    13353   523066   39    27389   17232  13339   2267 1375.99
1797.92/1798.57	c Resources Exceeded
1797.92/1798.57	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 
1797.92/1798.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.57	c  108  3887957  88324  3989295    11064   463740  11050   2162 1798.00
1797.92/1798.57	c Objective: 82
1797.92/1798.57	s SATISFIABLE
1797.92/1798.57	c Total time: 1798 s

Verifier Data 

OK	82

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657560-1276616295/watcher-2657560-1276616295 -o /tmp/evaluation-result-2657560-1276616295/solver-2657560-1276616295 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657560-1276616295.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2710
/proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=18604 CPUtime=0
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 333 0 0 0 0 0 0 0 17 0 1 0 37233199 19050496 249 1992294400 134512640 137138936 4292169904 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4651 249 191 642 0 4007 0

[startup+0.0144219 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2710
/proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=18604 CPUtime=0.01
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 344 0 0 0 1 0 0 0 17 0 1 0 37233199 19050496 260 1992294400 134512640 137138936 4292169904 18446744073709551615 134609273 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4651 260 191 642 0 4007 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18604

[startup+0.101432 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2710
/proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=11304 CPUtime=0.09
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 482 0 0 0 9 0 0 0 17 0 1 0 37233199 11575296 398 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 2826 398 191 642 0 2182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11304

[startup+0.301453 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2710
/proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=12332 CPUtime=0.29
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 714 0 0 0 29 0 0 0 17 0 1 0 37233199 12627968 630 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 3083 630 191 642 0 2439 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12332

[startup+0.701497 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2710
/proc/meminfo: memFree=1811924/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=12848 CPUtime=0.69
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 854 0 0 0 68 1 0 0 17 0 1 0 37233199 13156352 770 1992294400 134512640 137138936 4292169904 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 3212 770 191 642 0 2568 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12848

[startup+1.50159 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2711
/proc/meminfo: memFree=1809312/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=13108 CPUtime=1.49
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 909 0 0 0 148 1 0 0 18 0 1 0 37233199 13422592 825 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 3277 825 191 642 0 2633 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13108

[startup+3.10176 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2711
/proc/meminfo: memFree=1808816/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=13624 CPUtime=3.09
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1060 0 0 0 306 3 0 0 21 0 1 0 37233199 13950976 976 1992294400 134512640 137138936 4292169904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 3406 976 191 642 0 2762 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13624

[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2711
/proc/meminfo: memFree=1807700/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=14652 CPUtime=6.29
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1304 0 0 0 624 5 0 0 25 0 1 0 37233199 15003648 1220 1992294400 134512640 137138936 4292169904 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 3663 1220 191 642 0 3019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14652

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2711
/proc/meminfo: memFree=1806708/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=15164 CPUtime=12.69
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1434 0 0 0 1261 8 0 0 25 0 1 0 37233199 15527936 1350 1992294400 134512640 137138936 4292169904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 3791 1350 191 642 0 3147 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15164

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2713
/proc/meminfo: memFree=1806584/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=15288 CPUtime=25.49
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1476 0 0 0 2536 13 0 0 25 0 1 0 37233199 15654912 1392 1992294400 134512640 137138936 4292169904 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 3822 1392 191 642 0 3178 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15288

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2713
/proc/meminfo: memFree=1806212/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=15548 CPUtime=51.07
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1539 0 0 0 5080 27 0 0 25 0 1 0 37233199 15921152 1455 1992294400 134512640 137138936 4292169904 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 3887 1455 191 642 0 3243 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15548

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2715
/proc/meminfo: memFree=1805220/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=16516 CPUtime=102.26
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 1786 0 0 0 10178 48 0 0 25 0 1 0 37233199 16912384 1702 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4129 1702 191 642 0 3485 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16516

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2715
/proc/meminfo: memFree=1804228/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=17524 CPUtime=162.23
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2036 0 0 0 16153 70 0 0 25 0 1 0 37233199 17944576 1952 1992294400 134512640 137138936 4292169904 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4381 1952 191 642 0 3737 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 17524

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2717
/proc/meminfo: memFree=1803608/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=18032 CPUtime=222.22
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2149 0 0 0 22129 93 0 0 25 0 1 0 37233199 18464768 2065 1992294400 134512640 137138936 4292169904 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4508 2065 191 642 0 3864 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 18032

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2719
/proc/meminfo: memFree=1803112/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=18528 CPUtime=282.2
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2276 0 0 0 28107 113 0 0 25 0 1 0 37233199 18972672 2192 1992294400 134512640 137138936 4292169904 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4632 2192 191 642 0 3988 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 18528

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2721
/proc/meminfo: memFree=1802740/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=18884 CPUtime=342.18
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2362 0 0 0 34087 131 0 0 25 0 1 0 37233199 19337216 2278 1992294400 134512640 137138936 4292169904 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4721 2278 191 642 0 4077 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 18884

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2723
/proc/meminfo: memFree=1802244/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=19400 CPUtime=402.16
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2494 0 0 0 40066 150 0 0 25 0 1 0 37233199 19865600 2410 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4850 2410 191 642 0 4206 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 19400

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2723
/proc/meminfo: memFree=1802244/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=19400 CPUtime=462.14
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2494 0 0 0 46043 171 0 0 25 0 1 0 37233199 19865600 2410 1992294400 134512640 137138936 4292169904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4850 2410 191 642 0 4206 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 19400

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2725
/proc/meminfo: memFree=1801748/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=19736 CPUtime=522.13
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2574 0 0 0 52024 189 0 0 25 0 1 0 37233199 20209664 2490 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4934 2490 191 642 0 4290 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 19736

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2727
/proc/meminfo: memFree=1801624/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=19936 CPUtime=582.11
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2623 0 0 0 58003 208 0 0 25 0 1 0 37233199 20414464 2539 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4984 2539 191 642 0 4340 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 19936

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2729
/proc/meminfo: memFree=1801624/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=19932 CPUtime=642.1
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2623 0 0 0 63982 228 0 0 25 0 1 0 37233199 20410368 2539 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 4983 2539 191 642 0 4339 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 19932

[startup+702.301 s]

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

/proc/meminfo: memFree=1800384/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=20868 CPUtime=1061.96
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2886 0 0 0 105840 356 0 0 25 0 1 0 37233199 21368832 2779 1992294400 134512640 137138936 4292169904 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5217 2779 191 642 0 4573 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 20868

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2741
/proc/meminfo: memFree=1800384/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=20864 CPUtime=1121.93
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2886 0 0 0 111820 373 0 0 25 0 1 0 37233199 21364736 2779 1992294400 134512640 137138936 4292169904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5216 2779 191 642 0 4572 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 20864

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2743
/proc/meminfo: memFree=1800260/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=20864 CPUtime=1181.92
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2886 0 0 0 117804 388 0 0 25 0 1 0 37233199 21364736 2779 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5216 2779 191 642 0 4572 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 20864

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2745
/proc/meminfo: memFree=1800136/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=20860 CPUtime=1241.9
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2886 0 0 0 123786 404 0 0 25 0 1 0 37233199 21360640 2779 1992294400 134512640 137138936 4292169904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5215 2779 191 642 0 4571 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 20860

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2747
/proc/meminfo: memFree=1800012/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=20960 CPUtime=1301.89
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2907 0 0 0 129765 424 0 0 25 0 1 0 37233199 21463040 2800 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5240 2800 191 642 0 4596 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 20960

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2747
/proc/meminfo: memFree=1799888/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=20960 CPUtime=1361.86
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 2917 0 0 0 135742 444 0 0 25 0 1 0 37233199 21463040 2810 1992294400 134512640 137138936 4292169904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5240 2810 191 642 0 4596 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 20960

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2758
/proc/meminfo: memFree=1798772/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=21668 CPUtime=1421.84
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3084 0 0 0 141724 460 0 0 25 0 1 0 37233199 22188032 2977 1992294400 134512640 137138936 4292169904 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5417 2977 191 642 0 4773 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 21668

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2760
/proc/meminfo: memFree=1798648/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=21780 CPUtime=1481.81
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3111 0 0 0 147704 477 0 0 25 0 1 0 37233199 22302720 3004 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5445 3004 191 642 0 4801 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 21780

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2762
/proc/meminfo: memFree=1798276/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22288 CPUtime=1541.8
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3250 0 0 0 153686 494 0 0 25 0 1 0 37233199 22822912 3143 1992294400 134512640 137138936 4292169904 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5572 3143 191 642 0 4928 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 22288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2764
/proc/meminfo: memFree=1798276/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22288 CPUtime=1601.78
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3250 0 0 0 159665 513 0 0 25 0 1 0 37233199 22822912 3143 1992294400 134512640 137138936 4292169904 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5572 3143 191 642 0 4928 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 22288

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2764
/proc/meminfo: memFree=1798276/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22288 CPUtime=1661.76
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3250 0 0 0 165647 529 0 0 25 0 1 0 37233199 22822912 3143 1992294400 134512640 137138936 4292169904 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5572 3143 191 642 0 4928 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 22288

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2766
/proc/meminfo: memFree=1798152/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22544 CPUtime=1721.75
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 171628 547 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5636 3201 191 642 0 4992 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 22544

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2768
/proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22544 CPUtime=1781.72
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 177608 564 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5636 3201 191 642 0 4992 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 22544

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2768
/proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22544 CPUtime=1791.33
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 178565 568 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5636 3201 191 642 0 4992 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 22544

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2768
/proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22544 CPUtime=1794.53
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 178884 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5636 3201 191 642 0 4992 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 22544

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2768
/proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22544 CPUtime=1796.12
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 179043 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5636 3201 191 642 0 4992 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 22544

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2768
/proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22544 CPUtime=1796.92
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 179123 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5636 3201 191 642 0 4992 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 22544

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2768
/proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22544 CPUtime=1797.72
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 179203 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5636 3201 191 642 0 4992 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 22544

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2768
/proc/meminfo: memFree=1798028/2059040 swapFree=4140532/4192956
[pid=2710] ppid=2708 vsize=22544 CPUtime=1797.92
/proc/2710/stat : 2710 (bsolo_pb10) R 2708 2710 2427 0 -1 4202496 3308 0 0 0 179223 569 0 0 25 0 1 0 37233199 23085056 3201 1992294400 134512640 137138936 4292169904 18446744073709551615 134600264 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2710/statm: 5636 3201 191 642 0 4992 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 22544

Child status: 0
Real time (s): 1798.57
CPU time (s): 1798
CPU user time (s): 1792.3
CPU system time (s): 5.70013
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 22544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.3
system time used= 5.70013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3309
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= 1
involuntary context switches= 5658

runsolver used 2.80457 second user time and 8.65668 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-15 17:38:15
IDJOB=2657560
IDBENCH=2924
IDSOLVER=1163
FILE ID=node005/2657560-1276616295
PBS_JOBID= 11172290
Free space on /tmp= 62564 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657560-1276616295/watcher-2657560-1276616295 -o /tmp/evaluation-result-2657560-1276616295/solver-2657560-1276616295 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657560-1276616295.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b
RANDOM SEED=2082917389

node005.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1812460 kB
Buffers:         65584 kB
Cached:          98840 kB
SwapCached:       6800 kB
Active:          92632 kB
Inactive:        86028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1812460 kB
SwapTotal:     4192956 kB
SwapFree:      4140532 kB
Dirty:            4040 kB
Writeback:          16 kB
AnonPages:       11708 kB
Mapped:          13196 kB
Slab:            46192 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181472 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62560 MiB
End job on node005 at 2010-06-15 18:08:13