Trace number 3452379

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4SAT-15 1799.97 1800.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_1.opb
MD5SUMfd0cd32338d58e5da2d0a0f96e14ad7d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1797.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

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 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3452379-1307110586.opb>
0.00/0.01	c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	o 0
0.00/0.02	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.00/0.02	c presolving:
0.00/0.06	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24504 impls, 200 clqs
0.09/0.11	c    (0.1s) probing: 101/3238 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11	c presolving (2 rounds):
0.09/0.11	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11	c  24504 implications, 200 cliques
0.09/0.11	c presolved problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3339 constraints
0.09/0.11	c     300 constraints of type <setppc>
0.09/0.11	c    3038 constraints of type <and>
0.09/0.11	c       1 constraints of type <linear>
0.09/0.11	c transformed objective value is always integral (scale: 1)
0.09/0.11	c Presolving Time: 0.10
0.09/0.11	c - non default parameters ----------------------------------------------------------------------
0.09/0.11	c # SCIP version 2.0.1.4
0.09/0.11	c 
0.09/0.11	c # frequency for displaying node information lines
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11	c display/freq = 10000
0.09/0.11	c 
0.09/0.11	c # maximal time in seconds to run
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/time = 1800
0.09/0.11	c 
0.09/0.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/memory = 13950
0.09/0.11	c 
0.09/0.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11	c # [type: int, range: [1,2], default: 1]
0.09/0.11	c timing/clocktype = 2
0.09/0.11	c 
0.09/0.11	c # belongs reading time to solving time?
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c timing/reading = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify inequalities
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/linear/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/indicator/addCouplingCons = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify knapsacks
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.11	c 
1.11/1.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.11/1.16	c t 1.2s|     1 |     0 |  4238 |     - |  14M|   0 |1329 |3238 |3339 |3238 |6377 |   0 |   0 |   0 |-5.000000e+01 | 0.000000e+00 | 100.00%
1.11/1.16	o -5
1.11/1.16	c s 1.2s|     1 |     0 |  4238 |     - |  14M|   0 |1329 |3238 |3339 |3238 |6377 |   0 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
1.29/1.30	o -6
1.29/1.30	c U 1.3s|     1 |     0 |  4238 |     - |  14M|   0 |1329 |3238 |3339 |3238 |6377 |   0 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
2.89/2.94	c   2.9s|     1 |     0 |  6596 |     - |  14M|   0 |1469 |3238 |3340 |3238 |6418 |  41 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
3.59/3.62	c   3.6s|     1 |     0 |  7492 |     - |  15M|   0 |1232 |3238 |3340 |3238 |6437 |  60 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
4.49/4.59	c   4.6s|     1 |     0 |  9514 |     - |  15M|   0 |1595 |3238 |3340 |3238 |6449 |  72 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
5.59/5.65	c   5.6s|     1 |     0 | 11126 |     - |  15M|   0 |1631 |3238 |3340 |3238 |6475 |  98 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
6.60/6.66	c   6.7s|     1 |     0 | 12117 |     - |  16M|   0 |1606 |3238 |3340 |3238 |6485 | 108 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
7.49/7.55	c   7.6s|     1 |     0 | 12861 |     - |  16M|   0 |1653 |3238 |3340 |3238 |6496 | 119 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
7.99/8.10	c   8.1s|     1 |     0 | 13456 |     - |  16M|   0 |1655 |3238 |3340 |3238 |6502 | 125 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
15.09/15.12	c  15.1s|     1 |     2 | 13456 |     - |  16M|   0 |1655 |3238 |3340 |3238 |6502 | 125 |   0 |  15 |-5.000000e+01 |-6.000000e+00 |  88.00%
86.36/86.50	o -13
86.36/86.50	c p86.5s|    11 |    12 |223517 |21006.1 |  16M|   5 |   - |3238 |3344 |3238 |2852 |3172 |   4 | 153 |-4.978682e+01 |-1.300000e+01 |  73.89%
850.69/850.83	o -14
850.69/850.83	c l 851s|   525 |   526 |  3106k|5902.9 |  20M|  45 |   - |3238 |3501 |3238 |3091 |  26k| 169 | 809 |-4.029423e+01 |-1.400000e+01 |  65.26%
1440.00/1440.16	o -15
1440.00/1440.16	c l1440s|  1871 |  1823 |  5501k|2934.7 |  33M|  71 |   - |3238 |3537 |3238 |3492 |  49k| 233 |1153 |-3.970614e+01 |-1.500000e+01 |  62.22%
1799.91/1800.00	c 
1799.91/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1799.91/1800.00	c Solving Time (sec) : 1800.01
1799.91/1800.00	c Solving Nodes      : 2907
1799.91/1800.00	c Primal Bound       : -1.50000000000000e+01 (13 solutions)
1799.91/1800.00	c Dual Bound         : -3.88510646278909e+01
1799.91/1800.00	c Gap                : 61.39 %
1799.91/1800.00	s SATISFIABLE
1799.91/1800.00	v -x162 -x111 -x139 -x121 -x180 -x119 -x108 -x154 -x172 -x132 -x190 -x166 -x129 -x153 -x198 -x113 x140 x200 x155 -x189 -x179 x156 
1799.91/1800.00	v x152 -x149 -x109 -x188 -x151 -x144 -x165 -x135 -x115 -x146 -x147 -x126 -x106 -x182 -x197 -x102 x195 -x161 -x133 -x105 -x104 
1799.91/1800.00	v x192 x114 -x171 x125 -x138 -x185 -x174 -x143 -x157 -x170 -x159 -x123 -x103 -x101 -x199 -x196 -x186 -x181 -x177 -x176 -x175 -x167 
1799.91/1800.00	v -x158 x148 x145 -x142 -x134 -x120 -x118 -x117 x110 -x107 -x124 -x131 x183 -x130 -x168 x169 -x112 -x137 -x173 -x141 -x127 
1799.91/1800.00	v -x164 -x160 -x191 -x128 -x163 -x122 -x150 -x193 -x136 x194 -x116 -x178 -x187 -x184 -x100 -x99 x98 x97 x96 -x95 -x94 -x93 -x92 
1799.91/1800.00	v -x91 -x90 x89 -x88 x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 
1799.91/1800.00	v -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 
1799.91/1800.00	v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 
1799.91/1800.01	v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1799.91/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1799.91/1800.01	c Total Time         :    1800.01
1799.91/1800.01	c   solving          :    1800.01
1799.91/1800.01	c   presolving       :       0.10 (included in solving)
1799.91/1800.01	c   reading          :       0.01 (included in solving)
1799.91/1800.01	c Original Problem   :
1799.91/1800.01	c   Problem name     : HOME/instance-3452379-1307110586.opb
1799.91/1800.01	c   Variables        : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.01	c   Constraints      : 301 initial, 301 maximal
1799.91/1800.01	c Presolved Problem  :
1799.91/1800.01	c   Problem name     : t_HOME/instance-3452379-1307110586.opb
1799.91/1800.01	c   Variables        : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.01	c   Constraints      : 3339 initial, 3547 maximal
1799.91/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1799.91/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   and              :       0.05          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   linear           :       0.01          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1799.91/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -          -
1799.91/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1799.91/1800.01	c   integral         :          0          0          0       2821          0         48          0          0         17          0          0       5628
1799.91/1800.01	c   setppc           :        300          7      79445          0          1         43       1004         36      16132          0          0          0
1799.91/1800.01	c   and              :       3038       6653      79408          0          1         42       1325        116     390529      87295          0          0
1799.91/1800.01	c   linear           :          1          7      79286          0          0         12          3          4          0          0          0          0
1799.91/1800.01	c   logicor          :          0+         7       3061          0          0          0          3          0        658          0          0          0
1799.91/1800.01	c   countsols        :          0          0          0          0          1         16          0          0          0          0          0          0
1799.91/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1799.91/1800.01	c   integral         :     222.82       0.00       0.00     222.82       0.00       0.00       0.00
1799.91/1800.01	c   setppc           :       0.30       0.00       0.29       0.00       0.00       0.01       0.00
1799.91/1800.01	c   and              :       6.31       3.57       2.74       0.00       0.00       0.00       0.00
1799.91/1800.01	c   linear           :       0.06       0.01       0.05       0.00       0.00       0.00       0.00
1799.91/1800.01	c   logicor          :       0.02       0.00       0.02       0.00       0.00       0.00       0.00
1799.91/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.91/1800.01	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1799.91/1800.01	c   vbounds          :          0          0          0          0
1799.91/1800.01	c   rootredcost      :          4          0          0          0
1799.91/1800.01	c   pseudoobj        :      79365         39         11          0
1799.91/1800.01	c Propagator Timings :  TotalTime  Propagate    Resprop
1799.91/1800.01	c   vbounds          :       0.02       0.02       0.00
1799.91/1800.01	c   rootredcost      :       0.02       0.02       0.00
1799.91/1800.01	c   pseudoobj        :       0.25       0.25       0.00
1799.91/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.91/1800.01	c   propagation      :       0.00        167        167        239       37.0          6       73.5          -
1799.91/1800.01	c   infeasible LP    :       0.00         12         12         71       21.9          0        0.0          0
1799.91/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.91/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.91/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.91/1800.01	c   applied globally :          -          -          -        252       33.8          -          -          -
1799.91/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.91/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.91/1800.01	c   cut pool         :       0.00          6          -          -          0          -    (maximal pool size: 182)
1799.91/1800.01	c   redcost          :       0.46       6653          0       2102          0          0
1799.91/1800.01	c   impliedbounds    :       0.00          7          0          0         60          0
1799.91/1800.01	c   intobj           :       0.00          0          0          0          0          0
1799.91/1800.01	c   gomory           :       0.88          7          0          0         20          0
1799.91/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1799.91/1800.01	c   closecuts        :       0.00          0          0          0          0          0
1799.91/1800.01	c   strongcg         :       1.58          7          0          0        145          0
1799.91/1800.01	c   cmir             :       0.23          7          0          0          2          0
1799.91/1800.01	c   flowcover        :       0.20          7          0          0          0          0
1799.91/1800.01	c   clique           :       0.43          7          0          0         44          0
1799.91/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1799.91/1800.01	c   mcf              :       0.04          3          0          0          6          0
1799.91/1800.01	c   oddcycle         :       0.00          0          0          0          0          0
1799.91/1800.01	c   rapidlearning    :       0.61          1          0          0          0          0
1799.91/1800.01	c Pricers            :       Time      Calls       Vars
1799.91/1800.01	c   problem variables:       0.00          0          0
1799.91/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.91/1800.01	c   relpscost        :     222.82       2821          0         17          0          0       5628
1799.91/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1799.91/1800.01	c   inference        :       0.00          1          0          0          0          0          2
1799.91/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1799.91/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1799.91/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.91/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.91/1800.01	c   random           :       0.00          0          0          0          0          0          0
1799.91/1800.01	c Primal Heuristics  :       Time      Calls      Found
1799.91/1800.01	c   LP solutions     :       0.00          -          0
1799.91/1800.01	c   pseudo solutions :       0.00          -          0
1799.91/1800.01	c   intshifting      :       0.00          0          0
1799.91/1800.01	c   oneopt           :       0.01          4          0
1799.91/1800.01	c   guideddiving     :      64.04         49          0
1799.91/1800.01	c   coefdiving       :      54.93         49          0
1799.91/1800.01	c   veclendiving     :      55.94         49          0
1799.91/1800.01	c   pscostdiving     :      75.74         79          1
1799.91/1800.01	c   linesearchdiving :      57.11         79          2
1799.91/1800.01	c   trivial          :       0.00          2          1
1799.91/1800.01	c   shiftandpropagate:       0.00          0          0
1799.91/1800.01	c   simplerounding   :       0.00          0          0
1799.91/1800.01	c   zirounding       :       0.64          0          0
1799.91/1800.01	c   rounding         :       1.37       1100          0
1799.91/1800.01	c   shifting         :       0.94        639          8
1799.91/1800.01	c   twoopt           :       0.00          0          0
1799.91/1800.01	c   fixandinfer      :       0.00          0          0
1799.91/1800.01	c   feaspump         :       0.00          0          0
1799.91/1800.01	c   clique           :       0.00          0          0
1799.91/1800.01	c   fracdiving       :      58.04         50          0
1799.91/1800.01	c   intdiving        :       0.00          0          0
1799.91/1800.01	c   actconsdiving    :       0.00          0          0
1799.91/1800.01	c   objpscostdiving  :      19.33         16          0
1799.91/1800.01	c   rootsoldiving    :      17.44         12          0
1799.91/1800.01	c   octane           :       0.00          0          0
1799.91/1800.01	c   rens             :       0.01          0          0
1799.91/1800.01	c   rins             :       0.00          0          0
1799.91/1800.01	c   localbranching   :       0.00          0          0
1799.91/1800.01	c   mutation         :       0.00          0          0
1799.91/1800.01	c   crossover        :       0.15          4          0
1799.91/1800.01	c   dins             :       0.00          0          0
1799.91/1800.01	c   vbounds          :       0.00          0          0
1799.91/1800.01	c   undercover       :       0.14          1          1
1799.91/1800.01	c   subnlp           :       0.00          0          0
1799.91/1800.01	c   trysol           :       0.00          0          0
1799.91/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.91/1800.01	c   primal LP        :       6.66          0          0       0.00       0.00
1799.91/1800.01	c   dual LP          :    1149.45       6761    5179292     766.05    4505.88
1799.91/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1799.91/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1799.91/1800.01	c   diving/probing LP:     373.33      49326    1767264      35.83    4733.78
1799.91/1800.01	c   strong branching :     222.69       1473     789350     535.88    3544.62
1799.91/1800.01	c     (at root node) :          -         15      15000    1000.00          -
1799.91/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1799.91/1800.01	c B&B Tree           :
1799.91/1800.01	c   number of runs   :          1
1799.91/1800.01	c   nodes            :       2907
1799.91/1800.01	c   nodes (total)    :       2907
1799.91/1800.01	c   nodes left       :       2695
1799.91/1800.01	c   max depth        :         71
1799.91/1800.01	c   max depth (total):         71
1799.91/1800.01	c   backtracks       :        484 (16.6%)
1799.91/1800.01	c   delayed cutoffs  :          0
1799.91/1800.01	c   repropagations   :         99 (101 domain reductions, 0 cutoffs)
1799.91/1800.01	c   avg switch length:       4.76
1799.91/1800.01	c   switching time   :       7.67
1799.91/1800.01	c Solution           :
1799.91/1800.01	c   Solutions found  :         13 (6 improvements)
1799.91/1800.01	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1799.91/1800.01	c   Primal Bound     : -1.50000000000000e+01   (in run 1, after 1871 nodes, 1440.16 seconds, depth 130, found by <linesearchdiving>)
1799.91/1800.01	c   Dual Bound       : -3.88510646278909e+01
1799.91/1800.01	c   Gap              :      61.39 %
1799.91/1800.01	c   Root Dual Bound  : -4.99999999999999e+01
1799.91/1800.01	c   Root Iterations  :      13456
1799.91/1800.05	c Time complete: 1799.96.

Verifier Data 

OK	-15

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452379-1307110586/watcher-3452379-1307110586 -o /tmp/evaluation-result-3452379-1307110586/solver-3452379-1307110586 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452379-1307110586.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.01 2.04 1.93 2/501 3781
/proc/meminfo: memFree=30405880/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=10116 CPUtime=0 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 1547 0 0 0 0 0 0 0 22 0 1 0 822661251 10358784 1500 33554432000 4194304 9128323 140734093120512 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3781/statm: 2529 1500 401 1205 0 1320 0

[startup+0.0762981 s]
/proc/loadavg: 2.01 2.04 1.93 2/501 3781
/proc/meminfo: memFree=30405880/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=27228 CPUtime=0.06 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 5838 0 0 0 6 0 0 0 22 0 1 0 822661251 27881472 5533 33554432000 4194304 9128323 140734093120512 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3781/statm: 6807 5533 526 1205 0 5598 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27228

[startup+0.100293 s]
/proc/loadavg: 2.01 2.04 1.93 2/501 3781
/proc/meminfo: memFree=30405880/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=27228 CPUtime=0.09 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 5897 0 0 0 9 0 0 0 22 0 1 0 822661251 27881472 5592 33554432000 4194304 9128323 140734093120512 18446744073709551615 5973220 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3781/statm: 6807 5592 543 1205 0 5598 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27228

[startup+0.300258 s]
/proc/loadavg: 2.01 2.04 1.93 2/501 3781
/proc/meminfo: memFree=30405880/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=44304 CPUtime=0.29 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 10469 0 0 0 28 1 0 0 23 0 1 0 822661251 45367296 9777 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3781/statm: 11076 9777 678 1205 0 9867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44304

[startup+0.700199 s]
/proc/loadavg: 2.01 2.04 1.93 2/501 3781
/proc/meminfo: memFree=30405880/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=44304 CPUtime=0.69 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 10521 0 0 0 67 2 0 0 25 0 1 0 822661251 45367296 9829 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3781/statm: 11076 9829 678 1205 0 9867 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44304

[startup+1.50104 s]
/proc/loadavg: 2.01 2.04 1.93 3/506 3787
/proc/meminfo: memFree=30253444/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=1.49 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 22793 0 0 0 143 6 0 0 25 0 1 0 822661251 89247744 20202 33554432000 4194304 9128323 140734093120512 18446744073709551615 4312130 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3781/statm: 21789 20202 711 1205 0 20580 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87156

[startup+3.10076 s]
/proc/loadavg: 2.01 2.04 1.93 3/506 3787
/proc/meminfo: memFree=30040516/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=3.09 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23154 0 0 0 302 7 0 0 25 0 1 0 822661251 89247744 20563 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3781/statm: 21789 20563 739 1205 0 20580 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87156

[startup+6.3002 s]
/proc/loadavg: 2.01 2.04 1.93 3/506 3788
/proc/meminfo: memFree=30001952/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=6.29 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23177 0 0 0 619 10 0 0 25 0 1 0 822661251 89247744 20586 33554432000 4194304 9128323 140734093120512 18446744073709551615 6481503 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3781/statm: 21789 20586 739 1205 0 20580 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87156

[startup+12.7011 s]
/proc/loadavg: 2.01 2.03 1.93 3/506 3788
/proc/meminfo: memFree=29991184/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=12.7 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23188 0 0 0 1254 16 0 0 25 0 1 0 822661251 89247744 20597 33554432000 4194304 9128323 140734093120512 18446744073709551615 7313328 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3781/statm: 21789 20597 744 1205 0 20580 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 87156

[startup+25.5008 s]
/proc/loadavg: 2.01 2.03 1.93 3/506 3788
/proc/meminfo: memFree=29992556/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=25.39 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23193 0 0 0 2495 44 0 0 25 0 1 0 822661251 89247744 20602 33554432000 4194304 9128323 140734093120512 18446744073709551615 6941071 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/3781/statm: 21789 20602 749 1205 0 20580 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 87156

[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 1.93 3/506 3789
/proc/meminfo: memFree=29991300/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=50.96 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23193 0 0 0 4999 97 0 0 25 0 1 0 822661251 89247744 20602 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20602 749 1205 0 20580 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 87156

[startup+102.318 s]
/proc/loadavg: 2.16 2.06 1.94 3/506 3790
/proc/meminfo: memFree=29989656/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=102.18 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23193 0 0 0 10012 206 0 0 25 0 1 0 822661251 89247744 20602 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20602 749 1205 0 20580 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 87156

[startup+162.301 s]
/proc/loadavg: 2.13 2.06 1.95 3/506 3792
/proc/meminfo: memFree=29984404/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=162.17 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23193 0 0 0 15891 326 0 0 25 0 1 0 822661251 89247744 20602 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20602 749 1205 0 20580 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 87156

[startup+222.301 s]
/proc/loadavg: 2.05 2.05 1.95 3/506 3793
/proc/meminfo: memFree=29975332/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=222.17 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23194 0 0 0 21757 460 0 0 25 0 1 0 822661251 89247744 20603 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20603 750 1205 0 20580 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 87156

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/506 3795
/proc/meminfo: memFree=29837504/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=282.18 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23194 0 0 0 27625 593 0 0 25 0 1 0 822661251 89247744 20603 33554432000 4194304 9128323 140734093120512 18446744073709551615 6856551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20603 750 1205 0 20580 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 87156

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 1.95 3/506 3797
/proc/meminfo: memFree=29835620/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=342.17 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23194 0 0 0 33506 711 0 0 25 0 1 0 822661251 89247744 20603 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20603 750 1205 0 20580 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 87156

[startup+402.3 s]
/proc/loadavg: 2.12 2.05 1.96 3/506 3798
/proc/meminfo: memFree=29835444/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=402.18 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23194 0 0 0 39391 827 0 0 25 0 1 0 822661251 89247744 20603 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20603 750 1205 0 20580 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 87156

[startup+462.301 s]
/proc/loadavg: 2.10 2.06 1.96 3/506 3800
/proc/meminfo: memFree=29836508/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=462.18 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23194 0 0 0 45281 937 0 0 25 0 1 0 822661251 89247744 20603 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20603 750 1205 0 20580 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 87156

[startup+522.301 s]
/proc/loadavg: 2.04 2.04 1.96 3/506 3801
/proc/meminfo: memFree=29836712/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=522.18 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23194 0 0 0 51170 1048 0 0 25 0 1 0 822661251 89247744 20603 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20603 750 1205 0 20580 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 87156

[startup+582.301 s]
/proc/loadavg: 2.01 2.03 1.96 3/506 3803
/proc/meminfo: memFree=29836924/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=87156 CPUtime=582.18 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23217 0 0 0 57050 1168 0 0 25 0 1 0 822661251 89247744 20626 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21789 20626 752 1205 0 20580 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 87156

[startup+642.301 s]

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

/proc/meminfo: memFree=29836996/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=86236 CPUtime=1122.19 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23885 0 0 0 110008 2211 0 0 25 0 1 0 822661251 88305664 20737 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21559 20737 752 1205 0 20350 0
Current children cumulated CPU time (s) 1122.19
Current children cumulated vsize (KiB) 86236

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 3819
/proc/meminfo: memFree=29835704/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=86236 CPUtime=1182.19 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 23888 0 0 0 115889 2330 0 0 25 0 1 0 822661251 88305664 20740 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21559 20740 752 1205 0 20350 0
Current children cumulated CPU time (s) 1182.19
Current children cumulated vsize (KiB) 86236

[startup+1242.3 s]
/proc/loadavg: 2.11 2.05 2.00 3/506 3821
/proc/meminfo: memFree=29834912/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=86236 CPUtime=1242.19 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 25759 0 0 0 121778 2441 0 0 25 0 1 0 822661251 88305664 20740 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21559 20740 752 1205 0 20350 0
Current children cumulated CPU time (s) 1242.19
Current children cumulated vsize (KiB) 86236

[startup+1302.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/506 3822
/proc/meminfo: memFree=29834124/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=86236 CPUtime=1302.2 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 25759 0 0 0 127669 2551 0 0 25 0 1 0 822661251 88305664 20740 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21559 20740 752 1205 0 20350 0
Current children cumulated CPU time (s) 1302.2
Current children cumulated vsize (KiB) 86236

[startup+1362.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/506 3824
/proc/meminfo: memFree=29835556/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=86236 CPUtime=1362.2 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 25760 0 0 0 133554 2666 0 0 25 0 1 0 822661251 88305664 20741 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21559 20741 752 1205 0 20350 0
Current children cumulated CPU time (s) 1362.2
Current children cumulated vsize (KiB) 86236

[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 3825
/proc/meminfo: memFree=29835284/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=86236 CPUtime=1422.22 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 25760 0 0 0 139449 2773 0 0 25 0 1 0 822661251 88305664 20741 33554432000 4194304 9128323 140734093120512 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21559 20741 752 1205 0 20350 0
Current children cumulated CPU time (s) 1422.22
Current children cumulated vsize (KiB) 86236

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 3827
/proc/meminfo: memFree=29834752/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=86236 CPUtime=1482.2 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 25760 0 0 0 145342 2878 0 0 25 0 1 0 822661251 88305664 20741 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 21559 20741 752 1205 0 20350 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 86236

[startup+1542.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/506 3829
/proc/meminfo: memFree=29835080/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=88680 CPUtime=1542.2 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 30634 0 0 0 151226 2994 0 0 25 0 1 0 822661251 90808320 21323 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 22170 21323 752 1205 0 20961 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 88680

[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/506 3830
/proc/meminfo: memFree=29832404/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=91000 CPUtime=1602.2 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 31163 0 0 0 157113 3107 0 0 25 0 1 0 822661251 93184000 21852 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 22750 21852 752 1205 0 21541 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 91000

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 3832
/proc/meminfo: memFree=29831120/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=92708 CPUtime=1662.21 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 31535 0 0 0 163011 3210 0 0 25 0 1 0 822661251 94932992 22224 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 23177 22224 752 1205 0 21968 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 92708

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 3833
/proc/meminfo: memFree=29826732/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=96476 CPUtime=1722.21 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 32542 0 0 0 168899 3322 0 0 25 0 1 0 822661251 98791424 23231 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 24119 23231 752 1205 0 22910 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 96476

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3835
/proc/meminfo: memFree=29823228/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=97688 CPUtime=1782.21 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 32875 0 0 0 174791 3430 0 0 25 0 1 0 822661251 100032512 23564 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 24422 23564 752 1205 0 23213 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 97688

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

[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3835
/proc/meminfo: memFree=29825184/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=98316 CPUtime=1791.83 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 32952 0 0 0 175735 3448 0 0 25 0 1 0 822661251 100675584 23641 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 24579 23641 752 1205 0 23370 0
Current children cumulated CPU time (s) 1791.83
Current children cumulated vsize (KiB) 98316

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3835
/proc/meminfo: memFree=29825060/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=98316 CPUtime=1795.01 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 32967 0 0 0 176048 3453 0 0 25 0 1 0 822661251 100675584 23656 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 24579 23656 752 1205 0 23370 0
Current children cumulated CPU time (s) 1795.01
Current children cumulated vsize (KiB) 98316

[startup+1798.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3835
/proc/meminfo: memFree=29824068/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=98912 CPUtime=1798.21 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 33162 0 0 0 176362 3459 0 0 25 0 1 0 822661251 101285888 23851 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 24728 23851 752 1205 0 23519 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (KiB) 98912

[startup+1799.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3835
/proc/meminfo: memFree=29824068/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=98912 CPUtime=1799.01 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 33201 0 0 0 176441 3460 0 0 25 0 1 0 822661251 101285888 23890 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 24728 23890 752 1205 0 23519 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 98912

[startup+1799.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3835
/proc/meminfo: memFree=29823944/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=98912 CPUtime=1799.42 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 33201 0 0 0 176481 3461 0 0 25 0 1 0 822661251 101285888 23890 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 24728 23890 752 1205 0 23519 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 98912

[startup+1799.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3835
/proc/meminfo: memFree=29823944/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=98912 CPUtime=1799.81 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 33201 0 0 0 176520 3461 0 0 25 0 1 0 822661251 101285888 23890 33554432000 4194304 9128323 140734093120512 18446744073709551615 7286031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 24728 23890 752 1205 0 23519 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 98912

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 3835
/proc/meminfo: memFree=29823944/32951124 swapFree=51712236/67111528
[pid=3781] ppid=3779 vsize=98912 CPUtime=1799.91 cores=1,3,5,7
/proc/3781/stat : 3781 (scip-2.0.1.4.li) R 3779 3781 2157 0 -1 4202496 33201 0 0 0 176530 3461 0 0 25 0 1 0 822661251 101285888 23890 33554432000 4194304 9128323 140734093120512 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3781/statm: 24728 23890 752 1205 0 23519 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 98912

Child status: 0
Real time (s): 1800.05
CPU time (s): 1799.97
CPU user time (s): 1765.35
CPU system time (s): 34.6217
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 98912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.35
system time used= 34.6217
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33206
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= 5
involuntary context switches= 4444

runsolver used 8.17976 second user time and 21.2008 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-03 16:16:26
IDJOB=3452379
IDBENCH=48243
IDSOLVER=1949
FILE ID=node103/3452379-1307110586
RUNJOBID= node103-1307108784-3651
PBS_JOBID= 13497971
Free space on /tmp= 73880 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452379-1307110586/watcher-3452379-1307110586 -o /tmp/evaluation-result-3452379-1307110586/solver-3452379-1307110586 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452379-1307110586.opb -t 1800 -m 15500

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

MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d
RANDOM SEED=2112922815

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30407648 kB
Buffers:        285444 kB
Cached:         435920 kB
SwapCached:      23760 kB
Active:        1870484 kB
Inactive:       380320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30407648 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:           15668 kB
Writeback:           0 kB
AnonPages:     1526832 kB
Mapped:          21988 kB
Slab:           149304 kB
PageTables:      73200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162038196 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73856 MiB
End job on node103 at 2011-06-03 16:46:26