Trace number 3453486

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.94 1800.88

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12039_5.std.opb
MD5SUM2ad232a611946b6f658e48d157248bbb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark106
Best CPU time to get the best result obtained on this benchmark1.25281
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245560
Number of constraints which are clauses244360
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 constraint120
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-3453486-1307118892.opb>
1.59/1.64	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245560 constraints
1.59/1.64	c problem read
1.59/1.64	c presolving settings loaded
2.39/2.49	c presolving:
8.81/8.86	c (round 1) 6066 del vars, 18342 del conss, 0 add conss, 4585 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16663708 impls, 0 clqs
11.39/11.48	c (round 2) 12611 del vars, 45695 del conss, 0 add conss, 10849 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16699415 impls, 0 clqs
12.29/12.31	c (round 3) 15199 del vars, 57562 del conss, 0 add conss, 12343 chg bounds, 23 chg sides, 42 chg coeffs, 0 upgd conss, 16712911 impls, 0 clqs
12.69/12.79	c (round 4) 16398 del vars, 62418 del conss, 0 add conss, 13161 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16722526 impls, 0 clqs
12.99/13.00	c (round 5) 17032 del vars, 65135 del conss, 0 add conss, 13546 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16727447 impls, 0 clqs
13.10/13.20	c (round 6) 17462 del vars, 66751 del conss, 0 add conss, 13835 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16731175 impls, 0 clqs
13.29/13.33	c (round 7) 17774 del vars, 68085 del conss, 0 add conss, 14016 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16733715 impls, 0 clqs
13.39/13.44	c (round 8) 17954 del vars, 68863 del conss, 0 add conss, 14124 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16735402 impls, 0 clqs
13.49/13.53	c (round 9) 18062 del vars, 69347 del conss, 0 add conss, 14193 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16736544 impls, 0 clqs
13.59/13.62	c (round 10) 18160 del vars, 69740 del conss, 0 add conss, 14253 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16737500 impls, 0 clqs
13.59/13.69	c (round 11) 18214 del vars, 69997 del conss, 0 add conss, 14284 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738090 impls, 0 clqs
13.69/13.75	c (round 12) 18250 del vars, 70159 del conss, 0 add conss, 14302 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738464 impls, 0 clqs
13.79/13.82	c (round 13) 18270 del vars, 70255 del conss, 0 add conss, 14312 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738756 impls, 0 clqs
13.79/13.89	c (round 14) 18284 del vars, 70317 del conss, 0 add conss, 14319 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738876 impls, 0 clqs
13.89/13.96	c (round 15) 18290 del vars, 70349 del conss, 0 add conss, 14324 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738920 impls, 0 clqs
13.99/14.02	c (round 16) 18294 del vars, 70369 del conss, 0 add conss, 14324 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738946 impls, 0 clqs
14.69/14.75	c (round 17) 18294 del vars, 70371 del conss, 0 add conss, 14324 chg bounds, 44 chg sides, 81 chg coeffs, 175189 upgd conss, 16738946 impls, 0 clqs
15.79/15.84	c (round 18) 18294 del vars, 70382 del conss, 34 add conss, 14324 chg bounds, 103 chg sides, 295 chg coeffs, 175189 upgd conss, 16738946 impls, 0 clqs
578.91/578.97	c    (579.0s) probing: 1000/54548 (1.8%) - 0 fixings, 0 aggregations, 12344816 implications, 0 bound changes
1123.32/1123.32	c    (1123.3s) probing: 2000/54548 (3.7%) - 0 fixings, 0 aggregations, 19495501 implications, 0 bound changes
1123.82/1123.84	c    (1123.8s) probing: 2001/54548 (3.7%) - 0 fixings, 0 aggregations, 19504410 implications, 0 bound changes
1123.82/1123.84	c    (1123.8s) probing aborted: 2000/2000 successive useless probings
1123.82/1123.85	c presolving (19 rounds):
1123.82/1123.85	c  18294 deleted vars, 70387 deleted constraints, 34 added constraints, 14324 tightened bounds, 0 added holes, 103 changed sides, 299 changed coefficients
1123.82/1123.85	c  92614362 implications, 0 cliques
1123.82/1123.85	c presolved problem has 54548 variables (54548 bin, 0 int, 0 impl, 0 cont) and 175207 constraints
1123.82/1123.85	c    1133 constraints of type <knapsack>
1123.82/1123.85	c  147089 constraints of type <setppc>
1123.82/1123.85	c   26985 constraints of type <logicor>
1123.82/1123.85	c transformed objective value is always integral (scale: 1)
1123.82/1123.85	c Presolving Time: 1121.98
1123.82/1123.85	c - non default parameters ----------------------------------------------------------------------
1123.82/1123.85	c # SCIP version 2.0.1.4
1123.82/1123.85	c 
1123.82/1123.85	c # frequency for displaying node information lines
1123.82/1123.85	c # [type: int, range: [-1,2147483647], default: 100]
1123.82/1123.85	c display/freq = 10000
1123.82/1123.85	c 
1123.82/1123.85	c # maximal time in seconds to run
1123.82/1123.85	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1123.82/1123.85	c limits/time = 1800
1123.82/1123.85	c 
1123.82/1123.85	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1123.82/1123.85	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1123.82/1123.85	c limits/memory = 13950
1123.82/1123.85	c 
1123.82/1123.85	c # default clock type (1: CPU user seconds, 2: wall clock time)
1123.82/1123.85	c # [type: int, range: [1,2], default: 1]
1123.82/1123.85	c timing/clocktype = 2
1123.82/1123.85	c 
1123.82/1123.85	c # belongs reading time to solving time?
1123.82/1123.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1123.82/1123.85	c timing/reading = TRUE
1123.82/1123.85	c 
1123.82/1123.85	c # should presolving try to simplify inequalities
1123.82/1123.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1123.82/1123.85	c constraints/linear/simplifyinequalities = TRUE
1123.82/1123.85	c 
1123.82/1123.85	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1123.82/1123.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1123.82/1123.85	c constraints/indicator/addCouplingCons = TRUE
1123.82/1123.85	c 
1123.82/1123.85	c # should presolving try to simplify knapsacks
1123.82/1123.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1123.82/1123.85	c constraints/knapsack/simplifyinequalities = TRUE
1123.82/1123.85	c 
1123.82/1123.85	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1123.82/1123.85	c # [type: int, range: [-1,2147483647], default: -1]
1123.82/1123.85	c separating/rapidlearning/freq = 0
1123.82/1123.85	c 
1123.82/1123.85	c -----------------------------------------------------------------------------------------------
1123.82/1123.85	c start solving
1123.82/1123.88	c 
1436.44/1436.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1436.44/1436.42	c  1436s|     1 |     0 | 55646 |     - |2728M|   0 |1800 |  54k| 175k|  54k| 175k|   0 |  59 |   0 | 1.060000e+02 |      --      |    Inf 
1800.05/1800.01	c  1800s|     1 |     0 |149247 |     - |2731M|   0 |   - |  54k| 175k|  54k| 175k|  58 |  59 |   0 | 1.060000e+02 |      --      |    Inf 
1800.06/1800.08	c  1800s|     1 |     2 |149247 |     - |2731M|   0 |   - |  54k| 175k|  54k| 175k|  58 |  59 |   0 | 1.060000e+02 |      --      |    Inf 
1800.06/1800.08	c 
1800.06/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.08	c Solving Time (sec) : 1800.07
1800.06/1800.08	c Solving Nodes      : 1
1800.06/1800.08	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.08	c Dual Bound         : +1.06000000000000e+02
1800.06/1800.08	c Gap                : infinite
1800.06/1800.08	s UNKNOWN
1800.06/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.08	c Total Time         :    1800.07
1800.06/1800.08	c   solving          :    1800.07
1800.06/1800.08	c   presolving       :    1121.98 (included in solving)
1800.06/1800.08	c   reading          :       1.64 (included in solving)
1800.06/1800.08	c Original Problem   :
1800.06/1800.08	c   Problem name     : HOME/instance-3453486-1307118892.opb
1800.06/1800.08	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.08	c   Constraints      : 245560 initial, 245560 maximal
1800.06/1800.08	c Presolved Problem  :
1800.06/1800.08	c   Problem name     : t_HOME/instance-3453486-1307118892.opb
1800.06/1800.08	c   Variables        : 54548 (54548 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.08	c   Constraints      : 175207 initial, 175266 maximal
1800.06/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.06/1800.08	c   trivial          :       0.06       1107          0          0          0          0          0          0          0          0
1800.06/1800.08	c   dualfix          :       0.09        122          0          0          0          0          0          0          0          0
1800.06/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.08	c   implics          :       0.61          0          0          0          0          0          0          0          0          0
1800.06/1800.08	c   probing          :    1107.74          0          0          0          0          0          0          0          0          0
1800.06/1800.08	c   knapsack         :       0.93          0          0          0          0          0          7         34         59        218
1800.06/1800.08	c   setppc           :       0.30          0          0          0          0          0          9          0          0          0
1800.06/1800.08	c   linear           :      11.33      13217       3848          0      14324          0      70371          0         44         81
1800.06/1800.08	c   logicor          :       0.05          0          0          0          0          0          0          0          0          0
1800.06/1800.08	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.06/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.08	c   integral         :          0          0          0          0          0          4          0          0          0          0          0          0
1800.06/1800.08	c   knapsack         :       1133          1     100618          0          1          3         80          2          0        108          0          0
1800.06/1800.08	c   setppc           :     147089          1     100616          0          1          1        873          1          0          0          0          0
1800.06/1800.08	c   logicor          :      26985+         1      92437          0          1          0        100         12          0          0          0          0
1800.06/1800.08	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1800.06/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.06/1800.08	c   integral         :       0.01       0.00       0.00       0.00       0.00       0.01       0.00
1800.06/1800.08	c   knapsack         :       7.33       0.01       7.31       0.00       0.00       0.01       0.00
1800.06/1800.08	c   setppc           :     606.06       0.01     606.01       0.00       0.04       0.00       0.00
1800.06/1800.08	c   logicor          :       6.85       0.00       6.84       0.00       0.01       0.00       0.00
1800.06/1800.08	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.06/1800.08	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.06/1800.08	c   vbounds          :          0          0          0          0
1800.06/1800.08	c   rootredcost      :          0          0          0          0
1800.06/1800.08	c   pseudoobj        :        784          0          0          0
1800.06/1800.08	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.06/1800.08	c   vbounds          :       0.04       0.04       0.00
1800.06/1800.08	c   rootredcost      :       0.02       0.02       0.00
1800.06/1800.08	c   pseudoobj        :       0.03       0.03       0.00
1800.06/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.08	c   propagation      :       0.00         15         15        112       27.3          0        0.0          -
1800.06/1800.08	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.08	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.08	c   applied globally :          -          -          -         59       26.2          -          -          -
1800.06/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.08	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.08	c   redcost          :       0.00          1          0          0          0          0
1800.06/1800.08	c   impliedbounds    :       0.02          1          0          0          0          0
1800.06/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.08	c   gomory           :      13.84          1          0          0          0          0
1800.06/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.08	c   closecuts        :       0.00          0          0          0          0          0
1800.06/1800.08	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.08	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.08	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.08	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.08	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.08	c   oddcycle         :       0.00          0          0          0          0          0
1800.06/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.08	c Pricers            :       Time      Calls       Vars
1800.06/1800.08	c   problem variables:       0.00          0          0
1800.06/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.08	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   inference        :       0.01          1          0          0          0          0          2
1800.06/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.08	c   LP solutions     :       0.00          -          0
1800.06/1800.08	c   pseudo solutions :       0.00          -          0
1800.06/1800.08	c   oneopt           :       0.00          0          0
1800.06/1800.08	c   trivial          :       0.08          2          0
1800.06/1800.08	c   shiftandpropagate:       4.11          1          0
1800.06/1800.08	c   simplerounding   :       0.00          0          0
1800.06/1800.08	c   zirounding       :       0.00          0          0
1800.06/1800.08	c   rounding         :       0.01          1          0
1800.06/1800.08	c   shifting         :       0.01          1          0
1800.06/1800.08	c   intshifting      :       0.00          0          0
1800.06/1800.08	c   twoopt           :       0.00          0          0
1800.06/1800.08	c   fixandinfer      :       0.00          0          0
1800.06/1800.08	c   feaspump         :     349.67          1          0
1800.06/1800.08	c   clique           :       0.00          0          0
1800.06/1800.08	c   coefdiving       :       0.00          0          0
1800.06/1800.08	c   pscostdiving     :       0.00          0          0
1800.06/1800.08	c   fracdiving       :       0.00          0          0
1800.06/1800.08	c   veclendiving     :       0.00          0          0
1800.06/1800.08	c   intdiving        :       0.00          0          0
1800.06/1800.08	c   actconsdiving    :       0.00          0          0
1800.06/1800.08	c   objpscostdiving  :       0.00          0          0
1800.06/1800.08	c   rootsoldiving    :       0.00          0          0
1800.06/1800.08	c   linesearchdiving :       0.00          0          0
1800.06/1800.08	c   guideddiving     :       0.00          0          0
1800.06/1800.08	c   octane           :       0.00          0          0
1800.06/1800.08	c   rens             :       0.00          0          0
1800.06/1800.08	c   rins             :       0.00          0          0
1800.06/1800.08	c   localbranching   :       0.00          0          0
1800.06/1800.08	c   mutation         :       0.00          0          0
1800.06/1800.08	c   crossover        :       0.00          0          0
1800.06/1800.08	c   dins             :       0.00          0          0
1800.06/1800.08	c   vbounds          :       0.00          0          0
1800.06/1800.08	c   undercover       :       0.00          0          0
1800.06/1800.08	c   subnlp           :       0.00          0          0
1800.06/1800.08	c   trysol           :       0.00          0          0
1800.06/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.08	c   dual LP          :     308.36          1      55646   55646.00     180.46
1800.06/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.08	c   diving/probing LP:     349.08         12      93601    7800.08     268.13
1800.06/1800.08	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.08	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.08	c B&B Tree           :
1800.06/1800.08	c   number of runs   :          1
1800.06/1800.08	c   nodes            :          1
1800.06/1800.08	c   nodes (total)    :          1
1800.06/1800.08	c   nodes left       :          2
1800.06/1800.08	c   max depth        :          0
1800.06/1800.08	c   max depth (total):          0
1800.06/1800.08	c   backtracks       :          0 (0.0%)
1800.06/1800.08	c   delayed cutoffs  :          0
1800.06/1800.08	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.06/1800.08	c   avg switch length:       1.00
1800.06/1800.08	c   switching time   :       0.00
1800.06/1800.08	c Solution           :
1800.06/1800.08	c   Solutions found  :          0 (0 improvements)
1800.06/1800.08	c   Primal Bound     :          -
1800.06/1800.08	c   Dual Bound       : +1.06000000000000e+02
1800.06/1800.08	c   Gap              :   infinite
1800.06/1800.08	c   Root Dual Bound  : +1.06000000000000e+02
1800.06/1800.08	c   Root Iterations  :     149247
1800.85/1800.88	c Time complete: 1800.93.

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

running on 4 cores: 0,2,4,6

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: 1.20 1.09 1.36 3/498 22950
/proc/meminfo: memFree=26617940/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=10788 CPUtime=0 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 1682 0 0 0 0 0 0 0 22 0 1 0 902119856 11046912 1635 33554432000 4194304 9128323 140735545684336 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22950/statm: 2697 1635 400 1205 0 1488 0

[startup+0.093784 s]
/proc/loadavg: 1.20 1.09 1.36 3/498 22950
/proc/meminfo: memFree=26617940/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=25316 CPUtime=0.08 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 5343 0 0 0 8 0 0 0 22 0 1 0 902119856 25923584 5294 33554432000 4194304 9128323 140735545684336 18446744073709551615 7998243 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22950/statm: 6329 5294 400 1205 0 5120 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25316

[startup+0.100779 s]
/proc/loadavg: 1.20 1.09 1.36 3/498 22950
/proc/meminfo: memFree=26617940/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=27364 CPUtime=0.09 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 5774 0 0 0 9 0 0 0 22 0 1 0 902119856 28020736 5726 33554432000 4194304 9128323 140735545684336 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22950/statm: 6841 5750 400 1205 0 5632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27364

[startup+0.300743 s]
/proc/loadavg: 1.20 1.09 1.36 3/498 22950
/proc/meminfo: memFree=26617940/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=50212 CPUtime=0.29 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 11587 0 0 0 28 1 0 0 23 0 1 0 902119856 51417088 11506 33554432000 4194304 9128323 140735545684336 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22950/statm: 12553 11506 400 1205 0 11344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50212

[startup+0.700668 s]
/proc/loadavg: 1.20 1.09 1.36 3/498 22950
/proc/meminfo: memFree=26617940/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=69408 CPUtime=0.68 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 16372 0 0 0 67 1 0 0 25 0 1 0 902119856 71073792 16283 33554432000 4194304 9128323 140735545684336 18446744073709551615 8120636 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22950/statm: 17352 16283 400 1205 0 16143 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 69408

[startup+1.50052 s]
/proc/loadavg: 1.20 1.09 1.36 3/499 22951
/proc/meminfo: memFree=26452764/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=131208 CPUtime=1.49 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 31796 0 0 0 146 3 0 0 25 0 1 0 902119856 134356992 31691 33554432000 4194304 9128323 140735545684336 18446744073709551615 8008939 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22950/statm: 32802 31691 400 1205 0 31593 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131208

[startup+3.10023 s]
/proc/loadavg: 1.20 1.09 1.36 3/499 22951
/proc/meminfo: memFree=25923412/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=472068 CPUtime=3.09 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 127330 0 0 0 295 14 0 0 25 0 1 0 902119856 483397632 115043 33554432000 4194304 9128323 140735545684336 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 118017 115043 501 1205 0 116808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 472068

[startup+6.30063 s]
/proc/loadavg: 1.27 1.10 1.36 3/499 22951
/proc/meminfo: memFree=25253488/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=763080 CPUtime=6.29 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 199033 0 0 0 605 24 0 0 25 0 1 0 902119856 781393920 186746 33554432000 4194304 9128323 140735545684336 18446744073709551615 4832118 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 190770 186746 510 1205 0 189561 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 763080

[startup+12.7004 s]
/proc/loadavg: 1.33 1.12 1.36 3/499 22951
/proc/meminfo: memFree=24903600/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=895600 CPUtime=12.69 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 231545 0 0 0 1242 27 0 0 25 0 1 0 902119856 917094400 218031 33554432000 4194304 9128323 140735545684336 18446744073709551615 6594421 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 223900 218031 523 1205 0 222691 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 895600

[startup+25.5011 s]
/proc/loadavg: 1.47 1.16 1.37 3/499 22951
/proc/meminfo: memFree=24695644/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=992496 CPUtime=25.49 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 273223 0 0 0 2517 32 0 0 25 0 1 0 902119856 1016315904 241357 33554432000 4194304 9128323 140735545684336 18446744073709551615 6588968 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 248124 241357 569 1205 0 246915 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 992496

[startup+51.1003 s]
/proc/loadavg: 1.65 1.22 1.39 3/499 22952
/proc/meminfo: memFree=24602512/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=1044372 CPUtime=51.09 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 285891 0 0 0 5075 34 0 0 25 0 1 0 902119856 1069436928 254025 33554432000 4194304 9128323 140735545684336 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 261093 254025 569 1205 0 259884 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1044372

[startup+102.319 s]
/proc/loadavg: 1.85 1.34 1.42 3/499 22953
/proc/meminfo: memFree=24300412/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=1207108 CPUtime=102.31 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 325759 0 0 0 10193 38 0 0 25 0 1 0 902119856 1236078592 293893 33554432000 4194304 9128323 140735545684336 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 301777 293893 569 1205 0 300568 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1207108

[startup+162.301 s]
/proc/loadavg: 2.02 1.49 1.46 3/499 22955
/proc/meminfo: memFree=23936544/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=1437900 CPUtime=162.29 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 383931 0 0 0 16184 45 0 0 25 0 1 0 902119856 1472409600 351372 33554432000 4194304 9128323 140735545684336 18446744073709551615 4840374 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 359475 351372 569 1205 0 358266 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1437900

[startup+222.301 s]
/proc/loadavg: 2.04 1.59 1.50 3/499 22956
/proc/meminfo: memFree=23468644/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=1649592 CPUtime=222.29 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 436226 0 0 0 22178 51 0 0 25 0 1 0 902119856 1689182208 403667 33554432000 4194304 9128323 140735545684336 18446744073709551615 5488500 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 412398 403667 569 1205 0 411189 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1649592

[startup+282.3 s]
/proc/loadavg: 2.01 1.66 1.52 3/499 22961
/proc/meminfo: memFree=23130348/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=1862356 CPUtime=282.3 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 488810 0 0 0 28172 58 0 0 25 0 1 0 902119856 1907052544 456086 33554432000 4194304 9128323 140735545684336 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 465589 456086 569 1205 0 464380 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1862356

[startup+342.3 s]
/proc/loadavg: 2.15 1.77 1.57 3/499 22963
/proc/meminfo: memFree=22808484/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=2048920 CPUtime=342.3 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 534440 0 0 0 34165 65 0 0 25 0 1 0 902119856 2098094080 501716 33554432000 4194304 9128323 140735545684336 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 512230 501716 569 1205 0 511021 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2048920

[startup+402.3 s]
/proc/loadavg: 2.05 1.81 1.59 3/499 22964
/proc/meminfo: memFree=22601492/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=2140988 CPUtime=402.3 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 558084 0 0 0 40162 68 0 0 25 0 1 0 902119856 2192371712 525360 33554432000 4194304 9128323 140735545684336 18446744073709551615 4792511 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 535247 525360 569 1205 0 534038 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2140988

[startup+462.301 s]
/proc/loadavg: 2.02 1.84 1.61 3/499 22966
/proc/meminfo: memFree=22284004/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=2295392 CPUtime=462.3 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 596390 0 0 0 46156 74 0 0 25 0 1 0 902119856 2350481408 563666 33554432000 4194304 9128323 140735545684336 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 573848 563666 569 1205 0 572639 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2295392

[startup+522.301 s]
/proc/loadavg: 2.00 1.86 1.64 3/499 22967
/proc/meminfo: memFree=22106396/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=2399304 CPUtime=522.31 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 622647 0 0 0 52154 77 0 0 25 0 1 0 902119856 2456887296 589923 33554432000 4194304 9128323 140735545684336 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 599826 589923 569 1205 0 598617 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2399304

[startup+582.301 s]
/proc/loadavg: 2.00 1.89 1.65 3/499 22969
/proc/meminfo: memFree=21875952/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=2497768 CPUtime=582.31 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 646139 0 0 0 58150 81 0 0 25 0 1 0 902119856 2557714432 613415 33554432000 4194304 9128323 140735545684336 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 624442 613415 573 1205 0 623233 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2497768

[startup+642.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.08 2.01 1.78 3/499 22979
/proc/meminfo: memFree=20927988/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3129312 CPUtime=942.32 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 802926 0 0 0 94131 101 0 0 25 0 1 0 902119856 3204415488 770202 33554432000 4194304 9128323 140735545684336 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 782328 770202 573 1205 0 781119 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 3129312

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.79 3/499 22980
/proc/meminfo: memFree=20791676/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3215516 CPUtime=1002.32 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 824620 0 0 0 100128 104 0 0 25 0 1 0 902119856 3292688384 791896 33554432000 4194304 9128323 140735545684336 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 803879 791896 573 1205 0 802670 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3215516

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.80 3/499 22982
/proc/meminfo: memFree=20458044/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3254860 CPUtime=1062.33 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 834744 0 0 0 106127 106 0 0 25 0 1 0 902119856 3332976640 802020 33554432000 4194304 9128323 140735545684336 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 813715 802020 573 1205 0 812506 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3254860

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/499 22983
/proc/meminfo: memFree=20361916/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3331900 CPUtime=1122.32 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 854140 0 0 0 112124 108 0 0 25 0 1 0 902119856 3411865600 821416 33554432000 4194304 9128323 140735545684336 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 832975 821416 573 1205 0 831766 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3331900

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/499 22985
/proc/meminfo: memFree=20036520/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3656180 CPUtime=1182.32 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 930786 0 0 0 118114 118 0 0 25 0 1 0 902119856 3743928320 895947 33554432000 4194304 9128323 140735545684336 18446744073709551615 7316108 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 914045 895947 838 1205 0 912836 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3656180

[startup+1242.3 s]
/proc/loadavg: 2.16 2.03 1.84 3/499 22987
/proc/meminfo: memFree=19988244/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3676948 CPUtime=1242.33 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 937914 0 0 0 124110 123 0 0 25 0 1 0 902119856 3765194752 902307 33554432000 4194304 9128323 140735545684336 18446744073709551615 7316103 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 919237 902307 779 1205 0 918028 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3676948

[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 1.84 3/499 22988
/proc/meminfo: memFree=19966752/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3692360 CPUtime=1302.34 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 942044 0 0 0 130108 126 0 0 25 0 1 0 902119856 3780976640 906353 33554432000 4194304 9128323 140735545684336 18446744073709551615 7316122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 923090 906353 727 1205 0 921881 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3692360

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.85 3/499 22990
/proc/meminfo: memFree=19938176/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3715620 CPUtime=1362.33 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 946777 0 0 0 136103 130 0 0 25 0 1 0 902119856 3804794880 910958 33554432000 4194304 9128323 140735545684336 18446744073709551615 7316191 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 928905 910958 728 1205 0 927696 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3715620

[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 1.86 3/499 22991
/proc/meminfo: memFree=19933788/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3715620 CPUtime=1422.36 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 947687 0 0 0 142104 132 0 0 25 0 1 0 902119856 3804794880 911868 33554432000 4194304 9128323 140735545684336 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 928905 911868 754 1205 0 927696 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 3715620

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.87 3/499 22993
/proc/meminfo: memFree=19942432/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3700348 CPUtime=1482.34 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 964252 0 0 0 148097 137 0 0 25 0 1 0 902119856 3789156352 910165 33554432000 4194304 9128323 140735545684336 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 925087 910165 1391 1205 0 923878 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3700348

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.87 3/499 22995
/proc/meminfo: memFree=19942772/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3700348 CPUtime=1542.34 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 964260 0 0 0 154095 139 0 0 25 0 1 0 902119856 3789156352 910170 33554432000 4194304 9128323 140735545684336 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 925087 910170 1388 1205 0 923878 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3700348

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/499 23005
/proc/meminfo: memFree=19942192/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3700348 CPUtime=1602.34 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 964260 0 0 0 160092 142 0 0 25 0 1 0 902119856 3789156352 910170 33554432000 4194304 9128323 140735545684336 18446744073709551615 7328447 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 925087 910170 1388 1205 0 923878 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3700348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/499 23007
/proc/meminfo: memFree=19943268/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3700348 CPUtime=1662.34 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 964260 0 0 0 166090 144 0 0 25 0 1 0 902119856 3789156352 910170 33554432000 4194304 9128323 140735545684336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 925087 910170 1388 1205 0 923878 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3700348

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/499 23008
/proc/meminfo: memFree=19941252/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3700348 CPUtime=1722.35 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 964260 0 0 0 172086 149 0 0 25 0 1 0 902119856 3789156352 910170 33554432000 4194304 9128323 140735545684336 18446744073709551615 7325461 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 925087 910170 1388 1205 0 923878 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3700348

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 1.91 3/499 23010
/proc/meminfo: memFree=19937740/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3700348 CPUtime=1782.35 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 964586 0 0 0 178078 157 0 0 25 0 1 0 902119856 3789156352 910254 33554432000 4194304 9128323 140735545684336 18446744073709551615 7381250 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 925087 910254 1158 1205 0 923878 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3700348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.14 2.04 1.91 3/500 23012
/proc/meminfo: memFree=19985704/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3638404 CPUtime=1800.06 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 964756 0 0 0 179847 159 0 0 25 0 1 0 902119856 3725725696 897948 33554432000 4194304 9128323 140735545684336 18446744073709551615 8012823 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22950/statm: 909601 897948 1155 1205 0 908392 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3638404

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

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

[startup+1800.6 s]
/proc/loadavg: 2.14 2.04 1.91 3/501 23013
/proc/meminfo: memFree=20027360/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=3580708 CPUtime=1800.66 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 965248 0 0 0 179907 159 0 0 25 0 1 0 902119856 3666644992 878912 33554432000 4194304 9128323 140735545684336 18446744073709551615 4791278 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22950/statm: 895177 878912 1168 1205 0 893968 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 3580708

[startup+1800.8 s]
/proc/loadavg: 2.14 2.04 1.91 3/501 23013
/proc/meminfo: memFree=20027360/32950928 swapFree=34421304/67111528
[pid=22950] ppid=22948 vsize=2505400 CPUtime=1800.85 cores=0,2,4,6
/proc/22950/stat : 22950 (scip-2.0.1.4.li) R 22948 22950 20254 0 -1 4202496 965254 0 0 0 179920 165 0 0 25 0 1 0 902119856 2565529600 532927 33554432000 4194304 9128323 140735545684336 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22950/statm: 626350 532435 733 1205 0 625141 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 2505400

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.94
CPU user time (s): 1799.21
CPU system time (s): 1.73274
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3715620

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

runsolver used 9.24659 second user time and 20.2629 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-03 18:34:52
IDJOB=3453486
IDBENCH=77288
IDSOLVER=1949
FILE ID=node113/3453486-1307118892
RUNJOBID= node113-1307118892-22930
PBS_JOBID= 13497976
Free space on /tmp= 73748 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/j120opt/normalized-j12039_5.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-3453486-1307118892/watcher-3453486-1307118892 -o /tmp/evaluation-result-3453486-1307118892/solver-3453486-1307118892 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453486-1307118892.opb -t 1800 -m 15500

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

MD5SUM BENCH= 2ad232a611946b6f658e48d157248bbb
RANDOM SEED=2085500446

node113.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.846
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.69
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.846
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.76
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.846
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.846
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.75
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.846
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.74
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.846
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.846
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26619096 kB
Buffers:        240840 kB
Cached:         732192 kB
SwapCached:      13476 kB
Active:        5404140 kB
Inactive:       606624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26619096 kB
SwapTotal:    67111528 kB
SwapFree:     34421304 kB
Dirty:           39492 kB
Writeback:           0 kB
AnonPages:     5034948 kB
Mapped:          22624 kB
Slab:           135312 kB
PageTables:     116916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 154796016 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= 73736 MiB
End job on node113 at 2011-06-03 19:04:54