Trace number 3736810

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT11 1789.78 1790.07

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
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 benchmark1789.78
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 constraint44
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)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

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 SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3736810-1338707936.opb>
0.00/0.02	c original problem has 6404 variables (6404 bin, 0 int, 0 impl, 0 cont) and 6404 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.04/0.05	c presolving:
0.09/0.18	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 411740 impls, 0 clqs
0.19/0.25	c    (0.2s) probing: 101/6404 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.25	c presolving (2 rounds):
0.19/0.25	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25	c  411740 implications, 0 cliques
0.19/0.25	c presolved problem has 6404 variables (6404 bin, 0 int, 0 impl, 0 cont) and 6404 constraints
0.19/0.25	c    6204 constraints of type <and>
0.19/0.25	c     200 constraints of type <logicor>
0.19/0.25	c transformed objective value is always integral (scale: 1)
0.19/0.25	c Presolving Time: 0.21
0.19/0.25	c - non default parameters ----------------------------------------------------------------------
0.19/0.25	c # SCIP version 1.2.1.3
0.19/0.25	c 
0.19/0.25	c # frequency for displaying node information lines
0.19/0.25	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25	c display/freq = 10000
0.19/0.25	c 
0.19/0.25	c # maximal time in seconds to run
0.19/0.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25	c limits/time = 1789.98
0.19/0.25	c 
0.19/0.25	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25	c limits/memory = 13950
0.19/0.25	c 
0.19/0.25	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.25	c # [type: int, range: [1,2], default: 1]
0.19/0.25	c timing/clocktype = 2
0.19/0.25	c 
0.19/0.25	c # should presolving try to simplify inequalities
0.19/0.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25	c constraints/linear/simplifyinequalities = TRUE
0.19/0.25	c 
0.19/0.25	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25	c constraints/indicator/addCouplingCons = TRUE
0.19/0.25	c 
0.19/0.25	c # should presolving try to simplify knapsacks
0.19/0.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25	c 
0.19/0.25	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.25	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25	c heuristics/undercover/freq = 0
0.19/0.25	c 
0.19/0.25	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.25	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25	c separating/rapidlearning/freq = 0
0.19/0.25	c 
0.19/0.25	c -----------------------------------------------------------------------------------------------
0.19/0.25	c start solving
0.19/0.25	c 
0.29/0.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.29/0.32	c   0.3s|     1 |     0 |   400 |     - |  38M|   0 | 400 |6404 |6404 |6404 |  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.09/3.19	o 18
3.09/3.19	c y 3.2s|     1 |     0 |  8498 |     - |  39M|   0 | 400 |6404 |6404 |6404 |  12k|   0 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
3.20/3.28	c   3.3s|     1 |     0 |  9098 |     - |  40M|   0 | 400 |6404 |6872 |6404 |  13k| 403 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
3.79/3.84	c   3.8s|     1 |     0 |  9698 |     - |  40M|   0 | 400 |6404 |6872 |6404 |  13k| 803 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
4.40/4.41	c   4.4s|     1 |     0 | 10299 |     - |  41M|   0 | 400 |6404 |6872 |6404 |  13k|1205 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
4.99/5.02	c   5.0s|     1 |     0 | 10899 |     - |  41M|   0 | 400 |6404 |6872 |6404 |  14k|1610 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
5.59/5.64	c   5.6s|     1 |     0 | 11499 |     - |  41M|   0 | 400 |6404 |6872 |6404 |  14k|2014 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
6.29/6.30	c   6.3s|     1 |     0 | 12099 |     - |  41M|   0 | 400 |6404 |6872 |6404 |  15k|2417 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
6.69/6.71	c   6.7s|     1 |     2 | 12099 |     - |  41M|   0 | 400 |6404 |6872 |6404 |  15k|2417 |   0 |  10 | 0.000000e+00 | 1.800000e+01 |    Inf 
986.13/986.35	o 12
986.13/986.35	c * 986s|  1420 |  1215 |  1238k| 864.3 |  49M|  61 |   - |6404 |6891 |6404 |6817 | 165k|  29 |3846 | 6.977452e+00 | 1.200000e+01 |  71.98%
1736.62/1736.93	o 11
1736.62/1736.93	c *1737s|  4477 |  1796 |  2084k| 462.9 |  55M|  63 |   - |6404 |6844 |6404 |6495 | 259k|  29 |7189 | 7.103823e+00 | 1.100000e+01 |  54.85%
1789.70/1790.00	c 
1789.70/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1789.70/1790.00	c Solving Time (sec) : 1789.98
1789.70/1790.00	c Solving Nodes      : 4922
1789.70/1790.00	c Primal Bound       : +1.10000000000000e+01 (3 solutions)
1789.70/1790.00	c Dual Bound         : +7.10602163724458e+00
1789.70/1790.00	c Gap                : 54.80 %
1789.70/1790.01	s SATISFIABLE
1789.70/1790.01	v -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1789.70/1790.01	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 
1789.70/1790.01	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 
1789.70/1790.01	v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 
1789.70/1790.01	v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1789.70/1790.01	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 
1789.70/1790.01	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 
1789.70/1790.01	v -x44 -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 
1789.70/1790.01	v -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 
1789.70/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.70/1790.01	c Solving Time       :    1789.98
1789.70/1790.01	c Original Problem   :
1789.70/1790.01	c   Problem name     : HOME/instance-3736810-1338707936.opb
1789.70/1790.01	c   Variables        : 6404 (6404 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.01	c   Constraints      : 6404 initial, 6404 maximal
1789.70/1790.01	c Presolved Problem  :
1789.70/1790.01	c   Problem name     : t_HOME/instance-3736810-1338707936.opb
1789.70/1790.01	c   Variables        : 6404 (6404 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.01	c   Constraints      : 6404 initial, 6901 maximal
1789.70/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.70/1790.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.01	c   probing          :       0.04          0          0          0          0          0          0          0          0
1789.70/1790.01	c   and              :       0.15          0          0          0          0          0          0          0          0
1789.70/1790.01	c   linear           :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1789.70/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.70/1790.01	c   integral         :          0          0          0       4131          0          8        372          0          0       8044
1789.70/1790.01	c   and              :       6204      17193      58159          2          1          4     854346     312018          0          0
1789.70/1790.01	c   linear           :          0+         6      38246          0          0          0          0          0          0          0
1789.70/1790.01	c   logicor          :        200+         6      19184          2          1          0          0          0          0          0
1789.70/1790.01	c   countsols        :          0          0          0          2          1          0          0          0          0          0
1789.70/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.70/1790.01	c   integral         :     448.39       0.00       0.00     448.39       0.00
1789.70/1790.01	c   and              :      64.07      52.01      12.06       0.00       0.00
1789.70/1790.01	c   linear           :       1.35       0.00       1.34       0.00       0.00
1789.70/1790.01	c   logicor          :       0.20       0.00       0.20       0.00       0.00
1789.70/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.70/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.70/1790.01	c   vbounds          :       0.02          2          0          0
1789.70/1790.01	c   rootredcost      :       0.02          3          0          0
1789.70/1790.01	c   pseudoobj        :       0.36      58120          4          0
1789.70/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.70/1790.01	c   propagation      :       0.00          8          8         39       81.6          0        0.0          -
1789.70/1790.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.70/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.70/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.70/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.70/1790.01	c   applied globally :          -          -          -         29       67.7          -          -          -
1789.70/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.70/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.70/1790.01	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 2417)
1789.70/1790.01	c   redcost          :       1.55      17208          0      44415          0          0
1789.70/1790.01	c   impliedbounds    :       0.01          6          0          0       2400          0
1789.70/1790.01	c   intobj           :       0.00          0          0          0          0          0
1789.70/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1789.70/1790.01	c   gomory           :       0.34          6          0          0       3000          0
1789.70/1790.01	c   strongcg         :       0.34          6          0          0       3000          0
1789.70/1790.01	c   cmir             :       1.80          6          0          0       2400          0
1789.70/1790.01	c   flowcover        :       0.56          6          0          0          0          0
1789.70/1790.01	c   clique           :       0.12          6          0          0         17          0
1789.70/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1789.70/1790.01	c   mcf              :       0.01          1          0          0          0          0
1789.70/1790.01	c   rapidlearning    :       0.91          1          0          0          0        468
1789.70/1790.01	c Pricers            :       Time      Calls       Vars
1789.70/1790.01	c   problem variables:       0.00          0          0
1789.70/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.70/1790.01	c   relpscost        :     448.39       4129          8        372          0          0       8044
1789.70/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1789.70/1790.01	c   inference        :       0.00          1          0          0          0          0          2
1789.70/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1789.70/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1789.70/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.70/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.70/1790.01	c   random           :       0.00          0          0          0          0          0          0
1789.70/1790.01	c Primal Heuristics  :       Time      Calls      Found
1789.70/1790.01	c   LP solutions     :       0.02          -          2
1789.70/1790.01	c   pseudo solutions :       0.00          -          0
1789.70/1790.01	c   oneopt           :       0.02          3          0
1789.70/1790.01	c   crossover        :       0.10          1          0
1789.70/1790.01	c   objpscostdiving  :      68.62          2          0
1789.70/1790.01	c   rootsoldiving    :      13.17         16          0
1789.70/1790.01	c   pscostdiving     :      50.63         38          0
1789.70/1790.01	c   fracdiving       :      57.83         38          0
1789.70/1790.01	c   linesearchdiving :      48.62         39          0
1789.70/1790.01	c   guideddiving     :      53.96         39          0
1789.70/1790.01	c   coefdiving       :      40.86         39          0
1789.70/1790.01	c   veclendiving     :      24.09         45          0
1789.70/1790.01	c   trivial          :       0.01          2          0
1789.70/1790.01	c   simplerounding   :       0.01          0          0
1789.70/1790.01	c   zirounding       :       0.44       1000          0
1789.70/1790.01	c   rounding         :       2.75       1920          0
1789.70/1790.01	c   shifting         :       1.21        639          0
1789.70/1790.01	c   intshifting      :       0.00          0          0
1789.70/1790.01	c   twoopt           :       0.00          0          0
1789.70/1790.01	c   fixandinfer      :       0.00          0          0
1789.70/1790.01	c   feaspump         :      20.08          8          0
1789.70/1790.01	c   intdiving        :       0.00          0          0
1789.70/1790.01	c   actconsdiving    :       0.00          0          0
1789.70/1790.01	c   octane           :       0.00          0          0
1789.70/1790.01	c   rens             :       0.22          1          0
1789.70/1790.01	c   rins             :       0.00          0          0
1789.70/1790.01	c   localbranching   :       0.00          0          0
1789.70/1790.01	c   mutation         :       0.00          0          0
1789.70/1790.01	c   dins             :       0.00          0          0
1789.70/1790.01	c   undercover       :       0.01          1          0
1789.70/1790.01	c   nlp              :       0.00          0          0
1789.70/1790.01	c   trysol           :       0.01          0          0
1789.70/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.70/1790.01	c   primal LP        :      12.29          0          0       0.00       0.00
1789.70/1790.01	c   dual LP          :     833.74      20565    1587810      77.21    1904.45
1789.70/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1789.70/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1789.70/1790.01	c   diving/probing LP:     335.21      19465     573114      29.44    1709.71
1789.70/1790.01	c   strong branching :     446.20       7190     853389     118.69    1912.58
1789.70/1790.01	c     (at root node) :          -         10        477      47.70          -
1789.70/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1789.70/1790.01	c B&B Tree           :
1789.70/1790.01	c   number of runs   :          1
1789.70/1790.01	c   nodes            :       4922
1789.70/1790.01	c   nodes (total)    :       4922
1789.70/1790.01	c   nodes left       :       1883
1789.70/1790.01	c   max depth        :         63
1789.70/1790.01	c   max depth (total):         63
1789.70/1790.01	c   backtracks       :        784 (15.9%)
1789.70/1790.01	c   delayed cutoffs  :          0
1789.70/1790.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.70/1790.01	c   avg switch length:       5.52
1789.70/1790.01	c   switching time   :      17.39
1789.70/1790.01	c Solution           :
1789.70/1790.01	c   Solutions found  :          3 (3 improvements)
1789.70/1790.01	c   First Solution   : +1.80000000000000e+01   (in run 1, after 1 nodes, 3.16 seconds, depth 0, found by <trysol>)
1789.70/1790.01	c   Primal Bound     : +1.10000000000000e+01   (in run 1, after 4477 nodes, 1736.89 seconds, depth 16, found by <relaxation>)
1789.70/1790.01	c   Dual Bound       : +7.10602163724458e+00
1789.70/1790.01	c   Gap              :      54.80 %
1789.70/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1789.70/1790.01	c   Root Iterations  :      12099
1789.70/1790.07	c Time complete: 1789.78.

Verifier Data 

OK	11

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-3736810-1338707936/watcher-3736810-1338707936 -o /tmp/evaluation-result-3736810-1338707936/solver-3736810-1338707936 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3736810-1338707936.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24788
/proc/meminfo: memFree=28327468/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=10508 CPUtime=0 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 1860 0 0 0 0 0 0 0 20 0 1 0 336918086 10760192 1806 33554432000 4194304 8395647 140735195723520 140735195655576 7355228 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 2627 1807 394 1026 0 1597 0

[startup+0.04677 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24788
/proc/meminfo: memFree=28327468/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=28100 CPUtime=0.04 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 6575 0 0 0 3 1 0 0 20 0 1 0 336918086 28774400 6167 33554432000 4194304 8395647 140735195723520 140735195655576 4601776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 7319 6181 435 1026 0 6289 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28100

[startup+0.100352 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24788
/proc/meminfo: memFree=28327468/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=38236 CPUtime=0.09 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 8790 0 0 0 8 1 0 0 20 0 1 0 336918086 39153664 8382 33554432000 4194304 8395647 140735195723520 140735195655576 4743382 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 9559 8382 454 1026 0 8529 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38236

[startup+0.300278 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24788
/proc/meminfo: memFree=28327468/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=72896 CPUtime=0.29 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 17642 0 0 0 27 2 0 0 20 0 1 0 336918086 74645504 16947 33554432000 4194304 8395647 140735195723520 140735195655576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 18224 16947 558 1026 0 17194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72896

[startup+0.700285 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24788
/proc/meminfo: memFree=28327468/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=77464 CPUtime=0.69 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 18496 0 0 0 66 3 0 0 20 0 1 0 336918086 79323136 17688 33554432000 4194304 8395647 140735195723520 140735195655576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 19366 17688 571 1026 0 18336 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77464

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24789
/proc/meminfo: memFree=28257524/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=79296 CPUtime=1.49 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 19144 0 0 0 145 4 0 0 20 0 1 0 336918086 81199104 18286 33554432000 4194304 8395647 140735195723520 140735195718040 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 19824 18286 571 1026 0 18794 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79296

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24789
/proc/meminfo: memFree=28256392/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=126788 CPUtime=3.09 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 33895 0 0 0 295 14 0 0 20 0 1 0 336918086 129830912 30016 33554432000 4194304 8395647 140735195723520 140735195718152 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 31697 30016 613 1026 0 30667 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 126788

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24789
/proc/meminfo: memFree=28205464/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=6.29 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 34975 0 0 0 614 15 0 0 20 0 1 0 336918086 131772416 30830 33554432000 4194304 8395647 140735195723520 140735195718808 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 30830 619 1026 0 31141 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 128684

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24789
/proc/meminfo: memFree=28204384/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=12.69 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35408 0 0 0 1251 18 0 0 20 0 1 0 336918086 131772416 31263 33554432000 4194304 8395647 140735195723520 140735195718392 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31263 623 1026 0 31141 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 128684

[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24789
/proc/meminfo: memFree=28204924/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=25.48 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35409 0 0 0 2527 21 0 0 20 0 1 0 336918086 131772416 31264 33554432000 4194304 8395647 140735195723520 140735195718648 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31264 623 1026 0 31141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 128684

[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 24789
/proc/meminfo: memFree=28205048/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=51.08 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35410 0 0 0 5077 31 0 0 20 0 1 0 336918086 131772416 31265 33554432000 4194304 8395647 140735195723520 140735195718728 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31265 623 1026 0 31141 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128684

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24792
/proc/meminfo: memFree=28205208/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=102.28 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35412 0 0 0 10188 40 0 0 20 0 1 0 336918086 131772416 31596 33554432000 4194304 8395647 140735195723520 140735195719000 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31596 623 1026 0 31141 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 128684

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 24944
/proc/meminfo: memFree=28173784/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=162.26 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35427 0 0 0 16172 54 0 0 20 0 1 0 336918086 131772416 31686 33554432000 4194304 8395647 140735195723520 140735195718824 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31686 623 1026 0 31141 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 128684

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24944
/proc/meminfo: memFree=28165288/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=222.25 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35427 0 0 0 22155 70 0 0 20 0 1 0 336918086 131772416 31686 33554432000 4194304 8395647 140735195723520 140735195718760 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31686 623 1026 0 31141 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 128684

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24945
/proc/meminfo: memFree=28157340/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=282.24 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 28136 88 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718760 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 128684

[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 24945
/proc/meminfo: memFree=28156536/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=342.23 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 34118 105 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718760 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 128684

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24945
/proc/meminfo: memFree=28151000/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=402.22 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 40102 120 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718760 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 128684

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24945
/proc/meminfo: memFree=28149128/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=462.21 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 46086 135 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718776 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 128684

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24945
/proc/meminfo: memFree=28149252/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=522.2 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 52069 151 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718936 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 128684

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24946
/proc/meminfo: memFree=28148260/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=582.19 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 58055 164 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718648 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 128684

[startup+642.3 s]

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

/proc/meminfo: memFree=28135628/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=1062.12 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 105933 279 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718984 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 128684

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24950
/proc/meminfo: memFree=28135380/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=1122.11 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 111919 292 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718328 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 128684

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24951
/proc/meminfo: memFree=28135136/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=1182.1 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 117905 305 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718824 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 128684

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24951
/proc/meminfo: memFree=28134392/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=128684 CPUtime=1242.09 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 35428 0 0 0 123888 321 0 0 20 0 1 0 336918086 131772416 31687 33554432000 4194304 8395647 140735195723520 140735195718984 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32171 31687 623 1026 0 31141 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 128684

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24954
/proc/meminfo: memFree=28128316/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=131668 CPUtime=1302.09 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 36199 0 0 0 129876 333 0 0 20 0 1 0 336918086 134828032 32465 33554432000 4194304 8395647 140735195723520 140735195718648 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 32917 32465 623 1026 0 31887 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 131668

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24954
/proc/meminfo: memFree=28125504/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=135072 CPUtime=1362.07 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 37028 0 0 0 135858 349 0 0 20 0 1 0 336918086 138313728 33292 33554432000 4194304 8395647 140735195723520 140735195718824 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 33768 33292 623 1026 0 32738 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 135072

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24954
/proc/meminfo: memFree=28120916/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=138996 CPUtime=1422.07 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 38009 0 0 0 141843 364 0 0 20 0 1 0 336918086 142331904 34273 33554432000 4194304 8395647 140735195723520 140735195719128 6723586 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 34749 34273 623 1026 0 33719 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 138996

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24955
/proc/meminfo: memFree=28113596/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=144116 CPUtime=1482.05 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 39290 0 0 0 147824 381 0 0 20 0 1 0 336918086 147574784 35554 33554432000 4194304 8395647 140735195723520 140735195718392 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 36029 35554 623 1026 0 34999 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 144116

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24955
/proc/meminfo: memFree=28108884/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=146048 CPUtime=1542.04 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 39797 0 0 0 153809 395 0 0 20 0 1 0 336918086 149553152 36061 33554432000 4194304 8395647 140735195723520 140735195718392 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 36512 36061 623 1026 0 35482 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 146048

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24955
/proc/meminfo: memFree=28103676/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=151296 CPUtime=1602.03 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 41086 0 0 0 159793 410 0 0 20 0 1 0 336918086 154927104 37343 33554432000 4194304 8395647 140735195723520 140735195719080 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 37824 37343 623 1026 0 36794 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 151296

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24955
/proc/meminfo: memFree=28100704/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=154336 CPUtime=1662.03 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 41851 0 0 0 165777 426 0 0 20 0 1 0 336918086 158040064 38108 33554432000 4194304 8395647 140735195723520 140735195719128 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 38584 38108 623 1026 0 37554 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 154336

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24955
/proc/meminfo: memFree=28096796/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=158032 CPUtime=1722.01 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 42789 0 0 0 171759 442 0 0 20 0 1 0 336918086 161824768 39046 33554432000 4194304 8395647 140735195723520 140735195718392 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 39508 39046 623 1026 0 38478 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 158032

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24956
/proc/meminfo: memFree=28091140/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=162540 CPUtime=1782 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 50441 0 0 0 177740 460 0 0 20 0 1 0 336918086 166440960 40103 33554432000 4194304 8395647 140735195723520 140735195718744 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 40635 40103 640 1026 0 39605 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 162540

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24956
/proc/meminfo: memFree=28091264/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=162540 CPUtime=1785.2 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 50442 0 0 0 178059 461 0 0 20 0 1 0 336918086 166440960 40104 33554432000 4194304 8395647 140735195723520 140735195718648 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 40635 40104 640 1026 0 39605 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 162540

[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24956
/proc/meminfo: memFree=28091264/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=162540 CPUtime=1786.8 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 50443 0 0 0 178219 461 0 0 20 0 1 0 336918086 166440960 40105 33554432000 4194304 8395647 140735195723520 140735195719080 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 40635 40105 640 1026 0 39605 0
Current children cumulated CPU time (s) 1786.8
Current children cumulated vsize (KiB) 162540

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24956
/proc/meminfo: memFree=28090768/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=162796 CPUtime=1788.4 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 50578 0 0 0 178379 461 0 0 20 0 1 0 336918086 166703104 40240 33554432000 4194304 8395647 140735195723520 140735195718984 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 40699 40240 640 1026 0 39669 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 162796

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24956
/proc/meminfo: memFree=28090768/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=162796 CPUtime=1789.2 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 50579 0 0 0 178459 461 0 0 20 0 1 0 336918086 166703104 40241 33554432000 4194304 8395647 140735195723520 140735195718648 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 40699 40241 640 1026 0 39669 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 162796

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24956
/proc/meminfo: memFree=28090768/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=162796 CPUtime=1789.6 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 50605 0 0 0 178499 461 0 0 20 0 1 0 336918086 166703104 40267 33554432000 4194304 8395647 140735195723520 140735195718328 6741746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 40699 40267 640 1026 0 39669 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 162796

[startup+1790 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24956
/proc/meminfo: memFree=28090768/32873648 swapFree=7388/7388
[pid=24788] ppid=24786 vsize=162796 CPUtime=1789.7 cores=1,3,5,7
/proc/24788/stat : 24788 (pbscip.linux.x8) R 24786 24788 21664 0 -1 4202496 50605 0 0 0 178509 461 0 0 20 0 1 0 336918086 166703104 40267 33554432000 4194304 8395647 140735195723520 140735195718328 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24788/statm: 40699 40267 640 1026 0 39669 0
Current children cumulated CPU time (s) 1789.7
Current children cumulated vsize (KiB) 162796

Child status: 0
Real time (s): 1790.07
CPU time (s): 1789.78
CPU user time (s): 1785.16
CPU system time (s): 4.6223
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 186972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.16
system time used= 4.6223
maximum resident set size= 184524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50610
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= 33
involuntary context switches= 1841

runsolver used 2.81657 second user time and 8.82866 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-03 09:18:56
IDJOB=3736810
IDBENCH=48128
IDSOLVER=2326
FILE ID=node148/3736810-1338707936
RUNJOBID= node148-1338678625-21684
PBS_JOBID= 14636665
Free space on /tmp= 71320 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736810-1338707936/watcher-3736810-1338707936 -o /tmp/evaluation-result-3736810-1338707936/solver-3736810-1338707936 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3736810-1338707936.opb -t 1800 -m 15500

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=293161625

node148.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		: 2667.284
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	: 5334.56
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		: 2667.284
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.94
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		: 2667.284
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.92
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		: 2667.284
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		: 2667.284
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.90
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		: 2667.284
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		: 2667.284
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.90
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		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28327848 kB
Buffers:          590780 kB
Cached:          2889384 kB
SwapCached:          628 kB
Active:          1578664 kB
Inactive:        2061396 kB
Active(anon):     149404 kB
Inactive(anon):    10660 kB
Active(file):    1429260 kB
Inactive(file):  2050736 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:             10448 kB
Writeback:             0 kB
AnonPages:        164052 kB
Mapped:            13480 kB
Shmem:                36 kB
Slab:             766336 kB
SReclaimable:     210492 kB
SUnreclaim:       555844 kB
KernelStack:        1472 kB
PageTables:         4324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     273860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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= 71312 MiB
End job on node148 at 2012-06-03 09:48:46