Trace number 2667131

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 NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.06 1800.74

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
MD5SUM8999d4ddd4825a5d620fe0a3c798bc24
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.39064
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables316
Total number of constraints476
Number of constraints which are clauses274
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 14
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 114
Number of bits of the biggest sum of numbers7
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 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2667131-1276269782.opb>
0.00/0.02	c original problem has 316 variables (316 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.02	c problem read
0.00/0.02	c No objective function, only one solution is needed.
0.00/0.02	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.04	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 476 upgd conss, 348 impls, 0 clqs
0.00/0.06	c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 476 upgd conss, 9460 impls, 0 clqs
0.00/0.06	c presolving (3 rounds):
0.00/0.06	c  8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06	c  9460 implications, 0 cliques
0.00/0.06	c presolved problem has 308 variables (308 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.06	c     202 constraints of type <knapsack>
0.00/0.06	c     274 constraints of type <logicor>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.03
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 1.2.1.2
0.00/0.06	c 
0.00/0.06	c # frequency for displaying node information lines
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06	c display/freq = 10000
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/time = 1799.99
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/memory = 1620
0.00/0.06	c 
0.00/0.06	c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c limits/solutions = 1
0.00/0.06	c 
0.00/0.06	c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06	c separating/maxrounds = 1
0.00/0.06	c 
0.00/0.06	c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/maxroundsroot = 5
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify inequalities
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/linear/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06	c constraints/knapsack/disaggregation = FALSE
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify knapsacks
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c presolving/probing/maxrounds = 0
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06	c heuristics/coefdiving/freq = -1
0.00/0.06	c 
0.00/0.06	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06	c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.06	c 
0.00/0.06	c # additional number of allowed LP iterations
0.00/0.06	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06	c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06	c heuristics/crossover/freq = -1
0.00/0.06	c 
0.00/0.06	c # number of nodes added to the contingent of the total nodes
0.00/0.06	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06	c heuristics/crossover/nodesofs = 750
0.00/0.06	c 
0.00/0.06	c # number of nodes without incumbent change that heuristic should wait
0.00/0.06	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06	c heuristics/crossover/nwaitingnodes = 100
0.00/0.06	c 
0.00/0.06	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06	c # [type: real, range: [0,1], default: 0.1]
0.00/0.06	c heuristics/crossover/nodesquot = 0.15
0.00/0.06	c 
0.00/0.06	c # minimum percentage of integer variables that have to be fixed 
0.00/0.06	c # [type: real, range: [0,1], default: 0.666]
0.00/0.06	c heuristics/crossover/minfixingrate = 0.5
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06	c heuristics/feaspump/freq = -1
0.00/0.06	c 
0.00/0.06	c # additional number of allowed LP iterations
0.00/0.06	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06	c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06	c heuristics/fracdiving/freq = -1
0.00/0.06	c 
0.00/0.06	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06	c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.06	c 
0.00/0.06	c # additional number of allowed LP iterations
0.00/0.06	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06	c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06	c heuristics/guideddiving/freq = -1
0.00/0.06	c 
0.00/0.06	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06	c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.06	c 
0.00/0.06	c # additional number of allowed LP iterations
0.00/0.06	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06	c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.06	c 
0.00/0.06	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06	c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06	c heuristics/intshifting/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06	c heuristics/linesearchdiving/freq = -1
0.00/0.06	c 
0.00/0.06	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.06	c 
0.00/0.06	c # additional number of allowed LP iterations
0.00/0.06	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06	c heuristics/nlp/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06	c heuristics/objpscostdiving/freq = -1
0.00/0.06	c 
0.00/0.06	c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06	c # [type: real, range: [0,1], default: 0.01]
0.00/0.06	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06	c 
0.00/0.06	c # additional number of allowed LP iterations
0.00/0.06	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06	c heuristics/oneopt/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06	c heuristics/pscostdiving/freq = -1
0.00/0.06	c 
0.00/0.06	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06	c 
0.00/0.06	c # additional number of allowed LP iterations
0.00/0.06	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06	c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06	c heuristics/rens/freq = -1
0.00/0.06	c 
0.00/0.06	c # minimum percentage of integer variables that have to be fixable 
0.00/0.06	c # [type: real, range: [0,1], default: 0.5]
0.00/0.06	c heuristics/rens/minfixingrate = 0.3
0.00/0.06	c 
0.00/0.06	c # number of nodes added to the contingent of the total nodes
0.00/0.06	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06	c heuristics/rens/nodesofs = 2000
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06	c heuristics/rootsoldiving/freq = -1
0.00/0.06	c 
0.00/0.06	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06	c 
0.00/0.06	c # additional number of allowed LP iterations
0.00/0.06	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06	c heuristics/rounding/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06	c heuristics/shifting/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06	c heuristics/simplerounding/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06	c heuristics/trivial/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06	c heuristics/trysol/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06	c heuristics/veclendiving/freq = -1
0.00/0.06	c 
0.00/0.06	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06	c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06	c 
0.00/0.06	c # additional number of allowed LP iterations
0.00/0.06	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06	c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06	c 
0.00/0.06	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06	c heuristics/zirounding/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06	c separating/cmir/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06	c separating/flowcover/freq = -1
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/rapidlearning/freq = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.00/0.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.08	c   0.0s|     1 |     0 |   134 |     - |1906k|   0 |  80 | 308 | 476 | 308 | 468 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.2s|     1 |     0 |   349 |     - |2609k|   0 | 144 | 308 | 477 | 308 | 709 | 241 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.52	c   0.4s|     1 |     0 |   523 |     - |3834k|   0 | 183 | 308 | 477 | 308 | 896 | 428 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.70/0.74	c   0.7s|     1 |     0 |   582 |     - |5468k|   0 | 186 | 308 | 477 | 308 | 906 | 438 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.89/0.97	c   0.9s|     1 |     0 |   590 |     - |6910k|   0 | 184 | 308 | 477 | 308 | 932 | 464 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.20/1.22	c   1.1s|     1 |     0 |   638 |     - |8791k|   0 | 183 | 308 | 477 | 308 | 934 | 466 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.89/1.90	c   1.8s|     1 |     2 |   638 |     - |8791k|   0 | 183 | 308 | 477 | 308 | 934 | 466 |   0 |  10 | 0.000000e+00 |      --      |    Inf 
22.68/22.78	c  22.0s| 10000 |    72 | 85198 |   8.5 |9228k|  40 |  27 | 308 | 815 | 308 | 594 | 466 | 471 |2050 | 0.000000e+00 |      --      |    Inf 
38.37/38.46	c  37.2s| 20000 |    82 |168988 |   8.4 |9383k|  41 |   - | 308 |1087 |   0 |   0 | 466 | 977 |2291 | 0.000000e+00 |      --      |    Inf 
55.76/55.81	c  54.0s| 30000 |    93 |257490 |   8.6 |9450k|  41 |  22 | 308 |1088 | 308 | 594 | 466 |1432 |2849 | 0.000000e+00 |      --      |    Inf 
72.16/72.27	c  69.9s| 40000 |   113 |339400 |   8.5 |9601k|  46 |   - | 308 |1329 |   0 |   0 | 466 |1923 |3479 | 0.000000e+00 |      --      |    Inf 
87.26/87.37	c  84.5s| 50000 |   121 |415630 |   8.3 |9732k|  46 |   - | 308 |1565 |   0 |   0 | 466 |2481 |3846 | 0.000000e+00 |      --      |    Inf 
103.85/103.98	c   100s| 60000 |   130 |501542 |   8.3 |9783k|  48 |   - | 308 |1543 |   0 |   0 | 466 |2971 |4230 | 0.000000e+00 |      --      |    Inf 
119.35/119.45	c   115s| 70000 |   122 |581620 |   8.3 |9773k|  50 |  49 | 308 |1538 | 308 | 594 | 466 |3532 |4596 | 0.000000e+00 |      --      |    Inf 
135.13/135.24	c   131s| 80000 |   123 |663086 |   8.3 |9814k|  50 |   - | 308 |1617 |   0 |   0 | 466 |4012 |4924 | 0.000000e+00 |      --      |    Inf 
150.13/150.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
150.13/150.25	c   145s| 90000 |   121 |741053 |   8.2 |9898k|  50 |  27 | 308 |1857 | 308 | 594 | 466 |4532 |5199 | 0.000000e+00 |      --      |    Inf 
163.33/163.41	c   158s|100000 |   126 |807843 |   8.1 |  10M|  50 |   - | 308 |2089 |   0 |   0 | 466 |5160 |5354 | 0.000000e+00 |      --      |    Inf 
176.22/176.36	c   170s|110000 |   129 |871168 |   7.9 |  10M|  50 |   - | 308 |2226 | 308 | 594 | 466 |5813 |5519 | 0.000000e+00 |      --      |    Inf 
190.02/190.13	c   184s|120000 |   119 |939693 |   7.8 |  10M|  50 |  22 | 308 |2110 | 308 | 594 | 466 |6413 |5694 | 0.000000e+00 |      --      |    Inf 
203.12/203.30	c   196s|130000 |   128 |  1003k|   7.7 |  10M|  50 |   - | 308 |2249 |   0 |   0 | 466 |7037 |5927 | 0.000000e+00 |      --      |    Inf 
217.60/217.77	c   210s|140000 |   123 |  1078k|   7.7 |  10M|  50 |   - | 308 |2262 |   0 |   0 | 466 |7596 |6112 | 0.000000e+00 |      --      |    Inf 
232.50/232.60	c   225s|150000 |   126 |  1152k|   7.7 |  10M|  50 |  17 | 308 |2219 | 308 | 594 | 466 |8099 |6414 | 0.000000e+00 |      --      |    Inf 
247.60/247.77	c   239s|160000 |   137 |  1230k|   7.7 |  10M|  50 |  22 | 308 |2406 | 308 | 594 | 466 |8605 |6664 | 0.000000e+00 |      --      |    Inf 
263.69/263.85	c   255s|170000 |   138 |  1313k|   7.7 |  10M|  50 |  29 | 308 |1866 | 308 | 594 | 466 |9052 |6930 | 0.000000e+00 |      --      |    Inf 
279.19/279.40	c   270s|180000 |   146 |  1393k|   7.7 |  10M|  50 |   - | 308 |1926 |   0 |   0 | 466 |9629 |7146 | 0.000000e+00 |      --      |    Inf 
294.09/294.25	c   285s|190000 |   155 |  1470k|   7.7 |  10M|  50 |  36 | 308 |2078 | 308 | 594 | 466 |  10k|7289 | 0.000000e+00 |      --      |    Inf 
311.47/311.66	c   301s|200000 |   145 |  1562k|   7.8 |  10M|  50 |   - | 308 |1766 | 308 | 594 | 466 |  10k|7535 | 0.000000e+00 |      --      |    Inf 
326.67/326.89	c   316s|210000 |   160 |  1643k|   7.8 |  10M|  50 |  14 | 308 |1740 | 308 | 594 | 466 |  11k|7667 | 0.000000e+00 |      --      |    Inf 
342.95/343.11	c   332s|220000 |   145 |  1729k|   7.9 |  10M|  57 |   - | 308 |1730 |   0 |   0 | 466 |  11k|7868 | 0.000000e+00 |      --      |    Inf 
358.25/358.45	c   347s|230000 |   157 |  1811k|   7.9 |  10M|  57 |  20 | 308 |1715 | 308 | 594 | 466 |  12k|8028 | 0.000000e+00 |      --      |    Inf 
371.05/371.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
371.05/371.23	c   359s|240000 |   163 |  1876k|   7.8 |  10M|  57 |   - | 308 |1917 |   0 |   0 | 466 |  12k|8127 | 0.000000e+00 |      --      |    Inf 
384.23/384.48	c   372s|250000 |   159 |  1943k|   7.8 |  10M|  57 |   - | 308 |1990 |   0 |   0 | 466 |  13k|8209 | 0.000000e+00 |      --      |    Inf 
397.43/397.66	c   385s|260000 |   156 |  2010k|   7.7 |  10M|  58 |  21 | 308 |1966 | 308 | 594 | 466 |  13k|8342 | 0.000000e+00 |      --      |    Inf 
411.33/411.57	c   398s|270000 |   161 |  2082k|   7.7 |  10M|  58 |   - | 308 |1952 |   0 |   0 | 466 |  14k|8407 | 0.000000e+00 |      --      |    Inf 
425.12/425.34	c   411s|280000 |   158 |  2152k|   7.7 |  10M|  58 |  16 | 308 |2119 | 308 | 594 | 466 |  14k|8527 | 0.000000e+00 |      --      |    Inf 
440.01/440.27	c   426s|290000 |   163 |  2230k|   7.7 |  10M|  59 |  22 | 308 |1985 | 308 | 594 | 466 |  15k|8655 | 0.000000e+00 |      --      |    Inf 
456.60/456.90	c   442s|300000 |   154 |  2314k|   7.7 |  10M|  60 |  39 | 308 |1942 | 308 | 594 | 466 |  15k|9138 | 0.000000e+00 |      --      |    Inf 
472.30/472.56	c   457s|310000 |   166 |  2395k|   7.7 |  10M|  60 |   - | 308 |2033 |   0 |   0 | 466 |  16k|9285 | 0.000000e+00 |      --      |    Inf 
485.79/486.00	c   470s|320000 |   180 |  2462k|   7.7 |  10M|  60 |   - | 308 |2293 |   0 |   0 | 466 |  16k|9373 | 0.000000e+00 |      --      |    Inf 
500.40/500.64	c   484s|330000 |   161 |  2537k|   7.7 |  10M|  60 |  35 | 308 |2201 | 308 | 594 | 466 |  17k|9441 | 0.000000e+00 |      --      |    Inf 
514.48/514.75	c   498s|340000 |   168 |  2609k|   7.7 |  10M|  60 |   - | 308 |2188 | 308 | 594 | 466 |  18k|9561 | 0.000000e+00 |      --      |    Inf 
529.77/530.06	c   512s|350000 |   165 |  2689k|   7.7 |  10M|  60 |  35 | 308 |2291 | 308 | 594 | 466 |  18k|9695 | 0.000000e+00 |      --      |    Inf 
545.67/545.98	c   528s|360000 |   172 |  2772k|   7.7 |  10M|  60 |  34 | 308 |2449 | 308 | 594 | 466 |  19k|9784 | 0.000000e+00 |      --      |    Inf 
562.17/562.48	c   544s|370000 |   163 |  2853k|   7.7 |  10M|  60 |  30 | 308 |2223 | 308 | 594 | 466 |  19k|  10k| 0.000000e+00 |      --      |    Inf 
578.36/578.70	c   560s|380000 |   161 |  2941k|   7.7 |  10M|  60 |   - | 308 |1876 | 308 | 594 | 466 |  20k|  10k| 0.000000e+00 |      --      |    Inf 
594.25/594.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
594.25/594.57	c   575s|390000 |   195 |  3028k|   7.8 |  10M|  60 |  24 | 308 |1976 | 308 | 594 | 466 |  20k|  10k| 0.000000e+00 |      --      |    Inf 
609.65/609.96	c   590s|400000 |   150 |  3109k|   7.8 |  10M|  60 |   - | 308 |1920 | 308 | 594 | 466 |  21k|  10k| 0.000000e+00 |      --      |    Inf 
623.34/623.68	c   603s|410000 |   153 |  3179k|   7.8 |  10M|  60 |   - | 308 |2043 | 308 | 594 | 466 |  21k|  10k| 0.000000e+00 |      --      |    Inf 
636.53/636.85	c   616s|420000 |   155 |  3246k|   7.7 |  10M|  60 |   - | 308 |2288 |   0 |   0 | 466 |  22k|  10k| 0.000000e+00 |      --      |    Inf 
650.42/650.72	c   629s|430000 |   146 |  3317k|   7.7 |  10M|  60 |  19 | 308 |2238 | 308 | 594 | 466 |  22k|  10k| 0.000000e+00 |      --      |    Inf 
664.92/665.24	c   643s|440000 |   148 |  3393k|   7.7 |  10M|  60 |   - | 308 |2179 |   0 |   0 | 466 |  23k|  10k| 0.000000e+00 |      --      |    Inf 
678.52/678.84	c   656s|450000 |   145 |  3458k|   7.7 |  10M|  60 |  22 | 308 |2014 | 308 | 594 | 466 |  24k|  11k| 0.000000e+00 |      --      |    Inf 
691.51/691.86	c   669s|460000 |   161 |  3522k|   7.7 |  10M|  60 |  30 | 308 |2201 | 308 | 594 | 466 |  24k|  11k| 0.000000e+00 |      --      |    Inf 
704.10/704.44	c   681s|470000 |   150 |  3582k|   7.6 |  10M|  60 |   - | 308 |2330 |   0 |   0 | 466 |  25k|  11k| 0.000000e+00 |      --      |    Inf 
717.90/718.23	c   694s|480000 |   165 |  3651k|   7.6 |  10M|  60 |  15 | 308 |2464 | 308 | 594 | 466 |  26k|  11k| 0.000000e+00 |      --      |    Inf 
732.49/732.84	c   709s|490000 |   160 |  3724k|   7.6 |  10M|  60 |  32 | 308 |2605 | 308 | 594 | 466 |  26k|  11k| 0.000000e+00 |      --      |    Inf 
747.28/747.69	c   723s|500000 |   162 |  3798k|   7.6 |  10M|  60 |   - | 308 |2538 |   0 |   0 | 466 |  27k|  11k| 0.000000e+00 |      --      |    Inf 
761.28/761.61	c   736s|510000 |   159 |  3868k|   7.6 |  10M|  60 |   - | 308 |2670 |   0 |   0 | 466 |  27k|  11k| 0.000000e+00 |      --      |    Inf 
775.98/776.33	c   751s|520000 |   162 |  3942k|   7.6 |  10M|  60 |  32 | 308 |2638 | 308 | 594 | 466 |  28k|  11k| 0.000000e+00 |      --      |    Inf 
791.07/791.45	c   765s|530000 |   184 |  4018k|   7.6 |  10M|  60 |   - | 308 |2552 |   0 |   0 | 466 |  28k|  11k| 0.000000e+00 |      --      |    Inf 
805.66/806.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
805.66/806.06	c   779s|540000 |   165 |  4091k|   7.6 |  10M|  60 |   - | 308 |2639 |   0 |   0 | 466 |  29k|  11k| 0.000000e+00 |      --      |    Inf 
818.87/819.28	c   792s|550000 |   166 |  4154k|   7.6 |  10M|  60 |  23 | 308 |2756 | 308 | 594 | 466 |  29k|  11k| 0.000000e+00 |      --      |    Inf 
832.96/833.39	c   806s|560000 |   167 |  4222k|   7.5 |  10M|  60 |  24 | 308 |2667 | 308 | 594 | 466 |  30k|  11k| 0.000000e+00 |      --      |    Inf 
848.15/848.59	c   820s|570000 |   158 |  4296k|   7.5 |  10M|  60 |  15 | 308 |2265 | 308 | 594 | 466 |  31k|  12k| 0.000000e+00 |      --      |    Inf 
861.34/861.79	c   833s|580000 |   158 |  4362k|   7.5 |  10M|  60 |  24 | 308 |2328 | 308 | 594 | 466 |  31k|  12k| 0.000000e+00 |      --      |    Inf 
874.44/874.89	c   846s|590000 |   154 |  4428k|   7.5 |  10M|  60 |  32 | 308 |2340 | 308 | 594 | 466 |  32k|  12k| 0.000000e+00 |      --      |    Inf 
888.64/889.09	c   860s|600000 |   153 |  4501k|   7.5 |  10M|  60 |   - | 308 |2381 | 308 | 594 | 466 |  32k|  12k| 0.000000e+00 |      --      |    Inf 
903.53/903.97	c   874s|610000 |   158 |  4579k|   7.5 |  10M|  60 |   - | 308 |2382 |   0 |   0 | 466 |  33k|  12k| 0.000000e+00 |      --      |    Inf 
918.23/918.63	c   888s|620000 |   161 |  4655k|   7.5 |  10M|  60 |  31 | 308 |2538 | 308 | 594 | 466 |  33k|  12k| 0.000000e+00 |      --      |    Inf 
932.62/933.02	c   902s|630000 |   166 |  4729k|   7.5 |  10M|  60 |  25 | 308 |2719 | 308 | 594 | 466 |  34k|  12k| 0.000000e+00 |      --      |    Inf 
947.72/948.17	c   917s|640000 |   173 |  4807k|   7.5 |  10M|  63 |   - | 308 |2704 |   0 |   0 | 466 |  34k|  12k| 0.000000e+00 |      --      |    Inf 
963.11/963.60	c   932s|650000 |   163 |  4887k|   7.5 |  10M|  63 |  34 | 308 |2427 | 308 | 594 | 466 |  35k|  12k| 0.000000e+00 |      --      |    Inf 
980.60/981.04	c   948s|660000 |   149 |  4969k|   7.5 |  10M|  63 |   - | 308 |2118 |   0 |   0 | 466 |  35k|  13k| 0.000000e+00 |      --      |    Inf 
996.40/996.82	c   964s|670000 |   149 |  5048k|   7.5 |  10M|  63 |  29 | 308 |2094 | 308 | 594 | 466 |  36k|  13k| 0.000000e+00 |      --      |    Inf 
1010.90/1011.39	c   978s|680000 |   160 |  5124k|   7.5 |  10M|  63 |  36 | 308 |2231 | 308 | 594 | 466 |  36k|  13k| 0.000000e+00 |      --      |    Inf 
1026.29/1026.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1026.29/1026.79	c   993s|690000 |   145 |  5207k|   7.5 |  10M|  63 |   - | 308 |2250 |   0 |   0 | 466 |  37k|  13k| 0.000000e+00 |      --      |    Inf 
1040.19/1040.66	c  1006s|700000 |   176 |  5279k|   7.5 |  10M|  63 |   - | 308 |2381 |   0 |   0 | 466 |  38k|  13k| 0.000000e+00 |      --      |    Inf 
1054.48/1054.97	c  1020s|710000 |   163 |  5354k|   7.5 |  10M|  63 |   - | 308 |2359 |   0 |   0 | 466 |  38k|  13k| 0.000000e+00 |      --      |    Inf 
1067.17/1067.65	c  1032s|720000 |   166 |  5417k|   7.5 |  10M|  63 |  17 | 308 |2498 | 308 | 594 | 466 |  39k|  13k| 0.000000e+00 |      --      |    Inf 
1081.27/1081.74	c  1046s|730000 |   183 |  5489k|   7.5 |  10M|  63 |   - | 308 |2502 |   0 |   0 | 466 |  39k|  13k| 0.000000e+00 |      --      |    Inf 
1095.87/1096.38	c  1060s|740000 |   165 |  5563k|   7.5 |  10M|  63 |  32 | 308 |2538 | 308 | 594 | 466 |  40k|  13k| 0.000000e+00 |      --      |    Inf 
1111.17/1111.68	c  1075s|750000 |   163 |  5644k|   7.5 |  10M|  63 |  37 | 308 |2429 | 308 | 594 | 466 |  40k|  13k| 0.000000e+00 |      --      |    Inf 
1127.07/1127.59	c  1090s|760000 |   150 |  5728k|   7.5 |  10M|  63 |   - | 308 |2417 | 308 | 594 | 466 |  41k|  14k| 0.000000e+00 |      --      |    Inf 
1141.36/1141.80	c  1104s|770000 |   151 |  5800k|   7.5 |  10M|  63 |  15 | 308 |2523 | 308 | 594 | 466 |  41k|  14k| 0.000000e+00 |      --      |    Inf 
1158.35/1158.85	c  1120s|780000 |   134 |  5886k|   7.5 |  10M|  63 |  29 | 308 |2041 | 308 | 594 | 466 |  42k|  14k| 0.000000e+00 |      --      |    Inf 
1176.05/1176.56	c  1138s|790000 |   148 |  5985k|   7.6 |  10M|  63 |  17 | 308 |1974 | 308 | 594 | 466 |  42k|  14k| 0.000000e+00 |      --      |    Inf 
1192.94/1193.41	c  1154s|800000 |   146 |  6078k|   7.6 |  10M|  63 |  35 | 308 |2179 | 308 | 594 | 466 |  43k|  14k| 0.000000e+00 |      --      |    Inf 
1210.23/1210.79	c  1171s|810000 |   136 |  6170k|   7.6 |  10M|  63 |  29 | 308 |2193 | 308 | 594 | 466 |  43k|  14k| 0.000000e+00 |      --      |    Inf 
1227.72/1228.29	c  1188s|820000 |   142 |  6267k|   7.6 |  10M|  63 |   - | 308 |2149 | 308 | 594 | 466 |  43k|  14k| 0.000000e+00 |      --      |    Inf 
1245.51/1246.05	c  1205s|830000 |   147 |  6367k|   7.7 |  10M|  63 |   - | 308 |2250 |   0 |   0 | 466 |  44k|  15k| 0.000000e+00 |      --      |    Inf 
1262.81/1263.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1262.81/1263.38	c  1222s|840000 |   162 |  6462k|   7.7 |  10M|  63 |  35 | 308 |2292 | 308 | 594 | 466 |  44k|  15k| 0.000000e+00 |      --      |    Inf 
1279.71/1280.26	c  1238s|850000 |   147 |  6552k|   7.7 |  10M|  63 |  33 | 308 |2377 | 308 | 594 | 466 |  45k|  15k| 0.000000e+00 |      --      |    Inf 
1294.90/1295.40	c  1253s|860000 |   151 |  6630k|   7.7 |  10M|  63 |  33 | 308 |2645 | 308 | 594 | 466 |  45k|  15k| 0.000000e+00 |      --      |    Inf 
1310.59/1311.12	c  1268s|870000 |   144 |  6711k|   7.7 |  10M|  63 |  27 | 308 |2669 | 308 | 594 | 466 |  46k|  15k| 0.000000e+00 |      --      |    Inf 
1325.39/1325.95	c  1282s|880000 |   144 |  6786k|   7.7 |  10M|  63 |  17 | 308 |2596 | 308 | 594 | 466 |  46k|  15k| 0.000000e+00 |      --      |    Inf 
1338.58/1339.17	c  1295s|890000 |   145 |  6853k|   7.7 |  10M|  63 |   - | 308 |2819 |   0 |   0 | 466 |  47k|  15k| 0.000000e+00 |      --      |    Inf 
1351.67/1352.22	c  1308s|900000 |   142 |  6916k|   7.7 |  10M|  63 |  36 | 308 |3024 | 308 | 594 | 466 |  47k|  15k| 0.000000e+00 |      --      |    Inf 
1366.27/1366.85	c  1322s|910000 |   143 |  6990k|   7.7 |  10M|  63 |   - | 308 |3156 | 308 | 594 | 466 |  48k|  15k| 0.000000e+00 |      --      |    Inf 
1383.37/1384.00	c  1339s|920000 |   133 |  7078k|   7.7 |  10M|  63 |   - | 308 |2664 | 308 | 594 | 466 |  48k|  15k| 0.000000e+00 |      --      |    Inf 
1399.26/1399.82	c  1354s|930000 |   136 |  7159k|   7.7 |  10M|  63 |  28 | 308 |2488 | 308 | 594 | 466 |  49k|  15k| 0.000000e+00 |      --      |    Inf 
1415.15/1415.72	c  1369s|940000 |   142 |  7243k|   7.7 |  10M|  63 |   - | 308 |2226 |   0 |   0 | 466 |  49k|  15k| 0.000000e+00 |      --      |    Inf 
1429.34/1429.95	c  1383s|950000 |   145 |  7316k|   7.7 |  10M|  63 |   - | 308 |2440 | 308 | 594 | 466 |  50k|  15k| 0.000000e+00 |      --      |    Inf 
1444.44/1445.02	c  1398s|960000 |   142 |  7396k|   7.7 |  10M|  63 |  33 | 308 |2496 | 308 | 594 | 466 |  50k|  16k| 0.000000e+00 |      --      |    Inf 
1460.43/1461.01	c  1413s|970000 |   129 |  7477k|   7.7 |  10M|  63 |   - | 308 |2376 |   0 |   0 | 466 |  51k|  16k| 0.000000e+00 |      --      |    Inf 
1476.92/1477.54	c  1429s|980000 |   131 |  7566k|   7.7 |  10M|  63 |   - | 308 |2211 | 308 | 594 | 466 |  51k|  16k| 0.000000e+00 |      --      |    Inf 
1493.12/1493.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1493.12/1493.72	c  1445s|990000 |   132 |  7653k|   7.7 |  10M|  63 |  34 | 308 |2256 | 308 | 594 | 466 |  52k|  16k| 0.000000e+00 |      --      |    Inf 
1510.02/1510.63	c  1461s|  1000k|   131 |  7744k|   7.7 |  10M|  63 |  35 | 308 |2132 | 308 | 594 | 466 |  52k|  16k| 0.000000e+00 |      --      |    Inf 
1524.81/1525.41	c  1475s|  1010k|   134 |  7821k|   7.7 |  10M|  63 |   - | 308 |2342 |   0 |   0 | 466 |  53k|  16k| 0.000000e+00 |      --      |    Inf 
1540.40/1541.05	c  1491s|  1020k|   134 |  7905k|   7.7 |  10M|  63 |  41 | 308 |2490 | 308 | 594 | 466 |  53k|  16k| 0.000000e+00 |      --      |    Inf 
1554.99/1555.65	c  1505s|  1030k|   157 |  7978k|   7.7 |  10M|  63 |   8 | 308 |2560 | 308 | 594 | 466 |  54k|  16k| 0.000000e+00 |      --      |    Inf 
1569.59/1570.30	c  1519s|  1040k|   152 |  8051k|   7.7 |  10M|  63 |  30 | 308 |2682 | 308 | 594 | 466 |  54k|  16k| 0.000000e+00 |      --      |    Inf 
1584.09/1584.79	c  1533s|  1050k|   160 |  8125k|   7.7 |  10M|  63 |   - | 308 |2645 |   0 |   0 | 466 |  55k|  16k| 0.000000e+00 |      --      |    Inf 
1598.68/1599.31	c  1547s|  1060k|   158 |  8196k|   7.7 |  10M|  63 |  16 | 308 |2599 | 308 | 594 | 466 |  55k|  16k| 0.000000e+00 |      --      |    Inf 
1612.88/1613.55	c  1561s|  1070k|   186 |  8267k|   7.7 |  10M|  63 |  22 | 308 |2457 | 308 | 594 | 466 |  56k|  16k| 0.000000e+00 |      --      |    Inf 
1627.38/1628.06	c  1575s|  1080k|   154 |  8340k|   7.7 |  10M|  63 |   - | 308 |2532 | 308 | 594 | 466 |  56k|  16k| 0.000000e+00 |      --      |    Inf 
1641.96/1642.62	c  1589s|  1090k|   155 |  8414k|   7.7 |  10M|  63 |  23 | 308 |2640 | 308 | 594 | 466 |  57k|  16k| 0.000000e+00 |      --      |    Inf 
1656.85/1657.53	c  1603s|  1100k|   167 |  8490k|   7.7 |  10M|  63 |  38 | 308 |2594 | 308 | 594 | 466 |  57k|  17k| 0.000000e+00 |      --      |    Inf 
1673.25/1673.91	c  1619s|  1110k|   137 |  8576k|   7.7 |  10M|  63 |  31 | 308 |2549 | 308 | 594 | 466 |  58k|  17k| 0.000000e+00 |      --      |    Inf 
1688.05/1688.75	c  1633s|  1120k|   159 |  8651k|   7.7 |  10M|  63 |   - | 308 |2694 | 308 | 594 | 466 |  58k|  17k| 0.000000e+00 |      --      |    Inf 
1702.34/1703.04	c  1647s|  1130k|   153 |  8722k|   7.7 |  10M|  63 |  33 | 308 |2829 | 308 | 594 | 466 |  59k|  17k| 0.000000e+00 |      --      |    Inf 
1716.73/1717.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1716.73/1717.42	c  1661s|  1140k|   158 |  8794k|   7.7 |  10M|  63 |  27 | 308 |2894 | 308 | 594 | 466 |  59k|  17k| 0.000000e+00 |      --      |    Inf 
1730.23/1730.91	c  1674s|  1150k|   185 |  8860k|   7.7 |  11M|  63 |   - | 308 |3009 |   0 |   0 | 466 |  60k|  17k| 0.000000e+00 |      --      |    Inf 
1744.13/1744.82	c  1687s|  1160k|   202 |  8929k|   7.7 |  11M|  63 |  33 | 308 |3016 | 308 | 594 | 466 |  61k|  17k| 0.000000e+00 |      --      |    Inf 
1758.52/1759.29	c  1701s|  1170k|   222 |  9001k|   7.7 |  11M|  63 |  35 | 308 |2913 | 308 | 594 | 466 |  61k|  17k| 0.000000e+00 |      --      |    Inf 
1773.92/1774.63	c  1716s|  1180k|   206 |  9077k|   7.7 |  11M|  63 |  17 | 308 |2896 | 308 | 594 | 466 |  62k|  17k| 0.000000e+00 |      --      |    Inf 
1789.41/1790.18	c  1731s|  1190k|   216 |  9156k|   7.7 |  11M|  63 |   - | 308 |3036 |   0 |   0 | 466 |  62k|  17k| 0.000000e+00 |      --      |    Inf 
1800.02/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71	c 
1800.02/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.71	c Solving Time (sec) : 1741.43
1800.02/1800.71	c Solving Nodes      : 1196734
1800.02/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.71	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.71	c Gap                : infinite
1800.02/1800.71	s UNKNOWN
1800.02/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.71	c Solving Time       :    1741.43
1800.02/1800.71	c Original Problem   :
1800.02/1800.71	c   Problem name     : HOME/instance-2667131-1276269782.opb
1800.02/1800.71	c   Variables        : 316 (316 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71	c   Constraints      : 476 initial, 476 maximal
1800.02/1800.71	c Presolved Problem  :
1800.02/1800.71	c   Problem name     : t_HOME/instance-2667131-1276269782.opb
1800.02/1800.71	c   Variables        : 308 (308 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71	c   Constraints      : 476 initial, 3174 maximal
1800.02/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   implics          :       0.00          0          8          0          0          0          0          0          0
1800.02/1800.71	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.71	c   linear           :       0.02          0          0          0          0          0          0          0          0
1800.02/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.71	c   integral         :          0          0          0     603399          0        543       2177          0          0    1202474
1800.02/1800.71	c   knapsack         :        202          5    2994841          0          0     445105   10640322        412          0          0
1800.02/1800.71	c   linear           :          0+         5     265867          0          0          1       2713          0          0          0
1800.02/1800.71	c   logicor          :        274+         5    1959381          0          0       8810    5063636          0          0          0
1800.02/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.71	c   integral         :      59.11       0.00       0.00      59.11       0.00
1800.02/1800.71	c   knapsack         :     108.32       0.03     108.29       0.00       0.00
1800.02/1800.71	c   linear           :       0.45       0.00       0.45       0.00       0.00
1800.02/1800.71	c   logicor          :      60.20       0.00      60.20       0.00       0.00
1800.02/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.71	c   vbounds          :       1.52          1          0          0
1800.02/1800.71	c   rootredcost      :       1.73          0          0          0
1800.02/1800.71	c   pseudoobj        :       1.33          0          0          0
1800.02/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.71	c   propagation      :      19.49      70820      61528     365411       69.9        941       76.6          -
1800.02/1800.71	c   infeasible LP    :      28.87     146432          0          0        0.0          0        0.0          0
1800.02/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.71	c   applied globally :          -          -          -      56580       18.4          -          -          -
1800.02/1800.71	c   applied locally  :          -          -          -       6271       37.2          -          -          -
1800.02/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.71	c   cut pool         :       0.01          4          -          -        367          -    (maximal pool size: 1923)
1800.02/1800.71	c   redcost          :       6.14     602867          0          0          0          0
1800.02/1800.71	c   impliedbounds    :       0.00          5          0          0        756          0
1800.02/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.71	c   gomory           :       0.37          5          0          0        221          0
1800.02/1800.71	c   strongcg         :       0.41          5          0          0       2201          0
1800.02/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.71	c   clique           :       0.00          1          0          0          0          0
1800.02/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.71	c   mcf              :       0.00          1          0          0          0          0
1800.02/1800.71	c   rapidlearning    :       0.10          1          0          0          0          1
1800.02/1800.71	c Pricers            :       Time      Calls       Vars
1800.02/1800.71	c   problem variables:       0.00          0          0
1800.02/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.71	c   relpscost        :      58.24     603399        543       2177          0          0    1202474
1800.02/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   inference        :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.71	c   LP solutions     :       0.00          -          0
1800.02/1800.71	c   pseudo solutions :       0.00          -          0
1800.02/1800.71	c   trivial          :       0.00          1          0
1800.02/1800.71	c   simplerounding   :       0.00          0          0
1800.02/1800.71	c   zirounding       :       0.00          0          0
1800.02/1800.71	c   rounding         :       0.00          0          0
1800.02/1800.71	c   shifting         :       0.00          0          0
1800.02/1800.71	c   intshifting      :       0.00          0          0
1800.02/1800.71	c   oneopt           :       0.00          0          0
1800.02/1800.71	c   twoopt           :       0.00          0          0
1800.02/1800.71	c   fixandinfer      :       0.00          0          0
1800.02/1800.71	c   feaspump         :       0.00          0          0
1800.02/1800.71	c   coefdiving       :       0.00          0          0
1800.02/1800.71	c   pscostdiving     :       0.00          0          0
1800.02/1800.71	c   fracdiving       :       0.00          0          0
1800.02/1800.71	c   veclendiving     :       0.00          0          0
1800.02/1800.71	c   intdiving        :       0.00          0          0
1800.02/1800.71	c   actconsdiving    :       0.00          0          0
1800.02/1800.71	c   objpscostdiving  :       0.00          0          0
1800.02/1800.71	c   rootsoldiving    :       0.00          0          0
1800.02/1800.71	c   linesearchdiving :       0.00          0          0
1800.02/1800.71	c   guideddiving     :       0.00          0          0
1800.02/1800.71	c   octane           :       0.00          0          0
1800.02/1800.71	c   rens             :       0.00          0          0
1800.02/1800.71	c   rins             :       0.00          0          0
1800.02/1800.71	c   localbranching   :       0.00          0          0
1800.02/1800.71	c   mutation         :       0.00          0          0
1800.02/1800.71	c   crossover        :       0.00          0          0
1800.02/1800.71	c   dins             :       0.00          0          0
1800.02/1800.71	c   undercover       :       0.00          0          0
1800.02/1800.71	c   nlp              :       0.00          0          0
1800.02/1800.71	c   trysol           :       0.00          0          0
1800.02/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.71	c   primal LP        :       0.01          0          0       0.00       0.00
1800.02/1800.71	c   dual LP          :    1215.30     748566    9210703      12.30    7578.95
1800.02/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.71	c   strong branching :      42.26      17533     239139      13.64    5658.76
1800.02/1800.71	c     (at root node) :          -         10       2012     201.20          -
1800.02/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.71	c B&B Tree           :
1800.02/1800.71	c   number of runs   :          1
1800.02/1800.71	c   nodes            :    1196734
1800.02/1800.71	c   nodes (total)    :    1196734
1800.02/1800.71	c   nodes left       :        222
1800.02/1800.71	c   max depth        :         63
1800.02/1800.71	c   max depth (total):         63
1800.02/1800.71	c   backtracks       :     154179 (12.9%)
1800.02/1800.71	c   delayed cutoffs  :       5519
1800.02/1800.71	c   repropagations   :     132539 (334216 domain reductions, 5394 cutoffs)
1800.02/1800.72	c   avg switch length:       2.75
1800.02/1800.72	c   switching time   :      88.02
1800.02/1800.72	c Solution           :
1800.02/1800.72	c   Solutions found  :          0 (0 improvements)
1800.02/1800.72	c   Primal Bound     :          -
1800.02/1800.72	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.72	c   Gap              :   infinite
1800.02/1800.72	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.72	c   Root Iterations  :        638
1800.02/1800.73	c Time complete: 1800.05.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 4201
/proc/meminfo: memFree=1813312/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=7724 CPUtime=0
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 1025 0 0 0 0 0 0 0 20 0 1 0 2579781 7909376 944 1992294400 4194304 8223781 140735350568256 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4201/statm: 1931 953 348 984 0 944 0

[startup+0.104598 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 4201
/proc/meminfo: memFree=1813312/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=16952 CPUtime=0.1
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 5050 0 0 0 8 2 0 0 20 0 1 0 2579781 17358848 3318 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 4238 3318 555 984 0 3251 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16952

[startup+0.201626 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 4201
/proc/meminfo: memFree=1813312/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=27280 CPUtime=0.19
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 8608 0 0 0 14 5 0 0 20 0 1 0 2579781 27934720 5581 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 6820 5583 575 984 0 5833 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27280

[startup+0.301656 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 4201
/proc/meminfo: memFree=1813312/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=17772 CPUtime=0.29
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 8736 0 0 0 24 5 0 0 20 0 1 0 2579781 18198528 3564 1992294400 4194304 8223781 140735350568256 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 4443 3564 584 984 0 3456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17772

[startup+0.701771 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 4201
/proc/meminfo: memFree=1813312/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=22024 CPUtime=0.7
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 9885 0 0 0 63 7 0 0 20 0 1 0 2579781 22552576 4677 1992294400 4194304 8223781 140735350568256 18446744073709551615 6035032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 5506 4677 584 984 0 4519 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 22024

[startup+1.501 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4202
/proc/meminfo: memFree=1794456/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=29564 CPUtime=1.49
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 12301 0 0 0 141 8 0 0 23 0 1 0 2579781 30273536 6534 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7391 6534 585 984 0 6404 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29564

[startup+3.10047 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4202
/proc/meminfo: memFree=1788876/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=29132 CPUtime=3.09
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 13013 0 0 0 298 11 0 0 25 0 1 0 2579781 29831168 6459 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7283 6459 585 984 0 6296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29132

[startup+6.30139 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4202
/proc/meminfo: memFree=1788876/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=29132 CPUtime=6.29
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 13038 0 0 0 610 19 0 0 25 0 1 0 2579781 29831168 6461 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7283 6461 587 984 0 6296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29132

[startup+12.7002 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4202
/proc/meminfo: memFree=1788876/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=29192 CPUtime=12.68
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 13062 0 0 0 1230 38 0 0 25 0 1 0 2579781 29892608 6476 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7298 6476 587 984 0 6311 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29192

[startup+25.5017 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4202
/proc/meminfo: memFree=1788876/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=29312 CPUtime=25.48
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 14415 0 0 0 2465 83 0 0 25 0 1 0 2579781 30015488 6506 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7328 6506 587 984 0 6341 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29312

[startup+51.1015 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4204
/proc/meminfo: memFree=1788752/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=29548 CPUtime=51.07
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 16913 0 0 0 4946 161 0 0 25 0 1 0 2579781 30257152 6565 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7387 6565 587 984 0 6400 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29548

[startup+102.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4204
/proc/meminfo: memFree=1787760/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=30324 CPUtime=102.25
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 19250 0 0 0 9889 336 0 0 25 0 1 0 2579781 31051776 6760 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7581 6760 588 984 0 6594 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 30324

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4206
/proc/meminfo: memFree=1787512/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=30528 CPUtime=162.23
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 20508 0 0 0 15688 535 0 0 25 0 1 0 2579781 31260672 6807 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7632 6807 588 984 0 6645 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 30528

[startup+222.308 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4208
/proc/meminfo: memFree=1787140/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=30972 CPUtime=222.22
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 22538 0 0 0 21485 737 0 0 25 0 1 0 2579781 31715328 6921 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7743 6921 588 984 0 6756 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 30972

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4210
/proc/meminfo: memFree=1786768/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31352 CPUtime=282.19
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 23106 0 0 0 27298 921 0 0 25 0 1 0 2579781 32104448 7014 1992294400 4194304 8223781 140735350568256 18446744073709551615 6435828 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7838 7014 588 984 0 6851 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 31352

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4210
/proc/meminfo: memFree=1786644/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31352 CPUtime=342.16
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 23666 0 0 0 33103 1113 0 0 25 0 1 0 2579781 32104448 7016 1992294400 4194304 8223781 140735350568256 18446744073709551615 6571144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7838 7016 588 984 0 6851 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 31352

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4212
/proc/meminfo: memFree=1786520/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31440 CPUtime=402.13
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 25561 0 0 0 38902 1311 0 0 25 0 1 0 2579781 32194560 7017 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7860 7017 588 984 0 6873 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 31440

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4214
/proc/meminfo: memFree=1786520/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31444 CPUtime=462.1
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 30552 0 0 0 44702 1508 0 0 25 0 1 0 2579781 32198656 7023 1992294400 4194304 8223781 140735350568256 18446744073709551615 4651656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7861 7023 588 984 0 6874 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 31444

[startup+522.301 s]
/proc/loadavg: 1.08 1.00 0.92 2/107 4216
/proc/meminfo: memFree=1786272/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31516 CPUtime=522.07
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 33344 0 0 0 50496 1711 0 0 25 0 1 0 2579781 32272384 7057 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7879 7057 588 984 0 6892 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 31516

[startup+582.301 s]
/proc/loadavg: 1.03 1.00 0.92 2/107 4218
/proc/meminfo: memFree=1786148/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31668 CPUtime=582.05
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 35089 0 0 0 56303 1902 0 0 25 0 1 0 2579781 32428032 7095 1992294400 4194304 8223781 140735350568256 18446744073709551615 6599072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7917 7095 588 984 0 6930 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 31668

[startup+642.3 s]
/proc/loadavg: 1.01 1.00 0.92 2/107 4218
/proc/meminfo: memFree=1786024/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31668 CPUtime=642.03
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 35356 0 0 0 62105 2098 0 0 25 0 1 0 2579781 32428032 7095 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7917 7095 588 984 0 6930 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 31668

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4224
/proc/meminfo: memFree=1785776/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31716 CPUtime=821.96
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 43509 0 0 0 79507 2689 0 0 25 0 1 0 2579781 32477184 7103 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7929 7103 588 984 0 6942 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 31716

[startup+882.308 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4226
/proc/meminfo: memFree=1785528/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31840 CPUtime=881.95
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 43933 0 0 0 85303 2892 0 0 25 0 1 0 2579781 32604160 7138 1992294400 4194304 8223781 140735350568256 18446744073709551615 6002989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7960 7138 588 984 0 6973 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 31840

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4226
/proc/meminfo: memFree=1785528/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31840 CPUtime=941.92
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 44622 0 0 0 91100 3092 0 0 25 0 1 0 2579781 32604160 7138 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7960 7138 588 984 0 6973 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 31840

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4228
/proc/meminfo: memFree=1785404/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31840 CPUtime=1001.9
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 44951 0 0 0 96903 3287 0 0 25 0 1 0 2579781 32604160 7138 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7960 7138 588 984 0 6973 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 31840

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4230
/proc/meminfo: memFree=1785404/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=31928 CPUtime=1061.88
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 45719 0 0 0 102701 3487 0 0 25 0 1 0 2579781 32694272 7139 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 7982 7139 588 984 0 6995 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 31928

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4232
/proc/meminfo: memFree=1785156/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32064 CPUtime=1121.86
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 47581 0 0 0 108502 3684 0 0 25 0 1 0 2579781 32833536 7193 1992294400 4194304 8223781 140735350568256 18446744073709551615 6599043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8016 7193 588 984 0 7029 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 32064

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4234
/proc/meminfo: memFree=1785032/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32064 CPUtime=1181.84
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 47676 0 0 0 114312 3872 0 0 25 0 1 0 2579781 32833536 7194 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8016 7194 588 984 0 7029 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 32064

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4234
/proc/meminfo: memFree=1784908/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32064 CPUtime=1241.82
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 47736 0 0 0 120128 4054 0 0 25 0 1 0 2579781 32833536 7194 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8016 7194 588 984 0 7029 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 32064

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4236
/proc/meminfo: memFree=1784784/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32064 CPUtime=1301.79
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 47850 0 0 0 125944 4235 0 0 25 0 1 0 2579781 32833536 7194 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8016 7194 588 984 0 7029 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 32064

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4238
/proc/meminfo: memFree=1784784/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32064 CPUtime=1361.77
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 48713 0 0 0 131755 4422 0 0 25 0 1 0 2579781 32833536 7194 1992294400 4194304 8223781 140735350568256 18446744073709551615 5907205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8016 7194 588 984 0 7029 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 32064

[startup+1422.3 s]
/proc/loadavg: 1.05 1.01 0.93 2/107 4240
/proc/meminfo: memFree=1784784/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32104 CPUtime=1421.75
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 51070 0 0 0 137561 4614 0 0 25 0 1 0 2579781 32874496 7204 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8026 7204 588 984 0 7039 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 32104

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 0.93 2/107 4242
/proc/meminfo: memFree=1784784/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32104 CPUtime=1481.73
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 51838 0 0 0 143362 4811 0 0 25 0 1 0 2579781 32874496 7204 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8026 7204 588 984 0 7039 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 32104

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4242
/proc/meminfo: memFree=1784660/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32108 CPUtime=1541.71
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 52777 0 0 0 149173 4998 0 0 25 0 1 0 2579781 32878592 7205 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8027 7205 588 984 0 7040 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 32108

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4244
/proc/meminfo: memFree=1784660/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32248 CPUtime=1601.68
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 53483 0 0 0 154976 5192 0 0 25 0 1 0 2579781 33021952 7208 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8062 7208 588 984 0 7075 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 32248

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4246
/proc/meminfo: memFree=1784660/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32124 CPUtime=1661.66
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 56012 0 0 0 160769 5397 0 0 25 0 1 0 2579781 32894976 7209 1992294400 4194304 8223781 140735350568256 18446744073709551615 6483635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8031 7209 588 984 0 7044 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 32124

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4248
/proc/meminfo: memFree=1784536/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32108 CPUtime=1721.63
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 58504 0 0 0 166555 5608 0 0 25 0 1 0 2579781 32878592 7205 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8027 7205 588 984 0 7040 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 32108

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4250
/proc/meminfo: memFree=1783916/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32444 CPUtime=1781.62
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 59227 0 0 0 172361 5801 0 0 25 0 1 0 2579781 33222656 7288 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8111 7288 588 984 0 7124 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 32444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 4250
/proc/meminfo: memFree=1783916/2059040 swapFree=4192076/4192956
[pid=4201] ppid=4199 vsize=32492 CPUtime=1800.02
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3357 0 -1 4202496 59311 0 0 0 174144 5858 0 0 25 0 1 0 2579781 33271808 7300 1992294400 4194304 8223781 140735350568256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4201/statm: 8123 7300 588 984 0 7136 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 32492

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

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

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.06
CPU user time (s): 1741.46
CPU system time (s): 58.5921
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 32592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741.46
system time used= 58.5921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59317
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= 1
involuntary context switches= 21445

runsolver used 3.2565 second user time and 8.22975 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-11 17:23:02
IDJOB=2667131
IDBENCH=1163
IDSOLVER=1169
FILE ID=node011/2667131-1276269782
PBS_JOBID= 11172200
Free space on /tmp= 62260 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667131-1276269782/watcher-2667131-1276269782 -o /tmp/evaluation-result-2667131-1276269782/solver-2667131-1276269782 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667131-1276269782.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8999d4ddd4825a5d620fe0a3c798bc24
RANDOM SEED=2108440346

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1813840 kB
Buffers:         13052 kB
Cached:         108724 kB
SwapCached:          0 kB
Active:         108244 kB
Inactive:        71752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1813840 kB
SwapTotal:     4192956 kB
SwapFree:      4192076 kB
Dirty:            4496 kB
Writeback:           0 kB
AnonPages:       58180 kB
Mapped:          15496 kB
Slab:            43372 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180656 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62256 MiB
End job on node011 at 2010-06-11 17:53:05