Trace number 3708440

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.2SAT6 1798.04 1798.5

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708440-1338174002.opb
0.00/0.00	c File size is 38579 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.01	c Var: 3174 Constr: 6248 3174/0/3074 Lit: 21618 Watch. Lit: 15570
0.00/0.01	c Obj. Vars: 100 (3.1506 % of total variables)
0.03/0.09	c Pre-processing Time: 0.088 s
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3174     6248    21618    3    15570   19501      0      0 0.09
0.03/0.09	c Switching off lower bounding mode.
0.03/0.09	o 99
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3174     6249    21718    3    15573   19568      1      0 0.09
0.03/0.09	o 98
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3174     6250    21818    3    15577   19668      2      0 0.09
0.03/0.09	o 97
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3174     6251    21918    3    15582   19801      3      0 0.09
0.03/0.09	o 96
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        0   3174     6252    22018    3    15588   19968      4      0 0.09
0.03/0.09	o 95
0.03/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.10	c        0   3174     6253    22118    3    15595   20168      5      0 0.10
0.03/0.10	o 94
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6254    22218    3    15603   20401      6      0 0.10
0.09/0.10	o 93
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6255    22318    3    15612   20668      7      0 0.10
0.09/0.10	o 92
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6256    22418    3    15622   20968      8      0 0.10
0.09/0.10	o 91
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6257    22518    3    15633   21301      9      0 0.10
0.09/0.10	o 90
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3174     6258    22618    3    15645   21668     10      0 0.10
0.09/0.10	o 89
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6259    22718    3    15658   22068     11      0 0.10
0.09/0.11	o 88
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6260    22818    3    15672   22501     12      0 0.11
0.09/0.11	o 87
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6261    22918    3    15687   22968     13      0 0.11
0.09/0.11	o 86
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6262    23018    3    15703   23468     14      0 0.11
0.09/0.11	o 85
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6263    23118    3    15720   24001     15      0 0.11
0.09/0.11	o 84
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3174     6264    23218    3    15738   24568     16      0 0.11
0.09/0.11	o 83
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6265    23318    3    15757   25168     17      0 0.12
0.09/0.12	o 82
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6266    23418    3    15777   25801     18      0 0.12
0.09/0.12	o 81
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6267    23518    3    15798   26468     19      0 0.12
0.09/0.12	o 80
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6268    23618    3    15820   27168     20      0 0.12
0.09/0.12	o 79
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6269    23718    3    15843   27901     21      0 0.12
0.09/0.12	o 78
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3174     6270    23818    3    15867   28668     22      0 0.12
0.09/0.12	o 77
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6271    23918    3    15892   29468     23      0 0.13
0.09/0.13	o 76
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6272    24018    3    15918   30301     24      0 0.13
0.09/0.13	o 75
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6273    24118    3    15945   31168     25      0 0.13
0.09/0.13	o 74
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6274    24218    3    15973   32068     26      0 0.13
0.09/0.13	o 73
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3174     6275    24318    3    16002   33001     27      0 0.13
0.09/0.13	o 72
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6276    24418    3    16032   33968     28      0 0.14
0.09/0.14	o 71
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6277    24518    3    16063   34968     29      0 0.14
0.09/0.14	o 70
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6278    24618    3    16095   35968     30      0 0.14
0.09/0.14	o 69
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6279    24718    3    16128   36968     31      0 0.14
0.09/0.14	o 68
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6280    24818    3    16162   37968     32      0 0.14
0.09/0.14	o 67
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3174     6281    24918    3    16197   38968     33      0 0.14
0.09/0.14	o 66
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6282    25018    3    16233   39968     34      0 0.14
0.09/0.15	o 65
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6283    25118    3    16270   40968     35      0 0.15
0.09/0.15	o 64
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6284    25218    4    16308   41968     36      0 0.15
0.09/0.15	o 63
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6285    25318    4    16347   42968     37      0 0.15
0.09/0.15	o 62
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6286    25418    4    16387   43968     38      0 0.15
0.09/0.15	o 61
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3174     6287    25518    4    16428   44968     39      0 0.15
0.09/0.15	o 59
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        1   3174     6289    25679    4    16473   44968     41      6 0.15
0.09/0.16	o 10
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        1   3174     6290    25779    4    16565   44968     42      6 0.16
0.09/0.16	o 9
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       10   3174     6300    26640    4    16676   44968     52     62 0.16
0.19/0.24	c      111   3174     6410    42722    6    16896   49465    162    566 0.20
0.19/0.24	o 8
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      251   3174     6563    61619    9    17383   44968    315   1024 0.24
0.19/0.26	o 7
240.38/240.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
240.38/240.50	c      306   3174     6624    67803   10    17598   44968    376   1159 0.26
240.38/240.50	c      406   3174     6729    76881   11    17808   49465    481   1326 0.31
240.38/240.50	c      658   3174     7006   103860   14    18600   54412    758   1632 0.40
240.38/240.50	c     1133   3174     7537   180980   24    19662   59854   1289   1827 0.62
240.38/240.50	c     1949   3174     8452   326390   38    21964   65840   2204   1826 1.07
240.38/240.50	c     3271   3174     9946   604097   60    25313   72425   3698   1616 2.02
240.38/240.50	c     5352   3174    12315  1128918   91    30842   79668   6067   1244 4.30
240.38/240.50	c     8576   3174    16090  1948570  121    39443   87635   9842    929 9.23
240.38/240.50	c    13513   3174    22140  3458673  156    55284   96399  15892    718 18.81
240.38/240.50	c    21019   3174    30929  5455855  176    79934  106039  24681    539 38.94
240.38/240.50	c    32381   3174    44454  8827249  198   112305  116643  38206    386 83.81
240.38/240.50	c    49525   3174    65601 17157881  261   161211  128308  59353    249 198.17
240.38/240.50	o 6
1797.93/1798.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.49	c    56250   3174    73630 19277670  261   179112   44968  67382    233 240.39
1797.93/1798.49	c    56352   3174    20552  4045406  196    47697   49465  14304    232 242.54
1797.93/1798.49	c    56605   3174    20876  4227052  202    48621   54412  14628    232 243.65
1797.93/1798.49	c    57081   3174    21425  4355462  203    50077   59854  15177    233 244.87
1797.93/1798.49	c    57895   3174    22454  4779699  212    52241   65840  16206    233 248.00
1797.93/1798.49	c    59215   3174    24054  5310073  220    56085   72425  17806    234 252.15
1797.93/1798.49	c    61296   3174    26528  6066751  228    61613   79668  20280    236 258.76
1797.93/1798.49	c    64523   3174    30265  7085841  234    69515   87635  24017    240 268.03
1797.93/1798.49	c    69461   3174    36295  8956792  246    82672   96399  30047    241 287.34
1797.93/1798.49	c    76967   3174    45533 11024339  242   102472  106039  39285    235 326.48
1797.93/1798.49	c    88329   3174    59372 14147634  238   132395  116643  53124    222 397.80
1797.93/1798.49	c   105473   3174    79747 18619093  233   176949  128308  73499    206 510.09
1797.93/1798.49	c   131292   3174   110795 25310490  228   244642  141139 104547    174 751.96
1797.93/1798.49	c   170128   3174    29437  3417041  116    66226  155253  23189    145 1170.58
1797.93/1798.49	c   228480   3174    98440 13011451  132   211414  170779  92192    156 1461.03
1797.93/1798.49	c Resources Exceeded
1797.93/1798.49	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1797.93/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.49	c   71   258210  81502   532614   134002 19419996 127754    143 1798.03
1797.93/1798.49	c Objective: 6
1797.93/1798.49	s SATISFIABLE
1797.93/1798.49	c Total time: 1798.03 s

Verifier Data

OK	6

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708440-1338174002/watcher-3708440-1338174002 -o /tmp/evaluation-result-3708440-1338174002/solver-3708440-1338174002 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708440-1338174002.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.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=11388 CPUtime=0 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 1 0 283525664 11661312 365 33554432000 134512640 137138936 4291613024 4291611296 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 2847 366 177 642 0 2193 0

[startup+0.043347 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=12312 CPUtime=0.03 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 672 0 0 0 3 0 0 0 20 0 1 0 283525664 12607488 615 33554432000 134512640 137138936 4291613024 4291573612 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 3078 615 185 642 0 2434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12312

[startup+0.100212 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=12584 CPUtime=0.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 824 0 0 0 9 0 0 0 20 0 1 0 283525664 12886016 702 33554432000 134512640 137138936 4291613024 4291612032 136382014 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 3146 702 188 642 0 2502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12584

[startup+0.300181 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=13128 CPUtime=0.29 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 967 0 0 0 28 1 0 0 20 0 1 0 283525664 13443072 845 33554432000 134512640 137138936 4291613024 4291611736 136504864 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 3282 845 192 642 0 2638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13128

[startup+0.700178 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=14888 CPUtime=0.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 1401 0 0 0 68 1 0 0 20 0 1 0 283525664 15245312 1279 33554432000 134512640 137138936 4291613024 4291611304 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 3722 1279 192 642 0 3078 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14888

[startup+1.50018 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 30952
/proc/meminfo: memFree=26921108/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=18304 CPUtime=1.49 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 2259 0 0 0 148 1 0 0 20 0 1 0 283525664 18743296 2137 33554432000 134512640 137138936 4291613024 4291611952 134542497 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 4576 2137 192 642 0 3932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18304

[startup+3.10019 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 30952
/proc/meminfo: memFree=26916396/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=24052 CPUtime=3.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 3690 0 0 0 307 2 0 0 20 0 1 0 283525664 24629248 3568 33554432000 134512640 137138936 4291613024 4291611936 136296975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 6013 3568 192 642 0 5369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24052

[startup+6.30021 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 30952
/proc/meminfo: memFree=26906676/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=32276 CPUtime=6.29 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 5764 0 0 0 626 3 0 0 20 0 1 0 283525664 33050624 5642 33554432000 134512640 137138936 4291613024 4291612140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 8069 5642 192 642 0 7425 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32276

[startup+12.7002 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 30952
/proc/meminfo: memFree=26891836/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=47004 CPUtime=12.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 9424 0 0 0 1265 4 0 0 20 0 1 0 283525664 48132096 9302 33554432000 134512640 137138936 4291613024 4291611952 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 11751 9302 192 642 0 11107 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47004

[startup+25.5002 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 30952
/proc/meminfo: memFree=26868108/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=70572 CPUtime=25.48 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 15341 0 0 0 2542 6 0 0 20 0 1 0 283525664 72265728 15219 33554432000 134512640 137138936 4291613024 4291611952 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 17643 15219 192 642 0 16999 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70572

[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 30952
/proc/meminfo: memFree=26840780/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=97984 CPUtime=51.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 22164 0 0 0 5098 11 0 0 20 0 1 0 283525664 100335616 22042 33554432000 134512640 137138936 4291613024 4291611952 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 24496 22042 192 642 0 23852 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 97984

[startup+102.307 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 30975
/proc/meminfo: memFree=26785972/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=152088 CPUtime=102.28 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 35699 0 0 0 10211 17 0 0 20 0 1 0 283525664 155738112 35577 33554432000 134512640 137138936 4291613024 4291611772 136297616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 38022 35577 192 642 0 37378 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 152088

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 30975
/proc/meminfo: memFree=26727316/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=210404 CPUtime=162.26 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 50298 0 0 0 16202 24 0 0 20 0 1 0 283525664 215453696 50165 33554432000 134512640 137138936 4291613024 4291611952 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 52601 50165 192 642 0 51957 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 210404

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30976
/proc/meminfo: memFree=26684440/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=253020 CPUtime=222.2 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 61008 0 0 0 22188 32 0 0 20 0 1 0 283525664 259092480 60829 33554432000 134512640 137138936 4291613024 4291611952 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 63255 60829 192 642 0 62611 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 253020

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31014
/proc/meminfo: memFree=27630732/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265672 CPUtime=282.15 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64265 0 0 0 28177 38 0 0 20 0 1 0 283525664 272048128 63972 33554432000 134512640 137138936 4291613024 4291611696 136501668 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66418 63972 192 642 0 65774 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 265672

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31014
/proc/meminfo: memFree=27581188/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265672 CPUtime=342.12 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64281 0 0 0 34173 39 0 0 20 0 1 0 283525664 272048128 63972 33554432000 134512640 137138936 4291613024 4291611952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66418 63972 192 642 0 65774 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 265672

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31014
/proc/meminfo: memFree=27538560/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265672 CPUtime=402.11 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64281 0 0 0 40170 41 0 0 20 0 1 0 283525664 272048128 63972 33554432000 134512640 137138936 4291613024 4291611952 134542237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66418 63972 192 642 0 65774 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 265672

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31014
/proc/meminfo: memFree=27538788/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265672 CPUtime=462.11 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64281 0 0 0 46168 43 0 0 20 0 1 0 283525664 272048128 63972 33554432000 134512640 137138936 4291613024 4291611944 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66418 63972 192 642 0 65774 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 265672

[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31015
/proc/meminfo: memFree=27508284/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265704 CPUtime=522.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64289 0 0 0 52164 45 0 0 20 0 1 0 283525664 272080896 63980 33554432000 134512640 137138936 4291613024 4291611952 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66426 63980 192 642 0 65782 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 265704

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31015
/proc/meminfo: memFree=27442548/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=296148 CPUtime=582.08 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 71916 0 0 0 58159 49 0 0 20 0 1 0 283525664 303255552 71599 33554432000 134512640 137138936 4291613024 4291611876 136511187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 74037 71599 192 642 0 73393 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 296148

[startup+642.3 s]

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

/proc/meminfo: memFree=27080944/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=432056 CPUtime=1121.94 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 105967 0 0 0 112114 80 0 0 20 0 1 0 283525664 442425344 105580 33554432000 134512640 137138936 4291613024 4291611952 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 108014 105580 192 642 0 107370 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 432056

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31020
/proc/meminfo: memFree=27062832/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1181.93 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 118111 82 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 437308

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31023
/proc/meminfo: memFree=27062712/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1241.92 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 124106 86 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 437308

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31023
/proc/meminfo: memFree=27062596/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1301.92 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 130103 89 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611944 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 437308

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31023
/proc/meminfo: memFree=27062456/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1361.9 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 136099 91 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 437308

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31023
/proc/meminfo: memFree=27062748/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1421.9 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 142096 94 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 437308

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31024
/proc/meminfo: memFree=27062616/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1481.88 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 148093 95 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 437308

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31024
/proc/meminfo: memFree=27062492/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1541.88 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 154091 97 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 437308

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31025
/proc/meminfo: memFree=27062612/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1601.87 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 160088 99 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 437308

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31025
/proc/meminfo: memFree=27062484/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1661.85 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 166085 100 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 437308

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31025
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1721.84 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 172082 102 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 437308

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062372/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1781.84 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 178080 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 437308

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1791.44 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179040 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542761 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 437308

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1794.64 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179360 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 437308

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1796.23 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179519 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 437308

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1797.03 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179599 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 437308

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1797.43 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179639 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 437308

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1797.83 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179679 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542205 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 437308

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1797.93 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179689 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 437308

Child status: 0
Real time (s): 1798.5
CPU time (s): 1798.04
CPU user time (s): 1796.99
CPU system time (s): 1.04984
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 437868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.99
system time used= 1.04984
maximum resident set size= 428088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107416
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= 211
involuntary context switches= 1845

runsolver used 2.52262 second user time and 7.29289 second system time

The end

Launcher Data

Begin job on node127 at 2012-05-28 05:00:02
IDJOB=3708440
IDBENCH=48156
IDSOLVER=2286
FILE ID=node127/3708440-1338174002
RUNJOBID= node127-1338157754-29271
PBS_JOBID= 14624533
Free space on /tmp= 71168 MiB

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

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

MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5
RANDOM SEED=1854141586

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26927712 kB
Buffers:          480188 kB
Cached:          3537464 kB
SwapCached:            0 kB
Active:          2260232 kB
Inactive:        2800516 kB
Active(anon):    1045048 kB
Inactive(anon):        0 kB
Active(file):    1215184 kB
Inactive(file):  2800516 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3920 kB
Writeback:             0 kB
AnonPages:       1145908 kB
Mapped:            15060 kB
Shmem:               200 kB
Slab:             743700 kB
SReclaimable:     188100 kB
SUnreclaim:       555600 kB
KernelStack:        1480 kB
PageTables:         5876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1164200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    903168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

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