Trace number 3462740

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.2SAT5 1798.03 1797.99

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_2.opb
MD5SUM1e64c526f9351931db225cdff75c2df5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark2.73758
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3074
Sum of products size (including duplicates)6148
Number of different products3074
Sum of products size6148

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-3462740-1307182598.opb
0.00/0.00	c File size is 38579 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 3174 Constr: 6248 3174/0/3074 Lit: 21618 Watch. Lit: 15570
0.00/0.00	c Obj. Vars: 100 (3.1506 % of total variables)
0.08/0.09	c Pre-processing Time: 0.088 s
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   3174     6248    21618    3    15570   19501      0      0 0.09
0.08/0.09	c Switching off lower bounding mode.
0.08/0.09	o 99
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   3174     6249    21718    3    15573   19568      1      0 0.09
0.08/0.09	o 98
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   3174     6250    21818    3    15577   19668      2      0 0.09
0.08/0.09	o 97
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   3174     6251    21918    3    15582   19801      3      0 0.09
0.08/0.09	o 96
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   3174     6252    22018    3    15588   19968      4      0 0.09
0.08/0.09	o 95
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   3174     6253    22118    3    15595   20168      5      0 0.10
0.08/0.09	o 94
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6254    22218    3    15603   20401      6      0 0.10
0.09/0.10	o 93
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6255    22318    3    15612   20668      7      0 0.10
0.09/0.10	o 92
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6256    22418    3    15622   20968      8      0 0.10
0.09/0.10	o 91
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6257    22518    3    15633   21301      9      0 0.10
0.09/0.10	o 90
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6258    22618    3    15645   21668     10      0 0.10
0.09/0.10	o 89
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6259    22718    3    15658   22068     11      0 0.11
0.09/0.10	o 88
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6260    22818    3    15672   22501     12      0 0.11
0.09/0.11	o 87
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6261    22918    3    15687   22968     13      0 0.11
0.09/0.11	o 86
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6262    23018    3    15703   23468     14      0 0.11
0.09/0.11	o 85
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6263    23118    3    15720   24001     15      0 0.11
0.09/0.11	o 84
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6264    23218    3    15738   24568     16      0 0.12
0.09/0.11	o 83
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6265    23318    3    15757   25168     17      0 0.12
0.09/0.12	o 82
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6266    23418    3    15777   25801     18      0 0.12
0.09/0.12	o 81
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6267    23518    3    15798   26468     19      0 0.12
0.09/0.12	o 80
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6268    23618    3    15820   27168     20      0 0.12
0.09/0.12	o 79
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6269    23718    3    15843   27901     21      0 0.12
0.09/0.12	o 78
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6270    23818    3    15867   28668     22      0 0.12
0.09/0.12	o 77
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6271    23918    3    15892   29468     23      0 0.13
0.09/0.13	o 76
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6272    24018    3    15918   30301     24      0 0.13
0.09/0.13	o 75
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6273    24118    3    15945   31168     25      0 0.13
0.09/0.13	o 74
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6274    24218    3    15973   32068     26      0 0.13
0.09/0.13	o 73
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6275    24318    3    16002   33001     27      0 0.13
0.09/0.13	o 72
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6276    24418    3    16032   33968     28      0 0.14
0.09/0.13	o 71
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6277    24518    3    16063   34968     29      0 0.14
0.09/0.14	o 70
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6278    24618    3    16095   35968     30      0 0.14
0.09/0.14	o 69
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6279    24718    3    16128   36968     31      0 0.14
0.09/0.14	o 68
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6280    24818    3    16162   37968     32      0 0.14
0.09/0.14	o 67
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6281    24918    3    16197   38968     33      0 0.14
0.09/0.14	o 66
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6282    25018    3    16233   39968     34      0 0.15
0.09/0.14	o 65
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6283    25118    3    16270   40968     35      0 0.15
0.09/0.15	o 64
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6284    25218    4    16308   41968     36      0 0.15
0.09/0.15	o 63
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6285    25318    4    16347   42968     37      0 0.15
0.09/0.15	o 62
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6286    25418    4    16387   43968     38      0 0.15
0.09/0.15	o 61
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6287    25518    4    16428   44968     39      0 0.15
0.09/0.15	o 59
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        1   3174     6289    25679    4    16473   44968     41      6 0.16
0.09/0.15	o 10
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        1   3174     6290    25779    4    16565   44968     42      6 0.16
0.09/0.16	o 9
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       10   3174     6300    26640    4    16676   44968     52     61 0.16
0.19/0.24	c      111   3174     6410    42722    6    16896   49465    162    563 0.20
0.19/0.24	o 8
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      251   3174     6563    61619    9    17383   44968    315   1020 0.25
0.19/0.26	o 7
236.28/236.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
236.28/236.30	c      306   3174     6624    67803   10    17598   44968    376   1154 0.27
236.28/236.30	c      406   3174     6729    76881   11    17808   49465    481   1326 0.31
236.28/236.30	c      658   3174     7006   103860   14    18600   54412    758   1628 0.40
236.28/236.30	c     1133   3174     7537   180980   24    19662   59854   1289   1830 0.62
236.28/236.30	c     1949   3174     8452   326390   38    21964   65840   2204   1833 1.06
236.28/236.30	c     3271   3174     9946   604097   60    25313   72425   3698   1623 2.02
236.28/236.30	c     5352   3174    12315  1128918   91    30842   79668   6067   1252 4.27
236.28/236.30	c     8576   3174    16090  1948570  121    39443   87635   9842    936 9.16
236.28/236.30	c    13513   3174    22140  3458673  156    55284   96399  15892    724 18.64
236.28/236.30	c    21019   3174    30929  5455855  176    79934  106039  24681    545 38.52
236.28/236.30	c    32381   3174    44454  8827249  198   112305  116643  38206    391 82.74
236.28/236.30	c    49525   3174    65601 17157881  261   161211  128308  59353    253 195.52
236.28/236.30	o 6
1727.93/1727.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1727.93/1727.95	c    56250   3174    73630 19277670  261   179112   44968  67382    238 236.29
1727.93/1727.95	c    56352   3174    20552  4045406  196    47697   49465  14304    235 239.27
1727.93/1727.95	c    56605   3174    20876  4227052  202    48621   54412  14628    235 240.39
1727.93/1727.95	c    57081   3174    21425  4355462  203    50077   59854  15177    236 241.61
1727.93/1727.95	c    57895   3174    22454  4779699  212    52241   65840  16206    236 244.76
1727.93/1727.95	c    59215   3174    24054  5310073  220    56085   72425  17806    237 248.96
1727.93/1727.95	c    61296   3174    26528  6066751  228    61613   79668  20280    239 255.69
1727.93/1727.95	c    64523   3174    30265  7085841  234    69515   87635  24017    243 265.12
1727.93/1727.95	c    69461   3174    36295  8956792  246    82672   96399  30047    243 284.71
1727.93/1727.95	c    76967   3174    45533 11024339  242   102472  106039  39285    238 322.73
1727.93/1727.95	c    88329   3174    59372 14147634  238   132395  116643  53124    226 390.63
1727.93/1727.95	c   105473   3174    79747 18619093  233   176949  128308  73499    213 495.04
1727.93/1727.95	c   131292   3174   110795 25310490  228   244642  141139 104547    182 717.97
1727.93/1727.95	c   170128   3174    29437  3417041  116    66226  155253  23189    153 1109.70
1727.93/1727.95	c   228480   3174    98440 13011451  132   211414  170779  92192    165 1382.93
1727.93/1727.95	o 5
1797.93/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.97	c   262674   3174   139290 20221844  145   298916   20501 133042    152 1727.99
1797.93/1797.97	c   262776   3174    16617  1752184  105    38055   22552  10369    151 1737.72
1797.93/1797.97	c   263027   3174    16888  1772761  104    38597   24808  10640    151 1738.07
1797.93/1797.97	c   263503   3174    17439  1827249  104    39735   27289  11191    151 1738.69
1797.93/1797.97	c   264317   3174    18359  1929701  105    41676   30018  12111    151 1739.87
1797.93/1797.97	c   265638   3174    19872  2156921  108    45655   33020  13624    152 1741.98
1797.93/1797.97	c   267721   3174    22325  2575394  115    51459   36323  16077    153 1745.49
1797.93/1797.97	c   270945   3174    26165  3298884  126    60323   39956  19917    154 1751.39
1797.93/1797.97	c   275881   3174    31986  4002779  125    73524   43952  25738    156 1763.70
1797.93/1797.97	c   283387   3174    40946  5205061  127    92438   48348  34698    158 1787.61
1797.93/1797.97	c Resources Exceeded
1797.93/1797.97	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 
1797.93/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.97	c   81   285789  92056   600393    43820  5688821  37572    158 1798.02
1797.93/1797.97	c Objective: 5
1797.93/1797.97	s SATISFIABLE
1797.93/1797.97	c Total time: 1798.02 s

Verifier Data 

OK	5

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-3462740-1307182598/watcher-3462740-1307182598 -o /tmp/evaluation-result-3462740-1307182598/solver-3462740-1307182598 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462740-1307182598.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.01 2.00 2/455 26779
/proc/meminfo: memFree=24379504/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=12308 CPUtime=0.01 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 670 0 0 0 1 0 0 0 25 0 1 0 810675719 12603392 614 33554432000 134512640 137138936 4288201248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26779/statm: 3077 614 185 642 0 2433 0

[startup+0.0868189 s]
/proc/loadavg: 2.00 2.01 2.00 2/455 26779
/proc/meminfo: memFree=24379504/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=12704 CPUtime=0.08 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 768 0 0 0 8 0 0 0 25 0 1 0 810675719 13008896 712 33554432000 134512640 137138936 4288201248 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26779/statm: 3176 712 186 642 0 2532 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12704

[startup+0.100817 s]
/proc/loadavg: 2.00 2.01 2.00 2/455 26779
/proc/meminfo: memFree=24379504/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=12580 CPUtime=0.09 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 822 0 0 0 9 0 0 0 25 0 1 0 810675719 12881920 701 33554432000 134512640 137138936 4288201248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26779/statm: 3145 701 188 642 0 2501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12580

[startup+0.300781 s]
/proc/loadavg: 2.00 2.01 2.00 2/455 26779
/proc/meminfo: memFree=24379504/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=13124 CPUtime=0.29 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 965 0 0 0 28 1 0 0 25 0 1 0 810675719 13438976 844 33554432000 134512640 137138936 4288201248 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26779/statm: 3281 844 192 642 0 2637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13124

[startup+0.700707 s]
/proc/loadavg: 2.00 2.01 2.00 2/455 26779
/proc/meminfo: memFree=24379504/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=14884 CPUtime=0.69 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 1401 0 0 0 68 1 0 0 25 0 1 0 810675719 15241216 1280 33554432000 134512640 137138936 4288201248 18446744073709551615 134543206 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26779/statm: 3721 1280 192 642 0 3077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14884

[startup+1.50056 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26780
/proc/meminfo: memFree=24371816/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=18300 CPUtime=1.49 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 2261 0 0 0 148 1 0 0 25 0 1 0 810675719 18739200 2140 33554432000 134512640 137138936 4288201248 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26779/statm: 4575 2140 192 642 0 3931 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18300

[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26780
/proc/meminfo: memFree=24365492/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=24048 CPUtime=3.09 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 3703 0 0 0 307 2 0 0 25 0 1 0 810675719 24625152 3582 33554432000 134512640 137138936 4288201248 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26779/statm: 6012 3582 192 642 0 5368 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24048

[startup+6.30067 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26780
/proc/meminfo: memFree=24352192/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=32492 CPUtime=6.3 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 5804 0 0 0 627 3 0 0 25 0 1 0 810675719 33271808 5683 33554432000 134512640 137138936 4288201248 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26779/statm: 8123 5683 192 642 0 7479 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 32492

[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26780
/proc/meminfo: memFree=24328500/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=47200 CPUtime=12.69 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 9491 0 0 0 1265 4 0 0 25 0 1 0 810675719 48332800 9370 33554432000 134512640 137138936 4288201248 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26779/statm: 11800 9370 192 642 0 11156 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47200

[startup+25.5011 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26780
/proc/meminfo: memFree=24289440/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=70912 CPUtime=25.47 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 15404 0 0 0 2541 6 0 0 25 0 1 0 810675719 72613888 15283 33554432000 134512640 137138936 4288201248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 17728 15283 192 642 0 17084 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 70912

[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/456 26781
/proc/meminfo: memFree=24239824/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=98376 CPUtime=51.08 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 22287 0 0 0 5099 9 0 0 25 0 1 0 810675719 100737024 22166 33554432000 134512640 137138936 4288201248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 24594 22166 192 642 0 23950 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98376

[startup+102.317 s]
/proc/loadavg: 2.14 2.05 2.01 3/456 26782
/proc/meminfo: memFree=24145680/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=153248 CPUtime=102.3 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 36004 0 0 0 10216 14 0 0 25 0 1 0 810675719 156925952 35883 33554432000 134512640 137138936 4288201248 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 38312 35883 192 642 0 37668 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 153248

[startup+162.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/456 26784
/proc/meminfo: memFree=24063324/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=212016 CPUtime=162.28 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 50686 0 0 0 16210 18 0 0 25 0 1 0 810675719 217104384 50565 33554432000 134512640 137138936 4288201248 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 53004 50565 192 642 0 52360 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 212016

[startup+222.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 26786
/proc/meminfo: memFree=24019528/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=255728 CPUtime=222.28 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 61601 0 0 0 22204 24 0 0 25 0 1 0 810675719 261865472 61480 33554432000 134512640 137138936 4288201248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 63932 61480 192 642 0 63288 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 255728

[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 26787
/proc/meminfo: memFree=24008844/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=265668 CPUtime=282.28 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 64158 0 0 0 28199 29 0 0 25 0 1 0 810675719 272044032 63971 33554432000 134512640 137138936 4288201248 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 66417 63971 192 642 0 65773 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 265668

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26789
/proc/meminfo: memFree=24008932/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=265668 CPUtime=342.28 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 64158 0 0 0 34196 32 0 0 25 0 1 0 810675719 272044032 63971 33554432000 134512640 137138936 4288201248 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 66417 63971 192 642 0 65773 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 265668

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26790
/proc/meminfo: memFree=23994148/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=265668 CPUtime=402.28 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 64158 0 0 0 40194 34 0 0 25 0 1 0 810675719 272044032 63971 33554432000 134512640 137138936 4288201248 18446744073709551615 136504019 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 66417 63971 192 642 0 65773 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 265668

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26792
/proc/meminfo: memFree=23994116/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=265668 CPUtime=462.29 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 64158 0 0 0 46192 37 0 0 25 0 1 0 810675719 272044032 63971 33554432000 134512640 137138936 4288201248 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 66417 63971 192 642 0 65773 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 265668

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26797
/proc/meminfo: memFree=23988608/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=271636 CPUtime=522.29 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 65642 0 0 0 52190 39 0 0 25 0 1 0 810675719 278155264 65455 33554432000 134512640 137138936 4288201248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 67909 65455 192 642 0 67265 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 271636

[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/456 26798
/proc/meminfo: memFree=23955672/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=304204 CPUtime=582.29 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 73812 0 0 0 58186 43 0 0 25 0 1 0 810675719 311504896 73625 33554432000 134512640 137138936 4288201248 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 76051 73625 192 642 0 75407 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 304204

[startup+642.3 s]

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

/proc/meminfo: memFree=23691472/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=432724 CPUtime=1062.31 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 105913 0 0 0 106162 69 0 0 25 0 1 0 810675719 443109376 105726 33554432000 134512640 137138936 4288201248 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 108181 105726 192 642 0 107537 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 432724

[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/456 26813
/proc/meminfo: memFree=23685984/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1122.31 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 112159 72 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 437304

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/456 26814
/proc/meminfo: memFree=23685952/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1182.31 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 118154 77 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 437304

[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/456 26816
/proc/meminfo: memFree=23660256/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1242.31 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 124151 80 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 437304

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 26817
/proc/meminfo: memFree=23622028/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1302.33 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 130150 83 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 437304

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26819
/proc/meminfo: memFree=23608856/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1362.32 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 136147 85 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 437304

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26821
/proc/meminfo: memFree=23609696/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1422.34 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 142147 87 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 437304

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26822
/proc/meminfo: memFree=23609676/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1482.32 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 148143 89 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 437304

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26824
/proc/meminfo: memFree=23609524/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1542.32 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 154142 90 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 437304

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26852
/proc/meminfo: memFree=23998912/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1602.33 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 160140 93 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 437304

[startup+1662.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/456 26854
/proc/meminfo: memFree=23772292/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1662.33 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 166138 95 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 437304

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/456 26856
/proc/meminfo: memFree=23675296/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1722.33 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 172136 97 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 437304

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 26857
/proc/meminfo: memFree=23583372/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1782.33 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 178131 102 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 437304

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 26857
/proc/meminfo: memFree=23576428/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1785.53 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 178450 103 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 437304

[startup+1791.92 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 26857
/proc/meminfo: memFree=23564884/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1791.95 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 179091 104 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 437304

[startup+1795.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 26857
/proc/meminfo: memFree=23558680/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1795.15 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 179411 104 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 437304

[startup+1796.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 26858
/proc/meminfo: memFree=23556572/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1796.73 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 179569 104 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 437304

[startup+1797.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 26858
/proc/meminfo: memFree=23554216/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1797.53 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 179649 104 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 437304

[startup+1797.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 26858
/proc/meminfo: memFree=23554216/32951124 swapFree=60476376/67111528
[pid=26779] ppid=26777 vsize=437304 CPUtime=1797.93 cores=1,3,5,7
/proc/26779/stat : 26779 (bsolo) R 26777 26779 23562 0 -1 4202496 107208 0 0 0 179689 104 0 0 25 0 1 0 810675719 447799296 106881 33554432000 134512640 137138936 4288201248 18446744073709551615 134599746 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26779/statm: 109326 106881 192 642 0 108682 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 437304

Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.03
CPU user time (s): 1796.97
CPU system time (s): 1.06284
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 437864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.97
system time used= 1.06284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107209
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= 4
involuntary context switches= 2261

runsolver used 7.50386 second user time and 18.6622 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-04 12:16:38
IDJOB=3462740
IDBENCH=48156
IDSOLVER=1955
FILE ID=node147/3462740-1307182598
RUNJOBID= node147-1307174222-25612
PBS_JOBID= 13508849
Free space on /tmp= 73692 MiB

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

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

MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5
RANDOM SEED=838472302

node147.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.836
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.67
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.836
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.836
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.836
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.836
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.836
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.76
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.836
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.836
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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24379908 kB
Buffers:        323120 kB
Cached:        1493076 kB
SwapCached:      11188 kB
Active:        6952228 kB
Inactive:      1360060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24379908 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:     6493668 kB
Mapped:          23420 kB
Slab:           133540 kB
PageTables:      58472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120955208 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73688 MiB
End job on node147 at 2011-06-04 12:46:36