Trace number 2703204

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT13 1789.53 1790.15

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 benchmark13
Best CPU time to get the best result obtained on this benchmark1789.53
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.01	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2703204-1278566628.opb>
0.00/0.06	c original problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
0.00/0.06	c problem read
0.00/0.06	c presolving settings loaded
0.09/0.14	c presolving:
0.49/0.53	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.79/0.84	c    (0.8s) probing: 101/6426 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.84	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.79/0.84	c presolving (2 rounds):
0.79/0.84	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.84	c  415046 implications, 0 cliques
0.79/0.84	c presolved problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
0.79/0.84	c    6226 constraints of type <and>
0.79/0.84	c     200 constraints of type <logicor>
0.79/0.84	c transformed objective value is always integral (scale: 1)
0.79/0.84	c Presolving Time: 0.74
0.79/0.84	c - non default parameters ----------------------------------------------------------------------
0.79/0.84	c # SCIP version 1.2.1.3
0.79/0.84	c 
0.79/0.84	c # frequency for displaying node information lines
0.79/0.84	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.84	c display/freq = 10000
0.79/0.84	c 
0.79/0.84	c # maximal time in seconds to run
0.79/0.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.84	c limits/time = 1789.95
0.79/0.84	c 
0.79/0.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.84	c limits/memory = 1620
0.79/0.84	c 
0.79/0.84	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.84	c # [type: int, range: [1,2], default: 1]
0.79/0.84	c timing/clocktype = 2
0.79/0.84	c 
0.79/0.84	c # should presolving try to simplify inequalities
0.79/0.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.84	c constraints/linear/simplifyinequalities = TRUE
0.79/0.84	c 
0.79/0.84	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.79/0.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.84	c constraints/indicator/addCouplingCons = TRUE
0.79/0.84	c 
0.79/0.84	c # should presolving try to simplify knapsacks
0.79/0.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.84	c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.84	c 
0.79/0.84	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.79/0.84	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.84	c heuristics/undercover/freq = 0
0.79/0.84	c 
0.79/0.84	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.84	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.84	c separating/rapidlearning/freq = 0
0.79/0.84	c 
0.79/0.84	c -----------------------------------------------------------------------------------------------
0.79/0.84	c start solving
0.79/0.85	c 
0.99/1.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.99/1.03	c   1.0s|     1 |     0 |   400 |     - |  38M|   0 | 400 |6426 |6426 |6426 |  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.06	o 26
0.99/1.06	c s 1.0s|     1 |     0 |   400 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  12k|   0 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
3.89/3.93	c   3.9s|     1 |     0 |  1000 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  13k| 401 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
5.40/5.40	c   5.3s|     1 |     0 |  1600 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  13k| 803 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
6.89/6.91	c   6.8s|     1 |     0 |  2200 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  13k|1205 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
6.89/6.93	o 19
6.89/6.93	c s 6.9s|     1 |     0 |  2200 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  13k|1205 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
8.49/8.50	c   8.4s|     1 |     0 |  2802 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  14k|1609 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
10.18/10.29	c  10.2s|     1 |     0 |  3402 |     - |  40M|   0 | 400 |6426 |6426 |6426 |  14k|2013 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
10.29/10.32	o 16
10.29/10.32	c s10.3s|     1 |     0 |  3402 |     - |  40M|   0 | 400 |6426 |6426 |6426 |  14k|2013 |   0 |   0 | 0.000000e+00 | 1.600000e+01 |    Inf 
12.00/12.03	c  12.0s|     1 |     0 |  4003 |     - |  40M|   0 | 400 |6426 |6426 |6426 |  15k|2416 |   0 |   0 | 0.000000e+00 | 1.600000e+01 |    Inf 
13.10/13.14	c  13.1s|     1 |     2 |  4003 |     - |  40M|   0 | 400 |6426 |6426 |6426 |  15k|2416 |   0 |  10 | 0.000000e+00 | 1.600000e+01 |    Inf 
868.09/868.45	o 15
868.09/868.45	c f 868s|   248 |   249 |403272 |1616.5 |  42M|  34 |   - |6426 |6441 |6426 |6493 |  72k|  15 |1548 | 6.519375e+00 | 1.500000e+01 | 130.08%
889.68/890.03	o 14
889.68/890.03	c c 890s|   256 |   257 |413813 |1607.1 |  42M|  34 |   - |6426 |6441 |6426 |6168 |  73k|  15 |1572 | 6.519375e+00 | 1.400000e+01 | 114.74%
1372.32/1372.81	o 13
1372.32/1372.81	c c1373s|   484 |   485 |638887 |1314.5 |  44M|  39 |   - |6426 |6445 |6426 |6482 | 101k|  19 |2137 | 6.859023e+00 | 1.300000e+01 |  89.53%
1789.37/1790.02	c 
1789.37/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1789.37/1790.02	c Solving Time (sec) : 1789.96
1789.37/1790.02	c Solving Nodes      : 705
1789.37/1790.02	c Primal Bound       : +1.30000000000000e+01 (6 solutions)
1789.37/1790.02	c Dual Bound         : +6.95136365185571e+00
1789.37/1790.02	c Gap                : 87.01 %
1789.37/1790.03	s SATISFIABLE
1789.37/1790.03	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 x179 
1789.37/1790.03	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 
1789.37/1790.03	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 
1789.37/1790.03	v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 
1789.37/1790.03	v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 
1789.37/1790.03	v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 
1789.37/1790.03	v -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 
1789.37/1790.03	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 -x18 
1789.37/1790.03	v -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 
1789.37/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1789.37/1790.03	c Solving Time       :    1789.96
1789.37/1790.03	c Original Problem   :
1789.37/1790.03	c   Problem name     : HOME/instance-2703204-1278566628.opb
1789.37/1790.03	c   Variables        : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.37/1790.03	c   Constraints      : 6426 initial, 6426 maximal
1789.37/1790.03	c Presolved Problem  :
1789.37/1790.03	c   Problem name     : t_HOME/instance-2703204-1278566628.opb
1789.37/1790.03	c   Variables        : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.37/1790.03	c   Constraints      : 6426 initial, 6452 maximal
1789.37/1790.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.37/1790.03	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.37/1790.03	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.37/1790.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.37/1790.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.37/1790.03	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.37/1790.03	c   probing          :       0.23          0          0          0          0          0          0          0          0
1789.37/1790.03	c   and              :       0.45          0          0          0          0          0          0          0          0
1789.37/1790.03	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1789.37/1790.03	c   root node        :          -          0          -          -          0          -          -          -          -
1789.37/1790.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.37/1790.03	c   integral         :          0          0          0        705          0          0          0          0          0       1410
1789.37/1790.03	c   and              :       6226       3345      30353          0          0          6      41667     159708          0          0
1789.37/1790.03	c   logicor          :        200+         6       8700          0          0          5          0          0          0          0
1789.37/1790.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.37/1790.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.37/1790.03	c   integral         :     453.55       0.00       0.00     453.55       0.00
1789.37/1790.03	c   and              :      37.24      24.45      12.78       0.00       0.00
1789.37/1790.03	c   logicor          :       0.21       0.00       0.21       0.00       0.00
1789.37/1790.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.37/1790.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.37/1790.03	c   vbounds          :       0.02          2          0          0
1789.37/1790.03	c   rootredcost      :       0.03          4          0          0
1789.37/1790.03	c   pseudoobj        :       0.71      30236          1          0
1789.37/1790.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.37/1790.03	c   propagation      :       0.00         12         12         26       21.7          0        0.0          -
1789.37/1790.03	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.37/1790.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.37/1790.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.37/1790.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.37/1790.03	c   applied globally :          -          -          -         26       21.7          -          -          -
1789.37/1790.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.37/1790.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.37/1790.03	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 2416)
1789.37/1790.03	c   redcost          :       2.33       3345          0        291          0          0
1789.37/1790.03	c   impliedbounds    :       0.03          6          0          0       2400          0
1789.37/1790.03	c   intobj           :       0.00          0          0          0          0          0
1789.37/1790.03	c   cgmip            :       0.00          0          0          0          0          0
1789.37/1790.03	c   gomory           :       0.95          6          0          0       3000          0
1789.37/1790.03	c   strongcg         :       0.94          6          0          0       3000          0
1789.37/1790.03	c   cmir             :       4.91          6          0          0       2400          0
1789.37/1790.03	c   flowcover        :       1.26          6          0          0          0          0
1789.37/1790.03	c   clique           :       0.36          6          0          0         16          0
1789.37/1790.03	c   zerohalf         :       0.00          0          0          0          0          0
1789.37/1790.03	c   mcf              :       0.02          1          0          0          0          0
1789.37/1790.03	c   rapidlearning    :       1.12          1          0          0          0          0
1789.37/1790.03	c Pricers            :       Time      Calls       Vars
1789.37/1790.03	c   problem variables:       0.00          0          0
1789.37/1790.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.37/1790.03	c   relpscost        :     453.55        705          0          0          0          0       1410
1789.37/1790.03	c   pscost           :       0.00          0          0          0          0          0          0
1789.37/1790.03	c   inference        :       0.00          0          0          0          0          0          0
1789.37/1790.03	c   mostinf          :       0.00          0          0          0          0          0          0
1789.37/1790.03	c   leastinf         :       0.00          0          0          0          0          0          0
1789.37/1790.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.37/1790.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.37/1790.03	c   random           :       0.00          0          0          0          0          0          0
1789.37/1790.03	c Primal Heuristics  :       Time      Calls      Found
1789.37/1790.03	c   LP solutions     :       0.00          -          0
1789.37/1790.03	c   pseudo solutions :       0.00          -          0
1789.37/1790.03	c   oneopt           :       0.06          6          0
1789.37/1790.03	c   coefdiving       :     109.57         32          2
1789.37/1790.03	c   trivial          :       0.02          2          0
1789.37/1790.03	c   simplerounding   :       0.01          0          0
1789.37/1790.03	c   zirounding       :       1.04        704          0
1789.37/1790.03	c   rounding         :       5.13        836          0
1789.37/1790.03	c   shifting         :       4.01        432          3
1789.37/1790.03	c   intshifting      :       0.00          0          0
1789.37/1790.03	c   twoopt           :       0.00          0          0
1789.37/1790.03	c   fixandinfer      :       0.00          0          0
1789.37/1790.03	c   feaspump         :       0.00          0          0
1789.37/1790.03	c   pscostdiving     :      82.17         11          0
1789.37/1790.03	c   fracdiving       :     149.28         30          1
1789.37/1790.03	c   veclendiving     :      49.69         26          0
1789.37/1790.03	c   intdiving        :       0.00          0          0
1789.37/1790.03	c   actconsdiving    :       0.00          0          0
1789.37/1790.03	c   objpscostdiving  :      87.69          4          0
1789.37/1790.03	c   rootsoldiving    :      13.49          6          0
1789.37/1790.03	c   linesearchdiving :      71.96         16          0
1789.37/1790.03	c   guideddiving     :      82.10         13          0
1789.37/1790.03	c   octane           :       0.00          0          0
1789.37/1790.03	c   rens             :       0.56          1          0
1789.37/1790.03	c   rins             :       0.00          0          0
1789.37/1790.03	c   localbranching   :       0.00          0          0
1789.37/1790.03	c   mutation         :       0.00          0          0
1789.37/1790.03	c   crossover        :       1.01          2          0
1789.37/1790.03	c   dins             :       0.00          0          0
1789.37/1790.03	c   undercover       :       0.03          1          0
1789.37/1790.03	c   nlp              :       0.00          0          0
1789.37/1790.03	c   trysol           :       0.00          0          0
1789.37/1790.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.37/1790.03	c   primal LP        :       6.20          0          0       0.00       0.00
1789.37/1790.03	c   dual LP          :     605.78       3946     459658     116.49     758.79
1789.37/1790.03	c   lex dual LP      :       0.00          0          0       0.00          -
1789.37/1790.03	c   barrier LP       :       0.00          0          0       0.00          -
1789.37/1790.03	c   diving/probing LP:     564.48      14114     364473      25.82     645.67
1789.37/1790.03	c   strong branching :     452.44       2592     330815     127.63     731.19
1789.37/1790.03	c     (at root node) :          -         10        469      46.90          -
1789.37/1790.03	c   conflict analysis:       0.00          0          0       0.00          -
1789.37/1790.03	c B&B Tree           :
1789.37/1790.03	c   number of runs   :          1
1789.37/1790.03	c   nodes            :        705
1789.37/1790.03	c   nodes (total)    :        705
1789.37/1790.03	c   nodes left       :        706
1789.37/1790.03	c   max depth        :         44
1789.37/1790.03	c   max depth (total):         44
1789.37/1790.03	c   backtracks       :        173 (24.5%)
1789.37/1790.03	c   delayed cutoffs  :          0
1789.37/1790.03	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.37/1790.03	c   avg switch length:       5.38
1789.37/1790.03	c   switching time   :       7.23
1789.37/1790.03	c Solution           :
1789.37/1790.03	c   Solutions found  :          6 (6 improvements)
1789.37/1790.03	c   First Solution   : +2.60000000000000e+01   (in run 1, after 1 nodes, 0.98 seconds, depth 0, found by <shifting>)
1789.37/1790.03	c   Primal Bound     : +1.30000000000000e+01   (in run 1, after 484 nodes, 1372.74 seconds, depth 68, found by <coefdiving>)
1789.37/1790.03	c   Dual Bound       : +6.95136365185571e+00
1789.37/1790.03	c   Gap              :      87.01 %
1789.37/1790.03	c   Root Dual Bound  : +0.00000000000000e+00
1789.37/1790.03	c   Root Iterations  :       4003
1789.46/1790.15	c Time complete: 1789.52.

Verifier Data 

OK	13

Watcher Data 

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

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

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: 0.99 0.97 0.91 3/106 27549
/proc/meminfo: memFree=1671952/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=7904 CPUtime=0
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 1239 0 0 0 0 0 0 0 20 0 1 0 24876373 8093696 1151 1992294400 4194304 8395647 140735440257936 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27549/statm: 1976 1159 365 1026 0 946 0

[startup+0.097351 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27549
/proc/meminfo: memFree=1671952/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=27584 CPUtime=0.09
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 6496 0 0 0 7 2 0 0 20 0 1 0 24876373 28246016 6054 1992294400 4194304 8395647 140735440257936 18446744073709551615 4473477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 6896 6054 413 1026 0 5866 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27584

[startup+0.101352 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27549
/proc/meminfo: memFree=1671952/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=27980 CPUtime=0.09
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 6587 0 0 0 7 2 0 0 20 0 1 0 24876373 28651520 6145 1992294400 4194304 8395647 140735440257936 18446744073709551615 4449009 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 6995 6145 420 1026 0 5965 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27980

[startup+0.301392 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27549
/proc/meminfo: memFree=1671952/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=39368 CPUtime=0.29
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 9123 0 0 0 27 2 0 0 20 0 1 0 24876373 40312832 8681 1992294400 4194304 8395647 140735440257936 18446744073709551615 4564167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 9842 8681 454 1026 0 8812 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39368

[startup+0.701469 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27549
/proc/meminfo: memFree=1671952/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=49248 CPUtime=0.69
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 11705 0 0 0 66 3 0 0 20 0 1 0 24876373 50429952 11263 1992294400 4194304 8395647 140735440257936 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 12312 11263 487 1026 0 11282 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49248

[startup+1.50163 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27550
/proc/meminfo: memFree=1606224/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=76264 CPUtime=1.49
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 20887 0 0 0 142 7 0 0 22 0 1 0 24876373 78094336 17764 1992294400 4194304 8395647 140735440257936 18446744073709551615 6197339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 19066 17764 587 1026 0 18036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76264

[startup+3.10094 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27550
/proc/meminfo: memFree=1602132/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=120836 CPUtime=3.09
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 31573 0 0 0 297 12 0 0 25 0 1 0 24876373 123736064 28450 1992294400 4194304 8395647 140735440257936 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 30209 28450 605 1026 0 29179 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120836

[startup+6.30157 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27550
/proc/meminfo: memFree=1577456/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=101032 CPUtime=6.29
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 32610 0 0 0 598 31 0 0 25 0 1 0 24876373 103456768 24053 1992294400 4194304 8395647 140735440257936 18446744073709551615 6197311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 25258 24053 635 1026 0 24228 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101032

[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27550
/proc/meminfo: memFree=1577208/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=12.68
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37308 0 0 0 1233 35 0 0 25 0 1 0 24876373 102105088 24076 1992294400 4194304 8395647 140735440257936 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24076 614 1026 0 23898 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 99712

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27550
/proc/meminfo: memFree=1576596/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=25.48
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37312 0 0 0 2505 43 0 0 25 0 1 0 24876373 102105088 24080 1992294400 4194304 8395647 140735440257936 18446744073709551615 6585853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24080 617 1026 0 23898 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 99712

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27552
/proc/meminfo: memFree=1576596/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=51.07
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37317 0 0 0 5052 55 0 0 25 0 1 0 24876373 102105088 24085 1992294400 4194304 8395647 140735440257936 18446744073709551615 6622164 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24085 619 1026 0 23898 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99712

[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27552
/proc/meminfo: memFree=1576720/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=102.26
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37319 0 0 0 10145 81 0 0 25 0 1 0 24876373 102105088 24087 1992294400 4194304 8395647 140735440257936 18446744073709551615 4827907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24087 619 1026 0 23898 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 99712

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27554
/proc/meminfo: memFree=1576720/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=162.23
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37324 0 0 0 16118 105 0 0 25 0 1 0 24876373 102105088 24092 1992294400 4194304 8395647 140735440257936 18446744073709551615 6587234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24092 619 1026 0 23898 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 99712

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27556
/proc/meminfo: memFree=1576720/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=222.21
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37330 0 0 0 22090 131 0 0 25 0 1 0 24876373 102105088 24098 1992294400 4194304 8395647 140735440257936 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24098 624 1026 0 23898 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 99712

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27558
/proc/meminfo: memFree=1576720/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=282.19
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37330 0 0 0 28066 153 0 0 25 0 1 0 24876373 102105088 24098 1992294400 4194304 8395647 140735440257936 18446744073709551615 6697949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24098 624 1026 0 23898 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 99712

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27558
/proc/meminfo: memFree=1576720/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=342.17
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37333 0 0 0 34048 169 0 0 25 0 1 0 24876373 102105088 24101 1992294400 4194304 8395647 140735440257936 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24101 624 1026 0 23898 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 99712

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27560
/proc/meminfo: memFree=1576720/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=402.15
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37333 0 0 0 40023 192 0 0 25 0 1 0 24876373 102105088 24101 1992294400 4194304 8395647 140735440257936 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24101 624 1026 0 23898 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 99712

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27562
/proc/meminfo: memFree=1576720/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=462.13
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37335 0 0 0 45999 214 0 0 25 0 1 0 24876373 102105088 24103 1992294400 4194304 8395647 140735440257936 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24103 624 1026 0 23898 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 99712

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27564
/proc/meminfo: memFree=1576720/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=522.11
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37335 0 0 0 51977 234 0 0 25 0 1 0 24876373 102105088 24103 1992294400 4194304 8395647 140735440257936 18446744073709551615 6697997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24103 624 1026 0 23898 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 99712

[startup+582.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27566
/proc/meminfo: memFree=1576596/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=582.09
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37335 0 0 0 57954 255 0 0 25 0 1 0 24876373 102105088 24103 1992294400 4194304 8395647 140735440257936 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24103 624 1026 0 23898 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 99712

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27566
/proc/meminfo: memFree=1576596/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=99712 CPUtime=642.08
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 37335 0 0 0 63931 277 0 0 25 0 1 0 24876373 102105088 24103 1992294400 4194304 8395647 140735440257936 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 24928 24103 624 1026 0 23898 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 99712

[startup+702.301 s]

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

/proc/meminfo: memFree=1554028/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1001.94
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43070 0 0 0 99792 402 0 0 25 0 1 0 24876373 126984192 29838 1992294400 4194304 8395647 140735440257936 18446744073709551615 6744602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29838 642 1026 0 29972 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 124008

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27578
/proc/meminfo: memFree=1554028/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1061.92
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43070 0 0 0 105768 424 0 0 25 0 1 0 24876373 126984192 29838 1992294400 4194304 8395647 140735440257936 18446744073709551615 6697949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29838 642 1026 0 29972 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 124008

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27580
/proc/meminfo: memFree=1554028/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1121.9
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43070 0 0 0 111746 444 0 0 25 0 1 0 24876373 126984192 29838 1992294400 4194304 8395647 140735440257936 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29838 642 1026 0 29972 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 124008

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27582
/proc/meminfo: memFree=1554028/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1181.88
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43070 0 0 0 117723 465 0 0 25 0 1 0 24876373 126984192 29838 1992294400 4194304 8395647 140735440257936 18446744073709551615 6652668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29838 642 1026 0 29972 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 124008

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27582
/proc/meminfo: memFree=1553780/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1241.86
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43070 0 0 0 123700 486 0 0 25 0 1 0 24876373 126984192 29838 1992294400 4194304 8395647 140735440257936 18446744073709551615 6697989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29838 642 1026 0 29972 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 124008

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27584
/proc/meminfo: memFree=1553780/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1301.85
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43070 0 0 0 129677 508 0 0 25 0 1 0 24876373 126984192 29838 1992294400 4194304 8395647 140735440257936 18446744073709551615 4823074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29838 642 1026 0 29972 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 124008

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27586
/proc/meminfo: memFree=1553780/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1361.82
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43070 0 0 0 135651 531 0 0 25 0 1 0 24876373 126984192 29838 1992294400 4194304 8395647 140735440257936 18446744073709551615 6139216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29838 642 1026 0 29972 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 124008

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27588
/proc/meminfo: memFree=1553780/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1421.8
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43070 0 0 0 141631 549 0 0 25 0 1 0 24876373 126984192 29838 1992294400 4194304 8395647 140735440257936 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29838 642 1026 0 29972 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 124008

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27590
/proc/meminfo: memFree=1553780/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1481.78
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43074 0 0 0 147607 571 0 0 25 0 1 0 24876373 126984192 29842 1992294400 4194304 8395647 140735440257936 18446744073709551615 6744620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29842 642 1026 0 29972 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 124008

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27590
/proc/meminfo: memFree=1553408/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1541.75
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43141 0 0 0 153584 591 0 0 25 0 1 0 24876373 126984192 29909 1992294400 4194304 8395647 140735440257936 18446744073709551615 6741388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29909 642 1026 0 29972 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 124008

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27592
/proc/meminfo: memFree=1553408/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1601.73
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43141 0 0 0 159565 608 0 0 25 0 1 0 24876373 126984192 29909 1992294400 4194304 8395647 140735440257936 18446744073709551615 4823015 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29909 642 1026 0 29972 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 124008

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27594
/proc/meminfo: memFree=1553408/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1661.72
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43141 0 0 0 165543 629 0 0 25 0 1 0 24876373 126984192 29909 1992294400 4194304 8395647 140735440257936 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29909 642 1026 0 29972 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 124008

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27596
/proc/meminfo: memFree=1553408/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=124008 CPUtime=1721.7
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 43141 0 0 0 171519 651 0 0 25 0 1 0 24876373 126984192 29909 1992294400 4194304 8395647 140735440257936 18446744073709551615 6755514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 31002 29909 642 1026 0 29972 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 124008

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27598
/proc/meminfo: memFree=1547208/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=128236 CPUtime=1781.67
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 46182 0 0 0 177491 676 0 0 25 0 1 0 24876373 131313664 31255 1992294400 4194304 8395647 140735440257936 18446744073709551615 6755554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 32059 31255 642 1026 0 31029 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 128236

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

[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27598
/proc/meminfo: memFree=1547208/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=128236 CPUtime=1784.87
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 46182 0 0 0 177810 677 0 0 25 0 1 0 24876373 131313664 31255 1992294400 4194304 8395647 140735440257936 18446744073709551615 6663837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 32059 31255 642 1026 0 31029 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 128236

[startup+1788.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27598
/proc/meminfo: memFree=1547208/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=128236 CPUtime=1788.07
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 46182 0 0 0 178129 678 0 0 25 0 1 0 24876373 131313664 31255 1992294400 4194304 8395647 140735440257936 18446744073709551615 6622044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 32059 31255 642 1026 0 31029 0
Current children cumulated CPU time (s) 1788.07
Current children cumulated vsize (KiB) 128236

[startup+1789.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27598
/proc/meminfo: memFree=1547208/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=128236 CPUtime=1788.87
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 46182 0 0 0 178209 678 0 0 25 0 1 0 24876373 131313664 31255 1992294400 4194304 8395647 140735440257936 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 32059 31255 642 1026 0 31029 0
Current children cumulated CPU time (s) 1788.87
Current children cumulated vsize (KiB) 128236

[startup+1789.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27598
/proc/meminfo: memFree=1547208/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=128236 CPUtime=1789.27
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 46182 0 0 0 178249 678 0 0 25 0 1 0 24876373 131313664 31255 1992294400 4194304 8395647 140735440257936 18446744073709551615 6739144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27549/statm: 32059 31255 642 1026 0 31029 0
Current children cumulated CPU time (s) 1789.27
Current children cumulated vsize (KiB) 128236

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27598
/proc/meminfo: memFree=1547208/2059040 swapFree=4147384/4192956
[pid=27549] ppid=27547 vsize=128236 CPUtime=1789.46
/proc/27549/stat : 27549 (pbscip.linux.x8) R 27547 27549 27223 0 -1 4202496 46184 0 0 0 178268 678 0 0 25 0 1 0 24876373 131313664 31257 1992294400 4194304 8395647 140735440257936 18446744073709551615 6063840 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27549/statm: 32059 31257 644 1026 0 31029 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (KiB) 128236

Child status: 0
Real time (s): 1790.15
CPU time (s): 1789.53
CPU user time (s): 1782.73
CPU system time (s): 6.80396
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 136160

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

runsolver used 2.85057 second user time and 8.5527 second system time

The end

Launcher Data 

Begin job on node006 at 2010-07-08 07:23:48
IDJOB=2703204
IDBENCH=48148
IDSOLVER=1213
FILE ID=node006/2703204-1278566628
PBS_JOBID= 11239552
Free space on /tmp= 62580 MiB

SOLVER NAME= 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_5.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-2703204-1278566628/watcher-2703204-1278566628 -o /tmp/evaluation-result-2703204-1278566628/solver-2703204-1278566628 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703204-1278566628.opb -t 1800 -m 1800

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

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=1358481649

node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.269
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
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.269
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1672364 kB
Buffers:         70656 kB
Cached:         222800 kB
SwapCached:       4204 kB
Active:         148304 kB
Inactive:       163996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1672364 kB
SwapTotal:     4192956 kB
SwapFree:      4147384 kB
Dirty:           10460 kB
Writeback:           4 kB
AnonPages:       15740 kB
Mapped:          12200 kB
Slab:            52380 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62572 MiB
End job on node006 at 2010-07-08 07:53:38