Trace number 1870299

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT11 1794.7 1795.17

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
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 benchmark1794.7
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 constraint50
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)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

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.06	c SCIP version 1.1.0.7
0.00/0.06	c LP-Solver Clp 1.8.2
0.00/0.06	c user parameter file <scip.set> not found - using default parameters
0.00/0.06	c read problem <HOME/instance-1870299-1245196035.opb>
0.00/0.06	c original problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
0.09/0.12	c start presolving problem
0.09/0.12	c presolving:
0.49/0.55	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 415046 impls, 0 clqs
0.89/0.93	c    (0.7s) probing: 101/6426 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.93	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.93	c presolving (2 rounds):
0.89/0.93	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.93	c  415046 implications, 0 cliques
0.89/0.93	c presolved problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
0.89/0.93	c    6226 constraints of type <and>
0.89/0.93	c     200 constraints of type <logicor>
0.89/0.93	c transformed objective value is always integral (scale: 1)
0.89/0.93	c Presolving Time: 0.66
0.89/0.94	c OPT-NLC
0.89/0.94	c -----------------------------------------------------------------------------------------------
0.89/0.94	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94	c limits/memory = c 1620
0.89/0.94	c # maximal time in seconds to run
0.89/0.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94	c limits/time = c 1791
0.89/0.94	c # frequency for displaying node information lines
0.89/0.94	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.94	c display/freq = c 10000
0.89/0.94	c -----------------------------------------------------------------------------------------------
0.89/0.94	c start solving problem
0.89/0.94	c 
0.99/1.07	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.99/1.07	c   0.8s|     1 |     0 |   400 |  38M|   0 | 400 |6426 |6426 |6426 |6426 |  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.10	o 22
0.99/1.10	c s 0.8s|     1 |     0 |   400 |  38M|   0 | 400 |6426 |6426 |6426 |6426 |  12k|   0 |   0 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
2.79/2.84	c   2.5s|     1 |     0 |  1000 |  38M|   0 | 400 |6426 |6426 |6426 |6426 |  13k| 401 |   0 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
4.09/4.19	c   3.8s|     1 |     0 |  1600 |  39M|   0 | 400 |6426 |6426 |6426 |6426 |  13k| 801 |   0 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
5.59/5.63	c   5.2s|     1 |     0 |  2200 |  39M|   0 | 400 |6426 |6426 |6426 |6426 |  13k|1203 |   0 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
5.59/5.66	o 21
5.59/5.66	c s 5.2s|     1 |     0 |  2200 |  39M|   0 | 400 |6426 |6426 |6426 |6426 |  13k|1203 |   0 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
7.09/7.16	c   6.7s|     1 |     0 |  2801 |  39M|   0 | 400 |6426 |6426 |6426 |6426 |  14k|1606 |   0 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
8.69/8.74	c   8.3s|     1 |     0 |  3403 |  39M|   0 | 400 |6426 |6426 |6426 |6426 |  14k|2010 |   0 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
8.69/8.77	o 17
8.69/8.77	c s 8.3s|     1 |     0 |  3403 |  39M|   0 | 400 |6426 |6426 |6426 |6426 |  14k|2010 |   0 |   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
10.28/10.39	c   9.9s|     1 |     0 |  4004 |  39M|   0 | 400 |6426 |6426 |6426 |6426 |  15k|2411 |   0 |   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
10.39/10.42	o 16
10.39/10.42	c s 9.9s|     1 |     0 |  4004 |  40M|   0 | 400 |6426 |6426 |6426 |6426 |  15k|2411 |   0 |   0 | 0.000000e+00 | 1.600000e+01 |    Inf 
11.19/11.29	c  10.8s|     1 |     2 |  4004 |  40M|   0 | 400 |6426 |6426 |6426 |6426 |  15k|2411 |   0 |  18 | 0.000000e+00 | 1.600000e+01 |    Inf 
855.96/856.27	o 13
855.96/856.27	c * 854s|   240 |   236 |596599 |  43M|  17 |   - |6426 |6478 |5704 |6426 |6317 | 107k|  52 |2257 | 6.394523e+00 | 1.300000e+01 | 103.30%
889.25/889.59	o 12
889.25/889.59	c * 887s|   251 |   235 |620251 |  43M|  18 |   - |6426 |6478 |2659 |6426 |6319 | 108k|  52 |2257 | 6.395794e+00 | 1.200000e+01 |  87.62%
1204.26/1204.66	o 11
1204.26/1204.66	c *1202s|   340 |   253 |829953 |  44M|  24 |   - |6426 |6483 |1825 |6426 |6615 | 124k|  57 |2421 | 6.454243e+00 | 1.100000e+01 |  70.43%
1794.52/1795.01	c 
1794.52/1795.01	c SCIP Status        : solving was interrupted [time limit reached]
1794.52/1795.01	c Solving Time (sec) : 1791.00
1794.52/1795.01	c Solving Nodes      : 623
1794.52/1795.01	c Primal Bound       : +1.10000000000000e+01 (7 solutions)
1794.52/1795.01	c Dual Bound         : +6.50880376843264e+00
1794.52/1795.01	c Gap                : 69.00 %
1794.52/1795.02	c NODE         623
1794.52/1795.02	c DUAL BOUND   6.5088
1794.52/1795.02	c PRIMAL BOUND 11
1794.52/1795.02	c GAP          0.690019
1794.52/1795.02	s SATISFIABLE
1794.52/1795.02	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1794.52/1795.02	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 
1794.52/1795.02	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1794.52/1795.02	v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 
1794.52/1795.02	v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1794.52/1795.02	v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 
1794.52/1795.02	v x69 -x68 -x67 -x66 x65 x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 
1794.52/1795.02	v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 
1794.52/1795.02	v -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1794.52/1795.02	c SCIP Status        : solving was interrupted [time limit reached]
1794.52/1795.02	c Solving Time       :    1791.00
1794.52/1795.02	c Original Problem   :
1794.52/1795.02	c   Problem name     : HOME/instance-1870299-1245196035.opb
1794.52/1795.02	c   Variables        : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.52/1795.02	c   Constraints      : 6426 initial, 6426 maximal
1794.52/1795.02	c Presolved Problem  :
1794.52/1795.02	c   Problem name     : t_HOME/instance-1870299-1245196035.opb
1794.52/1795.02	c   Variables        : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.52/1795.02	c   Constraints      : 6426 initial, 6491 maximal
1794.52/1795.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.52/1795.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.52/1795.02	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1794.52/1795.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.52/1795.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.52/1795.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.52/1795.02	c   probing          :       0.22          0          0          0          0          0          0          0          0
1794.52/1795.02	c   and              :       0.39          0          0          0          0          0          0          0          0
1794.52/1795.02	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1794.52/1795.02	c   root node        :          -          0          -          -          0          -          -          -          -
1794.52/1795.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.52/1795.02	c   integral         :          0          0          0        517          0          2         25          0          0       1014
1794.52/1795.02	c   and              :       6226       2437      18427          3          1          4     139063     474806          0          0
1794.52/1795.02	c   logicor          :        200+         6       5675          3          1         12          0          0          0          0
1794.52/1795.02	c   countsols        :          0          0          0          3          1          0          0          0          0          0
1794.52/1795.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.52/1795.02	c   integral         :     369.29       0.00       0.00     369.29       0.00
1794.52/1795.02	c   and              :      26.39      17.76       8.60       0.03       0.00
1794.52/1795.02	c   logicor          :       0.15       0.00       0.15       0.00       0.00
1794.52/1795.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.52/1795.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.52/1795.02	c   rootredcost      :       0.06          4          0          0
1794.52/1795.02	c   pseudoobj        :       0.44      18268          5          0
1794.52/1795.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.52/1795.02	c   propagation      :       0.02         21         21         65       24.3          0        0.0          -
1794.52/1795.02	c   infeasible LP    :       0.49        317          0          0        0.0          0        0.0          0
1794.52/1795.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.52/1795.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.52/1795.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.52/1795.02	c   applied globally :          -          -          -         65       24.3          -          -          -
1794.52/1795.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.52/1795.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.52/1795.02	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 2411)
1794.52/1795.02	c   redcost          :       1.94       2437          0       5068          0          0
1794.52/1795.02	c   impliedbounds    :       0.03          6          0          0       2400          0
1794.52/1795.02	c   intobj           :       0.00          0          0          0          0          0
1794.52/1795.02	c   gomory           :       0.77          6          0          0       3000          0
1794.52/1795.02	c   strongcg         :       0.75          6          0          0       3000          0
1794.52/1795.02	c   cmir             :       5.15          6          0          0       2400          0
1794.52/1795.02	c   flowcover        :       1.28          6          0          0          0          0
1794.52/1795.02	c   clique           :       0.38          6          0          0         11          0
1794.52/1795.02	c   zerohalf         :       0.00          0          0          0          0          0
1794.52/1795.02	c   mcf              :       0.02          1          0          0          0          0
1794.52/1795.02	c Pricers            :       Time      Calls       Vars
1794.52/1795.02	c   problem variables:       0.00          0          0
1794.52/1795.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.52/1795.02	c   relpscost        :     369.29        514          2         25          0          0       1014
1794.52/1795.02	c   pscost           :       0.00          0          0          0          0          0          0
1794.52/1795.02	c   inference        :       0.00          1          0          0          0          0          2
1794.52/1795.02	c   mostinf          :       0.00          0          0          0          0          0          0
1794.52/1795.02	c   leastinf         :       0.00          0          0          0          0          0          0
1794.52/1795.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.52/1795.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.52/1795.02	c   random           :       0.00          0          0          0          0          0          0
1794.52/1795.02	c Primal Heuristics  :       Time      Calls      Found
1794.52/1795.02	c   LP solutions     :       0.00          -          3
1794.52/1795.02	c   pseudo solutions :       0.00          -          0
1794.52/1795.02	c   intshifting      :       0.00          0          0
1794.52/1795.02	c   feaspump         :       0.00          0          0
1794.52/1795.02	c   oneopt           :       0.03          4          0
1794.52/1795.02	c   crossover        :       0.41          2          0
1794.52/1795.02	c   pscostdiving     :     111.14          8          0
1794.52/1795.02	c   fracdiving       :      95.62         11          0
1794.52/1795.02	c   guideddiving     :     119.84         11          0
1794.52/1795.02	c   coefdiving       :      85.11         12          0
1794.52/1795.02	c   objpscostdiving  :      23.32          7          0
1794.52/1795.02	c   veclendiving     :      33.96         16          0
1794.52/1795.02	c   linesearchdiving :      78.99         17          0
1794.52/1795.02	c   rootsoldiving    :       6.24         14          0
1794.52/1795.02	c   simplerounding   :       0.01          0          0
1794.52/1795.02	c   rounding         :       2.31        707          0
1794.52/1795.02	c   shifting         :       0.98        155          4
1794.52/1795.02	c   fixandinfer      :       0.00          0          0
1794.52/1795.02	c   intdiving        :       0.00          0          0
1794.52/1795.02	c   actconsdiving    :       0.00          0          0
1794.52/1795.02	c   octane           :       0.00          0          0
1794.52/1795.02	c   rens             :       0.50          1          0
1794.52/1795.02	c   rins             :       0.00          0          0
1794.52/1795.02	c   localbranching   :       0.00          0          0
1794.52/1795.02	c   mutation         :       0.00          0          0
1794.52/1795.02	c   dins             :       0.00          0          0
1794.52/1795.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.52/1795.02	c   primal LP        :     214.73          0          0       0.00       0.00
1794.52/1795.02	c   dual LP          :     590.61       2980     762528     255.88    1291.09
1794.52/1795.02	c   barrier LP       :       0.00          0          0       0.00          -
1794.52/1795.02	c   diving/probing LP:     504.00       9049     424652      46.93     842.56
1794.52/1795.02	c   strong branching :     368.57       2802     481931     172.00    1307.57
1794.52/1795.02	c     (at root node) :          -         18        860      47.78          -
1794.52/1795.02	c   conflict analysis:       0.00          0          0       0.00          -
1794.52/1795.02	c B&B Tree           :
1794.52/1795.02	c   number of runs   :          1
1794.52/1795.02	c   nodes            :        623
1794.52/1795.02	c   nodes (total)    :        623
1794.52/1795.02	c   nodes left       :        360
1794.52/1795.02	c   max depth        :         31
1794.52/1795.02	c   max depth (total):         31
1794.52/1795.02	c   backtracks       :        279 (44.8%)
1794.52/1795.02	c   delayed cutoffs  :          0
1794.52/1795.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.52/1795.02	c   avg switch length:       6.68
1794.52/1795.02	c   switching time   :     216.01
1794.52/1795.02	c Solution           :
1794.52/1795.02	c   Solutions found  :          7 (7 improvements)
1794.52/1795.02	c   Primal Bound     : +1.10000000000000e+01   (in run 1, after 340 nodes, 1201.51 seconds, depth 14, found by <relaxation>)
1794.52/1795.02	c   Dual Bound       : +6.50880376843264e+00
1794.52/1795.02	c   Gap              :      69.00 %
1794.52/1795.02	c   Root Dual Bound  : +0.00000000000000e+00
1794.62/1795.17	c Time complete: 1794.68.

Verifier Data 

OK	11

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870299-1245196035/watcher-1870299-1245196035 -o /tmp/evaluation-result-1870299-1245196035/solver-1870299-1245196035 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870299-1245196035.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4550
/proc/meminfo: memFree=1845736/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=5812 CPUtime=0
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 187203601 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/4550/statm: 1453 502 332 1256 0 192 0

[startup+0.088227 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4550
/proc/meminfo: memFree=1845736/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=25308 CPUtime=0.08
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 5700 0 0 0 6 2 0 0 18 0 1 0 187203601 25915392 5330 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 6327 5339 413 1256 0 5066 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25308

[startup+0.102227 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4550
/proc/meminfo: memFree=1845736/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=27428 CPUtime=0.09
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 6218 0 0 0 7 2 0 0 18 0 1 0 187203601 28086272 5848 1992294400 4194304 9342243 548682068736 18446744073709551615 4685944 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 6857 5848 427 1256 0 5596 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27428

[startup+0.301246 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4550
/proc/meminfo: memFree=1845736/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=40372 CPUtime=0.29
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 9221 0 0 0 26 3 0 0 19 0 1 0 187203601 41340928 8851 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 10093 8851 447 1256 0 8832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40372

[startup+0.70129 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4550
/proc/meminfo: memFree=1845736/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=46620 CPUtime=0.69
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 10836 0 0 0 50 19 0 0 23 0 1 0 187203601 47738880 10466 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 11655 10466 469 1256 0 10394 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46620

[startup+1.50138 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4551
/proc/meminfo: memFree=1791456/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=75120 CPUtime=1.5
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 17177 0 0 0 127 23 0 0 25 0 1 0 187203601 76922880 16733 1992294400 4194304 9342243 548682068736 18446744073709551615 5572944 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 18780 16733 632 1256 0 17519 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 75120

[startup+3.10156 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4551
/proc/meminfo: memFree=1780896/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=79576 CPUtime=3.09
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 18387 0 0 0 275 34 0 0 25 0 1 0 187203601 81485824 17943 1992294400 4194304 9342243 548682068736 18446744073709551615 4272734 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4550/statm: 19894 17943 650 1256 0 18633 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79576

[startup+6.30189 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4551
/proc/meminfo: memFree=1774048/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=81988 CPUtime=6.28
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 19112 0 0 0 591 37 0 0 25 0 1 0 187203601 83955712 18661 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 20497 18661 650 1256 0 19236 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 81988

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4551
/proc/meminfo: memFree=1770848/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=83884 CPUtime=12.69
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 30109 0 0 0 1221 48 0 0 25 0 1 0 187203601 85897216 19333 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 20971 19333 679 1256 0 19710 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83884

[startup+25.503 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4551
/proc/meminfo: memFree=1769952/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=84884 CPUtime=25.48
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 30345 0 0 0 2497 51 0 0 25 0 1 0 187203601 86921216 19569 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 21221 19569 689 1256 0 19960 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84884

[startup+51.1027 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4551
/proc/meminfo: memFree=1770336/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=85228 CPUtime=51.07
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 31422 0 0 0 5052 55 0 0 25 0 1 0 187203601 87273472 19506 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 21307 19506 689 1256 0 20046 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85228

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4551
/proc/meminfo: memFree=1770208/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=82604 CPUtime=102.27
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 36727 0 0 0 10159 68 0 0 25 0 1 0 187203601 84586496 19492 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 20651 19492 691 1256 0 19390 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 82604

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4551
/proc/meminfo: memFree=1767392/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=87404 CPUtime=162.24
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 42832 0 0 0 16144 80 0 0 25 0 1 0 187203601 89501696 20231 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 21851 20231 692 1256 0 20590 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 87404

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4551
/proc/meminfo: memFree=1766752/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=86928 CPUtime=222.23
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 49066 0 0 0 22130 93 0 0 25 0 1 0 187203601 89014272 20414 1992294400 4194304 9342243 548682068736 18446744073709551615 6923722 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 21732 20414 692 1256 0 20471 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 86928

[startup+282.303 s]
/proc/loadavg: 1.11 1.03 1.01 2/65 4551
/proc/meminfo: memFree=1764960/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=88864 CPUtime=282.22
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 57565 0 0 0 28114 108 0 0 25 0 1 0 187203601 90996736 20808 1992294400 4194304 9342243 548682068736 18446744073709551615 6974252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 22216 20808 692 1256 0 20955 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 88864

[startup+342.303 s]
/proc/loadavg: 1.11 1.04 1.00 2/65 4553
/proc/meminfo: memFree=1765024/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=92396 CPUtime=342.2
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 64823 0 0 0 34099 121 0 0 25 0 1 0 187203601 94613504 20757 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 23099 20757 692 1256 0 21838 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 92396

[startup+402.301 s]
/proc/loadavg: 1.11 1.04 1.00 2/65 4553
/proc/meminfo: memFree=1764960/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=92328 CPUtime=402.18
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 72512 0 0 0 40084 134 0 0 25 0 1 0 187203601 94543872 20773 1992294400 4194304 9342243 548682068736 18446744073709551615 6038047 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 23082 20773 701 1256 0 21821 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 92328

[startup+462.302 s]
/proc/loadavg: 1.10 1.05 1.00 2/65 4553
/proc/meminfo: memFree=1766368/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=90076 CPUtime=462.17
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 94935 0 0 0 46063 154 0 0 25 0 1 0 187203601 92237824 20429 1992294400 4194304 9342243 548682068736 18446744073709551615 6960843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 22519 20429 702 1256 0 21258 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 90076

[startup+522.301 s]
/proc/loadavg: 1.13 1.07 1.01 2/65 4553
/proc/meminfo: memFree=1764832/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=90056 CPUtime=522.15
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 114542 0 0 0 52042 173 0 0 25 0 1 0 187203601 92217344 20837 1992294400 4194304 9342243 548682068736 18446744073709551615 6959741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 22514 20837 702 1256 0 21253 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 90056

[startup+582.302 s]
/proc/loadavg: 1.13 1.08 1.01 2/65 4553
/proc/meminfo: memFree=1760608/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=94796 CPUtime=582.14
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 136909 0 0 0 58022 192 0 0 25 0 1 0 187203601 97071104 21890 1992294400 4194304 9342243 548682068736 18446744073709551615 6889027 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 23699 21890 702 1256 0 22438 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 94796

[startup+642.301 s]
/proc/loadavg: 1.05 1.06 1.01 2/65 4553
/proc/meminfo: memFree=1757472/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=96068 CPUtime=642.13
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 140192 0 0 0 64014 199 0 0 25 0 1 0 187203601 98373632 22620 1992294400 4194304 9342243 548682068736 18446744073709551615 6065012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 24017 22620 702 1256 0 22756 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 96068

[startup+702.302 s]

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

/proc/meminfo: memFree=1732440/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1062
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161705 0 0 0 105938 262 0 0 25 0 1 0 187203601 123301888 28887 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28887 707 1256 0 28842 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 120412

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732376/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1121.99
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161705 0 0 0 111930 269 0 0 25 0 1 0 187203601 123301888 28887 1992294400 4194304 9342243 548682068736 18446744073709551615 6974263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28887 707 1256 0 28842 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 120412

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732384/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1181.97
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161707 0 0 0 117921 276 0 0 25 0 1 0 187203601 123301888 28889 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28889 707 1256 0 28842 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 120412

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732320/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1241.96
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161707 0 0 0 123913 283 0 0 25 0 1 0 187203601 123301888 28889 1992294400 4194304 9342243 548682068736 18446744073709551615 6037524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28889 707 1256 0 28842 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 120412

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732320/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1301.95
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161707 0 0 0 129905 290 0 0 25 0 1 0 187203601 123301888 28889 1992294400 4194304 9342243 548682068736 18446744073709551615 5868529 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28889 707 1256 0 28842 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 120412

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732256/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1361.92
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161707 0 0 0 135896 296 0 0 25 0 1 0 187203601 123301888 28889 1992294400 4194304 9342243 548682068736 18446744073709551615 5868508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28889 707 1256 0 28842 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 120412

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732256/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1421.91
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161707 0 0 0 141887 304 0 0 25 0 1 0 187203601 123301888 28889 1992294400 4194304 9342243 548682068736 18446744073709551615 6957864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28889 707 1256 0 28842 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 120412

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732192/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1481.89
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161708 0 0 0 147879 310 0 0 25 0 1 0 187203601 123301888 28890 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28890 707 1256 0 28842 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 120412

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732256/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1541.88
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161708 0 0 0 153871 317 0 0 25 0 1 0 187203601 123301888 28890 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28890 707 1256 0 28842 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 120412

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732256/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1601.87
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161708 0 0 0 159863 324 0 0 25 0 1 0 187203601 123301888 28890 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28890 707 1256 0 28842 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 120412

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1732192/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120412 CPUtime=1661.85
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 161710 0 0 0 165853 332 0 0 25 0 1 0 187203601 123301888 28892 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30103 28892 707 1256 0 28842 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 120412

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1730592/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120724 CPUtime=1721.84
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 165449 0 0 0 171844 340 0 0 25 0 1 0 187203601 123621376 29232 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30181 29232 707 1256 0 28920 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 120724

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1730592/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120724 CPUtime=1781.81
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 165449 0 0 0 177834 347 0 0 25 0 1 0 187203601 123621376 29232 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30181 29232 707 1256 0 28920 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 120724

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1730592/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120724 CPUtime=1785.02
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 165449 0 0 0 178154 348 0 0 25 0 1 0 187203601 123621376 29232 1992294400 4194304 9342243 548682068736 18446744073709551615 6938997 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30181 29232 707 1256 0 28920 0
Current children cumulated CPU time (s) 1785.02
Current children cumulated vsize (KiB) 120724

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1730592/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120724 CPUtime=1791.42
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 165449 0 0 0 178794 348 0 0 25 0 1 0 187203601 123621376 29232 1992294400 4194304 9342243 548682068736 18446744073709551615 6974267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30181 29232 707 1256 0 28920 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 120724

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1730592/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120724 CPUtime=1793.01
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 165449 0 0 0 178953 348 0 0 25 0 1 0 187203601 123621376 29232 1992294400 4194304 9342243 548682068736 18446744073709551615 6918750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30181 29232 707 1256 0 28920 0
Current children cumulated CPU time (s) 1793.01
Current children cumulated vsize (KiB) 120724

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1730592/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120724 CPUtime=1793.81
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 165449 0 0 0 179033 348 0 0 25 0 1 0 187203601 123621376 29232 1992294400 4194304 9342243 548682068736 18446744073709551615 6889122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30181 29232 707 1256 0 28920 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 120724

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1730592/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120724 CPUtime=1794.22
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 165449 0 0 0 179073 349 0 0 25 0 1 0 187203601 123621376 29232 1992294400 4194304 9342243 548682068736 18446744073709551615 6909134 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4550/statm: 30181 29232 707 1256 0 28920 0
Current children cumulated CPU time (s) 1794.22
Current children cumulated vsize (KiB) 120724

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4559
/proc/meminfo: memFree=1730592/2055920 swapFree=4181536/4192956
[pid=4550] ppid=4548 vsize=120724 CPUtime=1794.62
/proc/4550/stat : 4550 (pbscip.linux.x8) R 4548 4550 4285 0 -1 4194304 165450 0 0 0 179113 349 0 0 25 0 1 0 187203601 123621376 29233 1992294400 4194304 9342243 548682068736 18446744073709551615 4318918 0 0 4096 0 0 0 0 17 1 0 0
/proc/4550/statm: 30181 29233 708 1256 0 28920 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 120724

Child status: 0
Real time (s): 1795.17
CPU time (s): 1794.7
CPU user time (s): 1791.19
CPU system time (s): 3.51047
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 134304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.19
system time used= 3.51047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165453
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= 2
involuntary context switches= 2823

runsolver used 1.42978 second user time and 3.57746 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-17 01:47:15
IDJOB=1870299
IDBENCH=48148
IDSOLVER=684
FILE ID=node19/1870299-1245196035
PBS_JOBID= 9368306
Free space on /tmp= 66160 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870299-1245196035/watcher-1870299-1245196035 -o /tmp/evaluation-result-1870299-1245196035/solver-1870299-1245196035 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870299-1245196035.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=1791965302

node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1846216 kB
Buffers:         43640 kB
Cached:         100784 kB
SwapCached:       6060 kB
Active:          90832 kB
Inactive:        62364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846216 kB
SwapTotal:     4192956 kB
SwapFree:      4181536 kB
Dirty:           11824 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            42456 kB
Committed_AS:   204172 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66148 MiB
End job on node19 at 2009-06-17 02:17:10