Trace number 2657557

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 ClSAT184 1798 1798.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1791.89
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
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-2657557-1276598985.opb
0.00/0.00	c File size is 13323 bytes.
0.00/0.00	c Highest Coefficient sum: 6340
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 198 Constr: 16 0/0/16 Lit: 1374 Watch. Lit: 400
0.00/0.00	c Obj. Vars: 128 (64.6465 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    198       16     1374   85      406    2748      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 958
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    198       17     1502   88      908    3004      1      0 0.01
0.00/0.02	c      100    198      117     9690   82     1107    3305    101   5000 0.02
0.00/0.02	o 951
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      108    198      126    10469   83     1246    3004    110   4909 0.02
0.00/0.04	c      208    198      226    18773   83     1431    3305    210   5777 0.04
0.00/0.04	o 942
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      229    198      248    20155   81     1561    3004    232   5871 0.04
0.00/0.05	c      329    198      348    26069   74     1773    3305    332   5981 0.06
0.00/0.05	o 842
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      330    198      350    26235   74     1891    3004    334   5892 0.06
0.00/0.05	o 840
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      330    198      351    26363   75     1995    3004    335   5789 0.06
0.00/0.06	o 836
0.06/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.07	c      334    198      356    26831   75     2085    3004    340   5758 0.06
0.06/0.07	o 830
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c      382    198      405    31044   76     2307    3004    389   5617 0.07
0.06/0.09	c      483    198      506    38630   76     2587    3305    490   5488 0.09
0.06/0.09	o 615
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c      483    198      507    38758   76     2562    3004    491   5426 0.09
0.06/0.09	o 613
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c      484    198      509    38990   76     2669    3004    493   5377 0.09
0.06/0.09	o 611
0.06/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.10	c      490    198      516    39650   76     2764    3004    500   5384 0.09
0.06/0.10	o 609
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      520    198      547    41906   76     2870    3004    531   5306 0.10
0.09/0.10	o 607
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      550    198      578    44242   76     3016    3004    562   5238 0.10
0.09/0.11	o 601
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      596    198      625    47444   75     3239    3004    609   5182 0.12
0.09/0.14	c      696    198      725    54219   74     3482    3305    709   5080 0.14
0.09/0.14	o 567
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      726    198      756    56411   74     3541    3004    740   5041 0.14
0.09/0.16	o 566
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      809    198      840    60400   71     3784    3004    824   5088 0.16
0.09/0.17	o 562
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      854    198      886    64441   72     3997    3004    870   4994 0.17
0.09/0.19	c      957    198      989    70310   71     4294    3305    973   5010 0.19
0.09/0.19	o 536
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      973    198     1006    71386   70     4269    3004    990   4964 0.20
0.19/0.21	o 530
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1037    198     1071    75098   70     4522    3004   1055   4891 0.21
0.19/0.21	o 361
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1043    198     1078    75593   70     4605    3004   1062   4873 0.21
0.19/0.22	o 359
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1060    198     1096    76815   70     4668    3004   1080   4862 0.22
0.19/0.22	o 357
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     1098    198     1135    78926   69     4882    3004   1119   4880 0.23
0.39/0.42	c     1200    198     1237    86680   70     4966    3305   1221   4918 0.24
0.39/0.42	c     1451    198     1488   102116   68     5337    3636   1472   4986 0.29
0.39/0.42	c     1926    198     1963   124720   63     6406    4000   1947   4938 0.39
0.39/0.42	o 355
2.89/2.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.96	c     2060    198     2098   133784   63     6561    3004   2082   4904 0.42
2.89/2.96	c     2161    198     2199   138112   62     7327    3305   2183   4900 0.44
2.89/2.96	c     2411    198     2449   150168   61     7747    3636   2433   4930 0.49
2.89/2.96	c     2886    198     2924   175156   59     8658    4000   2908   4883 0.59
2.89/2.96	c     3699    198     3737   216911   58    10308    4401   3721   4785 0.77
2.89/2.96	c     5019    198     2780   145344   52     6591    4842   2764   4583 1.09
2.89/2.96	c     7100    198     2438   127342   52     5778    5327   2422   4353 1.63
2.89/2.96	c    10323    198     2917   148239   50     6733    5860   2901   4203 2.46
2.89/2.96	o 354
8.69/8.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.69/8.76	c    12201    198     4796   267326   55    10613    3004   4780   4113 2.97
8.69/8.76	c    12301    198     1619   101580   62     4143    3305   1603   4074 3.02
8.69/8.76	c    12551    198     1869   114777   61     4628    3636   1853   4076 3.08
8.69/8.76	c    13026    198     2344   139505   59     5591    4000   2328   4094 3.18
8.69/8.76	c    13840    198     3158   187338   59     7218    4401   3142   4094 3.38
8.69/8.76	c    15160    198     2218   132606   59     5343    4842   2202   4061 3.73
8.69/8.76	c    17241    198     4299   245775   57     9506    5327   4283   4010 4.30
8.69/8.76	c    20464    198     4806   260580   54    10513    5860   4790   3964 5.16
8.69/8.76	c    25400    198     3782   203168   53     8453    6447   3766   3860 6.58
8.69/8.76	c    32906    198     4719   275231   58    10342    7092   4703   3764 8.74
8.69/8.76	o 350
8.80/8.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.80/8.82	c    32962    198     4776   278733   58    10562    3004   4760   3762 8.76
8.80/8.82	c    33062    198     1619    94109   58     4143    3305   1603   3750 8.81
8.80/8.82	o 348
8.89/8.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.89/8.95	c    33081    198     1639    95653   58     4291    3004   1623   3750 8.82
8.89/8.95	c    33181    198     1739   102087   58     4502    3305   1723   3753 8.84
8.89/8.95	c    33431    198     1989   117430   59     4989    3636   1973   3759 8.89
8.89/8.95	o 347
8.89/8.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.89/8.99	c    33699    198     2258   132560   58     5655    3004   2242   3766 8.95
8.89/8.99	c    33800    198     2359   137970   58     5843    3305   2343   3768 8.97
8.89/8.99	o 329
8.99/9.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.99/9.09	c    33879    198     2439   141939   58     6104    3004   2423   3770 8.99
8.99/9.09	c    33979    198     2539   148024   58     6337    3305   2523   3770 9.01
8.99/9.09	c    34229    198     2789   165770   59     6818    3636   2773   3776 9.06
8.99/9.09	o 327
8.99/9.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.99/9.09	c    34346    198     2907   170788   58     7177    3004   2891   3780 9.09
8.99/9.09	o 307
9.09/9.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.09/9.14	c    34364    198     2926   171828   58     7316    3004   2910   3780 9.09
9.09/9.14	c    34466    198     1519    92213   60     3924    3305   1503   3777 9.12
9.09/9.14	o 303
9.49/9.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.49/9.52	c    34533    198     1587    95741   60     4194    3004   1571   3779 9.14
9.49/9.52	c    34634    198     1688   101826   60     4392    3305   1672   3783 9.15
9.49/9.52	c    34884    198     1938   116674   60     4890    3636   1922   3791 9.20
9.49/9.52	c    35360    198     2414   146676   60     5830    4000   2398   3805 9.29
9.49/9.52	c    36173    198     3227   196715   60     7469    4401   3211   3825 9.46
9.49/9.52	o 301
9.49/9.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.49/9.54	c    36466    198     3521   212822   60     8162    3004   3505   3829 9.52
9.49/9.54	o 297
9.79/9.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.82	c    36552    198     1606    96925   60     4207    3004   1590   3830 9.54
9.79/9.82	c    36652    198     1706   101125   59     4431    3305   1690   3834 9.56
9.79/9.82	c    36903    198     1957   116968   59     4922    3636   1941   3840 9.61
9.79/9.82	c    37378    198     2432   141234   58     5887    4000   2416   3847 9.71
9.79/9.82	o 215
11.29/11.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.29/11.31	c    37832    198     2887   172391   59     6898    3004   2871   3853 9.82
11.29/11.31	c    37933    198     2988   177724   59     7126    3305   2972   3852 9.85
11.29/11.31	c    38183    198     3238   190296   58     7612    3636   3222   3857 9.90
11.29/11.31	c    38658    198     1848   101661   55     4587    4000   1832   3860 10.02
11.29/11.31	c    39472    198     2662   140612   52     6220    4401   2646   3876 10.18
11.29/11.31	c    40792    198     3982   217400   54     8874    4842   3966   3876 10.52
11.29/11.31	c    42875    198     3565   222306   62     8028    5327   3549   3845 11.15
11.29/11.31	o 190
15.19/15.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.19/15.29	c    43596    198     4287   262350   61     9589    3004   4271   3854 11.31
15.19/15.29	c    43696    198     1619    96078   59     4138    3305   1603   3851 11.34
15.19/15.29	c    43946    198     1869   107093   57     4632    3636   1853   3858 11.39
15.19/15.29	c    44421    198     2344   129989   55     5592    4000   2328   3867 11.48
15.19/15.29	c    45234    198     3157   171310   54     7216    4401   3141   3879 11.66
15.19/15.29	c    46554    198     2218   106447   47     5317    4842   2202   3895 11.95
15.19/15.29	c    48636    198     4300   206501   48     9501    5327   4284   3921 12.40
15.19/15.29	c    51859    198     4796   248431   51    10477    5860   4780   3899 13.30
15.19/15.29	c    56795    198     3736   199956   53     8381    6447   3720   3848 14.76
15.19/15.29	o 188
15.29/15.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.29/15.38	c    58807    198     5749   302099   52    12525    3004   5733   3847 15.29
15.29/15.38	c    58907    198     1619    80473   49     4119    3305   1603   3834 15.36
15.29/15.38	o 186
15.39/15.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.39/15.42	c    58960    198     1673    83504   49     4373    3004   1657   3835 15.37
15.39/15.42	c    59060    198     1773    88834   50     4573    3305   1757   3836 15.39
15.39/15.42	o 184
1797.96/1798.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.73	c    59219    198     1933    97158   50     5017    3004   1917   3839 15.42
1797.96/1798.73	c    59319    198     2033   100917   49     5197    3305   2017   3842 15.44
1797.96/1798.73	c    59569    198     2283   110903   48     5701    3636   2267   3849 15.48
1797.96/1798.73	c    60044    198     2758   130710   47     6629    4000   2742   3862 15.55
1797.96/1798.73	c    60857    198     3571   164458   46     8270    4401   3555   3880 15.68
1797.96/1798.73	c    62177    198     2649   105418   39     6183    4842   2633   3905 15.92
1797.96/1798.73	c    64258    198     4730   185744   39    10347    5327   4714   3952 16.26
1797.96/1798.73	c    67481    198     5243   199168   37    11362    5860   5227   4001 16.86
1797.96/1798.73	c    72417    198     4218   183937   43     9322    6447   4202   4015 18.03
1797.96/1798.73	c    79923    198     5170   240792   46    11223    7092   5154   4018 19.89
1797.96/1798.73	c    91284    198     5736   250651   43    12359    7802   5720   4004 22.80
1797.96/1798.73	c   108429    198     7073   331642   46    15031    8583   7057   3914 27.70
1797.96/1798.73	c   134249    198     6812   300674   44    14520    9442   6796   3762 35.68
1797.96/1798.73	c   173081    198     7495   333514   44    15875   10387   7479   3658 47.31
1797.96/1798.73	c   231433    198     8178   321459   39    17249   11426   8162   3479 66.52
1797.96/1798.73	c   319065    198     9361   355387   37    19600   12569   9345   3332 95.73
1797.96/1798.73	c   450617    198     7913   336621   42    16692   13826   7897   3050 147.71
1797.96/1798.73	c   648049    198    10433   434338   41    21731   15209  10417   2660 243.55
1797.96/1798.73	c   944301    198     8270   354460   42    17444   16730   8254   2342 403.14
1797.96/1798.73	c  1388783    198    15120   724124   47    31121   18404  15104   2105 659.56
1797.96/1798.73	c  2055611    198    15795   783279   49    32489   20245  15779   1898 1082.69
1797.96/1798.73	c  3055956    198    19482   862207   44    39867   22270  19466   1748 1747.49
1797.96/1798.73	c Resources Exceeded
1797.96/1798.73	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 
1797.96/1798.73	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.73	c  113  3132811  84730  3239134    16827   764047  16811   1742 1798.00
1797.96/1798.73	c Objective: 184
1797.96/1798.73	s SATISFIABLE
1797.96/1798.73	c Total time: 1798 s

Verifier Data 

OK	184

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657557-1276598985/watcher-2657557-1276598985 -o /tmp/evaluation-result-2657557-1276598985/solver-2657557-1276598985 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657557-1276598985.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 4978
/proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=18604 CPUtime=0
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 35500077 19050496 248 1992294400 134512640 137138936 4293981584 18446744073709551615 134575067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 4651 248 191 642 0 4007 0

[startup+0.065584 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4978
/proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=11176 CPUtime=0.06
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 433 0 0 0 6 0 0 0 20 0 1 0 35500077 11444224 347 1992294400 134512640 137138936 4293981584 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 2794 348 191 642 0 2150 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11176

[startup+0.100591 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4978
/proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=11304 CPUtime=0.09
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 482 0 0 0 9 0 0 0 20 0 1 0 35500077 11575296 396 1992294400 134512640 137138936 4293981584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 2826 396 191 642 0 2182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11304

[startup+0.30063 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4978
/proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=12324 CPUtime=0.29
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 711 0 0 0 29 0 0 0 20 0 1 0 35500077 12619776 625 1992294400 134512640 137138936 4293981584 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 3081 625 191 642 0 2437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12324

[startup+0.700708 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4978
/proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=13728 CPUtime=0.69
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1079 0 0 0 68 1 0 0 21 0 1 0 35500077 14057472 993 1992294400 134512640 137138936 4293981584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 3432 993 191 642 0 2788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13728

[startup+1.50086 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4979
/proc/meminfo: memFree=1714992/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=14620 CPUtime=1.49
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1290 0 0 0 148 1 0 0 23 0 1 0 35500077 14970880 1204 1992294400 134512640 137138936 4293981584 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 3655 1204 191 642 0 3011 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14620

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4979
/proc/meminfo: memFree=1714620/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=15000 CPUtime=3.09
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1392 0 0 0 307 2 0 0 25 0 1 0 35500077 15360000 1306 1992294400 134512640 137138936 4293981584 18446744073709551615 134603085 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 3750 1306 191 642 0 3106 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15000

[startup+6.3008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4979
/proc/meminfo: memFree=1713876/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=15500 CPUtime=6.29
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1527 0 0 0 626 3 0 0 25 0 1 0 35500077 15872000 1441 1992294400 134512640 137138936 4293981584 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 3875 1441 191 642 0 3231 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15500

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4981
/proc/meminfo: memFree=1712884/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=16144 CPUtime=12.69
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1679 0 0 0 1262 7 0 0 25 0 1 0 35500077 16531456 1593 1992294400 134512640 137138936 4293981584 18446744073709551615 134542627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 4036 1593 191 642 0 3392 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16144

[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4981
/proc/meminfo: memFree=1712760/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=16276 CPUtime=25.48
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1718 0 0 0 2534 14 0 0 25 0 1 0 35500077 16666624 1632 1992294400 134512640 137138936 4293981584 18446744073709551615 134575990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 4069 1632 191 642 0 3425 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16276

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4981
/proc/meminfo: memFree=1711148/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=17916 CPUtime=51.07
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 2118 0 0 0 5081 26 0 0 25 0 1 0 35500077 18345984 2032 1992294400 134512640 137138936 4293981584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 4479 2032 191 642 0 3835 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17916

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4983
/proc/meminfo: memFree=1709784/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=19236 CPUtime=102.26
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 2457 0 0 0 10181 45 0 0 25 0 1 0 35500077 19697664 2371 1992294400 134512640 137138936 4293981584 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 4809 2371 191 642 0 4165 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19236

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4985
/proc/meminfo: memFree=1708668/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=20404 CPUtime=162.23
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 2743 0 0 0 16157 66 0 0 25 0 1 0 35500077 20893696 2657 1992294400 134512640 137138936 4293981584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 5101 2657 191 642 0 4457 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 20404

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4985
/proc/meminfo: memFree=1707800/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=21244 CPUtime=222.2
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 2953 0 0 0 22134 86 0 0 25 0 1 0 35500077 21753856 2867 1992294400 134512640 137138936 4293981584 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 5311 2867 191 642 0 4667 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 21244

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4987
/proc/meminfo: memFree=1706064/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=22820 CPUtime=282.18
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3365 0 0 0 28115 103 0 0 25 0 1 0 35500077 23367680 3279 1992294400 134512640 137138936 4293981584 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 5705 3279 191 642 0 5061 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 22820

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4989
/proc/meminfo: memFree=1706064/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=22808 CPUtime=342.16
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3365 0 0 0 34099 117 0 0 25 0 1 0 35500077 23355392 3276 1992294400 134512640 137138936 4293981584 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 5702 3276 191 642 0 5058 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 22808

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4991
/proc/meminfo: memFree=1706064/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=22640 CPUtime=402.14
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3365 0 0 0 40078 136 0 0 25 0 1 0 35500077 23183360 3234 1992294400 134512640 137138936 4293981584 18446744073709551615 134609408 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 5660 3234 191 642 0 5016 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 22640

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4993
/proc/meminfo: memFree=1705940/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=22968 CPUtime=462.12
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3432 0 0 0 46056 156 0 0 25 0 1 0 35500077 23519232 3300 1992294400 134512640 137138936 4293981584 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 5742 3300 191 642 0 5098 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 22968

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4993
/proc/meminfo: memFree=1705072/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=23820 CPUtime=522.09
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3646 0 0 0 52034 175 0 0 25 0 1 0 35500077 24391680 3514 1992294400 134512640 137138936 4293981584 18446744073709551615 134542918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 5955 3514 191 642 0 5311 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 23820

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4995
/proc/meminfo: memFree=1705072/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=23804 CPUtime=582.07
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3646 0 0 0 58015 192 0 0 25 0 1 0 35500077 24375296 3514 1992294400 134512640 137138936 4293981584 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 5951 3514 191 642 0 5307 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 23804

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4997
/proc/meminfo: memFree=1705072/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=23800 CPUtime=642.05
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3646 0 0 0 63995 210 0 0 25 0 1 0 35500077 24371200 3514 1992294400 134512640 137138936 4293981584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 5950 3514 191 642 0 5306 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 23800

[startup+702.301 s]

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

/proc/meminfo: memFree=1702716/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25420 CPUtime=1061.86
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4053 0 0 0 105864 322 0 0 25 0 1 0 35500077 26030080 3921 1992294400 134512640 137138936 4293981584 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6355 3921 191 642 0 5711 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 25420

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5018
/proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25548 CPUtime=1121.84
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4083 0 0 0 111843 341 0 0 25 0 1 0 35500077 26161152 3951 1992294400 134512640 137138936 4293981584 18446744073709551615 134573847 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6387 3951 191 642 0 5743 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 25548

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5020
/proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25548 CPUtime=1181.81
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4083 0 0 0 117825 356 0 0 25 0 1 0 35500077 26161152 3951 1992294400 134512640 137138936 4293981584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6387 3951 191 642 0 5743 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 25548

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5022
/proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25520 CPUtime=1241.79
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4083 0 0 0 123805 374 0 0 25 0 1 0 35500077 26132480 3951 1992294400 134512640 137138936 4293981584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6380 3951 191 642 0 5736 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 25520

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5024
/proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25572 CPUtime=1301.78
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 129787 391 0 0 25 0 1 0 35500077 26185728 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6393 3955 191 642 0 5749 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 25572

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5026
/proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25552 CPUtime=1361.74
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 135769 405 0 0 25 0 1 0 35500077 26165248 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6388 3955 191 642 0 5744 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 25552

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5026
/proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25548 CPUtime=1421.72
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 141752 420 0 0 25 0 1 0 35500077 26161152 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6387 3955 191 642 0 5743 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 25548

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 5031
/proc/meminfo: memFree=1702220/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25548 CPUtime=1481.69
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 147732 437 0 0 25 0 1 0 35500077 26161152 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6387 3955 191 642 0 5743 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 25548

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 5033
/proc/meminfo: memFree=1702220/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25540 CPUtime=1541.66
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 153714 452 0 0 25 0 1 0 35500077 26152960 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6385 3955 191 642 0 5741 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 25540

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5035
/proc/meminfo: memFree=1701848/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25896 CPUtime=1601.64
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4169 0 0 0 159695 469 0 0 25 0 1 0 35500077 26517504 4037 1992294400 134512640 137138936 4293981584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6474 4037 191 642 0 5830 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 25896

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5037
/proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25768 CPUtime=1661.61
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4169 0 0 0 165674 487 0 0 25 0 1 0 35500077 26386432 4016 1992294400 134512640 137138936 4293981584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6442 4016 191 642 0 5798 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 25768

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5037
/proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25768 CPUtime=1721.59
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4169 0 0 0 171657 502 0 0 25 0 1 0 35500077 26386432 4016 1992294400 134512640 137138936 4293981584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6442 4016 191 642 0 5798 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 25768

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5039
/proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25896 CPUtime=1781.57
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4193 0 0 0 177640 517 0 0 25 0 1 0 35500077 26517504 4039 1992294400 134512640 137138936 4293981584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6474 4039 191 642 0 5830 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 25896

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 5039
/proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=25896 CPUtime=1791.17
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4193 0 0 0 178597 520 0 0 25 0 1 0 35500077 26517504 4039 1992294400 134512640 137138936 4293981584 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6474 4039 191 642 0 5830 0
Current children cumulated CPU time (s) 1791.17
Current children cumulated vsize (KiB) 25896

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5039
/proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=26012 CPUtime=1794.37
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 178916 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6503 4066 191 642 0 5859 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 26012

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5039
/proc/meminfo: memFree=1701972/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=26012 CPUtime=1795.97
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 179076 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6503 4066 191 642 0 5859 0
Current children cumulated CPU time (s) 1795.97
Current children cumulated vsize (KiB) 26012

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5039
/proc/meminfo: memFree=1701972/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=26012 CPUtime=1796.76
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 179155 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134575826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6503 4066 191 642 0 5859 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 26012

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5039
/proc/meminfo: memFree=1701972/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=26012 CPUtime=1797.56
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 179235 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6503 4066 191 642 0 5859 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 26012

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5039
/proc/meminfo: memFree=1701972/2059040 swapFree=4136232/4192956
[pid=4978] ppid=4976 vsize=26012 CPUtime=1797.96
/proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 179275 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4978/statm: 6503 4066 191 642 0 5859 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 26012

Child status: 0
Real time (s): 1798.73
CPU time (s): 1798
CPU user time (s): 1792.78
CPU system time (s): 5.22021
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 26012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.78
system time used= 5.22021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4221
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= 23086

runsolver used 3.12453 second user time and 8.33973 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-15 12:49:45
IDJOB=2657557
IDBENCH=2895
IDSOLVER=1163
FILE ID=node011/2657557-1276598985
PBS_JOBID= 11172229
Free space on /tmp= 62360 MiB

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

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

MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb
RANDOM SEED=1403840889

node011.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.264
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.52
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.264
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:       1719620 kB
Buffers:        110832 kB
Cached:         150288 kB
SwapCached:      10072 kB
Active:         103000 kB
Inactive:       171300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1719620 kB
SwapTotal:     4192956 kB
SwapFree:      4136232 kB
Dirty:            3912 kB
Writeback:          16 kB
AnonPages:       11568 kB
Mapped:           9344 kB
Slab:            43296 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180836 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= 62356 MiB
End job on node011 at 2010-06-15 13:19:44