Trace number 2664676

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)297 1800.13 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
MD5SUM45a62012cfe681f45441c62f782d8601
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark1.11983
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved YES
Number of variables672
Total number of constraints2404
Number of constraints which are clauses2404
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 672
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 672
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 672
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 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-2664676-1276450187.opb>
0.00/0.05	c original problem has 672 variables (672 bin, 0 int, 0 impl, 0 cont) and 2404 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.00/0.05	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.06	c presolving:
0.06/0.08	c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14976 impls, 0 clqs
0.09/0.12	c (round 2) 12 del vars, 18 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2146 upgd conss, 14976 impls, 0 clqs
0.09/0.13	c (round 3) 12 del vars, 18 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2386 upgd conss, 14976 impls, 0 clqs
0.09/0.17	c    (0.1s) probing: 101/660 (15.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (4 rounds):
0.09/0.17	c  12 deleted vars, 18 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17	c  14976 implications, 0 cliques
0.09/0.17	c presolved problem has 660 variables (660 bin, 0 int, 0 impl, 0 cont) and 2386 constraints
0.09/0.17	c    2386 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.10
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.2
0.09/0.17	c 
0.09/0.17	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c conflict/interconss = 0
0.09/0.17	c 
0.09/0.17	c # should binary conflicts be preferred?
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c conflict/preferbinary = TRUE
0.09/0.17	c 
0.09/0.17	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.17	c constraints/agelimit = 1
0.09/0.17	c 
0.09/0.17	c # should enforcement of pseudo solution be disabled?
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/disableenfops = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1799.96
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 1620
0.09/0.17	c 
0.09/0.17	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17	c lp/solvefreq = -1
0.09/0.17	c 
0.09/0.17	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.17	c # [type: char, range: {lafpsqd}, default: l]
0.09/0.17	c lp/pricing = a
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # priority of node selection rule <dfs> in standard mode
0.09/0.17	c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.17	c nodeselection/dfs/stdpriority = 1000000
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     2 |     0 |     - |3756k|   0 |   - | 660 |2386 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	o 299
0.19/0.25	c * 0.2s|   207 |   110 |     0 |   0.0 |3868k| 144 |   - | 660 |2398 |   0 |   0 |   0 |  39 |   0 | 1.000000e+00 | 2.990000e+02 |  Large 
0.19/0.25	o 298
0.19/0.25	c * 0.2s|   218 |   109 |     0 |   0.0 |3877k| 144 |   - | 660 |2398 |   0 |   0 |   0 |  39 |   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1.89/1.91	c   1.7s| 10000 |   104 |     0 |   0.0 |3882k| 144 |   - | 660 |2398 |   0 |   0 |   0 | 197 |   0 | 1.000000e+00 | 2.980000e+02 |  Large 
3.49/3.54	c   3.1s| 20000 |   102 |     0 |   0.0 |3882k| 144 |   - | 660 |2398 |   0 |   0 |   0 | 393 |   0 | 1.000000e+00 | 2.980000e+02 |  Large 
5.29/5.30	c   4.8s| 30000 |   102 |     0 |   0.0 |3882k| 144 |   - | 660 |2398 |   0 |   0 |   0 | 700 |   0 | 1.000000e+00 | 2.980000e+02 |  Large 
6.99/7.07	c   6.4s| 40000 |   107 |     0 |   0.0 |3884k| 144 |   - | 660 |2398 |   0 |   0 |   0 |1044 |   0 | 1.000000e+00 | 2.980000e+02 |  Large 
8.89/8.93	c   8.1s| 50000 |   102 |     0 |   0.0 |3882k| 144 |   - | 660 |2398 |   0 |   0 |   0 |1430 |   0 | 1.000000e+00 | 2.980000e+02 |  Large 
11.49/11.56	c  10.5s| 60000 |   105 |     0 |   0.0 |3887k| 144 |   - | 660 |2399 |   0 |   0 |   0 |3231 |   0 | 1.000000e+00 | 2.980000e+02 |  Large 
14.69/14.71	c  13.5s| 70000 |   107 |     0 |   0.0 |3886k| 144 |   - | 660 |2399 |   0 |   0 |   0 |6043 |   0 | 1.000000e+00 | 2.980000e+02 |  Large 
18.08/18.15	c  16.7s| 80000 |   107 |     0 |   0.0 |3886k| 144 |   - | 660 |2399 |   0 |   0 |   0 |9181 |   0 | 1.000000e+00 | 2.980000e+02 |  Large 
21.89/21.90	c  20.3s| 90000 |   103 |     0 |   0.0 |3885k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  12k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
25.38/25.43	c  23.6s|100000 |   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  16k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
28.09/28.12	c  26.1s|110000 |   104 |     0 |   0.0 |3885k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  18k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
31.79/31.89	c  29.7s|120000 |   110 |     0 |   0.0 |3887k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  22k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
35.49/35.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.49/35.50	c  33.0s|130000 |   105 |     0 |   0.0 |3886k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  25k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
38.28/38.39	c  35.8s|140000 |   102 |     0 |   0.0 |3886k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  28k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
40.98/41.04	c  38.2s|150000 |   102 |     0 |   0.0 |3885k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  30k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
42.89/42.93	c  40.0s|160000 |   105 |     0 |   0.0 |3885k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  30k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
44.78/44.84	c  41.7s|170000 |   102 |     0 |   0.0 |3886k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  31k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
46.58/46.64	c  43.3s|180000 |   101 |     0 |   0.0 |3885k| 144 |   - | 660 |2399 |   0 |   0 |   0 |  31k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
48.78/48.87	c  45.4s|190000 |   108 |     0 |   0.0 |3887k| 144 |   - | 660 |2400 |   0 |   0 |   0 |  32k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
51.38/51.49	c  47.9s|200000 |   102 |     0 |   0.0 |3886k| 144 |   - | 660 |2400 |   0 |   0 |   0 |  34k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
53.68/53.78	c  50.0s|210000 |   101 |     0 |   0.0 |3886k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  35k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
55.47/55.57	c  51.6s|220000 |   106 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  36k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
58.38/58.43	c  54.3s|230000 |   107 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  38k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
60.67/60.77	c  56.4s|240000 |   105 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  39k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
62.68/62.72	c  58.2s|250000 |   102 |     0 |   0.0 |3886k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  40k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
65.98/66.02	c  61.4s|260000 |   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  43k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
69.67/69.76	c  64.9s|270000 |   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  47k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
73.37/73.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
73.37/73.43	c  68.4s|280000 |   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  50k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
77.07/77.16	c  71.9s|290000 |   105 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  54k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
79.97/80.03	c  74.6s|300000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  56k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
82.67/82.74	c  77.2s|310000 |   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
85.36/85.47	c  79.8s|320000 |   103 |     0 |   0.0 |3886k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  61k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
87.76/87.84	c  82.0s|330000 |   102 |     0 |   0.0 |3886k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  62k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
90.76/90.89	c  84.9s|340000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  65k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
93.66/93.77	c  87.6s|350000 |   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  68k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
96.26/96.31	c  90.0s|360000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  70k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
98.57/98.67	c  92.2s|370000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  71k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
101.07/101.17	c  94.5s|380000 |   104 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  73k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
103.66/103.71	c  96.9s|390000 |   103 |     0 |   0.0 |3886k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  74k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
106.06/106.14	c  99.1s|400000 |   104 |     0 |   0.0 |3886k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  76k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
108.76/108.86	c   102s|410000 |   104 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  78k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
111.26/111.32	c   104s|420000 |   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  79k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
113.05/113.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
113.05/113.15	c   106s|430000 |   101 |     0 |   0.0 |3886k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  80k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
114.86/114.93	c   107s|440000 |   102 |     0 |   0.0 |3885k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  80k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
117.25/117.34	c   109s|450000 |   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  81k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
120.66/120.70	c   113s|460000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  85k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
124.16/124.28	c   116s|470000 |   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  88k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
128.36/128.43	c   120s|480000 |   101 |     0 |   0.0 |3893k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  92k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
132.36/132.45	c   124s|490000 |   107 |     0 |   0.0 |3890k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  96k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
135.45/135.58	c   127s|500000 |   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 |  99k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
138.35/138.50	c   129s|510000 |   104 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 102k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
141.45/141.59	c   132s|520000 |   105 |     0 |   0.0 |3890k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 105k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
145.25/145.32	c   136s|530000 |   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 109k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
148.75/148.89	c   139s|540000 |   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 112k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
151.76/151.84	c   142s|550000 |   105 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 114k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
154.05/154.19	c   144s|560000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 116k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
156.65/156.71	c   146s|570000 |   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 118k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
159.25/159.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
159.25/159.37	c   149s|580000 |   104 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 120k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
162.25/162.30	c   152s|590000 |   107 |     0 |   0.0 |3889k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 123k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
165.24/165.35	c   155s|600000 |   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 126k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
168.35/168.49	c   158s|610000 |   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 129k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
171.45/171.55	c   160s|620000 |   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 131k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
174.64/174.72	c   163s|630000 |   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 134k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
178.44/178.53	c   167s|640000 |   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 138k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
181.94/182.03	c   170s|650000 |   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 142k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
184.84/184.92	c   173s|660000 |   104 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 145k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
187.34/187.44	c   175s|670000 |   103 |     0 |   0.0 |3891k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 147k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
189.94/190.02	c   178s|680000 |   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2401 |   0 |   0 |   0 | 149k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
192.83/192.95	c   181s|690000 |   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 151k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
195.93/196.04	c   183s|700000 |   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 154k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
198.24/198.32	c   186s|710000 |   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 156k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
201.03/201.14	c   188s|720000 |   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 158k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
203.94/204.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
203.94/204.04	c   191s|730000 |   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 161k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
207.33/207.42	c   194s|740000 |    99 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 164k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
211.23/211.34	c   198s|750000 |   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 168k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
214.83/214.98	c   201s|760000 |   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 172k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
218.93/219.00	c   205s|770000 |   106 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 176k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
222.23/222.33	c   208s|780000 |    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 179k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
225.33/225.44	c   211s|790000 |    98 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 182k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
228.33/228.40	c   214s|800000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 184k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
230.42/230.50	c   216s|810000 |   105 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 185k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
233.13/233.25	c   218s|820000 |   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 187k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
236.52/236.67	c   222s|830000 |   104 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 190k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
239.93/240.06	c   225s|840000 |    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 194k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
242.52/242.66	c   227s|850000 |   102 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 196k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
245.03/245.17	c   230s|860000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 197k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
247.22/247.30	c   231s|870000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 198k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
249.72/249.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
249.72/249.87	c   234s|880000 |   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 200k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
252.82/252.95	c   237s|890000 |   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 203k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
255.42/255.50	c   239s|900000 |   104 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 204k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
257.62/257.74	c   241s|910000 |   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 206k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
259.82/259.92	c   243s|920000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 207k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
261.92/262.05	c   245s|930000 |   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 208k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
263.93/264.06	c   247s|940000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 208k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
266.42/266.60	c   249s|950000 |   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 210k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
268.71/268.89	c   252s|960000 |   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 211k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
271.52/271.70	c   254s|970000 |   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 213k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
274.02/274.20	c   256s|980000 |   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 215k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
276.31/276.48	c   259s|990000 |   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 216k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
278.61/278.73	c   261s|  1000k|   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 217k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
280.51/280.68	c   262s|  1010k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 218k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
282.51/282.66	c   264s|  1020k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 218k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
284.41/284.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
284.41/284.53	c   266s|  1030k|    98 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 219k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
286.41/286.57	c   268s|  1040k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 220k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
288.31/288.49	c   270s|  1050k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 220k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
290.61/290.73	c   272s|  1060k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 221k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
292.42/292.60	c   273s|  1070k|    99 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 222k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
294.72/294.81	c   275s|  1080k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 223k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
296.40/296.51	c   277s|  1090k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 223k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
298.40/298.55	c   279s|  1100k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 224k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
300.11/300.26	c   280s|  1110k|   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 224k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
301.91/302.07	c   282s|  1120k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 225k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
303.80/303.96	c   284s|  1130k|   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 225k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
306.40/306.50	c   286s|  1140k|   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 227k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
308.71/308.81	c   288s|  1150k|   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 228k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
311.90/312.02	c   291s|  1160k|   106 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 231k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
314.70/314.85	c   294s|  1170k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 233k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
316.80/316.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
316.80/316.98	c   296s|  1180k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 235k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
319.10/319.25	c   298s|  1190k|   106 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 236k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
321.80/321.90	c   300s|  1200k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 238k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
323.90/324.02	c   302s|  1210k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 239k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
326.10/326.23	c   304s|  1220k|   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 240k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
328.90/329.01	c   307s|  1230k|   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 242k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
332.50/332.63	c   310s|  1240k|   105 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 246k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
336.50/336.69	c   314s|  1250k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 250k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
340.09/340.21	c   318s|  1260k|   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 254k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
343.59/343.74	c   321s|  1270k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 257k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
346.49/346.63	c   324s|  1280k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 260k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
350.09/350.24	c   327s|  1290k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 263k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
352.59/352.79	c   330s|  1300k|   104 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 265k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
354.89/355.03	c   332s|  1310k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 267k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
356.69/356.89	c   333s|  1320k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 267k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
358.99/359.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
358.99/359.18	c   335s|  1330k|   103 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 268k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
362.59/362.74	c   339s|  1340k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 272k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
366.19/366.36	c   342s|  1350k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 276k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
368.89/369.05	c   345s|  1360k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 278k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
371.78/371.94	c   347s|  1370k|   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 280k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
374.19/374.39	c   350s|  1380k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 282k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
376.59/376.72	c   352s|  1390k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 284k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
378.98/379.14	c   354s|  1400k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 285k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
381.59/381.74	c   356s|  1410k|    99 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 287k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
383.79/383.96	c   359s|  1420k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 288k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
387.68/387.85	c   362s|  1430k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 293k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
391.58/391.71	c   366s|  1440k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 296k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
395.38/395.51	c   369s|  1450k|   104 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 300k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
399.09/399.29	c   373s|  1460k|   101 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 304k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
402.18/402.33	c   376s|  1470k|   106 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 307k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
404.78/404.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
404.78/404.95	c   378s|  1480k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 309k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
407.57/407.70	c   381s|  1490k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 311k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
410.28/410.43	c   383s|  1500k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 314k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
414.18/414.38	c   387s|  1510k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 318k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
418.17/418.34	c   391s|  1520k|   106 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 322k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
421.48/421.66	c   394s|  1530k|    99 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 325k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
424.38/424.60	c   397s|  1540k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 328k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
426.77/426.90	c   399s|  1550k|   102 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 329k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
430.07/430.21	c   402s|  1560k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 332k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
431.86/432.03	c   404s|  1570k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 333k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
434.57/434.73	c   406s|  1580k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 335k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
437.17/437.33	c   409s|  1590k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 337k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
439.78/439.99	c   411s|  1600k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 339k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
442.66/442.88	c   414s|  1610k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 341k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
444.46/444.65	c   416s|  1620k|    98 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 342k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
446.56/446.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
446.56/446.72	c   417s|  1630k|   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 342k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
448.37/448.55	c   419s|  1640k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 343k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
450.66/450.84	c   421s|  1650k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 344k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
453.56/453.78	c   424s|  1660k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 346k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
456.86/457.00	c   427s|  1670k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 349k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
458.96/459.15	c   429s|  1680k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 350k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
461.16/461.35	c   431s|  1690k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 351k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
463.36/463.53	c   433s|  1700k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 352k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
465.26/465.48	c   435s|  1710k|   104 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 353k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
467.06/467.23	c   436s|  1720k|   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 353k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
470.16/470.37	c   439s|  1730k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 356k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
474.16/474.38	c   443s|  1740k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 360k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
477.96/478.11	c   447s|  1750k|   104 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 364k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
481.15/481.39	c   450s|  1760k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 368k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
484.46/484.62	c   453s|  1770k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 371k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
487.35/487.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
487.35/487.53	c   456s|  1780k|   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 373k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
489.65/489.84	c   458s|  1790k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 375k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
492.16/492.34	c   460s|  1800k|   107 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 376k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
494.95/495.15	c   463s|  1810k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 379k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
497.75/497.97	c   465s|  1820k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 381k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
500.75/500.91	c   468s|  1830k|   102 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 384k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
502.85/503.07	c   470s|  1840k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 385k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
505.35/505.54	c   472s|  1850k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 387k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
507.14/507.38	c   474s|  1860k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 387k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
511.15/511.31	c   478s|  1870k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 391k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
513.55/513.71	c   480s|  1880k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 393k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
515.84/516.04	c   482s|  1890k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 394k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
517.85/518.04	c   484s|  1900k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 395k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
520.44/520.67	c   486s|  1910k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 397k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
524.24/524.46	c   490s|  1920k|   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 401k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
527.84/528.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
527.84/528.04	c   493s|  1930k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 404k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
529.74/529.98	c   495s|  1940k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 405k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
531.64/531.85	c   497s|  1950k|    97 |     0 |   0.0 |3886k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 405k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
533.64/533.82	c   499s|  1960k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 406k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
535.94/536.18	c   501s|  1970k|    97 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 408k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
538.24/538.45	c   503s|  1980k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 409k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
540.83/541.02	c   505s|  1990k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 411k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
542.54/542.74	c   507s|  2000k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 411k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
544.43/544.62	c   509s|  2010k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 412k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
546.24/546.40	c   510s|  2020k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 412k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
548.74/548.91	c   513s|  2030k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 414k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
551.94/552.10	c   516s|  2040k|    97 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 417k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
555.54/555.75	c   519s|  2050k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 421k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
558.23/558.47	c   522s|  2060k|   104 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 423k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
562.13/562.35	c   525s|  2070k|   102 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 427k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
565.63/565.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
565.63/565.84	c   529s|  2080k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 431k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
567.93/568.13	c   531s|  2090k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 432k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
570.83/571.01	c   533s|  2100k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 435k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
573.63/573.86	c   536s|  2110k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 437k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
577.03/577.22	c   539s|  2120k|   105 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 440k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
580.33/580.53	c   542s|  2130k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 444k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
583.84/584.09	c   546s|  2140k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 447k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
587.93/588.18	c   550s|  2150k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 451k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
591.42/591.62	c   553s|  2160k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 454k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
594.33/594.51	c   556s|  2170k|   102 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 457k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
597.63/597.88	c   559s|  2180k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 460k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
599.72/599.96	c   561s|  2190k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 460k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
603.12/603.30	c   564s|  2200k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 463k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
606.22/606.42	c   567s|  2210k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 466k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
609.23/609.44	c   570s|  2220k|    99 |     0 |   0.0 |3886k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 469k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
611.72/611.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
611.72/611.91	c   572s|  2230k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 471k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
614.11/614.36	c   574s|  2240k|    97 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 472k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
616.72/616.92	c   577s|  2250k|    95 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 474k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
619.32/619.56	c   579s|  2260k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 476k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
622.92/623.19	c   582s|  2270k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 480k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
626.51/626.78	c   586s|  2280k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 483k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
629.61/629.83	c   589s|  2290k|   104 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 486k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
632.92/633.10	c   592s|  2300k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 489k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
636.62/636.85	c   595s|  2310k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 493k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
639.31/639.52	c   598s|  2320k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 495k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
641.21/641.43	c   600s|  2330k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 495k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
642.81/643.07	c   601s|  2340k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 495k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
644.91/645.15	c   603s|  2350k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 496k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
646.81/647.02	c   605s|  2360k|   105 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 497k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
648.81/649.02	c   607s|  2370k|   107 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 498k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
650.61/650.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
650.61/650.83	c   608s|  2380k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 498k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
652.41/652.66	c   610s|  2390k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 499k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
654.51/654.76	c   612s|  2400k|   104 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 500k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
656.61/656.82	c   614s|  2410k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 501k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
658.81/659.03	c   616s|  2420k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 502k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
660.60/660.85	c   617s|  2430k|   104 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 502k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
662.61/662.83	c   619s|  2440k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 503k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
664.31/664.55	c   621s|  2450k|   107 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 503k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
666.00/666.28	c   622s|  2460k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 504k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
668.51/668.70	c   625s|  2470k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 505k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
670.31/670.59	c   626s|  2480k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 506k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
672.10/672.39	c   628s|  2490k|    98 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 506k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
674.30/674.59	c   630s|  2500k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 507k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
676.40/676.64	c   632s|  2510k|   104 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 508k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
678.60/678.81	c   634s|  2520k|    97 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 510k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
680.60/680.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
680.60/680.80	c   636s|  2530k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 510k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
682.60/682.89	c   638s|  2540k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 511k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
684.50/684.73	c   639s|  2550k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 512k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
686.40/686.62	c   641s|  2560k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 513k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
688.09/688.39	c   643s|  2570k|    98 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 513k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
689.89/690.13	c   644s|  2580k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 513k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
691.80/692.04	c   646s|  2590k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 514k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
693.80/694.06	c   648s|  2600k|   105 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 515k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
696.50/696.74	c   650s|  2610k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 517k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
698.39/698.61	c   652s|  2620k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 517k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
701.10/701.32	c   655s|  2630k|   106 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 519k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
703.70/703.90	c   657s|  2640k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 521k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
705.90/706.15	c   659s|  2650k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 523k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
707.89/708.11	c   661s|  2660k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 524k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
710.69/710.90	c   663s|  2670k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 526k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
713.39/713.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
713.39/713.63	c   666s|  2680k|    96 |     0 |   0.0 |3886k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 528k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
716.18/716.42	c   669s|  2690k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 530k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
718.59/718.82	c   671s|  2700k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 532k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
721.09/721.34	c   673s|  2710k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 534k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
723.18/723.43	c   675s|  2720k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 535k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
725.28/725.56	c   677s|  2730k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 536k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
727.38/727.68	c   679s|  2740k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 537k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
729.59/729.88	c   681s|  2750k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 538k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
731.78/732.04	c   683s|  2760k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 540k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
734.09/734.30	c   685s|  2770k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 541k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
736.98/737.22	c   688s|  2780k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 543k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
740.18/740.40	c   691s|  2790k|    99 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 546k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
743.29/743.53	c   694s|  2800k|    99 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 549k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
746.98/747.26	c   698s|  2810k|   105 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 553k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
749.78/750.02	c   700s|  2820k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 556k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
751.87/752.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
751.87/752.10	c   702s|  2830k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 557k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
753.98/754.22	c   704s|  2840k|   101 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 558k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
755.97/756.26	c   706s|  2850k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 559k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
758.17/758.46	c   708s|  2860k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 560k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
760.48/760.72	c   710s|  2870k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 561k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
763.78/764.06	c   713s|  2880k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 564k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
765.98/766.21	c   715s|  2890k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 566k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
767.87/768.11	c   717s|  2900k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 566k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
769.68/769.96	c   719s|  2910k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 567k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
771.47/771.75	c   720s|  2920k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 567k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
774.08/774.33	c   723s|  2930k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 569k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
776.07/776.35	c   724s|  2940k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 570k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
777.77/778.09	c   726s|  2950k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 571k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
779.97/780.21	c   728s|  2960k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 572k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
781.97/782.29	c   730s|  2970k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 573k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
785.27/785.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
785.27/785.59	c   733s|  2980k|    99 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 576k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
787.97/788.26	c   736s|  2990k|    97 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 578k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
790.97/791.27	c   738s|  3000k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 581k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
793.16/793.42	c   740s|  3010k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 582k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
795.36/795.65	c   742s|  3020k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 584k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
797.56/797.84	c   744s|  3030k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 585k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
800.47/800.70	c   747s|  3040k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 587k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
803.96/804.23	c   750s|  3050k|   106 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 590k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
807.66/807.97	c   754s|  3060k|   105 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 594k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
811.36/811.64	c   757s|  3070k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 598k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
814.87/815.12	c   761s|  3080k|   101 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 601k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
820.46/820.76	c   766s|  3090k|   102 |     0 |   0.0 |3894k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 607k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
825.76/826.09	c   771s|  3100k|   102 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 613k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
830.16/830.47	c   775s|  3110k|    99 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 618k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
833.46/833.80	c   778s|  3120k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 621k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
836.55/836.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
836.55/836.89	c   781s|  3130k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 624k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
840.55/840.86	c   785s|  3140k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 628k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
845.66/845.91	c   790s|  3150k|   101 |     0 |   0.0 |3895k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 633k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
850.45/850.77	c   795s|  3160k|    98 |     0 |   0.0 |3886k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 639k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
855.05/855.31	c   799s|  3170k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 643k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
860.15/860.40	c   804s|  3180k|   103 |     0 |   0.0 |3894k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 649k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
865.95/866.26	c   809s|  3190k|    97 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 656k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
870.85/871.12	c   814s|  3200k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 661k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
875.65/875.90	c   819s|  3210k|   100 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 667k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
880.14/880.46	c   823s|  3220k|    99 |     0 |   0.0 |3895k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 672k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
884.34/884.65	c   827s|  3230k|   100 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 676k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
888.45/888.80	c   831s|  3240k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 681k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
892.74/893.01	c   835s|  3250k|   104 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 685k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
896.64/896.93	c   838s|  3260k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 689k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
901.04/901.35	c   843s|  3270k|    98 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 694k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
905.54/905.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
905.54/905.81	c   847s|  3280k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 698k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
909.03/909.39	c   850s|  3290k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 702k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
913.14/913.45	c   854s|  3300k|   107 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 706k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
916.94/917.21	c   858s|  3310k|   107 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 710k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
920.93/921.25	c   862s|  3320k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 714k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
925.23/925.52	c   866s|  3330k|    98 |     0 |   0.0 |3896k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 719k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
928.83/929.15	c   869s|  3340k|   106 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 722k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
932.03/932.34	c   872s|  3350k|   101 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 725k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
934.93/935.25	c   875s|  3360k|   102 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 728k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
939.42/939.72	c   879s|  3370k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 732k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
942.53/942.90	c   882s|  3380k|   102 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 735k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
946.73/947.10	c   886s|  3390k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 739k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
950.92/951.23	c   890s|  3400k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 743k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
954.62/954.98	c   893s|  3410k|   105 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 747k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
958.52/958.80	c   897s|  3420k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 751k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
962.72/963.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
962.72/963.04	c   901s|  3430k|   102 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 755k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
966.72/967.03	c   905s|  3440k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 759k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
970.32/970.69	c   908s|  3450k|   101 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 763k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
974.72/975.05	c   912s|  3460k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 767k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
978.22/978.52	c   916s|  3470k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 771k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
981.51/981.87	c   919s|  3480k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 774k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
985.41/985.79	c   922s|  3490k|   105 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 777k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
989.41/989.70	c   926s|  3500k|    98 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 781k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
993.21/993.58	c   930s|  3510k|   106 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 785k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
995.61/995.98	c   932s|  3520k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 787k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
998.10/998.44	c   934s|  3530k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 788k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1001.61/1001.92	c   938s|  3540k|   104 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 792k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1005.90/1006.24	c   942s|  3550k|   104 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 796k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1009.21/1009.52	c   945s|  3560k|   106 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 799k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1011.61/1011.95	c   947s|  3570k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 801k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1014.70/1015.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1014.70/1015.02	c   950s|  3580k|   102 |     0 |   0.0 |3895k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 803k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1019.10/1019.44	c   954s|  3590k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 807k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1021.61/1021.90	c   956s|  3600k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 809k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1024.20/1024.53	c   959s|  3610k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 811k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1027.00/1027.32	c   961s|  3620k|   105 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 813k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1031.70/1032.10	c   966s|  3630k|   100 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 818k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1036.00/1036.33	c   970s|  3640k|   106 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 822k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1039.90/1040.21	c   974s|  3650k|   104 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 826k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1043.61/1043.92	c   977s|  3660k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 830k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1047.39/1047.79	c   981s|  3670k|   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 833k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1049.39/1049.77	c   983s|  3680k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 834k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1052.59/1052.90	c   985s|  3690k|   102 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 837k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1055.90/1056.24	c   989s|  3700k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 840k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1058.29/1058.69	c   991s|  3710k|   100 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 841k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1060.79/1061.12	c   993s|  3720k|   100 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 843k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1063.40/1063.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1063.40/1063.78	c   996s|  3730k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 845k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1066.49/1066.81	c   998s|  3740k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 848k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1069.69/1070.03	c  1001s|  3750k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 851k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1072.29/1072.64	c  1004s|  3760k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 853k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1075.19/1075.52	c  1007s|  3770k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 855k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1078.19/1078.57	c  1009s|  3780k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 858k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1081.08/1081.43	c  1012s|  3790k|   102 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 860k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1084.09/1084.41	c  1015s|  3800k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 863k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1086.88/1087.29	c  1018s|  3810k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 865k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1089.69/1090.05	c  1020s|  3820k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 867k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1092.59/1092.99	c  1023s|  3830k|   104 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 870k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1095.99/1096.38	c  1026s|  3840k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 873k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1099.68/1100.01	c  1030s|  3850k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 876k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1102.68/1103.00	c  1032s|  3860k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 879k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1105.38/1105.77	c  1035s|  3870k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 881k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1108.67/1109.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1108.67/1109.06	c  1038s|  3880k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 884k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1112.08/1112.43	c  1041s|  3890k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 887k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1115.48/1115.81	c  1044s|  3900k|   107 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 890k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1119.28/1119.60	c  1048s|  3910k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 894k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1123.48/1123.82	c  1052s|  3920k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 898k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1126.77/1127.13	c  1055s|  3930k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 901k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1129.77/1130.19	c  1058s|  3940k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 904k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1132.97/1133.33	c  1061s|  3950k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 906k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1135.47/1135.82	c  1063s|  3960k|    97 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 908k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1138.77/1139.11	c  1066s|  3970k|    97 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 911k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1142.06/1142.46	c  1069s|  3980k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 914k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1144.86/1145.23	c  1072s|  3990k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 917k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1147.47/1147.83	c  1074s|  4000k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 919k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1150.46/1150.87	c  1077s|  4010k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 921k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1153.57/1153.99	c  1080s|  4020k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 924k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1156.66/1157.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1156.66/1157.05	c  1083s|  4030k|    99 |     0 |   0.0 |3894k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 927k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1160.17/1160.53	c  1086s|  4040k|   103 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 930k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1164.66/1165.01	c  1091s|  4050k|    98 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 935k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1167.86/1168.22	c  1094s|  4060k|    97 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 938k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1170.06/1170.45	c  1096s|  4070k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 939k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1173.06/1173.45	c  1099s|  4080k|   102 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 942k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1177.77/1178.12	c  1103s|  4090k|    98 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 947k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1180.65/1181.04	c  1106s|  4100k|   101 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 949k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1184.75/1185.11	c  1110s|  4110k|    99 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 953k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1188.15/1188.56	c  1113s|  4120k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 957k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1190.55/1190.98	c  1115s|  4130k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 958k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1192.95/1193.31	c  1117s|  4140k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 960k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1195.15/1195.51	c  1119s|  4150k|   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 961k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1197.46/1197.86	c  1121s|  4160k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 963k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1200.76/1201.12	c  1125s|  4170k|    99 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 966k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1203.65/1204.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1203.65/1204.01	c  1127s|  4180k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 968k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1205.95/1206.35	c  1129s|  4190k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 970k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1208.64/1209.08	c  1132s|  4200k|    97 |     0 |   0.0 |3886k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 972k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1211.25/1211.65	c  1134s|  4210k|   101 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 974k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1213.75/1214.18	c  1137s|  4220k|   105 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 976k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1216.04/1216.48	c  1139s|  4230k|   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 977k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1218.84/1219.26	c  1141s|  4240k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 980k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1221.85/1222.23	c  1144s|  4250k|    96 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 982k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1225.84/1226.21	c  1148s|  4260k|   101 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 986k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1229.45/1229.83	c  1151s|  4270k|    98 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 989k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1231.95/1232.30	c  1154s|  4280k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 991k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1234.34/1234.77	c  1156s|  4290k|    98 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 993k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1236.54/1236.95	c  1158s|  4300k|    97 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 994k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1240.35/1240.76	c  1162s|  4310k|    98 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 | 998k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1243.54/1243.95	c  1165s|  4320k|   100 |     0 |   0.0 |3894k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1001k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1246.84/1247.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1246.84/1247.20	c  1168s|  4330k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1003k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1249.74/1250.18	c  1170s|  4340k|    97 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1006k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1252.34/1252.73	c  1173s|  4350k|   103 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1008k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1255.34/1255.75	c  1176s|  4360k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1010k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1258.63/1259.07	c  1179s|  4370k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1013k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1262.03/1262.48	c  1182s|  4380k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1016k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1266.54/1266.94	c  1186s|  4390k|   100 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1021k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1271.63/1272.02	c  1191s|  4400k|   103 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1026k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1276.13/1276.52	c  1195s|  4410k|   102 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1030k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1279.93/1280.33	c  1199s|  4420k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1034k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1283.53/1283.90	c  1202s|  4430k|    98 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1037k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1286.82/1287.26	c  1205s|  4440k|    98 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1040k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1291.13/1291.55	c  1209s|  4450k|   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1044k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1295.43/1295.87	c  1214s|  4460k|    98 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1048k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1299.12/1299.54	c  1217s|  4470k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1052k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1303.62/1304.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1303.62/1304.03	c  1221s|  4480k|    97 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1056k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1307.92/1308.31	c  1225s|  4490k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1060k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1311.72/1312.11	c  1229s|  4500k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1064k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1314.42/1314.86	c  1231s|  4510k|    96 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1066k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1317.82/1318.25	c  1235s|  4520k|   100 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1069k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1321.62/1322.06	c  1238s|  4530k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1073k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1325.92/1326.32	c  1242s|  4540k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1077k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1329.52/1329.97	c  1246s|  4550k|    98 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1080k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1332.82/1333.27	c  1249s|  4560k|    95 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1083k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1336.31/1336.76	c  1252s|  4570k|   105 |     0 |   0.0 |3894k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1086k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1339.81/1340.25	c  1255s|  4580k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1089k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1344.31/1344.70	c  1260s|  4590k|    97 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1094k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1347.61/1348.09	c  1263s|  4600k|    95 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1096k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1352.81/1353.28	c  1268s|  4610k|   101 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1102k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1357.81/1358.20	c  1272s|  4620k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1107k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1362.00/1362.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1362.00/1362.43	c  1276s|  4630k|   100 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1112k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1366.50/1366.96	c  1281s|  4640k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1117k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1370.81/1371.24	c  1285s|  4650k|   103 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1121k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1374.70/1375.11	c  1288s|  4660k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1125k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1379.11/1379.51	c  1293s|  4670k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1129k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1382.50/1382.96	c  1296s|  4680k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1132k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1386.30/1386.74	c  1299s|  4690k|    97 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1136k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1390.60/1391.03	c  1303s|  4700k|   102 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1140k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1393.80/1394.29	c  1306s|  4710k|    99 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1143k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1397.50/1397.97	c  1310s|  4720k|   101 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1146k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1401.49/1401.95	c  1314s|  4730k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1150k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1404.79/1405.27	c  1317s|  4740k|   102 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1153k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1408.29/1408.78	c  1320s|  4750k|    98 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1157k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1412.00/1412.46	c  1324s|  4760k|   102 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1160k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1415.49/1415.90	c  1327s|  4770k|    96 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1163k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1419.49/1419.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1419.49/1419.90	c  1331s|  4780k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1167k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1423.39/1423.86	c  1334s|  4790k|   100 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1171k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1428.08/1428.55	c  1339s|  4800k|    97 |     0 |   0.0 |3895k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1175k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1433.58/1434.05	c  1344s|  4810k|   100 |     0 |   0.0 |3894k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1182k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1437.68/1438.15	c  1348s|  4820k|   100 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1186k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1441.29/1441.75	c  1351s|  4830k|    97 |     0 |   0.0 |3893k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1189k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1446.79/1447.25	c  1356s|  4840k|    98 |     0 |   0.0 |3895k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1195k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1452.28/1452.78	c  1362s|  4850k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1201k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1456.18/1456.64	c  1365s|  4860k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1205k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1459.88/1460.39	c  1369s|  4870k|    98 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1208k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1462.88/1463.31	c  1372s|  4880k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1211k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1465.68/1466.16	c  1374s|  4890k|    95 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1213k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1470.28/1470.77	c  1379s|  4900k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1217k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1473.48/1473.92	c  1382s|  4910k|   102 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1220k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1475.88/1476.34	c  1384s|  4920k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1222k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1478.17/1478.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1478.17/1478.60	c  1386s|  4930k|   103 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1223k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1480.37/1480.81	c  1388s|  4940k|    96 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1225k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1482.67/1483.11	c  1390s|  4950k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1226k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1486.37/1486.86	c  1394s|  4960k|    98 |     0 |   0.0 |3895k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1230k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1491.37/1491.85	c  1398s|  4970k|   103 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1235k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1496.37/1496.86	c  1403s|  4980k|    99 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1240k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1501.16/1501.64	c  1408s|  4990k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1245k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1506.06/1506.55	c  1412s|  5000k|    99 |     0 |   0.0 |3894k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1250k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1510.87/1511.35	c  1417s|  5010k|    96 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1255k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1514.87/1515.31	c  1421s|  5020k|   101 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1259k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1519.97/1520.46	c  1426s|  5030k|   101 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1265k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1524.86/1525.31	c  1430s|  5040k|   101 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1269k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1529.35/1529.85	c  1434s|  5050k|   101 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1274k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1533.86/1534.32	c  1439s|  5060k|    95 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1279k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1538.05/1538.59	c  1443s|  5070k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1283k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1542.26/1542.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1542.26/1542.70	c  1447s|  5080k|   104 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1287k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1544.96/1545.45	c  1449s|  5090k|   101 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1289k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1548.45/1548.92	c  1452s|  5100k|   103 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1293k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1551.05/1551.52	c  1455s|  5110k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1295k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1555.06/1555.54	c  1459s|  5120k|    99 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1299k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1558.75/1559.24	c  1462s|  5130k|   101 |     0 |   0.0 |3892k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1302k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1562.95/1563.43	c  1466s|  5140k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1307k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1567.06/1567.54	c  1470s|  5150k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1311k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1570.85/1571.35	c  1474s|  5160k|    99 |     0 |   0.0 |3894k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1314k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1574.75/1575.29	c  1477s|  5170k|   100 |     0 |   0.0 |3891k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1318k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1578.25/1578.70	c  1481s|  5180k|    99 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1321k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1580.75/1581.20	c  1483s|  5190k|    99 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1323k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1582.95/1583.41	c  1485s|  5200k|    98 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1325k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1585.25/1585.79	c  1487s|  5210k|    99 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1326k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1587.85/1588.37	c  1490s|  5220k|   100 |     0 |   0.0 |3888k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1328k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1590.15/1590.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1590.15/1590.64	c  1492s|  5230k|   100 |     0 |   0.0 |3887k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1330k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1592.44/1592.93	c  1494s|  5240k|    94 |     0 |   0.0 |3885k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1331k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1594.94/1595.42	c  1496s|  5250k|    97 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1333k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1598.54/1599.09	c  1500s|  5260k|   102 |     0 |   0.0 |3890k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1337k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1602.04/1602.52	c  1503s|  5270k|   100 |     0 |   0.0 |3889k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1340k|   0 | 1.000000e+00 | 2.980000e+02 |  Large 
1604.74/1605.29	o 297
1604.74/1605.29	c *1505s|  5278k|   111 |     0 |   0.0 |3902k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1343k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1605.13/1605.69	c  1506s|  5280k|   109 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1343k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1607.93/1608.41	c  1508s|  5290k|   107 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1345k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1609.73/1610.22	c  1510s|  5300k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1345k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1611.64/1612.16	c  1512s|  5310k|   105 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1345k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1614.13/1614.62	c  1514s|  5320k|   102 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1347k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1616.24/1616.71	c  1516s|  5330k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1347k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1618.93/1619.44	c  1519s|  5340k|   104 |     0 |   0.0 |3901k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1349k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1621.53/1622.03	c  1521s|  5350k|   103 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1351k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1623.53/1624.07	c  1523s|  5360k|   104 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1351k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1625.33/1625.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1625.33/1625.88	c  1525s|  5370k|   100 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1352k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1627.13/1627.60	c  1526s|  5380k|   104 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1352k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1628.83/1629.33	c  1528s|  5390k|   100 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1352k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1630.62/1631.16	c  1529s|  5400k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1352k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1632.43/1632.92	c  1531s|  5410k|   102 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1352k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1634.13/1634.64	c  1533s|  5420k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1352k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1636.23/1636.70	c  1534s|  5430k|   106 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1353k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1638.33/1638.80	c  1536s|  5440k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1354k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1640.33/1640.89	c  1538s|  5450k|   108 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1355k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1642.63/1643.18	c  1540s|  5460k|   101 |     0 |   0.0 |3898k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1356k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1644.63/1645.19	c  1542s|  5470k|   100 |     0 |   0.0 |3898k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1356k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1646.63/1647.16	c  1544s|  5480k|   107 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1357k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1649.13/1649.66	c  1546s|  5490k|   109 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1358k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1651.33/1651.81	c  1548s|  5500k|   105 |     0 |   0.0 |3901k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1359k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1653.23/1653.78	c  1550s|  5510k|   106 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1360k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1655.23/1655.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1655.23/1655.76	c  1552s|  5520k|   104 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1360k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1657.63/1658.13	c  1554s|  5530k|   103 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1362k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1659.82/1660.34	c  1556s|  5540k|   105 |     0 |   0.0 |3901k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1362k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1661.63/1662.20	c  1558s|  5550k|   106 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1363k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1663.52/1664.01	c  1560s|  5560k|   102 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1363k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1665.22/1665.71	c  1561s|  5570k|    99 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1363k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1667.03/1667.58	c  1563s|  5580k|   106 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1364k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1669.62/1670.11	c  1565s|  5590k|   103 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1365k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1671.92/1672.45	c  1567s|  5600k|   101 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1367k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1674.32/1674.80	c  1569s|  5610k|   106 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1368k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1677.32/1677.87	c  1572s|  5620k|   104 |     0 |   0.0 |3901k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1370k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1679.42/1679.96	c  1574s|  5630k|   102 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1371k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1681.51/1682.00	c  1576s|  5640k|   106 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1371k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1683.31/1683.80	c  1578s|  5650k|   107 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1371k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1685.21/1685.78	c  1580s|  5660k|   108 |     0 |   0.0 |3901k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1372k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1687.72/1688.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1687.72/1688.25	c  1582s|  5670k|   102 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1373k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1690.22/1690.74	c  1584s|  5680k|   101 |     0 |   0.0 |3902k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1375k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1693.91/1694.48	c  1588s|  5690k|   101 |     0 |   0.0 |3898k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1378k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1695.91/1696.41	c  1590s|  5700k|   107 |     0 |   0.0 |3901k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1378k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1697.91/1698.45	c  1591s|  5710k|   104 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1379k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1699.61/1700.14	c  1593s|  5720k|   107 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1379k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1701.31/1701.82	c  1594s|  5730k|   102 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1379k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1703.41/1703.99	c  1596s|  5740k|   103 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1380k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1705.41/1705.99	c  1598s|  5750k|   103 |     0 |   0.0 |3898k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1381k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1707.31/1707.82	c  1600s|  5760k|   107 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1381k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1709.41/1709.90	c  1602s|  5770k|   108 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1382k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1711.02/1711.55	c  1603s|  5780k|   107 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1382k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1712.71/1713.30	c  1605s|  5790k|   104 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1382k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1714.42/1714.93	c  1606s|  5800k|   101 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1382k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1716.31/1716.89	c  1608s|  5810k|   103 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1383k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1718.20/1718.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1718.20/1718.77	c  1610s|  5820k|   103 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1383k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1719.92/1720.42	c  1611s|  5830k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1384k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1721.61/1722.17	c  1613s|  5840k|   104 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1384k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1723.40/1723.96	c  1615s|  5850k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1384k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1725.10/1725.62	c  1616s|  5860k|   102 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1385k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1727.10/1727.68	c  1618s|  5870k|   105 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1385k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1728.81/1729.38	c  1620s|  5880k|   103 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1386k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1730.50/1731.09	c  1621s|  5890k|   102 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1386k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1732.90/1733.40	c  1623s|  5900k|   103 |     0 |   0.0 |3901k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1387k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1734.70/1735.28	c  1625s|  5910k|   100 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1388k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1736.41/1736.95	c  1627s|  5920k|   102 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1388k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1738.10/1738.66	c  1628s|  5930k|   101 |     0 |   0.0 |3898k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1388k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1740.09/1740.68	c  1630s|  5940k|   105 |     0 |   0.0 |3904k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1389k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1742.20/1742.76	c  1632s|  5950k|   102 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1390k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1744.20/1744.72	c  1634s|  5960k|   103 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1390k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1746.30/1746.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1746.30/1746.84	c  1636s|  5970k|   102 |     0 |   0.0 |3898k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1391k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1748.40/1748.98	c  1638s|  5980k|   108 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1392k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1750.70/1751.27	c  1640s|  5990k|   103 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1393k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1752.49/1753.01	c  1641s|  6000k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1393k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1754.20/1754.70	c  1643s|  6010k|   104 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1393k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1755.89/1756.42	c  1644s|  6020k|   104 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1394k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1757.70/1758.29	c  1646s|  6030k|   103 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1394k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1759.60/1760.14	c  1648s|  6040k|   102 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1394k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1761.39/1761.93	c  1649s|  6050k|   102 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1395k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1763.99/1764.50	c  1652s|  6060k|   105 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1396k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1767.79/1768.34	c  1656s|  6070k|   100 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1399k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1770.29/1770.84	c  1658s|  6080k|   103 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1401k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1772.49/1773.08	c  1660s|  6090k|   103 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1402k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1774.39/1774.93	c  1662s|  6100k|   103 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1402k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1776.99/1777.58	c  1664s|  6110k|    99 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1404k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1779.29/1779.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1779.29/1779.86	c  1666s|  6120k|   106 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1406k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1781.39/1782.00	c  1668s|  6130k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1407k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1784.79/1785.31	c  1671s|  6140k|   103 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1410k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1786.89/1787.47	c  1673s|  6150k|   102 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1411k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1789.09/1789.64	c  1675s|  6160k|   105 |     0 |   0.0 |3899k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1412k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1792.19/1792.73	c  1678s|  6170k|   101 |     0 |   0.0 |3902k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1415k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1795.69/1796.23	c  1681s|  6180k|   107 |     0 |   0.0 |3902k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1418k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1799.78/1800.35	c  1685s|  6190k|   105 |     0 |   0.0 |3900k| 144 |   - | 660 |2402 |   0 |   0 |   0 |1421k|   0 | 1.000000e+00 | 2.970000e+02 |  Large 
1800.10/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61	c 
1800.10/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.61	c Solving Time (sec) : 1685.59
1800.10/1800.61	c Solving Nodes      : 6190847
1800.10/1800.61	c Primal Bound       : +2.97000000000000e+02 (3 solutions)
1800.10/1800.61	c Dual Bound         : +1.00000000000000e+00
1800.10/1800.61	c Gap                : 29600.00 %
1800.10/1800.61	s SATISFIABLE
1800.10/1800.61	v x672 -x671 x670 -x669 x668 -x667 -x666 -x665 x664 -x663 -x662 x661 x660 -x659 x658 -x657 x656 -x655 x654 -x653 x652 -x651 -x650 
1800.10/1800.61	v x649 x648 -x647 x646 -x645 x644 -x643 -x642 x641 x640 -x639 x638 -x637 x636 -x635 x634 -x633 x632 -x631 -x630 x629 x628 -x627 
1800.10/1800.61	v x626 -x625 x624 -x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 -x614 x613 x612 -x611 x610 -x609 x608 -x607 -x606 x605 x604 
1800.10/1800.61	v -x603 x602 -x601 x600 -x599 x598 -x597 x596 -x595 -x594 x593 x592 -x591 x590 -x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581 
1800.10/1800.61	v x580 -x579 -x578 x577 x576 -x575 x574 -x573 x572 -x571 -x570 x569 x568 -x567 x566 -x565 x564 -x563 x562 -x561 -x560 x559 
1800.10/1800.61	v -x558 -x557 x556 -x555 x554 -x553 x552 -x551 x550 -x549 x548 -x547 x546 -x545 x544 -x543 -x542 x541 -x540 -x539 x538 -x537 -x536 
1800.10/1800.61	v -x535 -x534 x533 x532 -x531 -x530 -x529 x528 -x527 x526 -x525 x524 -x523 -x522 x521 x520 -x519 x518 -x517 x516 -x515 x514 
1800.10/1800.61	v -x513 x512 -x511 -x510 x509 x508 -x507 x506 -x505 x504 -x503 x502 -x501 x500 -x499 -x498 x497 x496 -x495 -x494 -x493 x492 -x491 
1800.10/1800.61	v x490 -x489 x488 -x487 -x486 x485 x484 -x483 x482 -x481 x480 -x479 x478 -x477 x476 -x475 -x474 -x473 x472 -x471 -x470 x469 
1800.10/1800.61	v x468 -x467 x466 -x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457 x456 -x455 x454 -x453 x452 -x451 -x450 x449 x448 -x447 -x446 
1800.10/1800.61	v -x445 x444 -x443 x442 -x441 x440 -x439 x438 -x437 x436 -x435 -x434 x433 x432 -x431 x430 -x429 x428 -x427 -x426 -x425 x424 
1800.10/1800.61	v -x423 -x422 x421 x420 -x419 x418 -x417 x416 -x415 -x414 x413 x412 -x411 -x410 -x409 x408 -x407 x406 -x405 x404 -x403 -x402 x401 
1800.10/1800.61	v x400 -x399 x398 -x397 x396 -x395 x394 -x393 x392 -x391 -x390 x389 x388 -x387 -x386 -x385 x384 -x383 x382 -x381 -x380 x379 
1800.10/1800.61	v x378 -x377 x376 -x375 -x374 -x373 x372 -x371 x370 -x369 x368 -x367 -x366 x365 x364 -x363 -x362 -x361 x360 -x359 x358 -x357 x356 
1800.10/1800.61	v -x355 -x354 -x353 x352 -x351 -x350 x349 x348 -x347 x346 -x345 x344 -x343 -x342 -x341 x340 -x339 -x338 x337 x336 -x335 x334 
1800.10/1800.61	v -x333 x332 -x331 x330 -x329 x328 -x327 -x326 x325 x324 -x323 x322 -x321 -x320 x319 -x318 -x317 x316 -x315 -x314 -x313 x312 
1800.10/1800.61	v -x311 x310 -x309 x308 -x307 -x306 x305 x304 -x303 -x302 -x301 x300 -x299 x298 -x297 x296 -x295 -x294 x293 x292 -x291 x290 -x289 
1800.10/1800.61	v x288 -x287 x286 -x285 x284 -x283 -x282 x281 x280 -x279 -x278 -x277 x276 -x275 -x274 x273 x272 -x271 -x270 -x269 x268 -x267 
1800.10/1800.61	v x266 -x265 x264 -x263 x262 -x261 x260 -x259 -x258 -x257 x256 -x255 -x254 x253 x252 -x251 x250 -x249 x248 -x247 -x246 x245 x244 
1800.10/1800.61	v -x243 x242 -x241 x240 -x239 x238 -x237 x236 -x235 -x234 -x233 x232 -x231 -x230 x229 x228 -x227 x226 -x225 x224 -x223 -x222 
1800.10/1800.61	v -x221 x220 -x219 -x218 x217 x216 -x215 x214 -x213 -x212 x211 -x210 -x209 x208 -x207 x206 -x205 x204 -x203 x202 -x201 x200 -x199 
1800.10/1800.61	v x198 -x197 x196 -x195 -x194 x193 -x192 x191 -x190 -x189 -x188 x187 x186 -x185 x184 -x183 -x182 x181 -x180 -x179 -x178 x177 
1800.10/1800.61	v -x176 -x175 -x174 x173 x172 -x171 -x170 x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 x157 -x156 -x155 
1800.10/1800.61	v -x154 x153 x152 -x151 -x150 x149 -x148 x147 -x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 x137 -x136 x135 -x134 -x133 
1800.10/1800.61	v x132 -x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 x112 -x111 -x110 
1800.10/1800.61	v x109 x108 -x107 -x106 x105 -x104 x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 
1800.10/1800.61	v -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 x70 -x69 -x68 x67 -x66 x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 
1800.10/1800.61	v x57 x56 -x55 -x54 x53 -x52 x51 -x50 -x49 x48 -x47 -x46 x45 x44 -x43 -x42 x41 -x40 -x39 -x38 x37 -x36 x35 -x34 -x33 -x32 x31 x30 
1800.10/1800.61	v -x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1 
1800.10/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.61	c Solving Time       :    1685.59
1800.10/1800.61	c Original Problem   :
1800.10/1800.61	c   Problem name     : HOME/instance-2664676-1276450187.opb
1800.10/1800.61	c   Variables        : 672 (672 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61	c   Constraints      : 2404 initial, 2404 maximal
1800.10/1800.61	c Presolved Problem  :
1800.10/1800.61	c   Problem name     : t_HOME/instance-2664676-1276450187.opb
1800.10/1800.61	c   Variables        : 660 (660 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61	c   Constraints      : 2386 initial, 2402 maximal
1800.10/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   dualfix          :       0.00         12          0          0          0          0          0          0          0
1800.10/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.10/1800.61	c   linear           :       0.04          0          0          0          0          0         18          0          0
1800.10/1800.61	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.10/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.61	c   logicor          :       2386+         0   10364359          0          3    1421875   11097895          0          0          0
1800.10/1800.61	c   countsols        :          0          0          0          0          3          0          0          0          0          0
1800.10/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.61	c   logicor          :     708.26       0.00     708.26       0.00       0.00
1800.10/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.61	c   vbounds          :       7.97          2          0          0
1800.10/1800.61	c   rootredcost      :       8.11          0          0          0
1800.10/1800.61	c   pseudoobj        :     598.41   17986022    1879055   39788440
1800.10/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.61	c   propagation      :     645.09    1421875    1421875    1421875       94.6         13       95.5          -
1800.10/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.61	c   pseudo solution  :       8.46      45389          0          0        0.0          0        0.0          -
1800.10/1800.61	c   applied globally :          -          -          -         43       33.5          -          -          -
1800.10/1800.61	c   applied locally  :          -          -          -    1421832       94.6          -          -          -
1800.10/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.10/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.10/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.10/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.10/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.10/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.10/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.10/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.10/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.10/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.10/1800.62	c Pricers            :       Time      Calls       Vars
1800.10/1800.62	c   problem variables:       0.00          0          0
1800.10/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.10/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.62	c   inference        :      46.53    3526304          0          0          0          0    7052608
1800.10/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.62	c   LP solutions     :       0.00          -          0
1800.10/1800.62	c   pseudo solutions :       0.00          -          3
1800.10/1800.62	c   oneopt           :       4.62          0          0
1800.10/1800.62	c   trivial          :       0.01          2          0
1800.10/1800.62	c   simplerounding   :       0.00          0          0
1800.10/1800.62	c   zirounding       :       0.00          0          0
1800.10/1800.62	c   rounding         :       0.00          0          0
1800.10/1800.62	c   shifting         :       0.00          0          0
1800.10/1800.62	c   intshifting      :       0.00          0          0
1800.10/1800.62	c   twoopt           :       0.00          0          0
1800.10/1800.62	c   fixandinfer      :       0.00          0          0
1800.10/1800.62	c   feaspump         :       0.00          0          0
1800.10/1800.62	c   coefdiving       :       0.00          0          0
1800.10/1800.62	c   pscostdiving     :       0.00          0          0
1800.10/1800.62	c   fracdiving       :       0.00          0          0
1800.10/1800.62	c   veclendiving     :       0.00          0          0
1800.10/1800.62	c   intdiving        :       0.00          0          0
1800.10/1800.62	c   actconsdiving    :       0.00          0          0
1800.10/1800.62	c   objpscostdiving  :       0.00          0          0
1800.10/1800.62	c   rootsoldiving    :       0.00          0          0
1800.10/1800.62	c   linesearchdiving :       0.00          0          0
1800.10/1800.62	c   guideddiving     :       0.00          0          0
1800.10/1800.62	c   octane           :       0.00          0          0
1800.10/1800.62	c   rens             :       0.00          0          0
1800.10/1800.62	c   rins             :       0.00          0          0
1800.10/1800.62	c   localbranching   :       0.00          0          0
1800.10/1800.62	c   mutation         :       0.00          0          0
1800.10/1800.62	c   crossover        :       0.00          0          0
1800.10/1800.62	c   dins             :       0.00          0          0
1800.10/1800.62	c   undercover       :       0.00          0          0
1800.10/1800.62	c   nlp              :       2.83          0          0
1800.10/1800.62	c   trysol           :       3.01          0          0
1800.10/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.10/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.10/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.10/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.10/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.62	c B&B Tree           :
1800.10/1800.62	c   number of runs   :          1
1800.10/1800.62	c   nodes            :    6190847
1800.10/1800.62	c   nodes (total)    :    6190847
1800.10/1800.62	c   nodes left       :        105
1800.10/1800.62	c   max depth        :        144
1800.10/1800.62	c   max depth (total):        144
1800.10/1800.62	c   backtracks       :    1835107 (29.6%)
1800.10/1800.62	c   delayed cutoffs  :     861598
1800.10/1800.62	c   repropagations   :    1366145 (12769883 domain reductions, 681779 cutoffs)
1800.10/1800.62	c   avg switch length:       2.09
1800.10/1800.62	c   switching time   :      93.86
1800.10/1800.62	c Solution           :
1800.10/1800.62	c   Solutions found  :          3 (3 improvements)
1800.10/1800.62	c   First Solution   : +2.99000000000000e+02   (in run 1, after 207 nodes, 0.17 seconds, depth 144, found by <relaxation>)
1800.10/1800.62	c   Primal Bound     : +2.97000000000000e+02   (in run 1, after 5278160 nodes, 1505.49 seconds, depth 127, found by <relaxation>)
1800.10/1800.62	c   Dual Bound       : +1.00000000000000e+00
1800.10/1800.62	c   Gap              :   29600.00 %
1800.10/1800.62	c   Root Dual Bound  : +0.00000000000000e+00
1800.10/1800.62	c   Root Iterations  :          0
1800.10/1800.63	c Time complete: 1800.11.

Verifier Data 

OK	297

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23675
/proc/meminfo: memFree=1833276/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=6584 CPUtime=0
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 1004 0 0 0 0 0 0 0 24 0 1 0 20620235 6742016 927 1992294400 4194304 7136930 140735342098800 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23675/statm: 1646 936 254 719 0 925 0

[startup+0.0730699 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23675
/proc/meminfo: memFree=1833276/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=13920 CPUtime=0.06
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 3142 0 0 0 5 1 0 0 24 0 1 0 20620235 14254080 2711 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 3480 2711 341 719 0 2759 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13920

[startup+0.101074 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23675
/proc/meminfo: memFree=1833276/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=14840 CPUtime=0.09
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 3874 0 0 0 7 2 0 0 24 0 1 0 20620235 15196160 2929 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 3710 2929 347 719 0 2989 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14840

[startup+0.301099 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23675
/proc/meminfo: memFree=1833276/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=17980 CPUtime=0.29
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5734 0 0 0 25 4 0 0 25 0 1 0 20620235 18411520 3758 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4495 3758 386 719 0 3774 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17980

[startup+0.701152 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23675
/proc/meminfo: memFree=1833276/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=17980 CPUtime=0.69
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5738 0 0 0 62 7 0 0 25 0 1 0 20620235 18411520 3762 1992294400 4194304 7136930 140735342098800 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4495 3762 386 719 0 3774 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17980

[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23676
/proc/meminfo: memFree=1819628/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=17980 CPUtime=1.49
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5741 0 0 0 135 14 0 0 25 0 1 0 20620235 18411520 3765 1992294400 4194304 7136930 140735342098800 18446744073709551615 5917883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4495 3765 386 719 0 3774 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17980

[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23676
/proc/meminfo: memFree=1819380/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=17980 CPUtime=3.09
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5742 0 0 0 279 30 0 0 25 0 1 0 20620235 18411520 3766 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4495 3766 386 719 0 3774 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17980

[startup+6.30089 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23676
/proc/meminfo: memFree=1819256/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=17980 CPUtime=6.28
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5745 0 0 0 570 58 0 0 25 0 1 0 20620235 18411520 3769 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4495 3769 386 719 0 3774 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17980

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23678
/proc/meminfo: memFree=1819008/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18112 CPUtime=12.69
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5763 0 0 0 1163 106 0 0 25 0 1 0 20620235 18546688 3787 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4528 3787 386 719 0 3807 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18112

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23678
/proc/meminfo: memFree=1819008/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18112 CPUtime=25.48
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5771 0 0 0 2371 177 0 0 25 0 1 0 20620235 18546688 3795 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4528 3795 386 719 0 3807 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18112

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23678
/proc/meminfo: memFree=1818884/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18112 CPUtime=51.08
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5772 0 0 0 4754 354 0 0 25 0 1 0 20620235 18546688 3796 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4528 3796 386 719 0 3807 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18112

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23680
/proc/meminfo: memFree=1818760/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18112 CPUtime=102.27
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5777 0 0 0 9559 668 0 0 25 0 1 0 20620235 18546688 3801 1992294400 4194304 7136930 140735342098800 18446744073709551615 4645907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4528 3801 386 719 0 3807 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18112

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23682
/proc/meminfo: memFree=1818512/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18112 CPUtime=162.25
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5792 0 0 0 15174 1051 0 0 25 0 1 0 20620235 18546688 3816 1992294400 4194304 7136930 140735342098800 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4528 3816 386 719 0 3807 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18112

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23682
/proc/meminfo: memFree=1818512/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18112 CPUtime=222.23
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5793 0 0 0 20819 1404 0 0 25 0 1 0 20620235 18546688 3817 1992294400 4194304 7136930 140735342098800 18446744073709551615 5507878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4528 3817 386 719 0 3807 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 18112

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23684
/proc/meminfo: memFree=1818388/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=282.21
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5799 0 0 0 26397 1824 0 0 25 0 1 0 20620235 18681856 3823 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3823 386 719 0 3840 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 18244

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23686
/proc/meminfo: memFree=1818264/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=342.19
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5803 0 0 0 31964 2255 0 0 25 0 1 0 20620235 18681856 3827 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3827 386 719 0 3840 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 18244

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23688
/proc/meminfo: memFree=1818140/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=402.18
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5805 0 0 0 37592 2626 0 0 25 0 1 0 20620235 18681856 3829 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3829 386 719 0 3840 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 18244

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23690
/proc/meminfo: memFree=1817892/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=462.16
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5807 0 0 0 43193 3023 0 0 25 0 1 0 20620235 18681856 3831 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3831 386 719 0 3840 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 18244

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23690
/proc/meminfo: memFree=1817768/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=522.14
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5808 0 0 0 48802 3412 0 0 25 0 1 0 20620235 18681856 3832 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3832 386 719 0 3840 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 18244

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23692
/proc/meminfo: memFree=1817644/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=582.13
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5810 0 0 0 54412 3801 0 0 25 0 1 0 20620235 18681856 3834 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3834 386 719 0 3840 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 18244

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23694
/proc/meminfo: memFree=1817520/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=642.12
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5810 0 0 0 60043 4169 0 0 25 0 1 0 20620235 18681856 3834 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3834 386 719 0 3840 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 18244

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23698
/proc/meminfo: memFree=1817148/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=822.05
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5816 0 0 0 76759 5446 0 0 25 0 1 0 20620235 18681856 3840 1992294400 4194304 7136930 140735342098800 18446744073709551615 4998670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3840 386 719 0 3840 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 18244

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23700
/proc/meminfo: memFree=1817024/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=882.04
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5820 0 0 0 82467 5737 0 0 25 0 1 0 20620235 18681856 3844 1992294400 4194304 7136930 140735342098800 18446744073709551615 5918656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3844 386 719 0 3840 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 18244

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23702
/proc/meminfo: memFree=1816900/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=942.03
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5821 0 0 0 88137 6066 0 0 25 0 1 0 20620235 18681856 3845 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3845 386 719 0 3840 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 18244

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23704
/proc/meminfo: memFree=1816652/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=1002.01
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5821 0 0 0 93793 6408 0 0 25 0 1 0 20620235 18681856 3845 1992294400 4194304 7136930 140735342098800 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3845 386 719 0 3840 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 18244

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23706
/proc/meminfo: memFree=1816528/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=1061.99
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5824 0 0 0 99427 6772 0 0 25 0 1 0 20620235 18681856 3848 1992294400 4194304 7136930 140735342098800 18446744073709551615 4660929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3848 386 719 0 3840 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 18244

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23706
/proc/meminfo: memFree=1816404/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=1121.98
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5824 0 0 0 105057 7141 0 0 25 0 1 0 20620235 18681856 3848 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3848 386 719 0 3840 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 18244

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23708
/proc/meminfo: memFree=1816280/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=1181.96
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5824 0 0 0 110694 7502 0 0 25 0 1 0 20620235 18681856 3848 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3848 386 719 0 3840 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 18244

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23710
/proc/meminfo: memFree=1816032/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18244 CPUtime=1241.94
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5825 0 0 0 116304 7890 0 0 25 0 1 0 20620235 18681856 3849 1992294400 4194304 7136930 140735342098800 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4561 3849 386 719 0 3840 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 18244

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23712
/proc/meminfo: memFree=1815908/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1301.93
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5827 0 0 0 121959 8234 0 0 25 0 1 0 20620235 18817024 3851 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3851 386 719 0 3873 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 18376

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23714
/proc/meminfo: memFree=1815908/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1361.91
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5828 0 0 0 127627 8564 0 0 25 0 1 0 20620235 18817024 3852 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3852 386 719 0 3873 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 18376

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23714
/proc/meminfo: memFree=1815784/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1421.9
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5828 0 0 0 133282 8908 0 0 25 0 1 0 20620235 18817024 3852 1992294400 4194304 7136930 140735342098800 18446744073709551615 4210607 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3852 386 719 0 3873 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 18376

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23716
/proc/meminfo: memFree=1815660/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1481.87
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5828 0 0 0 138944 9243 0 0 25 0 1 0 20620235 18817024 3852 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3852 386 719 0 3873 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 18376

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23718
/proc/meminfo: memFree=1815536/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1541.85
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5828 0 0 0 144630 9555 0 0 25 0 1 0 20620235 18817024 3852 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3852 386 719 0 3873 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 18376

[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 23720
/proc/meminfo: memFree=1815536/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1601.84
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5828 0 0 0 150273 9911 0 0 25 0 1 0 20620235 18817024 3852 1992294400 4194304 7136930 140735342098800 18446744073709551615 4704630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3852 386 719 0 3873 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 18376

[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 23722
/proc/meminfo: memFree=1815536/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1661.82
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5828 0 0 0 155805 10377 0 0 25 0 1 0 20620235 18817024 3852 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3852 386 719 0 3873 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 18376

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23722
/proc/meminfo: memFree=1815288/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1721.8
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5828 0 0 0 161323 10857 0 0 25 0 1 0 20620235 18817024 3852 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3852 386 719 0 3873 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 18376

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23724
/proc/meminfo: memFree=1814916/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1781.79
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5828 0 0 0 166845 11334 0 0 25 0 1 0 20620235 18817024 3852 1992294400 4194304 7136930 140735342098800 18446744073709551615 6215671 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3852 386 719 0 3873 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 18376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23724
/proc/meminfo: memFree=1814916/2059040 swapFree=4140260/4192956
[pid=23675] ppid=23673 vsize=18376 CPUtime=1800.1
/proc/23675/stat : 23675 (pbscip.linux.x8) R 23673 23675 22931 0 -1 4202496 5828 0 0 0 168563 11447 0 0 25 0 1 0 20620235 18817024 3852 1992294400 4194304 7136930 140735342098800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23675/statm: 4594 3852 386 719 0 3873 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 18376

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

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

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.13
CPU user time (s): 1685.65
CPU system time (s): 114.476
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 18376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1685.65
system time used= 114.476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5877
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= 2
involuntary context switches= 3671

runsolver used 3.15452 second user time and 8.36573 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-13 19:29:47
IDJOB=2664676
IDBENCH=2140
IDSOLVER=1167
FILE ID=node013/2664676-1276450187
PBS_JOBID= 11173325
Free space on /tmp= 62464 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b1.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-2664676-1276450187/watcher-2664676-1276450187 -o /tmp/evaluation-result-2664676-1276450187/solver-2664676-1276450187 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664676-1276450187.opb -t 1800 -m 1800

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

MD5SUM BENCH= 45a62012cfe681f45441c62f782d8601
RANDOM SEED=169389846

node013.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.253
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.50
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.253
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1833680 kB
Buffers:         34500 kB
Cached:         113288 kB
SwapCached:       5792 kB
Active:          96068 kB
Inactive:        64564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833680 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            3236 kB
Writeback:           0 kB
AnonPages:       11384 kB
Mapped:          12840 kB
Slab:            43044 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180084 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= 62460 MiB
End job on node013 at 2010-06-13 19:59:50