Trace number 2664198

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)225 1800.04 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
MD5SUM5018d2b93ba4422fc03308c57dbd6158
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark2.37064
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved NO
Number of variables528
Total number of constraints1816
Number of constraints which are clauses1816
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 528
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 528
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 528
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664198-1276470262.opb>
0.00/0.04	c original problem has 528 variables (528 bin, 0 int, 0 impl, 0 cont) and 1816 constraints
0.00/0.04	c problem read
0.00/0.04	c presolving settings loaded
0.00/0.04	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05	c presolving:
0.00/0.09	c (round 1) 0 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1636 upgd conss, 11664 impls, 0 clqs
0.10/0.11	c (round 2) 0 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1804 upgd conss, 11664 impls, 0 clqs
0.10/0.14	c    (0.1s) probing: 101/528 (19.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.14	c presolving (3 rounds):
0.10/0.14	c  0 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.14	c  11664 implications, 0 cliques
0.10/0.14	c presolved problem has 528 variables (528 bin, 0 int, 0 impl, 0 cont) and 1804 constraints
0.10/0.14	c    1804 constraints of type <logicor>
0.10/0.14	c transformed objective value is always integral (scale: 1)
0.10/0.14	c Presolving Time: 0.07
0.10/0.14	c - non default parameters ----------------------------------------------------------------------
0.10/0.14	c # SCIP version 1.2.1.2
0.10/0.14	c 
0.10/0.14	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.10/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.14	c conflict/interconss = 0
0.10/0.14	c 
0.10/0.14	c # should binary conflicts be preferred?
0.10/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.14	c conflict/preferbinary = TRUE
0.10/0.14	c 
0.10/0.14	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.10/0.14	c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.14	c constraints/agelimit = 1
0.10/0.14	c 
0.10/0.14	c # should enforcement of pseudo solution be disabled?
0.10/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.14	c constraints/disableenfops = TRUE
0.10/0.14	c 
0.10/0.14	c # frequency for displaying node information lines
0.10/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.14	c display/freq = 10000
0.10/0.14	c 
0.10/0.14	c # maximal time in seconds to run
0.10/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.14	c limits/time = 1799.97
0.10/0.14	c 
0.10/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.14	c limits/memory = 1620
0.10/0.14	c 
0.10/0.14	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.14	c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.14	c lp/solvefreq = -1
0.10/0.14	c 
0.10/0.14	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.10/0.14	c # [type: char, range: {lafpsqd}, default: l]
0.10/0.14	c lp/pricing = a
0.10/0.14	c 
0.10/0.14	c # should presolving try to simplify inequalities
0.10/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.14	c constraints/linear/simplifyinequalities = TRUE
0.10/0.14	c 
0.10/0.14	c # should presolving try to simplify knapsacks
0.10/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.14	c 
0.10/0.14	c # priority of node selection rule <dfs> in standard mode
0.10/0.14	c # [type: int, range: [-536870912,536870911], default: 0]
0.10/0.14	c nodeselection/dfs/stdpriority = 1000000
0.10/0.14	c 
0.10/0.14	c -----------------------------------------------------------------------------------------------
0.10/0.14	c start solving
0.10/0.14	c 
0.10/0.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.10/0.14	c   0.1s|     1 |     2 |     0 |     - |2962k|   0 |   - | 528 |1804 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.20/0.23	o 238
0.20/0.23	c * 0.2s|   288 |   116 |     0 |   0.0 |3062k| 122 |   - | 528 |1811 |   0 |   0 |   0 |  35 |   0 | 1.000000e+00 | 2.380000e+02 |  Large 
0.29/0.32	o 235
0.29/0.32	c * 0.2s|   611 |   111 |     0 |   0.0 |3073k| 127 |   - | 528 |1811 |   0 |   0 |   0 | 145 |   0 | 1.000000e+00 | 2.350000e+02 |  Large 
0.29/0.39	o 234
0.29/0.39	c * 0.3s|   781 |   102 |     0 |   0.0 |3079k| 127 |   - | 528 |1811 |   0 |   0 |   0 | 237 |   0 | 1.000000e+00 | 2.340000e+02 |  Large 
0.39/0.46	o 230
0.39/0.46	c * 0.4s|   943 |   104 |     0 |   0.0 |3089k| 136 |   - | 528 |1811 |   0 |   0 |   0 | 313 |   0 | 1.000000e+00 | 2.300000e+02 |  Large 
0.49/0.52	o 229
0.49/0.52	c * 0.4s|  1060 |   102 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 | 383 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
2.39/2.43	c   2.2s| 10000 |    98 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |1567 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
3.89/3.94	c   3.5s| 20000 |    95 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |1744 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
5.39/5.48	c   4.9s| 30000 |    96 |     0 |   0.0 |3091k| 136 |   - | 528 |1811 |   0 |   0 |   0 |1949 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
6.99/7.01	c   6.3s| 40000 |    95 |     0 |   0.0 |3091k| 136 |   - | 528 |1811 |   0 |   0 |   0 |2150 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
8.59/8.64	c   7.8s| 50000 |    92 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |2560 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
10.09/10.10	c   9.1s| 60000 |    93 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |2694 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
11.68/11.73	c  10.6s| 70000 |    98 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 |3085 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
13.39/13.50	c  12.2s| 80000 |    93 |     0 |   0.0 |3091k| 136 |   - | 528 |1811 |   0 |   0 |   0 |3825 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
15.29/15.39	c  13.9s| 90000 |    95 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |4685 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
17.09/17.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.09/17.14	c  15.5s|100000 |    95 |     0 |   0.0 |3091k| 136 |   - | 528 |1811 |   0 |   0 |   0 |5367 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
18.89/18.98	c  17.1s|110000 |    95 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |6306 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
20.59/20.60	c  18.6s|120000 |    99 |     0 |   0.0 |3093k| 136 |   - | 528 |1812 |   0 |   0 |   0 |6670 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
22.39/22.46	c  20.3s|130000 |    92 |     0 |   0.0 |3093k| 136 |   - | 528 |1811 |   0 |   0 |   0 |7617 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
24.09/24.14	c  21.8s|140000 |    96 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |8181 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
25.78/25.80	c  23.3s|150000 |    92 |     0 |   0.0 |3093k| 136 |   - | 528 |1813 |   0 |   0 |   0 |8636 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
27.39/27.40	c  24.7s|160000 |    95 |     0 |   0.0 |3094k| 136 |   - | 528 |1813 |   0 |   0 |   0 |8897 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
28.99/29.06	c  26.2s|170000 |    90 |     0 |   0.0 |3092k| 136 |   - | 528 |1813 |   0 |   0 |   0 |9231 |   0 | 1.000000e+00 | 2.290000e+02 |  Large 
30.88/30.96	c  28.0s|180000 |    92 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  10k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
32.58/32.68	c  29.6s|190000 |    88 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  10k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
34.48/34.56	c  31.2s|200000 |    88 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  11k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
36.38/36.46	c  33.0s|210000 |    90 |     0 |   0.0 |3093k| 136 |   - | 528 |1813 |   0 |   0 |   0 |  12k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
38.18/38.22	c  34.6s|220000 |    90 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  13k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
39.98/40.01	c  36.2s|230000 |    89 |     0 |   0.0 |3093k| 136 |   - | 528 |1812 |   0 |   0 |   0 |  14k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
41.58/41.64	c  37.7s|240000 |    91 |     0 |   0.0 |3093k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  14k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
43.28/43.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
43.28/43.30	c  39.2s|250000 |    93 |     0 |   0.0 |3093k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  14k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
44.87/44.96	c  40.7s|260000 |    89 |     0 |   0.0 |3093k| 136 |   - | 528 |1812 |   0 |   0 |   0 |  15k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
46.67/46.75	c  42.3s|270000 |    91 |     0 |   0.0 |3094k| 136 |   - | 528 |1812 |   0 |   0 |   0 |  16k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
48.48/48.52	c  43.9s|280000 |    90 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  16k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
50.37/50.45	c  45.7s|290000 |    90 |     0 |   0.0 |3093k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  17k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
52.17/52.26	c  47.3s|300000 |    87 |     0 |   0.0 |3093k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  18k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
54.27/54.30	c  49.1s|310000 |    89 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  19k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
56.18/56.28	c  50.9s|320000 |    87 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  21k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
58.07/58.18	c  52.7s|330000 |    86 |     0 |   0.0 |3092k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  21k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
59.77/59.88	c  54.2s|340000 |    93 |     0 |   0.0 |3094k| 136 |   - | 528 |1813 |   0 |   0 |   0 |  22k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
61.58/61.69	c  55.8s|350000 |    88 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
63.17/63.28	c  57.3s|360000 |    89 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
66.27/66.39	c  60.2s|370000 |    89 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  26k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
68.18/68.21	c  61.8s|380000 |    90 |     0 |   0.0 |3094k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  27k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
70.38/70.40	c  63.9s|390000 |    85 |     0 |   0.0 |3093k| 136 |   - | 528 |1812 |   0 |   0 |   0 |  29k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
72.57/72.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
72.57/72.60	c  65.8s|400000 |    83 |     0 |   0.0 |3093k| 136 |   - | 528 |1811 |   0 |   0 |   0 |  31k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
74.26/74.31	c  67.4s|410000 |   111 |     0 |   0.0 |3101k| 136 |   - | 528 |1812 |   0 |   0 |   0 |  31k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
77.36/77.49	c  70.4s|420000 |    96 |     0 |   0.0 |3102k| 136 |   - | 528 |1813 |   0 |   0 |   0 |  35k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
80.47/80.57	c  73.3s|430000 |    96 |     0 |   0.0 |3104k| 136 |   - | 528 |1813 |   0 |   0 |   0 |  38k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
83.36/83.49	c  76.0s|440000 |    97 |     0 |   0.0 |3102k| 136 |   - | 528 |1813 |   0 |   0 |   0 |  41k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
86.76/86.89	c  79.2s|450000 |    96 |     0 |   0.0 |3100k| 136 |   - | 528 |1813 |   0 |   0 |   0 |  45k|   0 | 1.000000e+00 | 2.290000e+02 |  Large 
89.26/89.37	o 227
89.26/89.37	c *81.5s|457926 |   110 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  48k|   0 | 1.000000e+00 | 2.270000e+02 |  Large 
90.17/90.29	c  82.3s|460000 |   100 |     0 |   0.0 |3110k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  49k|   0 | 1.000000e+00 | 2.270000e+02 |  Large 
94.36/94.40	c  86.2s|470000 |    97 |     0 |   0.0 |3110k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  53k|   0 | 1.000000e+00 | 2.270000e+02 |  Large 
98.46/98.50	c  90.0s|480000 |    98 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 | 2.270000e+02 |  Large 
102.55/102.61	c  93.9s|490000 |    96 |     0 |   0.0 |3113k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  63k|   0 | 1.000000e+00 | 2.270000e+02 |  Large 
106.36/106.45	c  97.5s|500000 |    95 |     0 |   0.0 |3107k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  68k|   0 | 1.000000e+00 | 2.270000e+02 |  Large 
110.35/110.45	c   101s|510000 |    96 |     0 |   0.0 |3108k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  72k|   0 | 1.000000e+00 | 2.270000e+02 |  Large 
114.06/114.10	c   105s|520000 |    98 |     0 |   0.0 |3108k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  77k|   0 | 1.000000e+00 | 2.270000e+02 |  Large 
116.95/117.05	o 226
116.95/117.05	c * 107s|527894 |   110 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  80k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
118.06/118.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
118.06/118.12	c   108s|530000 |    98 |     0 |   0.0 |3120k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  81k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
123.16/123.29	c   113s|540000 |    99 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  88k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
127.95/128.08	c   118s|550000 |    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  93k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
132.95/133.08	c   123s|560000 |    98 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 |  99k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
137.15/137.23	c   126s|570000 |    95 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 104k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
141.05/141.10	c   130s|580000 |    99 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 109k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
144.54/144.68	c   133s|590000 |    98 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 113k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
148.75/148.81	c   137s|600000 |    98 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 118k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
152.35/152.45	c   141s|610000 |    97 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 122k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
156.04/156.10	c   144s|620000 |    95 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 126k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
159.34/159.41	c   147s|630000 |    98 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 129k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
162.94/163.04	c   151s|640000 |    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 134k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
166.15/166.26	c   154s|650000 |    96 |     0 |   0.0 |3113k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 137k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
169.14/169.21	c   156s|660000 |    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 140k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
172.54/172.64	c   160s|670000 |    98 |     0 |   0.0 |3117k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 145k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
175.83/175.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
175.83/175.97	c   163s|680000 |    97 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 149k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
178.83/178.93	c   165s|690000 |    95 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 153k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
181.84/181.99	c   168s|700000 |    94 |     0 |   0.0 |3112k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 156k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
184.94/185.06	c   171s|710000 |    92 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 160k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
188.64/188.73	c   175s|720000 |   104 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 164k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
193.13/193.29	c   179s|730000 |   100 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 170k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
197.94/198.04	c   183s|740000 |    98 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 176k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
201.83/201.98	c   187s|750000 |    97 |     0 |   0.0 |3113k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 181k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
205.74/205.81	c   191s|760000 |   100 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 186k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
209.93/210.03	c   195s|770000 |    96 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 191k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
213.63/213.72	c   198s|780000 |   101 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 196k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
217.33/217.41	c   202s|790000 |    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 200k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
222.33/222.45	c   206s|800000 |   105 |     0 |   0.0 |3119k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 207k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
226.63/226.78	c   210s|810000 |    99 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 212k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
231.32/231.44	c   215s|820000 |   101 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 218k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
235.82/235.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
235.82/235.94	c   219s|830000 |   100 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 223k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
240.22/240.31	c   223s|840000 |    95 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 228k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
244.52/244.61	c   227s|850000 |   100 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 234k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
249.42/249.59	c   232s|860000 |    95 |     0 |   0.0 |3122k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 240k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
255.12/255.24	c   237s|870000 |    98 |     0 |   0.0 |3119k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 247k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
260.52/260.60	c   242s|880000 |    99 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 253k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
265.51/265.63	c   247s|890000 |   101 |     0 |   0.0 |3119k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 259k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
270.22/270.39	c   252s|900000 |    98 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 265k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
275.02/275.16	c   256s|910000 |    98 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 271k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
279.91/280.08	c   261s|920000 |    97 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 277k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
285.01/285.12	c   265s|930000 |    96 |     0 |   0.0 |3113k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 283k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
289.51/289.62	c   270s|940000 |    99 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 288k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
293.51/293.61	c   273s|950000 |    98 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 293k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
298.01/298.10	c   278s|960000 |   100 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 298k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
302.41/302.53	c   282s|970000 |   101 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 304k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
306.21/306.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
306.21/306.37	c   285s|980000 |   101 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 308k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
311.11/311.27	c   290s|990000 |    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 314k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
315.41/315.55	c   294s|  1000k|    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 319k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
319.70/319.85	c   298s|  1010k|   102 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 324k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
323.70/323.83	c   302s|  1020k|    97 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 329k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
327.30/327.41	c   305s|  1030k|    95 |     0 |   0.0 |3119k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 333k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
331.40/331.58	c   309s|  1040k|    94 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 338k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
335.90/336.05	c   313s|  1050k|   100 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 343k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
340.60/340.79	c   318s|  1060k|   101 |     0 |   0.0 |3117k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 349k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
345.31/345.50	c   322s|  1070k|    98 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 355k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
348.99/349.12	c   325s|  1080k|    98 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 359k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
353.69/353.88	c   330s|  1090k|    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 365k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
358.49/358.65	c   334s|  1100k|    97 |     0 |   0.0 |3117k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 371k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
363.19/363.33	c   339s|  1110k|    99 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 376k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
367.99/368.15	c   343s|  1120k|    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 382k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
372.80/372.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
372.80/372.94	c   348s|  1130k|    98 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 388k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
377.69/377.88	c   352s|  1140k|    99 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 395k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
382.39/382.51	c   357s|  1150k|    93 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 400k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
386.88/387.02	c   361s|  1160k|    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 406k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
391.08/391.20	c   365s|  1170k|    99 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 411k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
395.78/395.99	c   370s|  1180k|    95 |     0 |   0.0 |3118k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 417k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
400.29/400.49	c   374s|  1190k|   100 |     0 |   0.0 |3114k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 423k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
404.98/405.13	c   378s|  1200k|    99 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 429k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
409.97/410.18	c   383s|  1210k|    95 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 435k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
414.88/415.00	c   387s|  1220k|    98 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 441k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
418.98/419.18	c   391s|  1230k|   100 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 446k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
423.28/423.41	c   395s|  1240k|    95 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 451k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
427.47/427.63	c   399s|  1250k|    99 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 456k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
431.67/431.88	c   403s|  1260k|    97 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 462k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
436.17/436.33	c   407s|  1270k|   100 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 467k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
440.56/440.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
440.56/440.72	c   412s|  1280k|    96 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 473k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
444.47/444.69	c   415s|  1290k|    95 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 478k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
449.77/449.92	c   420s|  1300k|    98 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 484k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
454.77/454.96	c   425s|  1310k|    99 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 490k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
459.06/459.25	c   429s|  1320k|    93 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 496k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
463.86/464.09	c   434s|  1330k|    96 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 502k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
468.47/468.62	c   438s|  1340k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 508k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
473.37/473.51	c   442s|  1350k|   100 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 514k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
477.56/477.78	c   446s|  1360k|    97 |     0 |   0.0 |3119k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 519k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
482.26/482.42	c   451s|  1370k|    99 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 525k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
486.96/487.19	c   455s|  1380k|    99 |     0 |   0.0 |3118k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 531k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
491.85/492.03	c   460s|  1390k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 537k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
496.35/496.54	c   464s|  1400k|    98 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 543k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
500.75/500.92	c   468s|  1410k|    99 |     0 |   0.0 |3118k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 549k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
505.45/505.64	c   473s|  1420k|    99 |     0 |   0.0 |3119k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 555k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
510.65/510.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
510.65/510.82	c   477s|  1430k|    96 |     0 |   0.0 |3119k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 561k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
515.14/515.39	c   482s|  1440k|    99 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 567k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
519.95/520.13	c   486s|  1450k|    96 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 573k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
524.45/524.67	c   491s|  1460k|    99 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 579k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
528.84/529.07	c   495s|  1470k|    96 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 585k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
533.04/533.23	c   499s|  1480k|    95 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 590k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
537.54/537.79	c   503s|  1490k|    95 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 596k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
542.04/542.27	c   507s|  1500k|    96 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 601k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
547.04/547.24	c   512s|  1510k|    98 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 607k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
551.94/552.11	c   516s|  1520k|    94 |     0 |   0.0 |3121k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 613k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
556.94/557.19	c   521s|  1530k|   101 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 620k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
561.53/561.75	c   525s|  1540k|    93 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 625k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
566.73/566.97	c   530s|  1550k|    91 |     0 |   0.0 |3112k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 632k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
571.53/571.77	c   535s|  1560k|    94 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 637k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
573.53/573.78	c   537s|  1570k|   102 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 639k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
575.33/575.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
575.33/575.59	c   538s|  1580k|    98 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 640k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
577.23/577.41	c   540s|  1590k|   101 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 641k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
579.13/579.34	c   542s|  1600k|   101 |     0 |   0.0 |3114k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 642k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
580.93/581.19	c   543s|  1610k|    99 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 643k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
583.13/583.39	c   546s|  1620k|    97 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 645k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
586.03/586.23	c   548s|  1630k|    97 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 648k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
588.13/588.35	c   550s|  1640k|    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 650k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
590.43/590.68	c   552s|  1650k|   100 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 652k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
593.03/593.29	c   555s|  1660k|    96 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 655k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
596.23/596.40	c   558s|  1670k|    96 |     0 |   0.0 |3117k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 658k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
599.53/599.76	c   561s|  1680k|   100 |     0 |   0.0 |3119k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 662k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
603.33/603.56	c   564s|  1690k|    92 |     0 |   0.0 |3113k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 666k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
607.22/607.43	c   568s|  1700k|    93 |     0 |   0.0 |3114k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 671k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
610.13/610.33	c   571s|  1710k|    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 674k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
613.63/613.90	c   574s|  1720k|   109 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 678k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
616.22/616.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
616.22/616.40	c   576s|  1730k|    96 |     0 |   0.0 |3114k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 680k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
618.72/618.92	c   579s|  1740k|    97 |     0 |   0.0 |3114k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 683k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
621.33/621.55	c   581s|  1750k|    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 685k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
623.63/623.87	c   583s|  1760k|   101 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 687k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
626.12/626.36	c   586s|  1770k|   104 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 689k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
628.62/628.89	c   588s|  1780k|    98 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 692k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
631.42/631.63	c   591s|  1790k|    95 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 695k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
633.71/633.96	c   593s|  1800k|    98 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 697k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
636.22/636.41	c   595s|  1810k|   100 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 699k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
638.41/638.62	c   597s|  1820k|    95 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 701k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
640.92/641.16	c   599s|  1830k|   102 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 703k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
644.21/644.47	c   602s|  1840k|    98 |     0 |   0.0 |3114k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 707k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
647.51/647.73	c   606s|  1850k|   100 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 711k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
651.02/651.30	c   609s|  1860k|    95 |     0 |   0.0 |3113k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 715k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
654.21/654.48	c   612s|  1870k|    94 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 719k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
656.91/657.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
656.91/657.17	c   614s|  1880k|    98 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 721k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
659.71/659.90	c   617s|  1890k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 724k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
662.71/662.97	c   620s|  1900k|    99 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 727k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
666.01/666.26	c   623s|  1910k|    93 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 731k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
669.41/669.66	c   626s|  1920k|    98 |     0 |   0.0 |3117k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 735k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
672.40/672.63	c   629s|  1930k|    97 |     0 |   0.0 |3113k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 738k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
675.31/675.59	c   632s|  1940k|    95 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 741k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
678.51/678.77	c   635s|  1950k|    99 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 744k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
681.41/681.69	c   637s|  1960k|    93 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 747k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
685.01/685.29	c   641s|  1970k|    96 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 752k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
688.80/689.05	c   644s|  1980k|    96 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 756k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
692.10/692.35	c   647s|  1990k|    93 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 760k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
695.20/695.42	c   650s|  2000k|    90 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 763k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
699.10/699.35	c   654s|  2010k|    96 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 768k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
703.30/703.55	c   658s|  2020k|    97 |     0 |   0.0 |3117k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 772k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
706.60/706.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
706.60/706.84	c   661s|  2030k|    96 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 776k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
709.69/709.92	c   664s|  2040k|    94 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 779k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
713.60/713.85	c   667s|  2050k|    90 |     0 |   0.0 |3111k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 784k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
716.59/716.88	c   670s|  2060k|   102 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 787k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
719.69/719.98	c   673s|  2070k|   102 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 791k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
722.79/723.07	c   676s|  2080k|   101 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 794k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
726.49/726.80	c   680s|  2090k|    99 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 798k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
729.79/730.04	c   683s|  2100k|    99 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 802k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
732.50/732.77	c   685s|  2110k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 805k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
736.49/736.73	c   689s|  2120k|    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 809k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
739.98/740.24	c   692s|  2130k|   101 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 814k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
743.18/743.41	c   695s|  2140k|    98 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 817k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
746.18/746.47	c   698s|  2150k|    96 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 821k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
749.18/749.46	c   701s|  2160k|   104 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 824k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
753.59/753.85	c   705s|  2170k|    97 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 830k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
757.79/758.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
757.79/758.06	c   709s|  2180k|    98 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 836k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
761.98/762.22	c   713s|  2190k|    95 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 841k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
766.08/766.36	c   717s|  2200k|    98 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 846k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
769.28/769.56	c   720s|  2210k|    97 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 850k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
772.68/772.94	c   723s|  2220k|   100 |     0 |   0.0 |3117k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 854k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
776.28/776.57	c   726s|  2230k|    95 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 858k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
778.78/779.01	c   728s|  2240k|    94 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 860k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
781.38/781.64	c   731s|  2250k|    99 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 863k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
784.78/785.05	c   734s|  2260k|    98 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 867k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
787.68/787.99	c   737s|  2270k|    98 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 870k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
790.88/791.18	c   740s|  2280k|   102 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 874k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
794.18/794.49	c   743s|  2290k|    97 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 878k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
797.58/797.86	c   746s|  2300k|    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 882k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
801.37/801.62	c   750s|  2310k|    94 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 886k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
805.37/805.68	c   753s|  2320k|   101 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 891k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
809.17/809.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
809.17/809.48	c   757s|  2330k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 895k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
812.47/812.78	c   760s|  2340k|    98 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 899k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
816.77/817.00	c   764s|  2350k|    98 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 904k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
820.27/820.56	c   767s|  2360k|    99 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 908k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
823.36/823.62	c   770s|  2370k|   100 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 911k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
826.98/827.20	c   774s|  2380k|    94 |     0 |   0.0 |3113k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 916k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
830.27/830.53	c   777s|  2390k|    93 |     0 |   0.0 |3113k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 919k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
833.26/833.56	c   780s|  2400k|    95 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 | 923k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
836.36/836.61	c   782s|  2410k|    98 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 926k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
839.07/839.34	c   785s|  2420k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 929k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
842.86/843.10	c   788s|  2430k|    95 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 934k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
845.86/846.12	c   791s|  2440k|    99 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 937k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
849.16/849.48	c   794s|  2450k|    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 941k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
852.15/852.48	c   797s|  2460k|    98 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 945k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
855.76/856.05	c   801s|  2470k|    99 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 950k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
859.26/859.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
859.26/859.57	c   804s|  2480k|    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 954k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
862.86/863.13	c   807s|  2490k|    99 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 958k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
865.66/865.98	c   810s|  2500k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 961k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
869.25/869.53	c   813s|  2510k|    99 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 965k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
873.35/873.67	c   817s|  2520k|    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 970k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
876.65/876.94	c   820s|  2530k|    97 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 974k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
879.76/880.01	c   823s|  2540k|   100 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 977k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
883.25/883.57	c   826s|  2550k|    99 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 981k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
886.64/886.95	c   830s|  2560k|    98 |     0 |   0.0 |3119k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 985k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
890.35/890.60	c   833s|  2570k|    98 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 989k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
894.45/894.74	c   837s|  2580k|    92 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 | 994k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
897.95/898.22	c   840s|  2590k|    95 |     0 |   0.0 |3119k| 142 |   - | 528 |1812 |   0 |   0 |   0 | 998k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
903.05/903.35	c   845s|  2600k|    99 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1004k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
908.05/908.39	c   850s|  2610k|    99 |     0 |   0.0 |3118k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1010k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
912.34/912.65	c   854s|  2620k|   100 |     0 |   0.0 |3117k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1016k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
916.64/916.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
916.64/916.94	c   858s|  2630k|    94 |     0 |   0.0 |3120k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1021k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
921.04/921.34	c   862s|  2640k|    97 |     0 |   0.0 |3118k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1027k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
925.43/925.79	c   866s|  2650k|    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1033k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
930.24/930.51	c   871s|  2660k|    95 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1039k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
935.34/935.65	c   875s|  2670k|    95 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1045k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
938.54/938.83	c   878s|  2680k|    96 |     0 |   0.0 |3117k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1049k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
941.63/941.99	c   881s|  2690k|    96 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1052k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
944.74/945.03	c   884s|  2700k|    93 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1056k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
947.94/948.21	c   887s|  2710k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1059k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
951.43/951.73	c   890s|  2720k|    94 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1063k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
954.43/954.73	c   893s|  2730k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1067k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
958.43/958.75	c   897s|  2740k|    93 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1072k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
960.73/961.04	c   899s|  2750k|    93 |     0 |   0.0 |3113k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1074k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
963.03/963.30	c   901s|  2760k|    95 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1076k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
965.72/966.03	c   904s|  2770k|    94 |     0 |   0.0 |3116k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1079k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
968.53/968.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
968.53/968.83	c   906s|  2780k|    98 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1082k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
971.32/971.62	c   909s|  2790k|    90 |     0 |   0.0 |3114k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1085k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
974.13/974.40	c   912s|  2800k|    93 |     0 |   0.0 |3115k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1088k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
978.23/978.57	c   916s|  2810k|    96 |     0 |   0.0 |3113k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1093k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
981.03/981.35	c   918s|  2820k|    96 |     0 |   0.0 |3113k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1096k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
983.83/984.18	c   921s|  2830k|    95 |     0 |   0.0 |3119k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1099k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
987.12/987.40	c   924s|  2840k|    96 |     0 |   0.0 |3113k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1102k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
990.22/990.51	c   927s|  2850k|    98 |     0 |   0.0 |3117k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1106k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
993.82/994.13	c   930s|  2860k|    95 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1110k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
997.43/997.75	c   934s|  2870k|    94 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1114k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1000.72/1001.10	c   937s|  2880k|    91 |     0 |   0.0 |3117k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1118k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1004.03/1004.31	c   940s|  2890k|   100 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1121k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1007.72/1008.06	c   943s|  2900k|    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1126k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1011.83/1012.14	c   947s|  2910k|    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1131k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1015.71/1016.03	c   951s|  2920k|    97 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1135k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1019.92/1020.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1019.92/1020.20	c   955s|  2930k|   102 |     0 |   0.0 |3116k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1140k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1023.31/1023.70	c   958s|  2940k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1145k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1027.41/1027.77	c   962s|  2950k|    94 |     0 |   0.0 |3122k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1150k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1031.41/1031.75	c   966s|  2960k|    97 |     0 |   0.0 |3114k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1155k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1035.01/1035.35	c   969s|  2970k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1160k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1038.80/1039.13	c   972s|  2980k|    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1165k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1041.52/1041.85	c   975s|  2990k|    96 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1168k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1044.60/1044.97	c   978s|  3000k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1171k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1048.30/1048.61	c   981s|  3010k|    93 |     0 |   0.0 |3114k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1175k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1053.00/1053.31	c   986s|  3020k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1181k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1055.60/1055.93	c   988s|  3030k|    92 |     0 |   0.0 |3119k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1183k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1058.60/1058.99	c   991s|  3040k|    96 |     0 |   0.0 |3114k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1186k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1062.50/1062.80	c   995s|  3050k|    97 |     0 |   0.0 |3117k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1191k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1066.30/1066.67	c   998s|  3060k|    98 |     0 |   0.0 |3115k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1195k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1071.00/1071.32	c  1003s|  3070k|    94 |     0 |   0.0 |3117k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1201k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1073.90/1074.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1073.90/1074.29	c  1005s|  3080k|   100 |     0 |   0.0 |3118k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1204k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1077.40/1077.72	c  1009s|  3090k|    92 |     0 |   0.0 |3120k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1208k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1081.30/1081.62	c  1012s|  3100k|    91 |     0 |   0.0 |3113k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1212k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1084.70/1085.00	c  1015s|  3110k|    97 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1216k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1088.30/1088.61	c  1019s|  3120k|    92 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1220k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1091.49/1091.85	c  1022s|  3130k|    94 |     0 |   0.0 |3116k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1224k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1094.89/1095.21	c  1025s|  3140k|    93 |     0 |   0.0 |3114k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1228k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1098.29/1098.69	c  1028s|  3150k|    92 |     0 |   0.0 |3115k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1232k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1101.49/1101.83	c  1031s|  3160k|    91 |     0 |   0.0 |3113k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1236k|   0 | 1.000000e+00 | 2.260000e+02 |  Large 
1103.10/1103.43	o 225
1103.10/1103.43	c *1033s|  3165k|   112 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1238k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1104.99/1105.34	c  1034s|  3170k|    98 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1240k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1107.59/1107.99	c  1037s|  3180k|    97 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1242k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1109.49/1109.88	c  1039s|  3190k|   100 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1243k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1111.19/1111.59	c  1040s|  3200k|    98 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1244k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1113.79/1114.14	c  1043s|  3210k|    94 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1246k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1116.09/1116.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1116.09/1116.45	c  1045s|  3220k|    99 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1247k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1117.89/1118.21	c  1046s|  3230k|   101 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1247k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1119.59/1119.94	c  1048s|  3240k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1248k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1121.29/1121.65	c  1049s|  3250k|    95 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1248k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1124.08/1124.44	c  1052s|  3260k|   102 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1250k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1125.78/1126.12	c  1053s|  3270k|    93 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1251k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1127.48/1127.81	c  1055s|  3280k|    96 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1251k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1129.40/1129.74	c  1057s|  3290k|    98 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1252k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1132.49/1132.81	c  1060s|  3300k|    96 |     0 |   0.0 |3127k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1254k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1136.58/1136.94	c  1063s|  3310k|   101 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1259k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1138.29/1138.64	c  1065s|  3320k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1259k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1139.98/1140.38	c  1066s|  3330k|    92 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1260k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1143.18/1143.53	c  1069s|  3340k|    97 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1263k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1147.58/1147.95	c  1074s|  3350k|    95 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1268k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1152.77/1153.10	c  1078s|  3360k|    96 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1275k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1155.58/1155.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1155.58/1155.98	c  1081s|  3370k|    94 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1277k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1157.78/1158.14	c  1083s|  3380k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1279k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1159.98/1160.30	c  1085s|  3390k|   101 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1280k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1162.17/1162.54	c  1087s|  3400k|    95 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1282k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1164.27/1164.67	c  1089s|  3410k|    97 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1284k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1166.47/1166.83	c  1091s|  3420k|    93 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1286k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1168.98/1169.34	c  1093s|  3430k|    98 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1288k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1171.38/1171.78	c  1096s|  3440k|    95 |     0 |   0.0 |3119k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1291k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1173.88/1174.21	c  1098s|  3450k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1293k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1176.08/1176.45	c  1100s|  3460k|    96 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1295k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1178.37/1178.72	c  1102s|  3470k|    93 |     0 |   0.0 |3119k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1297k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1180.67/1181.06	c  1104s|  3480k|   102 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1299k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1183.17/1183.50	c  1106s|  3490k|   100 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1301k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1185.47/1185.88	c  1109s|  3500k|   102 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1303k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1187.97/1188.31	c  1111s|  3510k|    91 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1306k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1190.16/1190.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1190.16/1190.59	c  1113s|  3520k|    99 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1308k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1193.67/1194.03	c  1116s|  3530k|   100 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1312k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1196.26/1196.68	c  1119s|  3540k|    96 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1315k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1198.67/1199.00	c  1121s|  3550k|    95 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1317k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1201.06/1201.40	c  1123s|  3560k|    99 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1319k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1203.37/1203.74	c  1125s|  3570k|    97 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1322k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1206.26/1206.69	c  1128s|  3580k|    96 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1325k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1208.37/1208.72	c  1130s|  3590k|    96 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1327k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1210.37/1210.70	c  1132s|  3600k|    94 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1328k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1212.76/1213.17	c  1134s|  3610k|    90 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1331k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1215.07/1215.47	c  1136s|  3620k|    94 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1332k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1219.25/1219.62	c  1140s|  3630k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1338k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1221.26/1221.65	c  1142s|  3640k|    95 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1338k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1224.16/1224.55	c  1145s|  3650k|    95 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1341k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1226.56/1226.99	c  1147s|  3660k|    96 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1343k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1230.75/1231.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1230.75/1231.14	c  1151s|  3670k|    95 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1348k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1235.07/1235.42	c  1155s|  3680k|    94 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1353k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1239.76/1240.16	c  1159s|  3690k|    93 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1359k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1244.55/1244.95	c  1164s|  3700k|    95 |     0 |   0.0 |3119k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1365k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1249.15/1249.53	c  1168s|  3710k|    95 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1371k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1253.76/1254.15	c  1172s|  3720k|   100 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1377k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1258.65/1259.08	c  1177s|  3730k|    92 |     0 |   0.0 |3127k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1383k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1263.85/1264.28	c  1182s|  3740k|    97 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1390k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1269.15/1269.59	c  1187s|  3750k|    95 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1396k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1274.44/1274.88	c  1192s|  3760k|    92 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1402k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1277.75/1278.14	c  1195s|  3770k|    98 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1406k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1280.24/1280.67	c  1197s|  3780k|    97 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1408k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1282.74/1283.17	c  1200s|  3790k|    96 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1411k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1286.75/1287.19	c  1203s|  3800k|    94 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1415k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1290.05/1290.44	c  1206s|  3810k|    89 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1419k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1293.45/1293.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1293.45/1293.86	c  1210s|  3820k|    99 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1423k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1297.14/1297.52	c  1213s|  3830k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1427k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1300.94/1301.37	c  1217s|  3840k|    93 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1431k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1304.54/1304.91	c  1220s|  3850k|    93 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1435k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1307.55/1308.00	c  1223s|  3860k|   101 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1439k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1311.24/1311.61	c  1226s|  3870k|   102 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1443k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1314.84/1315.27	c  1230s|  3880k|    94 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1447k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1318.54/1318.98	c  1233s|  3890k|    92 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1451k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1321.33/1321.79	c  1236s|  3900k|    92 |     0 |   0.0 |3118k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1454k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1325.04/1325.40	c  1239s|  3910k|    97 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1458k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1329.23/1329.60	c  1243s|  3920k|    96 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1463k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1333.63/1334.02	c  1247s|  3930k|    91 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1468k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1336.43/1336.86	c  1250s|  3940k|    89 |     0 |   0.0 |3119k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1471k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1340.23/1340.63	c  1253s|  3950k|    92 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1475k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1343.73/1344.15	c  1257s|  3960k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1479k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1348.43/1348.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1348.43/1348.88	c  1261s|  3970k|   101 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1485k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1352.22/1352.69	c  1265s|  3980k|   100 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1489k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1356.92/1357.36	c  1269s|  3990k|    94 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1495k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1362.12/1362.55	c  1274s|  4000k|    95 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1501k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1366.93/1367.30	c  1278s|  4010k|    96 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1507k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1369.93/1370.36	c  1281s|  4020k|    98 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1510k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1374.73/1375.16	c  1286s|  4030k|    99 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1517k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1379.92/1380.31	c  1291s|  4040k|    97 |     0 |   0.0 |3127k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1523k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1385.32/1385.71	c  1296s|  4050k|   112 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1529k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1390.03/1390.41	c  1300s|  4060k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1535k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1395.02/1395.44	c  1305s|  4070k|    96 |     0 |   0.0 |3130k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1541k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1399.92/1400.30	c  1309s|  4080k|    99 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1548k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1403.81/1404.21	c  1313s|  4090k|    99 |     0 |   0.0 |3124k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1552k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1407.91/1408.36	c  1317s|  4100k|   102 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1557k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1412.12/1412.57	c  1321s|  4110k|    97 |     0 |   0.0 |3125k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1562k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1416.01/1416.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1416.01/1416.40	c  1325s|  4120k|    95 |     0 |   0.0 |3130k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1567k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1419.71/1420.20	c  1328s|  4130k|    94 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1571k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1423.70/1424.10	c  1332s|  4140k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1576k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1427.51/1427.97	c  1335s|  4150k|    97 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1582k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1432.01/1432.42	c  1340s|  4160k|    96 |     0 |   0.0 |3121k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1587k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1436.21/1436.63	c  1344s|  4170k|    98 |     0 |   0.0 |3124k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1592k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1440.80/1441.25	c  1348s|  4180k|    97 |     0 |   0.0 |3122k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1598k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1445.70/1446.17	c  1353s|  4190k|   101 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1604k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1448.50/1448.95	c  1355s|  4200k|    99 |     0 |   0.0 |3121k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1607k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1451.00/1451.44	c  1358s|  4210k|    96 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1610k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1453.20/1453.68	c  1360s|  4220k|    96 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1612k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1456.70/1457.18	c  1363s|  4230k|    98 |     0 |   0.0 |3125k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1616k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1460.89/1461.36	c  1367s|  4240k|    98 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1621k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1465.09/1465.56	c  1371s|  4250k|    96 |     0 |   0.0 |3126k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1627k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1469.69/1470.13	c  1375s|  4260k|    98 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1633k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1474.09/1474.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1474.09/1474.50	c  1379s|  4270k|   100 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1638k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1477.69/1478.18	c  1383s|  4280k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1643k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1481.40/1481.89	c  1386s|  4290k|    96 |     0 |   0.0 |3120k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1648k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1485.49/1485.99	c  1390s|  4300k|    97 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1653k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1489.19/1489.69	c  1394s|  4310k|    96 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1658k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1493.50/1493.96	c  1398s|  4320k|    98 |     0 |   0.0 |3128k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1664k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1498.58/1499.03	c  1402s|  4330k|    96 |     0 |   0.0 |3123k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1670k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1503.39/1503.84	c  1407s|  4340k|   100 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1676k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1506.38/1506.81	c  1410s|  4350k|   100 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1680k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1510.28/1510.77	c  1413s|  4360k|   100 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1684k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1513.09/1513.56	c  1416s|  4370k|    99 |     0 |   0.0 |3122k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1687k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1517.48/1517.91	c  1420s|  4380k|   101 |     0 |   0.0 |3124k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1692k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1520.99/1521.47	c  1423s|  4390k|    97 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1696k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1524.68/1525.10	c  1427s|  4400k|    96 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1700k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1528.78/1529.23	c  1431s|  4410k|    97 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1706k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1533.48/1533.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1533.48/1533.99	c  1435s|  4420k|    94 |     0 |   0.0 |3123k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1711k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1537.87/1538.31	c  1439s|  4430k|    95 |     0 |   0.0 |3122k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1716k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1543.07/1543.51	c  1444s|  4440k|    96 |     0 |   0.0 |3125k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1723k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1548.48/1548.94	c  1449s|  4450k|    97 |     0 |   0.0 |3127k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1730k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1554.07/1554.58	c  1455s|  4460k|    96 |     0 |   0.0 |3126k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1736k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1558.77/1559.22	c  1459s|  4470k|   100 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1742k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1563.07/1563.52	c  1463s|  4480k|    97 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1747k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1567.37/1567.87	c  1467s|  4490k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1752k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1570.76/1571.27	c  1470s|  4500k|   101 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1756k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1574.67/1575.18	c  1474s|  4510k|    95 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1760k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1579.18/1579.63	c  1478s|  4520k|    99 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1766k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1582.66/1583.13	c  1482s|  4530k|    97 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1770k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1587.56/1588.04	c  1486s|  4540k|    97 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1776k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1592.37/1592.84	c  1491s|  4550k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1782k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1595.77/1596.27	c  1494s|  4560k|    99 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1786k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1598.36/1598.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1598.36/1598.88	c  1496s|  4570k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1789k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1602.16/1602.68	c  1500s|  4580k|   100 |     0 |   0.0 |3123k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1793k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1604.86/1605.38	c  1502s|  4590k|    99 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1796k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1609.96/1610.47	c  1507s|  4600k|    98 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1803k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1614.95/1615.44	c  1512s|  4610k|    97 |     0 |   0.0 |3127k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1809k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1618.65/1619.13	c  1515s|  4620k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1813k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1620.96/1621.43	c  1517s|  4630k|    99 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1815k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1623.16/1623.70	c  1520s|  4640k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1817k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1625.46/1625.99	c  1522s|  4650k|    97 |     0 |   0.0 |3121k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1820k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1627.85/1628.32	c  1524s|  4660k|   102 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1822k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1632.95/1633.47	c  1529s|  4670k|    98 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1828k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1636.65/1637.12	c  1532s|  4680k|   100 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1832k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1642.05/1642.54	c  1537s|  4690k|    95 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1839k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1647.05/1647.54	c  1542s|  4700k|    95 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1845k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1650.45/1650.99	c  1545s|  4710k|    95 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1849k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1654.25/1654.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1654.25/1654.77	c  1549s|  4720k|    97 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1854k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1657.65/1658.14	c  1552s|  4730k|    98 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1858k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1662.15/1662.63	c  1556s|  4740k|    99 |     0 |   0.0 |3123k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1863k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1664.44/1664.91	c  1558s|  4750k|    98 |     0 |   0.0 |3121k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1865k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1668.25/1668.70	c  1562s|  4760k|    99 |     0 |   0.0 |3121k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1870k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1672.94/1673.43	c  1566s|  4770k|    95 |     0 |   0.0 |3120k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1876k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1677.33/1677.84	c  1570s|  4780k|    98 |     0 |   0.0 |3128k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1881k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1680.04/1680.50	c  1573s|  4790k|   100 |     0 |   0.0 |3122k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1884k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1681.94/1682.45	c  1575s|  4800k|    96 |     0 |   0.0 |3122k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1884k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1686.04/1686.59	c  1579s|  4810k|    97 |     0 |   0.0 |3125k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1889k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1691.13/1691.66	c  1583s|  4820k|    96 |     0 |   0.0 |3127k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1896k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1695.93/1696.43	c  1588s|  4830k|    96 |     0 |   0.0 |3126k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1902k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1700.43/1700.94	c  1592s|  4840k|    96 |     0 |   0.0 |3121k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1907k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1704.24/1704.71	c  1596s|  4850k|    98 |     0 |   0.0 |3124k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1912k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1708.83/1709.37	c  1600s|  4860k|    96 |     0 |   0.0 |3123k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1917k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1713.73/1714.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1713.73/1714.28	c  1605s|  4870k|    96 |     0 |   0.0 |3125k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1924k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1718.63/1719.17	c  1609s|  4880k|    97 |     0 |   0.0 |3123k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1930k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1723.13/1723.67	c  1614s|  4890k|    96 |     0 |   0.0 |3121k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1936k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1726.13/1726.62	c  1616s|  4900k|    95 |     0 |   0.0 |3121k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1939k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1730.73/1731.27	c  1621s|  4910k|    95 |     0 |   0.0 |3125k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1945k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1733.82/1734.35	c  1624s|  4920k|    99 |     0 |   0.0 |3121k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1948k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1736.72/1737.29	c  1626s|  4930k|    96 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1951k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1740.93/1741.41	c  1630s|  4940k|    92 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1956k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1745.62/1746.16	c  1635s|  4950k|    96 |     0 |   0.0 |3122k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1962k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1750.62/1751.19	c  1639s|  4960k|    96 |     0 |   0.0 |3124k| 142 |   - | 528 |1813 |   0 |   0 |   0 |1968k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1755.62/1756.12	c  1644s|  4970k|    96 |     0 |   0.0 |3126k| 142 |   - | 528 |1812 |   0 |   0 |   0 |1975k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1759.31/1759.82	c  1648s|  4980k|    98 |     0 |   0.0 |3122k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1979k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1763.71/1764.24	c  1652s|  4990k|    94 |     0 |   0.0 |3125k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1985k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1768.11/1768.62	c  1656s|  5000k|    96 |     0 |   0.0 |3124k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1990k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1771.91/1772.40	c  1659s|  5010k|    90 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1995k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1775.61/1776.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1775.61/1776.15	c  1663s|  5020k|    97 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |1999k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1777.81/1778.39	c  1665s|  5030k|    95 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |2001k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1781.21/1781.78	c  1668s|  5040k|    93 |     0 |   0.0 |3120k| 142 |   - | 528 |1811 |   0 |   0 |   0 |2005k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1786.02/1786.54	c  1673s|  5050k|    93 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |2011k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1790.81/1791.37	c  1677s|  5060k|    94 |     0 |   0.0 |3126k| 142 |   - | 528 |1811 |   0 |   0 |   0 |2018k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1795.11/1795.60	c  1681s|  5070k|   100 |     0 |   0.0 |3121k| 142 |   - | 528 |1811 |   0 |   0 |   0 |2023k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1797.71/1798.29	c  1684s|  5080k|    90 |     0 |   0.0 |3123k| 142 |   - | 528 |1811 |   0 |   0 |   0 |2026k|   0 | 1.000000e+00 | 2.250000e+02 |  Large 
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1685.77
1800.01/1800.50	c Solving Nodes      : 5086766
1800.01/1800.50	c Primal Bound       : +2.25000000000000e+02 (8 solutions)
1800.01/1800.50	c Dual Bound         : +1.00000000000000e+00
1800.01/1800.50	c Gap                : 22400.00 %
1800.01/1800.51	s SATISFIABLE
1800.01/1800.51	v x528 -x527 x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 
1800.01/1800.51	v x505 x504 -x503 x502 -x501 x500 -x499 x498 -x497 -x496 x495 x494 -x493 x492 -x491 x490 -x489 -x488 x487 x486 -x485 x484 -x483 
1800.01/1800.51	v x482 -x481 x480 -x479 x478 -x477 -x476 -x475 x474 -x473 x472 -x471 -x470 x469 x468 -x467 x466 -x465 -x464 x463 x462 -x461 x460 
1800.01/1800.51	v -x459 x458 -x457 x456 -x455 x454 -x453 -x452 x451 x450 -x449 x448 -x447 x446 -x445 x444 -x443 x442 -x441 x440 -x439 -x438 
1800.01/1800.51	v -x437 x436 -x435 -x434 x433 x432 -x431 x430 -x429 -x428 -x427 -x426 x425 x424 -x423 -x422 -x421 x420 -x419 x418 -x417 -x416 
1800.01/1800.51	v x415 x414 -x413 x412 -x411 -x410 -x409 x408 -x407 x406 -x405 -x404 -x403 -x402 x401 x400 -x399 -x398 -x397 x396 -x395 x394 -x393 
1800.01/1800.51	v x392 -x391 -x390 -x389 x388 -x387 -x386 x385 x384 -x383 x382 -x381 -x380 -x379 -x378 x377 x376 -x375 -x374 -x373 x372 -x371 
1800.01/1800.51	v x370 -x369 -x368 -x367 -x366 x365 x364 -x363 -x362 -x361 x360 -x359 x358 -x357 -x356 x355 x354 -x353 x352 -x351 x350 -x349 
1800.01/1800.51	v -x348 x347 x346 -x345 x344 -x343 x342 -x341 x340 -x339 x338 -x337 x336 -x335 x334 -x333 -x332 -x331 x330 -x329 x328 -x327 -x326 
1800.01/1800.51	v x325 x324 -x323 x322 -x321 x320 -x319 -x318 -x317 x316 -x315 -x314 x313 x312 -x311 x310 -x309 -x308 x307 x306 -x305 x304 
1800.01/1800.51	v -x303 x302 -x301 x300 -x299 x298 -x297 -x296 x295 x294 -x293 x292 -x291 x290 -x289 x288 -x287 x286 -x285 -x284 x283 -x282 -x281 
1800.01/1800.51	v x280 -x279 -x278 -x277 x276 -x275 x274 -x273 -x272 -x271 x270 -x269 x268 -x267 -x266 x265 x264 -x263 x262 -x261 x260 -x259 
1800.01/1800.51	v x258 -x257 x256 -x255 -x254 x253 x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 x241 -x240 x239 x238 -x237 x236 
1800.01/1800.51	v -x235 x234 -x233 x232 -x231 x230 -x229 x228 -x227 x226 -x225 -x224 -x223 x222 -x221 x220 -x219 -x218 x217 x216 -x215 x214 
1800.01/1800.51	v -x213 -x212 x211 x210 -x209 x208 -x207 x206 -x205 x204 -x203 x202 -x201 -x200 -x199 -x198 x197 x196 -x195 -x194 -x193 -x192 
1800.01/1800.51	v -x191 -x190 x189 -x188 x187 x186 -x185 -x184 -x183 -x182 x181 -x180 x179 -x178 x177 -x176 -x175 -x174 x173 x172 -x171 -x170 x169 
1800.01/1800.51	v -x168 x167 -x166 -x165 -x164 x163 x162 -x161 -x160 x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150 -x149 x148 -x147 
1800.01/1800.51	v -x146 x145 -x144 -x143 -x142 x141 x140 -x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 -x129 -x128 x127 -x126 x125 
1800.01/1800.51	v x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 x110 -x109 -x108 x107 -x106 x105 -x104 x103 -x102 
1800.01/1800.51	v x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 x78 -x77 x76 -x75 
1800.01/1800.51	v -x74 x73 -x72 -x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 
1800.01/1800.51	v -x47 -x46 x45 -x44 -x43 -x42 x41 -x40 x39 x38 -x37 -x36 x35 x34 -x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 
1800.01/1800.51	v -x20 x19 -x18 x17 -x16 x15 x14 -x13 x12 -x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1 
1800.01/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.51	c Solving Time       :    1685.77
1800.01/1800.51	c Original Problem   :
1800.01/1800.51	c   Problem name     : HOME/instance-2664198-1276470262.opb
1800.01/1800.51	c   Variables        : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 1816 initial, 1816 maximal
1800.01/1800.51	c Presolved Problem  :
1800.01/1800.51	c   Problem name     : t_HOME/instance-2664198-1276470262.opb
1800.01/1800.51	c   Variables        : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 1804 initial, 1814 maximal
1800.01/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   probing          :       0.02          0          0          0          0          0          0          0          0
1800.01/1800.51	c   linear           :       0.03          0          0          0          0          0         12          0          0
1800.01/1800.51	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.51	c   logicor          :       1804+         0   10894090          0          8    2029004   12441271          0          0          0
1800.01/1800.51	c   countsols        :          0          0          0          0          8          0          0          0          0          0
1800.01/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.51	c   logicor          :     812.85       0.00     812.85       0.00       0.00
1800.01/1800.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.51	c   vbounds          :       9.10          2          0          0
1800.01/1800.51	c   rootredcost      :       8.51          0          0          0
1800.01/1800.51	c   pseudoobj        :     513.78   18985293     931198   56338734
1800.01/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.51	c   propagation      :     749.65    2029004    2029004    2029004       91.0         79       87.5          -
1800.01/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   pseudo solution  :       0.12        521          0          0        0.0          0        0.0          -
1800.01/1800.51	c   applied globally :          -          -          -        385        8.1          -          -          -
1800.01/1800.51	c   applied locally  :          -          -          -    2028626       91.0          -          -          -
1800.01/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.51	c Pricers            :       Time      Calls       Vars
1800.01/1800.51	c   problem variables:       0.00          0          0
1800.01/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   inference        :      39.41    3164268          0          0          0          0    6328536
1800.01/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.51	c   LP solutions     :       0.00          -          0
1800.01/1800.51	c   pseudo solutions :       0.00          -          8
1800.01/1800.51	c   oneopt           :       3.43          0          0
1800.01/1800.51	c   trivial          :       0.00          2          0
1800.01/1800.51	c   simplerounding   :       0.00          0          0
1800.01/1800.51	c   zirounding       :       0.00          0          0
1800.01/1800.51	c   rounding         :       0.00          0          0
1800.01/1800.51	c   shifting         :       0.00          0          0
1800.01/1800.51	c   intshifting      :       0.00          0          0
1800.01/1800.51	c   twoopt           :       0.00          0          0
1800.01/1800.51	c   fixandinfer      :       0.00          0          0
1800.01/1800.51	c   feaspump         :       0.00          0          0
1800.01/1800.51	c   coefdiving       :       0.00          0          0
1800.01/1800.51	c   pscostdiving     :       0.00          0          0
1800.01/1800.51	c   fracdiving       :       0.00          0          0
1800.01/1800.51	c   veclendiving     :       0.00          0          0
1800.01/1800.51	c   intdiving        :       0.00          0          0
1800.01/1800.51	c   actconsdiving    :       0.00          0          0
1800.01/1800.51	c   objpscostdiving  :       0.00          0          0
1800.01/1800.51	c   rootsoldiving    :       0.00          0          0
1800.01/1800.51	c   linesearchdiving :       0.00          0          0
1800.01/1800.51	c   guideddiving     :       0.00          0          0
1800.01/1800.51	c   octane           :       0.00          0          0
1800.01/1800.51	c   rens             :       0.00          0          0
1800.01/1800.51	c   rins             :       0.00          0          0
1800.01/1800.51	c   localbranching   :       0.00          0          0
1800.01/1800.51	c   mutation         :       0.00          0          0
1800.01/1800.51	c   crossover        :       0.00          0          0
1800.01/1800.51	c   dins             :       0.00          0          0
1800.01/1800.51	c   undercover       :       0.00          0          0
1800.01/1800.51	c   nlp              :       2.28          0          0
1800.01/1800.51	c   trysol           :       2.18          0          0
1800.01/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.51	c B&B Tree           :
1800.01/1800.51	c   number of runs   :          1
1800.01/1800.51	c   nodes            :    5086766
1800.01/1800.51	c   nodes (total)    :    5086766
1800.01/1800.51	c   nodes left       :         93
1800.01/1800.51	c   max depth        :        142
1800.01/1800.51	c   max depth (total):        142
1800.01/1800.51	c   backtracks       :    1571305 (30.9%)
1800.01/1800.51	c   delayed cutoffs  :    1241612
1800.01/1800.51	c   repropagations   :    2400923 (29742633 domain reductions, 1038233 cutoffs)
1800.01/1800.51	c   avg switch length:       2.23
1800.01/1800.51	c   switching time   :      94.95
1800.01/1800.51	c Solution           :
1800.01/1800.51	c   Solutions found  :          8 (8 improvements)
1800.01/1800.51	c   First Solution   : +2.38000000000000e+02   (in run 1, after 288 nodes, 0.16 seconds, depth 122, found by <relaxation>)
1800.01/1800.51	c   Primal Bound     : +2.25000000000000e+02   (in run 1, after 3165836 nodes, 1032.68 seconds, depth 121, found by <relaxation>)
1800.01/1800.51	c   Dual Bound       : +1.00000000000000e+00
1800.01/1800.51	c   Gap              :   22400.00 %
1800.01/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.51	c   Root Iterations  :          0
1800.01/1800.52	c Time complete: 1800.02.

Verifier Data 

OK	225

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 25567
/proc/meminfo: memFree=1835048/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=6584 CPUtime=0
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 1047 0 0 0 0 0 0 0 20 0 1 0 22627961 6742016 969 1992294400 4194304 7136930 140733997469328 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25567/statm: 1646 980 254 719 0 925 0

[startup+0.106773 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 25567
/proc/meminfo: memFree=1835048/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=14940 CPUtime=0.1
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 4429 0 0 0 8 2 0 0 20 0 1 0 22627961 15298560 2969 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 3735 2969 345 719 0 3014 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14940

[startup+0.201784 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 25567
/proc/meminfo: memFree=1835048/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16384 CPUtime=0.2
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5074 0 0 0 17 3 0 0 20 0 1 0 22627961 16777216 3354 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4096 3354 383 719 0 3375 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 16384

[startup+0.301796 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 25567
/proc/meminfo: memFree=1835048/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16384 CPUtime=0.29
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5097 0 0 0 26 3 0 0 20 0 1 0 22627961 16777216 3377 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4096 3377 385 719 0 3375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16384

[startup+0.700839 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 25567
/proc/meminfo: memFree=1835048/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16516 CPUtime=0.69
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5114 0 0 0 63 6 0 0 20 0 1 0 22627961 16912384 3394 1992294400 4194304 7136930 140733997469328 18446744073709551615 5906002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4129 3394 385 719 0 3408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16516

[startup+1.50093 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 25568
/proc/meminfo: memFree=1822888/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16516 CPUtime=1.49
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5117 0 0 0 137 12 0 0 22 0 1 0 22627961 16912384 3397 1992294400 4194304 7136930 140733997469328 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4129 3397 385 719 0 3408 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16516

[startup+3.1011 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 25568
/proc/meminfo: memFree=1822764/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16516 CPUtime=3.09
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5118 0 0 0 282 27 0 0 25 0 1 0 22627961 16912384 3398 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4129 3398 385 719 0 3408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16516

[startup+6.30046 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 25568
/proc/meminfo: memFree=1822516/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16516 CPUtime=6.29
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5119 0 0 0 569 60 0 0 25 0 1 0 22627961 16912384 3399 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4129 3399 385 719 0 3408 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16516

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25568
/proc/meminfo: memFree=1822392/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16516 CPUtime=12.68
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5125 0 0 0 1148 120 0 0 25 0 1 0 22627961 16912384 3405 1992294400 4194304 7136930 140733997469328 18446744073709551615 4704244 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4129 3405 385 719 0 3408 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16516

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25568
/proc/meminfo: memFree=1822392/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16516 CPUtime=25.49
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5129 0 0 0 2308 241 0 0 25 0 1 0 22627961 16912384 3409 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4129 3409 385 719 0 3408 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16516

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25568
/proc/meminfo: memFree=1822392/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16648 CPUtime=51.07
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5137 0 0 0 4625 482 0 0 25 0 1 0 22627961 17047552 3417 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4162 3417 385 719 0 3441 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16648

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25570
/proc/meminfo: memFree=1822144/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16648 CPUtime=102.26
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5165 0 0 0 9362 864 0 0 25 0 1 0 22627961 17047552 3445 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4162 3445 385 719 0 3441 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16648

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25572
/proc/meminfo: memFree=1822020/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=162.25
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5171 0 0 0 14993 1232 0 0 25 0 1 0 22627961 17182720 3451 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3451 385 719 0 3474 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 16780

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25572
/proc/meminfo: memFree=1821896/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=222.23
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5173 0 0 0 20633 1590 0 0 25 0 1 0 22627961 17182720 3453 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3453 385 719 0 3474 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16780

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25574
/proc/meminfo: memFree=1821772/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=282.21
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5181 0 0 0 26280 1941 0 0 25 0 1 0 22627961 17182720 3461 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3461 385 719 0 3474 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 16780

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25576
/proc/meminfo: memFree=1821648/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=342.19
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5183 0 0 0 31905 2314 0 0 25 0 1 0 22627961 17182720 3463 1992294400 4194304 7136930 140733997469328 18446744073709551615 5924919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3463 385 719 0 3474 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 16780

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25578
/proc/meminfo: memFree=1821524/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=402.18
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5183 0 0 0 37551 2667 0 0 25 0 1 0 22627961 17182720 3463 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3463 385 719 0 3474 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 16780

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25580
/proc/meminfo: memFree=1821400/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=462.16
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5184 0 0 0 43187 3029 0 0 25 0 1 0 22627961 17182720 3464 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3464 385 719 0 3474 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 16780

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25580
/proc/meminfo: memFree=1821276/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=522.14
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5185 0 0 0 48834 3380 0 0 25 0 1 0 22627961 17182720 3465 1992294400 4194304 7136930 140733997469328 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3465 385 719 0 3474 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 16780

[startup+582.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 25585
/proc/meminfo: memFree=1820532/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=582.14
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5185 0 0 0 54454 3760 0 0 25 0 1 0 22627961 17182720 3465 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3465 385 719 0 3474 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 16780

[startup+642.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 25587
/proc/meminfo: memFree=1820532/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=642.11
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5185 0 0 0 60045 4166 0 0 25 0 1 0 22627961 17182720 3465 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3465 385 719 0 3474 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 16780

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25591
/proc/meminfo: memFree=1820532/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=822.07
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5194 0 0 0 76908 5299 0 0 25 0 1 0 22627961 17182720 3474 1992294400 4194304 7136930 140733997469328 18446744073709551615 5506837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3474 385 719 0 3474 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 16780

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25593
/proc/meminfo: memFree=1820532/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=882.06
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5194 0 0 0 82523 5683 0 0 25 0 1 0 22627961 17182720 3474 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3474 385 719 0 3474 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 16780

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25595
/proc/meminfo: memFree=1820408/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=942.04
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5194 0 0 0 88166 6038 0 0 25 0 1 0 22627961 17182720 3474 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3474 385 719 0 3474 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 16780

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25597
/proc/meminfo: memFree=1820284/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=1002.02
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5194 0 0 0 93778 6424 0 0 25 0 1 0 22627961 17182720 3474 1992294400 4194304 7136930 140733997469328 18446744073709551615 5918837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3474 385 719 0 3474 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 16780

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25599
/proc/meminfo: memFree=1820160/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16780 CPUtime=1062
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5199 0 0 0 99419 6781 0 0 25 0 1 0 22627961 17182720 3479 1992294400 4194304 7136930 140733997469328 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4195 3479 385 719 0 3474 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 16780

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25599
/proc/meminfo: memFree=1819912/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1121.99
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5207 0 0 0 104996 7203 0 0 25 0 1 0 22627961 17338368 3487 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3487 385 719 0 3512 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 16932

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25601
/proc/meminfo: memFree=1819788/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1181.97
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5207 0 0 0 110538 7659 0 0 25 0 1 0 22627961 17338368 3487 1992294400 4194304 7136930 140733997469328 18446744073709551615 5919066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3487 385 719 0 3512 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 16932

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25603
/proc/meminfo: memFree=1819664/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1241.95
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5209 0 0 0 116119 8076 0 0 25 0 1 0 22627961 17338368 3489 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3489 385 719 0 3512 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 16932

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25605
/proc/meminfo: memFree=1819416/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1301.94
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5209 0 0 0 121750 8444 0 0 25 0 1 0 22627961 17338368 3489 1992294400 4194304 7136930 140733997469328 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3489 385 719 0 3512 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 16932

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25607
/proc/meminfo: memFree=1819416/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1361.93
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5210 0 0 0 127371 8822 0 0 25 0 1 0 22627961 17338368 3490 1992294400 4194304 7136930 140733997469328 18446744073709551615 5918837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3490 385 719 0 3512 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 16932

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25607
/proc/meminfo: memFree=1819292/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1421.91
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5211 0 0 0 133019 9172 0 0 25 0 1 0 22627961 17338368 3491 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3491 385 719 0 3512 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 16932

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25609
/proc/meminfo: memFree=1819168/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1481.89
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5211 0 0 0 138662 9527 0 0 25 0 1 0 22627961 17338368 3491 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3491 385 719 0 3512 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 16932

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25611
/proc/meminfo: memFree=1819168/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1541.89
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5211 0 0 0 144310 9879 0 0 25 0 1 0 22627961 17338368 3491 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3491 385 719 0 3512 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 16932

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25613
/proc/meminfo: memFree=1819044/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1601.86
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5211 0 0 0 149955 10231 0 0 25 0 1 0 22627961 17338368 3491 1992294400 4194304 7136930 140733997469328 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3491 385 719 0 3512 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 16932

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25615
/proc/meminfo: memFree=1819044/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1661.84
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5211 0 0 0 155597 10587 0 0 25 0 1 0 22627961 17338368 3491 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3491 385 719 0 3512 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 16932

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25615
/proc/meminfo: memFree=1818920/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1721.83
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5211 0 0 0 161231 10952 0 0 25 0 1 0 22627961 17338368 3491 1992294400 4194304 7136930 140733997469328 18446744073709551615 5507003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3491 385 719 0 3512 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 16932

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25617
/proc/meminfo: memFree=1818548/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1781.81
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5211 0 0 0 166868 11313 0 0 25 0 1 0 22627961 17338368 3491 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3491 385 719 0 3512 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 16932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25619
/proc/meminfo: memFree=1818548/2059040 swapFree=4140228/4192956
[pid=25567] ppid=25565 vsize=16932 CPUtime=1800.01
/proc/25567/stat : 25567 (pbscip.linux.x8) R 25565 25567 25542 0 -1 4202496 5211 0 0 0 168580 11421 0 0 25 0 1 0 22627961 17338368 3491 1992294400 4194304 7136930 140733997469328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25567/statm: 4233 3491 385 719 0 3512 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 16932

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

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

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1685.82
CPU system time (s): 114.219
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 16932

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

runsolver used 2.88156 second user time and 8.62769 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-14 01:04:22
IDJOB=2664198
IDBENCH=2200
IDSOLVER=1167
FILE ID=node009/2664198-1276470262
PBS_JOBID= 11173371
Free space on /tmp= 62444 MiB

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

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

MD5SUM BENCH= 5018d2b93ba4422fc03308c57dbd6158
RANDOM SEED=931928568

node009.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.199
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.39
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.199
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:       1835576 kB
Buffers:         37156 kB
Cached:         108940 kB
SwapCached:       5420 kB
Active:         100072 kB
Inactive:        57856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1835576 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:            3568 kB
Writeback:           0 kB
AnonPages:       10608 kB
Mapped:          12840 kB
Slab:            43756 kB
PageTables:       4048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180220 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= 62440 MiB
End job on node009 at 2010-06-14 01:34:25