Trace number 1877186

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1SAT75 1798 1798.59

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark1802.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
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 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1877186-1245176916.opb
0.00/0.00	c File size is 13239 bytes.
0.00/0.00	c Highest Coefficient sum: 6162
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: 198 Constr: 16 0/0/16 Lit: 1364 Watch. Lit: 392
0.00/0.00	c Obj. Vars: 128 (64.6465 % 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    198       16     1364   85      398    2728      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1039
0.03/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.03	c        0    198       17     1492   87      919    2984      1      0 0.00
0.03/0.03	c      100    198      120    10271   85     1162    3283    104   2777 0.04
0.03/0.03	o 872
0.03/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.04	c      101    198      122    10463   85     1255    2984    106   2729 0.04
0.03/0.04	o 792
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c      101    198      123    10591   86     1354    2984    107   2657 0.04
0.03/0.09	c      202    198      229    19981   87     1614    3283    213   2927 0.07
0.03/0.09	o 786
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      278    198      310    25642   82     1942    2984    294   2989 0.09
0.09/0.12	o 776
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      366    198      400    32346   80     2248    2984    384   2951 0.12
0.09/0.13	o 757
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      373    198      408    32941   80     2340    2984    392   2914 0.13
0.09/0.13	o 755
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      379    198      415    33560   80     2469    2984    399   2915 0.13
0.09/0.15	o 733
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      440    198      479    38491   80     2726    2984    463   2894 0.15
0.09/0.19	c      540    198      583    45030   77     3014    3283    567   2812 0.19
0.09/0.19	o 380
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      540    198      584    45158   77     2993    2984    568   2812 0.19
0.09/0.19	o 378
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      542    198      587    45454   77     3103    2984    571   2808 0.19
0.19/0.20	o 376
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      574    198      620    48478   78     3138    2984    604   2772 0.21
0.19/0.22	o 297
3.29/3.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.31	c      635    198      683    51061   74     3297    2984    667   2809 0.23
3.29/3.31	c      735    198      786    56653   72     3563    3283    770   2816 0.26
3.29/3.31	c      987    198     1041    69945   67     4059    3612   1025   2828 0.35
3.29/3.31	c     1462    198     1529    96248   62     5154    3974   1513   2889 0.51
3.29/3.31	c     2276    198     2347   142115   60     6822    4372   2331   2735 0.83
3.29/3.31	c     3596    198     3674   209200   56     9472    4810   3658   2617 1.37
3.29/3.31	c     5677    198     3340   183768   55     7679    5292   3324   2439 2.33
3.29/3.31	o 295
3.99/4.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.09	c     7576    198     5270   305532   57    11912    2984   5254   2286 3.31
3.99/4.09	c     7676    198     1611   101805   63     4228    3283   1595   2275 3.37
3.99/4.09	c     7927    198     1868   116985   62     4766    3612   1852   2293 3.46
3.99/4.09	c     8403    198     2355   144668   61     5855    3974   2339   2305 3.65
3.99/4.09	c     9216    198     3185   188159   59     7654    4372   3169   2324 3.96
3.99/4.09	o 288
4.09/4.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.19	c     9475    198     3449   203955   59     8347    2984   3433   2317 4.09
4.09/4.19	c     9575    198     1610    89212   55     4172    3283   1594   2317 4.13
4.09/4.19	o 286
4.19/4.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.27	c     9706    198     1749    97712   55     4622    2984   1733   2316 4.19
4.19/4.27	c     9806    198     1851   103063   55     4830    3283   1835   2316 4.23
4.19/4.27	o 284
4.29/4.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.36	c     9912    198     1970   109802   55     5265    2984   1954   2317 4.28
4.29/4.36	c    10012    198     2071   114863   55     5472    3283   2055   2315 4.32
4.29/4.36	o 282
4.29/4.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.39	c    10106    198     2178   122916   56     5854    2984   2162   2315 4.36
4.29/4.39	o 235
4.99/5.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.09	c    10188    198     2261   126262   55     6129    2984   2245   2319 4.39
4.99/5.09	c    10291    198     2365   131434   55     6355    3283   2349   2320 4.43
4.99/5.09	c    10541    198     2618   143057   54     6873    3612   2602   2327 4.53
4.99/5.09	c    11016    198     3102   168004   54     7865    3974   3086   2329 4.73
4.99/5.09	c    11829    198     3928   207262   52     9539    4372   3912   2328 5.08
4.99/5.09	o 210
5.09/5.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.11	c    11846    198     3947   208248   52     9680    2984   3931   2326 5.09
5.09/5.11	o 206
6.09/6.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.14	c    11861    198     1525    75986   49     4077    2984   1509   2321 5.11
6.09/6.14	c    11961    198     1629    82767   50     4283    3283   1613   2322 5.15
6.09/6.14	c    12211    198     1886    96617   51     4825    3612   1870   2323 5.26
6.09/6.14	c    12686    198     2371   121320   51     5834    3974   2355   2330 5.44
6.09/6.14	c    13499    198     3201   162763   50     7481    4372   3185   2338 5.77
6.09/6.14	o 205
6.09/6.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.20	c    14347    198     4071   211027   51     9433    2984   4055   2337 6.14
6.09/6.20	c    14447    198     1609    85275   52     4195    3283   1593   2333 6.19
6.09/6.20	o 195
6.19/6.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.22	c    14459    198     1622    86063   53     4321    2984   1606   2333 6.20
6.19/6.22	o 185
6.19/6.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.23	c    14507    198     1674    89014   53     4563    2984   1658   2333 6.22
6.19/6.23	o 179
6.19/6.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.24	c    14540    198     1708    90739   53     4752    2984   1692   2333 6.23
6.19/6.24	o 177
33.88/33.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.88/33.94	c    14576    198     1745    93277   53     4952    2984   1729   2334 6.25
33.88/33.94	c    14676    198     1846    98641   53     5156    3283   1830   2336 6.28
33.88/33.94	c    14926    198     2097   108841   51     5657    3612   2081   2346 6.36
33.88/33.94	c    15401    198     2576   131428   51     6614    3974   2560   2348 6.56
33.88/33.94	c    16214    198     3395   170384   50     8262    4372   3379   2352 6.89
33.88/33.94	c    17534    198     2498   128690   51     6124    4810   2482   2343 7.48
33.88/33.94	c    19615    198     4619   244159   52    10453    5292   4603   2317 8.46
33.88/33.94	c    22838    198     5215   258361   49    11490    5822   5199   2311 9.88
33.88/33.94	c    27774    198     4261   219044   51     9426    6405   4245   2249 12.35
33.88/33.94	c    35282    198     5307   272138   51    11583    7046   5291   2201 16.02
33.88/33.94	c    46643    198     6082   295846   48    13070    7751   6066   2112 22.08
33.88/33.94	c    63787    198     7710   386096   50    16326    8527   7694   2020 31.57
33.88/33.94	o 158
36.58/36.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.58/36.61	c    67760    198     7414   413003   55    16379    2984   7398   1996 33.93
36.58/36.61	c    67860    198     1609   101954   63     4265    3283   1593   1991 34.07
36.58/36.61	c    68110    198     1861   114512   61     4766    3612   1845   1992 34.18
36.58/36.61	c    68585    198     2341   135907   58     5726    3974   2325   1995 34.36
36.58/36.61	c    69398    198     3168   173285   54     7377    4372   3152   2002 34.66
36.58/36.61	c    70722    198     2233   105597   47     5381    4810   2217   2005 35.27
36.58/36.61	c    72803    198     4353   204668   47     9663    5292   4337   2014 36.13
36.58/36.61	o 157
36.68/36.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.68/36.72	c    73749    198     2663   135040   50     6443    2984   2647   2013 36.63
36.68/36.72	c    73849    198     2764   139662   50     6651    3283   2748   2013 36.68
36.68/36.72	o 155
41.78/41.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.78/41.86	c    73919    198     2840   144893   51     6946    2984   2824   2013 36.71
41.78/41.86	c    74020    198     2942   148888   50     7145    3283   2926   2014 36.75
41.78/41.86	c    74270    198     3218   161298   50     7693    3612   3202   2016 36.83
41.78/41.86	c    74745    198     1863    92801   49     4644    3974   1847   2019 37.00
41.78/41.86	c    75558    198     2677   129247   48     6274    4372   2661   2026 37.28
41.78/41.86	c    76878    198     4005   195059   48     8931    4810   3989   2034 37.79
41.78/41.86	c    78959    198     3610   184763   51     8117    5292   3594   2034 38.82
41.78/41.86	c    82182    198     4130   201466   48     9188    5822   4114   2041 40.25
41.78/41.86	o 90
41.88/41.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.88/41.90	c    85507    198     4512   226671   50    10298    2984   4496   2043 41.84
41.88/41.90	o 86
390.56/390.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
390.56/390.74	c    85509    197     1512    83001   54     4240    2982   1496   2041 41.88
390.56/390.74	c    85609    194     1612    88936   55     4425    3281   1596   2042 41.92
390.56/390.74	c    85859    190     1864   100283   53     4929    3610   1848   2044 42.01
390.56/390.74	c    86334    190     2340   118954   50     5876    3972   2324   2047 42.17
390.56/390.74	c    87147    189     3156   152844   48     7508    4370   3140   2051 42.49
390.56/390.74	c    88467    189     2236    91519   40     5358    4808   2220   2054 43.06
390.56/390.74	c    90548    188     4328   179964   41     9539    5289   4312   2064 43.85
390.56/390.74	c    93771    188     4891   204064   41    10658    5818   4875   2076 45.17
390.56/390.74	c    98707    188     3947   165355   41     8798    6400   3931   2087 47.28
390.56/390.74	c   106213    188     4994   214712   42    10872    7041   4978   2110 50.33
390.56/390.74	c   117574    185     5675   239891   42    12237    7746   5659   2124 55.33
390.56/390.74	c   134718    185     7323   330546   45    15534    8521   7307   2105 63.99
390.56/390.74	c   160537    184     7598   327926   43    16081    9374   7582   2088 76.85
390.56/390.74	c   199369    184     9061   405690   44    19002   10312   9045   2067 96.42
390.56/390.74	c   257721    184     5669   248003   43    12220   11344   5653   1998 128.93
390.56/390.74	c   345354    184     8735   454181   51    18356   12479   8719   1888 182.83
390.56/390.74	c   476906    183     9195   418415   45    19282   13727   9179   1788 266.69
390.56/390.74	o 81
390.66/390.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
390.66/390.83	c   673084    182     7151   320302   44    15300    2952   7135   1723 390.62
390.66/390.83	o 77
390.66/390.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
390.66/390.86	c   673096    182     1522    62938   41     4014    2952   1506   1722 390.70
390.66/390.86	o 75
1797.91/1798.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.58	c   673192    182     1620    70426   43     4320    2952   1604   1722 390.73
1797.91/1798.58	c   673292    182     1723    76713   44     4547    3248   1707   1722 390.77
1797.91/1798.58	c   673542    182     1974    88436   44     5046    3573   1958   1723 390.86
1797.91/1798.58	c   674017    182     2449   110741   45     6002    3931   2433   1723 391.03
1797.91/1798.58	c   674830    182     3262   149312   45     7622    4325   3246   1724 391.36
1797.91/1798.58	c   676150    182     2369   112284   47     5600    4758   2353   1725 391.93
1797.91/1798.58	c   678231    182     4451   207012   46     9771    5234   4435   1726 392.74
1797.91/1798.58	c   681454    182     5008   230153   45    10879    5758   4992   1729 394.08
1797.91/1798.58	c   686391    182     4096   188494   46     9041    6334   4080   1732 396.20
1797.91/1798.58	c   693897    182     5167   234054   45    11199    6968   5151   1737 399.38
1797.91/1798.58	c   705259    182     5925   255109   43    12714    7665   5909   1743 404.40
1797.91/1798.58	c   722403    182     7557   337179   44    15974    8432   7541   1753 411.90
1797.91/1798.58	c   748222    182     7780   362811   46    16416    9276   7764   1762 424.45
1797.91/1798.58	c   787055    182     9158   410657   44    19170   10204   9142   1773 443.71
1797.91/1798.58	c   845407    182     5750   255240   44    12348   11225   5734   1786 473.32
1797.91/1798.58	c   933040    182     8517   375873   44    17893   12348   8501   1795 519.58
1797.91/1798.58	c  1064593    182     9585   452645   47    20028   13583   9569   1790 594.45
1797.91/1798.58	c  1262025    182     8840   363382   41    18549   14942   8824   1779 709.14
1797.91/1798.58	c  1558277    182    12122   602939   49    25112   16437  12106   1719 906.09
1797.91/1798.58	c  2002759    182    10954   495318   45    22773   18081  10938   1664 1203.55
1797.91/1798.58	c  2669586    182    15216   679845   44    31299   19890  15200   1560 1710.30
1797.91/1798.58	c Resources Exceeded
1797.91/1798.58	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 -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 x143 
1797.91/1798.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.58	c  119  2777718  92815  2892851    13462   593055  13446   1544 1798.00
1797.91/1798.58	c Objective: 75
1797.91/1798.58	s SATISFIABLE
1797.91/1798.58	c Total time: 1798 s

Verifier Data 

OK	75

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877186-1245176916/watcher-1877186-1245176916 -o /tmp/evaluation-result-1877186-1245176916/solver-1877186-1245176916 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877186-1245176916.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 0.95 3/64 3921
/proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=18520 CPUtime=0
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 2021076 18964480 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 4630 243 189 640 0 3986 0

[startup+0.035772 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 3921
/proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=10828 CPUtime=0.03
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 299 0 0 0 3 0 0 0 18 0 1 0 2021076 11087872 279 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 2707 279 196 640 0 2063 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10828

[startup+0.101781 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 3921
/proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=11072 CPUtime=0.09
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 363 0 0 0 9 0 0 0 18 0 1 0 2021076 11337728 343 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 2768 344 197 640 0 2124 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11072

[startup+0.301811 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 3921
/proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=11552 CPUtime=0.29
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 496 0 0 0 29 0 0 0 19 0 1 0 2021076 11829248 476 1992294400 134512640 137136520 4294956256 18446744073709551615 134616701 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 2888 476 197 640 0 2244 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11552

[startup+0.70187 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 3921
/proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=12536 CPUtime=0.69
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 723 0 0 0 69 0 0 0 22 0 1 0 2021076 12836864 703 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 3134 703 197 640 0 2490 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12536

[startup+1.50199 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1917736/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=14012 CPUtime=1.49
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1094 0 0 0 149 0 0 0 25 0 1 0 2021076 14348288 1074 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 3503 1074 197 640 0 2859 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14012

[startup+3.10123 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1915944/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=14752 CPUtime=3.09
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1306 0 0 0 308 1 0 0 25 0 1 0 2021076 15106048 1286 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 3688 1286 197 640 0 3044 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14752

[startup+6.30171 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1915368/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=15236 CPUtime=6.29
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1401 0 0 0 627 2 0 0 25 0 1 0 2021076 15601664 1381 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 3809 1381 197 640 0 3165 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15236

[startup+12.7027 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1915240/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=15236 CPUtime=12.69
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1401 0 0 0 1266 3 0 0 25 0 1 0 2021076 15601664 1381 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 3809 1381 197 640 0 3165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15236

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1913960/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=16452 CPUtime=25.48
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1726 0 0 0 2543 5 0 0 25 0 1 0 2021076 16846848 1706 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 4113 1706 197 640 0 3469 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16452

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1913256/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=17004 CPUtime=51.07
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1907 0 0 0 5096 11 0 0 25 0 1 0 2021076 17412096 1850 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 4251 1850 197 640 0 3607 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17004

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1912680/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=17776 CPUtime=102.26
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 2095 0 0 0 10206 20 0 0 25 0 1 0 2021076 18202624 2021 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 4444 2021 197 640 0 3800 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17776

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1910568/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=19836 CPUtime=162.24
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 2625 0 0 0 16191 33 0 0 25 0 1 0 2021076 20312064 2551 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 4959 2551 197 640 0 4315 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19836

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1908648/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=21756 CPUtime=222.22
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3094 0 0 0 22179 43 0 0 25 0 1 0 2021076 22278144 3020 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5439 3020 197 640 0 4795 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 21756

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=21704 CPUtime=282.2
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 28167 53 0 0 25 0 1 0 2021076 22224896 3021 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5426 3021 197 640 0 4782 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 21704

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=21700 CPUtime=342.18
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 34155 63 0 0 25 0 1 0 2021076 22220800 3021 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5425 3021 197 640 0 4781 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 21700

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=21572 CPUtime=402.16
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 40141 75 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5393 2992 197 640 0 4749 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 21572

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=21572 CPUtime=462.13
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 46126 87 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5393 2992 197 640 0 4749 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 21572

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=21572 CPUtime=522.12
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 52114 98 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5393 2992 197 640 0 4749 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 21572

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=21572 CPUtime=582.1
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 58102 108 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5393 2992 197 640 0 4749 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 21572

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=21572 CPUtime=642.08
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 64090 118 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5393 2992 197 640 0 4749 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 21572

[startup+702.302 s]

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

/proc/meminfo: memFree=1907240/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=22736 CPUtime=1061.94
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3377 0 0 0 106009 185 0 0 25 0 1 0 2021076 23281664 3274 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5684 3274 197 640 0 5040 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 22736

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1907176/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=22736 CPUtime=1121.92
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3377 0 0 0 111997 195 0 0 25 0 1 0 2021076 23281664 3274 1992294400 134512640 137136520 4294956256 18446744073709551615 134598621 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5684 3274 197 640 0 5040 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 22736

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1907048/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=22828 CPUtime=1181.9
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3394 0 0 0 117985 205 0 0 25 0 1 0 2021076 23375872 3291 1992294400 134512640 137136520 4294956256 18446744073709551615 136509064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5707 3291 197 640 0 5063 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 22828

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 3922
/proc/meminfo: memFree=1906728/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=23136 CPUtime=1241.89
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3473 0 0 0 123975 214 0 0 25 0 1 0 2021076 23691264 3370 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5784 3370 197 640 0 5140 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 23136

[startup+1302.3 s]
/proc/loadavg: 1.06 1.01 0.96 2/65 3922
/proc/meminfo: memFree=1905896/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=23952 CPUtime=1301.87
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3676 0 0 0 129964 223 0 0 25 0 1 0 2021076 24526848 3573 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5988 3573 197 640 0 5344 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 23952

[startup+1362.3 s]
/proc/loadavg: 1.07 1.03 0.96 2/65 3922
/proc/meminfo: memFree=1905832/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=23952 CPUtime=1361.85
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3676 0 0 0 135953 232 0 0 25 0 1 0 2021076 24526848 3573 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 5988 3573 197 640 0 5344 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 23952

[startup+1422.31 s]
/proc/loadavg: 1.02 1.02 0.96 2/65 3922
/proc/meminfo: memFree=1905640/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=24068 CPUtime=1421.83
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3719 0 0 0 141942 241 0 0 25 0 1 0 2021076 24645632 3616 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6017 3616 197 640 0 5373 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 24068

[startup+1482.3 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 3924
/proc/meminfo: memFree=1905320/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=24168 CPUtime=1481.81
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3731 0 0 0 147930 251 0 0 25 0 1 0 2021076 24748032 3628 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6042 3628 197 640 0 5398 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 24168

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 3924
/proc/meminfo: memFree=1905320/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=24164 CPUtime=1541.79
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3731 0 0 0 153920 259 0 0 25 0 1 0 2021076 24743936 3628 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6041 3628 197 640 0 5397 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 24164

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1905320/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=24164 CPUtime=1601.77
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3731 0 0 0 159909 268 0 0 25 0 1 0 2021076 24743936 3628 1992294400 134512640 137136520 4294956256 18446744073709551615 134599082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6041 3628 197 640 0 5397 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 24164

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1905128/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=24488 CPUtime=1661.75
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3810 0 0 0 165899 276 0 0 25 0 1 0 2021076 25075712 3707 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6122 3707 197 640 0 5478 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 24488

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1905064/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=24520 CPUtime=1721.73
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3823 0 0 0 171886 287 0 0 25 0 1 0 2021076 25108480 3717 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6130 3717 197 640 0 5486 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 24520

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1904488/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=25080 CPUtime=1781.71
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 177874 297 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6270 3857 197 640 0 5626 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 25080

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1904488/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=25080 CPUtime=1791.32
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 178834 298 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6270 3857 197 640 0 5626 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 25080

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1904488/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=25080 CPUtime=1794.51
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179153 298 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6270 3857 197 640 0 5626 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 25080

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1904424/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=25080 CPUtime=1796.1
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179312 298 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6270 3857 197 640 0 5626 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 25080

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1904424/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=25080 CPUtime=1796.9
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179392 298 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6270 3857 197 640 0 5626 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 25080

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1904424/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=25080 CPUtime=1797.71
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179472 299 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6270 3857 197 640 0 5626 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 25080

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 3924
/proc/meminfo: memFree=1904424/2055920 swapFree=4192956/4192956
[pid=3921] ppid=3919 vsize=25080 CPUtime=1797.91
/proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179492 299 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3921/statm: 6270 3857 197 640 0 5626 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 25080

Child status: 0
Real time (s): 1798.59
CPU time (s): 1798
CPU user time (s): 1795.01
CPU system time (s): 2.99654
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 25080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.01
system time used= 2.99654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3965
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= 2
involuntary context switches= 2151

runsolver used 1.3058 second user time and 3.68244 second system time

The end

Launcher Data 

Begin job on node30 at 2009-06-16 20:28:36
IDJOB=1877186
IDBENCH=2920
IDSOLVER=699
FILE ID=node30/1877186-1245176916
PBS_JOBID= 9363935
Free space on /tmp= 66220 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877186-1245176916/watcher-1877186-1245176916 -o /tmp/evaluation-result-1877186-1245176916/solver-1877186-1245176916 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877186-1245176916.opb

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

MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27
RANDOM SEED=1810887706

node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.273
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.273
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1920848 kB
Buffers:         23992 kB
Cached:          68896 kB
SwapCached:          0 kB
Active:          73136 kB
Inactive:        32548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1920848 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          22592 kB
Slab:            15460 kB
Committed_AS:    60084 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877186-1245176916.opb

Free space on /tmp at the end= 66216 MiB
End job on node30 at 2009-06-16 20:58:35