Trace number 3462716

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.06 1798.13

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.395
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-3462716-1307182215.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.012 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.186 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.21
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.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   6460    12730    46020    3    31775   44046     10      0 0.22
0.19/0.22	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.23
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.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c        0   6460    12745    49020    3    32075   58646     25      0 0.29
0.29/0.30	o 174
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c        0   6460    12746    49220    3    32103   59646     26      0 0.30
0.29/0.30	o 173
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   6460    12747    49420    3    32132   60646     27      0 0.30
0.29/0.31	o 172
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   6460    12748    49620    3    32162   61646     28      0 0.31
0.29/0.31	o 171
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0   6460    12749    49820    3    32193   62646     29      0 0.31
0.29/0.32	o 170
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0   6460    12750    50020    3    32225   63646     30      0 0.32
0.29/0.32	o 169
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   6460    12751    50220    3    32258   64646     31      0 0.33
0.29/0.33	o 168
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   6460    12752    50420    3    32292   65646     32      0 0.33
0.29/0.33	o 167
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0   6460    12753    50620    3    32327   66646     33      0 0.34
0.29/0.34	o 166
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0   6460    12754    50820    3    32363   67646     34      0 0.34
0.29/0.35	o 165
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0   6460    12755    51020    4    32400   68646     35      0 0.35
0.29/0.35	o 164
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   6460    12756    51220    4    32438   69646     36      0 0.35
0.29/0.36	o 163
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   6460    12757    51420    4    32477   70646     37      0 0.36
0.29/0.36	o 162
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        0   6460    12758    51620    4    32517   71646     38      0 0.36
0.29/0.37	o 161
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        0   6460    12759    51820    4    32558   72646     39      0 0.37
0.29/0.37	o 160
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c        0   6460    12760    52020    4    32600   73646     40      0 0.37
0.29/0.38	o 159
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c        0   6460    12761    52220    4    32643   74646     41      0 0.38
0.29/0.38	o 158
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        0   6460    12762    52420    4    32687   75646     42      0 0.39
0.29/0.39	o 157
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        0   6460    12763    52620    4    32732   76646     43      0 0.39
0.29/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.87/24.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.87/24.92	c       10   6460    12778    54906    4    33219   77646     58     24 0.41
24.87/24.92	c      110   6460    12882    67805    5    33609   85411    162    240 0.46
24.87/24.92	c      360   6460    13143   109091    8    34131   93953    423    621 0.58
24.87/24.92	c      835   6460    13659   175619   12    35163  103349    939   1007 0.83
24.87/24.92	c     1648   6460    14526   270037   18    36897  113684   1806   1317 1.25
24.87/24.92	c     2970   6460    15941   463920   29    39910  125053   3221   1463 2.03
24.87/24.92	c     5051   6460    18199   835440   45    44784  137559   5479   1424 3.55
24.87/24.92	c     8274   6460    21628  1410588   65    52074  151315   8908   1307 6.33
24.87/24.92	c    13212   6460    26910  2240076   83    63711  166447  14190   1159 11.39
24.87/24.92	c    20718   6460    34962  3409572   97    80718  183092  22242   1022 20.27
24.87/24.92	o 15
487.55/487.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
487.55/487.68	c    23665   6460    38133  3935004  103    87245   77646  25413    950 24.91
487.55/487.68	c    23765   6460    38237  3950426  103    87453   85411  25517    947 25.07
487.55/487.68	c    24016   6460    38505  3998396  103    87989   93953  25785    940 25.53
487.55/487.68	c    24492   6460    39004  4063212  104    89168  103349  26284    929 26.34
487.55/487.68	c    25305   6460    39864  4174214  104    90888  113684  27144    927 27.28
487.55/487.68	c    26625   6460    41258  4308482  104    93676  125053  28538    932 28.56
487.55/487.68	c    28707   6460    43480  4563054  104    98303  137559  30760    912 31.48
487.55/487.68	c    31932   6460    46863  4904549  104   105429  151315  34143    848 37.63
487.55/487.68	c    36868   6460    52282  5691553  108   116631  166447  39562    800 46.05
487.55/487.68	c    44376   6460    60348  7264703  120   135965  183092  47628    731 60.66
487.55/487.68	c    55737   6460    72801 10122641  139   165343  201402  60081    613 90.90
487.55/487.68	c    72883   6460    91591 15314515  167   208609  221543  78871    473 154.08
487.55/487.68	c    98703   6460   119838 24791853  206   284474  243698 107118    324 303.80
487.55/487.68	o 14
1797.93/1798.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.08	c   120425   6460   144526 33634196  232   355879   77646 131806    246 487.65
1797.93/1798.08	c   120525   6460    27038  5112181  189    74592   85411  14318    244 492.58
1797.93/1798.08	c   120775   6460    27304  5190462  190    75124   93953  14584    244 493.11
1797.93/1798.08	c   121250   6460    27855  5354021  192    76226  103349  15135    245 494.10
1797.93/1798.08	c   122063   6460    28721  5660900  197    78815  113684  16001    246 495.89
1797.93/1798.08	c   123385   6460    30171  6174307  204    82683  125053  17451    247 499.06
1797.93/1798.08	c   125468   6460    32529  7106948  218    93649  137559  19809    248 504.93
1797.93/1798.08	c   128691   6460    36153  8624709  238   107828  151315  23433    250 513.86
1797.93/1798.08	c   133627   6460    41634 11458313  275   135166  166447  28914    249 534.57
1797.93/1798.08	c   141133   6460    49653 14191955  285   155309  183092  36933    250 562.66
1797.93/1798.08	c   152495   6460    62348 18626570  298   189445  201402  49628    247 615.49
1797.93/1798.08	c   169640   6460    81500 24948191  306   248380  221543  68780    237 715.54
1797.93/1798.08	c   195459   6460   111503 36889984  330   376389  243698  98783    205 950.85
1797.93/1798.08	c   234291   6460   156590 58051763  370   540832  268068 143870    166 1403.57
1797.93/1798.08	c Resources Exceeded
1797.93/1798.08	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.93/1798.08	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.08	c   83   259509  84142   520216   184913 68472301 172193    144 1798.02
1797.93/1798.08	c Objective: 14
1797.93/1798.08	s SATISFIABLE
1797.93/1798.08	c Total time: 1798.02 s

Verifier Data 

OK	14

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

running on 4 cores: 0,2,4,6

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.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=11428 CPUtime=0 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 430 0 0 0 0 0 0 0 25 0 1 0 829820151 11702272 384 33554432000 134512640 137138936 4289199200 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 2857 385 178 642 0 2192 0

[startup+0.07689 s]
/proc/loadavg: 2.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=13832 CPUtime=0.07 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 1086 0 0 0 7 0 0 0 25 0 1 0 829820151 14163968 1019 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 3458 1019 185 642 0 2814 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13832

[startup+0.100885 s]
/proc/loadavg: 2.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=13832 CPUtime=0.09 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 1086 0 0 0 9 0 0 0 25 0 1 0 829820151 14163968 1019 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 3458 1019 185 642 0 2814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13832

[startup+0.300862 s]
/proc/loadavg: 2.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=14076 CPUtime=0.29 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 1456 0 0 0 28 1 0 0 25 0 1 0 829820151 14413824 1080 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 3519 1080 188 642 0 2875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14076

[startup+0.700782 s]
/proc/loadavg: 2.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=15388 CPUtime=0.69 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 1796 0 0 0 68 1 0 0 25 0 1 0 829820151 15757312 1420 33554432000 134512640 137138936 4289199200 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 3847 1420 192 642 0 3203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15388

[startup+1.50065 s]
/proc/loadavg: 2.10 2.06 2.01 3/531 5720
/proc/meminfo: memFree=14713836/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=18028 CPUtime=1.49 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 2438 0 0 0 148 1 0 0 25 0 1 0 829820151 18460672 2062 33554432000 134512640 137138936 4289199200 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 4507 2062 192 642 0 3863 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18028

[startup+3.10037 s]
/proc/loadavg: 2.10 2.06 2.01 3/531 5720
/proc/meminfo: memFree=14708376/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=23652 CPUtime=3.08 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 3850 0 0 0 307 1 0 0 25 0 1 0 829820151 24219648 3474 33554432000 134512640 137138936 4289199200 18446744073709551615 134543039 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 5913 3474 192 642 0 5269 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23652

[startup+6.30082 s]
/proc/loadavg: 2.17 2.08 2.01 3/531 5720
/proc/meminfo: memFree=14695464/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=32468 CPUtime=6.27 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 6064 0 0 0 625 2 0 0 25 0 1 0 829820151 33247232 5688 33554432000 134512640 137138936 4289199200 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 8117 5688 192 642 0 7473 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32468

[startup+12.7007 s]
/proc/loadavg: 2.16 2.08 2.01 3/531 5720
/proc/meminfo: memFree=14674692/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=46204 CPUtime=12.67 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 9484 0 0 0 1264 3 0 0 25 0 1 0 829820151 47312896 9108 33554432000 134512640 137138936 4289199200 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 11551 9108 192 642 0 10907 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 46204

[startup+25.5005 s]
/proc/loadavg: 2.12 2.07 2.01 3/531 5720
/proc/meminfo: memFree=14639224/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=67408 CPUtime=25.47 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 14803 0 0 0 2542 5 0 0 25 0 1 0 829820151 69025792 14427 33554432000 134512640 137138936 4289199200 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 16852 14427 192 642 0 16208 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 67408

[startup+51.1011 s]
/proc/loadavg: 2.08 2.06 2.01 3/531 5720
/proc/meminfo: memFree=14586692/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=97776 CPUtime=51.07 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 22378 0 0 0 5098 9 0 0 25 0 1 0 829820151 100122624 22002 33554432000 134512640 137138936 4289199200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 24444 22002 192 642 0 23800 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97776

[startup+102.32 s]
/proc/loadavg: 2.03 2.05 2.00 3/531 5723
/proc/meminfo: memFree=14474584/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=163860 CPUtime=102.28 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 38901 0 0 0 10213 15 0 0 25 0 1 0 829820151 167792640 38525 33554432000 134512640 137138936 4289199200 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 40965 38525 192 642 0 40321 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 163860

[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 5726
/proc/meminfo: memFree=14373512/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=226156 CPUtime=162.27 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 54488 0 0 0 16204 23 0 0 25 0 1 0 829820151 231583744 54112 33554432000 134512640 137138936 4289199200 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 56539 54112 192 642 0 55895 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 226156

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5726
/proc/meminfo: memFree=14285464/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=280412 CPUtime=222.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 68040 0 0 0 22198 28 0 0 25 0 1 0 829820151 287141888 67664 33554432000 134512640 137138936 4289199200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 70103 67664 192 642 0 69459 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 280412

[startup+282.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/531 5728
/proc/meminfo: memFree=14205716/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=326144 CPUtime=282.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 79477 0 0 0 28193 33 0 0 25 0 1 0 829820151 333971456 79101 33554432000 134512640 137138936 4289199200 18446744073709551615 134603164 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 81536 79101 192 642 0 80892 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 326144

[startup+342.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/531 5730
/proc/meminfo: memFree=14123612/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=370624 CPUtime=342.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 90589 0 0 0 34188 38 0 0 25 0 1 0 829820151 379518976 90213 33554432000 134512640 137138936 4289199200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 92656 90213 192 642 0 92012 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 370624

[startup+402.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/531 5732
/proc/meminfo: memFree=14053672/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=408700 CPUtime=402.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 100117 0 0 0 40183 43 0 0 25 0 1 0 829820151 418508800 99741 33554432000 134512640 137138936 4289199200 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 102175 99741 192 642 0 101531 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 408700

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 5734
/proc/meminfo: memFree=13977652/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=442572 CPUtime=462.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 108592 0 0 0 46179 46 0 0 25 0 1 0 829820151 453193728 108216 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 110643 108216 192 642 0 109999 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 442572

[startup+522.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/531 5734
/proc/meminfo: memFree=13932012/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=457860 CPUtime=522.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 112535 0 0 0 52175 50 0 0 25 0 1 0 829820151 468848640 112030 33554432000 134512640 137138936 4289199200 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 114465 112030 192 642 0 113821 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 457860

[startup+582.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/531 5737
/proc/meminfo: memFree=13903108/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=457860 CPUtime=582.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 112535 0 0 0 58173 52 0 0 25 0 1 0 829820151 468848640 112030 33554432000 134512640 137138936 4289199200 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 114465 112030 192 642 0 113821 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 457860

[startup+642.3 s]

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

/proc/meminfo: memFree=13632332/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=575692 CPUtime=1062.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 142305 0 0 0 106151 74 0 0 25 0 1 0 829820151 589508608 141480 33554432000 134512640 137138936 4289199200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 143923 141480 192 642 0 143279 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 575692

[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/531 5753
/proc/meminfo: memFree=13585448/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=622424 CPUtime=1122.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 154763 0 0 0 112146 79 0 0 25 0 1 0 829820151 637362176 153164 33554432000 134512640 137138936 4289199200 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 155606 153164 192 642 0 154962 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 622424

[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/531 5756
/proc/meminfo: memFree=13553940/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=653480 CPUtime=1182.24 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 162557 0 0 0 118142 82 0 0 25 0 1 0 829820151 669163520 160942 33554432000 134512640 137138936 4289199200 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 163370 160942 192 642 0 162726 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 653480

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/531 5758
/proc/meminfo: memFree=13519080/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=688280 CPUtime=1242.24 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 171270 0 0 0 124138 86 0 0 25 0 1 0 829820151 704798720 169615 33554432000 134512640 137138936 4289199200 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 172070 169615 192 642 0 171426 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 688280

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/531 5760
/proc/meminfo: memFree=13485968/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=720136 CPUtime=1302.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 179263 0 0 0 130136 89 0 0 25 0 1 0 829820151 737419264 177608 33554432000 134512640 137138936 4289199200 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 180034 177608 192 642 0 179390 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 720136

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5762
/proc/meminfo: memFree=13453712/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=752468 CPUtime=1362.24 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 187329 0 0 0 136132 92 0 0 25 0 1 0 829820151 770527232 185674 33554432000 134512640 137138936 4289199200 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 188117 185674 192 642 0 187473 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 752468

[startup+1422.32 s]
/proc/loadavg: 2.10 2.04 2.01 3/531 5793
/proc/meminfo: memFree=14428696/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=779356 CPUtime=1422.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 194059 0 0 0 142131 95 0 0 25 0 1 0 829820151 798060544 192404 33554432000 134512640 137138936 4289199200 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 194839 192404 192 642 0 194195 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 779356

[startup+1482.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/531 5795
/proc/meminfo: memFree=14320472/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=800072 CPUtime=1482.24 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 199242 0 0 0 148125 99 0 0 25 0 1 0 829820151 819273728 197587 33554432000 134512640 137138936 4289199200 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 200018 197587 192 642 0 199374 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 800072

[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/531 5797
/proc/meminfo: memFree=14299504/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=820220 CPUtime=1542.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 204283 0 0 0 154122 101 0 0 25 0 1 0 829820151 839905280 202628 33554432000 134512640 137138936 4289199200 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 205055 202628 192 642 0 204411 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 820220

[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/531 5799
/proc/meminfo: memFree=14248412/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=843208 CPUtime=1602.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 210034 0 0 0 160120 103 0 0 25 0 1 0 829820151 863444992 208379 33554432000 134512640 137138936 4289199200 18446744073709551615 136504564 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 210802 208379 192 642 0 210158 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 843208

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 5802
/proc/meminfo: memFree=14225956/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=866772 CPUtime=1662.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 215918 0 0 0 166118 105 0 0 25 0 1 0 829820151 887574528 214263 33554432000 134512640 137138936 4289199200 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 216693 214263 192 642 0 216049 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 866772

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5802
/proc/meminfo: memFree=14189496/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=885508 CPUtime=1722.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 220603 0 0 0 172116 107 0 0 25 0 1 0 829820151 906760192 218948 33554432000 134512640 137138936 4289199200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 221377 218948 192 642 0 220733 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 885508

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14169644/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=904136 CPUtime=1782.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 225276 0 0 0 178115 108 0 0 25 0 1 0 829820151 925835264 223601 33554432000 134512640 137138936 4289199200 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 226034 223601 192 642 0 225390 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 904136

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

[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14166916/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=907976 CPUtime=1791.84 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226231 0 0 0 179076 108 0 0 25 0 1 0 829820151 929767424 224552 33554432000 134512640 137138936 4289199200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 226994 224552 192 642 0 226350 0
Current children cumulated CPU time (s) 1791.84
Current children cumulated vsize (KiB) 907976

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14165920/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=909016 CPUtime=1795.04 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226483 0 0 0 179395 109 0 0 25 0 1 0 829820151 930832384 224804 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 227254 224804 192 642 0 226610 0
Current children cumulated CPU time (s) 1795.04
Current children cumulated vsize (KiB) 909016

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14165548/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=909528 CPUtime=1796.63 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226620 0 0 0 179554 109 0 0 25 0 1 0 829820151 931356672 224941 33554432000 134512640 137138936 4289199200 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 227382 224941 192 642 0 226738 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (KiB) 909528

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14164928/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=909632 CPUtime=1797.43 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226658 0 0 0 179634 109 0 0 25 0 1 0 829820151 931463168 224979 33554432000 134512640 137138936 4289199200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 227408 224979 192 642 0 226764 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 909632

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14164928/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=909744 CPUtime=1797.83 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226692 0 0 0 179674 109 0 0 25 0 1 0 829820151 931577856 225013 33554432000 134512640 137138936 4289199200 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 227436 225013 192 642 0 226792 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 909744

[startup+1798.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14164928/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=0 CPUtime=1798.02 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202500 226713 0 0 0 179692 110 0 0 25 0 1 0 829820151 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/5717/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.13
CPU time (s): 1798.06
CPU user time (s): 1796.93
CPU system time (s): 1.13283
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 909796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 1.13283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226713
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= 5
involuntary context switches= 2067

runsolver used 9.93949 second user time and 21.1758 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-04 12:10:15
IDJOB=3462716
IDBENCH=48132
IDSOLVER=1955
FILE ID=node128/3462716-1307182215
RUNJOBID= node128-1307174881-4950
PBS_JOBID= 13508827
Free space on /tmp= 73916 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-3462716-1307182215/watcher-3462716-1307182215 -o /tmp/evaluation-result-3462716-1307182215/solver-3462716-1307182215 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462716-1307182215.opb

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

MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032
RANDOM SEED=139555323

node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      14721324 kB
Buffers:        330848 kB
Cached:        3484620 kB
SwapCached:      35620 kB
Active:        9538920 kB
Inactive:      8374496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      14721324 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:            4080 kB
Writeback:           0 kB
AnonPages:    14071720 kB
Mapped:          18524 kB
Slab:           133952 kB
PageTables:     113296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 175318664 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node128 at 2011-06-04 12:40:13