Trace number 2664043

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)227 1802.2 1802.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
MD5SUM1e2b8f542cc5dec610d6e9b4663a878b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 183
Optimality of the best value was proved NO
Number of variables473
Total number of constraints472
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints472
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 473
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 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
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-2664043-1276374355.opb>
0.00/0.02	c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 472 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.02	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.03	o 473
0.00/0.03	c feasible solution found by trivial heuristic, objective value  4.730000e+02
0.00/0.03	c presolving:
0.00/0.03	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 24 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.05	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 24 chg coeffs, 472 upgd conss, 0 impls, 0 clqs
0.06/0.06	c (round 3) 0 del vars, 5 del conss, 0 chg bounds, 117 chg sides, 365 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.06/0.07	c (round 4) 0 del vars, 59 del conss, 0 chg bounds, 267 chg sides, 602 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.06/0.08	c (round 5) 0 del vars, 73 del conss, 0 chg bounds, 306 chg sides, 670 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.06/0.08	c (round 6) 0 del vars, 73 del conss, 0 chg bounds, 310 chg sides, 674 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.06/0.09	c    (0.1s) probing: 101/473 (21.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.06/0.09	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.06/0.09	c presolving (7 rounds):
0.06/0.09	c  0 deleted vars, 73 deleted constraints, 0 tightened bounds, 0 added holes, 310 changed sides, 674 changed coefficients
0.06/0.09	c  208 implications, 0 cliques
0.06/0.09	c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 534 constraints
0.06/0.09	c     446 constraints of type <knapsack>
0.06/0.09	c      87 constraints of type <setppc>
0.06/0.09	c       1 constraints of type <logicor>
0.06/0.09	c transformed objective value is always integral (scale: 1)
0.06/0.09	c Presolving Time: 0.05
0.06/0.09	c - non default parameters ----------------------------------------------------------------------
0.06/0.09	c # SCIP version 1.2.1.2
0.06/0.09	c 
0.06/0.09	c # frequency for displaying node information lines
0.06/0.09	c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.09	c display/freq = 10000
0.06/0.09	c 
0.06/0.09	c # maximal time in seconds to run
0.06/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09	c limits/time = 1799.98
0.06/0.09	c 
0.06/0.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09	c limits/memory = 1620
0.06/0.09	c 
0.06/0.09	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.06/0.09	c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.09	c lp/solvefreq = -1
0.06/0.09	c 
0.06/0.09	c # should presolving try to simplify inequalities
0.06/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09	c constraints/linear/simplifyinequalities = TRUE
0.06/0.09	c 
0.06/0.09	c # should presolving try to simplify knapsacks
0.06/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09	c constraints/knapsack/simplifyinequalities = TRUE
0.06/0.09	c 
0.06/0.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.06/0.09	c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.09	c separating/rapidlearning/freq = 0
0.06/0.09	c 
0.06/0.09	c -----------------------------------------------------------------------------------------------
0.06/0.09	c start solving
0.06/0.10	c 
0.09/0.10	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.10	c t 0.1s|     1 |     2 |     0 |     - |2069k|   0 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.730000e+02 |    Inf 
2.49/2.50	c   2.2s| 10000 | 10001 |     0 |   0.0 |6271k|  39 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 1.800000e+01 | 4.730000e+02 |2527.78%
4.79/4.88	c   4.4s| 20000 | 20001 |     0 |   0.0 |  10M|  41 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.000000e+01 | 4.730000e+02 |2265.00%
7.19/7.25	c   6.6s| 30000 | 30001 |     0 |   0.0 |  14M|  41 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.000000e+01 | 4.730000e+02 |2265.00%
9.59/9.62	c   8.7s| 40000 | 40001 |     0 |   0.0 |  18M|  43 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.100000e+01 | 4.730000e+02 |2152.38%
11.89/11.97	c  10.9s| 50000 | 50001 |     0 |   0.0 |  22M|  45 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.200000e+01 | 4.730000e+02 |2050.00%
14.30/14.33	c  13.0s| 60000 | 60001 |     0 |   0.0 |  26M|  45 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.200000e+01 | 4.730000e+02 |2050.00%
16.78/16.80	c  15.3s| 70000 | 70001 |     0 |   0.0 |  30M|  45 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.200000e+01 | 4.730000e+02 |2050.00%
19.19/19.28	c  17.6s| 80000 | 80001 |     0 |   0.0 |  33M|  49 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.300000e+01 | 4.730000e+02 |1956.52%
21.79/21.80	c  19.9s| 90000 | 90001 |     0 |   0.0 |  37M|  49 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.300000e+01 | 4.730000e+02 |1956.52%
24.29/24.30	c  22.2s|100000 |100001 |     0 |   0.0 |  41M|  49 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.300000e+01 | 4.730000e+02 |1956.52%
26.69/26.78	c  24.4s|110000 |110001 |     0 |   0.0 |  45M|  49 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.300000e+01 | 4.730000e+02 |1956.52%
29.18/29.24	c  26.6s|120000 |120001 |     0 |   0.0 |  49M|  49 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.300000e+01 | 4.730000e+02 |1956.52%
31.58/31.67	c  28.9s|130000 |130001 |     0 |   0.0 |  53M|  49 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.300000e+01 | 4.730000e+02 |1956.52%
34.09/34.17	c  31.1s|140000 |140001 |     0 |   0.0 |  57M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
36.59/36.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.59/36.65	c  33.4s|150000 |150001 |     0 |   0.0 |  61M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
39.08/39.13	c  35.7s|160000 |160001 |     0 |   0.0 |  65M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
41.48/41.59	c  37.9s|170000 |170001 |     0 |   0.0 |  68M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
43.98/44.06	c  40.2s|180000 |180001 |     0 |   0.0 |  72M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
46.48/46.51	c  42.4s|190000 |190001 |     0 |   0.0 |  76M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
48.88/48.96	c  44.6s|200000 |200001 |     0 |   0.0 |  80M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
51.27/51.39	c  46.8s|210000 |210001 |     0 |   0.0 |  84M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
53.79/53.82	c  49.0s|220000 |220001 |     0 |   0.0 |  88M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
56.18/56.24	c  51.2s|230000 |230001 |     0 |   0.0 |  91M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.400000e+01 | 4.730000e+02 |1870.83%
58.67/58.71	c  53.5s|240000 |240001 |     0 |   0.0 |  95M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
61.17/61.21	c  55.8s|250000 |250001 |     0 |   0.0 |  99M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
63.69/63.70	c  58.0s|260000 |260001 |     0 |   0.0 | 103M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
66.07/66.19	c  60.3s|270000 |270001 |     0 |   0.0 | 107M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
68.58/68.67	c  62.6s|280000 |280001 |     0 |   0.0 | 111M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
71.08/71.14	c  64.9s|290000 |290001 |     0 |   0.0 | 115M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
73.58/73.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
73.58/73.61	c  67.1s|300000 |300001 |     0 |   0.0 | 118M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
75.97/76.07	c  69.4s|310000 |310001 |     0 |   0.0 | 122M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
78.47/78.53	c  71.6s|320000 |320001 |     0 |   0.0 | 126M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
80.87/80.98	c  73.9s|330000 |330001 |     0 |   0.0 | 130M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
83.37/83.43	c  76.1s|340000 |340001 |     0 |   0.0 | 134M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
85.77/85.87	c  78.3s|350000 |350001 |     0 |   0.0 | 138M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
88.27/88.30	c  80.6s|360000 |360001 |     0 |   0.0 | 141M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
90.67/90.73	c  82.8s|370000 |370001 |     0 |   0.0 | 145M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
93.07/93.15	c  85.0s|380000 |380001 |     0 |   0.0 | 149M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
95.47/95.57	c  87.2s|390000 |390001 |     0 |   0.0 | 153M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
97.88/97.98	c  89.4s|400000 |400001 |     0 |   0.0 | 156M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
100.27/100.39	c  91.6s|410000 |410001 |     0 |   0.0 | 160M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
102.67/102.79	c  93.8s|420000 |420001 |     0 |   0.0 | 164M|  51 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.500000e+01 | 4.730000e+02 |1792.00%
105.16/105.26	c  96.0s|430000 |430001 |     0 |   0.0 | 168M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
107.67/107.75	c  98.3s|440000 |440001 |     0 |   0.0 | 172M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
110.17/110.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
110.17/110.25	c   101s|450000 |450001 |     0 |   0.0 | 176M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
112.66/112.72	c   103s|460000 |460001 |     0 |   0.0 | 180M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
115.17/115.20	c   105s|470000 |470001 |     0 |   0.0 | 183M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
117.57/117.66	c   107s|480000 |480001 |     0 |   0.0 | 187M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
120.06/120.13	c   110s|490000 |490001 |     0 |   0.0 | 191M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
122.46/122.59	c   112s|500000 |500001 |     0 |   0.0 | 195M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
124.96/125.05	c   114s|510000 |510001 |     0 |   0.0 | 199M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
127.47/127.50	c   116s|520000 |520001 |     0 |   0.0 | 203M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
129.86/129.95	c   119s|530000 |530001 |     0 |   0.0 | 206M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
132.26/132.39	c   121s|540000 |540001 |     0 |   0.0 | 210M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
134.76/134.83	c   123s|550000 |550001 |     0 |   0.0 | 214M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
137.16/137.27	c   125s|560000 |560001 |     0 |   0.0 | 218M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
139.57/139.70	c   128s|570000 |570001 |     0 |   0.0 | 222M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
142.06/142.14	c   130s|580000 |580001 |     0 |   0.0 | 226M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
144.46/144.57	c   132s|590000 |590001 |     0 |   0.0 | 229M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
146.96/147.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
146.96/147.00	c   134s|600000 |600001 |     0 |   0.0 | 233M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
149.35/149.43	c   136s|610000 |610001 |     0 |   0.0 | 237M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
151.76/151.86	c   139s|620000 |620001 |     0 |   0.0 | 241M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
154.16/154.29	c   141s|630000 |630001 |     0 |   0.0 | 244M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
156.65/156.71	c   143s|640000 |640001 |     0 |   0.0 | 248M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
159.06/159.12	c   145s|650000 |650001 |     0 |   0.0 | 252M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
161.45/161.54	c   147s|660000 |660001 |     0 |   0.0 | 256M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
163.86/163.95	c   150s|670000 |670001 |     0 |   0.0 | 260M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
166.25/166.36	c   152s|680000 |680001 |     0 |   0.0 | 263M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
168.64/168.77	c   154s|690000 |690001 |     0 |   0.0 | 267M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
171.05/171.17	c   156s|700000 |700001 |     0 |   0.0 | 271M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
173.45/173.57	c   158s|710000 |710001 |     0 |   0.0 | 275M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
175.85/175.96	c   161s|720000 |720001 |     0 |   0.0 | 278M|  53 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.600000e+01 | 4.730000e+02 |1719.23%
178.25/178.37	c   163s|730000 |730001 |     0 |   0.0 | 282M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
180.65/180.79	c   165s|740000 |740001 |     0 |   0.0 | 286M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
183.15/183.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
183.15/183.21	c   167s|750000 |750001 |     0 |   0.0 | 290M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
185.54/185.64	c   169s|760000 |760001 |     0 |   0.0 | 293M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
187.95/188.06	c   172s|770000 |770001 |     0 |   0.0 | 297M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
190.35/190.48	c   174s|780000 |780001 |     0 |   0.0 | 301M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
192.85/192.90	c   176s|790000 |790001 |     0 |   0.0 | 305M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
195.24/195.33	c   178s|800000 |800001 |     0 |   0.0 | 309M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
197.64/197.74	c   180s|810000 |810001 |     0 |   0.0 | 312M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
200.05/200.16	c   183s|820000 |820001 |     0 |   0.0 | 316M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
202.44/202.58	c   185s|830000 |830001 |     0 |   0.0 | 320M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
204.85/204.98	c   187s|840000 |840001 |     0 |   0.0 | 324M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
207.34/207.40	c   189s|850000 |850001 |     0 |   0.0 | 327M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
209.74/209.80	c   191s|860000 |860001 |     0 |   0.0 | 331M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
212.14/212.21	c   194s|870000 |870001 |     0 |   0.0 | 335M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
214.54/214.61	c   196s|880000 |880001 |     0 |   0.0 | 339M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
216.94/217.01	c   198s|890000 |890001 |     0 |   0.0 | 342M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
219.34/219.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
219.34/219.42	c   200s|900000 |900001 |     0 |   0.0 | 346M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
221.73/221.81	c   202s|910000 |910001 |     0 |   0.0 | 350M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
224.13/224.22	c   205s|920000 |920001 |     0 |   0.0 | 354M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
226.55/226.62	c   207s|930000 |930001 |     0 |   0.0 | 357M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
228.93/229.01	c   209s|940000 |940001 |     0 |   0.0 | 361M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
231.34/231.41	c   211s|950000 |950001 |     0 |   0.0 | 365M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
233.73/233.81	c   213s|960000 |960001 |     0 |   0.0 | 369M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
236.13/236.20	c   216s|970000 |970001 |     0 |   0.0 | 372M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
238.43/238.59	c   218s|980000 |980001 |     0 |   0.0 | 376M|  55 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
240.94/241.01	c   220s|990000 |990001 |     0 |   0.0 | 380M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
243.33/243.48	c   222s|  1000k|  1000k|     0 |   0.0 | 384M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
245.83/245.93	c   224s|  1010k|  1010k|     0 |   0.0 | 388M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
248.23/248.38	c   227s|  1020k|  1020k|     0 |   0.0 | 391M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
250.74/250.83	c   229s|  1030k|  1030k|     0 |   0.0 | 395M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
253.13/253.27	c   231s|  1040k|  1040k|     0 |   0.0 | 399M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
255.62/255.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
255.62/255.71	c   233s|  1050k|  1050k|     0 |   0.0 | 403M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
258.03/258.15	c   235s|  1060k|  1060k|     0 |   0.0 | 407M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
260.43/260.59	c   238s|  1070k|  1070k|     0 |   0.0 | 411M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
262.93/263.03	c   240s|  1080k|  1080k|     0 |   0.0 | 414M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
265.33/265.45	c   242s|  1090k|  1090k|     0 |   0.0 | 418M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
267.72/267.88	c   244s|  1100k|  1100k|     0 |   0.0 | 422M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
270.22/270.31	c   247s|  1110k|  1110k|     0 |   0.0 | 426M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
272.64/272.73	c   249s|  1120k|  1120k|     0 |   0.0 | 430M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
275.02/275.16	c   251s|  1130k|  1130k|     0 |   0.0 | 433M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
277.43/277.58	c   253s|  1140k|  1140k|     0 |   0.0 | 437M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
279.82/279.98	c   255s|  1150k|  1150k|     0 |   0.0 | 441M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
282.22/282.39	c   258s|  1160k|  1160k|     0 |   0.0 | 445M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
284.62/284.78	c   260s|  1170k|  1170k|     0 |   0.0 | 448M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
287.03/287.18	c   262s|  1180k|  1180k|     0 |   0.0 | 452M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
289.42/289.57	c   264s|  1190k|  1190k|     0 |   0.0 | 456M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.700000e+01 | 4.730000e+02 |1651.85%
291.82/291.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
291.82/291.97	c   266s|  1200k|  1200k|     0 |   0.0 | 460M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
294.32/294.44	c   269s|  1210k|  1210k|     0 |   0.0 | 464M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
296.72/296.90	c   271s|  1220k|  1220k|     0 |   0.0 | 467M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
299.22/299.35	c   273s|  1230k|  1230k|     0 |   0.0 | 471M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
301.72/301.80	c   275s|  1240k|  1240k|     0 |   0.0 | 475M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
304.11/304.25	c   278s|  1250k|  1250k|     0 |   0.0 | 479M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
306.62/306.70	c   280s|  1260k|  1260k|     0 |   0.0 | 483M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
309.02/309.15	c   282s|  1270k|  1270k|     0 |   0.0 | 487M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
311.41/311.59	c   284s|  1280k|  1280k|     0 |   0.0 | 490M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
313.92/314.03	c   286s|  1290k|  1290k|     0 |   0.0 | 494M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
316.32/316.47	c   289s|  1300k|  1300k|     0 |   0.0 | 498M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
318.82/318.90	c   291s|  1310k|  1310k|     0 |   0.0 | 502M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
321.21/321.34	c   293s|  1320k|  1320k|     0 |   0.0 | 505M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
323.62/323.77	c   295s|  1330k|  1330k|     0 |   0.0 | 509M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
326.02/326.19	c   298s|  1340k|  1340k|     0 |   0.0 | 513M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
328.52/328.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
328.52/328.63	c   300s|  1350k|  1350k|     0 |   0.0 | 517M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
330.92/331.06	c   302s|  1360k|  1360k|     0 |   0.0 | 521M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
333.31/333.48	c   304s|  1370k|  1370k|     0 |   0.0 | 524M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
335.81/335.90	c   306s|  1380k|  1380k|     0 |   0.0 | 528M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
338.21/338.32	c   309s|  1390k|  1390k|     0 |   0.0 | 532M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
340.61/340.74	c   311s|  1400k|  1400k|     0 |   0.0 | 536M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
343.02/343.15	c   313s|  1410k|  1410k|     0 |   0.0 | 540M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
345.40/345.57	c   315s|  1420k|  1420k|     0 |   0.0 | 543M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
347.81/347.99	c   317s|  1430k|  1430k|     0 |   0.0 | 547M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
350.31/350.40	c   320s|  1440k|  1440k|     0 |   0.0 | 551M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
352.71/352.81	c   322s|  1450k|  1450k|     0 |   0.0 | 555M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
355.11/355.23	c   324s|  1460k|  1460k|     0 |   0.0 | 559M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
357.51/357.65	c   326s|  1470k|  1470k|     0 |   0.0 | 562M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
359.90/360.07	c   328s|  1480k|  1480k|     0 |   0.0 | 566M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
362.30/362.48	c   331s|  1490k|  1490k|     0 |   0.0 | 570M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
364.80/364.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
364.80/364.91	c   333s|  1500k|  1500k|     0 |   0.0 | 574M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
367.21/367.33	c   335s|  1510k|  1510k|     0 |   0.0 | 577M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
369.60/369.74	c   337s|  1520k|  1520k|     0 |   0.0 | 581M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
372.00/372.16	c   339s|  1530k|  1530k|     0 |   0.0 | 585M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
374.40/374.58	c   342s|  1540k|  1540k|     0 |   0.0 | 589M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
376.90/377.00	c   344s|  1550k|  1550k|     0 |   0.0 | 592M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
379.30/379.43	c   346s|  1560k|  1560k|     0 |   0.0 | 596M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
381.70/381.84	c   348s|  1570k|  1570k|     0 |   0.0 | 600M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
384.09/384.25	c   350s|  1580k|  1580k|     0 |   0.0 | 604M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
386.49/386.66	c   353s|  1590k|  1590k|     0 |   0.0 | 608M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
388.90/389.08	c   355s|  1600k|  1600k|     0 |   0.0 | 611M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
391.29/391.49	c   357s|  1610k|  1610k|     0 |   0.0 | 615M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
393.79/393.90	c   359s|  1620k|  1620k|     0 |   0.0 | 619M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
396.20/396.31	c   361s|  1630k|  1630k|     0 |   0.0 | 623M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
398.59/398.72	c   364s|  1640k|  1640k|     0 |   0.0 | 626M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
400.99/401.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
400.99/401.14	c   366s|  1650k|  1650k|     0 |   0.0 | 630M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
403.39/403.55	c   368s|  1660k|  1660k|     0 |   0.0 | 634M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
405.80/405.96	c   370s|  1670k|  1670k|     0 |   0.0 | 638M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
408.19/408.36	c   372s|  1680k|  1680k|     0 |   0.0 | 641M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
410.59/410.76	c   375s|  1690k|  1690k|     0 |   0.0 | 645M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
412.99/413.17	c   377s|  1700k|  1700k|     0 |   0.0 | 649M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
415.39/415.57	c   379s|  1710k|  1710k|     0 |   0.0 | 652M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
417.80/417.98	c   381s|  1720k|  1720k|     0 |   0.0 | 656M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
420.18/420.39	c   383s|  1730k|  1730k|     0 |   0.0 | 660M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
422.59/422.79	c   386s|  1740k|  1740k|     0 |   0.0 | 664M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
425.09/425.20	c   388s|  1750k|  1750k|     0 |   0.0 | 667M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
427.49/427.60	c   390s|  1760k|  1760k|     0 |   0.0 | 671M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
429.90/430.00	c   392s|  1770k|  1770k|     0 |   0.0 | 675M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
432.19/432.39	c   394s|  1780k|  1780k|     0 |   0.0 | 679M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
434.58/434.79	c   397s|  1790k|  1790k|     0 |   0.0 | 682M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
436.99/437.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
436.99/437.19	c   399s|  1800k|  1800k|     0 |   0.0 | 686M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
439.39/439.58	c   401s|  1810k|  1810k|     0 |   0.0 | 690M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
441.78/441.97	c   403s|  1820k|  1820k|     0 |   0.0 | 693M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
444.19/444.37	c   405s|  1830k|  1830k|     0 |   0.0 | 697M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
446.58/446.76	c   407s|  1840k|  1840k|     0 |   0.0 | 701M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
448.99/449.15	c   410s|  1850k|  1850k|     0 |   0.0 | 705M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
451.38/451.53	c   412s|  1860k|  1860k|     0 |   0.0 | 708M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
453.78/453.91	c   414s|  1870k|  1870k|     0 |   0.0 | 712M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
456.18/456.30	c   416s|  1880k|  1880k|     0 |   0.0 | 716M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
458.49/458.68	c   418s|  1890k|  1890k|     0 |   0.0 | 719M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
460.88/461.06	c   420s|  1900k|  1900k|     0 |   0.0 | 723M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
463.27/463.43	c   423s|  1910k|  1910k|     0 |   0.0 | 727M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
465.68/465.81	c   425s|  1920k|  1920k|     0 |   0.0 | 730M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
467.97/468.18	c   427s|  1930k|  1930k|     0 |   0.0 | 734M|  57 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
470.38/470.54	c   429s|  1940k|  1940k|     0 |   0.0 | 738M|  59 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.800000e+01 | 4.730000e+02 |1589.29%
472.78/472.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
472.78/472.95	c   431s|  1950k|  1950k|     0 |   0.0 | 741M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
475.28/475.40	c   434s|  1960k|  1960k|     0 |   0.0 | 745M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
477.68/477.85	c   436s|  1970k|  1970k|     0 |   0.0 | 749M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
480.18/480.30	c   438s|  1980k|  1980k|     0 |   0.0 | 753M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
482.57/482.75	c   440s|  1990k|  1990k|     0 |   0.0 | 757M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
484.98/485.19	c   443s|  2000k|  2000k|     0 |   0.0 | 761M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
487.47/487.62	c   445s|  2010k|  2010k|     0 |   0.0 | 764M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
489.87/490.05	c   447s|  2020k|  2020k|     0 |   0.0 | 768M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
492.27/492.48	c   449s|  2030k|  2030k|     0 |   0.0 | 772M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
494.78/494.91	c   451s|  2040k|  2040k|     0 |   0.0 | 776M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
497.17/497.34	c   454s|  2050k|  2050k|     0 |   0.0 | 780M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
499.57/499.77	c   456s|  2060k|  2060k|     0 |   0.0 | 783M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
502.07/502.21	c   458s|  2070k|  2070k|     0 |   0.0 | 787M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
504.47/504.64	c   460s|  2080k|  2080k|     0 |   0.0 | 791M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
506.88/507.07	c   463s|  2090k|  2090k|     0 |   0.0 | 795M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
509.37/509.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
509.37/509.50	c   465s|  2100k|  2100k|     0 |   0.0 | 798M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
511.76/511.93	c   467s|  2110k|  2110k|     0 |   0.0 | 802M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
514.16/514.35	c   469s|  2120k|  2120k|     0 |   0.0 | 806M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
516.57/516.77	c   471s|  2130k|  2130k|     0 |   0.0 | 810M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
518.98/519.19	c   474s|  2140k|  2140k|     0 |   0.0 | 813M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
521.46/521.61	c   476s|  2150k|  2150k|     0 |   0.0 | 817M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
523.87/524.04	c   478s|  2160k|  2160k|     0 |   0.0 | 821M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
526.26/526.46	c   480s|  2170k|  2170k|     0 |   0.0 | 825M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
528.66/528.88	c   482s|  2180k|  2180k|     0 |   0.0 | 829M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
531.07/531.30	c   485s|  2190k|  2190k|     0 |   0.0 | 832M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
533.56/533.72	c   487s|  2200k|  2200k|     0 |   0.0 | 836M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
535.96/536.13	c   489s|  2210k|  2210k|     0 |   0.0 | 840M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
538.36/538.54	c   491s|  2220k|  2220k|     0 |   0.0 | 844M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
540.76/540.95	c   493s|  2230k|  2230k|     0 |   0.0 | 847M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
543.17/543.36	c   496s|  2240k|  2240k|     0 |   0.0 | 851M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
545.56/545.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
545.56/545.78	c   498s|  2250k|  2250k|     0 |   0.0 | 855M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
547.96/548.19	c   500s|  2260k|  2260k|     0 |   0.0 | 859M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
550.46/550.60	c   502s|  2270k|  2270k|     0 |   0.0 | 862M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
552.86/553.00	c   504s|  2280k|  2280k|     0 |   0.0 | 866M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
555.26/555.42	c   507s|  2290k|  2290k|     0 |   0.0 | 870M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
557.65/557.83	c   509s|  2300k|  2300k|     0 |   0.0 | 874M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
560.06/560.25	c   511s|  2310k|  2310k|     0 |   0.0 | 877M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
562.45/562.64	c   513s|  2320k|  2320k|     0 |   0.0 | 881M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
564.85/565.05	c   515s|  2330k|  2330k|     0 |   0.0 | 885M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
567.25/567.44	c   518s|  2340k|  2340k|     0 |   0.0 | 889M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
569.66/569.85	c   520s|  2350k|  2350k|     0 |   0.0 | 892M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
572.05/572.25	c   522s|  2360k|  2360k|     0 |   0.0 | 896M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
574.46/574.65	c   524s|  2370k|  2370k|     0 |   0.0 | 900M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
576.85/577.05	c   526s|  2380k|  2380k|     0 |   0.0 | 904M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
579.25/579.44	c   528s|  2390k|  2390k|     0 |   0.0 | 907M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
581.66/581.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
581.66/581.83	c   531s|  2400k|  2400k|     0 |   0.0 | 911M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
584.05/584.23	c   533s|  2410k|  2410k|     0 |   0.0 | 915M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
586.45/586.63	c   535s|  2420k|  2420k|     0 |   0.0 | 919M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
588.85/589.03	c   537s|  2430k|  2430k|     0 |   0.0 | 922M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
591.25/591.43	c   539s|  2440k|  2440k|     0 |   0.0 | 926M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
593.65/593.82	c   542s|  2450k|  2450k|     0 |   0.0 | 930M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
596.05/596.22	c   544s|  2460k|  2460k|     0 |   0.0 | 934M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
598.44/598.60	c   546s|  2470k|  2470k|     0 |   0.0 | 937M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
600.74/600.99	c   548s|  2480k|  2480k|     0 |   0.0 | 941M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
603.14/603.38	c   550s|  2490k|  2490k|     0 |   0.0 | 945M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
605.54/605.77	c   552s|  2500k|  2500k|     0 |   0.0 | 949M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
607.95/608.16	c   555s|  2510k|  2510k|     0 |   0.0 | 952M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
610.35/610.54	c   557s|  2520k|  2520k|     0 |   0.0 | 956M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
612.74/612.93	c   559s|  2530k|  2530k|     0 |   0.0 | 960M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
615.14/615.31	c   561s|  2540k|  2540k|     0 |   0.0 | 963M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
617.54/617.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
617.54/617.70	c   563s|  2550k|  2550k|     0 |   0.0 | 967M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
619.84/620.09	c   565s|  2560k|  2560k|     0 |   0.0 | 971M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
622.24/622.47	c   568s|  2570k|  2570k|     0 |   0.0 | 974M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
624.65/624.86	c   570s|  2580k|  2580k|     0 |   0.0 | 978M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
627.04/627.25	c   572s|  2590k|  2590k|     0 |   0.0 | 982M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
629.44/629.64	c   574s|  2600k|  2600k|     0 |   0.0 | 986M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
631.84/632.02	c   576s|  2610k|  2610k|     0 |   0.0 | 989M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
634.24/634.42	c   578s|  2620k|  2620k|     0 |   0.0 | 993M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
636.64/636.80	c   581s|  2630k|  2630k|     0 |   0.0 | 997M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
638.95/639.18	c   583s|  2640k|  2640k|     0 |   0.0 |1000M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
641.33/641.57	c   585s|  2650k|  2650k|     0 |   0.0 |1004M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
643.73/643.95	c   587s|  2660k|  2660k|     0 |   0.0 |1008M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
646.14/646.33	c   589s|  2670k|  2670k|     0 |   0.0 |1012M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
648.53/648.72	c   592s|  2680k|  2680k|     0 |   0.0 |1015M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
650.94/651.10	c   594s|  2690k|  2690k|     0 |   0.0 |1019M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
653.24/653.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
653.24/653.48	c   596s|  2700k|  2700k|     0 |   0.0 |1023M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
655.64/655.86	c   598s|  2710k|  2710k|     0 |   0.0 |1026M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
658.03/658.23	c   600s|  2720k|  2720k|     0 |   0.0 |1030M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
660.43/660.61	c   602s|  2730k|  2730k|     0 |   0.0 |1034M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
662.73/662.99	c   605s|  2740k|  2740k|     0 |   0.0 |1037M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
665.13/665.36	c   607s|  2750k|  2750k|     0 |   0.0 |1041M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
667.54/667.74	c   609s|  2760k|  2760k|     0 |   0.0 |1045M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
669.93/670.12	c   611s|  2770k|  2770k|     0 |   0.0 |1048M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
672.33/672.50	c   613s|  2780k|  2780k|     0 |   0.0 |1052M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
674.62/674.87	c   615s|  2790k|  2790k|     0 |   0.0 |1056M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
677.02/677.25	c   618s|  2800k|  2800k|     0 |   0.0 |1059M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
679.42/679.62	c   620s|  2810k|  2810k|     0 |   0.0 |1063M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
681.73/682.00	c   622s|  2820k|  2820k|     0 |   0.0 |1067M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
684.12/684.38	c   624s|  2830k|  2830k|     0 |   0.0 |1071M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
686.53/686.74	c   626s|  2840k|  2840k|     0 |   0.0 |1074M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
688.92/689.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
688.92/689.11	c   628s|  2850k|  2850k|     0 |   0.0 |1078M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
691.22/691.48	c   630s|  2860k|  2860k|     0 |   0.0 |1082M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
693.62/693.85	c   633s|  2870k|  2870k|     0 |   0.0 |1085M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
696.03/696.22	c   635s|  2880k|  2880k|     0 |   0.0 |1089M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
698.33/698.58	c   637s|  2890k|  2890k|     0 |   0.0 |1093M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
700.72/700.94	c   639s|  2900k|  2900k|     0 |   0.0 |1096M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
703.12/703.31	c   641s|  2910k|  2910k|     0 |   0.0 |1100M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
705.42/705.67	c   643s|  2920k|  2920k|     0 |   0.0 |1104M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
707.82/708.04	c   646s|  2930k|  2930k|     0 |   0.0 |1107M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
710.22/710.41	c   648s|  2940k|  2940k|     0 |   0.0 |1111M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
712.53/712.78	c   650s|  2950k|  2950k|     0 |   0.0 |1115M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
714.91/715.15	c   652s|  2960k|  2960k|     0 |   0.0 |1118M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
717.31/717.52	c   654s|  2970k|  2970k|     0 |   0.0 |1122M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
719.61/719.89	c   656s|  2980k|  2980k|     0 |   0.0 |1126M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
722.02/722.26	c   659s|  2990k|  2990k|     0 |   0.0 |1129M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
724.42/724.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
724.42/724.63	c   661s|  3000k|  3000k|     0 |   0.0 |1133M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
726.72/726.99	c   663s|  3010k|  3010k|     0 |   0.0 |1137M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
729.12/729.35	c   665s|  3020k|  3020k|     0 |   0.0 |1140M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
731.51/731.72	c   667s|  3030k|  3030k|     0 |   0.0 |1144M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
733.82/734.08	c   669s|  3040k|  3040k|     0 |   0.0 |1148M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
736.21/736.44	c   672s|  3050k|  3050k|     0 |   0.0 |1151M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
738.51/738.79	c   674s|  3060k|  3060k|     0 |   0.0 |1155M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
740.91/741.15	c   676s|  3070k|  3070k|     0 |   0.0 |1158M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
743.32/743.51	c   678s|  3080k|  3080k|     0 |   0.0 |1162M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
745.62/745.87	c   680s|  3090k|  3090k|     0 |   0.0 |1166M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
748.01/748.23	c   682s|  3100k|  3100k|     0 |   0.0 |1169M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
750.31/750.59	c   684s|  3110k|  3110k|     0 |   0.0 |1173M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
752.71/752.94	c   687s|  3120k|  3120k|     0 |   0.0 |1177M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
755.11/755.30	c   689s|  3130k|  3130k|     0 |   0.0 |1180M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
757.40/757.66	c   691s|  3140k|  3140k|     0 |   0.0 |1184M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
759.82/760.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
759.82/760.02	c   693s|  3150k|  3150k|     0 |   0.0 |1188M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
762.12/762.36	c   695s|  3160k|  3160k|     0 |   0.0 |1191M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
764.50/764.71	c   697s|  3170k|  3170k|     0 |   0.0 |1195M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
766.80/767.06	c   699s|  3180k|  3180k|     0 |   0.0 |1198M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
769.21/769.42	c   702s|  3190k|  3190k|     0 |   0.0 |1202M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
771.50/771.77	c   704s|  3200k|  3200k|     0 |   0.0 |1206M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
773.91/774.11	c   706s|  3210k|  3210k|     0 |   0.0 |1209M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
776.20/776.46	c   708s|  3220k|  3220k|     0 |   0.0 |1213M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
778.60/778.81	c   710s|  3230k|  3230k|     0 |   0.0 |1217M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
780.90/781.16	c   712s|  3240k|  3240k|     0 |   0.0 |1220M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
783.30/783.51	c   714s|  3250k|  3250k|     0 |   0.0 |1224M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
785.60/785.85	c   716s|  3260k|  3260k|     0 |   0.0 |1227M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
787.89/788.19	c   719s|  3270k|  3270k|     0 |   0.0 |1231M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
790.30/790.53	c   721s|  3280k|  3280k|     0 |   0.0 |1235M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
792.59/792.86	c   723s|  3290k|  3290k|     0 |   0.0 |1238M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
795.01/795.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
795.01/795.20	c   725s|  3300k|  3300k|     0 |   0.0 |1242M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
797.31/797.53	c   727s|  3310k|  3310k|     0 |   0.0 |1245M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
799.60/799.87	c   729s|  3320k|  3320k|     0 |   0.0 |1249M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
801.89/802.19	c   731s|  3330k|  3330k|     0 |   0.0 |1252M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
804.30/804.52	c   733s|  3340k|  3340k|     0 |   0.0 |1256M|  61 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 2.900000e+01 | 4.730000e+02 |1531.03%
806.59/806.87	c   736s|  3350k|  3350k|     0 |   0.0 |1260M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
809.09/809.31	c   738s|  3360k|  3360k|     0 |   0.0 |1263M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
811.50/811.74	c   740s|  3370k|  3370k|     0 |   0.0 |1267M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
813.90/814.17	c   742s|  3380k|  3380k|     0 |   0.0 |1271M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
816.29/816.59	c   744s|  3390k|  3390k|     0 |   0.0 |1275M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
818.79/819.01	c   747s|  3400k|  3400k|     0 |   0.0 |1279M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
821.19/821.44	c   749s|  3410k|  3410k|     0 |   0.0 |1282M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
823.60/823.86	c   751s|  3420k|  3420k|     0 |   0.0 |1286M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
825.99/826.28	c   753s|  3430k|  3430k|     0 |   0.0 |1290M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
828.49/828.70	c   755s|  3440k|  3440k|     0 |   0.0 |1294M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
830.88/831.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
830.88/831.11	c   758s|  3450k|  3450k|     0 |   0.0 |1298M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
833.28/833.52	c   760s|  3460k|  3460k|     0 |   0.0 |1301M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
835.70/835.94	c   762s|  3470k|  3470k|     0 |   0.0 |1305M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
838.09/838.35	c   764s|  3480k|  3480k|     0 |   0.0 |1309M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
840.49/840.75	c   766s|  3490k|  3490k|     0 |   0.0 |1313M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
842.89/843.16	c   769s|  3500k|  3500k|     0 |   0.0 |1316M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
845.28/845.58	c   771s|  3510k|  3510k|     0 |   0.0 |1320M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
847.68/847.98	c   773s|  3520k|  3520k|     0 |   0.0 |1324M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
850.09/850.39	c   775s|  3530k|  3530k|     0 |   0.0 |1328M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
852.48/852.79	c   777s|  3540k|  3540k|     0 |   0.0 |1331M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
854.88/855.20	c   780s|  3550k|  3550k|     0 |   0.0 |1335M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
857.28/857.60	c   782s|  3560k|  3560k|     0 |   0.0 |1339M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
859.68/860.00	c   784s|  3570k|  3570k|     0 |   0.0 |1343M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
862.09/862.39	c   786s|  3580k|  3580k|     0 |   0.0 |1346M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
864.48/864.79	c   788s|  3590k|  3590k|     0 |   0.0 |1350M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
866.88/867.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
866.88/867.19	c   791s|  3600k|  3600k|     0 |   0.0 |1354M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
869.28/869.59	c   793s|  3610k|  3610k|     0 |   0.0 |1357M|  63 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 4.730000e+02 |1476.67%
869.98/870.21	c (node 3612592) switching to memory saving mode (mem: 1296.0M/1620.0M)
871.08/871.33	o 230
871.08/871.33	c * 794s|  3612k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |   0 |   0 | 3.000000e+01 | 2.300000e+02 | 666.67%
871.38/871.67	o 229
871.38/871.67	c * 795s|  3612k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
874.18/874.43	c   797s|  3620k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 128 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
877.28/877.50	c   800s|  3630k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 197 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
880.58/880.84	c   804s|  3640k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 302 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
883.68/883.99	c   807s|  3650k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 369 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
886.87/887.12	c   810s|  3660k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 435 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
890.38/890.64	c   813s|  3670k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 564 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
893.87/894.12	c   816s|  3680k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 686 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
897.28/897.55	c   820s|  3690k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 783 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
900.47/900.77	c   823s|  3700k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 868 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
903.88/904.12	c   826s|  3710k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 | 957 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
907.28/907.57	c   829s|  3720k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |1063 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
911.58/911.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
911.58/911.89	c   833s|  3730k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |1273 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
914.87/915.17	c   836s|  3740k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |1351 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
918.67/918.93	c   840s|  3750k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |1512 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
923.46/923.76	c   845s|  3760k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |1794 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
928.76/929.06	c   850s|  3770k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |2141 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
932.37/932.67	c   853s|  3780k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |2281 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
936.46/936.75	c   857s|  3790k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |2480 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
939.86/940.16	c   860s|  3800k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |2599 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
947.16/947.49	c   868s|  3810k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |3152 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
951.85/952.12	c   872s|  3820k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |3402 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
955.56/955.82	c   876s|  3830k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |3538 |   0 | 3.000000e+01 | 2.290000e+02 | 663.33%
957.56/957.88	o 228
957.56/957.88	c * 878s|  3834k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |3621 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
959.85/960.19	c   880s|  3840k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |3746 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
963.65/963.93	c   883s|  3850k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |3891 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
967.45/967.74	c   887s|  3860k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |4056 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
971.95/972.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
971.95/972.22	c   891s|  3870k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |4310 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
978.25/978.56	c   898s|  3880k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |4787 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
982.46/982.73	c   902s|  3890k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |4974 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
986.06/986.37	c   905s|  3900k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |5091 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
989.66/989.91	c   908s|  3910k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |5215 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
992.85/993.16	c   912s|  3920k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |5301 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
996.64/996.90	c   915s|  3930k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |5448 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1000.65/1001.00	c   919s|  3940k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |5634 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1004.25/1004.57	c   922s|  3950k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |5749 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1008.75/1009.09	c   927s|  3960k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |5995 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1012.85/1013.15	c   931s|  3970k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |6181 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1016.84/1017.14	c   935s|  3980k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |6366 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1020.75/1021.03	c   938s|  3990k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |6534 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1024.24/1024.55	c   942s|  4000k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |6653 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1027.64/1027.98	c   945s|  4010k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |6762 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1031.24/1031.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1031.24/1031.53	c   948s|  4020k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |6879 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1034.53/1034.83	c   951s|  4030k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |6969 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1038.04/1038.35	c   955s|  4040k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7082 |   0 | 3.000000e+01 | 2.280000e+02 | 660.00%
1038.64/1038.97	o 227
1038.64/1038.97	c * 955s|  4041k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7099 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1041.63/1041.92	c   958s|  4050k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7174 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1045.03/1045.37	c   962s|  4060k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7289 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1048.13/1048.43	c   964s|  4070k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7357 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1051.34/1051.61	c   967s|  4080k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7440 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1054.94/1055.27	c   971s|  4090k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7599 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1058.13/1058.49	c   974s|  4100k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7684 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1061.63/1061.97	c   977s|  4110k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7800 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1065.03/1065.38	c   981s|  4120k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |7914 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1069.33/1069.60	c   985s|  4130k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |8118 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1072.53/1072.81	c   988s|  4140k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |8203 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1075.83/1076.14	c   991s|  4150k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |8312 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1079.63/1079.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1079.63/1079.95	c   995s|  4160k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |8455 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1083.92/1084.20	c   999s|  4170k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |8662 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1087.43/1087.76	c  1002s|  4180k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |8776 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1090.83/1091.13	c  1005s|  4190k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |8880 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1094.32/1094.62	c  1009s|  4200k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |8988 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1098.22/1098.60	c  1012s|  4210k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |9149 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1101.93/1102.25	c  1016s|  4220k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |9288 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1105.13/1105.43	c  1019s|  4230k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |9369 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1108.43/1108.71	c  1022s|  4240k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |9449 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1112.02/1112.39	c  1026s|  4250k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |9584 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1115.52/1115.87	c  1029s|  4260k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |9697 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1119.92/1120.20	c  1033s|  4270k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |9920 |   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1123.31/1123.66	c  1036s|  4280k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  10k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1127.61/1127.90	c  1040s|  4290k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  10k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1132.02/1132.33	c  1045s|  4300k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  10k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1135.72/1136.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1135.72/1136.02	c  1048s|  4310k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  10k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1139.12/1139.43	c  1051s|  4320k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  10k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1142.62/1142.91	c  1055s|  4330k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  10k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1145.82/1146.18	c  1058s|  4340k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  10k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1149.22/1149.58	c  1061s|  4350k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  10k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1152.42/1152.77	c  1064s|  4360k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  11k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1155.72/1156.01	c  1067s|  4370k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  11k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1159.91/1160.27	c  1071s|  4380k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  11k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1163.91/1164.25	c  1075s|  4390k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  11k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1167.82/1168.10	c  1079s|  4400k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  11k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1171.60/1171.99	c  1083s|  4410k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  11k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1176.40/1176.72	c  1087s|  4420k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  12k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1180.20/1180.52	c  1091s|  4430k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  12k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1184.00/1184.30	c  1094s|  4440k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  12k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1188.30/1188.61	c  1098s|  4450k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  12k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1192.70/1193.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1192.70/1193.09	c  1103s|  4460k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  12k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1196.41/1196.79	c  1106s|  4470k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  13k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1199.80/1200.15	c  1110s|  4480k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  13k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1203.30/1203.66	c  1113s|  4490k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  13k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1207.90/1208.23	c  1117s|  4500k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  13k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1212.00/1212.30	c  1121s|  4510k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  13k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1217.50/1217.86	c  1127s|  4520k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  14k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1221.70/1222.09	c  1131s|  4530k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  14k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1225.29/1225.69	c  1134s|  4540k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  14k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1228.69/1229.07	c  1137s|  4550k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  14k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1232.39/1232.78	c  1141s|  4560k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  14k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1235.89/1236.28	c  1144s|  4570k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  14k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1239.19/1239.53	c  1147s|  4580k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  14k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1242.49/1242.80	c  1150s|  4590k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  14k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1246.48/1246.88	c  1154s|  4600k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  15k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1249.89/1250.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1249.89/1250.26	c  1158s|  4610k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  15k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1254.29/1254.69	c  1162s|  4620k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  15k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1257.79/1258.10	c  1165s|  4630k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  15k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1262.39/1262.77	c  1170s|  4640k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  15k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1266.89/1267.21	c  1174s|  4650k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1270.88/1271.24	c  1178s|  4660k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1274.49/1274.88	c  1181s|  4670k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1277.28/1277.62	c  1184s|  4680k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1280.68/1281.04	c  1187s|  4690k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1283.78/1284.14	c  1190s|  4700k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1286.69/1287.02	c  1193s|  4710k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1289.88/1290.20	c  1196s|  4720k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1292.78/1293.13	c  1199s|  4730k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1295.87/1296.21	c  1202s|  4740k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  16k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1299.37/1299.70	c  1205s|  4750k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  17k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1302.57/1302.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1302.57/1302.92	c  1208s|  4760k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  17k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1305.97/1306.38	c  1211s|  4770k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  17k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1308.97/1309.36	c  1214s|  4780k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  17k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1312.17/1312.52	c  1217s|  4790k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  17k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1315.46/1315.85	c  1220s|  4800k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  17k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1318.87/1319.29	c  1224s|  4810k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  17k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1322.27/1322.64	c  1227s|  4820k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  17k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1326.67/1327.08	c  1231s|  4830k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1330.07/1330.49	c  1234s|  4840k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1333.67/1334.07	c  1238s|  4850k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1337.07/1337.42	c  1241s|  4860k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1340.36/1340.75	c  1244s|  4870k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1343.46/1343.87	c  1247s|  4880k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1346.86/1347.20	c  1250s|  4890k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1350.06/1350.45	c  1253s|  4900k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1353.77/1354.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1353.77/1354.14	c  1257s|  4910k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  18k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1357.16/1357.54	c  1260s|  4920k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  19k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1360.36/1360.79	c  1263s|  4930k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  19k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1363.36/1363.79	c  1266s|  4940k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  19k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1366.75/1367.10	c  1269s|  4950k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  19k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1370.16/1370.58	c  1272s|  4960k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  19k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1373.95/1374.35	c  1276s|  4970k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  19k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1377.15/1377.55	c  1279s|  4980k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  19k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1380.25/1380.69	c  1282s|  4990k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  19k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1383.55/1383.93	c  1285s|  5000k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  19k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1386.85/1387.27	c  1288s|  5010k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  20k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1390.25/1390.61	c  1292s|  5020k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  20k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1393.95/1394.38	c  1295s|  5030k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  20k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1397.55/1397.94	c  1299s|  5040k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  20k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1401.35/1401.77	c  1302s|  5050k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  20k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1405.05/1405.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1405.05/1405.40	c  1306s|  5060k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  20k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1408.84/1409.29	c  1310s|  5070k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  21k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1412.44/1412.84	c  1313s|  5080k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  21k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1415.84/1416.28	c  1316s|  5090k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  21k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1419.25/1419.68	c  1319s|  5100k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  21k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1422.74/1423.19	c  1323s|  5110k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  21k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1427.14/1427.59	c  1327s|  5120k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  21k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1431.04/1431.42	c  1331s|  5130k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  21k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1434.64/1435.05	c  1334s|  5140k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  22k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1438.35/1438.76	c  1338s|  5150k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  22k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1442.75/1443.17	c  1342s|  5160k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  22k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1446.24/1446.63	c  1345s|  5170k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  22k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1450.13/1450.58	c  1349s|  5180k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  22k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1454.14/1454.50	c  1353s|  5190k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  22k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1457.33/1457.70	c  1356s|  5200k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1460.83/1461.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1460.83/1461.23	c  1359s|  5210k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1464.53/1464.97	c  1363s|  5220k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1468.23/1468.67	c  1366s|  5230k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1471.73/1472.18	c  1370s|  5240k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1474.83/1475.28	c  1373s|  5250k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1477.73/1478.12	c  1375s|  5260k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1480.83/1481.21	c  1378s|  5270k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1483.63/1484.06	c  1381s|  5280k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1486.63/1487.01	c  1384s|  5290k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  23k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1489.83/1490.27	c  1387s|  5300k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  24k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1494.33/1494.77	c  1391s|  5310k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  24k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1499.02/1499.49	c  1396s|  5320k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  24k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1502.42/1502.84	c  1399s|  5330k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  24k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1505.62/1506.02	c  1402s|  5340k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  24k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1509.03/1509.41	c  1405s|  5350k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  24k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1511.93/1512.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1511.93/1512.35	c  1408s|  5360k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  24k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1514.92/1515.39	c  1411s|  5370k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1517.82/1518.27	c  1414s|  5380k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1521.32/1521.70	c  1417s|  5390k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1524.42/1524.82	c  1420s|  5400k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1527.92/1528.38	c  1423s|  5410k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1530.92/1531.35	c  1426s|  5420k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1533.82/1534.30	c  1429s|  5430k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1536.81/1537.27	c  1432s|  5440k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1540.12/1540.51	c  1435s|  5450k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1543.21/1543.62	c  1438s|  5460k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1546.51/1546.90	c  1441s|  5470k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1549.42/1549.90	c  1444s|  5480k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  25k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1553.01/1553.49	c  1447s|  5490k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  26k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1556.61/1557.01	c  1451s|  5500k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  26k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1559.81/1560.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1559.81/1560.22	c  1454s|  5510k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  26k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1563.10/1563.57	c  1457s|  5520k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  26k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1566.31/1566.74	c  1460s|  5530k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  26k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1569.81/1570.23	c  1463s|  5540k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  26k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1573.90/1574.32	c  1467s|  5550k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  26k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1577.70/1578.15	c  1471s|  5560k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  26k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1581.90/1582.35	c  1475s|  5570k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  27k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1585.71/1586.15	c  1479s|  5580k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  27k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1589.20/1589.68	c  1482s|  5590k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  27k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1593.10/1593.54	c  1486s|  5600k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  27k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1596.30/1596.79	c  1489s|  5610k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  27k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1600.11/1600.57	c  1492s|  5620k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  27k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1603.70/1604.19	c  1496s|  5630k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  28k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1607.00/1607.46	c  1499s|  5640k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  28k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1610.30/1610.70	c  1502s|  5650k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  28k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1614.41/1614.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1614.41/1614.82	c  1506s|  5660k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  28k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1618.29/1618.72	c  1510s|  5670k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  28k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1622.20/1622.61	c  1514s|  5680k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  28k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1625.49/1625.92	c  1517s|  5690k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  28k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1629.09/1629.58	c  1520s|  5700k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  29k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1632.80/1633.23	c  1524s|  5710k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  29k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1636.19/1636.65	c  1527s|  5720k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  29k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1639.89/1640.39	c  1531s|  5730k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  29k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1644.69/1645.17	c  1535s|  5740k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  29k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1648.40/1648.85	c  1539s|  5750k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  29k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1651.69/1652.14	c  1542s|  5760k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  29k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1654.99/1655.43	c  1545s|  5770k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  30k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1658.78/1659.29	c  1549s|  5780k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  30k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1662.19/1662.70	c  1552s|  5790k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  30k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1666.29/1666.75	c  1556s|  5800k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  30k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1669.58/1670.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1669.58/1670.04	c  1559s|  5810k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  30k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1672.98/1673.49	c  1562s|  5820k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  30k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1676.78/1677.26	c  1566s|  5830k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  30k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1679.98/1680.42	c  1569s|  5840k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  31k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1683.48/1683.97	c  1572s|  5850k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  31k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1686.99/1687.46	c  1576s|  5860k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  31k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1690.29/1690.73	c  1579s|  5870k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  31k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1694.17/1694.64	c  1582s|  5880k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  31k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1697.98/1698.45	c  1586s|  5890k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  31k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1701.68/1702.10	c  1590s|  5900k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  31k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1704.77/1705.25	c  1593s|  5910k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1707.97/1708.40	c  1596s|  5920k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1710.97/1711.48	c  1598s|  5930k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1714.07/1714.56	c  1601s|  5940k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1717.27/1717.75	c  1604s|  5950k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1720.87/1721.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1720.87/1721.37	c  1608s|  5960k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1724.07/1724.50	c  1611s|  5970k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1727.06/1727.51	c  1614s|  5980k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1730.47/1730.94	c  1617s|  5990k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1733.77/1734.27	c  1620s|  6000k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  32k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1737.27/1737.76	c  1624s|  6010k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  33k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1740.78/1741.29	c  1627s|  6020k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  33k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1744.66/1745.19	c  1631s|  6030k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  33k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1749.06/1749.52	c  1635s|  6040k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  33k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1752.66/1753.12	c  1638s|  6050k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  33k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1755.76/1756.28	c  1641s|  6060k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  33k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1758.96/1759.48	c  1644s|  6070k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  33k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1762.76/1763.23	c  1648s|  6080k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  34k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1765.86/1766.33	c  1651s|  6090k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  34k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1769.56/1770.05	c  1654s|  6100k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  34k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1773.45/1773.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1773.45/1773.96	c  1658s|  6110k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  34k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1778.06/1778.52	c  1663s|  6120k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  34k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1781.46/1781.99	c  1666s|  6130k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  35k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1784.96/1785.48	c  1669s|  6140k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  35k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1788.25/1788.77	c  1672s|  6150k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  35k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1791.56/1792.01	c  1675s|  6160k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  35k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1794.75/1795.23	c  1679s|  6170k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  35k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1797.85/1798.36	c  1682s|  6180k|  3612k|     0 |   0.0 |1359M| 255 |   - | 473 | 534 |   0 |   0 |   0 |  35k|   0 | 3.000000e+01 | 2.270000e+02 | 656.67%
1800.06/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.51	c 
1800.06/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.51	c Solving Time (sec) : 1683.57
1800.06/1800.51	c Solving Nodes      : 6186092
1800.06/1800.51	c Primal Bound       : +2.27000000000000e+02 (7 solutions)
1800.06/1800.51	c Dual Bound         : +3.00000000000000e+01
1800.06/1800.51	c Gap                : 656.67 %
1800.06/1800.51	s SATISFIABLE
1800.06/1800.51	v -x473 x472 -x471 -x470 x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 x461 x460 -x459 x458 x457 x456 x455 x454 x453 -x452 x451 x450 
1800.06/1800.51	v -x449 x448 x447 x446 -x445 x444 x443 x442 -x441 -x440 x439 x438 -x437 -x436 x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 
1800.06/1800.51	v x427 x426 x425 -x424 -x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 -x413 x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 
1800.06/1800.51	v x403 -x402 -x401 -x400 -x399 x398 -x397 x396 x395 x394 -x393 -x392 -x391 x390 x389 -x388 -x387 x386 x385 x384 -x383 x382 -x381 
1800.06/1800.51	v -x380 x379 x378 x377 x376 -x375 x374 x373 x372 x371 x370 x369 x368 x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 x359 x358 
1800.06/1800.51	v -x357 x356 x355 -x354 x353 -x352 x351 -x350 -x349 x348 -x347 x346 -x345 x344 -x343 -x342 -x341 x340 x339 -x338 x337 -x336 
1800.06/1800.51	v x335 -x334 x333 x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 x316 -x315 x314 
1800.06/1800.51	v x313 x312 -x311 x310 x309 x308 x307 -x306 x305 x304 -x303 x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
1800.06/1800.51	v x290 -x289 -x288 x287 x286 x285 -x284 -x283 x282 -x281 x280 -x279 -x278 x277 x276 -x275 -x274 -x273 -x272 x271 -x270 x269 
1800.06/1800.51	v -x268 -x267 x266 x265 x264 x263 -x262 -x261 x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 
1800.06/1800.51	v x246 x245 -x244 x243 -x242 x241 x240 x239 x238 -x237 x236 x235 x234 -x233 x232 -x231 -x230 x229 x228 -x227 x226 x225 x224 x223 
1800.06/1800.51	v x222 x221 -x220 -x219 -x218 x217 x216 x215 -x214 -x213 -x212 x211 x210 -x209 x208 -x207 x206 x205 -x204 -x203 x202 x201 -x200 
1800.06/1800.51	v -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 -x182 x181 -x180 -x179 x178 
1800.06/1800.51	v x177 -x176 x175 x174 x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 x163 -x162 -x161 x160 x159 -x158 -x157 -x156 
1800.06/1800.51	v x155 x154 -x153 -x152 x151 x150 -x149 -x148 x147 -x146 -x145 x144 x143 -x142 -x141 x140 x139 x138 -x137 -x136 -x135 -x134 
1800.06/1800.51	v x133 x132 x131 -x130 -x129 -x128 x127 -x126 x125 x124 -x123 x122 -x121 x120 x119 -x118 x117 x116 x115 x114 x113 -x112 -x111 -x110 
1800.06/1800.51	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.06/1800.51	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.06/1800.51	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.06/1800.51	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.06/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.51	c Solving Time       :    1683.57
1800.06/1800.51	c Original Problem   :
1800.06/1800.51	c   Problem name     : HOME/instance-2664043-1276374355.opb
1800.06/1800.51	c   Variables        : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51	c   Constraints      : 472 initial, 472 maximal
1800.06/1800.51	c Presolved Problem  :
1800.06/1800.51	c   Problem name     : t_HOME/instance-2664043-1276374355.opb
1800.06/1800.51	c   Variables        : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51	c   Constraints      : 534 initial, 534 maximal
1800.06/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.51	c   knapsack         :       0.02          0          0          0          0          0         25        310        650
1800.06/1800.51	c   setppc           :       0.00          0          0          0          0          0         48          0          0
1800.06/1800.51	c   linear           :       0.02          0          0          0          0          0          0          0         24
1800.06/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.51	c   knapsack         :        446          0   10753259          0    4907509      35587    6686327          0          0          0
1800.06/1800.51	c   setppc           :         87          0    6644388          0    3361660          0    1907520          0          0          0
1800.06/1800.51	c   logicor          :          1+         0      18450          0    3612657          1      18421          0          0          0
1800.06/1800.51	c   countsols        :          0          0          0          0    4907509          0          0          0          0          0
1800.06/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.51	c   knapsack         :     728.41       0.00     614.20       0.00     114.21
1800.06/1800.51	c   setppc           :      57.79       0.00      12.00       0.00      45.79
1800.06/1800.51	c   logicor          :       4.30       0.00       0.13       0.00       4.17
1800.06/1800.51	c   countsols        :       1.87       0.00       0.00       0.00       1.87
1800.06/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.51	c   vbounds          :       6.17          2          0          0
1800.06/1800.51	c   rootredcost      :       5.89          0          0          0
1800.06/1800.51	c   pseudoobj        :     310.52   12008935    1255876   11882278
1800.06/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.51	c   propagation      :     252.52      35587      35587    3121412      242.8          2      191.5          -
1800.06/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.51	c   pseudo solution  :       0.00          3          0          0        0.0          0        0.0          -
1800.06/1800.51	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.06/1800.51	c   applied locally  :          -          -          -      35587      190.6          -          -          -
1800.06/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.51	c Pricers            :       Time      Calls       Vars
1800.06/1800.51	c   problem variables:       0.00          0          0
1800.06/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   inference        :     307.20    4907505          0          0          0          0    9815010
1800.06/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.51	c   LP solutions     :       0.00          -          0
1800.06/1800.51	c   pseudo solutions :       0.55          -          4
1800.06/1800.51	c   oneopt           :       4.10          0          0
1800.06/1800.51	c   trivial          :       0.00          2          3
1800.06/1800.51	c   simplerounding   :       0.00          0          0
1800.06/1800.51	c   zirounding       :       0.00          0          0
1800.06/1800.51	c   rounding         :       0.00          0          0
1800.06/1800.51	c   shifting         :       0.00          0          0
1800.06/1800.51	c   intshifting      :       0.00          0          0
1800.06/1800.51	c   twoopt           :       0.00          0          0
1800.06/1800.51	c   fixandinfer      :       0.00          0          0
1800.06/1800.51	c   feaspump         :       0.00          0          0
1800.06/1800.51	c   coefdiving       :       0.00          0          0
1800.06/1800.51	c   pscostdiving     :       0.00          0          0
1800.06/1800.51	c   fracdiving       :       0.00          0          0
1800.06/1800.51	c   veclendiving     :       0.00          0          0
1800.06/1800.51	c   intdiving        :       0.00          0          0
1800.06/1800.51	c   actconsdiving    :       0.00          0          0
1800.06/1800.51	c   objpscostdiving  :       0.00          0          0
1800.06/1800.51	c   rootsoldiving    :       0.00          0          0
1800.06/1800.51	c   linesearchdiving :       0.00          0          0
1800.06/1800.51	c   guideddiving     :       0.00          0          0
1800.06/1800.51	c   octane           :       0.00          0          0
1800.06/1800.51	c   rens             :       0.00          0          0
1800.06/1800.51	c   rins             :       0.00          0          0
1800.06/1800.51	c   localbranching   :       0.00          0          0
1800.06/1800.51	c   mutation         :       0.00          0          0
1800.06/1800.51	c   crossover        :       0.00          0          0
1800.06/1800.51	c   dins             :       0.00          0          0
1800.06/1800.51	c   undercover       :       0.00          0          0
1800.06/1800.51	c   nlp              :       3.03          0          0
1800.06/1800.51	c   trysol           :       2.95          0          0
1800.06/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.51	c B&B Tree           :
1800.06/1800.51	c   number of runs   :          1
1800.06/1800.51	c   nodes            :    6186092
1800.06/1800.51	c   nodes (total)    :    6186092
1800.06/1800.51	c   nodes left       :    3612771
1800.06/1800.51	c   max depth        :        255
1800.06/1800.51	c   max depth (total):        255
1800.06/1800.51	c   backtracks       :     905832 (14.6%)
1800.06/1800.51	c   delayed cutoffs  :      16133
1800.06/1800.51	c   repropagations   :      20624 (176762 domain reductions, 12884 cutoffs)
1800.06/1800.51	c   avg switch length:       2.55
1800.06/1800.51	c   switching time   :      78.27
1800.06/1800.51	c Solution           :
1800.06/1800.51	c   Solutions found  :          7 (5 improvements)
1800.06/1800.51	c   First Solution   : +4.73000000000000e+02   (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.06/1800.51	c   Primal Bound     : +2.27000000000000e+02   (in run 1, after 4041187 nodes, 955.27 seconds, depth 237, found by <relaxation>)
1800.06/1800.51	c   Dual Bound       : +3.00000000000000e+01
1800.06/1800.51	c   Gap              :     656.67 %
1800.06/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.51	c   Root Iterations  :          0

Verifier Data 

OK	227

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.01 0.99 3/107 13308
/proc/meminfo: memFree=1849592/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=6584 CPUtime=0
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 991 0 0 0 0 0 0 0 17 0 1 0 11091283 6742016 913 1992294400 4194304 7136930 140735777872352 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13308/statm: 1646 922 254 719 0 925 0

[startup+0.0672961 s]
/proc/loadavg: 0.92 1.01 0.99 3/107 13308
/proc/meminfo: memFree=1849592/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=12984 CPUtime=0.06
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 3679 0 0 0 5 1 0 0 17 0 1 0 11091283 13295616 2476 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 3246 2476 363 719 0 2525 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12984

[startup+0.101299 s]
/proc/loadavg: 0.92 1.01 0.99 3/107 13308
/proc/meminfo: memFree=1849592/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=14012 CPUtime=0.09
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 5779 0 0 0 7 2 0 0 17 0 1 0 11091283 14348288 2777 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 3503 2777 388 719 0 2782 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14012

[startup+0.301317 s]
/proc/loadavg: 0.92 1.01 0.99 3/107 13308
/proc/meminfo: memFree=1849592/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=14204 CPUtime=0.3
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 5841 0 0 0 26 4 0 0 17 0 1 0 11091283 14544896 2839 1992294400 4194304 7136930 140735777872352 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 3551 2839 392 719 0 2830 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14204

[startup+0.701353 s]
/proc/loadavg: 0.92 1.01 0.99 3/107 13308
/proc/meminfo: memFree=1849592/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=14944 CPUtime=0.69
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 6040 0 0 0 62 7 0 0 17 0 1 0 11091283 15302656 3038 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 3736 3038 392 719 0 3015 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14944

[startup+1.50142 s]
/proc/loadavg: 0.92 1.01 0.99 2/108 13309
/proc/meminfo: memFree=1837432/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=16860 CPUtime=1.49
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 6531 0 0 0 135 14 0 0 18 0 1 0 11091283 17264640 3529 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 4215 3529 392 719 0 3494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16860

[startup+3.10157 s]
/proc/loadavg: 0.92 1.01 0.99 2/108 13309
/proc/meminfo: memFree=1834704/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=19932 CPUtime=3.09
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 7326 0 0 0 280 29 0 0 21 0 1 0 11091283 20410368 4324 1992294400 4194304 7136930 140735777872352 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 4983 4324 392 719 0 4262 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19932

[startup+6.30085 s]
/proc/loadavg: 0.93 1.01 0.99 2/108 13311
/proc/meminfo: memFree=1829000/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=25316 CPUtime=6.29
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 8693 0 0 0 572 57 0 0 25 0 1 0 11091283 25923584 5691 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 6329 5691 392 719 0 5608 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25316

[startup+12.7014 s]
/proc/loadavg: 0.93 1.00 0.99 2/108 13311
/proc/meminfo: memFree=1817592/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=36904 CPUtime=12.69
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 11695 0 0 0 1155 114 0 0 25 0 1 0 11091283 37789696 8693 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 9226 8693 392 719 0 8505 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36904

[startup+25.5006 s]
/proc/loadavg: 0.95 1.00 0.99 2/108 13311
/proc/meminfo: memFree=1796512/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=58312 CPUtime=25.48
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 16768 0 0 0 2327 221 0 0 25 0 1 0 11091283 59711488 13766 1992294400 4194304 7136930 140735777872352 18446744073709551615 4407896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 14578 13766 392 719 0 13857 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58312

[startup+51.1009 s]
/proc/loadavg: 0.96 1.00 0.99 2/108 13311
/proc/meminfo: memFree=1755220/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=102000 CPUtime=51.07
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 27071 0 0 0 4658 449 0 0 25 0 1 0 11091283 104448000 24069 1992294400 4194304 7136930 140735777872352 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 25500 24069 392 719 0 24779 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102000

[startup+102.308 s]
/proc/loadavg: 0.98 1.00 0.99 2/108 13313
/proc/meminfo: memFree=1670652/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=182080 CPUtime=102.27
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 47901 0 0 0 9336 891 0 0 25 0 1 0 11091283 186449920 44899 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 45520 44899 392 719 0 44799 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 182080

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 13315
/proc/meminfo: memFree=1575544/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=282096 CPUtime=162.25
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 71822 0 0 0 14812 1413 0 0 25 0 1 0 11091283 288866304 68820 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 70524 68820 392 719 0 69803 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 282096

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 13315
/proc/meminfo: memFree=1478824/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=373836 CPUtime=222.23
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 95729 0 0 0 20283 1940 0 0 25 0 1 0 11091283 382808064 92727 1992294400 4194304 7136930 140735777872352 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 93459 92727 392 719 0 92738 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 373836

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 13317
/proc/meminfo: memFree=1381608/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=484772 CPUtime=282.22
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 120335 0 0 0 25747 2475 0 0 25 0 1 0 11091283 496406528 117333 1992294400 4194304 7136930 140735777872352 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 121193 117333 392 719 0 120472 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 484772

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 13319
/proc/meminfo: memFree=1284020/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=576756 CPUtime=342.21
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 144295 0 0 0 31226 2995 0 0 25 0 1 0 11091283 590598144 141293 1992294400 4194304 7136930 140735777872352 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 144189 141293 392 719 0 143468 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 576756

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 13321
/proc/meminfo: memFree=1190152/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=667468 CPUtime=402.19
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 167945 0 0 0 36690 3529 0 0 25 0 1 0 11091283 683487232 164943 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 166867 164943 392 719 0 166146 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 667468

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 13323
/proc/meminfo: memFree=1093308/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=760120 CPUtime=462.18
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 192085 0 0 0 42164 4054 0 0 25 0 1 0 11091283 778362880 189083 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 190030 189083 392 719 0 189309 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 760120

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 13323
/proc/meminfo: memFree=996340/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=885388 CPUtime=522.16
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 216177 0 0 0 47644 4572 0 0 25 0 1 0 11091283 906637312 213175 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 221347 213175 392 719 0 220626 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 885388

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 13325
/proc/meminfo: memFree=899868/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=977512 CPUtime=582.15
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 240181 0 0 0 53106 5109 0 0 25 0 1 0 11091283 1000972288 237179 1992294400 4194304 7136930 140735777872352 18446744073709551615 4677308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 244378 237179 392 719 0 243657 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 977512

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 13327
/proc/meminfo: memFree=802404/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1070280 CPUtime=642.14
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 264353 0 0 0 58570 5644 0 0 25 0 1 0 11091283 1095966720 261351 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 267570 261351 392 719 0 266849 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1070280

[startup+702.301 s]

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

/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369643 0 0 0 92030 8175 0 0 25 0 1 0 11091283 1454112768 352529 1992294400 4194304 7136930 140735777872352 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355008 352529 398 719 0 354287 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1420032

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13342
/proc/meminfo: memFree=436108/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420168 CPUtime=1062.03
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369691 0 0 0 97767 8436 0 0 25 0 1 0 11091283 1454252032 352577 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355042 352577 398 719 0 354321 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1420168

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13342
/proc/meminfo: memFree=435984/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420300 CPUtime=1122.02
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369711 0 0 0 103504 8698 0 0 25 0 1 0 11091283 1454387200 352597 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355075 352597 398 719 0 354354 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1420300

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13344
/proc/meminfo: memFree=435612/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420432 CPUtime=1182
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369729 0 0 0 109246 8954 0 0 25 0 1 0 11091283 1454522368 352615 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355108 352615 398 719 0 354387 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1420432

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13346
/proc/meminfo: memFree=435364/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420432 CPUtime=1241.99
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369733 0 0 0 114998 9201 0 0 25 0 1 0 11091283 1454522368 352619 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355108 352619 398 719 0 354387 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1420432

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13348
/proc/meminfo: memFree=435240/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420432 CPUtime=1301.98
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369733 0 0 0 120735 9463 0 0 25 0 1 0 11091283 1454522368 352619 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355108 352619 398 719 0 354387 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1420432

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13350
/proc/meminfo: memFree=435240/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420432 CPUtime=1361.95
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369743 0 0 0 126460 9735 0 0 25 0 1 0 11091283 1454522368 352629 1992294400 4194304 7136930 140735777872352 18446744073709551615 5923189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355108 352629 398 719 0 354387 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1420432

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13350
/proc/meminfo: memFree=435116/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420432 CPUtime=1421.95
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369746 0 0 0 132201 9994 0 0 25 0 1 0 11091283 1454522368 352632 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355108 352632 398 719 0 354387 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1420432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13352
/proc/meminfo: memFree=434992/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420432 CPUtime=1481.93
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369752 0 0 0 137944 10249 0 0 25 0 1 0 11091283 1454522368 352638 1992294400 4194304 7136930 140735777872352 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355108 352638 398 719 0 354387 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1420432

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13354
/proc/meminfo: memFree=434992/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420432 CPUtime=1541.91
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369760 0 0 0 143666 10525 0 0 25 0 1 0 11091283 1454522368 352646 1992294400 4194304 7136930 140735777872352 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355108 352646 398 719 0 354387 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1420432

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13356
/proc/meminfo: memFree=434868/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420568 CPUtime=1601.9
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369769 0 0 0 149409 10781 0 0 25 0 1 0 11091283 1454661632 352655 1992294400 4194304 7136930 140735777872352 18446744073709551615 5922793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355142 352655 398 719 0 354421 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1420568

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13358
/proc/meminfo: memFree=434744/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420568 CPUtime=1661.89
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369769 0 0 0 155149 11040 0 0 25 0 1 0 11091283 1454661632 352655 1992294400 4194304 7136930 140735777872352 18446744073709551615 5909102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355142 352655 398 719 0 354421 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1420568

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13358
/proc/meminfo: memFree=434496/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420568 CPUtime=1721.87
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369774 0 0 0 160882 11305 0 0 25 0 1 0 11091283 1454661632 352660 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355142 352660 398 719 0 354421 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1420568

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13360
/proc/meminfo: memFree=434248/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420568 CPUtime=1781.85
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369781 0 0 0 166620 11565 0 0 25 0 1 0 11091283 1454661632 352667 1992294400 4194304 7136930 140735777872352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355142 352667 398 719 0 354421 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1420568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13360
/proc/meminfo: memFree=434248/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420568 CPUtime=1800.06
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369781 0 0 0 168359 11647 0 0 25 0 1 0 11091283 1454661632 352667 1992294400 4194304 7136930 140735777872352 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13308/statm: 355142 352667 398 719 0 354421 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1420568

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13308

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 13361
/proc/meminfo: memFree=434240/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420568 CPUtime=1800.95
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369787 0 0 0 168448 11647 0 0 25 0 1 0 11091283 1454661632 352673 1992294400 4194304 7136930 140735777872352 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13308/statm: 355142 352673 403 719 0 354421 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 1420568

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 13361
/proc/meminfo: memFree=434116/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=1420568 CPUtime=1801.75
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4202496 369787 0 0 0 168528 11647 0 0 25 0 1 0 11091283 1454661632 352673 1992294400 4194304 7136930 140735777872352 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13308/statm: 355142 352673 403 719 0 354421 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 1420568

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 13361
/proc/meminfo: memFree=434116/2059040 swapFree=4140124/4192956
[pid=13308] ppid=13306 vsize=0 CPUtime=1802.15
/proc/13308/stat : 13308 (pbscip.linux.x8) R 13306 13308 12769 0 -1 4203524 369787 0 0 0 168559 11656 0 0 25 0 1 0 11091283 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13308/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.2
CPU user time (s): 1685.6
CPU system time (s): 116.605
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 1482168

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

runsolver used 3.2725 second user time and 8.24775 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-12 22:25:56
IDJOB=2664043
IDBENCH=1962
IDSOLVER=1167
FILE ID=node025/2664043-1276374355
PBS_JOBID= 11173220
Free space on /tmp= 62540 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.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-2664043-1276374355/watcher-2664043-1276374355 -o /tmp/evaluation-result-2664043-1276374355/solver-2664043-1276374355 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664043-1276374355.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1e2b8f542cc5dec610d6e9b4663a878b
RANDOM SEED=1247341638

node025.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.242
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.48
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.242
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1850244 kB
Buffers:         27660 kB
Cached:          90532 kB
SwapCached:       6772 kB
Active:          28124 kB
Inactive:       103440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850244 kB
SwapTotal:     4192956 kB
SwapFree:      4140124 kB
Dirty:            3292 kB
Writeback:           0 kB
AnonPages:       10860 kB
Mapped:          12752 kB
Slab:            55268 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183056 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= 62536 MiB
End job on node025 at 2010-06-12 22:55:58