Trace number 3453527

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.4? (TO) 1800.71 1800.68

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9014_2.std.opb
MD5SUM82675f41f9235220cbcd7952570f1ec4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark79
Best CPU time to get the best result obtained on this benchmark0.78388
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176188
Number of constraints which are clauses174988
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint90
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-3453527-1307122047.opb>
1.11/1.18	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176188 constraints
1.11/1.18	c problem read
1.11/1.18	c presolving settings loaded
1.69/1.79	c presolving:
6.29/6.31	c (round 1) 3034 del vars, 8695 del conss, 0 add conss, 2005 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12158818 impls, 0 clqs
7.71/7.72	c (round 2) 7711 del vars, 24986 del conss, 0 add conss, 6550 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12179514 impls, 0 clqs
8.09/8.12	c (round 3) 9576 del vars, 33555 del conss, 0 add conss, 7630 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 12188337 impls, 0 clqs
8.29/8.30	c (round 4) 10274 del vars, 36518 del conss, 0 add conss, 8051 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12191308 impls, 0 clqs
8.39/8.41	c (round 5) 10598 del vars, 37832 del conss, 0 add conss, 8271 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12193199 impls, 0 clqs
8.39/8.49	c (round 6) 10798 del vars, 38628 del conss, 0 add conss, 8370 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194347 impls, 0 clqs
8.49/8.55	c (round 7) 10862 del vars, 38926 del conss, 0 add conss, 8408 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194817 impls, 0 clqs
8.59/8.60	c (round 8) 10890 del vars, 39063 del conss, 0 add conss, 8427 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194993 impls, 0 clqs
8.59/8.64	c (round 9) 10906 del vars, 39139 del conss, 0 add conss, 8436 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195161 impls, 0 clqs
8.59/8.69	c (round 10) 10920 del vars, 39190 del conss, 0 add conss, 8443 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195499 impls, 0 clqs
8.70/8.73	c (round 11) 10932 del vars, 39240 del conss, 0 add conss, 8454 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195501 impls, 0 clqs
9.19/9.28	c (round 12) 10932 del vars, 39253 del conss, 0 add conss, 8454 chg bounds, 40 chg sides, 45 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
9.99/10.05	c (round 13) 10932 del vars, 39274 del conss, 65 add conss, 8454 chg bounds, 160 chg sides, 370 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
10.19/10.25	c (round 14) 10932 del vars, 39285 del conss, 69 add conss, 8454 chg bounds, 168 chg sides, 400 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
415.10/415.15	c    (415.1s) probing: 1000/43850 (2.3%) - 0 fixings, 0 aggregations, 8296690 implications, 0 bound changes
751.60/751.60	c    (751.6s) probing: 2000/43850 (4.6%) - 0 fixings, 0 aggregations, 12923313 implications, 0 bound changes
751.80/751.84	c    (751.8s) probing: 2001/43850 (4.6%) - 0 fixings, 0 aggregations, 12925821 implications, 0 bound changes
751.80/751.84	c    (751.8s) probing aborted: 2000/2000 successive useless probings
751.80/751.84	c presolving (15 rounds):
751.80/751.84	c  10932 deleted vars, 39287 deleted constraints, 71 added constraints, 8454 tightened bounds, 0 added holes, 170 changed sides, 412 changed coefficients
751.80/751.84	c  56485389 implications, 0 cliques
751.80/751.84	c presolved problem has 43850 variables (43850 bin, 0 int, 0 impl, 0 cont) and 136972 constraints
751.80/751.84	c    1145 constraints of type <knapsack>
751.80/751.84	c  114138 constraints of type <setppc>
751.80/751.84	c   21689 constraints of type <logicor>
751.80/751.84	c transformed objective value is always integral (scale: 1)
751.80/751.84	c Presolving Time: 750.50
751.80/751.84	c - non default parameters ----------------------------------------------------------------------
751.80/751.84	c # SCIP version 2.0.1.4
751.80/751.84	c 
751.80/751.84	c # frequency for displaying node information lines
751.80/751.84	c # [type: int, range: [-1,2147483647], default: 100]
751.80/751.84	c display/freq = 10000
751.80/751.84	c 
751.80/751.84	c # maximal time in seconds to run
751.80/751.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
751.80/751.84	c limits/time = 1800
751.80/751.84	c 
751.80/751.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
751.80/751.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
751.80/751.84	c limits/memory = 13950
751.80/751.84	c 
751.80/751.84	c # default clock type (1: CPU user seconds, 2: wall clock time)
751.80/751.84	c # [type: int, range: [1,2], default: 1]
751.80/751.84	c timing/clocktype = 2
751.80/751.84	c 
751.80/751.84	c # belongs reading time to solving time?
751.80/751.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
751.80/751.84	c timing/reading = TRUE
751.80/751.84	c 
751.80/751.84	c # should presolving try to simplify inequalities
751.80/751.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
751.80/751.84	c constraints/linear/simplifyinequalities = TRUE
751.80/751.84	c 
751.80/751.84	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
751.80/751.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
751.80/751.84	c constraints/indicator/addCouplingCons = TRUE
751.80/751.84	c 
751.80/751.84	c # should presolving try to simplify knapsacks
751.80/751.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
751.80/751.84	c constraints/knapsack/simplifyinequalities = TRUE
751.80/751.84	c 
751.80/751.84	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
751.80/751.84	c # [type: int, range: [-1,2147483647], default: -1]
751.80/751.84	c separating/rapidlearning/freq = 0
751.80/751.84	c 
751.80/751.84	c -----------------------------------------------------------------------------------------------
751.80/751.84	c start solving
751.80/751.87	c 
873.01/873.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
873.01/873.02	c   873s|     1 |     0 | 38115 |     - |1732M|   0 | 447 |  43k| 137k|  43k| 136k|   0 |  50 |   0 | 7.900000e+01 |      --      |    Inf 
1604.84/1604.90	c  1605s|     1 |     0 | 89183 |     - |1737M|   0 |1004 |  43k| 137k|  43k| 137k|  62 |  50 |   0 | 7.900000e+01 |      --      |    Inf 
1659.62/1659.63	c  1660s|     1 |     0 | 95261 |     - |1737M|   0 |1158 |  43k| 137k|  43k| 137k|  91 |  50 |   0 | 7.900000e+01 |      --      |    Inf 
1705.92/1705.96	c  1706s|     1 |     0 | 98569 |     - |1737M|   0 |1565 |  43k| 137k|  43k| 137k| 109 |  50 |   0 | 7.900000e+01 |      --      |    Inf 
1760.04/1760.05	c  1760s|     1 |     0 |102424 |     - |1737M|   0 |1513 |  43k| 137k|  43k| 137k| 129 |  50 |   0 | 7.900000e+01 |      --      |    Inf 
1800.03/1800.01	c  1800s|     1 |     0 |102434 |     - |1737M|   0 |   - |  43k| 137k|  43k| 137k| 142 |  50 |   0 | 7.900000e+01 |      --      |    Inf 
1800.04/1800.06	c  1800s|     1 |     2 |102434 |     - |1737M|   0 |   - |  43k| 137k|  43k| 137k| 142 |  50 |   0 | 7.900000e+01 |      --      |    Inf 
1800.04/1800.06	c 
1800.04/1800.06	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.06	c Solving Time (sec) : 1800.06
1800.04/1800.06	c Solving Nodes      : 1
1800.04/1800.06	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.06	c Dual Bound         : +7.90000000000000e+01
1800.04/1800.06	c Gap                : infinite
1800.04/1800.06	s UNKNOWN
1800.04/1800.06	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.06	c Total Time         :    1800.06
1800.04/1800.06	c   solving          :    1800.06
1800.04/1800.06	c   presolving       :     750.50 (included in solving)
1800.04/1800.06	c   reading          :       1.18 (included in solving)
1800.04/1800.06	c Original Problem   :
1800.04/1800.06	c   Problem name     : HOME/instance-3453527-1307122047.opb
1800.04/1800.06	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.06	c   Constraints      : 176188 initial, 176188 maximal
1800.04/1800.06	c Presolved Problem  :
1800.04/1800.06	c   Problem name     : t_HOME/instance-3453527-1307122047.opb
1800.04/1800.06	c   Variables        : 43850 (43850 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.06	c   Constraints      : 136972 initial, 137022 maximal
1800.04/1800.06	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.06	c   trivial          :       0.04        943          0          0          0          0          0          0          0          0
1800.04/1800.06	c   dualfix          :       0.06         90          0          0          0          0          0          0          0          0
1800.04/1800.06	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.06	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.06	c   implics          :       0.37          0          0          0          0          0          0          0          0          0
1800.04/1800.06	c   probing          :     741.46          0          0          0          0          0          0          0          0          0
1800.04/1800.06	c   knapsack         :       0.64          0          0          0          0          0          9         71        130        367
1800.04/1800.06	c   setppc           :       0.30          0          0          0          0          0         25          0          0          0
1800.04/1800.06	c   linear           :       6.96       7511       2388          0       8454          0      39253          0         40         45
1800.04/1800.06	c   logicor          :       0.07          0          0          0          0          0          0          0          0          0
1800.04/1800.06	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.04/1800.06	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.06	c   integral         :          0          0          0          0          0          4          0          0          0          0          0          0
1800.04/1800.06	c   knapsack         :       1145          5     100438          0          1          3         72          2          0        208          0          0
1800.04/1800.06	c   setppc           :     114138          5     100436          0          1          1        764          2          0          0          0          0
1800.04/1800.06	c   logicor          :      21689+         5      92069          0          1          0         98         11          0          0          0          0
1800.04/1800.06	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1800.04/1800.06	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.06	c   integral         :       0.01       0.00       0.00       0.00       0.00       0.01       0.00
1800.04/1800.06	c   knapsack         :       6.50       0.04       6.45       0.00       0.00       0.00       0.00
1800.04/1800.06	c   setppc           :     451.64       0.04     451.56       0.00       0.03       0.00       0.00
1800.04/1800.06	c   logicor          :       4.33       0.01       4.31       0.00       0.01       0.00       0.00
1800.04/1800.06	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.06	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.06	c   vbounds          :          0          0          0          0
1800.04/1800.06	c   rootredcost      :          0          0          0          0
1800.04/1800.06	c   pseudoobj        :        713          0          0          0
1800.04/1800.06	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.06	c   vbounds          :       0.04       0.04       0.00
1800.04/1800.06	c   rootredcost      :       0.02       0.02       0.00
1800.04/1800.06	c   pseudoobj        :       0.02       0.02       0.00
1800.04/1800.06	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.06	c   propagation      :       0.00         15         15         76       26.5          0        0.0          -
1800.04/1800.06	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.06	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.06	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.06	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.06	c   applied globally :          -          -          -         50       25.2          -          -          -
1800.04/1800.06	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.06	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.06	c   cut pool         :       0.00          4          -          -         23          -    (maximal pool size: 191)
1800.04/1800.06	c   redcost          :       0.01          5          0          0          0          0
1800.04/1800.06	c   impliedbounds    :       0.05          5          0          0          0          0
1800.04/1800.06	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.06	c   gomory           :      46.46          5          0          0          2          0
1800.04/1800.06	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.06	c   closecuts        :       0.00          0          0          0          0          0
1800.04/1800.06	c   strongcg         :      49.70          5          0          0        337          0
1800.04/1800.06	c   cmir             :      19.63          5          0          0          0          0
1800.04/1800.06	c   flowcover        :      34.40          5          0          0        129          0
1800.04/1800.06	c   clique           :     627.20          5          0          0         27          0
1800.04/1800.06	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.06	c   mcf              :       1.63          1          0          0          0          0
1800.04/1800.06	c   oddcycle         :       0.00          0          0          0          0          0
1800.04/1800.06	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.06	c Pricers            :       Time      Calls       Vars
1800.04/1800.06	c   problem variables:       0.00          0          0
1800.04/1800.06	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.06	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.06	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.06	c   inference        :       0.01          1          0          0          0          0          2
1800.04/1800.06	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.06	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.06	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.06	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.06	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.06	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.06	c   LP solutions     :       0.00          -          0
1800.04/1800.06	c   pseudo solutions :       0.00          -          0
1800.04/1800.06	c   oneopt           :       0.00          0          0
1800.04/1800.06	c   trivial          :       0.06          2          0
1800.04/1800.06	c   shiftandpropagate:       2.27          1          0
1800.04/1800.06	c   simplerounding   :       0.00          0          0
1800.04/1800.06	c   zirounding       :       0.00          0          0
1800.04/1800.06	c   rounding         :       0.03          5          0
1800.04/1800.06	c   shifting         :       0.04          5          0
1800.04/1800.06	c   intshifting      :       0.00          0          0
1800.04/1800.06	c   twoopt           :       0.00          0          0
1800.04/1800.06	c   fixandinfer      :       0.00          0          0
1800.04/1800.06	c   feaspump         :      98.58          1          0
1800.04/1800.06	c   clique           :       0.00          0          0
1800.04/1800.06	c   coefdiving       :       0.00          0          0
1800.04/1800.06	c   pscostdiving     :       0.00          0          0
1800.04/1800.06	c   fracdiving       :       0.00          0          0
1800.04/1800.06	c   veclendiving     :       0.00          0          0
1800.04/1800.06	c   intdiving        :       0.00          0          0
1800.04/1800.06	c   actconsdiving    :       0.00          0          0
1800.04/1800.06	c   objpscostdiving  :       0.00          0          0
1800.04/1800.06	c   rootsoldiving    :       0.00          0          0
1800.04/1800.06	c   linesearchdiving :       0.00          0          0
1800.04/1800.06	c   guideddiving     :       0.00          0          0
1800.04/1800.06	c   octane           :       0.00          0          0
1800.04/1800.06	c   rens             :       0.00          0          0
1800.04/1800.06	c   rins             :       0.00          0          0
1800.04/1800.06	c   localbranching   :       0.00          0          0
1800.04/1800.06	c   mutation         :       0.00          0          0
1800.04/1800.06	c   crossover        :       0.00          0          0
1800.04/1800.06	c   dins             :       0.00          0          0
1800.04/1800.06	c   vbounds          :       0.00          0          0
1800.04/1800.06	c   undercover       :       0.00          0          0
1800.04/1800.06	c   subnlp           :       0.00          0          0
1800.04/1800.06	c   trysol           :       0.00          0          0
1800.04/1800.06	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.06	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.06	c   dual LP          :     167.83          6      54830    9138.33     326.71
1800.04/1800.06	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.06	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.06	c   diving/probing LP:      97.88         19      47604    2505.47     486.33
1800.04/1800.06	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.06	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.06	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.06	c B&B Tree           :
1800.04/1800.06	c   number of runs   :          1
1800.04/1800.06	c   nodes            :          1
1800.04/1800.06	c   nodes (total)    :          1
1800.04/1800.06	c   nodes left       :          2
1800.04/1800.06	c   max depth        :          0
1800.04/1800.06	c   max depth (total):          0
1800.04/1800.06	c   backtracks       :          0 (0.0%)
1800.04/1800.06	c   delayed cutoffs  :          0
1800.04/1800.06	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.06	c   avg switch length:       1.00
1800.04/1800.06	c   switching time   :       0.00
1800.04/1800.06	c Solution           :
1800.04/1800.06	c   Solutions found  :          0 (0 improvements)
1800.04/1800.06	c   Primal Bound     :          -
1800.04/1800.06	c   Dual Bound       : +7.90000000000000e+01
1800.04/1800.06	c   Gap              :   infinite
1800.04/1800.06	c   Root Dual Bound  : +7.90000000000000e+01
1800.04/1800.06	c   Root Iterations  :     102434
1800.63/1800.67	c Time complete: 1800.7.

Verifier Data 

ERROR: no interpretation found !

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.97 2/527 11341
/proc/meminfo: memFree=24947592/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=11572 CPUtime=0 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 1886 0 0 0 0 0 0 0 25 0 1 0 902435378 11849728 1840 33554432000 4194304 9128323 140737257169952 18446744073709551615 7902706 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11341/statm: 2893 1840 400 1205 0 1684 0

[startup+0.051684 s]
/proc/loadavg: 2.00 2.02 1.97 2/527 11341
/proc/meminfo: memFree=24947592/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=19692 CPUtime=0.04 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 3907 0 0 0 4 0 0 0 25 0 1 0 902435378 20164608 3860 33554432000 4194304 9128323 140737257169952 18446744073709551615 7952307 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11341/statm: 4923 3860 400 1205 0 3714 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19692

[startup+0.100679 s]
/proc/loadavg: 2.00 2.02 1.97 2/527 11341
/proc/meminfo: memFree=24947592/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=27512 CPUtime=0.09 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 5888 0 0 0 9 0 0 0 25 0 1 0 902435378 28172288 5840 33554432000 4194304 9128323 140737257169952 18446744073709551615 4338658 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11341/statm: 6878 5840 400 1205 0 5669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27512

[startup+0.30064 s]
/proc/loadavg: 2.00 2.02 1.97 2/527 11341
/proc/meminfo: memFree=24947592/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=43892 CPUtime=0.29 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 10003 0 0 0 29 0 0 0 25 0 1 0 902435378 44945408 9923 33554432000 4194304 9128323 140737257169952 18446744073709551615 6519935 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11341/statm: 10973 9923 400 1205 0 9764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43892

[startup+0.700571 s]
/proc/loadavg: 2.00 2.02 1.97 2/527 11341
/proc/meminfo: memFree=24947592/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=67680 CPUtime=0.69 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 15934 0 0 0 68 1 0 0 25 0 1 0 902435378 69304320 15846 33554432000 4194304 9128323 140737257169952 18446744073709551615 7998200 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11341/statm: 16920 15846 400 1205 0 15711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67680

[startup+1.50043 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11342
/proc/meminfo: memFree=24796680/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=243920 CPUtime=1.49 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 59489 0 0 0 142 7 0 0 25 0 1 0 902435378 249774080 59285 33554432000 4194304 9128323 140737257169952 18446744073709551615 6580881 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 60980 59285 467 1205 0 59771 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 243920

[startup+3.10015 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11342
/proc/meminfo: memFree=24323496/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=446784 CPUtime=3.09 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 117544 0 0 0 295 14 0 0 25 0 1 0 902435378 457506816 109218 33554432000 4194304 9128323 140737257169952 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 111696 109218 510 1205 0 110487 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 446784

[startup+6.3006 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11343
/proc/meminfo: memFree=23758436/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=670200 CPUtime=6.29 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 171060 0 0 0 608 21 0 0 25 0 1 0 902435378 686284800 162734 33554432000 4194304 9128323 140737257169952 18446744073709551615 5968128 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 167550 162734 521 1205 0 166341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 670200

[startup+12.7005 s]
/proc/loadavg: 2.00 2.02 1.97 4/528 11343
/proc/meminfo: memFree=23516532/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=762668 CPUtime=12.7 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 205409 0 0 0 1245 25 0 0 25 0 1 0 902435378 780972032 185469 33554432000 4194304 9128323 140737257169952 18446744073709551615 6593438 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 190667 185469 603 1205 0 189458 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 762668

[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11343
/proc/meminfo: memFree=23406676/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=811660 CPUtime=25.49 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 216802 0 0 0 2523 26 0 0 25 0 1 0 902435378 831139840 196763 33554432000 4194304 9128323 140737257169952 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 202915 196763 603 1205 0 201706 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 811660

[startup+51.1007 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11344
/proc/meminfo: memFree=23263212/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=896648 CPUtime=51.09 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 237446 0 0 0 5081 28 0 0 25 0 1 0 902435378 918167552 217407 33554432000 4194304 9128323 140737257169952 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 224162 217407 603 1205 0 222953 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 896648

[startup+102.32 s]
/proc/loadavg: 2.10 2.04 1.98 4/528 11345
/proc/meminfo: memFree=22983944/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1041188 CPUtime=102.31 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 273877 0 0 0 10198 33 0 0 25 0 1 0 902435378 1066176512 253574 33554432000 4194304 9128323 140737257169952 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 260297 253574 603 1205 0 259088 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1041188

[startup+162.3 s]
/proc/loadavg: 2.08 2.05 1.99 3/528 11347
/proc/meminfo: memFree=22604944/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1250360 CPUtime=162.29 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 325776 0 0 0 16189 40 0 0 25 0 1 0 902435378 1280368640 305308 33554432000 4194304 9128323 140737257169952 18446744073709551615 4352160 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 312590 305308 603 1205 0 311381 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1250360

[startup+222.301 s]
/proc/loadavg: 2.15 2.07 2.00 3/528 11348
/proc/meminfo: memFree=22178824/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1449336 CPUtime=222.29 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 375349 0 0 0 22183 46 0 0 25 0 1 0 902435378 1484120064 354716 33554432000 4194304 9128323 140737257169952 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 362334 354716 603 1205 0 361125 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1449336

[startup+282.3 s]
/proc/loadavg: 2.11 2.07 2.00 3/528 11350
/proc/meminfo: memFree=21925200/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1575640 CPUtime=282.3 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 406795 0 0 0 28179 51 0 0 25 0 1 0 902435378 1613455360 386162 33554432000 4194304 9128323 140737257169952 18446744073709551615 6710427 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 393910 386162 603 1205 0 392701 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1575640

[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/528 11352
/proc/meminfo: memFree=21688928/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1685696 CPUtime=342.3 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 434253 0 0 0 34174 56 0 0 25 0 1 0 902435378 1726152704 413620 33554432000 4194304 9128323 140737257169952 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 421424 413620 603 1205 0 420215 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1685696

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 11353
/proc/meminfo: memFree=21464828/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1842320 CPUtime=402.29 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 473011 0 0 0 40169 60 0 0 25 0 1 0 902435378 1886535680 452378 33554432000 4194304 9128323 140737257169952 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 460580 452378 603 1205 0 459371 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1842320

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 11355
/proc/meminfo: memFree=21358248/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1894248 CPUtime=462.3 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 486060 0 0 0 46167 63 0 0 25 0 1 0 902435378 1939709952 465427 33554432000 4194304 9128323 140737257169952 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 473562 465427 607 1205 0 472353 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1894248

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11356
/proc/meminfo: memFree=21258768/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1937788 CPUtime=522.3 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 496305 0 0 0 52166 64 0 0 25 0 1 0 902435378 1984294912 475672 33554432000 4194304 9128323 140737257169952 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 484447 475672 607 1205 0 483238 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1937788

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/528 11358
/proc/meminfo: memFree=21147744/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1992540 CPUtime=582.3 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 510362 0 0 0 58164 66 0 0 25 0 1 0 902435378 2040360960 489729 33554432000 4194304 9128323 140737257169952 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 498135 489729 607 1205 0 496926 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1992540

[startup+642.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11371
/proc/meminfo: memFree=20287968/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2405808 CPUtime=942.31 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 631137 0 0 0 94127 104 0 0 25 0 1 0 902435378 2463547392 589610 33554432000 4194304 9128323 140737257169952 18446744073709551615 7243119 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 601452 589610 2519 1205 0 600243 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2405808

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11373
/proc/meminfo: memFree=20313096/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2375620 CPUtime=1002.31 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 632677 0 0 0 100117 114 0 0 25 0 1 0 902435378 2432634880 583576 33554432000 4194304 9128323 140737257169952 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 593905 583576 836 1205 0 592696 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2375620

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11376
/proc/meminfo: memFree=20307368/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2375620 CPUtime=1062.31 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 632695 0 0 0 106117 114 0 0 25 0 1 0 902435378 2432634880 583594 33554432000 4194304 9128323 140737257169952 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 593905 583594 836 1205 0 592696 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2375620

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11377
/proc/meminfo: memFree=20324696/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2375620 CPUtime=1122.31 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 632718 0 0 0 112117 114 0 0 25 0 1 0 902435378 2432634880 583617 33554432000 4194304 9128323 140737257169952 18446744073709551615 6243218 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 593905 583617 836 1205 0 592696 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2375620

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11380
/proc/meminfo: memFree=20324024/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2375620 CPUtime=1182.32 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 632720 0 0 0 118118 114 0 0 25 0 1 0 902435378 2432634880 583619 33554432000 4194304 9128323 140737257169952 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 593905 583619 836 1205 0 592696 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2375620

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11383
/proc/meminfo: memFree=20322244/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2375620 CPUtime=1242.32 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 632722 0 0 0 124118 114 0 0 25 0 1 0 902435378 2432634880 583621 33554432000 4194304 9128323 140737257169952 18446744073709551615 6243200 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 593905 583621 836 1205 0 592696 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2375620

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/528 11384
/proc/meminfo: memFree=20324036/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2375620 CPUtime=1302.33 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 632724 0 0 0 130119 114 0 0 25 0 1 0 902435378 2432634880 583623 33554432000 4194304 9128323 140737257169952 18446744073709551615 6243313 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 593905 583623 836 1205 0 592696 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2375620

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/528 11386
/proc/meminfo: memFree=20324252/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2375620 CPUtime=1362.32 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 632726 0 0 0 136118 114 0 0 25 0 1 0 902435378 2432634880 583625 33554432000 4194304 9128323 140737257169952 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 593905 583625 836 1205 0 592696 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2375620

[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.00 3/528 11387
/proc/meminfo: memFree=20324332/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2375620 CPUtime=1422.34 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 632728 0 0 0 142120 114 0 0 25 0 1 0 902435378 2432634880 583627 33554432000 4194304 9128323 140737257169952 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 593905 583627 836 1205 0 592696 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2375620

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/528 11389
/proc/meminfo: memFree=20323792/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2375620 CPUtime=1482.32 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 632730 0 0 0 148118 114 0 0 25 0 1 0 902435378 2432634880 583629 33554432000 4194304 9128323 140737257169952 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 593905 583629 836 1205 0 592696 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2375620

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 11391
/proc/meminfo: memFree=20288412/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2413752 CPUtime=1542.32 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 641661 0 0 0 154117 115 0 0 25 0 1 0 902435378 2471682048 592557 33554432000 4194304 9128323 140737257169952 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 603438 592557 833 1205 0 602229 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2413752

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11392
/proc/meminfo: memFree=20055264/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2662752 CPUtime=1602.32 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 701459 0 0 0 160110 122 0 0 25 0 1 0 902435378 2726658048 651081 33554432000 4194304 9128323 140737257169952 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 665688 651081 1029 1205 0 664479 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2662752

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11394
/proc/meminfo: memFree=20037988/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2662752 CPUtime=1662.32 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 701890 0 0 0 166105 127 0 0 25 0 1 0 902435378 2726658048 651343 33554432000 4194304 9128323 140737257169952 18446744073709551615 6637216 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 665688 651343 891 1205 0 664479 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2662752

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11395
/proc/meminfo: memFree=19953748/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2647248 CPUtime=1722.32 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 710253 0 0 0 172100 132 0 0 25 0 1 0 902435378 2710781952 649735 33554432000 4194304 9128323 140737257169952 18446744073709551615 6637204 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 661812 649735 1350 1205 0 660603 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2647248

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11397
/proc/meminfo: memFree=19813940/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2647484 CPUtime=1782.33 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 710546 0 0 0 178097 136 0 0 25 0 1 0 902435378 2711023616 649947 33554432000 4194304 9128323 140737257169952 18446744073709551615 6637342 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 661871 649947 1269 1205 0 660662 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2647484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/529 11398
/proc/meminfo: memFree=20002652/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2647484 CPUtime=1800.04 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 710681 0 0 0 179868 136 0 0 25 0 1 0 902435378 2711023616 650082 33554432000 4194304 9128323 140737257169952 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11341/statm: 661871 650082 1269 1205 0 660662 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2647484

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/529 11398
/proc/meminfo: memFree=20002652/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=2430552 CPUtime=1800.23 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 710739 0 0 0 179886 137 0 0 25 0 1 0 902435378 2488885248 598560 33554432000 4194304 9128323 140737257169952 18446744073709551615 6630551 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11341/statm: 607638 598560 1279 1205 0 606429 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 2430552

[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 2/527 11399
/proc/meminfo: memFree=23157096/32951124 swapFree=56241860/67111528
[pid=11341] ppid=11339 vsize=1580088 CPUtime=1800.63 cores=1,3,5,7
/proc/11341/stat : 11341 (scip-2.0.1.4.li) R 11339 11341 5807 0 -1 4202496 710747 0 0 0 179923 140 0 0 25 0 1 0 902435378 1618010112 387718 33554432000 4194304 9128323 140737257169952 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11341/statm: 395022 387406 864 1205 0 393813 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 1580088

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.71
CPU user time (s): 1799.24
CPU system time (s): 1.47478
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2662752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 1.47477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 710749
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= 4
involuntary context switches= 1895

runsolver used 9.2016 second user time and 22.2506 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-03 19:27:27
IDJOB=3453527
IDBENCH=78064
IDSOLVER=1949
FILE ID=node119/3453527-1307122047
RUNJOBID= node119-1307120244-11197
PBS_JOBID= 13497988
Free space on /tmp= 73608 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9014_2.std.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-3453527-1307122047/watcher-3453527-1307122047 -o /tmp/evaluation-result-3453527-1307122047/solver-3453527-1307122047 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453527-1307122047.opb -t 1800 -m 15500

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

MD5SUM BENCH= 82675f41f9235220cbcd7952570f1ec4
RANDOM SEED=718465813

node119.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.815
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.63
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.815
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.83
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24947888 kB
Buffers:        206976 kB
Cached:         576556 kB
SwapCached:      59076 kB
Active:         725140 kB
Inactive:      6981616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24947888 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:           34980 kB
Writeback:           0 kB
AnonPages:     6867488 kB
Mapped:          35020 kB
Slab:           149108 kB
PageTables:      78744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163907392 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= 73616 MiB
End job on node119 at 2011-06-03 19:57:29