Trace number 3708452

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.2SAT14 1798.03 1798.6

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
MD5SUM64354bd2b9c3cc2f1ca2c32032e5c032
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark351.226
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6260
Sum of products size (including duplicates)12520
Number of different products6260
Sum of products size12520

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708452-1338172203.opb
0.00/0.00	c File size is 84610 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.01	c Var: 6460 Constr: 12720 6460/0/6260 Lit: 44020 Watch. Lit: 31700
0.00/0.01	c Obj. Vars: 200 (3.09598 % of total variables)
0.09/0.19	c Pre-processing Time: 0.188 s
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   6460    12720    44020    3    31700   39713      0      0 0.19
0.09/0.19	c Switching off lower bounding mode.
0.09/0.19	o 199
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   6460    12721    44220    3    31703   39846      1      0 0.19
0.09/0.19	o 198
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   6460    12722    44420    3    31707   40046      2      0 0.19
0.09/0.19	o 197
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   6460    12723    44620    3    31712   40313      3      0 0.20
0.19/0.20	o 196
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   6460    12724    44820    3    31718   40646      4      0 0.20
0.19/0.20	o 195
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   6460    12725    45020    3    31725   41046      5      0 0.20
0.19/0.21	o 194
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   6460    12726    45220    3    31733   41513      6      0 0.21
0.19/0.21	o 193
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   6460    12727    45420    3    31742   42046      7      0 0.21
0.19/0.21	o 192
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   6460    12728    45620    3    31752   42646      8      0 0.22
0.19/0.22	o 191
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   6460    12729    45820    3    31763   43313      9      0 0.22
0.19/0.22	o 190
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   6460    12730    46020    3    31775   44046     10      0 0.22
0.19/0.23	o 189
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   6460    12731    46220    3    31788   44846     11      0 0.23
0.19/0.23	o 188
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   6460    12732    46420    3    31802   45713     12      0 0.23
0.19/0.23	o 187
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   6460    12733    46620    3    31817   46646     13      0 0.24
0.19/0.24	o 186
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   6460    12734    46820    3    31833   47646     14      0 0.24
0.19/0.24	o 185
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   6460    12735    47020    3    31850   48646     15      0 0.24
0.19/0.25	o 184
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   6460    12736    47220    3    31868   49646     16      0 0.25
0.19/0.25	o 183
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0   6460    12737    47420    3    31887   50646     17      0 0.25
0.19/0.26	o 182
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0   6460    12738    47620    3    31907   51646     18      0 0.26
0.19/0.26	o 181
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   6460    12739    47820    3    31928   52646     19      0 0.26
0.19/0.27	o 180
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   6460    12740    48020    3    31950   53646     20      0 0.27
0.19/0.27	o 179
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   6460    12741    48220    3    31973   54646     21      0 0.27
0.19/0.28	o 178
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   6460    12742    48420    3    31997   55646     22      0 0.28
0.19/0.28	o 177
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   6460    12743    48620    3    32022   56646     23      0 0.28
0.19/0.29	o 176
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   6460    12744    48820    3    32048   57646     24      0 0.29
0.19/0.29	o 175
0.28/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.30	c        0   6460    12745    49020    3    32075   58646     25      0 0.29
0.28/0.30	o 174
0.28/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.30	c        0   6460    12746    49220    3    32103   59646     26      0 0.30
0.28/0.30	o 173
0.28/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.31	c        0   6460    12747    49420    3    32132   60646     27      0 0.30
0.28/0.31	o 172
0.28/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.31	c        0   6460    12748    49620    3    32162   61646     28      0 0.31
0.28/0.31	o 171
0.28/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.32	c        0   6460    12749    49820    3    32193   62646     29      0 0.32
0.28/0.32	o 170
0.28/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.32	c        0   6460    12750    50020    3    32225   63646     30      0 0.32
0.28/0.32	o 169
0.28/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.33	c        0   6460    12751    50220    3    32258   64646     31      0 0.33
0.28/0.33	o 168
0.28/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.33	c        0   6460    12752    50420    3    32292   65646     32      0 0.33
0.28/0.33	o 167
0.28/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.34	c        0   6460    12753    50620    3    32327   66646     33      0 0.34
0.28/0.34	o 166
0.28/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.35	c        0   6460    12754    50820    3    32363   67646     34      0 0.34
0.28/0.35	o 165
0.28/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.35	c        0   6460    12755    51020    4    32400   68646     35      0 0.35
0.28/0.35	o 164
0.28/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.36	c        0   6460    12756    51220    4    32438   69646     36      0 0.35
0.28/0.36	o 163
0.28/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.36	c        0   6460    12757    51420    4    32477   70646     37      0 0.36
0.28/0.36	o 162
0.28/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.37	c        0   6460    12758    51620    4    32517   71646     38      0 0.36
0.28/0.37	o 161
0.28/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.37	c        0   6460    12759    51820    4    32558   72646     39      0 0.37
0.28/0.37	o 160
0.28/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.38	c        0   6460    12760    52020    4    32600   73646     40      0 0.38
0.28/0.38	o 159
0.28/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.38	c        0   6460    12761    52220    4    32643   74646     41      0 0.38
0.28/0.38	o 158
0.28/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.39	c        0   6460    12762    52420    4    32687   75646     42      0 0.39
0.28/0.39	o 157
0.28/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.39	c        0   6460    12763    52620    4    32732   76646     43      0 0.39
0.28/0.39	o 156
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c        0   6460    12764    52820    4    32778   77646     44      0 0.40
0.39/0.40	o 154
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c        1   6460    12766    53176    4    32828   77646     46      2 0.40
0.39/0.40	o 17
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        1   6460    12767    53376    4    33013   77646     47      2 0.41
0.39/0.41	o 16
24.69/24.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.69/24.74	c       10   6460    12778    54906    4    33219   77646     58     24 0.41
24.69/24.74	c      110   6460    12882    67805    5    33609   85411    162    240 0.46
24.69/24.74	c      360   6460    13143   109091    8    34131   93953    423    619 0.58
24.69/24.74	c      835   6460    13659   175619   12    35163  103349    939   1003 0.83
24.69/24.74	c     1648   6460    14526   270037   18    36897  113684   1806   1313 1.25
24.69/24.74	c     2970   6460    15941   463920   29    39910  125053   3221   1459 2.04
24.69/24.74	c     5051   6460    18199   835440   45    44784  137559   5479   1419 3.56
24.69/24.74	c     8274   6460    21628  1410588   65    52074  151315   8908   1322 6.26
24.69/24.74	c    13212   6460    26910  2240076   83    63711  166447  14190   1168 11.30
24.69/24.74	c    20718   6460    34962  3409572   97    80718  183092  22242   1029 20.13
24.69/24.74	o 15
493.52/493.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
493.52/493.81	c    23665   6460    38133  3935004  103    87245   77646  25413    956 24.74
493.52/493.81	c    23765   6460    38237  3950426  103    87453   85411  25517    954 24.90
493.52/493.81	c    24016   6460    38505  3998396  103    87989   93953  25785    947 25.35
493.52/493.81	c    24492   6460    39004  4063212  104    89168  103349  26284    936 26.16
493.52/493.81	c    25305   6460    39864  4174214  104    90888  113684  27144    934 27.09
493.52/493.81	c    26625   6460    41258  4308482  104    93676  125053  28538    938 28.36
493.52/493.81	c    28707   6460    43480  4563054  104    98303  137559  30760    918 31.25
493.52/493.81	c    31932   6460    46863  4904549  104   105429  151315  34143    855 37.35
493.52/493.81	c    36868   6460    52282  5691553  108   116631  166447  39562    807 45.69
493.52/493.81	c    44376   6460    60348  7264703  120   135965  183092  47628    737 60.20
493.52/493.81	c    55737   6460    72801 10122641  139   165343  201402  60081    617 90.22
493.52/493.81	c    72883   6460    91591 15314515  167   208609  221543  78871    476 152.98
493.52/493.81	c    98703   6460   119838 24791853  206   284474  243698 107118    326 302.42
493.52/493.81	o 14
1797.92/1798.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.58	c   120425   6460   144526 33634196  232   355879   77646 131806    244 493.54
1797.92/1798.58	c   120525   6460    27038  5112181  189    74592   85411  14318    242 496.80
1797.92/1798.58	c   120775   6460    27304  5190462  190    75124   93953  14584    242 497.29
1797.92/1798.58	c   121250   6460    27855  5354021  192    76226  103349  15135    243 498.20
1797.92/1798.58	c   122063   6460    28721  5660900  197    78815  113684  16001    244 499.80
1797.92/1798.58	c   123385   6460    30171  6174307  204    82683  125053  17451    245 502.68
1797.92/1798.58	c   125468   6460    32529  7106948  218    93649  137559  19809    246 508.13
1797.92/1798.58	c   128691   6460    36153  8624709  238   107828  151315  23433    249 516.27
1797.92/1798.58	c   133627   6460    41634 11458313  275   135166  166447  28914    249 535.91
1797.92/1798.58	c   141133   6460    49653 14191955  285   155309  183092  36933    250 562.81
1797.92/1798.58	c   152495   6460    62348 18626570  298   189445  201402  49628    247 615.18
1797.92/1798.58	c   169640   6460    81500 24948191  306   248380  221543  68780    236 717.02
1797.92/1798.58	c   195459   6460   111503 36889984  330   376389  243698  98783    202 963.81
1797.92/1798.58	c   234291   6460   156590 58051763  370   540832  268068 143870    163 1433.48
1797.92/1798.58	c Resources Exceeded
1797.92/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 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 
1797.92/1798.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.58	c   83   257204  83491   516173   182344 67378450 169624    143 1798.01
1797.92/1798.58	c Objective: 14
1797.92/1798.58	s SATISFIABLE
1797.92/1798.58	c Total time: 1798.01 s

Verifier Data

OK	14

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708452-1338172203/watcher-3708452-1338172203 -o /tmp/evaluation-result-3708452-1338172203/solver-3708452-1338172203 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708452-1338172203.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=11296 CPUtime=0 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 402 0 0 0 0 0 0 0 20 0 1 0 283345763 11567104 356 33554432000 134512640 137138936 4289295344 4289293696 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 2824 356 177 642 0 2159 0

[startup+0.0375869 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=13832 CPUtime=0.03 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 1085 0 0 0 3 0 0 0 20 0 1 0 283345763 14163968 1018 33554432000 134512640 137138936 4289295344 4289216524 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 3458 1018 185 642 0 2814 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13832

[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=13832 CPUtime=0.09 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 1085 0 0 0 9 0 0 0 20 0 1 0 283345763 14163968 1018 33554432000 134512640 137138936 4289295344 4289216524 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 3458 1018 185 642 0 2814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13832

[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=14076 CPUtime=0.28 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 1455 0 0 0 27 1 0 0 20 0 1 0 283345763 14413824 1079 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 3519 1079 188 642 0 2875 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14076

[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=15388 CPUtime=0.69 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 1796 0 0 0 67 2 0 0 20 0 1 0 283345763 15757312 1420 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 3847 1420 192 642 0 3203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15388

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26913568/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=18028 CPUtime=1.49 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 2438 0 0 0 147 2 0 0 20 0 1 0 283345763 18460672 2062 33554432000 134512640 137138936 4289295344 4289294096 134575735 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 4507 2062 192 642 0 3863 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18028

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26909460/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=23652 CPUtime=3.08 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 3848 0 0 0 306 2 0 0 20 0 1 0 283345763 24219648 3472 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 5913 3472 192 642 0 5269 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23652

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26898980/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=32580 CPUtime=6.29 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 6096 0 0 0 625 4 0 0 20 0 1 0 283345763 33361920 5720 33554432000 134512640 137138936 4289295344 4289294096 134575614 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 8145 5720 192 642 0 7501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32580

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26884488/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=46288 CPUtime=12.68 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 9521 0 0 0 1263 5 0 0 20 0 1 0 283345763 47398912 9145 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 11572 9145 192 642 0 10928 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46288

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26862988/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=67700 CPUtime=25.48 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 14861 0 0 0 2540 8 0 0 20 0 1 0 283345763 69324800 14485 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 16925 14485 192 642 0 16281 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67700

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26832980/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=98408 CPUtime=51.08 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 22551 0 0 0 5094 14 0 0 20 0 1 0 283345763 100769792 22175 33554432000 134512640 137138936 4289295344 4289292512 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 24602 22175 192 642 0 23958 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98408

[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30709
/proc/meminfo: memFree=26765532/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=164604 CPUtime=102.28 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 39094 0 0 0 10206 22 0 0 20 0 1 0 283345763 168554496 38718 33554432000 134512640 137138936 4289295344 4289294272 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 41151 38718 192 642 0 40507 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 164604

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30709
/proc/meminfo: memFree=26703284/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=227452 CPUtime=162.27 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 54815 0 0 0 16196 31 0 0 20 0 1 0 283345763 232910848 54439 33554432000 134512640 137138936 4289295344 4289294240 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 56863 54439 192 642 0 56219 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 227452

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30748
/proc/meminfo: memFree=27682884/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=281320 CPUtime=222.26 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 68265 0 0 0 22187 39 0 0 20 0 1 0 283345763 288071680 67889 33554432000 134512640 137138936 4289295344 4289294056 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 70330 67889 192 642 0 69686 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 281320

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30862
/proc/meminfo: memFree=27568524/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=327184 CPUtime=282.2 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 79794 0 0 0 28172 48 0 0 20 0 1 0 283345763 335036416 79381 33554432000 134512640 137138936 4289295344 4289294272 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 81796 79381 192 642 0 81152 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 327184

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30862
/proc/meminfo: memFree=27429312/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=370988 CPUtime=342.14 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 90781 0 0 0 34159 55 0 0 20 0 1 0 283345763 379891712 90320 33554432000 134512640 137138936 4289295344 4289294272 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 92747 90320 192 642 0 92103 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 370988

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30862
/proc/meminfo: memFree=27323072/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=408124 CPUtime=402.09 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 100118 0 0 0 40147 62 0 0 20 0 1 0 283345763 417918976 99609 33554432000 134512640 137138936 4289295344 4289294100 136502585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 102031 99609 192 642 0 101387 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 408124

[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30862
/proc/meminfo: memFree=27231960/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=440020 CPUtime=462.04 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 108129 0 0 0 46136 68 0 0 20 0 1 0 283345763 450580480 107572 33554432000 134512640 137138936 4289295344 4289294252 136295499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 110005 107572 192 642 0 109361 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 440020

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30863
/proc/meminfo: memFree=27157112/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=457860 CPUtime=522 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 112749 0 0 0 52126 74 0 0 20 0 1 0 283345763 468848640 112489 33554432000 134512640 137138936 4289295344 4289294272 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 114465 112489 192 642 0 113821 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 457860

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30863
/proc/meminfo: memFree=27110788/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=457860 CPUtime=582 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 112749 0 0 0 58123 77 0 0 20 0 1 0 283345763 468848640 112489 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 114465 112489 192 642 0 113821 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 457860

[startup+642.3 s]

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

/proc/meminfo: memFree=26545588/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=612036 CPUtime=1121.91 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 152344 0 0 0 112084 107 0 0 20 0 1 0 283345763 626724864 151017 33554432000 134512640 137138936 4289295344 4289277128 136504512 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 153009 151017 192 642 0 152365 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 612036

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30868
/proc/meminfo: memFree=26481664/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=645292 CPUtime=1181.88 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 160728 0 0 0 118075 113 0 0 20 0 1 0 283345763 660779008 159343 33554432000 134512640 137138936 4289295344 4289294272 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 161323 159343 192 642 0 160679 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 645292

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30871
/proc/meminfo: memFree=26411000/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=676752 CPUtime=1241.84 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 168712 0 0 0 124067 117 0 0 20 0 1 0 283345763 692994048 167223 33554432000 134512640 137138936 4289295344 4289294272 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 169188 167223 192 642 0 168544 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 676752

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30871
/proc/meminfo: memFree=26343156/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=708192 CPUtime=1301.8 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 176609 0 0 0 130058 122 0 0 20 0 1 0 283345763 725188608 175078 33554432000 134512640 137138936 4289295344 4289294272 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 177048 175078 192 642 0 176404 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 708192

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30871
/proc/meminfo: memFree=26282956/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=738388 CPUtime=1361.78 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 184151 0 0 0 136052 126 0 0 20 0 1 0 283345763 756109312 182620 33554432000 134512640 137138936 4289295344 4289294272 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 184597 182620 192 642 0 183953 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 738388

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26217732/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=768148 CPUtime=1421.78 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 191603 0 0 0 142048 130 0 0 20 0 1 0 283345763 786583552 190072 33554432000 134512640 137138936 4289295344 4289294448 134543413 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 192037 190072 192 642 0 191393 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 768148

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26165900/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=788960 CPUtime=1481.77 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 196788 0 0 0 148044 133 0 0 20 0 1 0 283345763 807895040 195257 33554432000 134512640 137138936 4289295344 4289294272 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 197240 195257 192 642 0 196596 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 788960

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26126344/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=808948 CPUtime=1541.75 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 201797 0 0 0 154038 137 0 0 20 0 1 0 283345763 828362752 200266 33554432000 134512640 137138936 4289295344 4289294272 134542017 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 202237 200266 192 642 0 201593 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 808948

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26106012/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=829984 CPUtime=1601.74 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 207044 0 0 0 160034 140 0 0 20 0 1 0 283345763 849903616 205513 33554432000 134512640 137138936 4289295344 4289294272 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 207496 205513 192 642 0 206852 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 829984

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26084436/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=851348 CPUtime=1661.74 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 212391 0 0 0 166031 143 0 0 20 0 1 0 283345763 871780352 210860 33554432000 134512640 137138936 4289295344 4289294272 134542249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 212837 210860 192 642 0 212193 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 851348

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30873
/proc/meminfo: memFree=26063144/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=872552 CPUtime=1721.73 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 217696 0 0 0 172027 146 0 0 20 0 1 0 283345763 893493248 216165 33554432000 134512640 137138936 4289295344 4289294272 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 218138 216165 192 642 0 217494 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 872552

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 30873
/proc/meminfo: memFree=26044696/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=890680 CPUtime=1781.72 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 222229 0 0 0 178024 148 0 0 20 0 1 0 283345763 912056320 220698 33554432000 134512640 137138936 4289295344 4289294272 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 222670 220698 192 642 0 222026 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 890680

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

[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26041828/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=893424 CPUtime=1791.32 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 222921 0 0 0 178983 149 0 0 20 0 1 0 283345763 914866176 221377 33554432000 134512640 137138936 4289295344 4289294264 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223356 221377 192 642 0 222712 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 893424

[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26040448/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=894708 CPUtime=1794.53 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223238 0 0 0 179303 150 0 0 20 0 1 0 283345763 916180992 221694 33554432000 134512640 137138936 4289295344 4289294272 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223677 221694 192 642 0 223033 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 894708

[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26040076/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=895164 CPUtime=1796.12 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223350 0 0 0 179462 150 0 0 20 0 1 0 283345763 916647936 221806 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223791 221806 192 642 0 223147 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 895164

[startup+1797.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26039828/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=895404 CPUtime=1796.92 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223405 0 0 0 179542 150 0 0 20 0 1 0 283345763 916893696 221861 33554432000 134512640 137138936 4289295344 4289294272 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223851 221861 192 642 0 223207 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 895404

[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26039828/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=895488 CPUtime=1797.72 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223438 0 0 0 179622 150 0 0 20 0 1 0 283345763 916979712 221894 33554432000 134512640 137138936 4289295344 4289294272 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223872 221894 192 642 0 223228 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 895488

[startup+1798.51 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 30876
/proc/meminfo: memFree=26038952/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=895556 CPUtime=1797.92 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223453 0 0 0 179642 150 0 0 20 0 1 0 283345763 917049344 221909 33554432000 134512640 137138936 4289295344 4289294264 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223889 221909 192 642 0 223245 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 895556

[startup+1798.6 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 30876
/proc/meminfo: memFree=26038952/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=0 CPUtime=1798.02 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202500 223467 0 0 0 179651 151 0 0 20 0 1 0 283345763 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.6
CPU time (s): 1798.03
CPU user time (s): 1796.51
CPU system time (s): 1.51977
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 895556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 1.51977
maximum resident set size= 887692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223467
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= 340
involuntary context switches= 1840

runsolver used 3.12952 second user time and 7.52186 second system time

The end

Launcher Data

Begin job on node127 at 2012-05-28 04:30:03
IDJOB=3708452
IDBENCH=48132
IDSOLVER=2286
FILE ID=node127/3708452-1338172203
RUNJOBID= node127-1338157754-29271
PBS_JOBID= 14624533
Free space on /tmp= 71164 MiB

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

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

MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032
RANDOM SEED=653189911

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26919428 kB
Buffers:          479824 kB
Cached:          3538180 kB
SwapCached:            0 kB
Active:          2268592 kB
Inactive:        2800328 kB
Active(anon):    1052740 kB
Inactive(anon):        0 kB
Active(file):    1215852 kB
Inactive(file):  2800328 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:       1087900 kB
Mapped:            15128 kB
Shmem:               200 kB
Slab:             743740 kB
SReclaimable:     188064 kB
SUnreclaim:       555676 kB
KernelStack:        1488 kB
PageTables:         6252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1172484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    913408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71164 MiB
End job on node127 at 2012-05-28 05:00:02