Trace number 3462742

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.07 1798.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_3.opb
MD5SUM0e507441d4bf529adaad354902c51a54
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1797.16
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 constraint46
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)6216
Sum of products size (including duplicates)12432
Number of different products6216
Sum of products size12432

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-3462742-1307182620.opb
0.00/0.00	c File size is 84180 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: 6416 Constr: 12632 6416/0/6216 Lit: 43712 Watch. Lit: 31480
0.00/0.01	c Obj. Vars: 200 (3.11721 % of total variables)
0.09/0.18	c Pre-processing Time: 0.182 s
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   6416    12632    43712    3    31480   39434      0      0 0.18
0.09/0.18	c Switching off lower bounding mode.
0.09/0.18	o 199
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   6416    12633    43912    3    31483   39567      1      0 0.18
0.09/0.18	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   6416    12634    44112    3    31487   39767      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   6416    12635    44312    3    31492   40034      3      0 0.19
0.09/0.19	o 196
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   6416    12636    44512    3    31498   40367      4      0 0.19
0.09/0.19	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   6416    12637    44712    3    31505   40767      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   6416    12638    44912    3    31513   41234      6      0 0.20
0.19/0.20	o 193
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   6416    12639    45112    3    31522   41767      7      0 0.20
0.19/0.20	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   6416    12640    45312    3    31532   42367      8      0 0.21
0.19/0.21	o 191
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   6416    12641    45512    3    31543   43034      9      0 0.21
0.19/0.21	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   6416    12642    45712    3    31555   43767     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   6416    12643    45912    3    31568   44567     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   6416    12644    46112    3    31582   45434     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   6416    12645    46312    3    31597   46367     13      0 0.23
0.19/0.23	o 186
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   6416    12646    46512    3    31613   47367     14      0 0.23
0.19/0.23	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   6416    12647    46712    3    31630   48367     15      0 0.24
0.19/0.24	o 184
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   6416    12648    46912    3    31648   49367     16      0 0.24
0.19/0.24	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   6416    12649    47112    3    31667   50367     17      0 0.25
0.19/0.25	o 182
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   6416    12650    47312    3    31687   51367     18      0 0.25
0.19/0.25	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   6416    12651    47512    3    31708   52367     19      0 0.26
0.19/0.26	o 180
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0   6416    12652    47712    3    31730   53367     20      0 0.26
0.19/0.26	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   6416    12653    47912    3    31753   54367     21      0 0.27
0.19/0.27	o 178
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   6416    12654    48112    3    31777   55367     22      0 0.27
0.19/0.27	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   6416    12655    48312    3    31802   56367     23      0 0.28
0.19/0.28	o 176
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   6416    12656    48512    3    31828   57367     24      0 0.28
0.19/0.28	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   6416    12657    48712    3    31855   58367     25      0 0.28
0.19/0.29	o 174
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   6416    12658    48912    3    31883   59367     26      0 0.29
0.19/0.29	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   6416    12659    49112    3    31912   60367     27      0 0.29
0.29/0.30	o 172
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c        0   6416    12660    49312    3    31942   61367     28      0 0.30
0.29/0.30	o 171
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c        0   6416    12661    49512    3    31973   62367     29      0 0.30
0.29/0.30	o 170
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   6416    12662    49712    3    32005   63367     30      0 0.31
0.29/0.31	o 169
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   6416    12663    49912    3    32038   64367     31      0 0.31
0.29/0.31	o 168
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0   6416    12664    50112    3    32072   65367     32      0 0.32
0.29/0.32	o 167
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0   6416    12665    50312    3    32107   66367     33      0 0.32
0.29/0.32	o 166
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   6416    12666    50512    3    32143   67367     34      0 0.33
0.29/0.33	o 165
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   6416    12667    50712    4    32180   68367     35      0 0.33
0.29/0.33	o 164
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0   6416    12668    50912    4    32218   69367     36      0 0.33
0.29/0.34	o 163
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0   6416    12669    51112    4    32257   70367     37      0 0.34
0.29/0.34	o 162
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0   6416    12670    51312    4    32297   71367     38      0 0.34
0.29/0.35	o 157
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        1   6416    12672    51674    4    32344   71367     40      2 0.35
0.29/0.35	o 16
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        1   6416    12673    51874    4    32530   71367     41      2 0.35
0.29/0.36	o 15
1797.93/1797.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.98	c       19   6416    12693    54608    4    32755   71367     61     52 0.36
1797.93/1797.98	c      120   6416    12800    68888    5    32969   78504    168    293 0.41
1797.93/1797.98	c      370   6416    13070    97502    7    33509   86355    438    686 0.54
1797.93/1797.98	c      845   6416    13575   158972   11    34702   94991    943   1064 0.79
1797.93/1797.98	c     1658   6416    14437   286920   19    36426  104491   1805   1328 1.25
1797.93/1797.98	c     2978   6416    15827   455410   28    39570  114941   3195   1470 2.02
1797.93/1797.98	c     5060   6416    18053   805448   44    44384  126436   5421   1395 3.62
1797.93/1797.98	c     8283   6416    21478  1233087   57    51572  139080   8846   1319 6.28
1797.93/1797.98	c    13219   6416    26786  2131364   79    63565  152989  14154   1170 11.30
1797.93/1797.98	c    20725   6416    34853  3645470  104    82714  168288  22221    993 20.85
1797.93/1797.98	c    32086   6416    47473  7028099  148   112083  185117  34841    744 43.12
1797.93/1797.98	c    49230   6416    66188 13078369  197   159506  203629  53556    480 102.48
1797.93/1797.98	c    75050   6416    94879 23668715  249   247797  223992  82247    303 247.12
1797.93/1797.98	c   113882   6416   137568 38231685  277   361318  246392 124936    202 563.58
1797.93/1797.98	c   172236   6416   202810 63611819  313   554055  271032 190178    124 1378.72
1797.93/1797.98	c Resources Exceeded
1797.93/1797.98	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 x54 -x55 -x56 -x57 x58 x59 -x60 -x61 x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 
1797.93/1797.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.98	c   55   195056  56350   345143   228752 74568451 216120    108 1798.03
1797.93/1797.98	c Objective: 15
1797.93/1797.98	s SATISFIABLE
1797.93/1797.98	c Total time: 1798.03 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-3462742-1307182620/watcher-3462742-1307182620 -o /tmp/evaluation-result-3462742-1307182620/solver-3462742-1307182620 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462742-1307182620.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.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=13816 CPUtime=0.01 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1077 0 0 0 1 0 0 0 18 0 1 0 829862903 14147584 1011 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3454 1011 185 642 0 2810 0

[startup+0.075728 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=13816 CPUtime=0.06 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1077 0 0 0 6 0 0 0 18 0 1 0 829862903 14147584 1011 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3454 1011 185 642 0 2810 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13816

[startup+0.100724 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=13816 CPUtime=0.09 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1077 0 0 0 9 0 0 0 18 0 1 0 829862903 14147584 1011 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3454 1011 185 642 0 2810 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13816

[startup+0.300693 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=14052 CPUtime=0.29 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1446 0 0 0 27 2 0 0 18 0 1 0 829862903 14389248 1074 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3513 1074 188 642 0 2869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14052

[startup+0.700618 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24553
/proc/meminfo: memFree=30277772/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=15348 CPUtime=0.69 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 1766 0 0 0 67 2 0 0 18 0 1 0 829862903 15716352 1394 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 3837 1394 192 642 0 3193 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15348

[startup+1.50048 s]
/proc/loadavg: 2.12 2.05 2.01 5/499 24554
/proc/meminfo: memFree=30268960/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=18188 CPUtime=1.49 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 2486 0 0 0 146 3 0 0 20 0 1 0 829862903 18624512 2114 33554432000 134512640 137138936 4287820880 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 4547 2114 192 642 0 3903 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18188

[startup+3.10021 s]
/proc/loadavg: 2.12 2.05 2.01 4/499 24554
/proc/meminfo: memFree=30261304/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=23120 CPUtime=3.09 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 3712 0 0 0 306 3 0 0 25 0 1 0 829862903 23674880 3340 33554432000 134512640 137138936 4287820880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 5780 3340 192 642 0 5136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23120

[startup+6.30063 s]
/proc/loadavg: 2.12 2.05 2.01 4/499 24554
/proc/meminfo: memFree=30246292/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=30320 CPUtime=6.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 5514 0 0 0 626 4 0 0 25 0 1 0 829862903 31047680 5142 33554432000 134512640 137138936 4287820880 18446744073709551615 134542273 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 7580 5142 192 642 0 6936 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 30320

[startup+12.7005 s]
/proc/loadavg: 2.10 2.05 2.01 5/499 24555
/proc/meminfo: memFree=30218276/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=45916 CPUtime=12.7 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 9412 0 0 0 1265 5 0 0 25 0 1 0 829862903 47017984 9040 33554432000 134512640 137138936 4287820880 18446744073709551615 134539671 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 11479 9040 192 642 0 10835 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 45916

[startup+25.5002 s]
/proc/loadavg: 2.08 2.04 2.01 5/499 24555
/proc/meminfo: memFree=30167312/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=73792 CPUtime=25.49 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 16381 0 0 0 2542 7 0 0 25 0 1 0 829862903 75563008 16009 33554432000 134512640 137138936 4287820880 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 18448 16009 192 642 0 17804 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73792

[startup+51.1007 s]
/proc/loadavg: 2.05 2.04 2.00 5/499 24556
/proc/meminfo: memFree=30084384/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=120676 CPUtime=51.1 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 28114 0 0 0 5098 12 0 0 25 0 1 0 829862903 123572224 27742 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 30169 27742 192 642 0 29525 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 120676

[startup+102.319 s]
/proc/loadavg: 2.06 2.04 2.00 5/499 24557
/proc/meminfo: memFree=29954140/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=186364 CPUtime=102.31 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 44528 0 0 0 10214 17 0 0 25 0 1 0 829862903 190836736 44156 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 46591 44156 192 642 0 45947 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 186364

[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 4/499 24559
/proc/meminfo: memFree=29823296/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=257496 CPUtime=162.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 62317 0 0 0 16204 26 0 0 25 0 1 0 829862903 263675904 61945 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 64374 61945 192 642 0 63730 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 257496

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/499 24560
/proc/meminfo: memFree=29722948/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=308264 CPUtime=222.29 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 75014 0 0 0 22196 33 0 0 25 0 1 0 829862903 315662336 74642 33554432000 134512640 137138936 4287820880 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 77066 74642 192 642 0 76422 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 308264

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 24562
/proc/meminfo: memFree=29636872/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=349736 CPUtime=282.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 85377 0 0 0 28192 38 0 0 25 0 1 0 829862903 358129664 85005 33554432000 134512640 137138936 4287820880 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 87434 85005 192 642 0 86790 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 349736

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 5/499 24563
/proc/meminfo: memFree=29539384/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=398236 CPUtime=342.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 97487 0 0 0 34187 43 0 0 25 0 1 0 829862903 407793664 97115 33554432000 134512640 137138936 4287820880 18446744073709551615 134618208 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 99559 97115 192 642 0 98915 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 398236

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 5/499 24565
/proc/meminfo: memFree=29468064/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=433076 CPUtime=402.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 106203 0 0 0 40181 49 0 0 25 0 1 0 829862903 443469824 105831 33554432000 134512640 137138936 4287820880 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 108269 105831 192 642 0 107625 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 433076

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 5/499 24567
/proc/meminfo: memFree=29404404/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=465644 CPUtime=462.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 114333 0 0 0 46178 52 0 0 25 0 1 0 829862903 476819456 113961 33554432000 134512640 137138936 4287820880 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 116411 113961 192 642 0 115767 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 465644

[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 5/499 24568
/proc/meminfo: memFree=29350196/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=496920 CPUtime=522.3 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 122171 0 0 0 52175 55 0 0 25 0 1 0 829862903 508846080 121799 33554432000 134512640 137138936 4287820880 18446744073709551615 136504350 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 124230 121799 192 642 0 123586 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 496920

[startup+582.301 s]
/proc/loadavg: 2.13 2.04 2.01 5/499 24570
/proc/meminfo: memFree=29291504/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=525496 CPUtime=582.31 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 129318 0 0 0 58172 59 0 0 25 0 1 0 829862903 538107904 128946 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 131374 128946 192 642 0 130730 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 525496

[startup+642.301 s]

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

/proc/meminfo: memFree=28826000/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=756236 CPUtime=1122.32 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 187007 0 0 0 112143 89 0 0 25 0 1 0 829862903 774385664 186635 33554432000 134512640 137138936 4287820880 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 189059 186635 192 642 0 188415 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 756236

[startup+1182.3 s]
/proc/loadavg: 2.17 2.06 2.02 5/499 24586
/proc/meminfo: memFree=28784688/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=776644 CPUtime=1182.32 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 192094 0 0 0 118140 92 0 0 25 0 1 0 829862903 795283456 191722 33554432000 134512640 137138936 4287820880 18446744073709551615 134543123 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 194161 191722 192 642 0 193517 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 776644

[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.01 5/499 24587
/proc/meminfo: memFree=28744844/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=798760 CPUtime=1242.32 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 197622 0 0 0 124137 95 0 0 25 0 1 0 829862903 817930240 197250 33554432000 134512640 137138936 4287820880 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 199690 197250 192 642 0 199046 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 798760

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 5/499 24589
/proc/meminfo: memFree=28705752/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=819624 CPUtime=1302.34 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 202842 0 0 0 130137 97 0 0 25 0 1 0 829862903 839294976 202470 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 204906 202470 192 642 0 204262 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 819624

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 5/499 24591
/proc/meminfo: memFree=28686988/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=840688 CPUtime=1362.32 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 208120 0 0 0 136132 100 0 0 25 0 1 0 829862903 860864512 207748 33554432000 134512640 137138936 4287820880 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 210172 207748 192 642 0 209528 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 840688

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 5/499 24592
/proc/meminfo: memFree=28667616/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=859832 CPUtime=1422.34 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 212894 0 0 0 142130 104 0 0 25 0 1 0 829862903 880467968 212522 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 214958 212522 192 642 0 214314 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 859832

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/499 24594
/proc/meminfo: memFree=28646512/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=880612 CPUtime=1482.33 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 218088 0 0 0 148126 107 0 0 25 0 1 0 829862903 901746688 217716 33554432000 134512640 137138936 4287820880 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 220153 217716 192 642 0 219509 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 880612

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/499 24595
/proc/meminfo: memFree=28626028/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=901444 CPUtime=1542.33 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 223294 0 0 0 154123 110 0 0 25 0 1 0 829862903 923078656 222922 33554432000 134512640 137138936 4287820880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 225361 222922 192 642 0 224717 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 901444

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/499 24597
/proc/meminfo: memFree=28605420/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=922076 CPUtime=1602.33 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 228456 0 0 0 160121 112 0 0 25 0 1 0 829862903 944205824 228084 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 230519 228084 192 642 0 229875 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 922076

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 5/499 24599
/proc/meminfo: memFree=28584304/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=942952 CPUtime=1662.33 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 233683 0 0 0 166118 115 0 0 25 0 1 0 829862903 965582848 233311 33554432000 134512640 137138936 4287820880 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 235738 233311 192 642 0 235094 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 942952

[startup+1722.3 s]
/proc/loadavg: 2.14 2.05 2.01 5/499 24600
/proc/meminfo: memFree=28563564/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=963800 CPUtime=1722.34 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 238879 0 0 0 172117 117 0 0 25 0 1 0 829862903 986931200 238507 33554432000 134512640 137138936 4287820880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 240950 238507 192 642 0 240306 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 963800

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 4/499 24602
/proc/meminfo: memFree=28540464/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=984956 CPUtime=1782.34 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 244176 0 0 0 178115 119 0 0 25 0 1 0 829862903 1008594944 243804 33554432000 134512640 137138936 4287820880 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 246239 243804 192 642 0 245595 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 984956

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

[startup+1785.5 s]
/proc/loadavg: 2.09 2.06 2.01 5/499 24602
/proc/meminfo: memFree=28539348/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=986088 CPUtime=1785.53 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 244461 0 0 0 178434 119 0 0 25 0 1 0 829862903 1009754112 244089 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 246522 244089 192 642 0 245878 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 986088

[startup+1791.92 s]
/proc/loadavg: 1.99 2.04 2.01 3/499 24683
/proc/meminfo: memFree=29309332/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=988260 CPUtime=1791.96 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 244994 0 0 0 179076 120 0 0 25 0 1 0 829862903 1011978240 244622 33554432000 134512640 137138936 4287820880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247065 244622 192 642 0 246421 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 988260

[startup+1795.1 s]
/proc/loadavg: 1.99 2.04 2.01 3/499 24683
/proc/meminfo: memFree=29307472/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=989264 CPUtime=1795.15 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 245257 0 0 0 179395 120 0 0 25 0 1 0 829862903 1013006336 244885 33554432000 134512640 137138936 4287820880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247316 244885 192 642 0 246672 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 989264

[startup+1796.7 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24683
/proc/meminfo: memFree=29306600/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=989820 CPUtime=1796.74 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 245389 0 0 0 179554 120 0 0 25 0 1 0 829862903 1013575680 245017 33554432000 134512640 137138936 4287820880 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247455 245017 192 642 0 246811 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 989820

[startup+1797.5 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24683
/proc/meminfo: memFree=29305856/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=990132 CPUtime=1797.53 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 245473 0 0 0 179633 120 0 0 25 0 1 0 829862903 1013895168 245101 33554432000 134512640 137138936 4287820880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247533 245101 192 642 0 246889 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 990132

[startup+1797.9 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24683
/proc/meminfo: memFree=29305856/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=990212 CPUtime=1797.93 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202496 245498 0 0 0 179673 120 0 0 25 0 1 0 829862903 1013977088 245126 33554432000 134512640 137138936 4287820880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24553/statm: 247553 245126 192 642 0 246909 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 990212

[startup+1798 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24683
/proc/meminfo: memFree=29305856/32951124 swapFree=53876548/67111528
[pid=24553] ppid=24551 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/24553/stat : 24553 (bsolo) R 24551 24553 21775 0 -1 4202500 245499 0 0 0 179682 121 0 0 25 0 1 0 829862903 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/24553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.07
CPU user time (s): 1796.83
CPU system time (s): 1.24681
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 990212

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

runsolver used 8.67668 second user time and 20.7208 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-04 12:17:00
IDJOB=3462742
IDBENCH=48158
IDSOLVER=1955
FILE ID=node108/3462742-1307182620
RUNJOBID= node108-1307175411-23858
PBS_JOBID= 13508826
Free space on /tmp= 73832 MiB

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

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

MD5SUM BENCH= 0e507441d4bf529adaad354902c51a54
RANDOM SEED=2016289080

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30278052 kB
Buffers:        322332 kB
Cached:        1052752 kB
SwapCached:      13540 kB
Active:        1408416 kB
Inactive:       980264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30278052 kB
SwapTotal:    67111528 kB
SwapFree:     53876548 kB
Dirty:            8132 kB
Writeback:           0 kB
AnonPages:     1010368 kB
Mapped:          13388 kB
Slab:           150372 kB
PageTables:      65392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134583752 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= 73828 MiB
End job on node108 at 2011-06-04 12:46:58