Trace number 2664520

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.1 1802.58

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
MD5SUM63dafaa5a785f38064ac19ced11339d2
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.12598
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2520
Total number of constraints142
Number of constraints which are clauses72
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint36
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 37
Number of bits of the biggest sum of numbers6
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: NONE] [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-2664520-1276327727.opb>
0.00/0.02	c original problem has 2520 variables (2520 bin, 0 int, 0 impl, 0 cont) and 142 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 [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05	c presolving:
0.00/0.06	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 72 upgd conss, 0 impls, 70 clqs
0.05/0.06	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 142 upgd conss, 0 impls, 70 clqs
0.05/0.07	c presolving (3 rounds):
0.05/0.07	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.07	c  0 implications, 70 cliques
0.05/0.07	c presolved problem has 2520 variables (2520 bin, 0 int, 0 impl, 0 cont) and 142 constraints
0.05/0.07	c      70 constraints of type <setppc>
0.05/0.07	c      72 constraints of type <logicor>
0.05/0.07	c transformed objective value is always integral (scale: 1)
0.05/0.07	c Presolving Time: 0.03
0.05/0.07	c - non default parameters ----------------------------------------------------------------------
0.05/0.07	c # SCIP version 1.2.1.2
0.05/0.07	c 
0.05/0.07	c # frequency for displaying node information lines
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.07	c display/freq = 10000
0.05/0.07	c 
0.05/0.07	c # maximal time in seconds to run
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07	c limits/time = 1799.99
0.05/0.07	c 
0.05/0.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07	c limits/memory = 1620
0.05/0.07	c 
0.05/0.07	c # solving stops, if the given number of solutions were found (-1: no limit)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07	c limits/solutions = 1
0.05/0.07	c 
0.05/0.07	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07	c lp/solvefreq = -1
0.05/0.07	c 
0.05/0.07	c # maximal number of separation rounds per node (-1: unlimited)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 5]
0.05/0.07	c separating/maxrounds = 1
0.05/0.07	c 
0.05/0.07	c # maximal number of separation rounds in the root node (-1: unlimited)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07	c separating/maxroundsroot = 5
0.05/0.07	c 
0.05/0.07	c # should presolving try to simplify inequalities
0.05/0.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07	c constraints/linear/simplifyinequalities = TRUE
0.05/0.07	c 
0.05/0.07	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.05/0.07	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.05/0.07	c constraints/knapsack/disaggregation = FALSE
0.05/0.07	c 
0.05/0.07	c # should presolving try to simplify knapsacks
0.05/0.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07	c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.07	c 
0.05/0.07	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07	c presolving/probing/maxrounds = 0
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07	c heuristics/coefdiving/freq = -1
0.05/0.07	c 
0.05/0.07	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07	c heuristics/coefdiving/maxlpiterquot = 0.075
0.05/0.07	c 
0.05/0.07	c # additional number of allowed LP iterations
0.05/0.07	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07	c heuristics/coefdiving/maxlpiterofs = 1500
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 30]
0.05/0.07	c heuristics/crossover/freq = -1
0.05/0.07	c 
0.05/0.07	c # number of nodes added to the contingent of the total nodes
0.05/0.07	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.05/0.07	c heuristics/crossover/nodesofs = 750
0.05/0.07	c 
0.05/0.07	c # number of nodes without incumbent change that heuristic should wait
0.05/0.07	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.05/0.07	c heuristics/crossover/nwaitingnodes = 100
0.05/0.07	c 
0.05/0.07	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.05/0.07	c # [type: real, range: [0,1], default: 0.1]
0.05/0.07	c heuristics/crossover/nodesquot = 0.15
0.05/0.07	c 
0.05/0.07	c # minimum percentage of integer variables that have to be fixed 
0.05/0.07	c # [type: real, range: [0,1], default: 0.666]
0.05/0.07	c heuristics/crossover/minfixingrate = 0.5
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.07	c heuristics/feaspump/freq = -1
0.05/0.07	c 
0.05/0.07	c # additional number of allowed LP iterations
0.05/0.07	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07	c heuristics/feaspump/maxlpiterofs = 2000
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07	c heuristics/fracdiving/freq = -1
0.05/0.07	c 
0.05/0.07	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07	c heuristics/fracdiving/maxlpiterquot = 0.075
0.05/0.07	c 
0.05/0.07	c # additional number of allowed LP iterations
0.05/0.07	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07	c heuristics/fracdiving/maxlpiterofs = 1500
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07	c heuristics/guideddiving/freq = -1
0.05/0.07	c 
0.05/0.07	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07	c heuristics/guideddiving/maxlpiterquot = 0.075
0.05/0.07	c 
0.05/0.07	c # additional number of allowed LP iterations
0.05/0.07	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07	c heuristics/guideddiving/maxlpiterofs = 1500
0.05/0.07	c 
0.05/0.07	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07	c heuristics/intdiving/maxlpiterquot = 0.075
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07	c heuristics/intshifting/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07	c heuristics/linesearchdiving/freq = -1
0.05/0.07	c 
0.05/0.07	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.05/0.07	c 
0.05/0.07	c # additional number of allowed LP iterations
0.05/0.07	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07	c heuristics/nlp/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.07	c heuristics/objpscostdiving/freq = -1
0.05/0.07	c 
0.05/0.07	c # maximal fraction of diving LP iterations compared to total iteration number
0.05/0.07	c # [type: real, range: [0,1], default: 0.01]
0.05/0.07	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.05/0.07	c 
0.05/0.07	c # additional number of allowed LP iterations
0.05/0.07	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07	c heuristics/oneopt/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07	c heuristics/pscostdiving/freq = -1
0.05/0.07	c 
0.05/0.07	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.05/0.07	c 
0.05/0.07	c # additional number of allowed LP iterations
0.05/0.07	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07	c heuristics/pscostdiving/maxlpiterofs = 1500
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.07	c heuristics/rens/freq = -1
0.05/0.07	c 
0.05/0.07	c # minimum percentage of integer variables that have to be fixable 
0.05/0.07	c # [type: real, range: [0,1], default: 0.5]
0.05/0.07	c heuristics/rens/minfixingrate = 0.3
0.05/0.07	c 
0.05/0.07	c # number of nodes added to the contingent of the total nodes
0.05/0.07	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.05/0.07	c heuristics/rens/nodesofs = 2000
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.07	c heuristics/rootsoldiving/freq = -1
0.05/0.07	c 
0.05/0.07	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.05/0.07	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.05/0.07	c 
0.05/0.07	c # additional number of allowed LP iterations
0.05/0.07	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07	c heuristics/rounding/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07	c heuristics/shifting/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07	c heuristics/simplerounding/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.07	c heuristics/trivial/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07	c heuristics/trysol/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07	c heuristics/veclendiving/freq = -1
0.05/0.07	c 
0.05/0.07	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07	c heuristics/veclendiving/maxlpiterquot = 0.075
0.05/0.07	c 
0.05/0.07	c # additional number of allowed LP iterations
0.05/0.07	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07	c heuristics/veclendiving/maxlpiterofs = 1500
0.05/0.07	c 
0.05/0.07	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07	c heuristics/zirounding/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.07	c separating/cmir/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.07	c separating/flowcover/freq = -1
0.05/0.07	c 
0.05/0.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.07	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07	c separating/rapidlearning/freq = 0
0.05/0.07	c 
0.05/0.07	c -----------------------------------------------------------------------------------------------
0.05/0.07	c start solving
0.05/0.07	c 
0.05/0.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.05/0.07	c   0.0s|     1 |     2 |     0 |     - |4441k|   0 |   - |2520 | 142 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.39/7.45	c   7.3s| 10000 |  9956 |     0 |   0.0 |8429k|1549 |   - |2520 | 338 |   0 |   0 |   0 | 239 |   0 | 0.000000e+00 |      --      |    Inf 
15.49/15.50	c  15.2s| 20000 | 19909 |     0 |   0.0 |  11M|1549 |   - |2520 | 289 |   0 |   0 |   0 | 393 |   0 | 0.000000e+00 |      --      |    Inf 
23.48/23.52	c  23.1s| 30000 | 29847 |     0 |   0.0 |  14M|1549 |   - |2520 | 253 |   0 |   0 |   0 | 533 |   0 | 0.000000e+00 |      --      |    Inf 
31.38/31.50	c  31.0s| 40000 | 39801 |     0 |   0.0 |  16M|1549 |   - |2520 | 227 |   0 |   0 |   0 | 611 |   0 | 0.000000e+00 |      --      |    Inf 
39.38/39.49	c  38.8s| 50000 | 49758 |     0 |   0.0 |  19M|1549 |   - |2520 | 255 |   0 |   0 |   0 | 727 |   0 | 0.000000e+00 |      --      |    Inf 
47.38/47.41	c  46.6s| 60000 | 59707 |     0 |   0.0 |  22M|1549 |   - |2520 | 243 |   0 |   0 |   0 | 854 |   0 | 0.000000e+00 |      --      |    Inf 
55.18/55.25	c  54.4s| 70000 | 69662 |     0 |   0.0 |  25M|1549 |   - |2520 | 229 |   0 |   0 |   0 | 967 |   0 | 0.000000e+00 |      --      |    Inf 
62.97/63.03	c  62.0s| 80000 | 79610 |     0 |   0.0 |  28M|1549 |   - |2520 | 270 |   0 |   0 |   0 |1106 |   0 | 0.000000e+00 |      --      |    Inf 
70.67/70.78	c  69.6s| 90000 | 89553 |     0 |   0.0 |  30M|1549 |   - |2520 | 318 |   0 |   0 |   0 |1291 |   0 | 0.000000e+00 |      --      |    Inf 
78.37/78.43	c  77.1s|100000 | 99496 |     0 |   0.0 |  33M|1549 |   - |2520 | 372 |   0 |   0 |   0 |1551 |   0 | 0.000000e+00 |      --      |    Inf 
85.97/86.05	c  84.6s|110000 |109424 |     0 |   0.0 |  36M|1549 |   - |2520 | 443 |   0 |   0 |   0 |1861 |   0 | 0.000000e+00 |      --      |    Inf 
93.48/93.55	c  92.0s|120000 |119365 |     0 |   0.0 |  39M|1549 |   - |2520 | 413 |   0 |   0 |   0 |2116 |   0 | 0.000000e+00 |      --      |    Inf 
100.87/100.98	c  99.3s|130000 |129298 |     0 |   0.0 |  42M|1549 |   - |2520 | 481 |   0 |   0 |   0 |2408 |   0 | 0.000000e+00 |      --      |    Inf 
108.26/108.34	c   107s|140000 |139227 |     0 |   0.0 |  45M|1549 |   - |2520 | 555 |   0 |   0 |   0 |2699 |   0 | 0.000000e+00 |      --      |    Inf 
115.56/115.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
115.56/115.60	c   114s|150000 |149163 |     0 |   0.0 |  48M|1549 |   - |2520 | 584 |   0 |   0 |   0 |2979 |   0 | 0.000000e+00 |      --      |    Inf 
122.56/122.66	c   121s|160000 |159097 |     0 |   0.0 |  50M|1549 |   - |2520 | 619 |   0 |   0 |   0 |3281 |   0 | 0.000000e+00 |      --      |    Inf 
129.76/129.81	c   128s|170000 |169026 |     0 |   0.0 |  53M|1549 |   - |2520 | 673 |   0 |   0 |   0 |3559 |   0 | 0.000000e+00 |      --      |    Inf 
136.76/136.83	c   135s|180000 |178934 |     0 |   0.0 |  56M|1549 |   - |2520 | 646 |   0 |   0 |   0 |3902 |   0 | 0.000000e+00 |      --      |    Inf 
143.56/143.67	c   141s|190000 |188870 |     0 |   0.0 |  59M|1549 |   - |2520 | 728 |   0 |   0 |   0 |4192 |   0 | 0.000000e+00 |      --      |    Inf 
150.36/150.46	c   148s|200000 |198785 |     0 |   0.0 |  62M|1549 |   - |2520 | 819 |   0 |   0 |   0 |4514 |   0 | 0.000000e+00 |      --      |    Inf 
156.95/157.06	c   154s|210000 |208722 |     0 |   0.0 |  65M|1549 |   - |2520 | 895 |   0 |   0 |   0 |4830 |   0 | 0.000000e+00 |      --      |    Inf 
163.55/163.67	c   161s|220000 |218661 |     0 |   0.0 |  68M|1549 |   - |2520 | 880 |   0 |   0 |   0 |5175 |   0 | 0.000000e+00 |      --      |    Inf 
170.05/170.15	c   167s|230000 |228597 |     0 |   0.0 |  70M|1549 |   - |2520 | 901 |   0 |   0 |   0 |5546 |   0 | 0.000000e+00 |      --      |    Inf 
176.44/176.57	c   174s|240000 |238520 |     0 |   0.0 |  74M|1549 |   - |2520 |1045 |   0 |   0 |   0 |5983 |   0 | 0.000000e+00 |      --      |    Inf 
182.85/182.91	c   180s|250000 |248453 |     0 |   0.0 |  77M|1549 |   - |2520 |1119 |   0 |   0 |   0 |6384 |   0 | 0.000000e+00 |      --      |    Inf 
188.94/189.06	c   186s|260000 |258386 |     0 |   0.0 |  80M|1549 |   - |2520 |1207 |   0 |   0 |   0 |6792 |   0 | 0.000000e+00 |      --      |    Inf 
195.04/195.14	c   192s|270000 |268305 |     0 |   0.0 |  82M|1549 |   - |2520 |1222 |   0 |   0 |   0 |7169 |   0 | 0.000000e+00 |      --      |    Inf 
200.94/201.05	c   198s|280000 |278227 |     0 |   0.0 |  85M|1549 |   - |2520 |1220 |   0 |   0 |   0 |7601 |   0 | 0.000000e+00 |      --      |    Inf 
206.74/206.85	c   203s|290000 |288155 |     0 |   0.0 |  88M|1549 |   - |2520 |1194 |   0 |   0 |   0 |7993 |   0 | 0.000000e+00 |      --      |    Inf 
212.43/212.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
212.43/212.54	c   209s|300000 |298072 |     0 |   0.0 |  91M|1549 |   - |2520 |1292 |   0 |   0 |   0 |8365 |   0 | 0.000000e+00 |      --      |    Inf 
218.03/218.19	c   214s|310000 |307986 |     0 |   0.0 |  94M|1549 |   - |2520 |1277 |   0 |   0 |   0 |8785 |   0 | 0.000000e+00 |      --      |    Inf 
223.43/223.59	c   220s|320000 |317907 |     0 |   0.0 |  97M|1549 |   - |2520 |1326 |   0 |   0 |   0 |9245 |   0 | 0.000000e+00 |      --      |    Inf 
228.74/228.85	c   225s|330000 |327841 |     0 |   0.0 |  99M|1549 |   - |2520 |1338 |   0 |   0 |   0 |9576 |   0 | 0.000000e+00 |      --      |    Inf 
233.83/233.99	c   230s|340000 |337754 |     0 |   0.0 | 102M|1549 |   - |2520 |1362 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
238.93/239.02	c   235s|350000 |347664 |     0 |   0.0 | 105M|1549 |   - |2520 |1495 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
243.92/244.00	c   240s|360000 |357573 |     0 |   0.0 | 109M|1549 |   - |2520 |1679 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
248.72/248.82	c   244s|370000 |367468 |     0 |   0.0 | 112M|1549 |   - |2520 |1786 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
253.42/253.55	c   249s|380000 |377350 |     0 |   0.0 | 115M|1549 |   - |2520 |2047 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
258.03/258.19	c   253s|390000 |387232 |     0 |   0.0 | 118M|1549 |   - |2520 |2143 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
262.62/262.74	c   258s|400000 |397112 |     0 |   0.0 | 121M|1549 |   - |2520 |2338 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
267.02/267.19	c   262s|410000 |406997 |     0 |   0.0 | 124M|1549 |   - |2520 |2635 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
271.42/271.54	c   266s|420000 |416861 |     0 |   0.0 | 127M|1549 |   - |2520 |2771 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
275.62/275.74	c   270s|430000 |426735 |     0 |   0.0 | 131M|1549 |   - |2520 |2823 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
279.72/279.85	c   274s|440000 |436580 |     0 |   0.0 | 134M|1549 |   - |2520 |3018 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
283.81/283.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
283.81/283.91	c   278s|450000 |446410 |     0 |   0.0 | 137M|1549 |   - |2520 |3376 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
287.72/287.89	c   282s|460000 |456222 |     0 |   0.0 | 141M|1549 |   - |2520 |3692 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
291.62/291.75	c   286s|470000 |466035 |     0 |   0.0 | 144M|1549 |   - |2520 |3921 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
295.32/295.43	c   289s|480000 |475848 |     0 |   0.0 | 147M|1549 |   - |2520 |4106 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
298.91/299.00	c   293s|490000 |485645 |     0 |   0.0 | 150M|1549 |   - |2520 |4215 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
302.32/302.46	c   296s|500000 |495391 |     0 |   0.0 | 154M|1549 |   - |2520 |4641 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
305.62/305.74	c   299s|510000 |505121 |     0 |   0.0 | 157M|1549 |   - |2520 |4987 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
308.92/309.01	c   302s|520000 |514730 |     0 |   0.0 | 161M|1549 |   - |2520 |5671 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
312.32/312.44	c   306s|530000 |523984 |     0 |   0.0 | 166M|1549 |   - |2520 |6616 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
319.01/319.10	c   312s|540000 |533291 |     0 |   0.0 | 167M|1549 |   - |2520 |5344 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
326.40/326.53	c   320s|550000 |543238 |     0 |   0.0 | 166M|1549 |   - |2520 |1204 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
334.10/334.22	c   327s|560000 |553163 |     0 |   0.0 | 168M|1549 |   - |2520 | 325 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
341.70/341.82	c   335s|570000 |563103 |     0 |   0.0 | 171M|1549 |   - |2520 | 239 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
349.29/349.45	c   342s|580000 |573042 |     0 |   0.0 | 173M|1549 |   - |2520 | 245 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
356.90/357.02	c   350s|590000 |582990 |     0 |   0.0 | 176M|1549 |   - |2520 | 273 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
364.50/364.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
364.50/364.62	c   357s|600000 |592936 |     0 |   0.0 | 179M|1549 |   - |2520 | 298 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
372.09/372.21	c   364s|610000 |602880 |     0 |   0.0 | 182M|1549 |   - |2520 | 325 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
379.68/379.81	c   372s|620000 |612816 |     0 |   0.0 | 185M|1549 |   - |2520 | 362 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
387.29/387.44	c   379s|630000 |622752 |     0 |   0.0 | 188M|1549 |   - |2520 | 397 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
394.88/395.04	c   387s|640000 |632704 |     0 |   0.0 | 190M|1549 |   - |2520 | 291 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
402.50/402.61	c   394s|650000 |642657 |     0 |   0.0 | 193M|1549 |   - |2520 | 282 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
410.08/410.20	c   402s|660000 |652603 |     0 |   0.0 | 196M|1549 |   - |2520 | 344 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
417.68/417.81	c   409s|670000 |662538 |     0 |   0.0 | 199M|1549 |   - |2520 | 346 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
425.28/425.45	c   417s|680000 |672485 |     0 |   0.0 | 202M|1549 |   - |2520 | 320 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
432.87/433.04	c   424s|690000 |682433 |     0 |   0.0 | 204M|1549 |   - |2520 | 258 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
440.47/440.64	c   432s|700000 |692380 |     0 |   0.0 | 207M|1549 |   - |2520 | 275 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
448.07/448.21	c   439s|710000 |702338 |     0 |   0.0 | 210M|1549 |   - |2520 | 287 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
455.67/455.83	c   447s|720000 |712280 |     0 |   0.0 | 213M|1549 |   - |2520 | 293 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
463.17/463.39	c   454s|730000 |722223 |     0 |   0.0 | 216M|1549 |   - |2520 | 358 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
470.87/471.01	c   462s|740000 |732175 |     0 |   0.0 | 218M|1549 |   - |2520 | 324 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
478.46/478.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
478.46/478.64	c   469s|750000 |742127 |     0 |   0.0 | 221M|1549 |   - |2520 | 295 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
485.96/486.20	c   477s|760000 |752075 |     0 |   0.0 | 224M|1549 |   - |2520 | 362 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
493.56/493.79	c   484s|770000 |762016 |     0 |   0.0 | 227M|1549 |   - |2520 | 377 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
501.16/501.35	c   492s|780000 |771966 |     0 |   0.0 | 230M|1549 |   - |2520 | 345 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
508.75/509.00	c   499s|790000 |781923 |     0 |   0.0 | 232M|1549 |   - |2520 | 370 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
516.45/516.64	c   507s|800000 |791874 |     0 |   0.0 | 235M|1549 |   - |2520 | 337 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
523.95/524.19	c   514s|810000 |801825 |     0 |   0.0 | 238M|1549 |   - |2520 | 362 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
531.64/531.81	c   522s|820000 |811772 |     0 |   0.0 | 241M|1549 |   - |2520 | 402 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
539.24/539.47	c   529s|830000 |821713 |     0 |   0.0 | 244M|1549 |   - |2520 | 370 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
546.94/547.17	c   537s|840000 |831653 |     0 |   0.0 | 246M|1549 |   - |2520 | 316 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
554.64/554.89	c   544s|850000 |841590 |     0 |   0.0 | 249M|1549 |   - |2520 | 263 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
562.34/562.52	c   552s|860000 |851537 |     0 |   0.0 | 252M|1549 |   - |2520 | 300 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
569.93/570.14	c   559s|870000 |861485 |     0 |   0.0 | 255M|1549 |   - |2520 | 272 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
577.54/577.77	c   567s|880000 |871423 |     0 |   0.0 | 258M|1549 |   - |2520 | 298 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
585.24/585.40	c   574s|890000 |881373 |     0 |   0.0 | 260M|1549 |   - |2520 | 299 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
592.84/593.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
592.84/593.00	c   582s|900000 |891317 |     0 |   0.0 | 263M|1549 |   - |2520 | 318 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
600.34/600.60	c   589s|910000 |901265 |     0 |   0.0 | 266M|1549 |   - |2520 | 310 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
608.03/608.24	c   597s|920000 |911211 |     0 |   0.0 | 269M|1549 |   - |2520 | 309 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
615.53/615.78	c   604s|930000 |921155 |     0 |   0.0 | 272M|1549 |   - |2520 | 349 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
623.13/623.38	c   612s|940000 |931109 |     0 |   0.0 | 274M|1549 |   - |2520 | 368 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
630.73/631.00	c   619s|950000 |941046 |     0 |   0.0 | 277M|1549 |   - |2520 | 348 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
638.42/638.67	c   627s|960000 |950995 |     0 |   0.0 | 280M|1549 |   - |2520 | 330 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
646.02/646.27	c   634s|970000 |960932 |     0 |   0.0 | 283M|1549 |   - |2520 | 344 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
653.72/653.91	c   642s|980000 |970882 |     0 |   0.0 | 286M|1549 |   - |2520 | 346 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
661.32/661.55	c   649s|990000 |980830 |     0 |   0.0 | 288M|1549 |   - |2520 | 358 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
669.01/669.24	c   657s|  1000k|990754 |     0 |   0.0 | 291M|1549 |   - |2520 | 407 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
676.61/676.88	c   664s|  1010k|  1000k|     0 |   0.0 | 294M|1549 |   - |2520 | 336 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
684.21/684.48	c   672s|  1020k|  1010k|     0 |   0.0 | 297M|1549 |   - |2520 | 316 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
691.91/692.20	c   679s|  1030k|  1020k|     0 |   0.0 | 299M|1549 |   - |2520 | 281 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
699.60/699.86	c   687s|  1040k|  1030k|     0 |   0.0 | 302M|1549 |   - |2520 | 306 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
707.31/707.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
707.31/707.51	c   694s|  1050k|  1040k|     0 |   0.0 | 305M|1549 |   - |2520 | 332 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
714.90/715.20	c   702s|  1060k|  1050k|     0 |   0.0 | 308M|1549 |   - |2520 | 339 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
722.60/722.87	c   710s|  1070k|  1060k|     0 |   0.0 | 310M|1549 |   - |2520 | 312 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
730.20/730.46	c   717s|  1080k|  1070k|     0 |   0.0 | 313M|1549 |   - |2520 | 339 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
737.90/738.11	c   724s|  1090k|  1080k|     0 |   0.0 | 316M|1549 |   - |2520 | 278 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
745.50/745.80	c   732s|  1100k|  1090k|     0 |   0.0 | 319M|1549 |   - |2520 | 288 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
753.19/753.41	c   740s|  1110k|  1100k|     0 |   0.0 | 322M|1549 |   - |2520 | 378 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
760.78/761.04	c   747s|  1120k|  1110k|     0 |   0.0 | 324M|1549 |   - |2520 | 306 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
768.48/768.77	c   755s|  1130k|  1119k|     0 |   0.0 | 327M|1549 |   - |2520 | 269 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
776.18/776.42	c   762s|  1140k|  1129k|     0 |   0.0 | 330M|1549 |   - |2520 | 305 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
783.78/784.06	c   770s|  1150k|  1139k|     0 |   0.0 | 333M|1549 |   - |2520 | 351 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
791.48/791.73	c   777s|  1160k|  1149k|     0 |   0.0 | 335M|1549 |   - |2520 | 290 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
799.18/799.42	c   785s|  1170k|  1159k|     0 |   0.0 | 338M|1549 |   - |2520 | 334 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
806.67/806.98	c   792s|  1180k|  1169k|     0 |   0.0 | 341M|1549 |   - |2520 | 401 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
814.47/814.71	c   800s|  1190k|  1179k|     0 |   0.0 | 344M|1549 |   - |2520 | 392 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
822.07/822.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
822.07/822.35	c   807s|  1200k|  1189k|     0 |   0.0 | 346M|1549 |   - |2520 | 337 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
829.67/829.95	c   815s|  1210k|  1199k|     0 |   0.0 | 349M|1549 |   - |2520 | 326 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
837.27/837.59	c   822s|  1220k|  1209k|     0 |   0.0 | 352M|1549 |   - |2520 | 373 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
844.96/845.24	c   830s|  1230k|  1219k|     0 |   0.0 | 355M|1549 |   - |2520 | 345 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
852.56/852.87	c   837s|  1240k|  1229k|     0 |   0.0 | 358M|1549 |   - |2520 | 353 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
860.16/860.50	c   845s|  1250k|  1239k|     0 |   0.0 | 360M|1549 |   - |2520 | 330 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
867.96/868.24	c   852s|  1260k|  1249k|     0 |   0.0 | 363M|1549 |   - |2520 | 320 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
875.66/875.93	c   860s|  1270k|  1259k|     0 |   0.0 | 366M|1549 |   - |2520 | 354 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
883.25/883.52	c   868s|  1280k|  1269k|     0 |   0.0 | 369M|1549 |   - |2520 | 380 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
890.95/891.21	c   875s|  1290k|  1279k|     0 |   0.0 | 372M|1549 |   - |2520 | 390 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
898.65/898.90	c   883s|  1300k|  1289k|     0 |   0.0 | 374M|1549 |   - |2520 | 368 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
906.25/906.59	c   890s|  1310k|  1298k|     0 |   0.0 | 377M|1549 |   - |2520 | 373 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
913.95/914.20	c   898s|  1320k|  1308k|     0 |   0.0 | 380M|1549 |   - |2520 | 335 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
921.45/921.80	c   905s|  1330k|  1318k|     0 |   0.0 | 383M|1549 |   - |2520 | 347 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
929.24/929.56	c   913s|  1340k|  1328k|     0 |   0.0 | 385M|1549 |   - |2520 | 330 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
936.85/937.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
936.85/937.18	c   920s|  1350k|  1338k|     0 |   0.0 | 388M|1549 |   - |2520 | 351 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
944.44/944.78	c   928s|  1360k|  1348k|     0 |   0.0 | 391M|1549 |   - |2520 | 368 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
952.24/952.52	c   935s|  1370k|  1358k|     0 |   0.0 | 394M|1549 |   - |2520 | 386 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
959.93/960.22	c   943s|  1380k|  1368k|     0 |   0.0 | 397M|1549 |   - |2520 | 347 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
967.52/967.86	c   951s|  1390k|  1378k|     0 |   0.0 | 399M|1549 |   - |2520 | 328 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
975.22/975.59	c   958s|  1400k|  1388k|     0 |   0.0 | 402M|1549 |   - |2520 | 350 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
982.93/983.26	c   966s|  1410k|  1398k|     0 |   0.0 | 405M|1549 |   - |2520 | 288 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
990.63/990.99	c   973s|  1420k|  1408k|     0 |   0.0 | 408M|1549 |   - |2520 | 349 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
998.32/998.65	c   981s|  1430k|  1418k|     0 |   0.0 | 411M|1549 |   - |2520 | 365 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
1006.02/1006.34	c   988s|  1440k|  1428k|     0 |   0.0 | 413M|1549 |   - |2520 | 318 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
1013.83/1014.19	c   996s|  1450k|  1438k|     0 |   0.0 | 416M|1549 |   - |2520 | 330 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
1021.52/1021.88	c  1004s|  1460k|  1448k|     0 |   0.0 | 419M|1549 |   - |2520 | 318 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
1029.32/1029.61	c  1011s|  1470k|  1458k|     0 |   0.0 | 422M|1549 |   - |2520 | 332 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
1037.01/1037.38	c  1019s|  1480k|  1468k|     0 |   0.0 | 424M|1549 |   - |2520 | 287 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
1044.81/1045.18	c  1027s|  1490k|  1477k|     0 |   0.0 | 427M|1549 |   - |2520 | 324 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
1052.61/1052.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1052.61/1052.93	c  1034s|  1500k|  1487k|     0 |   0.0 | 430M|1549 |   - |2520 | 282 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
1060.30/1060.62	c  1042s|  1510k|  1497k|     0 |   0.0 | 433M|1549 |   - |2520 | 332 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
1068.11/1068.45	c  1050s|  1520k|  1507k|     0 |   0.0 | 436M|1549 |   - |2520 | 313 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
1075.90/1076.26	c  1057s|  1530k|  1517k|     0 |   0.0 | 438M|1549 |   - |2520 | 349 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
1083.60/1083.98	c  1065s|  1540k|  1527k|     0 |   0.0 | 441M|1549 |   - |2520 | 409 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
1091.30/1091.68	c  1072s|  1550k|  1537k|     0 |   0.0 | 444M|1549 |   - |2520 | 322 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
1099.09/1099.44	c  1080s|  1560k|  1547k|     0 |   0.0 | 447M|1549 |   - |2520 | 348 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
1106.89/1107.29	c  1088s|  1570k|  1557k|     0 |   0.0 | 450M|1549 |   - |2520 | 351 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
1114.59/1114.95	c  1095s|  1580k|  1567k|     0 |   0.0 | 452M|1549 |   - |2520 | 380 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
1122.28/1122.64	c  1103s|  1590k|  1577k|     0 |   0.0 | 455M|1549 |   - |2520 | 285 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
1129.99/1130.32	c  1110s|  1600k|  1587k|     0 |   0.0 | 458M|1549 |   - |2520 | 340 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
1137.79/1138.17	c  1118s|  1610k|  1597k|     0 |   0.0 | 461M|1549 |   - |2520 | 309 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
1145.58/1145.90	c  1126s|  1620k|  1607k|     0 |   0.0 | 463M|1549 |   - |2520 | 363 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
1153.18/1153.54	c  1133s|  1630k|  1617k|     0 |   0.0 | 466M|1549 |   - |2520 | 325 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
1160.88/1161.22	c  1141s|  1640k|  1627k|     0 |   0.0 | 469M|1549 |   - |2520 | 267 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
1168.58/1168.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1168.58/1168.99	c  1148s|  1650k|  1637k|     0 |   0.0 | 472M|1549 |   - |2520 | 300 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
1176.37/1176.78	c  1156s|  1660k|  1646k|     0 |   0.0 | 474M|1549 |   - |2520 | 291 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
1184.07/1184.46	c  1164s|  1670k|  1656k|     0 |   0.0 | 477M|1549 |   - |2520 | 348 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
1191.67/1192.06	c  1171s|  1680k|  1666k|     0 |   0.0 | 480M|1549 |   - |2520 | 347 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
1199.37/1199.79	c  1179s|  1690k|  1676k|     0 |   0.0 | 483M|1549 |   - |2520 | 336 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
1207.17/1207.53	c  1186s|  1700k|  1686k|     0 |   0.0 | 486M|1549 |   - |2520 | 376 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
1214.76/1215.14	c  1194s|  1710k|  1696k|     0 |   0.0 | 488M|1549 |   - |2520 | 311 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
1222.46/1222.80	c  1201s|  1720k|  1706k|     0 |   0.0 | 491M|1549 |   - |2520 | 355 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
1230.06/1230.46	c  1209s|  1730k|  1716k|     0 |   0.0 | 494M|1549 |   - |2520 | 370 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
1237.96/1238.31	c  1217s|  1740k|  1726k|     0 |   0.0 | 497M|1549 |   - |2520 | 353 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
1245.66/1246.00	c  1224s|  1750k|  1736k|     0 |   0.0 | 499M|1549 |   - |2520 | 361 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
1253.25/1253.66	c  1232s|  1760k|  1746k|     0 |   0.0 | 502M|1549 |   - |2520 | 323 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
1260.85/1261.26	c  1239s|  1770k|  1756k|     0 |   0.0 | 505M|1549 |   - |2520 | 356 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
1268.64/1269.07	c  1247s|  1780k|  1766k|     0 |   0.0 | 508M|1549 |   - |2520 | 326 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
1276.35/1276.75	c  1254s|  1790k|  1776k|     0 |   0.0 | 511M|1549 |   - |2520 | 326 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
1283.95/1284.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1283.95/1284.36	c  1262s|  1800k|  1786k|     0 |   0.0 | 513M|1549 |   - |2520 | 306 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
1291.54/1291.94	c  1269s|  1810k|  1796k|     0 |   0.0 | 516M|1549 |   - |2520 | 318 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
1299.14/1299.54	c  1277s|  1820k|  1806k|     0 |   0.0 | 519M|1549 |   - |2520 | 378 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
1306.84/1307.24	c  1284s|  1830k|  1816k|     0 |   0.0 | 522M|1549 |   - |2520 | 362 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
1314.53/1314.90	c  1292s|  1840k|  1825k|     0 |   0.0 | 525M|1549 |   - |2520 | 359 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
1322.13/1322.51	c  1299s|  1850k|  1835k|     0 |   0.0 | 527M|1549 |   - |2520 | 363 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
1329.73/1330.14	c  1307s|  1860k|  1845k|     0 |   0.0 | 530M|1549 |   - |2520 | 349 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
1337.33/1337.71	c  1314s|  1870k|  1855k|     0 |   0.0 | 533M|1549 |   - |2520 | 345 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
1344.94/1345.35	c  1322s|  1880k|  1865k|     0 |   0.0 | 536M|1549 |   - |2520 | 396 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
1352.53/1352.97	c  1329s|  1890k|  1875k|     0 |   0.0 | 538M|1549 |   - |2520 | 369 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
1360.13/1360.52	c  1337s|  1900k|  1885k|     0 |   0.0 | 541M|1549 |   - |2520 | 365 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
1367.62/1368.07	c  1344s|  1910k|  1895k|     0 |   0.0 | 544M|1549 |   - |2520 | 321 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
1375.32/1375.73	c  1352s|  1920k|  1905k|     0 |   0.0 | 547M|1549 |   - |2520 | 312 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
1382.91/1383.35	c  1359s|  1930k|  1915k|     0 |   0.0 | 549M|1549 |   - |2520 | 328 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
1390.52/1390.96	c  1367s|  1940k|  1925k|     0 |   0.0 | 552M|1549 |   - |2520 | 360 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
1398.11/1398.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1398.11/1398.52	c  1374s|  1950k|  1935k|     0 |   0.0 | 555M|1549 |   - |2520 | 341 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
1405.71/1406.12	c  1382s|  1960k|  1945k|     0 |   0.0 | 558M|1549 |   - |2520 | 337 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
1413.31/1413.77	c  1389s|  1970k|  1955k|     0 |   0.0 | 561M|1549 |   - |2520 | 327 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
1421.01/1421.42	c  1397s|  1980k|  1965k|     0 |   0.0 | 563M|1549 |   - |2520 | 363 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
1428.60/1429.04	c  1404s|  1990k|  1975k|     0 |   0.0 | 566M|1549 |   - |2520 | 319 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
1436.22/1436.68	c  1412s|  2000k|  1985k|     0 |   0.0 | 569M|1549 |   - |2520 | 276 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
1443.91/1444.33	c  1419s|  2010k|  1994k|     0 |   0.0 | 572M|1549 |   - |2520 | 326 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
1451.61/1452.05	c  1427s|  2020k|  2004k|     0 |   0.0 | 575M|1549 |   - |2520 | 335 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
1459.31/1459.79	c  1435s|  2030k|  2014k|     0 |   0.0 | 577M|1549 |   - |2520 | 351 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
1467.01/1467.42	c  1442s|  2040k|  2024k|     0 |   0.0 | 580M|1549 |   - |2520 | 359 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
1474.60/1475.06	c  1450s|  2050k|  2034k|     0 |   0.0 | 583M|1549 |   - |2520 | 377 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
1482.20/1482.66	c  1457s|  2060k|  2044k|     0 |   0.0 | 586M|1549 |   - |2520 | 343 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
1489.88/1490.36	c  1465s|  2070k|  2054k|     0 |   0.0 | 588M|1549 |   - |2520 | 328 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
1497.58/1498.00	c  1472s|  2080k|  2064k|     0 |   0.0 | 591M|1549 |   - |2520 | 381 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
1505.18/1505.69	c  1480s|  2090k|  2074k|     0 |   0.0 | 594M|1549 |   - |2520 | 398 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
1512.79/1513.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1512.79/1513.29	c  1487s|  2100k|  2084k|     0 |   0.0 | 597M|1549 |   - |2520 | 342 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
1520.58/1521.04	c  1495s|  2110k|  2094k|     0 |   0.0 | 600M|1549 |   - |2520 | 353 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
1528.38/1528.80	c  1502s|  2120k|  2104k|     0 |   0.0 | 602M|1549 |   - |2520 | 313 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
1535.98/1536.44	c  1510s|  2130k|  2114k|     0 |   0.0 | 605M|1549 |   - |2520 | 390 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
1543.57/1544.04	c  1517s|  2140k|  2124k|     0 |   0.0 | 608M|1549 |   - |2520 | 376 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
1551.18/1551.60	c  1525s|  2150k|  2134k|     0 |   0.0 | 611M|1549 |   - |2520 | 332 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
1558.77/1559.23	c  1532s|  2160k|  2144k|     0 |   0.0 | 613M|1549 |   - |2520 | 293 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
1566.37/1566.87	c  1540s|  2170k|  2154k|     0 |   0.0 | 616M|1549 |   - |2520 | 320 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
1573.97/1574.47	c  1547s|  2180k|  2163k|     0 |   0.0 | 619M|1549 |   - |2520 | 343 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
1581.66/1582.18	c  1555s|  2190k|  2173k|     0 |   0.0 | 622M|1549 |   - |2520 | 353 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
1589.26/1589.78	c  1562s|  2200k|  2183k|     0 |   0.0 | 625M|1549 |   - |2520 | 324 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
1596.86/1597.30	c  1570s|  2210k|  2193k|     0 |   0.0 | 627M|1549 |   - |2520 | 345 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
1604.37/1604.90	c  1577s|  2220k|  2203k|     0 |   0.0 | 630M|1549 |   - |2520 | 311 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
1612.07/1612.52	c  1585s|  2230k|  2213k|     0 |   0.0 | 633M|1549 |   - |2520 | 381 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
1619.55/1620.07	c  1592s|  2240k|  2223k|     0 |   0.0 | 636M|1549 |   - |2520 | 395 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
1627.15/1627.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1627.15/1627.63	c  1600s|  2250k|  2233k|     0 |   0.0 | 639M|1549 |   - |2520 | 371 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
1634.85/1635.33	c  1607s|  2260k|  2243k|     0 |   0.0 | 641M|1549 |   - |2520 | 409 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
1642.45/1642.92	c  1615s|  2270k|  2253k|     0 |   0.0 | 644M|1549 |   - |2520 | 349 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
1650.04/1650.56	c  1622s|  2280k|  2263k|     0 |   0.0 | 647M|1549 |   - |2520 | 429 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
1657.75/1658.25	c  1630s|  2290k|  2273k|     0 |   0.0 | 650M|1549 |   - |2520 | 378 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
1665.44/1665.91	c  1637s|  2300k|  2283k|     0 |   0.0 | 653M|1549 |   - |2520 | 416 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
1672.93/1673.48	c  1645s|  2310k|  2293k|     0 |   0.0 | 655M|1549 |   - |2520 | 383 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
1680.64/1681.11	c  1652s|  2320k|  2303k|     0 |   0.0 | 658M|1549 |   - |2520 | 353 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
1688.33/1688.80	c  1660s|  2330k|  2313k|     0 |   0.0 | 661M|1549 |   - |2520 | 430 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
1695.93/1696.45	c  1667s|  2340k|  2323k|     0 |   0.0 | 664M|1549 |   - |2520 | 471 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
1703.53/1704.03	c  1675s|  2350k|  2333k|     0 |   0.0 | 666M|1549 |   - |2520 | 363 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
1711.13/1711.63	c  1682s|  2360k|  2342k|     0 |   0.0 | 669M|1549 |   - |2520 | 349 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
1718.73/1719.28	c  1690s|  2370k|  2352k|     0 |   0.0 | 672M|1549 |   - |2520 | 331 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
1726.43/1726.93	c  1697s|  2380k|  2362k|     0 |   0.0 | 675M|1549 |   - |2520 | 400 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
1734.02/1734.51	c  1705s|  2390k|  2372k|     0 |   0.0 | 677M|1549 |   - |2520 | 324 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
1741.62/1742.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1741.62/1742.15	c  1712s|  2400k|  2382k|     0 |   0.0 | 680M|1549 |   - |2520 | 358 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
1749.32/1749.81	c  1720s|  2410k|  2392k|     0 |   0.0 | 683M|1549 |   - |2520 | 312 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
1756.91/1757.43	c  1727s|  2420k|  2402k|     0 |   0.0 | 686M|1549 |   - |2520 | 308 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
1764.61/1765.11	c  1735s|  2430k|  2412k|     0 |   0.0 | 688M|1549 |   - |2520 | 313 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
1772.21/1772.78	c  1743s|  2440k|  2422k|     0 |   0.0 | 691M|1549 |   - |2520 | 307 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
1779.91/1780.42	c  1750s|  2450k|  2432k|     0 |   0.0 | 694M|1549 |   - |2520 | 340 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
1787.50/1788.03	c  1758s|  2460k|  2442k|     0 |   0.0 | 697M|1549 |   - |2520 | 320 |   0 |   0 |   0 |  76k|   0 | 0.000000e+00 |      --      |    Inf 
1795.01/1795.58	c  1765s|  2470k|  2452k|     0 |   0.0 | 700M|1549 |   - |2520 | 358 |   0 |   0 |   0 |  76k|   0 | 0.000000e+00 |      --      |    Inf 
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1769.79
1800.01/1800.50	c Solving Nodes      : 2476463
1800.01/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.50	c Gap                : infinite
1800.01/1800.50	s UNKNOWN
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time       :    1769.79
1800.01/1800.50	c Original Problem   :
1800.01/1800.50	c   Problem name     : HOME/instance-2664520-1276327727.opb
1800.01/1800.50	c   Variables        : 2520 (2520 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 142 initial, 142 maximal
1800.01/1800.50	c Presolved Problem  :
1800.01/1800.50	c   Problem name     : t_HOME/instance-2664520-1276327727.opb
1800.01/1800.50	c   Variables        : 2520 (2520 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 142 initial, 7545 maximal
1800.01/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.50	c   setppc           :         70          0    2694359          0    2469901       9899    1208844          0          0          0
1800.01/1800.50	c   logicor          :         72+         0     520606          0    2469901       1101     151849          0          0          0
1800.01/1800.50	c   countsols        :          0          0          0          0    2469901          0          0          0          0          0
1800.01/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.50	c   setppc           :     323.99       0.00      36.60       0.00     287.39
1800.01/1800.50	c   logicor          :     163.43       0.00       6.66       0.00     156.77
1800.01/1800.50	c   countsols        :       1.24       0.00       0.00       0.00       1.24
1800.01/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.50	c   vbounds          :       1.23          1          0          0
1800.01/1800.50	c   rootredcost      :       1.99          0          0          0
1800.01/1800.50	c   pseudoobj        :       1.36          0          0          0
1800.01/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.50	c   propagation      :      29.49      11000      11000     255513      207.2         52       95.8          -
1800.01/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.50	c   applied globally :          -          -          -      76105      146.6          -          -          -
1800.01/1800.50	c   applied locally  :          -          -          -        288      288.5          -          -          -
1800.01/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.50	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.50	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.50	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.50	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.50	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.50	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.50	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.50	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.50	c Pricers            :       Time      Calls       Vars
1800.01/1800.50	c   problem variables:       0.00          0          0
1800.01/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   inference        :    1187.00    2469901          0          0          0          0    4939802
1800.01/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.50	c   LP solutions     :       0.00          -          0
1800.01/1800.50	c   pseudo solutions :       0.00          -          0
1800.01/1800.50	c   trivial          :       0.00          1          0
1800.01/1800.50	c   simplerounding   :       0.00          0          0
1800.01/1800.50	c   zirounding       :       0.00          0          0
1800.01/1800.50	c   rounding         :       0.00          0          0
1800.01/1800.50	c   shifting         :       0.00          0          0
1800.01/1800.50	c   intshifting      :       0.00          0          0
1800.01/1800.50	c   oneopt           :       0.00          0          0
1800.01/1800.50	c   twoopt           :       0.00          0          0
1800.01/1800.50	c   fixandinfer      :       0.00          0          0
1800.01/1800.50	c   feaspump         :       0.00          0          0
1800.01/1800.50	c   coefdiving       :       0.00          0          0
1800.01/1800.50	c   pscostdiving     :       0.00          0          0
1800.01/1800.50	c   fracdiving       :       0.00          0          0
1800.01/1800.50	c   veclendiving     :       0.00          0          0
1800.01/1800.51	c   intdiving        :       0.00          0          0
1800.01/1800.51	c   actconsdiving    :       0.00          0          0
1800.01/1800.51	c   objpscostdiving  :       0.00          0          0
1800.01/1800.51	c   rootsoldiving    :       0.00          0          0
1800.01/1800.51	c   linesearchdiving :       0.00          0          0
1800.01/1800.51	c   guideddiving     :       0.00          0          0
1800.01/1800.51	c   octane           :       0.00          0          0
1800.01/1800.51	c   rens             :       0.00          0          0
1800.01/1800.51	c   rins             :       0.00          0          0
1800.01/1800.51	c   localbranching   :       0.00          0          0
1800.01/1800.51	c   mutation         :       0.00          0          0
1800.01/1800.51	c   crossover        :       0.00          0          0
1800.01/1800.51	c   dins             :       0.00          0          0
1800.01/1800.51	c   undercover       :       0.00          0          0
1800.01/1800.51	c   nlp              :       0.00          0          0
1800.01/1800.51	c   trysol           :       0.00          0          0
1800.01/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.51	c B&B Tree           :
1800.01/1800.51	c   number of runs   :          1
1800.01/1800.51	c   nodes            :    2476463
1800.01/1800.51	c   nodes (total)    :    2476463
1800.01/1800.51	c   nodes left       :    2458778
1800.01/1800.51	c   max depth        :       1549
1800.01/1800.51	c   max depth (total):       1549
1800.01/1800.51	c   backtracks       :       4500 (0.2%)
1800.01/1800.51	c   delayed cutoffs  :       4562
1800.01/1800.51	c   repropagations   :      11960 (82522 domain reductions, 4438 cutoffs)
1800.01/1800.51	c   avg switch length:       2.28
1800.01/1800.51	c   switching time   :      30.72
1800.01/1800.51	c Solution           :
1800.01/1800.51	c   Solutions found  :          0 (0 improvements)
1800.01/1800.51	c   Primal Bound     :          -
1800.01/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.51	c   Gap              :   infinite
1800.01/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.51	c   Root Iterations  :          0

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-2664520-1276327727/watcher-2664520-1276327727 -o /tmp/evaluation-result-2664520-1276327727/solver-2664520-1276327727 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664520-1276327727.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9576
/proc/meminfo: memFree=1819664/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=6584 CPUtime=0
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 978 0 0 0 0 0 0 0 20 0 1 0 8376359 6742016 900 1992294400 4194304 7136930 140736410464624 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9576/statm: 1646 909 254 719 0 925 0

[startup+0.0665219 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9576
/proc/meminfo: memFree=1819664/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=17116 CPUtime=0.05
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 4671 0 0 0 4 1 0 0 20 0 1 0 8376359 17526784 3468 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 4279 3468 344 719 0 3558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17116

[startup+0.101526 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9576
/proc/meminfo: memFree=1819664/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=18144 CPUtime=0.09
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 5479 0 0 0 7 2 0 0 20 0 1 0 8376359 18579456 3762 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 4536 3762 374 719 0 3815 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18144

[startup+0.301549 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9576
/proc/meminfo: memFree=1819664/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=18448 CPUtime=0.29
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 5557 0 0 0 27 2 0 0 20 0 1 0 8376359 18890752 3840 1992294400 4194304 7136930 140736410464624 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 4612 3840 375 719 0 3891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18448

[startup+0.701595 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9576
/proc/meminfo: memFree=1819664/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=19108 CPUtime=0.69
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 5716 0 0 0 66 3 0 0 20 0 1 0 8376359 19566592 3999 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 4777 3999 375 719 0 4056 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19108

[startup+1.50069 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 9577
/proc/meminfo: memFree=1804032/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=19900 CPUtime=1.49
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 5947 0 0 0 145 4 0 0 23 0 1 0 8376359 20377600 4230 1992294400 4194304 7136930 140736410464624 18446744073709551615 5005177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 4975 4230 379 719 0 4254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19900

[startup+3.10087 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9577
/proc/meminfo: memFree=1802916/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=21072 CPUtime=3.09
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 6253 0 0 0 302 7 0 0 25 0 1 0 8376359 21577728 4536 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 5268 4536 379 719 0 4547 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21072

[startup+6.30124 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9577
/proc/meminfo: memFree=1801304/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=22644 CPUtime=6.29
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 6636 0 0 0 617 12 0 0 25 0 1 0 8376359 23187456 4919 1992294400 4194304 7136930 140736410464624 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 5661 4919 379 719 0 4940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22644

[startup+12.701 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 9577
/proc/meminfo: memFree=1798452/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=25264 CPUtime=12.69
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 7325 0 0 0 1248 21 0 0 25 0 1 0 8376359 25870336 5608 1992294400 4194304 7136930 140736410464624 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 6316 5608 379 719 0 5595 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25264

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 9579
/proc/meminfo: memFree=1792996/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=30488 CPUtime=25.49
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 8686 0 0 0 2508 41 0 0 25 0 1 0 8376359 31219712 6969 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 7622 6969 379 719 0 6901 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30488

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 9579
/proc/meminfo: memFree=1782952/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=40396 CPUtime=51.08
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 11305 0 0 0 5028 80 0 0 25 0 1 0 8376359 41365504 9588 1992294400 4194304 7136930 140736410464624 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 10099 9588 379 719 0 9378 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40396

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 9581
/proc/meminfo: memFree=1760632/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=62948 CPUtime=102.27
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 16685 0 0 0 10062 165 0 0 25 0 1 0 8376359 64458752 14968 1992294400 4194304 7136930 140736410464624 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 15737 14968 379 719 0 15016 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62948

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9581
/proc/meminfo: memFree=1733848/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=92760 CPUtime=162.25
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 23451 0 0 0 15959 266 0 0 25 0 1 0 8376359 94986240 21734 1992294400 4194304 7136930 140736410464624 18446744073709551615 4414763 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 23190 21734 379 719 0 22469 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 92760

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9583
/proc/meminfo: memFree=1701732/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=122788 CPUtime=222.23
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 31338 0 0 0 21834 389 0 0 25 0 1 0 8376359 125734912 29621 1992294400 4194304 7136930 140736410464624 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 30697 29621 379 719 0 29976 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 122788

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9585
/proc/meminfo: memFree=1656844/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=165696 CPUtime=282.21
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 42545 0 0 0 27677 544 0 0 25 0 1 0 8376359 169672704 40828 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 41424 40828 379 719 0 40703 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 165696

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9587
/proc/meminfo: memFree=1609476/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=219088 CPUtime=342.2
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 54319 0 0 0 33504 716 0 0 25 0 1 0 8376359 224346112 52602 1992294400 4194304 7136930 140736410464624 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 54772 52602 379 719 0 54051 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 219088

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9589
/proc/meminfo: memFree=1586164/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=240980 CPUtime=402.18
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 60103 0 0 0 39408 810 0 0 25 0 1 0 8376359 246763520 58386 1992294400 4194304 7136930 140736410464624 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 60245 58386 379 719 0 59524 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 240980

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9589
/proc/meminfo: memFree=1563348/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=262360 CPUtime=462.16
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 65737 0 0 0 45314 902 0 0 25 0 1 0 8376359 268656640 64020 1992294400 4194304 7136930 140736410464624 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 65590 64020 379 719 0 64869 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 262360

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9591
/proc/meminfo: memFree=1540160/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=284680 CPUtime=522.15
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 71640 0 0 0 51217 998 0 0 25 0 1 0 8376359 291512320 69923 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 71170 69923 379 719 0 70449 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 284680

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9593
/proc/meminfo: memFree=1518336/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=305184 CPUtime=582.14
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 77052 0 0 0 57119 1095 0 0 25 0 1 0 8376359 312508416 75335 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 76296 75335 379 719 0 75575 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 305184

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9595
/proc/meminfo: memFree=1490932/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=330604 CPUtime=642.13
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 83735 0 0 0 63025 1188 0 0 25 0 1 0 8376359 338538496 82018 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 82651 82018 379 719 0 81930 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 330604

[startup+702.302 s]

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

/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 124229 0 0 0 104352 1848 0 0 25 0 1 0 8376359 512471040 122512 1992294400 4194304 7136930 140736410464624 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 125115 122512 379 719 0 124394 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 500460

[startup+1122.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 9607
/proc/meminfo: memFree=1307412/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=520528 CPUtime=1121.99
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 129546 0 0 0 110251 1948 0 0 25 0 1 0 8376359 533020672 127829 1992294400 4194304 7136930 140736410464624 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 130132 127829 379 719 0 129411 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 520528

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 9609
/proc/meminfo: memFree=1285712/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=540092 CPUtime=1181.97
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 134731 0 0 0 116155 2042 0 0 25 0 1 0 8376359 553054208 133014 1992294400 4194304 7136930 140736410464624 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 135023 133014 379 719 0 134302 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 540092

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9611
/proc/meminfo: memFree=1262772/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=561572 CPUtime=1241.95
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 140388 0 0 0 122055 2140 0 0 25 0 1 0 8376359 575049728 138671 1992294400 4194304 7136930 140736410464624 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 140393 138671 379 719 0 139672 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 561572

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9613
/proc/meminfo: memFree=1237724/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=585148 CPUtime=1301.95
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 146611 0 0 0 127956 2239 0 0 25 0 1 0 8376359 599191552 144894 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 146287 144894 379 719 0 145566 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 585148

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9613
/proc/meminfo: memFree=1213668/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=608860 CPUtime=1361.93
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 152847 0 0 0 133860 2333 0 0 25 0 1 0 8376359 623472640 151130 1992294400 4194304 7136930 140736410464624 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 152215 151130 379 719 0 151494 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 608860

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9615
/proc/meminfo: memFree=1192092/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=628324 CPUtime=1421.91
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 157995 0 0 0 139765 2426 0 0 25 0 1 0 8376359 643403776 156278 1992294400 4194304 7136930 140736410464624 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 157081 156278 379 719 0 156360 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 628324

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9617
/proc/meminfo: memFree=1169524/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=682224 CPUtime=1481.89
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 163591 0 0 0 145667 2522 0 0 25 0 1 0 8376359 698597376 161874 1992294400 4194304 7136930 140736410464624 18446744073709551615 4414778 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 170556 161874 379 719 0 169835 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 682224

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9619
/proc/meminfo: memFree=1146832/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=703584 CPUtime=1541.88
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 169241 0 0 0 151573 2615 0 0 25 0 1 0 8376359 720470016 167524 1992294400 4194304 7136930 140736410464624 18446744073709551615 4642126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 175896 167524 379 719 0 175175 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 703584

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9621
/proc/meminfo: memFree=1124512/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=724688 CPUtime=1601.86
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 174831 0 0 0 157474 2712 0 0 25 0 1 0 8376359 742080512 173114 1992294400 4194304 7136930 140736410464624 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 181172 173114 379 719 0 180451 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 724688

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9621
/proc/meminfo: memFree=1099712/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=747948 CPUtime=1661.85
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 180954 0 0 0 163380 2805 0 0 25 0 1 0 8376359 765898752 179237 1992294400 4194304 7136930 140736410464624 18446744073709551615 4407853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 186987 179237 379 719 0 186266 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 747948

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9623
/proc/meminfo: memFree=1076152/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=770612 CPUtime=1721.82
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 186924 0 0 0 169284 2898 0 0 25 0 1 0 8376359 789106688 185207 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 192653 185207 379 719 0 191932 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 770612

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9625
/proc/meminfo: memFree=1054328/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=790760 CPUtime=1781.81
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 192265 0 0 0 175188 2993 0 0 25 0 1 0 8376359 809738240 190548 1992294400 4194304 7136930 140736410464624 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 197690 190548 379 719 0 196969 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 790760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9625
/proc/meminfo: memFree=1046640/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=797748 CPUtime=1800.01
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 194085 0 0 0 176980 3021 0 0 25 0 1 0 8376359 816893952 192368 1992294400 4194304 7136930 140736410464624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9576/statm: 199437 192368 379 719 0 198716 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 797748

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9576

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9626
/proc/meminfo: memFree=1046632/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=797232 CPUtime=1800.9
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 194102 0 0 0 177069 3021 0 0 25 0 1 0 8376359 816365568 192256 1992294400 4194304 7136930 140736410464624 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9576/statm: 199308 192256 384 719 0 198587 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 797232

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9626
/proc/meminfo: memFree=1046508/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=797232 CPUtime=1801.7
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 194102 0 0 0 177149 3021 0 0 25 0 1 0 8376359 816365568 192256 1992294400 4194304 7136930 140736410464624 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9576/statm: 199308 192256 384 719 0 198587 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 797232

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9626
/proc/meminfo: memFree=1046508/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=797232 CPUtime=1801.9
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 194102 0 0 0 177169 3021 0 0 25 0 1 0 8376359 816365568 192256 1992294400 4194304 7136930 140736410464624 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9576/statm: 199308 192256 384 719 0 198587 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 797232

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9626
/proc/meminfo: memFree=1046508/2059040 swapFree=4192956/4192956
[pid=9576] ppid=9574 vsize=797232 CPUtime=1802
/proc/9576/stat : 9576 (pbscip.linux.x8) R 9574 9576 8665 0 -1 4202496 194102 0 0 0 177179 3021 0 0 25 0 1 0 8376359 816365568 192256 1992294400 4194304 7136930 140736410464624 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9576/statm: 199308 192256 384 719 0 198587 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 797232

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.58
CPU time (s): 1802.1
CPU user time (s): 1771.8
CPU system time (s): 30.2914
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 797748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.8
system time used= 30.2914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194102
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 22891

runsolver used 3.14952 second user time and 8.36173 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-12 09:28:47
IDJOB=2664520
IDBENCH=1426
IDSOLVER=1167
FILE ID=node006/2664520-1276327727
PBS_JOBID= 11173157
Free space on /tmp= 62472 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664520-1276327727/watcher-2664520-1276327727 -o /tmp/evaluation-result-2664520-1276327727/solver-2664520-1276327727 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664520-1276327727.opb -t 1800 -m 1800

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

MD5SUM BENCH= 63dafaa5a785f38064ac19ced11339d2
RANDOM SEED=769161374

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
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.40
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.204
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:       1820192 kB
Buffers:         11476 kB
Cached:         103744 kB
SwapCached:          0 kB
Active:         118640 kB
Inactive:        56516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1820192 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3512 kB
Writeback:           8 kB
AnonPages:       59904 kB
Mapped:          15396 kB
Slab:            42072 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182864 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= 62472 MiB
End job on node006 at 2010-06-12 09:58:50