Trace number 3462729

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.2SAT15 1798.09 1798.13

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
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 benchmark491.485
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 constraint45
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)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

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-3462729-1307182327.opb
0.00/0.00	c File size is 84112 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: 6420 Constr: 12640 6420/0/6220 Lit: 43740 Watch. Lit: 31500
0.00/0.01	c Obj. Vars: 200 (3.11526 % of total variables)
0.09/0.18	c Pre-processing Time: 0.183 s
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   6420    12640    43740    3    31500   39459      0      0 0.18
0.09/0.18	c Switching off lower bounding mode.
0.09/0.18	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   6420    12641    43940    3    31503   39593      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   6420    12642    44140    3    31507   39793      2      0 0.19
0.09/0.19	o 197
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   6420    12643    44340    3    31512   40059      3      0 0.19
0.09/0.19	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   6420    12644    44540    3    31518   40393      4      0 0.20
0.19/0.20	o 195
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   6420    12645    44740    3    31525   40793      5      0 0.20
0.19/0.20	o 194
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   6420    12646    44940    3    31533   41259      6      0 0.20
0.19/0.20	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   6420    12647    45140    3    31542   41793      7      0 0.21
0.19/0.21	o 192
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   6420    12648    45340    3    31552   42393      8      0 0.21
0.19/0.21	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   6420    12649    45540    3    31563   43059      9      0 0.21
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   6420    12650    45740    3    31575   43793     10      0 0.22
0.19/0.22	o 189
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   6420    12651    45940    3    31588   44593     11      0 0.22
0.19/0.22	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   6420    12652    46140    3    31602   45459     12      0 0.23
0.19/0.23	o 187
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   6420    12653    46340    3    31617   46393     13      0 0.23
0.19/0.23	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   6420    12654    46540    3    31633   47393     14      0 0.23
0.19/0.24	o 185
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   6420    12655    46740    3    31650   48393     15      0 0.24
0.19/0.24	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   6420    12656    46940    3    31668   49393     16      0 0.24
0.19/0.25	o 183
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   6420    12657    47140    3    31687   50393     17      0 0.25
0.19/0.25	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   6420    12658    47340    3    31707   51393     18      0 0.26
0.19/0.26	o 181
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0   6420    12659    47540    3    31728   52393     19      0 0.26
0.19/0.26	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   6420    12660    47740    3    31750   53393     20      0 0.26
0.19/0.27	o 179
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   6420    12661    47940    3    31773   54393     21      0 0.27
0.19/0.27	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   6420    12662    48140    3    31797   55393     22      0 0.27
0.19/0.28	o 177
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   6420    12663    48340    3    31822   56393     23      0 0.28
0.19/0.28	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   6420    12664    48540    3    31848   57393     24      0 0.28
0.19/0.29	o 175
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   6420    12665    48740    3    31875   58393     25      0 0.29
0.19/0.29	o 174
0.19/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.30	c        0   6420    12666    48940    3    31903   59393     26      0 0.29
0.19/0.30	o 173
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c        0   6420    12667    49140    3    31932   60393     27      0 0.30
0.29/0.30	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   6420    12668    49340    3    31962   61393     28      0 0.30
0.29/0.31	o 171
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   6420    12669    49540    3    31993   62393     29      0 0.31
0.29/0.31	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   6420    12670    49740    3    32025   63393     30      0 0.32
0.29/0.32	o 169
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0   6420    12671    49940    3    32058   64393     31      0 0.32
0.29/0.32	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   6420    12672    50140    3    32092   65393     32      0 0.33
0.29/0.33	o 167
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   6420    12673    50340    3    32127   66393     33      0 0.33
0.29/0.33	o 166
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0   6420    12674    50540    3    32163   67393     34      0 0.34
0.29/0.34	o 165
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0   6420    12675    50740    4    32200   68393     35      0 0.34
0.29/0.34	o 164
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0   6420    12676    50940    4    32238   69393     36      0 0.35
0.29/0.35	o 163
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0   6420    12677    51140    4    32277   70393     37      0 0.35
0.29/0.35	o 162
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   6420    12678    51340    4    32317   71393     38      0 0.36
0.29/0.36	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   6420    12679    51540    4    32358   72393     39      0 0.36
0.29/0.37	o 157
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        1   6420    12681    51901    4    32405   72393     41      2 0.37
0.29/0.37	o 16
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c        1   6420    12682    52101    4    32591   72393     42      2 0.37
0.29/0.38	o 15
1797.94/1798.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.08	c       19   6420    12702    54378    4    32816   72393     62     49 0.38
1797.94/1798.08	c      119   6420    12809    72199    5    33030   79633    169    277 0.43
1797.94/1798.08	c      370   6420    13076   107134    8    33564   87597    436    672 0.55
1797.94/1798.08	c      845   6420    13577   177440   13    34929   96357    937   1035 0.82
1797.94/1798.08	c     1659   6420    14439   338422   23    36653  105993   1799   1190 1.39
1797.94/1798.08	c     2980   6420    15886   641549   40    39899  116593   3246   1285 2.32
1797.94/1798.08	c     5062   6420    18173  1094711   60    46198  128253   5533   1228 4.12
1797.94/1798.08	c     8285   6420    21701  1989059   91    54283  141079   9061   1105 7.49
1797.94/1798.08	c    13222   6420    26945  2823281  104    65806  155187  14305    992 13.33
1797.94/1798.08	c    20729   6420    34952  4284315  122    82541  170706  22312    927 22.36
1797.94/1798.08	c    32092   6420    47245  6492600  137   109529  187777  34605    761 42.17
1797.94/1798.08	c    49236   6420    65629 10423786  158   150340  206555  52989    581 84.70
1797.94/1798.08	c    75055   6420    94398 18786884  199   216457  227211  81758    376 199.59
1797.94/1798.08	c   113888   6420   137892 34394174  249   355019  249933 125252    215 529.13
1797.94/1798.08	c   172241   6420   204380 60693945  296   564603  274927 191740    131 1314.24
1797.94/1798.08	c Resources Exceeded
1797.94/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.94/1798.08	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.08	c   56   200186  66473   394292   236291 73333077 223651    111 1798.04
1797.94/1798.08	c Objective: 15
1797.94/1798.08	s SATISFIABLE
1797.94/1798.08	c Total time: 1798.04 s

Verifier Data 

OK	15

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-3462729-1307182327/watcher-3462729-1307182327 -o /tmp/evaluation-result-3462729-1307182327/solver-3462729-1307182327 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462729-1307182327.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.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=11428 CPUtime=0 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 1 0 829831492 11702272 367 33554432000 134512640 137138936 4291310432 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 2857 368 177 642 0 2192 0

[startup+0.033725 s]
/proc/loadavg: 2.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=13916 CPUtime=0.03 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 1080 0 0 0 3 0 0 0 25 0 1 0 829831492 14249984 1013 33554432000 134512640 137138936 4291310432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 3479 1013 185 642 0 2835 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13916

[startup+0.100744 s]
/proc/loadavg: 2.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=13916 CPUtime=0.09 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 1080 0 0 0 9 0 0 0 25 0 1 0 829831492 14249984 1013 33554432000 134512640 137138936 4291310432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 3479 1013 185 642 0 2835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13916

[startup+0.300705 s]
/proc/loadavg: 2.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=14056 CPUtime=0.29 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 1451 0 0 0 28 1 0 0 25 0 1 0 829831492 14393344 1077 33554432000 134512640 137138936 4291310432 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 3514 1077 188 642 0 2870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14056

[startup+0.700632 s]
/proc/loadavg: 2.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=15476 CPUtime=0.69 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 1811 0 0 0 68 1 0 0 25 0 1 0 829831492 15847424 1437 33554432000 134512640 137138936 4291310432 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 3869 1437 192 642 0 3225 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15476

[startup+1.5005 s]
/proc/loadavg: 2.04 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31652340/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=18492 CPUtime=1.49 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 2572 0 0 0 148 1 0 0 25 0 1 0 829831492 18935808 2198 33554432000 134512640 137138936 4291310432 18446744073709551615 134543015 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 4623 2198 192 642 0 3979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18492

[startup+3.10014 s]
/proc/loadavg: 2.04 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31646512/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=24544 CPUtime=3.09 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 4081 0 0 0 307 2 0 0 25 0 1 0 829831492 25133056 3707 33554432000 134512640 137138936 4291310432 18446744073709551615 136500291 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 6136 3707 192 642 0 5492 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24544

[startup+6.30064 s]
/proc/loadavg: 2.03 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31635296/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=35580 CPUtime=6.29 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 6831 0 0 0 626 3 0 0 25 0 1 0 829831492 36433920 6457 33554432000 134512640 137138936 4291310432 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 8895 6457 192 642 0 8251 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35580

[startup+12.7005 s]
/proc/loadavg: 2.03 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31617972/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=50284 CPUtime=12.69 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 10492 0 0 0 1265 4 0 0 25 0 1 0 829831492 51490816 10118 33554432000 134512640 137138936 4291310432 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 12571 10118 192 642 0 11927 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50284

[startup+25.5012 s]
/proc/loadavg: 2.02 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31590664/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=77184 CPUtime=25.49 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 17239 0 0 0 2543 6 0 0 25 0 1 0 829831492 79036416 16865 33554432000 134512640 137138936 4291310432 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 19296 16865 192 642 0 18652 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77184

[startup+51.1007 s]
/proc/loadavg: 2.01 2.05 2.01 3/573 2207
/proc/meminfo: memFree=31556636/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=112148 CPUtime=51.04 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 25968 0 0 0 5095 9 0 0 25 0 1 0 829831492 114839552 25594 33554432000 134512640 137138936 4291310432 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 28037 25594 192 642 0 27393 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 112148

[startup+102.322 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 2208
/proc/meminfo: memFree=31496956/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=170608 CPUtime=102.26 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 40587 0 0 0 10211 15 0 0 25 0 1 0 829831492 174702592 40213 33554432000 134512640 137138936 4291310432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 42652 40213 192 642 0 42008 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 170608

[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2210
/proc/meminfo: memFree=31437020/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=229568 CPUtime=162.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 55329 0 0 0 16203 21 0 0 25 0 1 0 829831492 235077632 54955 33554432000 134512640 137138936 4291310432 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 57392 54955 192 642 0 56748 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 229568

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2245
/proc/meminfo: memFree=31455252/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=275940 CPUtime=222.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 66924 0 0 0 22199 25 0 0 25 0 1 0 829831492 282562560 66550 33554432000 134512640 137138936 4291310432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 68985 66550 192 642 0 68341 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 275940

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2253
/proc/meminfo: memFree=31304952/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=314716 CPUtime=282.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 76628 0 0 0 28195 28 0 0 25 0 1 0 829831492 322269184 76254 33554432000 134512640 137138936 4291310432 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 78679 76254 192 642 0 78035 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 314716

[startup+342.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/573 2255
/proc/meminfo: memFree=31190312/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=353144 CPUtime=342.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 86231 0 0 0 34191 33 0 0 25 0 1 0 829831492 361619456 85857 33554432000 134512640 137138936 4291310432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 88286 85857 192 642 0 87642 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 353144

[startup+402.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/573 2256
/proc/meminfo: memFree=31090560/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=391116 CPUtime=402.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 95711 0 0 0 40188 36 0 0 25 0 1 0 829831492 400502784 95337 33554432000 134512640 137138936 4291310432 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 97779 95337 192 642 0 97135 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 391116

[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/573 2258
/proc/meminfo: memFree=30993160/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=428816 CPUtime=462.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 105153 0 0 0 46183 40 0 0 25 0 1 0 829831492 439107584 104779 33554432000 134512640 137138936 4291310432 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 107204 104779 192 642 0 106560 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 428816

[startup+522.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/573 2260
/proc/meminfo: memFree=30912256/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=463176 CPUtime=522.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 113744 0 0 0 52180 43 0 0 25 0 1 0 829831492 474292224 113370 33554432000 134512640 137138936 4291310432 18446744073709551615 134602762 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 115794 113370 192 642 0 115150 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 463176

[startup+582.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/573 2261
/proc/meminfo: memFree=30836968/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=493104 CPUtime=582.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 121219 0 0 0 58176 48 0 0 25 0 1 0 829831492 504938496 120845 33554432000 134512640 137138936 4291310432 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 123276 120845 192 642 0 122632 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 493104

[startup+642.3 s]

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

/proc/meminfo: memFree=30333884/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=720428 CPUtime=1062.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 178043 0 0 0 106149 74 0 0 25 0 1 0 829831492 737718272 177669 33554432000 134512640 137138936 4291310432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 180107 177669 192 642 0 179463 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 720428

[startup+1122.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/573 2276
/proc/meminfo: memFree=30280012/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=743824 CPUtime=1122.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 183891 0 0 0 112146 77 0 0 25 0 1 0 829831492 761675776 183517 33554432000 134512640 137138936 4291310432 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 185956 183517 192 642 0 185312 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 743824

[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/573 2277
/proc/meminfo: memFree=30236460/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=763744 CPUtime=1182.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 188880 0 0 0 118144 79 0 0 25 0 1 0 829831492 782073856 188506 33554432000 134512640 137138936 4291310432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 190936 188506 192 642 0 190292 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 763744

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2279
/proc/meminfo: memFree=30188296/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=787152 CPUtime=1242.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 194719 0 0 0 124142 81 0 0 25 0 1 0 829831492 806043648 194345 33554432000 134512640 137138936 4291310432 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 196788 194345 192 642 0 196144 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 787152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2280
/proc/meminfo: memFree=30139756/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=806692 CPUtime=1302.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 199616 0 0 0 130140 83 0 0 25 0 1 0 829831492 826052608 199242 33554432000 134512640 137138936 4291310432 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 201673 199242 192 642 0 201029 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 806692

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2282
/proc/meminfo: memFree=30089460/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=823316 CPUtime=1362.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 203779 0 0 0 136138 85 0 0 25 0 1 0 829831492 843075584 203405 33554432000 134512640 137138936 4291310432 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 205829 203405 192 642 0 205185 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 823316

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2284
/proc/meminfo: memFree=30042544/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=844276 CPUtime=1422.26 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 209002 0 0 0 142138 88 0 0 25 0 1 0 829831492 864538624 208628 33554432000 134512640 137138936 4291310432 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 211069 208628 192 642 0 210425 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 844276

[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/573 2286
/proc/meminfo: memFree=30004040/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=863476 CPUtime=1482.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 213810 0 0 0 148135 89 0 0 25 0 1 0 829831492 884199424 213436 33554432000 134512640 137138936 4291310432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 215869 213436 192 642 0 215225 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 863476

[startup+1542.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/573 2289
/proc/meminfo: memFree=29961568/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=885752 CPUtime=1542.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 219375 0 0 0 154132 91 0 0 25 0 1 0 829831492 907010048 219001 33554432000 134512640 137138936 4291310432 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 221438 219001 192 642 0 220794 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 885752

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/573 2290
/proc/meminfo: memFree=29914124/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=906792 CPUtime=1602.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 224644 0 0 0 160130 94 0 0 25 0 1 0 829831492 928555008 224270 33554432000 134512640 137138936 4291310432 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 226698 224270 192 642 0 226054 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 906792

[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/573 2292
/proc/meminfo: memFree=29865068/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=927880 CPUtime=1662.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 229901 0 0 0 166128 96 0 0 25 0 1 0 829831492 950149120 229527 33554432000 134512640 137138936 4291310432 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 231970 229527 192 642 0 231326 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 927880

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/573 2294
/proc/meminfo: memFree=29818884/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=950816 CPUtime=1722.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 235635 0 0 0 172126 98 0 0 25 0 1 0 829831492 973635584 235261 33554432000 134512640 137138936 4291310432 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 237704 235261 192 642 0 237060 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 950816

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2295
/proc/meminfo: memFree=29775060/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=972540 CPUtime=1782.25 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241070 0 0 0 178125 100 0 0 25 0 1 0 829831492 995880960 240696 33554432000 134512640 137138936 4291310432 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243135 240696 192 642 0 242491 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 972540

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

[startup+1791.92 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29770456/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=974544 CPUtime=1791.86 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241577 0 0 0 179086 100 0 0 25 0 1 0 829831492 997933056 241203 33554432000 134512640 137138936 4291310432 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243636 241203 192 642 0 242992 0
Current children cumulated CPU time (s) 1791.86
Current children cumulated vsize (KiB) 974544

[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29768224/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=975152 CPUtime=1795.05 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241733 0 0 0 179405 100 0 0 25 0 1 0 829831492 998555648 241359 33554432000 134512640 137138936 4291310432 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243788 241359 192 642 0 243144 0
Current children cumulated CPU time (s) 1795.05
Current children cumulated vsize (KiB) 975152

[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29767728/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=975400 CPUtime=1796.64 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241793 0 0 0 179564 100 0 0 25 0 1 0 829831492 998809600 241419 33554432000 134512640 137138936 4291310432 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243850 241419 192 642 0 243206 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (KiB) 975400

[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29766860/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=975600 CPUtime=1797.44 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241847 0 0 0 179644 100 0 0 25 0 1 0 829831492 999014400 241473 33554432000 134512640 137138936 4291310432 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243900 241473 192 642 0 243256 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 975600

[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29766860/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=975600 CPUtime=1797.84 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241851 0 0 0 179684 100 0 0 25 0 1 0 829831492 999014400 241477 33554432000 134512640 137138936 4291310432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243900 241477 192 642 0 243256 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 975600

[startup+1798.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29766860/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=0 CPUtime=1798.05 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202500 241853 0 0 0 179703 102 0 0 25 0 1 0 829831492 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/2205/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.13
CPU time (s): 1798.09
CPU user time (s): 1797.03
CPU system time (s): 1.05384
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 975600

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

runsolver used 10.8314 second user time and 23.2395 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-04 12:12:07
IDJOB=3462729
IDBENCH=48145
IDSOLVER=1955
FILE ID=node122/3462729-1307182327
RUNJOBID= node122-1307175118-1319
PBS_JOBID= 13508834
Free space on /tmp= 73808 MiB

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

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

MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62
RANDOM SEED=757342475

node122.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.820
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.64
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.820
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.820
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.75
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.820
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.83
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.820
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.75
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.820
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.820
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.75
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31659448 kB
Buffers:        324232 kB
Cached:         555132 kB
SwapCached:      16832 kB
Active:         447524 kB
Inactive:       529228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31659448 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:            4096 kB
Writeback:           0 kB
AnonPages:       94552 kB
Mapped:          10012 kB
Slab:           150404 kB
PageTables:      92872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180819508 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= 73804 MiB
End job on node122 at 2011-06-04 12:42:05