Trace number 3692054

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
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixedSAT192 1796.76 1797.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
MD5SUMbddc7a1ce44c83fc28f6e299cbaaf04c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark188
Best CPU time to get the best result obtained on this benchmark1796.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 184
Optimality of the best value was proved NO
Number of variables476
Total number of constraints476
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 476
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 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3692054-1338029720.opb>
0.00/0.00	c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.00	c problem read in 0.00
0.00/0.01	o 476
0.00/0.01	c feasible solution found by trivial heuristic, objective value  4.760000e+02
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 22 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02	c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 22 chg coeffs, 476 upgd conss, 2 impls, 0 clqs
0.00/0.02	c (round 3) 0 del vars, 64 del conss, 166 add conss, 0 chg bounds, 223 chg sides, 567 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03	c (round 4) 0 del vars, 104 del conss, 187 add conss, 0 chg bounds, 288 chg sides, 696 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03	c (round 5) 0 del vars, 112 del conss, 195 add conss, 0 chg bounds, 306 chg sides, 733 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03	c (round 6) 0 del vars, 114 del conss, 197 add conss, 0 chg bounds, 313 chg sides, 756 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03	c (round 7) 0 del vars, 114 del conss, 197 add conss, 0 chg bounds, 317 chg sides, 774 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03	c    (0.0s) probing: 51/476 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03	c    (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03	c presolving (8 rounds):
0.00/0.03	c  0 deleted vars, 114 deleted constraints, 197 added constraints, 0 tightened bounds, 0 added holes, 317 changed sides, 774 changed coefficients
0.00/0.03	c  216 implications, 0 cliques
0.00/0.03	c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 559 constraints
0.00/0.03	c     449 constraints of type <knapsack>
0.00/0.03	c     108 constraints of type <setppc>
0.00/0.03	c       2 constraints of type <logicor>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.03
0.00/0.03	c - non default parameters ----------------------------------------------------------------------
0.00/0.03	c # SCIP version 2.1.1.4
0.00/0.03	c 
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/time = 1797
0.00/0.03	c 
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/memory = 13950
0.00/0.03	c 
0.00/0.03	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03	c # [type: int, range: [1,2], default: 1]
0.00/0.03	c timing/clocktype = 2
0.00/0.03	c 
0.00/0.03	c # belongs reading time to solving time?
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c timing/reading = TRUE
0.00/0.03	c 
0.00/0.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03	c separating/rapidlearning/freq = 0
0.00/0.03	c 
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving
0.00/0.03	c 
1.00/1.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.00/1.02	c t 1.0s|     1 |     0 | 10550 |     - |2778k|   0 | 335 | 476 | 559 | 476 | 559 |   0 |   0 |   0 | 1.489396e+02 | 4.760000e+02 | 219.59%
1.09/1.17	o 346
1.09/1.17	c r 1.0s|     1 |     0 | 10550 |     - |2791k|   0 | 335 | 476 | 559 | 476 | 559 |   0 |   0 |   0 | 1.489396e+02 | 3.460000e+02 | 132.31%
1.09/1.17	o 345
1.09/1.17	c R 1.0s|     1 |     0 | 10550 |     - |2804k|   0 | 335 | 476 | 559 | 476 | 559 |   0 |   0 |   0 | 1.489396e+02 | 3.450000e+02 | 131.64%
1.09/1.17	o 344
1.09/1.17	c s 1.0s|     1 |     0 | 10550 |     - |2818k|   0 | 335 | 476 | 559 | 476 | 559 |   0 |   0 |   0 | 1.489396e+02 | 3.440000e+02 | 130.97%
1.39/1.46	o 227
1.39/1.46	c y 1.5s|     1 |     0 | 10550 |     - |3204k|   0 | 335 | 476 | 559 | 476 | 559 |   0 |   0 |   0 | 1.489396e+02 | 2.270000e+02 |  52.41%
1.99/2.00	c   2.0s|     1 |     0 | 14184 |     - |3132k|   0 | 382 | 476 | 559 | 476 | 781 | 222 |   0 |   0 | 1.545952e+02 | 2.270000e+02 |  46.84%
2.89/2.99	c   3.0s|     1 |     0 | 18994 |     - |3384k|   0 | 416 | 476 | 559 | 476 | 966 | 407 |   0 |   0 | 1.578876e+02 | 2.270000e+02 |  43.77%
3.59/3.65	c   3.6s|     1 |     0 | 21159 |     - |3595k|   0 | 427 | 476 | 559 | 476 |1114 | 555 |   0 |   0 | 1.599065e+02 | 2.270000e+02 |  41.96%
4.29/4.40	c   4.4s|     1 |     0 | 23292 |     - |3715k|   0 | 431 | 476 | 559 | 476 |1213 | 654 |   0 |   0 | 1.609796e+02 | 2.270000e+02 |  41.01%
4.99/5.00	c   5.0s|     1 |     0 | 24267 |     - |3772k|   0 | 430 | 476 | 559 | 476 |1267 | 708 |   0 |   0 | 1.614330e+02 | 2.270000e+02 |  40.62%
5.49/5.58	c   5.6s|     1 |     0 | 25151 |     - |3828k|   0 | 436 | 476 | 559 | 476 |1311 | 752 |   0 |   0 | 1.616385e+02 | 2.270000e+02 |  40.44%
6.09/6.10	c   6.1s|     1 |     0 | 25536 |     - |3856k|   0 | 436 | 476 | 559 | 476 |1334 | 775 |   0 |   0 | 1.617382e+02 | 2.270000e+02 |  40.35%
6.50/6.51	c   6.5s|     1 |     0 | 25692 |     - |3864k|   0 | 435 | 476 | 559 | 476 |1338 | 779 |   0 |   0 | 1.617651e+02 | 2.270000e+02 |  40.33%
6.89/6.91	c   6.9s|     1 |     0 | 25747 |     - |3871k|   0 | 437 | 476 | 559 | 476 |1341 | 782 |   0 |   0 | 1.617726e+02 | 2.270000e+02 |  40.32%
7.28/7.30	c   7.3s|     1 |     0 | 25752 |     - |3879k|   0 | 436 | 476 | 559 | 476 |1342 | 783 |   0 |   0 | 1.617726e+02 | 2.270000e+02 |  40.32%
7.38/7.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.38/7.48	c   7.5s|     1 |     0 | 25772 |     - |3886k|   0 | 438 | 476 | 559 | 476 |1281 | 784 |   0 |   0 | 1.617738e+02 | 2.270000e+02 |  40.32%
10.79/10.80	c  10.8s|     1 |     2 | 25772 |     - |3907k|   0 | 438 | 476 | 559 | 476 |1281 | 784 |   0 |  21 | 1.617738e+02 | 2.270000e+02 |  40.32%
31.79/31.85	o 226
31.79/31.85	c c31.8s|    15 |    16 | 44615 |1345.9 |4648k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.260000e+02 |  39.42%
31.79/31.87	o 225
31.79/31.87	c c31.9s|    15 |    16 | 44797 |1358.9 |4674k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.250000e+02 |  38.80%
31.79/31.87	o 224
31.79/31.87	c c31.9s|    15 |    16 | 44801 |1359.2 |4675k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.240000e+02 |  38.19%
31.79/31.87	o 223
31.79/31.87	c c31.9s|    15 |    16 | 44807 |1359.6 |4676k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.230000e+02 |  37.57%
31.79/31.87	o 222
31.79/31.87	c c31.9s|    15 |    16 | 44820 |1360.6 |4681k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.220000e+02 |  36.95%
31.79/31.87	o 222
31.79/31.87	c c31.9s|    15 |    16 | 44822 |1360.7 |4682k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.220000e+02 |  36.95%
31.79/31.88	o 221
31.79/31.88	c c31.9s|    15 |    16 | 44844 |1362.3 |4691k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.210000e+02 |  36.34%
31.79/31.88	o 220
31.79/31.88	c c31.9s|    15 |    16 | 44845 |1362.4 |4692k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.200000e+02 |  35.72%
31.79/31.88	o 219
31.79/31.88	c c31.9s|    15 |    16 | 44849 |1362.6 |4693k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.190000e+02 |  35.10%
31.79/31.88	o 219
31.79/31.88	c c31.9s|    15 |    16 | 44856 |1363.1 |4696k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.190000e+02 |  35.10%
31.79/31.88	o 218
31.79/31.88	c c31.9s|    15 |    16 | 44865 |1363.8 |4699k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.180000e+02 |  34.48%
31.79/31.88	o 217
31.79/31.88	c c31.9s|    15 |    16 | 44869 |1364.1 |4702k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.170000e+02 |  33.87%
31.79/31.88	o 216
31.79/31.88	c c31.9s|    15 |    16 | 44873 |1364.4 |4706k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.160000e+02 |  33.25%
31.79/31.88	o 215
31.79/31.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
31.79/31.88	c c31.9s|    15 |    16 | 44889 |1365.5 |4714k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.150000e+02 |  32.63%
31.79/31.89	o 214
31.79/31.89	c c31.9s|    15 |    16 | 44897 |1366.1 |4717k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.140000e+02 |  32.02%
33.48/33.50	o 214
33.48/33.50	c p33.5s|    27 |    28 | 56989 |1200.7 |4785k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.140000e+02 |  32.02%
33.48/33.50	o 212
33.48/33.50	c p33.5s|    27 |    28 | 57009 |1201.4 |4788k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.120000e+02 |  30.78%
33.48/33.50	o 210
33.48/33.50	c p33.5s|    27 |    28 | 57014 |1201.6 |4789k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.100000e+02 |  29.55%
33.48/33.50	o 208
33.48/33.50	c p33.5s|    27 |    28 | 57025 |1202.0 |4793k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.080000e+02 |  28.32%
33.48/33.51	o 207
33.48/33.51	c p33.5s|    27 |    28 | 57049 |1203.0 |4797k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.070000e+02 |  27.70%
33.48/33.51	o 206
33.48/33.51	c p33.5s|    27 |    28 | 57057 |1203.3 |4799k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.060000e+02 |  27.08%
33.48/33.51	o 205
33.48/33.51	c p33.5s|    27 |    28 | 57069 |1203.7 |4804k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.050000e+02 |  26.46%
33.48/33.51	o 204
33.48/33.51	c p33.5s|    27 |    28 | 57071 |1203.8 |4805k|  14 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 222 | 1.621003e+02 | 2.040000e+02 |  25.85%
55.98/56.01	c  56.0s|   100 |   101 |245875 |2223.3 |4825k|  18 | 393 | 476 | 559 | 476 | 961 | 784 |   0 | 248 | 1.621003e+02 | 2.040000e+02 |  25.85%
71.67/71.73	o 203
71.67/71.73	c p71.7s|   184 |   185 |355185 |1800.1 |5061k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 282 | 1.621160e+02 | 2.030000e+02 |  25.22%
71.67/71.73	o 202
71.67/71.73	c p71.7s|   184 |   185 |355197 |1800.1 |5064k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 282 | 1.621160e+02 | 2.020000e+02 |  24.60%
75.78/75.81	o 201
75.78/75.81	c p75.8s|   193 |   194 |383091 |1861.0 |5077k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 292 | 1.622220e+02 | 2.010000e+02 |  23.90%
75.78/75.82	o 201
75.78/75.82	c p75.8s|   193 |   194 |383095 |1861.1 |5078k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 292 | 1.622220e+02 | 2.010000e+02 |  23.90%
75.78/75.82	o 200
75.78/75.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
75.78/75.82	c p75.8s|   193 |   194 |383104 |1861.1 |5082k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 292 | 1.622220e+02 | 2.000000e+02 |  23.29%
78.77/78.84	c  78.8s|   200 |   201 |408782 |1924.7 |4915k|  27 | 388 | 476 | 559 | 476 | 961 | 784 |   0 | 292 | 1.622220e+02 | 2.000000e+02 |  23.29%
105.67/105.70	o 199
105.67/105.70	c p 106s|   259 |   260 |610656 |2267.0 |5115k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 329 | 1.624452e+02 | 1.990000e+02 |  22.50%
105.67/105.70	o 198
105.67/105.70	c p 106s|   259 |   260 |610656 |2267.0 |5116k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 329 | 1.624452e+02 | 1.980000e+02 |  21.89%
108.88/108.99	o 198
108.88/108.99	c p 109s|   268 |   269 |636982 |2289.2 |5108k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 329 | 1.624452e+02 | 1.980000e+02 |  21.89%
108.88/108.99	o 195
108.88/108.99	c p 109s|   268 |   269 |636986 |2289.2 |5109k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 329 | 1.624452e+02 | 1.950000e+02 |  20.04%
108.88/108.99	o 194
108.88/108.99	c p 109s|   268 |   269 |636991 |2289.2 |5110k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 329 | 1.624452e+02 | 1.940000e+02 |  19.42%
108.97/109.00	o 193
108.97/109.00	c p 109s|   268 |   269 |637009 |2289.3 |5112k|  27 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 329 | 1.624452e+02 | 1.930000e+02 |  18.81%
118.36/118.47	c   118s|   300 |   301 |706645 |2277.2 |4978k|  27 | 405 | 476 | 559 | 476 | 961 | 784 |   0 | 347 | 1.624502e+02 | 1.930000e+02 |  18.81%
142.57/142.63	c   143s|   400 |   401 |877838 |2135.5 |5039k|  27 | 389 | 476 | 559 | 476 | 961 | 784 |   0 | 401 | 1.625145e+02 | 1.930000e+02 |  18.76%
177.26/177.30	c   177s|   500 |   501 |  1134k|2221.7 |5101k|  27 | 370 | 476 | 559 | 476 | 961 | 784 |   0 | 471 | 1.626279e+02 | 1.930000e+02 |  18.68%
210.06/210.16	c   210s|   600 |   601 |  1397k|2289.6 |5164k|  29 | 363 | 476 | 559 | 476 | 961 | 784 |   0 | 485 | 1.626343e+02 | 1.930000e+02 |  18.67%
225.96/226.02	c   226s|   700 |   701 |  1523k|2142.6 |5230k|  31 | 395 | 476 | 559 | 476 | 961 | 784 |   0 | 485 | 1.626480e+02 | 1.930000e+02 |  18.66%
243.65/243.73	c   244s|   800 |   801 |  1642k|2023.4 |5295k|  31 | 373 | 476 | 559 | 476 | 961 | 784 |   0 | 539 | 1.626739e+02 | 1.930000e+02 |  18.64%
258.04/258.19	c   258s|   900 |   901 |  1745k|1913.3 |5361k|  31 | 407 | 476 | 559 | 476 | 961 | 784 |   0 | 576 | 1.626739e+02 | 1.930000e+02 |  18.64%
275.54/275.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
275.54/275.69	c   276s|  1000 |  1001 |  1887k|1863.8 |5432k|  58 | 242 | 476 | 559 | 476 | 961 | 784 |   0 | 583 | 1.626739e+02 | 1.930000e+02 |  18.64%
279.54/279.65	c   280s|  1100 |  1101 |  1924k|1727.5 |5507k|  82 | 191 | 476 | 559 | 476 | 961 | 784 |   0 | 585 | 1.626739e+02 | 1.930000e+02 |  18.64%
280.94/281.07	c   281s|  1200 |  1201 |  1938k|1595.0 |5583k|  95 | 154 | 476 | 559 | 476 | 961 | 784 |   0 | 585 | 1.626739e+02 | 1.930000e+02 |  18.64%
283.75/283.87	c   284s|  1300 |  1301 |  1962k|1491.0 |5660k| 103 | 155 | 476 | 559 | 476 | 961 | 784 |   0 | 585 | 1.626855e+02 | 1.930000e+02 |  18.63%
284.14/284.28	c   284s|  1400 |  1377 |  1966k|1387.5 |5731k| 117 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 585 | 1.626855e+02 | 1.930000e+02 |  18.63%
288.44/288.54	c   289s|  1500 |  1425 |  1989k|1309.8 |5769k| 118 | 381 | 476 | 559 | 476 | 961 | 784 |   0 | 616 | 1.627069e+02 | 1.930000e+02 |  18.62%
292.84/292.95	c   293s|  1600 |  1467 |  2021k|1248.2 |5810k| 118 | 381 | 476 | 559 | 476 | 961 | 784 |   0 | 646 | 1.627367e+02 | 1.930000e+02 |  18.60%
296.04/296.16	c   296s|  1700 |  1515 |  2044k|1188.3 |5849k| 120 | 118 | 476 | 559 | 476 | 961 | 784 |   0 | 656 | 1.627458e+02 | 1.930000e+02 |  18.59%
296.34/296.46	c   296s|  1800 |  1571 |  2047k|1124.0 |5901k| 120 |  98 | 476 | 559 | 476 | 961 | 784 |   0 | 656 | 1.627458e+02 | 1.930000e+02 |  18.59%
298.74/298.86	c   299s|  1900 |  1609 |  2060k|1071.7 |5936k| 123 | 100 | 476 | 559 | 476 | 961 | 784 |   0 | 673 | 1.627468e+02 | 1.930000e+02 |  18.59%
300.64/300.77	c   301s|  2000 |  1627 |  2076k|1025.8 |5952k| 123 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 673 | 1.627488e+02 | 1.930000e+02 |  18.59%
301.74/301.87	c   302s|  2100 |  1651 |  2081k| 979.4 |5969k| 123 | 375 | 476 | 559 | 476 | 961 | 784 |   0 | 684 | 1.627501e+02 | 1.930000e+02 |  18.59%
303.55/303.64	c   304s|  2200 |  1665 |  2097k| 942.0 |5993k| 123 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 686 | 1.627501e+02 | 1.930000e+02 |  18.59%
305.74/305.87	c   306s|  2300 |  1691 |  2114k| 908.3 |6021k| 123 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 696 | 1.627505e+02 | 1.930000e+02 |  18.59%
310.84/310.90	c   311s|  2400 |  1741 |  2154k| 887.4 |6063k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 697 | 1.627673e+02 | 1.930000e+02 |  18.57%
316.75/316.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
316.75/316.85	c   317s|  2500 |  1779 |  2203k| 871.3 |6090k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 698 | 1.627747e+02 | 1.930000e+02 |  18.57%
318.14/318.29	c   318s|  2600 |  1807 |  2214k| 842.1 |6115k| 128 |  98 | 476 | 559 | 476 | 961 | 784 |   0 | 698 | 1.627896e+02 | 1.930000e+02 |  18.56%
321.74/321.87	c   322s|  2700 |  1837 |  2242k| 821.5 |6135k| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 | 698 | 1.627952e+02 | 1.930000e+02 |  18.55%
325.14/325.26	c   325s|  2800 |  1867 |  2269k| 801.6 |6163k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 698 | 1.628084e+02 | 1.930000e+02 |  18.54%
330.44/330.54	c   331s|  2900 |  1911 |  2311k| 788.6 |6195k| 128 | 111 | 476 | 559 | 476 | 961 | 784 |   0 | 699 | 1.628221e+02 | 1.930000e+02 |  18.53%
336.04/336.19	c   336s|  3000 |  1947 |  2353k| 776.2 |6223k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 709 | 1.628549e+02 | 1.930000e+02 |  18.51%
340.13/340.24	c   340s|  3100 |  2001 |  2379k| 759.6 |6262k| 128 | 107 | 476 | 559 | 476 | 961 | 784 |   0 | 723 | 1.628623e+02 | 1.930000e+02 |  18.51%
348.03/348.13	c   348s|  3200 |  2055 |  2433k| 752.7 |6304k| 128 | 107 | 476 | 559 | 476 | 961 | 784 |   0 | 747 | 1.628803e+02 | 1.930000e+02 |  18.49%
350.74/350.81	c   351s|  3300 |  2089 |  2451k| 735.2 |6331k| 128 | 366 | 476 | 559 | 476 | 961 | 784 |   0 | 760 | 1.628829e+02 | 1.930000e+02 |  18.49%
353.83/353.92	c   354s|  3400 |  2123 |  2477k| 721.3 |6363k| 128 | 106 | 476 | 559 | 476 | 961 | 784 |   0 | 770 | 1.628883e+02 | 1.930000e+02 |  18.49%
355.94/356.05	c   356s|  3500 |  2143 |  2491k| 704.8 |6383k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 779 | 1.628927e+02 | 1.930000e+02 |  18.48%
358.54/358.61	c   359s|  3600 |  2165 |  2508k| 690.0 |6400k| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 | 794 | 1.628972e+02 | 1.930000e+02 |  18.48%
363.03/363.12	c   363s|  3700 |  2205 |  2542k| 680.4 |6436k| 128 | 370 | 476 | 559 | 476 | 961 | 784 |   0 | 804 | 1.629002e+02 | 1.930000e+02 |  18.48%
366.83/366.97	c   367s|  3800 |  2245 |  2573k| 670.5 |6468k| 128 | 386 | 476 | 559 | 476 | 961 | 784 |   0 | 807 | 1.629105e+02 | 1.930000e+02 |  18.47%
370.53/370.60	c   371s|  3900 |  2277 |  2602k| 660.8 |6496k| 128 | 391 | 476 | 559 | 476 | 961 | 784 |   0 | 807 | 1.629127e+02 | 1.930000e+02 |  18.47%
377.24/377.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
377.24/377.36	c   377s|  4000 |  2329 |  2656k| 657.8 |6535k| 128 | 375 | 476 | 559 | 476 | 961 | 784 |   0 | 807 | 1.629200e+02 | 1.930000e+02 |  18.46%
380.73/380.80	o 192
380.73/380.80	c p 381s|  4093 |  2274 |  2684k| 649.7 |6576k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 807 | 1.629214e+02 | 1.920000e+02 |  17.85%
380.73/380.81	c   381s|  4100 |  2273 |  2684k| 648.6 |6416k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 807 | 1.629214e+02 | 1.920000e+02 |  17.85%
383.93/384.07	c   384s|  4200 |  2297 |  2709k| 639.1 |6435k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 807 | 1.629242e+02 | 1.920000e+02 |  17.85%
387.63/387.73	c   388s|  4300 |  2331 |  2738k| 631.1 |6463k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 809 | 1.629261e+02 | 1.920000e+02 |  17.84%
395.52/395.61	c   396s|  4400 |  2385 |  2796k| 629.9 |6501k| 128 | 378 | 476 | 559 | 476 | 961 | 784 |   0 | 818 | 1.629348e+02 | 1.920000e+02 |  17.84%
397.04/397.15	c   397s|  4500 |  2407 |  2809k| 618.7 |6529k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 829 | 1.629348e+02 | 1.920000e+02 |  17.84%
402.13/402.25	c   402s|  4600 |  2425 |  2843k| 612.7 |6541k| 128 | 111 | 476 | 559 | 476 | 961 | 784 |   0 | 851 | 1.629385e+02 | 1.920000e+02 |  17.84%
405.83/405.95	c   406s|  4700 |  2451 |  2869k| 605.2 |6567k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 862 | 1.629421e+02 | 1.920000e+02 |  17.83%
409.93/410.04	c   410s|  4800 |  2469 |  2896k| 598.2 |6579k| 128 | 114 | 476 | 559 | 476 | 961 | 784 |   0 | 879 | 1.629502e+02 | 1.920000e+02 |  17.83%
418.12/418.22	c   418s|  4900 |  2521 |  2954k| 597.8 |6622k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 905 | 1.629559e+02 | 1.920000e+02 |  17.82%
418.32/418.49	c   418s|  5000 |  2527 |  2957k| 586.4 |6636k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 905 | 1.629559e+02 | 1.920000e+02 |  17.82%
420.13/420.28	c   420s|  5100 |  2569 |  2967k| 577.0 |6668k| 128 | 374 | 476 | 559 | 476 | 961 | 784 |   0 | 927 | 1.629670e+02 | 1.920000e+02 |  17.82%
425.32/425.43	c   425s|  5200 |  2601 |  3010k| 574.0 |6693k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 930 | 1.629677e+02 | 1.920000e+02 |  17.81%
427.12/427.29	c   427s|  5300 |  2623 |  3025k| 566.1 |6715k| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 | 930 | 1.629677e+02 | 1.920000e+02 |  17.81%
430.82/430.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
430.82/430.96	c   431s|  5400 |  2655 |  3055k| 561.1 |6747k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 931 | 1.629683e+02 | 1.920000e+02 |  17.81%
434.82/434.96	c   435s|  5500 |  2703 |  3085k| 556.5 |6775k| 128 | 376 | 476 | 559 | 476 | 961 | 784 |   0 | 932 | 1.629732e+02 | 1.920000e+02 |  17.81%
438.02/438.11	c   438s|  5600 |  2735 |  3112k| 551.3 |6816k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 932 | 1.629732e+02 | 1.920000e+02 |  17.81%
440.52/440.60	c   441s|  5700 |  2765 |  3131k| 545.0 |6838k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 932 | 1.629765e+02 | 1.920000e+02 |  17.81%
444.02/444.12	c   444s|  5800 |  2787 |  3160k| 540.6 |6849k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 932 | 1.629786e+02 | 1.920000e+02 |  17.81%
445.72/445.88	c   446s|  5900 |  2803 |  3175k| 533.9 |6861k| 128 | 108 | 476 | 559 | 476 | 961 | 784 |   0 | 932 | 1.629801e+02 | 1.920000e+02 |  17.81%
449.52/449.69	c   450s|  6000 |  2833 |  3204k| 529.9 |6893k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 947 | 1.629884e+02 | 1.920000e+02 |  17.80%
452.72/452.86	c   453s|  6100 |  2861 |  3225k| 524.6 |6913k| 128 | 380 | 476 | 559 | 476 | 961 | 784 |   0 | 962 | 1.629907e+02 | 1.920000e+02 |  17.80%
456.52/456.63	c   457s|  6200 |  2899 |  3252k| 520.5 |6946k| 128 | 381 | 476 | 559 | 476 | 961 | 784 |   0 | 974 | 1.629932e+02 | 1.920000e+02 |  17.80%
460.42/460.57	c   461s|  6300 |  2929 |  3280k| 516.7 |6974k| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 | 994 | 1.629933e+02 | 1.920000e+02 |  17.80%
462.61/462.75	c   463s|  6400 |  2971 |  3298k| 511.5 |7019k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 | 995 | 1.629933e+02 | 1.920000e+02 |  17.80%
468.31/468.41	c   468s|  6500 |  3015 |  3339k| 509.9 |7055k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1006 | 1.630034e+02 | 1.920000e+02 |  17.79%
473.22/473.38	c   473s|  6600 |  3055 |  3371k| 507.0 |7087k| 128 | 384 | 476 | 559 | 476 | 961 | 784 |   0 |1028 | 1.630085e+02 | 1.920000e+02 |  17.79%
474.92/475.08	c   475s|  6700 |  3083 |  3386k| 501.6 |7112k| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1028 | 1.630085e+02 | 1.920000e+02 |  17.79%
480.01/480.19	c   480s|  6800 |  3125 |  3422k| 499.5 |7149k| 128 | 380 | 476 | 559 | 476 | 961 | 784 |   0 |1045 | 1.630125e+02 | 1.920000e+02 |  17.78%
483.81/483.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
483.81/483.95	c   484s|  6900 |  3159 |  3450k| 496.4 |7176k| 128 | 120 | 476 | 559 | 476 | 961 | 784 |   0 |1050 | 1.630150e+02 | 1.920000e+02 |  17.78%
486.01/486.14	c   486s|  7000 |  3177 |  3469k| 492.0 |7193k| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |1051 | 1.630157e+02 | 1.920000e+02 |  17.78%
488.41/488.59	c   489s|  7100 |  3201 |  3488k| 487.7 |7215k| 128 | 382 | 476 | 559 | 476 | 961 | 784 |   0 |1052 | 1.630202e+02 | 1.920000e+02 |  17.78%
491.81/491.99	c   492s|  7200 |  3231 |  3515k| 484.7 |7247k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1053 | 1.630229e+02 | 1.920000e+02 |  17.77%
493.51/493.63	c   494s|  7300 |  3249 |  3527k| 479.8 |7260k| 128 | 112 | 476 | 559 | 476 | 961 | 784 |   0 |1053 | 1.630229e+02 | 1.920000e+02 |  17.77%
495.51/495.66	c   496s|  7400 |  3255 |  3545k| 475.7 |7266k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1053 | 1.630232e+02 | 1.920000e+02 |  17.77%
499.61/499.72	c   500s|  7500 |  3299 |  3578k| 473.7 |7308k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1053 | 1.630296e+02 | 1.920000e+02 |  17.77%
503.01/503.17	c   503s|  7600 |  3325 |  3606k| 471.2 |7328k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1053 | 1.630340e+02 | 1.920000e+02 |  17.77%
505.51/505.66	c   506s|  7700 |  3351 |  3625k| 467.6 |7344k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1053 | 1.630376e+02 | 1.920000e+02 |  17.76%
505.81/505.94	c   506s|  7800 |  3351 |  3628k| 462.0 |7348k| 128 | 104 | 476 | 559 | 476 | 961 | 784 |   0 |1053 | 1.630376e+02 | 1.920000e+02 |  17.76%
508.51/508.60	c   509s|  7900 |  3369 |  3646k| 458.4 |7358k| 128 | 135 | 476 | 559 | 476 | 961 | 784 |   0 |1067 | 1.630400e+02 | 1.920000e+02 |  17.76%
510.51/510.63	c   511s|  8000 |  3405 |  3662k| 454.7 |7391k| 128 | 357 | 476 | 559 | 476 | 961 | 784 |   0 |1067 | 1.630434e+02 | 1.920000e+02 |  17.76%
517.81/518.00	c   518s|  8100 |  3461 |  3713k| 455.3 |7432k| 128 | 381 | 476 | 559 | 476 | 961 | 784 |   0 |1091 | 1.630513e+02 | 1.920000e+02 |  17.75%
519.81/519.93	c   520s|  8200 |  3491 |  3722k| 450.8 |7454k| 128 | 107 | 476 | 559 | 476 | 961 | 784 |   0 |1116 | 1.630526e+02 | 1.920000e+02 |  17.75%
520.11/520.22	c   520s|  8300 |  3493 |  3725k| 445.8 |7469k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1116 | 1.630526e+02 | 1.920000e+02 |  17.75%
530.30/530.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
530.30/530.40	c   530s|  8400 |  3511 |  3832k| 453.2 |7489k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1116 | 1.630535e+02 | 1.920000e+02 |  17.75%
532.61/532.76	c   533s|  8500 |  3543 |  3851k| 450.2 |7508k| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1116 | 1.630536e+02 | 1.920000e+02 |  17.75%
537.10/537.22	c   537s|  8600 |  3593 |  3885k| 448.8 |7552k| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1138 | 1.630598e+02 | 1.920000e+02 |  17.75%
538.91/539.00	c   539s|  8700 |  3625 |  3900k| 445.4 |7581k| 128 | 119 | 476 | 559 | 476 | 961 | 784 |   0 |1138 | 1.630612e+02 | 1.920000e+02 |  17.75%
546.41/546.51	c   547s|  8800 |  3683 |  3954k| 446.5 |7630k| 128 | 112 | 476 | 559 | 476 | 961 | 784 |   0 |1174 | 1.630706e+02 | 1.920000e+02 |  17.74%
549.71/549.84	c   550s|  8900 |  3711 |  3979k| 444.3 |7654k| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1179 | 1.630724e+02 | 1.920000e+02 |  17.74%
552.11/552.22	c   552s|  9000 |  3733 |  3997k| 441.4 |7675k| 128 | 373 | 476 | 559 | 476 | 961 | 784 |   0 |1180 | 1.630756e+02 | 1.920000e+02 |  17.74%
555.70/555.83	c   556s|  9100 |  3779 |  4027k| 439.8 |7711k| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1182 | 1.630780e+02 | 1.920000e+02 |  17.74%
556.70/556.83	c   557s|  9200 |  3809 |  4035k| 435.9 |7739k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1183 | 1.630786e+02 | 1.920000e+02 |  17.73%
559.30/559.46	c   559s|  9300 |  3835 |  4056k| 433.5 |7761k| 128 | 378 | 476 | 559 | 476 | 961 | 784 |   0 |1184 | 1.630806e+02 | 1.920000e+02 |  17.73%
563.90/564.06	c   564s|  9400 |  3867 |  4094k| 432.9 |7788k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1184 | 1.630815e+02 | 1.920000e+02 |  17.73%
567.10/567.29	c   567s|  9500 |  3897 |  4119k| 431.0 |7814k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1184 | 1.630840e+02 | 1.920000e+02 |  17.73%
569.50/569.65	c   570s|  9600 |  3935 |  4139k| 428.5 |7843k| 128 | 362 | 476 | 559 | 476 | 961 | 784 |   0 |1184 | 1.630861e+02 | 1.920000e+02 |  17.73%
574.01/574.10	c   574s|  9700 |  3975 |  4174k| 427.7 |7879k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1184 | 1.630874e+02 | 1.920000e+02 |  17.73%
574.70/574.84	c   575s|  9800 |  3999 |  4180k| 424.0 |7902k| 128 | 373 | 476 | 559 | 476 | 961 | 784 |   0 |1184 | 1.630907e+02 | 1.920000e+02 |  17.73%
576.80/576.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
576.80/576.92	c   577s|  9900 |  4025 |  4197k| 421.4 |7935k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1184 | 1.630909e+02 | 1.920000e+02 |  17.73%
577.69/577.83	c   578s| 10000 |  4045 |  4204k| 417.9 |7942k| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |1184 | 1.630918e+02 | 1.920000e+02 |  17.73%
578.40/578.60	c   579s| 10100 |  4075 |  4211k| 414.5 |7973k| 128 | 369 | 476 | 559 | 476 | 961 | 784 |   0 |1184 | 1.630921e+02 | 1.920000e+02 |  17.72%
583.10/583.26	c   583s| 10200 |  4111 |  4249k| 414.1 |8002k| 128 | 123 | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.630937e+02 | 1.920000e+02 |  17.72%
585.60/585.78	c   586s| 10300 |  4131 |  4270k| 412.1 |8016k| 128 | 380 | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.630982e+02 | 1.920000e+02 |  17.72%
590.50/590.64	c   591s| 10400 |  4169 |  4309k| 411.9 |8050k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631018e+02 | 1.920000e+02 |  17.72%
592.70/592.89	c   593s| 10500 |  4207 |  4326k| 409.6 |8079k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631026e+02 | 1.920000e+02 |  17.72%
596.39/596.56	c   597s| 10600 |  4233 |  4356k| 408.6 |8098k| 128 | 121 | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631055e+02 | 1.920000e+02 |  17.72%
599.80/599.98	c   600s| 10700 |  4285 |  4382k| 407.2 |8138k| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631086e+02 | 1.920000e+02 |  17.71%
602.00/602.17	c   602s| 10800 |  4311 |  4398k| 404.9 |8159k| 128 | 380 | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631124e+02 | 1.920000e+02 |  17.71%
605.69/605.87	c   606s| 10900 |  4341 |  4429k| 404.1 |8181k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631126e+02 | 1.920000e+02 |  17.71%
609.30/609.42	c   609s| 11000 |  4379 |  4458k| 403.0 |8214k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631155e+02 | 1.920000e+02 |  17.71%
613.39/613.54	c   614s| 11100 |  4403 |  4493k| 402.5 |8232k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631166e+02 | 1.920000e+02 |  17.71%
616.70/616.89	c   617s| 11200 |  4451 |  4519k| 401.3 |8269k| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631179e+02 | 1.920000e+02 |  17.71%
618.10/618.20	c   618s| 11300 |  4481 |  4530k| 398.6 |8290k| 128 | 361 | 476 | 559 | 476 | 961 | 784 |   0 |1186 | 1.631215e+02 | 1.920000e+02 |  17.70%
620.49/620.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
620.49/620.61	c   621s| 11400 |  4507 |  4550k| 396.9 |8315k| 128 | 120 | 476 | 559 | 476 | 961 | 784 |   0 |1189 | 1.631215e+02 | 1.920000e+02 |  17.70%
623.60/623.76	c   624s| 11500 |  4539 |  4574k| 395.6 |8349k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1189 | 1.631221e+02 | 1.920000e+02 |  17.70%
625.99/626.10	c   626s| 11600 |  4565 |  4592k| 393.7 |8369k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1189 | 1.631237e+02 | 1.920000e+02 |  17.70%
628.49/628.66	c   629s| 11700 |  4597 |  4613k| 392.1 |8390k| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1189 | 1.631238e+02 | 1.920000e+02 |  17.70%
631.99/632.15	c   632s| 11800 |  4639 |  4641k| 391.2 |8433k| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |1189 | 1.631245e+02 | 1.920000e+02 |  17.70%
634.60/634.77	c   635s| 11900 |  4675 |  4662k| 389.7 |8454k| 128 | 131 | 476 | 559 | 476 | 961 | 784 |   0 |1189 | 1.631261e+02 | 1.920000e+02 |  17.70%
638.18/638.31	c   638s| 12000 |  4709 |  4691k| 388.8 |8485k| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |1189 | 1.631290e+02 | 1.920000e+02 |  17.70%
641.20/641.35	c   641s| 12100 |  4743 |  4714k| 387.5 |8508k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1189 | 1.631336e+02 | 1.920000e+02 |  17.69%
641.49/641.65	c   642s| 12200 |  4767 |  4717k| 384.6 |8534k| 128 | 132 | 476 | 559 | 476 | 961 | 784 |   0 |1189 | 1.631336e+02 | 1.920000e+02 |  17.69%
641.79/641.92	c   642s| 12300 |  4793 |  4720k| 381.7 |8557k| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1189 | 1.631336e+02 | 1.920000e+02 |  17.69%
642.99/643.15	c   643s| 12400 |  4825 |  4726k| 379.1 |8589k| 128 | 370 | 476 | 559 | 476 | 961 | 784 |   0 |1202 | 1.631352e+02 | 1.920000e+02 |  17.69%
648.09/648.25	c   648s| 12500 |  4859 |  4762k| 379.0 |8622k| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |1215 | 1.631358e+02 | 1.920000e+02 |  17.69%
648.80/648.90	c   649s| 12600 |  4883 |  4767k| 376.4 |8644k| 128 | 369 | 476 | 559 | 476 | 961 | 784 |   0 |1216 | 1.631360e+02 | 1.920000e+02 |  17.69%
651.18/651.30	c   651s| 12700 |  4893 |  4787k| 375.0 |8651k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1216 | 1.631364e+02 | 1.920000e+02 |  17.69%
655.29/655.44	c   655s| 12800 |  4915 |  4814k| 374.1 |8667k| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |1247 | 1.631375e+02 | 1.920000e+02 |  17.69%
660.19/660.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
660.19/660.37	c   660s| 12900 |  4967 |  4848k| 373.9 |8709k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1263 | 1.631386e+02 | 1.920000e+02 |  17.69%
662.68/662.80	c   663s| 13000 |  4997 |  4868k| 372.5 |8736k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1263 | 1.631405e+02 | 1.920000e+02 |  17.69%
664.38/664.51	c   665s| 13100 |  5029 |  4880k| 370.6 |8764k| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1271 | 1.631424e+02 | 1.920000e+02 |  17.69%
668.18/668.34	c   668s| 13200 |  5067 |  4909k| 370.0 |8804k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1283 | 1.631430e+02 | 1.920000e+02 |  17.69%
670.68/670.80	c   671s| 13300 |  5099 |  4928k| 368.6 |8826k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1285 | 1.631446e+02 | 1.920000e+02 |  17.69%
671.39/671.57	c   672s| 13400 |  5125 |  4934k| 366.3 |8851k| 128 | 116 | 476 | 559 | 476 | 961 | 784 |   0 |1286 | 1.631449e+02 | 1.920000e+02 |  17.69%
672.09/672.30	c   672s| 13500 |  5143 |  4940k| 364.0 |8865k| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |1286 | 1.631452e+02 | 1.920000e+02 |  17.69%
674.19/674.38	c   674s| 13600 |  5169 |  4957k| 362.7 |8890k| 128 | 116 | 476 | 559 | 476 | 961 | 784 |   0 |1286 | 1.631464e+02 | 1.920000e+02 |  17.69%
677.29/677.46	c   677s| 13700 |  5191 |  4981k| 361.8 |8903k| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |1287 | 1.631512e+02 | 1.920000e+02 |  17.68%
678.19/678.35	c   678s| 13800 |  5207 |  4988k| 359.7 |8925k| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |1287 | 1.631514e+02 | 1.920000e+02 |  17.68%
680.48/680.60	c   681s| 13900 |  5239 |  5006k| 358.3 |8956k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1287 | 1.631522e+02 | 1.920000e+02 |  17.68%
684.38/684.57	c   685s| 14000 |  5291 |  5037k| 358.0 |8986k| 128 | 380 | 476 | 559 | 476 | 961 | 784 |   0 |1287 | 1.631545e+02 | 1.920000e+02 |  17.68%
687.68/687.82	c   688s| 14100 |  5321 |  5064k| 357.4 |9022k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1287 | 1.631548e+02 | 1.920000e+02 |  17.68%
690.39/690.53	c   691s| 14200 |  5363 |  5085k| 356.3 |9052k| 128 | 372 | 476 | 559 | 476 | 961 | 784 |   0 |1287 | 1.631555e+02 | 1.920000e+02 |  17.68%
694.78/694.96	c   695s| 14300 |  5405 |  5119k| 356.3 |9083k| 128 | 381 | 476 | 559 | 476 | 961 | 784 |   0 |1287 | 1.631586e+02 | 1.920000e+02 |  17.68%
697.19/697.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
697.19/697.33	c   697s| 14400 |  5441 |  5135k| 354.9 |9115k| 128 | 128 | 476 | 559 | 476 | 961 | 784 |   0 |1308 | 1.631594e+02 | 1.920000e+02 |  17.68%
701.28/701.40	c   701s| 14500 |  5479 |  5165k| 354.5 |9152k| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |1317 | 1.631616e+02 | 1.920000e+02 |  17.67%
702.28/702.47	c   702s| 14600 |  5501 |  5171k| 352.5 |9174k| 128 | 121 | 476 | 559 | 476 | 961 | 784 |   0 |1327 | 1.631622e+02 | 1.920000e+02 |  17.67%
707.09/707.25	c   707s| 14700 |  5519 |  5202k| 352.2 |9187k| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |1352 | 1.631626e+02 | 1.920000e+02 |  17.67%
707.38/707.54	c   708s| 14800 |  5525 |  5205k| 350.0 |9204k| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |1352 | 1.631626e+02 | 1.920000e+02 |  17.67%
711.28/711.49	c   711s| 14900 |  5573 |  5236k| 349.8 |9238k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1352 | 1.631642e+02 | 1.920000e+02 |  17.67%
712.98/713.18	c   713s| 15000 |  5595 |  5250k| 348.3 |9264k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1357 | 1.631658e+02 | 1.920000e+02 |  17.67%
714.18/714.34	c   714s| 15100 |  5609 |  5257k| 346.5 |9278k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1374 | 1.631662e+02 | 1.920000e+02 |  17.67%
717.88/718.09	c   718s| 15200 |  5639 |  5283k| 345.9 |9286k| 128 | 379 | 476 | 559 | 476 | 961 | 784 |   0 |1389 | 1.631703e+02 | 1.920000e+02 |  17.67%
723.07/723.25	c   723s| 15300 |  5687 |  5322k| 346.2 |9331k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1396 | 1.631743e+02 | 1.920000e+02 |  17.67%
726.77/726.92	c   727s| 15400 |  5729 |  5349k| 345.7 |9353k| 128 | 365 | 476 | 559 | 476 | 961 | 784 |   0 |1399 | 1.631753e+02 | 1.920000e+02 |  17.66%
729.68/729.80	c   730s| 15500 |  5765 |  5371k| 344.9 |9381k| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |1400 | 1.631776e+02 | 1.920000e+02 |  17.66%
729.78/729.99	c   730s| 15600 |  5769 |  5373k| 342.8 |9391k| 128 | 112 | 476 | 559 | 476 | 961 | 784 |   0 |1400 | 1.631776e+02 | 1.920000e+02 |  17.66%
730.77/730.97	c   731s| 15700 |  5783 |  5381k| 341.1 |9401k| 128 | 128 | 476 | 559 | 476 | 961 | 784 |   0 |1401 | 1.631782e+02 | 1.920000e+02 |  17.66%
734.68/734.81	c   735s| 15800 |  5827 |  5412k| 340.9 |9443k| 128 | 379 | 476 | 559 | 476 | 961 | 784 |   0 |1402 | 1.631794e+02 | 1.920000e+02 |  17.66%
738.98/739.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
738.98/739.12	c   739s| 15900 |  5863 |  5445k| 340.9 |9469k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1402 | 1.631825e+02 | 1.920000e+02 |  17.66%
741.77/741.98	c   742s| 16000 |  5921 |  5468k| 340.2 |9515k| 128 | 119 | 476 | 559 | 476 | 961 | 784 |   0 |1402 | 1.631841e+02 | 1.920000e+02 |  17.66%
745.07/745.25	c   745s| 16100 |  5977 |  5495k| 339.7 |9561k| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |1403 | 1.631852e+02 | 1.920000e+02 |  17.66%
745.77/745.90	c   746s| 16200 |  5997 |  5500k| 338.0 |9583k| 128 | 389 | 476 | 559 | 476 | 961 | 784 |   0 |1403 | 1.631858e+02 | 1.920000e+02 |  17.66%
747.37/747.59	c   748s| 16300 |  6017 |  5513k| 336.7 |9608k| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |1403 | 1.631861e+02 | 1.920000e+02 |  17.66%
752.28/752.41	c   752s| 16400 |  6055 |  5548k| 336.8 |9633k| 128 | 352 | 476 | 559 | 476 | 961 | 784 |   0 |1412 | 1.631887e+02 | 1.920000e+02 |  17.66%
753.68/753.87	c   754s| 16500 |  6077 |  5555k| 335.1 |9661k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1425 | 1.631891e+02 | 1.920000e+02 |  17.65%
757.07/757.22	c   757s| 16600 |  6113 |  5576k| 334.4 |9686k| 128 | 120 | 476 | 559 | 476 | 961 | 784 |   0 |1441 | 1.631927e+02 | 1.920000e+02 |  17.65%
757.68/757.89	c   758s| 16700 |  6131 |  5581k| 332.7 |9701k| 128 | 364 | 476 | 559 | 476 | 961 | 784 |   0 |1441 | 1.631936e+02 | 1.920000e+02 |  17.65%
763.97/764.11	c   764s| 16800 |  6167 |  5627k| 333.5 |9724k| 128 | 365 | 476 | 559 | 476 | 961 | 784 |   0 |1461 | 1.632003e+02 | 1.920000e+02 |  17.65%
766.97/767.18	c   767s| 16900 |  6197 |  5652k| 332.9 |9750k| 128 | 123 | 476 | 559 | 476 | 961 | 784 |   0 |1461 | 1.632012e+02 | 1.920000e+02 |  17.65%
769.57/769.77	c   770s| 17000 |  6223 |  5670k| 332.1 |9771k| 128 | 379 | 476 | 559 | 476 | 961 | 784 |   0 |1470 | 1.632015e+02 | 1.920000e+02 |  17.65%
770.97/771.12	c   771s| 17100 |  6235 |  5681k| 330.8 |9785k| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |1470 | 1.632015e+02 | 1.920000e+02 |  17.65%
774.97/775.14	c   775s| 17200 |  6261 |  5710k| 330.5 |9807k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1481 | 1.632032e+02 | 1.920000e+02 |  17.64%
779.17/779.30	c   779s| 17300 |  6307 |  5740k| 330.4 |9836k| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |1493 | 1.632072e+02 | 1.920000e+02 |  17.64%
781.36/781.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
781.36/781.58	c   782s| 17400 |  6331 |  5758k| 329.5 |9852k| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1498 | 1.632091e+02 | 1.920000e+02 |  17.64%
782.57/782.76	c   783s| 17500 |  6353 |  5766k| 328.1 |9869k| 128 | 377 | 476 | 559 | 476 | 961 | 784 |   0 |1499 | 1.632096e+02 | 1.920000e+02 |  17.64%
782.97/783.12	c   783s| 17600 |  6343 |  5769k| 326.4 |9852k| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |1500 | 1.632096e+02 | 1.920000e+02 |  17.64%
786.76/786.91	c   787s| 17700 |  6391 |  5800k| 326.2 |9892k| 128 | 376 | 476 | 559 | 476 | 961 | 784 |   0 |1500 | 1.632130e+02 | 1.920000e+02 |  17.64%
789.86/790.06	c   790s| 17800 |  6411 |  5825k| 325.8 |9914k| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1501 | 1.632133e+02 | 1.920000e+02 |  17.64%
792.46/792.65	c   793s| 17900 |  6449 |  5844k| 325.1 |9943k| 128 | 378 | 476 | 559 | 476 | 961 | 784 |   0 |1501 | 1.632136e+02 | 1.920000e+02 |  17.64%
796.97/797.10	c   797s| 18000 |  6477 |  5881k| 325.3 |9967k| 128 | 116 | 476 | 559 | 476 | 961 | 784 |   0 |1501 | 1.632178e+02 | 1.920000e+02 |  17.63%
797.77/797.98	c   798s| 18100 |  6495 |  5888k| 323.9 |9978k| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |1502 | 1.632190e+02 | 1.920000e+02 |  17.63%
798.96/799.11	c   799s| 18200 |  6527 |  5896k| 322.6 |  10M| 128 | 380 | 476 | 559 | 476 | 961 | 784 |   0 |1504 | 1.632208e+02 | 1.920000e+02 |  17.63%
802.56/802.75	c   803s| 18300 |  6563 |  5925k| 322.4 |  10M| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |1505 | 1.632235e+02 | 1.920000e+02 |  17.63%
804.36/804.53	c   805s| 18400 |  6597 |  5938k| 321.4 |  10M| 128 | 374 | 476 | 559 | 476 | 961 | 784 |   0 |1506 | 1.632242e+02 | 1.920000e+02 |  17.63%
805.76/806.00	c   806s| 18500 |  6611 |  5950k| 320.3 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1508 | 1.632242e+02 | 1.920000e+02 |  17.63%
811.37/811.51	c   812s| 18600 |  6667 |  5991k| 320.8 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1521 | 1.632280e+02 | 1.920000e+02 |  17.63%
812.06/812.21	c   812s| 18700 |  6687 |  5997k| 319.3 |  10M| 128 | 379 | 476 | 559 | 476 | 961 | 784 |   0 |1521 | 1.632303e+02 | 1.920000e+02 |  17.63%
815.37/815.53	c   816s| 18800 |  6705 |  6017k| 318.7 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1537 | 1.632309e+02 | 1.920000e+02 |  17.62%
815.97/816.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
815.97/816.18	c   816s| 18900 |  6713 |  6022k| 317.3 |  10M| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |1537 | 1.632318e+02 | 1.920000e+02 |  17.62%
816.27/816.42	c   816s| 19000 |  6711 |  6025k| 315.8 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1537 | 1.632318e+02 | 1.920000e+02 |  17.62%
820.16/820.32	c   820s| 19100 |  6757 |  6053k| 315.6 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1548 | 1.632341e+02 | 1.920000e+02 |  17.62%
822.67/822.80	c   823s| 19200 |  6803 |  6073k| 315.0 |  10M| 128 | 380 | 476 | 559 | 476 | 961 | 784 |   0 |1548 | 1.632349e+02 | 1.920000e+02 |  17.62%
823.06/823.28	c   823s| 19300 |  6817 |  6077k| 313.6 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1557 | 1.632349e+02 | 1.920000e+02 |  17.62%
827.76/827.99	c   828s| 19400 |  6851 |  6109k| 313.6 |  10M| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |1576 | 1.632379e+02 | 1.920000e+02 |  17.62%
830.86/831.03	c   831s| 19500 |  6899 |  6130k| 313.1 |  10M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |1588 | 1.632395e+02 | 1.920000e+02 |  17.62%
835.36/835.50	c   835s| 19600 |  6939 |  6161k| 313.0 |  10M| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |1608 | 1.632414e+02 | 1.920000e+02 |  17.62%
840.06/840.25	c   840s| 19700 |  6985 |  6195k| 313.2 |  10M| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1621 | 1.632426e+02 | 1.920000e+02 |  17.62%
843.06/843.26	c   843s| 19800 |  7035 |  6216k| 312.7 |  10M| 128 | 382 | 476 | 559 | 476 | 961 | 784 |   0 |1633 | 1.632429e+02 | 1.920000e+02 |  17.62%
847.65/847.81	c   848s| 19900 |  7083 |  6252k| 312.9 |  10M| 128 | 109 | 476 | 559 | 476 | 961 | 784 |   0 |1634 | 1.632468e+02 | 1.920000e+02 |  17.61%
850.26/850.43	c   850s| 20000 |  7113 |  6272k| 312.4 |  10M| 128 | 101 | 476 | 559 | 476 | 961 | 784 |   0 |1638 | 1.632477e+02 | 1.920000e+02 |  17.61%
851.06/851.25	c   851s| 20100 |  7135 |  6278k| 311.1 |  10M| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |1640 | 1.632477e+02 | 1.920000e+02 |  17.61%
851.86/852.04	c   852s| 20200 |  7149 |  6285k| 309.9 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1641 | 1.632484e+02 | 1.920000e+02 |  17.61%
856.76/856.95	c   857s| 20300 |  7195 |  6323k| 310.2 |  10M| 128 | 366 | 476 | 559 | 476 | 961 | 784 |   0 |1642 | 1.632513e+02 | 1.920000e+02 |  17.61%
860.36/860.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
860.36/860.54	c   861s| 20400 |  7221 |  6351k| 310.1 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1643 | 1.632521e+02 | 1.920000e+02 |  17.61%
862.56/862.71	c   863s| 20500 |  7243 |  6368k| 309.4 |  10M| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1643 | 1.632536e+02 | 1.920000e+02 |  17.61%
864.46/864.68	c   865s| 20600 |  7265 |  6384k| 308.7 |  10M| 128 | 369 | 476 | 559 | 476 | 961 | 784 |   0 |1643 | 1.632557e+02 | 1.920000e+02 |  17.61%
868.25/868.44	c   868s| 20700 |  7291 |  6414k| 308.6 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1643 | 1.632564e+02 | 1.920000e+02 |  17.61%
869.75/869.96	c   870s| 20800 |  7321 |  6425k| 307.7 |  10M| 128 | 132 | 476 | 559 | 476 | 961 | 784 |   0 |1644 | 1.632601e+02 | 1.920000e+02 |  17.60%
871.66/871.80	c   872s| 20900 |  7341 |  6440k| 306.9 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1646 | 1.632602e+02 | 1.920000e+02 |  17.60%
874.15/874.37	c   874s| 21000 |  7377 |  6461k| 306.5 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1646 | 1.632614e+02 | 1.920000e+02 |  17.60%
879.05/879.29	c   879s| 21100 |  7413 |  6496k| 306.7 |  10M| 128 | 107 | 476 | 559 | 476 | 961 | 784 |   0 |1664 | 1.632636e+02 | 1.920000e+02 |  17.60%
882.55/882.78	c   883s| 21200 |  7453 |  6519k| 306.3 |  10M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1679 | 1.632650e+02 | 1.920000e+02 |  17.60%
886.36/886.52	c   887s| 21300 |  7491 |  6549k| 306.3 |  10M| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |1680 | 1.632659e+02 | 1.920000e+02 |  17.60%
891.55/891.75	c   892s| 21400 |  7543 |  6584k| 306.5 |  10M| 128 | 131 | 476 | 559 | 476 | 961 | 784 |   0 |1695 | 1.632674e+02 | 1.920000e+02 |  17.60%
895.45/895.62	c   896s| 21500 |  7599 |  6608k| 306.2 |  10M| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |1716 | 1.632699e+02 | 1.920000e+02 |  17.60%
897.94/898.12	c   898s| 21600 |  7631 |  6628k| 305.7 |  10M| 128 | 105 | 476 | 559 | 476 | 961 | 784 |   0 |1716 | 1.632710e+02 | 1.920000e+02 |  17.60%
898.84/899.02	c   899s| 21700 |  7649 |  6635k| 304.6 |  10M| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |1716 | 1.632712e+02 | 1.920000e+02 |  17.60%
900.45/900.67	c   901s| 21800 |  7665 |  6645k| 303.7 |  10M| 128 | 356 | 476 | 559 | 476 | 961 | 784 |   0 |1727 | 1.632724e+02 | 1.920000e+02 |  17.59%
904.85/905.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
904.85/905.00	c   905s| 21900 |  7707 |  6676k| 303.7 |  10M| 128 | 375 | 476 | 559 | 476 | 961 | 784 |   0 |1738 | 1.632743e+02 | 1.920000e+02 |  17.59%
905.15/905.32	c   905s| 22000 |  7711 |  6679k| 302.5 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1738 | 1.632743e+02 | 1.920000e+02 |  17.59%
908.75/908.96	c   909s| 22100 |  7743 |  6705k| 302.3 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1746 | 1.632765e+02 | 1.920000e+02 |  17.59%
909.85/910.07	c   910s| 22200 |  7769 |  6713k| 301.2 |  11M| 128 | 126 | 476 | 559 | 476 | 961 | 784 |   0 |1753 | 1.632767e+02 | 1.920000e+02 |  17.59%
914.65/914.81	c   915s| 22300 |  7801 |  6751k| 301.6 |  11M| 128 | 387 | 476 | 559 | 476 | 961 | 784 |   0 |1768 | 1.632772e+02 | 1.920000e+02 |  17.59%
917.25/917.47	c   917s| 22400 |  7841 |  6771k| 301.2 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1769 | 1.632804e+02 | 1.920000e+02 |  17.59%
921.25/921.48	c   921s| 22500 |  7893 |  6802k| 301.2 |  11M| 128 | 126 | 476 | 559 | 476 | 961 | 784 |   0 |1769 | 1.632813e+02 | 1.920000e+02 |  17.59%
922.94/923.19	c   923s| 22600 |  7943 |  6817k| 300.5 |  11M| 128 | 119 | 476 | 559 | 476 | 961 | 784 |   0 |1769 | 1.632821e+02 | 1.920000e+02 |  17.59%
925.74/925.97	c   926s| 22700 |  7967 |  6839k| 300.2 |  11M| 128 | 387 | 476 | 559 | 476 | 961 | 784 |   0 |1771 | 1.632831e+02 | 1.920000e+02 |  17.59%
927.64/927.85	c   928s| 22800 |  7991 |  6854k| 299.5 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1771 | 1.632832e+02 | 1.920000e+02 |  17.59%
928.84/929.00	c   929s| 22900 |  8013 |  6862k| 298.6 |  11M| 128 | 373 | 476 | 559 | 476 | 961 | 784 |   0 |1772 | 1.632850e+02 | 1.920000e+02 |  17.59%
930.64/930.82	c   931s| 23000 |  8035 |  6877k| 297.9 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1772 | 1.632859e+02 | 1.920000e+02 |  17.59%
932.34/932.52	c   933s| 23100 |  8047 |  6890k| 297.2 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1772 | 1.632864e+02 | 1.920000e+02 |  17.58%
937.24/937.42	c   937s| 23200 |  8095 |  6930k| 297.6 |  11M| 128 | 379 | 476 | 559 | 476 | 961 | 784 |   0 |1772 | 1.632885e+02 | 1.920000e+02 |  17.58%
939.74/939.97	c   940s| 23300 |  8131 |  6949k| 297.2 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1772 | 1.632893e+02 | 1.920000e+02 |  17.58%
944.34/944.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
944.34/944.53	c   945s| 23400 |  8177 |  6986k| 297.5 |  11M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |1773 | 1.632913e+02 | 1.920000e+02 |  17.58%
946.04/946.23	c   946s| 23500 |  8189 |  7000k| 296.8 |  11M| 128 | 109 | 476 | 559 | 476 | 961 | 784 |   0 |1775 | 1.632917e+02 | 1.920000e+02 |  17.58%
946.24/946.46	c   946s| 23600 |  8189 |  7002k| 295.6 |  11M| 128 | 131 | 476 | 559 | 476 | 961 | 784 |   0 |1775 | 1.632917e+02 | 1.920000e+02 |  17.58%
948.45/948.68	c   949s| 23700 |  8211 |  7014k| 294.9 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1792 | 1.632929e+02 | 1.920000e+02 |  17.58%
950.25/950.44	c   950s| 23800 |  8227 |  7028k| 294.2 |  11M| 128 | 185 | 476 | 559 | 476 | 961 | 784 |   0 |1792 | 1.632937e+02 | 1.920000e+02 |  17.58%
953.94/954.10	c   954s| 23900 |  8265 |  7058k| 294.3 |  11M| 128 | 116 | 476 | 559 | 476 | 961 | 784 |   0 |1792 | 1.632953e+02 | 1.920000e+02 |  17.58%
956.14/956.32	c   956s| 24000 |  8283 |  7073k| 293.7 |  11M| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |1802 | 1.632954e+02 | 1.920000e+02 |  17.58%
957.34/957.51	c   958s| 24100 |  8311 |  7082k| 292.8 |  11M| 128 | 374 | 476 | 559 | 476 | 961 | 784 |   0 |1802 | 1.632955e+02 | 1.920000e+02 |  17.58%
960.84/961.05	c   961s| 24200 |  8341 |  7103k| 292.5 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1825 | 1.632965e+02 | 1.920000e+02 |  17.58%
964.84/965.05	c   965s| 24300 |  8371 |  7135k| 292.6 |  11M| 128 | 365 | 476 | 559 | 476 | 961 | 784 |   0 |1825 | 1.632987e+02 | 1.920000e+02 |  17.58%
966.94/967.18	c   967s| 24400 |  8411 |  7147k| 291.9 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1842 | 1.632999e+02 | 1.920000e+02 |  17.58%
970.33/970.57	c   971s| 24500 |  8447 |  7174k| 291.8 |  11M| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |1842 | 1.633012e+02 | 1.920000e+02 |  17.57%
970.64/970.83	c   971s| 24600 |  8451 |  7177k| 290.7 |  11M| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |1842 | 1.633012e+02 | 1.920000e+02 |  17.57%
974.45/974.65	c   975s| 24700 |  8493 |  7204k| 290.7 |  11M| 128 | 116 | 476 | 559 | 476 | 961 | 784 |   0 |1853 | 1.633030e+02 | 1.920000e+02 |  17.57%
978.44/978.62	c   979s| 24800 |  8529 |  7232k| 290.6 |  11M| 128 | 133 | 476 | 559 | 476 | 961 | 784 |   0 |1865 | 1.633036e+02 | 1.920000e+02 |  17.57%
979.74/979.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
979.74/979.92	c   980s| 24900 |  8563 |  7241k| 289.8 |  11M| 128 | 378 | 476 | 559 | 476 | 961 | 784 |   0 |1869 | 1.633042e+02 | 1.920000e+02 |  17.57%
982.54/982.72	c   983s| 25000 |  8599 |  7260k| 289.4 |  11M| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |1878 | 1.633054e+02 | 1.920000e+02 |  17.57%
985.64/985.82	c   986s| 25100 |  8621 |  7284k| 289.2 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1893 | 1.633057e+02 | 1.920000e+02 |  17.57%
989.93/990.10	c   990s| 25200 |  8653 |  7318k| 289.4 |  11M| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |1893 | 1.633063e+02 | 1.920000e+02 |  17.57%
993.04/993.22	c   993s| 25300 |  8711 |  7341k| 289.2 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1894 | 1.633106e+02 | 1.920000e+02 |  17.57%
997.23/997.44	c   997s| 25400 |  8761 |  7376k| 289.4 |  11M| 128 | 361 | 476 | 559 | 476 | 961 | 784 |   0 |1894 | 1.633130e+02 | 1.920000e+02 |  17.57%
1000.84/1001.05	c  1001s| 25500 |  8795 |  7403k| 289.3 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1895 | 1.633136e+02 | 1.920000e+02 |  17.57%
1002.23/1002.42	c  1002s| 25600 |  8819 |  7413k| 288.6 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1896 | 1.633157e+02 | 1.920000e+02 |  17.56%
1004.04/1004.25	c  1004s| 25700 |  8849 |  7427k| 288.0 |  11M| 128 | 362 | 476 | 559 | 476 | 961 | 784 |   0 |1896 | 1.633167e+02 | 1.920000e+02 |  17.56%
1009.04/1009.29	c  1009s| 25800 |  8879 |  7467k| 288.5 |  11M| 128 | 140 | 476 | 559 | 476 | 961 | 784 |   0 |1896 | 1.633177e+02 | 1.920000e+02 |  17.56%
1010.23/1010.49	c  1010s| 25900 |  8911 |  7476k| 287.7 |  11M| 128 | 368 | 476 | 559 | 476 | 961 | 784 |   0 |1896 | 1.633192e+02 | 1.920000e+02 |  17.56%
1012.13/1012.30	c  1012s| 26000 |  8927 |  7491k| 287.2 |  11M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |1896 | 1.633212e+02 | 1.920000e+02 |  17.56%
1022.33/1022.59	c  1023s| 26100 |  8949 |  7599k| 290.2 |  11M| 128 | 364 | 476 | 559 | 476 | 961 | 784 |   0 |1896 | 1.633227e+02 | 1.920000e+02 |  17.56%
1025.13/1025.30	c  1025s| 26200 |  8997 |  7621k| 289.9 |  11M| 128 | 364 | 476 | 559 | 476 | 961 | 784 |   0 |1896 | 1.633228e+02 | 1.920000e+02 |  17.56%
1027.23/1027.48	c  1027s| 26300 |  9021 |  7639k| 289.5 |  12M| 128 | 366 | 476 | 559 | 476 | 961 | 784 |   0 |1896 | 1.633235e+02 | 1.920000e+02 |  17.56%
1030.63/1030.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1030.63/1030.88	c  1031s| 26400 |  9071 |  7660k| 289.2 |  12M| 128 | 142 | 476 | 559 | 476 | 961 | 784 |   0 |1909 | 1.633248e+02 | 1.920000e+02 |  17.56%
1032.83/1033.08	c  1033s| 26500 |  9095 |  7676k| 288.7 |  12M| 128 | 376 | 476 | 559 | 476 | 961 | 784 |   0 |1910 | 1.633250e+02 | 1.920000e+02 |  17.56%
1037.14/1037.39	c  1037s| 26600 |  9123 |  7707k| 288.8 |  12M| 128 | 376 | 476 | 559 | 476 | 961 | 784 |   0 |1942 | 1.633252e+02 | 1.920000e+02 |  17.56%
1038.14/1038.34	c  1038s| 26700 |  9129 |  7714k| 288.0 |  12M| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |1943 | 1.633257e+02 | 1.920000e+02 |  17.56%
1041.23/1041.43	c  1041s| 26800 |  9175 |  7732k| 287.6 |  12M| 128 | 374 | 476 | 559 | 476 | 961 | 784 |   0 |1961 | 1.633270e+02 | 1.920000e+02 |  17.56%
1044.12/1044.31	c  1044s| 26900 |  9197 |  7756k| 287.4 |  12M| 128 | 130 | 476 | 559 | 476 | 961 | 784 |   0 |1961 | 1.633270e+02 | 1.920000e+02 |  17.56%
1046.83/1047.00	c  1047s| 27000 |  9229 |  7777k| 287.1 |  12M| 128 | 116 | 476 | 559 | 476 | 961 | 784 |   0 |1961 | 1.633278e+02 | 1.920000e+02 |  17.55%
1050.93/1051.12	c  1051s| 27100 |  9281 |  7802k| 287.0 |  12M| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |1980 | 1.633291e+02 | 1.920000e+02 |  17.55%
1054.42/1054.61	c  1055s| 27200 |  9317 |  7832k| 287.0 |  12M| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |1981 | 1.633299e+02 | 1.920000e+02 |  17.55%
1059.93/1060.19	c  1060s| 27300 |  9355 |  7874k| 287.5 |  12M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |1992 | 1.633331e+02 | 1.920000e+02 |  17.55%
1063.62/1063.83	c  1064s| 27400 |  9387 |  7899k| 287.4 |  12M| 128 | 170 | 476 | 559 | 476 | 961 | 784 |   0 |2002 | 1.633336e+02 | 1.920000e+02 |  17.55%
1066.22/1066.41	c  1066s| 27500 |  9481 |  7921k| 287.1 |  12M| 128 | 145 | 476 | 559 | 476 | 961 | 784 |   0 |2008 | 1.633336e+02 | 1.920000e+02 |  17.55%
1066.83/1067.02	c  1067s| 27600 |  9579 |  7926k| 286.3 |  12M| 128 | 158 | 476 | 559 | 476 | 961 | 784 |   0 |2016 | 1.633336e+02 | 1.920000e+02 |  17.55%
1069.22/1069.44	c  1069s| 27700 |  9667 |  7946k| 286.0 |  12M| 128 | 136 | 476 | 559 | 476 | 961 | 784 |   0 |2018 | 1.633348e+02 | 1.920000e+02 |  17.55%
1070.13/1070.39	c  1070s| 27800 |  9709 |  7953k| 285.2 |  12M| 128 | 133 | 476 | 559 | 476 | 961 | 784 |   0 |2019 | 1.633354e+02 | 1.920000e+02 |  17.55%
1071.73/1071.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1071.73/1071.97	c  1072s| 27900 |  9779 |  7965k| 284.6 |  12M| 128 | 134 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633376e+02 | 1.920000e+02 |  17.55%
1072.52/1072.78	c  1073s| 28000 |  9847 |  7972k| 283.8 |  12M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633377e+02 | 1.920000e+02 |  17.55%
1072.82/1073.06	c  1073s| 28100 |  9885 |  7975k| 282.9 |  12M| 128 | 111 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633377e+02 | 1.920000e+02 |  17.55%
1076.33/1076.50	c  1077s| 28200 |  9941 |  8004k| 282.9 |  12M| 128 | 131 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633380e+02 | 1.920000e+02 |  17.55%
1076.63/1076.89	c  1077s| 28300 |  9987 |  8008k| 282.1 |  12M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633380e+02 | 1.920000e+02 |  17.55%
1078.83/1079.03	c  1079s| 28400 | 10021 |  8027k| 281.7 |  12M| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633385e+02 | 1.920000e+02 |  17.55%
1079.12/1079.31	c  1079s| 28500 | 10037 |  8030k| 280.9 |  12M| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633385e+02 | 1.920000e+02 |  17.55%
1080.92/1081.17	c  1081s| 28600 | 10073 |  8045k| 280.4 |  12M| 128 | 127 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633388e+02 | 1.920000e+02 |  17.55%
1083.02/1083.26	c  1083s| 28700 | 10113 |  8061k| 280.0 |  12M| 128 | 366 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633406e+02 | 1.920000e+02 |  17.55%
1087.02/1087.25	c  1087s| 28800 | 10159 |  8093k| 280.2 |  12M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633411e+02 | 1.920000e+02 |  17.55%
1090.42/1090.60	c  1091s| 28900 | 10189 |  8122k| 280.2 |  12M| 128 | 123 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633413e+02 | 1.920000e+02 |  17.55%
1092.42/1092.60	c  1093s| 29000 | 10227 |  8137k| 279.7 |  13M| 128 | 131 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633426e+02 | 1.920000e+02 |  17.54%
1092.62/1092.84	c  1093s| 29100 | 10247 |  8139k| 278.8 |  13M| 128 | 126 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633426e+02 | 1.920000e+02 |  17.54%
1098.42/1098.65	c  1099s| 29200 | 10295 |  8186k| 279.5 |  13M| 128 | 372 | 476 | 559 | 476 | 961 | 784 |   0 |2020 | 1.633434e+02 | 1.920000e+02 |  17.54%
1102.82/1103.09	c  1103s| 29300 | 10339 |  8216k| 279.6 |  13M| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |2037 | 1.633450e+02 | 1.920000e+02 |  17.54%
1104.22/1104.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1104.22/1104.44	c  1104s| 29400 | 10367 |  8227k| 279.0 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2037 | 1.633461e+02 | 1.920000e+02 |  17.54%
1106.91/1107.12	c  1107s| 29500 | 10405 |  8249k| 278.8 |  13M| 128 | 116 | 476 | 559 | 476 | 961 | 784 |   0 |2037 | 1.633462e+02 | 1.920000e+02 |  17.54%
1108.92/1109.11	c  1109s| 29600 | 10455 |  8262k| 278.3 |  13M| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |2046 | 1.633481e+02 | 1.920000e+02 |  17.54%
1110.91/1111.15	c  1111s| 29700 | 10485 |  8278k| 277.9 |  13M| 128 | 379 | 476 | 559 | 476 | 961 | 784 |   0 |2046 | 1.633488e+02 | 1.920000e+02 |  17.54%
1112.42/1112.68	c  1113s| 29800 | 10513 |  8285k| 277.2 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2070 | 1.633488e+02 | 1.920000e+02 |  17.54%
1113.82/1114.03	c  1114s| 29900 | 10537 |  8295k| 276.6 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2070 | 1.633491e+02 | 1.920000e+02 |  17.54%
1117.52/1117.78	c  1118s| 30000 | 10585 |  8325k| 276.7 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2070 | 1.633507e+02 | 1.920000e+02 |  17.54%
1119.01/1119.26	c  1119s| 30100 | 10637 |  8332k| 276.0 |  13M| 128 | 132 | 476 | 559 | 476 | 961 | 784 |   0 |2088 | 1.633513e+02 | 1.920000e+02 |  17.54%
1119.92/1120.14	c  1120s| 30200 | 10681 |  8339k| 275.3 |  13M| 128 |  97 | 476 | 559 | 476 | 961 | 784 |   0 |2088 | 1.633513e+02 | 1.920000e+02 |  17.54%
1122.52/1122.70	c  1123s| 30300 | 10713 |  8359k| 275.1 |  13M| 128 | 119 | 476 | 559 | 476 | 961 | 784 |   0 |2088 | 1.633518e+02 | 1.920000e+02 |  17.54%
1122.62/1122.89	c  1123s| 30400 | 10729 |  8361k| 274.2 |  13M| 128 | 112 | 476 | 559 | 476 | 961 | 784 |   0 |2088 | 1.633518e+02 | 1.920000e+02 |  17.54%
1126.52/1126.74	c  1127s| 30500 | 10769 |  8390k| 274.3 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2100 | 1.633524e+02 | 1.920000e+02 |  17.54%
1128.21/1128.48	c  1128s| 30600 | 10801 |  8404k| 273.8 |  13M| 128 |  91 | 476 | 559 | 476 | 961 | 784 |   0 |2100 | 1.633524e+02 | 1.920000e+02 |  17.54%
1129.61/1129.84	c  1130s| 30700 | 10817 |  8414k| 273.2 |  13M| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |2103 | 1.633525e+02 | 1.920000e+02 |  17.54%
1131.32/1131.51	c  1132s| 30800 | 10831 |  8426k| 272.8 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2111 | 1.633531e+02 | 1.920000e+02 |  17.54%
1132.82/1133.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1132.82/1133.06	c  1133s| 30900 | 10857 |  8436k| 272.2 |  13M| 128 | 121 | 476 | 559 | 476 | 961 | 784 |   0 |2121 | 1.633538e+02 | 1.920000e+02 |  17.54%
1135.22/1135.40	c  1135s| 31000 | 10893 |  8456k| 272.0 |  13M| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |2121 | 1.633551e+02 | 1.920000e+02 |  17.54%
1138.01/1138.23	c  1138s| 31100 | 10933 |  8477k| 271.8 |  13M| 128 |  93 | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633561e+02 | 1.920000e+02 |  17.53%
1140.21/1140.47	c  1140s| 31200 | 10949 |  8496k| 271.5 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633579e+02 | 1.920000e+02 |  17.53%
1142.62/1142.82	c  1143s| 31300 | 10985 |  8514k| 271.2 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633583e+02 | 1.920000e+02 |  17.53%
1143.31/1143.58	c  1144s| 31400 | 11015 |  8520k| 270.5 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633595e+02 | 1.920000e+02 |  17.53%
1145.71/1145.95	c  1146s| 31500 | 11045 |  8539k| 270.3 |  13M| 128 | 116 | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633607e+02 | 1.920000e+02 |  17.53%
1145.91/1146.17	c  1146s| 31600 | 11045 |  8541k| 269.5 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633607e+02 | 1.920000e+02 |  17.53%
1149.01/1149.20	c  1149s| 31700 | 11077 |  8566k| 269.4 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633608e+02 | 1.920000e+02 |  17.53%
1151.61/1151.87	c  1152s| 31800 | 11113 |  8587k| 269.3 |  13M| 128 | 388 | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633620e+02 | 1.920000e+02 |  17.53%
1153.81/1154.04	c  1154s| 31900 | 11133 |  8606k| 269.0 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633621e+02 | 1.920000e+02 |  17.53%
1157.61/1157.82	c  1158s| 32000 | 11201 |  8633k| 269.0 |  13M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633672e+02 | 1.920000e+02 |  17.53%
1160.41/1160.63	c  1161s| 32100 | 11235 |  8655k| 268.9 |  13M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633707e+02 | 1.920000e+02 |  17.52%
1161.51/1161.72	c  1162s| 32200 | 11259 |  8664k| 268.3 |  13M| 128 | 367 | 476 | 559 | 476 | 961 | 784 |   0 |2122 | 1.633718e+02 | 1.920000e+02 |  17.52%
1163.20/1163.48	c  1163s| 32300 | 11265 |  8679k| 267.9 |  13M| 128 | 102 | 476 | 559 | 476 | 961 | 784 |   0 |2123 | 1.633718e+02 | 1.920000e+02 |  17.52%
1166.21/1166.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1166.21/1166.41	c  1166s| 32400 | 11303 |  8702k| 267.8 |  13M| 128 | 124 | 476 | 559 | 476 | 961 | 784 |   0 |2123 | 1.633730e+02 | 1.920000e+02 |  17.52%
1167.81/1168.09	c  1168s| 32500 | 11333 |  8716k| 267.4 |  13M| 128 | 128 | 476 | 559 | 476 | 961 | 784 |   0 |2123 | 1.633746e+02 | 1.920000e+02 |  17.52%
1170.01/1170.23	c  1170s| 32600 | 11351 |  8730k| 267.0 |  13M| 128 | 130 | 476 | 559 | 476 | 961 | 784 |   0 |2134 | 1.633747e+02 | 1.920000e+02 |  17.52%
1170.71/1170.91	c  1171s| 32700 | 11373 |  8736k| 266.4 |  14M| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |2134 | 1.633753e+02 | 1.920000e+02 |  17.52%
1172.80/1173.04	c  1173s| 32800 | 11385 |  8754k| 266.1 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2134 | 1.633767e+02 | 1.920000e+02 |  17.52%
1177.21/1177.44	c  1177s| 32900 | 11441 |  8784k| 266.2 |  14M| 128 | 131 | 476 | 559 | 476 | 961 | 784 |   0 |2146 | 1.633779e+02 | 1.920000e+02 |  17.52%
1178.81/1179.00	c  1179s| 33000 | 11465 |  8790k| 265.6 |  14M| 128 | 367 | 476 | 559 | 476 | 961 | 784 |   0 |2168 | 1.633780e+02 | 1.920000e+02 |  17.52%
1179.11/1179.35	c  1179s| 33100 | 11475 |  8794k| 264.9 |  14M| 128 | 144 | 476 | 559 | 476 | 961 | 784 |   0 |2168 | 1.633780e+02 | 1.920000e+02 |  17.52%
1181.22/1181.46	c  1181s| 33200 | 11521 |  8810k| 264.6 |  14M| 128 | 136 | 476 | 559 | 476 | 961 | 784 |   0 |2168 | 1.633783e+02 | 1.920000e+02 |  17.52%
1182.31/1182.54	c  1183s| 33300 | 11555 |  8818k| 264.0 |  14M| 128 | 369 | 476 | 559 | 476 | 961 | 784 |   0 |2168 | 1.633786e+02 | 1.920000e+02 |  17.52%
1184.11/1184.37	c  1184s| 33400 | 11587 |  8834k| 263.7 |  14M| 128 | 382 | 476 | 559 | 476 | 961 | 784 |   0 |2168 | 1.633788e+02 | 1.920000e+02 |  17.52%
1185.62/1185.81	c  1186s| 33500 | 11633 |  8844k| 263.3 |  14M| 128 | 362 | 476 | 559 | 476 | 961 | 784 |   0 |2168 | 1.633798e+02 | 1.920000e+02 |  17.52%
1187.31/1187.53	c  1188s| 33600 | 11657 |  8854k| 262.8 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2182 | 1.633798e+02 | 1.920000e+02 |  17.52%
1188.01/1188.24	c  1188s| 33700 | 11685 |  8859k| 262.1 |  14M| 128 | 100 | 476 | 559 | 476 | 961 | 784 |   0 |2182 | 1.633802e+02 | 1.920000e+02 |  17.52%
1193.40/1193.63	c  1194s| 33800 | 11743 |  8898k| 262.5 |  14M| 128 | 351 | 476 | 559 | 476 | 961 | 784 |   0 |2198 | 1.633818e+02 | 1.920000e+02 |  17.52%
1195.01/1195.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1195.01/1195.23	c  1195s| 33900 | 11767 |  8913k| 262.2 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2198 | 1.633818e+02 | 1.920000e+02 |  17.52%
1197.01/1197.29	c  1197s| 34000 | 11797 |  8928k| 261.9 |  14M| 128 | 348 | 476 | 559 | 476 | 961 | 784 |   0 |2198 | 1.633826e+02 | 1.920000e+02 |  17.52%
1199.50/1199.73	c  1200s| 34100 | 11835 |  8945k| 261.6 |  14M| 128 | 364 | 476 | 559 | 476 | 961 | 784 |   0 |2208 | 1.633836e+02 | 1.920000e+02 |  17.51%
1204.10/1204.40	c  1204s| 34200 | 11875 |  8980k| 261.8 |  14M| 128 | 391 | 476 | 559 | 476 | 961 | 784 |   0 |2218 | 1.633846e+02 | 1.920000e+02 |  17.51%
1204.51/1204.77	c  1205s| 34300 | 11881 |  8983k| 261.2 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2219 | 1.633846e+02 | 1.920000e+02 |  17.51%
1207.40/1207.61	c  1208s| 34400 | 11919 |  9004k| 261.0 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2222 | 1.633859e+02 | 1.920000e+02 |  17.51%
1208.20/1208.40	c  1208s| 34500 | 11931 |  9010k| 260.4 |  14M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |2222 | 1.633865e+02 | 1.920000e+02 |  17.51%
1209.90/1210.12	c  1210s| 34600 | 11943 |  9024k| 260.1 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2222 | 1.633865e+02 | 1.920000e+02 |  17.51%
1211.00/1211.23	c  1211s| 34700 | 11969 |  9032k| 259.6 |  14M| 128 | 372 | 476 | 559 | 476 | 961 | 784 |   0 |2222 | 1.633873e+02 | 1.920000e+02 |  17.51%
1213.11/1213.36	c  1213s| 34800 | 11985 |  9050k| 259.3 |  14M| 128 | 361 | 476 | 559 | 476 | 961 | 784 |   0 |2223 | 1.633875e+02 | 1.920000e+02 |  17.51%
1215.31/1215.59	c  1216s| 34900 | 12025 |  9067k| 259.1 |  14M| 128 | 112 | 476 | 559 | 476 | 961 | 784 |   0 |2223 | 1.633876e+02 | 1.920000e+02 |  17.51%
1218.40/1218.63	c  1219s| 35000 | 12053 |  9091k| 259.0 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2223 | 1.633882e+02 | 1.920000e+02 |  17.51%
1220.81/1221.04	c  1221s| 35100 | 12083 |  9110k| 258.8 |  14M| 128 | 108 | 476 | 559 | 476 | 961 | 784 |   0 |2223 | 1.633888e+02 | 1.920000e+02 |  17.51%
1221.60/1221.84	c  1222s| 35200 | 12109 |  9116k| 258.3 |  14M| 128 |  97 | 476 | 559 | 476 | 961 | 784 |   0 |2223 | 1.633891e+02 | 1.920000e+02 |  17.51%
1224.70/1224.91	c  1225s| 35300 | 12143 |  9140k| 258.2 |  14M| 128 | 357 | 476 | 559 | 476 | 961 | 784 |   0 |2223 | 1.633911e+02 | 1.920000e+02 |  17.51%
1226.50/1226.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1226.50/1226.76	c  1227s| 35400 | 12153 |  9155k| 257.9 |  14M| 128 | 355 | 476 | 559 | 476 | 961 | 784 |   0 |2223 | 1.633914e+02 | 1.920000e+02 |  17.51%
1226.80/1227.06	c  1227s| 35500 | 12143 |  9158k| 257.3 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2223 | 1.633914e+02 | 1.920000e+02 |  17.51%
1230.30/1230.53	c  1231s| 35600 | 12193 |  9184k| 257.3 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2224 | 1.633922e+02 | 1.920000e+02 |  17.51%
1233.80/1234.06	c  1234s| 35700 | 12225 |  9212k| 257.3 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2224 | 1.633935e+02 | 1.920000e+02 |  17.51%
1235.01/1235.29	c  1235s| 35800 | 12249 |  9221k| 256.9 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2224 | 1.633945e+02 | 1.920000e+02 |  17.51%
1238.69/1238.92	c  1239s| 35900 | 12303 |  9250k| 257.0 |  14M| 128 | 119 | 476 | 559 | 476 | 961 | 784 |   0 |2224 | 1.633969e+02 | 1.920000e+02 |  17.51%
1239.99/1240.23	c  1240s| 36000 | 12325 |  9259k| 256.5 |  14M| 128 | 373 | 476 | 559 | 476 | 961 | 784 |   0 |2224 | 1.633969e+02 | 1.920000e+02 |  17.51%
1244.50/1244.72	c  1245s| 36100 | 12361 |  9291k| 256.7 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2239 | 1.633977e+02 | 1.920000e+02 |  17.50%
1246.70/1246.95	c  1247s| 36200 | 12391 |  9309k| 256.5 |  14M| 128 | 372 | 476 | 559 | 476 | 961 | 784 |   0 |2239 | 1.633979e+02 | 1.920000e+02 |  17.50%
1249.00/1249.21	c  1249s| 36300 | 12413 |  9327k| 256.3 |  14M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2248 | 1.633991e+02 | 1.920000e+02 |  17.50%
1249.20/1249.41	c  1249s| 36400 | 12415 |  9329k| 255.6 |  14M| 128 | 108 | 476 | 559 | 476 | 961 | 784 |   0 |2248 | 1.633991e+02 | 1.920000e+02 |  17.50%
1250.40/1250.62	c  1251s| 36500 | 12423 |  9334k| 255.0 |  14M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |2262 | 1.633999e+02 | 1.920000e+02 |  17.50%
1256.00/1256.26	c  1256s| 36600 | 12477 |  9382k| 255.6 |  14M| 128 | 112 | 476 | 559 | 476 | 961 | 784 |   0 |2262 | 1.634005e+02 | 1.920000e+02 |  17.50%
1257.50/1257.78	c  1258s| 36700 | 12507 |  9388k| 255.1 |  14M| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |2286 | 1.634008e+02 | 1.920000e+02 |  17.50%
1259.09/1259.38	c  1259s| 36800 | 12555 |  9400k| 254.7 |  15M| 128 | 359 | 476 | 559 | 476 | 961 | 784 |   0 |2286 | 1.634016e+02 | 1.920000e+02 |  17.50%
1261.29/1261.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1261.29/1261.59	c  1262s| 36900 | 12583 |  9417k| 254.5 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2286 | 1.634026e+02 | 1.920000e+02 |  17.50%
1265.09/1265.33	c  1265s| 37000 | 12609 |  9442k| 254.5 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2299 | 1.634027e+02 | 1.920000e+02 |  17.50%
1268.29/1268.57	c  1269s| 37100 | 12639 |  9468k| 254.5 |  15M| 128 | 108 | 476 | 559 | 476 | 961 | 784 |   0 |2299 | 1.634031e+02 | 1.920000e+02 |  17.50%
1270.30/1270.53	c  1271s| 37200 | 12679 |  9480k| 254.2 |  15M| 128 | 365 | 476 | 559 | 476 | 961 | 784 |   0 |2313 | 1.634040e+02 | 1.920000e+02 |  17.50%
1272.59/1272.81	c  1273s| 37300 | 12727 |  9497k| 253.9 |  15M| 128 | 119 | 476 | 559 | 476 | 961 | 784 |   0 |2318 | 1.634045e+02 | 1.920000e+02 |  17.50%
1275.09/1275.31	c  1275s| 37400 | 12763 |  9517k| 253.8 |  15M| 128 | 365 | 476 | 559 | 476 | 961 | 784 |   0 |2322 | 1.634056e+02 | 1.920000e+02 |  17.50%
1279.29/1279.55	c  1280s| 37500 | 12801 |  9550k| 254.0 |  15M| 128 | 345 | 476 | 559 | 476 | 961 | 784 |   0 |2327 | 1.634063e+02 | 1.920000e+02 |  17.50%
1280.70/1280.90	c  1281s| 37600 | 12821 |  9560k| 253.6 |  15M| 128 | 345 | 476 | 559 | 476 | 961 | 784 |   0 |2327 | 1.634076e+02 | 1.920000e+02 |  17.50%
1281.49/1281.70	c  1282s| 37700 | 12847 |  9566k| 253.1 |  15M| 128 | 114 | 476 | 559 | 476 | 961 | 784 |   0 |2327 | 1.634082e+02 | 1.920000e+02 |  17.50%
1281.59/1281.88	c  1282s| 37800 | 12855 |  9568k| 252.5 |  15M| 128 | 106 | 476 | 559 | 476 | 961 | 784 |   0 |2327 | 1.634082e+02 | 1.920000e+02 |  17.50%
1284.39/1284.64	c  1285s| 37900 | 12891 |  9589k| 252.3 |  15M| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |2328 | 1.634094e+02 | 1.920000e+02 |  17.50%
1287.80/1288.05	c  1288s| 38000 | 12923 |  9616k| 252.4 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2328 | 1.634094e+02 | 1.920000e+02 |  17.50%
1291.49/1291.74	c  1292s| 38100 | 12959 |  9645k| 252.5 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2328 | 1.634130e+02 | 1.920000e+02 |  17.49%
1292.29/1292.59	c  1293s| 38200 | 12969 |  9652k| 252.0 |  15M| 128 | 101 | 476 | 559 | 476 | 961 | 784 |   0 |2328 | 1.634131e+02 | 1.920000e+02 |  17.49%
1292.89/1293.19	c  1293s| 38300 | 12983 |  9656k| 251.5 |  15M| 128 |  97 | 476 | 559 | 476 | 961 | 784 |   0 |2328 | 1.634133e+02 | 1.920000e+02 |  17.49%
1295.78/1296.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1295.78/1296.03	c  1296s| 38400 | 13023 |  9679k| 251.4 |  15M| 128 | 108 | 476 | 559 | 476 | 961 | 784 |   0 |2328 | 1.634143e+02 | 1.920000e+02 |  17.49%
1299.29/1299.57	c  1300s| 38500 | 13053 |  9707k| 251.5 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2329 | 1.634148e+02 | 1.920000e+02 |  17.49%
1301.09/1301.39	c  1301s| 38600 | 13091 |  9721k| 251.2 |  15M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |2329 | 1.634157e+02 | 1.920000e+02 |  17.49%
1303.69/1303.98	c  1304s| 38700 | 13129 |  9741k| 251.1 |  15M| 128 | 101 | 476 | 559 | 476 | 961 | 784 |   0 |2329 | 1.634161e+02 | 1.920000e+02 |  17.49%
1307.19/1307.42	c  1307s| 38800 | 13155 |  9769k| 251.1 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2329 | 1.634172e+02 | 1.920000e+02 |  17.49%
1309.28/1309.52	c  1310s| 38900 | 13185 |  9785k| 250.9 |  15M| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |2329 | 1.634184e+02 | 1.920000e+02 |  17.49%
1312.19/1312.48	c  1312s| 39000 | 13231 |  9807k| 250.8 |  15M| 128 | 371 | 476 | 559 | 476 | 961 | 784 |   0 |2329 | 1.634192e+02 | 1.920000e+02 |  17.49%
1314.89/1315.11	c  1315s| 39100 | 13263 |  9825k| 250.6 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2338 | 1.634198e+02 | 1.920000e+02 |  17.49%
1316.89/1317.11	c  1317s| 39200 | 13287 |  9842k| 250.4 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2338 | 1.634200e+02 | 1.920000e+02 |  17.49%
1317.59/1317.81	c  1318s| 39300 | 13295 |  9848k| 249.9 |  15M| 128 | 342 | 476 | 559 | 476 | 961 | 784 |   0 |2338 | 1.634205e+02 | 1.920000e+02 |  17.49%
1321.48/1321.74	c  1322s| 39400 | 13313 |  9877k| 250.1 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2349 | 1.634215e+02 | 1.920000e+02 |  17.49%
1322.19/1322.48	c  1322s| 39500 | 13333 |  9883k| 249.6 |  15M| 128 | 130 | 476 | 559 | 476 | 961 | 784 |   0 |2349 | 1.634217e+02 | 1.920000e+02 |  17.49%
1323.58/1323.82	c  1324s| 39600 | 13365 |  9893k| 249.2 |  15M| 128 | 358 | 476 | 559 | 476 | 961 | 784 |   0 |2365 | 1.634223e+02 | 1.920000e+02 |  17.49%
1327.68/1327.92	c  1328s| 39700 | 13409 |  9924k| 249.3 |  15M| 128 | 104 | 476 | 559 | 476 | 961 | 784 |   0 |2375 | 1.634228e+02 | 1.920000e+02 |  17.49%
1328.39/1328.67	c  1329s| 39800 | 13413 |  9930k| 248.9 |  15M| 128 | 105 | 476 | 559 | 476 | 961 | 784 |   0 |2375 | 1.634241e+02 | 1.920000e+02 |  17.49%
1328.59/1328.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1328.59/1328.89	c  1329s| 39900 | 13421 |  9932k| 248.3 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2375 | 1.634241e+02 | 1.920000e+02 |  17.49%
1331.48/1331.77	c  1332s| 40000 | 13459 |  9952k| 248.2 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2387 | 1.634244e+02 | 1.920000e+02 |  17.49%
1334.28/1334.54	c  1335s| 40100 | 13487 |  9969k| 248.0 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2408 | 1.634246e+02 | 1.920000e+02 |  17.49%
1336.79/1337.06	c  1337s| 40200 | 13505 |  9989k| 247.9 |  15M| 128 | 358 | 476 | 559 | 476 | 961 | 784 |   0 |2408 | 1.634264e+02 | 1.920000e+02 |  17.48%
1341.28/1341.58	c  1342s| 40300 | 13533 | 10025k| 248.1 |  15M| 128 | 127 | 476 | 559 | 476 | 961 | 784 |   0 |2408 | 1.634270e+02 | 1.920000e+02 |  17.48%
1342.48/1342.77	c  1343s| 40400 | 13537 | 10032k| 247.7 |  15M| 128 | 134 | 476 | 559 | 476 | 961 | 784 |   0 |2425 | 1.634279e+02 | 1.920000e+02 |  17.48%
1344.68/1344.95	c  1345s| 40500 | 13581 | 10047k| 247.4 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2429 | 1.634296e+02 | 1.920000e+02 |  17.48%
1347.68/1347.91	c  1348s| 40600 | 13615 | 10067k| 247.3 |  15M| 128 | 128 | 476 | 559 | 476 | 961 | 784 |   0 |2437 | 1.634299e+02 | 1.920000e+02 |  17.48%
1349.78/1350.06	c  1350s| 40700 | 13627 | 10085k| 247.2 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2437 | 1.634304e+02 | 1.920000e+02 |  17.48%
1351.59/1351.89	c  1352s| 40800 | 13665 | 10098k| 246.9 |  15M| 128 | 100 | 476 | 559 | 476 | 961 | 784 |   0 |2440 | 1.634319e+02 | 1.920000e+02 |  17.48%
1355.08/1355.32	c  1355s| 40900 | 13697 | 10124k| 246.9 |  15M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2442 | 1.634337e+02 | 1.920000e+02 |  17.48%
1356.18/1356.49	c  1356s| 41000 | 13735 | 10133k| 246.5 |  15M| 128 | 366 | 476 | 559 | 476 | 961 | 784 |   0 |2442 | 1.634357e+02 | 1.920000e+02 |  17.48%
1360.58/1360.80	c  1361s| 41100 | 13761 | 10168k| 246.8 |  15M| 128 | 382 | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634372e+02 | 1.920000e+02 |  17.48%
1363.69/1363.98	c  1364s| 41200 | 13773 | 10194k| 246.8 |  15M| 128 | 138 | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634375e+02 | 1.920000e+02 |  17.48%
1364.38/1364.66	c  1365s| 41300 | 13803 | 10200k| 246.4 |  16M| 128 | 377 | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634375e+02 | 1.920000e+02 |  17.48%
1365.88/1366.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1365.88/1366.11	c  1366s| 41400 | 13843 | 10211k| 246.0 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634382e+02 | 1.920000e+02 |  17.48%
1368.57/1368.88	c  1369s| 41500 | 13879 | 10232k| 245.9 |  16M| 128 | 124 | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634388e+02 | 1.920000e+02 |  17.48%
1371.28/1371.54	c  1372s| 41600 | 13907 | 10254k| 245.9 |  16M| 128 |   - | 476 | 559 |   0 |   0 | 784 |   0 |2443 | 1.634389e+02 | 1.920000e+02 |  17.48%
1373.28/1373.57	c  1374s| 41700 | 13931 | 10270k| 245.7 |  16M| 128 | 106 | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634390e+02 | 1.920000e+02 |  17.48%
1375.48/1375.71	c  1376s| 41800 | 13949 | 10287k| 245.5 |  16M| 128 | 109 | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634392e+02 | 1.920000e+02 |  17.47%
1377.17/1377.46	c  1377s| 41900 | 13985 | 10301k| 245.2 |  16M| 128 | 354 | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634402e+02 | 1.920000e+02 |  17.47%
1383.08/1383.36	c  1383s| 42000 | 14031 | 10350k| 245.8 |  16M| 128 | 131 | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634412e+02 | 1.920000e+02 |  17.47%
1383.37/1383.68	c  1384s| 42100 | 14081 | 10354k| 245.3 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634412e+02 | 1.920000e+02 |  17.47%
1383.68/1383.90	c  1384s| 42200 | 14109 | 10356k| 244.8 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634412e+02 | 1.920000e+02 |  17.47%
1384.87/1385.12	c  1385s| 42300 | 14149 | 10365k| 244.4 |  16M| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634413e+02 | 1.920000e+02 |  17.47%
1386.67/1386.98	c  1387s| 42400 | 14163 | 10380k| 244.2 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2443 | 1.634417e+02 | 1.920000e+02 |  17.47%
1388.58/1388.85	c  1389s| 42500 | 14181 | 10390k| 243.9 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2458 | 1.634424e+02 | 1.920000e+02 |  17.47%
1391.47/1391.74	c  1392s| 42600 | 14227 | 10414k| 243.9 |  16M| 128 | 371 | 476 | 559 | 476 | 961 | 784 |   0 |2458 | 1.634437e+02 | 1.920000e+02 |  17.47%
1391.87/1392.12	c  1392s| 42700 | 14237 | 10417k| 243.4 |  16M| 128 | 121 | 476 | 559 | 476 | 961 | 784 |   0 |2458 | 1.634437e+02 | 1.920000e+02 |  17.47%
1392.07/1392.34	c  1392s| 42800 | 14253 | 10419k| 242.9 |  16M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |2458 | 1.634437e+02 | 1.920000e+02 |  17.47%
1395.87/1396.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1395.87/1396.16	c  1396s| 42900 | 14277 | 10445k| 242.9 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2469 | 1.634445e+02 | 1.920000e+02 |  17.47%
1396.87/1397.13	c  1397s| 43000 | 14295 | 10453k| 242.5 |  16M| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |2469 | 1.634446e+02 | 1.920000e+02 |  17.47%
1397.57/1397.84	c  1398s| 43100 | 14309 | 10458k| 242.1 |  16M| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |2469 | 1.634447e+02 | 1.920000e+02 |  17.47%
1399.27/1399.51	c  1400s| 43200 | 14335 | 10465k| 241.7 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2493 | 1.634450e+02 | 1.920000e+02 |  17.47%
1404.17/1404.45	c  1404s| 43300 | 14393 | 10505k| 242.0 |  16M| 128 | 126 | 476 | 559 | 476 | 961 | 784 |   0 |2493 | 1.634455e+02 | 1.920000e+02 |  17.47%
1405.87/1406.12	c  1406s| 43400 | 14415 | 10519k| 241.8 |  16M| 128 | 132 | 476 | 559 | 476 | 961 | 784 |   0 |2493 | 1.634459e+02 | 1.920000e+02 |  17.47%
1407.87/1408.14	c  1408s| 43500 | 14435 | 10536k| 241.6 |  16M| 128 | 103 | 476 | 559 | 476 | 961 | 784 |   0 |2493 | 1.634463e+02 | 1.920000e+02 |  17.47%
1410.48/1410.75	c  1411s| 43600 | 14461 | 10552k| 241.4 |  16M| 128 | 133 | 476 | 559 | 476 | 961 | 784 |   0 |2505 | 1.634464e+02 | 1.920000e+02 |  17.47%
1415.67/1415.90	c  1416s| 43700 | 14517 | 10590k| 241.8 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2514 | 1.634470e+02 | 1.920000e+02 |  17.47%
1417.77/1418.05	c  1418s| 43800 | 14531 | 10608k| 241.6 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2514 | 1.634473e+02 | 1.920000e+02 |  17.47%
1418.57/1418.80	c  1419s| 43900 | 14551 | 10614k| 241.2 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2522 | 1.634473e+02 | 1.920000e+02 |  17.47%
1422.97/1423.24	c  1423s| 44000 | 14597 | 10647k| 241.4 |  16M| 128 | 364 | 476 | 559 | 476 | 961 | 784 |   0 |2531 | 1.634499e+02 | 1.920000e+02 |  17.47%
1426.47/1426.73	c  1427s| 44100 | 14641 | 10675k| 241.5 |  16M| 128 | 114 | 476 | 559 | 476 | 961 | 784 |   0 |2534 | 1.634507e+02 | 1.920000e+02 |  17.47%
1427.47/1427.76	c  1428s| 44200 | 14671 | 10683k| 241.1 |  16M| 128 | 374 | 476 | 559 | 476 | 961 | 784 |   0 |2534 | 1.634510e+02 | 1.920000e+02 |  17.47%
1428.36/1428.63	c  1429s| 44300 | 14699 | 10690k| 240.7 |  16M| 128 | 132 | 476 | 559 | 476 | 961 | 784 |   0 |2534 | 1.634519e+02 | 1.920000e+02 |  17.47%
1432.06/1432.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1432.06/1432.33	c  1432s| 44400 | 14737 | 10720k| 240.9 |  16M| 128 | 137 | 476 | 559 | 476 | 961 | 784 |   0 |2535 | 1.634524e+02 | 1.920000e+02 |  17.47%
1435.27/1435.55	c  1436s| 44500 | 14777 | 10745k| 240.9 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2535 | 1.634536e+02 | 1.920000e+02 |  17.46%
1439.17/1439.42	c  1439s| 44600 | 14849 | 10774k| 241.0 |  16M| 128 | 100 | 476 | 559 | 476 | 961 | 784 |   0 |2535 | 1.634555e+02 | 1.920000e+02 |  17.46%
1440.17/1440.49	c  1440s| 44700 | 14887 | 10783k| 240.7 |  16M| 128 | 130 | 476 | 559 | 476 | 961 | 784 |   0 |2535 | 1.634558e+02 | 1.920000e+02 |  17.46%
1441.57/1441.88	c  1442s| 44800 | 14907 | 10793k| 240.4 |  16M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2535 | 1.634564e+02 | 1.920000e+02 |  17.46%
1444.86/1445.15	c  1445s| 44900 | 14937 | 10820k| 240.4 |  16M| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |2535 | 1.634576e+02 | 1.920000e+02 |  17.46%
1447.06/1447.38	c  1447s| 45000 | 14963 | 10837k| 240.3 |  16M| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |2536 | 1.634581e+02 | 1.920000e+02 |  17.46%
1448.37/1448.64	c  1449s| 45100 | 14983 | 10846k| 239.9 |  17M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2536 | 1.634585e+02 | 1.920000e+02 |  17.46%
1448.56/1448.85	c  1449s| 45200 | 14981 | 10848k| 239.4 |  17M| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |2536 | 1.634585e+02 | 1.920000e+02 |  17.46%
1450.76/1451.06	c  1451s| 45300 | 15007 | 10865k| 239.3 |  17M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |2536 | 1.634599e+02 | 1.920000e+02 |  17.46%
1451.56/1451.84	c  1452s| 45400 | 15029 | 10872k| 238.9 |  17M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |2536 | 1.634600e+02 | 1.920000e+02 |  17.46%
1452.27/1452.58	c  1453s| 45500 | 15049 | 10878k| 238.5 |  17M| 128 | 130 | 476 | 559 | 476 | 961 | 784 |   0 |2536 | 1.634606e+02 | 1.920000e+02 |  17.46%
1455.76/1456.03	c  1456s| 45600 | 15079 | 10906k| 238.6 |  17M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2536 | 1.634623e+02 | 1.920000e+02 |  17.46%
1459.46/1459.77	c  1460s| 45700 | 15117 | 10937k| 238.8 |  17M| 128 | 361 | 476 | 559 | 476 | 961 | 784 |   0 |2536 | 1.634627e+02 | 1.920000e+02 |  17.46%
1460.47/1460.80	c  1461s| 45800 | 15141 | 10945k| 238.4 |  17M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2536 | 1.634627e+02 | 1.920000e+02 |  17.46%
1462.07/1462.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1462.07/1462.37	c  1462s| 45900 | 15173 | 10954k| 238.1 |  17M| 128 | 389 | 476 | 559 | 476 | 961 | 784 |   0 |2546 | 1.634636e+02 | 1.920000e+02 |  17.46%
1468.96/1469.23	c  1469s| 46000 | 15235 | 11005k| 238.7 |  17M| 128 | 368 | 476 | 559 | 476 | 961 | 784 |   0 |2559 | 1.634645e+02 | 1.920000e+02 |  17.46%
1469.37/1469.62	c  1470s| 46100 | 15257 | 11009k| 238.3 |  17M| 128 | 119 | 476 | 559 | 476 | 961 | 784 |   0 |2559 | 1.634645e+02 | 1.920000e+02 |  17.46%
1471.37/1471.61	c  1472s| 46200 | 15285 | 11025k| 238.1 |  17M| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |2559 | 1.634651e+02 | 1.920000e+02 |  17.46%
1471.57/1471.88	c  1472s| 46300 | 15305 | 11027k| 237.6 |  17M| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |2559 | 1.634651e+02 | 1.920000e+02 |  17.46%
1473.96/1474.23	c  1474s| 46400 | 15349 | 11039k| 237.4 |  17M| 128 | 377 | 476 | 559 | 476 | 961 | 784 |   0 |2577 | 1.634672e+02 | 1.920000e+02 |  17.45%
1476.66/1476.95	c  1477s| 46500 | 15387 | 11061k| 237.3 |  17M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2577 | 1.634676e+02 | 1.920000e+02 |  17.45%
1478.26/1478.56	c  1479s| 46600 | 15409 | 11074k| 237.1 |  17M| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |2577 | 1.634677e+02 | 1.920000e+02 |  17.45%
1481.36/1481.61	c  1482s| 46700 | 15461 | 11097k| 237.1 |  17M| 128 | 360 | 476 | 559 | 476 | 961 | 784 |   0 |2577 | 1.634697e+02 | 1.920000e+02 |  17.45%
1482.76/1483.04	c  1483s| 46800 | 15483 | 11103k| 236.7 |  17M| 128 | 106 | 476 | 559 | 476 | 961 | 784 |   0 |2593 | 1.634698e+02 | 1.920000e+02 |  17.45%
1483.36/1483.63	c  1484s| 46900 | 15489 | 11108k| 236.3 |  17M| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |2593 | 1.634701e+02 | 1.920000e+02 |  17.45%
1487.76/1488.02	c  1488s| 47000 | 15527 | 11143k| 236.5 |  17M| 128 | 108 | 476 | 559 | 476 | 961 | 784 |   0 |2593 | 1.634707e+02 | 1.920000e+02 |  17.45%
1489.36/1489.64	c  1490s| 47100 | 15539 | 11151k| 236.2 |  17M| 128 | 375 | 476 | 559 | 476 | 961 | 784 |   0 |2606 | 1.634710e+02 | 1.920000e+02 |  17.45%
1491.56/1491.82	c  1492s| 47200 | 15569 | 11168k| 236.1 |  17M| 128 | 371 | 476 | 559 | 476 | 961 | 784 |   0 |2606 | 1.634713e+02 | 1.920000e+02 |  17.45%
1493.35/1493.65	c  1494s| 47300 | 15595 | 11182k| 235.9 |  17M| 128 | 123 | 476 | 559 | 476 | 961 | 784 |   0 |2606 | 1.634713e+02 | 1.920000e+02 |  17.45%
1494.85/1495.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1494.85/1495.17	c  1495s| 47400 | 15625 | 11191k| 235.6 |  17M| 128 | 363 | 476 | 559 | 476 | 961 | 784 |   0 |2618 | 1.634730e+02 | 1.920000e+02 |  17.45%
1495.67/1495.99	c  1496s| 47500 | 15651 | 11197k| 235.2 |  17M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |2618 | 1.634733e+02 | 1.920000e+02 |  17.45%
1496.55/1496.86	c  1497s| 47600 | 15689 | 11205k| 234.9 |  17M| 128 | 132 | 476 | 559 | 476 | 961 | 784 |   0 |2618 | 1.634734e+02 | 1.920000e+02 |  17.45%
1496.76/1497.10	c  1497s| 47700 | 15691 | 11207k| 234.4 |  17M| 128 | 124 | 476 | 559 | 476 | 961 | 784 |   0 |2618 | 1.634734e+02 | 1.920000e+02 |  17.45%
1500.95/1501.28	c  1501s| 47800 | 15723 | 11238k| 234.6 |  17M| 128 | 124 | 476 | 559 | 476 | 961 | 784 |   0 |2630 | 1.634742e+02 | 1.920000e+02 |  17.45%
1502.26/1502.55	c  1503s| 47900 | 15741 | 11247k| 234.3 |  17M| 128 | 381 | 476 | 559 | 476 | 961 | 784 |   0 |2636 | 1.634745e+02 | 1.920000e+02 |  17.45%
1504.66/1504.91	c  1505s| 48000 | 15781 | 11266k| 234.2 |  17M| 128 | 101 | 476 | 559 | 476 | 961 | 784 |   0 |2639 | 1.634751e+02 | 1.920000e+02 |  17.45%
1506.96/1507.24	c  1507s| 48100 | 15811 | 11284k| 234.1 |  17M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2639 | 1.634762e+02 | 1.920000e+02 |  17.45%
1510.56/1510.82	c  1511s| 48200 | 15841 | 11313k| 234.2 |  17M| 128 | 119 | 476 | 559 | 476 | 961 | 784 |   0 |2640 | 1.634773e+02 | 1.920000e+02 |  17.45%
1512.65/1512.93	c  1513s| 48300 | 15873 | 11331k| 234.1 |  17M| 128 | 123 | 476 | 559 | 476 | 961 | 784 |   0 |2641 | 1.634773e+02 | 1.920000e+02 |  17.45%
1515.56/1515.86	c  1516s| 48400 | 15911 | 11353k| 234.1 |  17M| 128 | 375 | 476 | 559 | 476 | 961 | 784 |   0 |2641 | 1.634778e+02 | 1.920000e+02 |  17.45%
1516.66/1516.97	c  1517s| 48500 | 15917 | 11362k| 233.8 |  17M| 128 | 115 | 476 | 559 | 476 | 961 | 784 |   0 |2641 | 1.634778e+02 | 1.920000e+02 |  17.45%
1517.35/1517.62	c  1518s| 48600 | 15927 | 11367k| 233.4 |  17M| 128 | 355 | 476 | 559 | 476 | 961 | 784 |   0 |2641 | 1.634778e+02 | 1.920000e+02 |  17.45%
1518.16/1518.46	c  1518s| 48700 | 15941 | 11374k| 233.0 |  17M| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |2642 | 1.634779e+02 | 1.920000e+02 |  17.45%
1521.35/1521.68	c  1522s| 48800 | 15985 | 11400k| 233.1 |  17M| 128 | 107 | 476 | 559 | 476 | 961 | 784 |   0 |2642 | 1.634788e+02 | 1.920000e+02 |  17.45%
1523.56/1523.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1523.56/1523.82	c  1524s| 48900 | 16009 | 11416k| 232.9 |  17M| 128 | 135 | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634794e+02 | 1.920000e+02 |  17.45%
1525.15/1525.47	c  1525s| 49000 | 16043 | 11428k| 232.7 |  17M| 128 | 363 | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634801e+02 | 1.920000e+02 |  17.45%
1526.05/1526.30	c  1526s| 49100 | 16081 | 11435k| 232.4 |  17M| 128 | 138 | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634803e+02 | 1.920000e+02 |  17.45%
1529.05/1529.36	c  1529s| 49200 | 16103 | 11460k| 232.4 |  17M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634805e+02 | 1.920000e+02 |  17.45%
1532.25/1532.59	c  1533s| 49300 | 16155 | 11486k| 232.5 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634808e+02 | 1.920000e+02 |  17.44%
1534.45/1534.73	c  1535s| 49400 | 16185 | 11502k| 232.3 |  18M| 128 | 101 | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634817e+02 | 1.920000e+02 |  17.44%
1537.65/1537.94	c  1538s| 49500 | 16229 | 11527k| 232.4 |  18M| 128 | 351 | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634826e+02 | 1.920000e+02 |  17.44%
1539.05/1539.38	c  1539s| 49600 | 16269 | 11538k| 232.1 |  18M| 128 | 108 | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634827e+02 | 1.920000e+02 |  17.44%
1539.35/1539.61	c  1540s| 49700 | 16269 | 11540k| 231.7 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634827e+02 | 1.920000e+02 |  17.44%
1543.65/1543.95	c  1544s| 49800 | 16309 | 11575k| 231.9 |  18M| 128 | 366 | 476 | 559 | 476 | 961 | 784 |   0 |2643 | 1.634848e+02 | 1.920000e+02 |  17.44%
1547.95/1548.27	c  1548s| 49900 | 16343 | 11604k| 232.0 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2659 | 1.634856e+02 | 1.920000e+02 |  17.44%
1550.05/1550.36	c  1550s| 50000 | 16389 | 11619k| 231.9 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2659 | 1.634885e+02 | 1.920000e+02 |  17.44%
1554.35/1554.68	c  1555s| 50100 | 16413 | 11649k| 232.0 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2677 | 1.634892e+02 | 1.920000e+02 |  17.44%
1557.74/1558.07	c  1558s| 50200 | 16453 | 11676k| 232.1 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2677 | 1.634907e+02 | 1.920000e+02 |  17.44%
1560.05/1560.38	c  1560s| 50300 | 16465 | 11693k| 232.0 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2677 | 1.634909e+02 | 1.920000e+02 |  17.44%
1561.44/1561.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1561.44/1561.76	c  1562s| 50400 | 16481 | 11704k| 231.7 |  18M| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |2677 | 1.634918e+02 | 1.920000e+02 |  17.44%
1565.65/1565.96	c  1566s| 50500 | 16523 | 11731k| 231.8 |  18M| 128 | 363 | 476 | 559 | 476 | 961 | 784 |   0 |2694 | 1.634924e+02 | 1.920000e+02 |  17.44%
1568.15/1568.46	c  1568s| 50600 | 16561 | 11751k| 231.7 |  18M| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |2694 | 1.634943e+02 | 1.920000e+02 |  17.44%
1568.95/1569.21	c  1569s| 50700 | 16563 | 11757k| 231.4 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2694 | 1.634943e+02 | 1.920000e+02 |  17.44%
1572.14/1572.46	c  1572s| 50800 | 16603 | 11777k| 231.3 |  18M| 128 | 374 | 476 | 559 | 476 | 961 | 784 |   0 |2711 | 1.634947e+02 | 1.920000e+02 |  17.44%
1573.25/1573.51	c  1574s| 50900 | 16617 | 11785k| 231.0 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2711 | 1.634955e+02 | 1.920000e+02 |  17.43%
1576.14/1576.49	c  1576s| 51000 | 16665 | 11809k| 231.1 |  18M| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |2712 | 1.634956e+02 | 1.920000e+02 |  17.43%
1577.25/1577.59	c  1578s| 51100 | 16687 | 11815k| 230.7 |  18M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |2721 | 1.634959e+02 | 1.920000e+02 |  17.43%
1579.25/1579.57	c  1580s| 51200 | 16711 | 11831k| 230.6 |  18M| 128 | 378 | 476 | 559 | 476 | 961 | 784 |   0 |2721 | 1.634964e+02 | 1.920000e+02 |  17.43%
1582.84/1583.13	c  1583s| 51300 | 16743 | 11857k| 230.6 |  18M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |2731 | 1.634967e+02 | 1.920000e+02 |  17.43%
1585.64/1585.97	c  1586s| 51400 | 16771 | 11878k| 230.6 |  18M| 128 | 377 | 476 | 559 | 476 | 961 | 784 |   0 |2735 | 1.634974e+02 | 1.920000e+02 |  17.43%
1586.14/1586.47	c  1586s| 51500 | 16831 | 11883k| 230.2 |  18M| 128 | 133 | 476 | 559 | 476 | 961 | 784 |   0 |2740 | 1.634974e+02 | 1.920000e+02 |  17.43%
1588.64/1588.91	c  1589s| 51600 | 16881 | 11903k| 230.2 |  18M| 128 | 359 | 476 | 559 | 476 | 961 | 784 |   0 |2743 | 1.634981e+02 | 1.920000e+02 |  17.43%
1593.55/1593.86	c  1594s| 51700 | 16929 | 11943k| 230.5 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2743 | 1.634985e+02 | 1.920000e+02 |  17.43%
1603.24/1603.57	c  1604s| 51800 | 16945 | 12048k| 232.1 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2743 | 1.634993e+02 | 1.920000e+02 |  17.43%
1606.44/1606.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1606.44/1606.77	c  1607s| 51900 | 16985 | 12074k| 232.2 |  18M| 128 | 126 | 476 | 559 | 476 | 961 | 784 |   0 |2743 | 1.635004e+02 | 1.920000e+02 |  17.43%
1610.24/1610.55	c  1611s| 52000 | 17029 | 12104k| 232.3 |  18M| 128 | 116 | 476 | 559 | 476 | 961 | 784 |   0 |2744 | 1.635013e+02 | 1.920000e+02 |  17.43%
1611.15/1611.47	c  1611s| 52100 | 17039 | 12112k| 232.0 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2744 | 1.635014e+02 | 1.920000e+02 |  17.43%
1612.94/1613.20	c  1613s| 52200 | 17101 | 12124k| 231.8 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635027e+02 | 1.920000e+02 |  17.43%
1614.45/1614.76	c  1615s| 52300 | 17121 | 12137k| 231.6 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635027e+02 | 1.920000e+02 |  17.43%
1618.34/1618.65	c  1619s| 52400 | 17187 | 12168k| 231.7 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635051e+02 | 1.920000e+02 |  17.43%
1620.34/1620.63	c  1621s| 52500 | 17207 | 12185k| 231.6 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635052e+02 | 1.920000e+02 |  17.43%
1621.74/1622.07	c  1622s| 52600 | 17245 | 12196k| 231.4 |  18M| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635062e+02 | 1.920000e+02 |  17.43%
1623.64/1623.92	c  1624s| 52700 | 17279 | 12211k| 231.2 |  18M| 128 | 112 | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635062e+02 | 1.920000e+02 |  17.43%
1623.94/1624.22	c  1624s| 52800 | 17293 | 12214k| 230.8 |  18M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635062e+02 | 1.920000e+02 |  17.43%
1625.84/1626.15	c  1626s| 52900 | 17349 | 12228k| 230.7 |  18M| 128 | 126 | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635070e+02 | 1.920000e+02 |  17.43%
1626.13/1626.43	c  1626s| 53000 | 17377 | 12231k| 230.3 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635070e+02 | 1.920000e+02 |  17.43%
1628.63/1629.00	c  1629s| 53100 | 17409 | 12252k| 230.3 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635070e+02 | 1.920000e+02 |  17.43%
1631.54/1631.86	c  1632s| 53200 | 17447 | 12274k| 230.3 |  19M| 128 | 108 | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635074e+02 | 1.920000e+02 |  17.43%
1632.34/1632.69	c  1633s| 53300 | 17471 | 12281k| 229.9 |  19M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635074e+02 | 1.920000e+02 |  17.43%
1632.64/1632.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1632.64/1632.94	c  1633s| 53400 | 17499 | 12284k| 229.6 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635074e+02 | 1.920000e+02 |  17.43%
1636.03/1636.30	c  1636s| 53500 | 17543 | 12311k| 229.6 |  19M| 128 | 127 | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635081e+02 | 1.920000e+02 |  17.43%
1637.54/1637.85	c  1638s| 53600 | 17575 | 12324k| 229.5 |  19M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |2745 | 1.635083e+02 | 1.920000e+02 |  17.43%
1641.53/1641.82	c  1642s| 53700 | 17601 | 12353k| 229.6 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2767 | 1.635088e+02 | 1.920000e+02 |  17.42%
1642.44/1642.73	c  1643s| 53800 | 17627 | 12360k| 229.3 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2771 | 1.635091e+02 | 1.920000e+02 |  17.42%
1645.24/1645.60	c  1646s| 53900 | 17663 | 12382k| 229.2 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2774 | 1.635094e+02 | 1.920000e+02 |  17.42%
1649.04/1649.32	c  1649s| 54000 | 17705 | 12408k| 229.3 |  19M| 128 | 371 | 476 | 559 | 476 | 961 | 784 |   0 |2784 | 1.635095e+02 | 1.920000e+02 |  17.42%
1651.84/1652.11	c  1652s| 54100 | 17747 | 12432k| 229.3 |  19M| 128 | 118 | 476 | 559 | 476 | 961 | 784 |   0 |2784 | 1.635102e+02 | 1.920000e+02 |  17.42%
1653.73/1654.03	c  1654s| 54200 | 17773 | 12443k| 229.1 |  19M| 128 | 124 | 476 | 559 | 476 | 961 | 784 |   0 |2796 | 1.635115e+02 | 1.920000e+02 |  17.42%
1655.03/1655.39	c  1655s| 54300 | 17797 | 12453k| 228.9 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2796 | 1.635118e+02 | 1.920000e+02 |  17.42%
1656.43/1656.71	c  1657s| 54400 | 17817 | 12464k| 228.7 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2796 | 1.635119e+02 | 1.920000e+02 |  17.42%
1659.23/1659.54	c  1660s| 54500 | 17843 | 12482k| 228.6 |  19M| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |2810 | 1.635124e+02 | 1.920000e+02 |  17.42%
1662.23/1662.52	c  1663s| 54600 | 17877 | 12506k| 228.6 |  19M| 128 | 359 | 476 | 559 | 476 | 961 | 784 |   0 |2810 | 1.635129e+02 | 1.920000e+02 |  17.42%
1666.03/1666.35	c  1666s| 54700 | 17921 | 12535k| 228.7 |  19M| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |2820 | 1.635135e+02 | 1.920000e+02 |  17.42%
1667.34/1667.67	c  1668s| 54800 | 17949 | 12546k| 228.5 |  19M| 128 | 371 | 476 | 559 | 476 | 961 | 784 |   0 |2820 | 1.635137e+02 | 1.920000e+02 |  17.42%
1669.33/1669.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1669.33/1669.64	c  1670s| 54900 | 17983 | 12556k| 228.3 |  19M| 128 | 379 | 476 | 559 | 476 | 961 | 784 |   0 |2837 | 1.635147e+02 | 1.920000e+02 |  17.42%
1671.83/1672.16	c  1672s| 55000 | 18021 | 12576k| 228.2 |  19M| 128 | 103 | 476 | 559 | 476 | 961 | 784 |   0 |2837 | 1.635159e+02 | 1.920000e+02 |  17.42%
1674.03/1674.31	c  1674s| 55100 | 18035 | 12594k| 228.1 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2837 | 1.635161e+02 | 1.920000e+02 |  17.42%
1678.43/1678.70	c  1679s| 55200 | 18069 | 12626k| 228.3 |  19M| 128 | 353 | 476 | 559 | 476 | 961 | 784 |   0 |2845 | 1.635164e+02 | 1.920000e+02 |  17.42%
1680.63/1680.99	c  1681s| 55300 | 18075 | 12643k| 228.2 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2852 | 1.635165e+02 | 1.920000e+02 |  17.42%
1683.13/1683.44	c  1683s| 55400 | 18129 | 12661k| 228.1 |  19M| 128 | 346 | 476 | 559 | 476 | 961 | 784 |   0 |2854 | 1.635169e+02 | 1.920000e+02 |  17.42%
1685.94/1686.27	c  1686s| 55500 | 18159 | 12684k| 228.1 |  19M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |2854 | 1.635177e+02 | 1.920000e+02 |  17.42%
1688.13/1688.44	c  1688s| 55600 | 18187 | 12701k| 228.0 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2854 | 1.635183e+02 | 1.920000e+02 |  17.42%
1689.52/1689.83	c  1690s| 55700 | 18217 | 12712k| 227.8 |  19M| 128 | 146 | 476 | 559 | 476 | 961 | 784 |   0 |2855 | 1.635185e+02 | 1.920000e+02 |  17.42%
1690.23/1690.57	c  1691s| 55800 | 18255 | 12718k| 227.5 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635187e+02 | 1.920000e+02 |  17.42%
1693.42/1693.71	c  1694s| 55900 | 18297 | 12744k| 227.5 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635193e+02 | 1.920000e+02 |  17.42%
1695.93/1696.28	c  1696s| 56000 | 18321 | 12766k| 227.5 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635197e+02 | 1.920000e+02 |  17.42%
1699.53/1699.88	c  1700s| 56100 | 18355 | 12795k| 227.6 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635211e+02 | 1.920000e+02 |  17.42%
1700.33/1700.68	c  1701s| 56200 | 18365 | 12801k| 227.3 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635211e+02 | 1.920000e+02 |  17.42%
1702.53/1702.80	c  1703s| 56300 | 18399 | 12818k| 227.2 |  19M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635216e+02 | 1.920000e+02 |  17.42%
1702.72/1703.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1702.72/1703.01	c  1703s| 56400 | 18399 | 12820k| 226.9 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635216e+02 | 1.920000e+02 |  17.42%
1703.92/1704.27	c  1704s| 56500 | 18427 | 12829k| 226.6 |  19M| 128 | 112 | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635219e+02 | 1.920000e+02 |  17.42%
1708.03/1708.32	c  1708s| 56600 | 18459 | 12862k| 226.8 |  19M| 128 | 110 | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635227e+02 | 1.920000e+02 |  17.41%
1709.42/1709.77	c  1710s| 56700 | 18475 | 12873k| 226.6 |  19M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635244e+02 | 1.920000e+02 |  17.41%
1711.12/1711.48	c  1711s| 56800 | 18513 | 12886k| 226.4 |  19M| 128 | 359 | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635255e+02 | 1.920000e+02 |  17.41%
1714.22/1714.51	c  1715s| 56900 | 18559 | 12910k| 226.4 |  19M| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635260e+02 | 1.920000e+02 |  17.41%
1717.12/1717.48	c  1717s| 57000 | 18577 | 12933k| 226.5 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635264e+02 | 1.920000e+02 |  17.41%
1719.23/1719.54	c  1720s| 57100 | 18581 | 12951k| 226.4 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2856 | 1.635267e+02 | 1.920000e+02 |  17.41%
1724.32/1724.62	c  1725s| 57200 | 18629 | 12986k| 226.6 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2871 | 1.635285e+02 | 1.920000e+02 |  17.41%
1725.12/1725.40	c  1725s| 57300 | 18669 | 12992k| 226.3 |  20M| 128 | 114 | 476 | 559 | 476 | 961 | 784 |   0 |2871 | 1.635288e+02 | 1.920000e+02 |  17.41%
1726.32/1726.66	c  1727s| 57400 | 18691 | 13002k| 226.1 |  20M| 128 | 356 | 476 | 559 | 476 | 961 | 784 |   0 |2871 | 1.635296e+02 | 1.920000e+02 |  17.41%
1729.32/1729.68	c  1730s| 57500 | 18725 | 13026k| 226.1 |  20M| 128 | 113 | 476 | 559 | 476 | 961 | 784 |   0 |2872 | 1.635302e+02 | 1.920000e+02 |  17.41%
1732.02/1732.40	c  1732s| 57600 | 18755 | 13044k| 226.0 |  20M| 128 | 126 | 476 | 559 | 476 | 961 | 784 |   0 |2883 | 1.635313e+02 | 1.920000e+02 |  17.41%
1733.42/1733.72	c  1734s| 57700 | 18789 | 13055k| 225.8 |  20M| 128 | 372 | 476 | 559 | 476 | 961 | 784 |   0 |2883 | 1.635315e+02 | 1.920000e+02 |  17.41%
1736.72/1737.05	c  1737s| 57800 | 18825 | 13075k| 225.8 |  20M| 128 | 354 | 476 | 559 | 476 | 961 | 784 |   0 |2899 | 1.635318e+02 | 1.920000e+02 |  17.41%
1739.72/1740.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1739.72/1740.08	c  1740s| 57900 | 18847 | 13100k| 225.8 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2899 | 1.635321e+02 | 1.920000e+02 |  17.41%
1743.32/1743.62	c  1744s| 58000 | 18877 | 13130k| 225.9 |  20M| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |2899 | 1.635324e+02 | 1.920000e+02 |  17.41%
1743.92/1744.22	c  1744s| 58100 | 18887 | 13135k| 225.6 |  20M| 128 | 362 | 476 | 559 | 476 | 961 | 784 |   0 |2899 | 1.635325e+02 | 1.920000e+02 |  17.41%
1745.22/1745.59	c  1746s| 58200 | 18907 | 13142k| 225.4 |  20M| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |2914 | 1.635327e+02 | 1.920000e+02 |  17.41%
1747.02/1747.30	c  1747s| 58300 | 18913 | 13156k| 225.2 |  20M| 128 | 133 | 476 | 559 | 476 | 961 | 784 |   0 |2914 | 1.635331e+02 | 1.920000e+02 |  17.41%
1748.12/1748.46	c  1748s| 58400 | 18947 | 13164k| 225.0 |  20M| 128 | 366 | 476 | 559 | 476 | 961 | 784 |   0 |2914 | 1.635335e+02 | 1.920000e+02 |  17.41%
1749.91/1750.20	c  1750s| 58500 | 18991 | 13178k| 224.8 |  20M| 128 | 129 | 476 | 559 | 476 | 961 | 784 |   0 |2914 | 1.635343e+02 | 1.920000e+02 |  17.41%
1752.91/1753.28	c  1753s| 58600 | 19013 | 13200k| 224.8 |  20M| 128 | 130 | 476 | 559 | 476 | 961 | 784 |   0 |2935 | 1.635349e+02 | 1.920000e+02 |  17.41%
1756.02/1756.35	c  1756s| 58700 | 19061 | 13222k| 224.8 |  20M| 128 | 125 | 476 | 559 | 476 | 961 | 784 |   0 |2942 | 1.635354e+02 | 1.920000e+02 |  17.41%
1758.41/1758.71	c  1759s| 58800 | 19121 | 13239k| 224.7 |  20M| 128 | 119 | 476 | 559 | 476 | 961 | 784 |   0 |2947 | 1.635355e+02 | 1.920000e+02 |  17.41%
1759.72/1760.01	c  1760s| 58900 | 19143 | 13248k| 224.5 |  20M| 128 | 347 | 476 | 559 | 476 | 961 | 784 |   0 |2947 | 1.635359e+02 | 1.920000e+02 |  17.41%
1760.92/1761.29	c  1761s| 59000 | 19151 | 13258k| 224.3 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2949 | 1.635359e+02 | 1.920000e+02 |  17.41%
1766.32/1766.63	c  1767s| 59100 | 19205 | 13301k| 224.6 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2951 | 1.635370e+02 | 1.920000e+02 |  17.40%
1771.12/1771.46	c  1771s| 59200 | 19243 | 13341k| 224.9 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2951 | 1.635370e+02 | 1.920000e+02 |  17.40%
1772.92/1773.28	c  1773s| 59300 | 19281 | 13355k| 224.8 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2951 | 1.635374e+02 | 1.920000e+02 |  17.40%
1774.21/1774.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1774.21/1774.53	c  1775s| 59400 | 19303 | 13364k| 224.6 |  20M| 128 | 135 | 476 | 559 | 476 | 961 | 784 |   0 |2951 | 1.635392e+02 | 1.920000e+02 |  17.40%
1774.92/1775.29	c  1775s| 59500 | 19321 | 13370k| 224.3 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635396e+02 | 1.920000e+02 |  17.40%
1778.51/1778.89	c  1779s| 59600 | 19361 | 13400k| 224.4 |  20M| 128 | 122 | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635406e+02 | 1.920000e+02 |  17.40%
1780.22/1780.58	c  1781s| 59700 | 19375 | 13413k| 224.3 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635406e+02 | 1.920000e+02 |  17.40%
1782.72/1783.09	c  1783s| 59800 | 19401 | 13433k| 224.2 |  20M| 128 | 130 | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635408e+02 | 1.920000e+02 |  17.40%
1783.02/1783.31	c  1783s| 59900 | 19393 | 13436k| 223.9 |  20M| 128 | 117 | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635408e+02 | 1.920000e+02 |  17.40%
1785.31/1785.60	c  1786s| 60000 | 19417 | 13454k| 223.8 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635415e+02 | 1.920000e+02 |  17.40%
1788.41/1788.73	c  1789s| 60100 | 19457 | 13479k| 223.9 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635433e+02 | 1.920000e+02 |  17.40%
1791.52/1791.84	c  1792s| 60200 | 19505 | 13503k| 223.9 |  20M| 128 | 108 | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635450e+02 | 1.920000e+02 |  17.40%
1792.31/1792.64	c  1793s| 60300 | 19525 | 13509k| 223.6 |  20M| 128 |   - | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635452e+02 | 1.920000e+02 |  17.40%
1793.12/1793.47	c  1793s| 60400 | 19543 | 13515k| 223.3 |  20M| 128 | 111 | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635452e+02 | 1.920000e+02 |  17.40%
1794.01/1794.34	c  1794s| 60500 | 19579 | 13522k| 223.1 |  20M| 128 | 127 | 476 | 559 | 476 | 961 | 784 |   0 |2952 | 1.635452e+02 | 1.920000e+02 |  17.40%
1796.51/1796.82	c  1797s| 60600 | 19629 | 13542k| 223.1 |  20M| 128 | 127 | 476 | 559 | 476 | 961 | 784 |   0 |2955 | 1.635452e+02 | 1.920000e+02 |  17.40%
1796.71/1797.00	c 
1796.71/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.71/1797.00	c Solving Time (sec) : 1797.00
1796.71/1797.00	c Solving Nodes      : 60652
1796.71/1797.00	c Primal Bound       : +1.92000000000000e+02 (757 solutions)
1796.71/1797.00	c Dual Bound         : +1.63545772587262e+02
1796.71/1797.00	c Gap                : 17.40 %
1796.71/1797.00	s SATISFIABLE
1796.71/1797.00	v x476 x475 x474 x473 -x472 x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 
1796.71/1797.00	v x453 -x452 -x451 x450 -x449 -x448 x447 x446 x445 x444 -x443 x442 x441 -x440 x439 x438 -x437 -x436 -x435 x434 -x433 x432 x431 
1796.71/1797.00	v -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 x419 x418 x417 x416 x415 -x414 -x413 -x412 -x411 -x410 x409 
1796.71/1797.00	v -x408 -x407 x406 -x405 -x404 x403 -x402 x401 -x400 -x399 x398 -x397 -x396 x395 x394 -x393 -x392 -x391 -x390 x389 -x388 x387 
1796.71/1797.00	v x386 x385 x384 -x383 x382 x381 -x380 -x379 x378 -x377 x376 x375 -x374 x373 x372 -x371 x370 x369 -x368 x367 -x366 x365 x364 
1796.71/1797.00	v -x363 x362 x361 x360 -x359 x358 -x357 -x356 -x355 x354 x353 -x352 x351 x350 x349 x348 -x347 x346 -x345 -x344 -x343 x342 x341 
1796.71/1797.00	v -x340 -x339 x338 x337 -x336 x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 x327 -x326 -x325 -x324 x323 x322 -x321 x320 -x319 -x318 
1796.71/1797.00	v -x317 -x316 -x315 -x314 x313 -x312 x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 x300 -x299 -x298 -x297 
1796.71/1797.00	v -x296 -x295 x294 -x293 x292 -x291 x290 x289 -x288 x287 x286 -x285 x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 
1796.71/1797.00	v x274 x273 x272 -x271 -x270 -x269 x268 -x267 x266 -x265 x264 -x263 x262 x261 -x260 -x259 x258 x257 -x256 x255 -x254 -x253 -x252 
1796.71/1797.00	v -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 x243 -x242 x241 x240 x239 -x238 -x237 -x236 x235 x234 -x233 -x232 x231 x230 
1796.71/1797.00	v -x229 x228 -x227 x226 x225 -x224 x223 x222 x221 -x220 x219 -x218 -x217 x216 -x215 -x214 x213 x212 -x211 -x210 -x209 -x208 -x207 
1796.71/1797.00	v x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 x196 -x195 -x194 -x193 -x192 x191 x190 -x189 -x188 x187 -x186 x185 
1796.71/1797.00	v x184 x183 x182 -x181 -x180 -x179 x178 x177 x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 
1796.71/1797.00	v -x162 x161 -x160 x159 -x158 -x157 x156 -x155 x154 x153 -x152 -x151 -x150 -x149 x148 -x147 x146 -x145 -x144 -x143 x142 -x141 
1796.71/1797.00	v -x140 x139 -x138 x137 x136 -x135 x134 -x133 x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 x119 -x118 
1796.71/1797.00	v -x117 -x116 x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 x99 x98 -x97 x96 
1796.71/1797.00	v -x95 -x94 -x93 x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 x78 x77 -x76 x75 x74 x73 -x72 x71 -x70 x69 
1796.71/1797.00	v -x68 -x67 -x66 -x65 -x64 -x63 x62 x61 -x60 -x59 -x58 x57 -x56 x55 -x54 -x53 x52 -x51 -x50 x49 x48 -x47 x46 -x45 -x44 x43 x42 
1796.71/1797.00	v x41 -x40 -x39 x38 x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 x29 x28 x27 x26 x25 -x24 x23 -x22 -x21 x20 -x19 -x18 x17 -x16 -x15 x14 
1796.71/1797.00	v x13 x12 x11 -x10 -x9 -x8 -x7 -x6 x5 x4 -x3 -x2 -x1 
1796.71/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.71/1797.00	c Total Time         :    1797.00
1796.71/1797.00	c   solving          :    1797.00
1796.71/1797.00	c   presolving       :       0.03 (included in solving)
1796.71/1797.00	c   reading          :       0.00 (included in solving)
1796.71/1797.00	c   copying          :       0.09 (14 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.00	c Original Problem   :
1796.71/1797.00	c   Problem name     : HOME/instance-3692054-1338029720.opb
1796.71/1797.00	c   Variables        : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00	c   Constraints      : 476 initial, 476 maximal
1796.71/1797.00	c   Objective sense  : minimize
1796.71/1797.00	c Presolved Problem  :
1796.71/1797.00	c   Problem name     : t_HOME/instance-3692054-1338029720.opb
1796.71/1797.00	c   Variables        : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00	c   Constraints      : 559 initial, 559 maximal
1796.71/1797.00	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.71/1797.00	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   knapsack         :       0.01       0.00          0          0          0          0          0         24        197        317        752
1796.71/1797.00	c   setppc           :       0.00       0.00          0          0          0          0          0         90          0          0          0
1796.71/1797.00	c   linear           :       0.01       0.00          0          0          0          0          0          0          0          0         22
1796.71/1797.00	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.00	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.71/1797.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.71/1797.00	c   integral         :          0          0          0          0      40276          0        762          0         14        107          0          0      80374
1796.71/1797.00	c   knapsack         :        449        449         12     273244          0          1        757          0        777     263808        749          0          0
1796.71/1797.00	c   setppc           :        108        108         12     272378          0          1        756          0          0      28769          0          0          0
1796.71/1797.00	c   logicor          :          2          2         12       4112          0          1        756          0          0        615          0          0          0
1796.71/1797.00	c   countsols        :          0          0          0          0          0          1        760          0          0          0          0          0          0
1796.71/1797.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.71/1797.00	c   integral         :     113.84       0.00       0.00       0.00     113.84       0.00       0.00       0.00
1796.71/1797.00	c   knapsack         :       2.30       0.00       0.04       2.26       0.00       0.00       0.01       0.00
1796.71/1797.00	c   setppc           :       0.32       0.00       0.00       0.31       0.00       0.00       0.00       0.00
1796.71/1797.00	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.71/1797.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.71/1797.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.71/1797.00	c   rootredcost      :         31          0          0          0
1796.71/1797.00	c   pseudoobj        :     313470          0          0          0
1796.71/1797.00	c   vbounds          :          0          0          0          0
1796.71/1797.00	c   redcost          :      57003          0          0     426797
1796.71/1797.00	c   probing          :          0          0          0          0
1796.71/1797.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.71/1797.00	c   rootredcost      :       0.08       0.00       0.00       0.08       0.00
1796.71/1797.00	c   pseudoobj        :       0.29       0.00       0.00       0.29       0.00
1796.71/1797.00	c   vbounds          :       0.07       0.00       0.00       0.07       0.00
1796.71/1797.00	c   redcost          :       0.95       0.00       0.00       0.95       0.00
1796.71/1797.00	c   probing          :       0.00       0.00       0.00       0.00       0.00
1796.71/1797.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.71/1797.00	c   propagation      :       0.00        777          0          0        0.0          0        0.0          -
1796.71/1797.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.71/1797.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.71/1797.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.71/1797.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.71/1797.00	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.71/1797.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.71/1797.00	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.71/1797.00	c   cut pool         :       0.00                    11          -          -        298          -    (maximal pool size: 1384)
1796.71/1797.00	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.71/1797.00	c   impliedbounds    :       0.00       0.00         12          0          0          0          0
1796.71/1797.00	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.71/1797.00	c   gomory           :       1.76       0.00         10          0          0          0          0
1796.71/1797.00	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.71/1797.00	c   strongcg         :       1.62       0.00         12          0          0          0          0
1796.71/1797.00	c   cmir             :       0.21       0.00         10          0          0        835          0
1796.71/1797.00	c   flowcover        :       0.27       0.00         10          0          0        986          0
1796.71/1797.00	c   clique           :       0.00       0.00          1          0          0          0          0
1796.71/1797.00	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.71/1797.00	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.71/1797.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.71/1797.00	c   rapidlearning    :       0.27       0.00          1          0          0          0          0
1796.71/1797.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.71/1797.00	c   problem variables:       0.00          -          0          0
1796.71/1797.00	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.71/1797.00	c   relpscost        :     113.80       0.00      40276         14        107          0          0      80374
1796.71/1797.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.00	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.71/1797.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.00	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.71/1797.00	c   LP solutions     :       0.00          -          -          0
1796.71/1797.00	c   pseudo solutions :       0.00          -          -          0
1796.71/1797.00	c   crossover        :       0.13       0.00          0          0
1796.71/1797.00	c   feaspump         :       0.00       0.00          0          0
1796.71/1797.00	c   oneopt           :       0.02       0.00          8          0
1796.71/1797.00	c   objpscostdiving  :      38.43       0.00          4         86
1796.71/1797.00	c   guideddiving     :      45.84       0.00         37          0
1796.71/1797.00	c   fracdiving       :      45.54       0.00         38          0
1796.71/1797.00	c   veclendiving     :      73.53       0.00         80         84
1796.71/1797.00	c   linesearchdiving :      67.50       0.00         82         52
1796.71/1797.00	c   coefdiving       :     284.18       0.00        212        186
1796.71/1797.00	c   pscostdiving     :     302.84       0.00        333        295
1796.71/1797.00	c   smallcard        :       0.00       0.00          0          0
1796.71/1797.00	c   trivial          :       0.00       0.00          2          1
1796.71/1797.00	c   shiftandpropagate:       0.00       0.00          0          0
1796.71/1797.00	c   simplerounding   :       0.93       0.00      40287         26
1796.71/1797.00	c   zirounding       :       0.42       0.00       1201         24
1796.71/1797.00	c   rounding         :      10.74       0.00       9268          1
1796.71/1797.00	c   shifting         :       3.19       0.00       2564          1
1796.71/1797.00	c   intshifting      :       0.00       0.00          0          0
1796.71/1797.00	c   twoopt           :       0.00       0.00          0          0
1796.71/1797.00	c   indoneopt        :       0.04       0.00          0          0
1796.71/1797.00	c   indtwoopt        :       0.00       0.00          0          0
1796.71/1797.00	c   fixandinfer      :       0.00       0.00          0          0
1796.71/1797.00	c   clique           :       0.00       0.00          0          0
1796.71/1797.00	c   indrounding      :       0.00       0.00          0          0
1796.71/1797.00	c   indcoefdiving    :       0.00       0.00          0          0
1796.71/1797.00	c   nlpdiving        :       0.00       0.00          0          0
1796.71/1797.00	c   intdiving        :       0.00       0.00          0          0
1796.71/1797.00	c   actconsdiving    :       0.00       0.00          0          0
1796.71/1797.00	c   rootsoldiving    :      13.07       0.00         12          0
1796.71/1797.00	c   octane           :       0.00       0.00          0          0
1796.71/1797.00	c   rens             :       0.01       0.00          0          0
1796.71/1797.00	c   rins             :       0.00       0.00          0          0
1796.71/1797.00	c   localbranching   :       0.00       0.00          0          0
1796.71/1797.00	c   mutation         :       0.00       0.00          0          0
1796.71/1797.00	c   dins             :       0.00       0.00          0          0
1796.71/1797.00	c   vbounds          :       0.00       0.00          0          0
1796.71/1797.00	c   undercover       :       0.00       0.00          0          0
1796.71/1797.00	c   subnlp           :       0.01       0.00          0          0
1796.71/1797.00	c   trysol           :       0.03       0.00          0          0
1796.71/1797.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.71/1797.00	c   primal LP        :       0.01          2          0       0.00          -       0.01          2
1796.71/1797.00	c   dual LP          :     778.85      76695    6113415     102.05    7849.33       3.99      16791
1796.71/1797.00	c   lex dual LP      :       0.00          0          0       0.00          -
1796.71/1797.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.71/1797.00	c   diving/probing LP:     848.43     123690    7431144      60.08    8758.66
1796.71/1797.00	c   strong branching :     111.90       2955     717823     242.92    6415.05
1796.71/1797.00	c     (at root node) :          -         21      19650     935.71          -
1796.71/1797.00	c   conflict analysis:       0.00          0          0       0.00          -
1796.71/1797.00	c B&B Tree           :
1796.71/1797.00	c   number of runs   :          1
1796.71/1797.00	c   nodes            :      60652
1796.71/1797.00	c   nodes (total)    :      60652
1796.71/1797.00	c   nodes left       :      19635
1796.71/1797.00	c   max depth        :        128
1796.71/1797.00	c   max depth (total):        128
1796.71/1797.00	c   backtracks       :      11603 (19.1%)
1796.71/1797.00	c   delayed cutoffs  :          0
1796.71/1797.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.71/1797.00	c   avg switch length:       7.72
1796.71/1797.00	c   switching time   :       2.27
1796.71/1797.00	c Solution           :
1796.71/1797.00	c   Solutions found  :        757 (40 improvements)
1796.71/1797.00	c   First Solution   : +4.76000000000000e+02   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.00	c   Primal Bound     : +1.92000000000000e+02   (in run 1, after 4093 nodes, 380.80 seconds, depth 234, found by <pscostdiving>)
1796.71/1797.00	c   Dual Bound       : +1.63545772587262e+02
1796.71/1797.00	c   Gap              :      17.40 %
1796.71/1797.00	c   Root Dual Bound  : +1.61773791885536e+02
1796.71/1797.00	c   Root Iterations  :      25772
1796.71/1797.03	c Time complete: 1796.75.

Verifier Data 

OK	192

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692054-1338029720/watcher-3692054-1338029720 -o /tmp/evaluation-result-3692054-1338029720/solver-3692054-1338029720 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692054-1338029720.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.17 1.70 1.89 4/175 29714
/proc/meminfo: memFree=28884052/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=12692 CPUtime=0 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 1927 0 0 0 0 0 0 0 20 0 1 0 269096125 12996608 1883 33554432000 4194304 10219143 140735515818416 140737032066424 7589947 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29714/statm: 3173 1884 413 1471 0 1693 0

[startup+0.049559 s]
/proc/loadavg: 1.17 1.70 1.89 4/175 29714
/proc/meminfo: memFree=28884052/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=25360 CPUtime=0.03 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 5366 0 0 0 3 0 0 0 20 0 1 0 269096125 25968640 5057 33554432000 4194304 10219143 140735515818416 140737032066424 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29714/statm: 6340 5057 756 1471 0 4860 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25360

[startup+0.100233 s]
/proc/loadavg: 1.17 1.70 1.89 4/175 29714
/proc/meminfo: memFree=28884052/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=25572 CPUtime=0.08 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 5412 0 0 0 8 0 0 0 20 0 1 0 269096125 26185728 5103 33554432000 4194304 10219143 140735515818416 140737032066424 8098567 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29714/statm: 6393 5103 756 1471 0 4913 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25572

[startup+0.300173 s]
/proc/loadavg: 1.17 1.70 1.89 4/175 29714
/proc/meminfo: memFree=28884052/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=25816 CPUtime=0.28 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 5474 0 0 0 28 0 0 0 20 0 1 0 269096125 26435584 5165 33554432000 4194304 10219143 140735515818416 140735515810936 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29714/statm: 6454 5165 757 1471 0 4974 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25816

[startup+0.700169 s]
/proc/loadavg: 1.17 1.70 1.89 4/175 29714
/proc/meminfo: memFree=28884052/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=26076 CPUtime=0.69 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 5533 0 0 0 68 1 0 0 20 0 1 0 269096125 26701824 5224 33554432000 4194304 10219143 140735515818416 140735515811768 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29714/statm: 6519 5224 757 1471 0 5039 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26076

[startup+1.50018 s]
/proc/loadavg: 1.17 1.70 1.89 4/177 29716
/proc/meminfo: memFree=28847324/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=27156 CPUtime=1.49 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 9877 0 0 0 145 4 0 0 20 0 1 0 269096125 27807744 5638 33554432000 4194304 10219143 140735515818416 140735515813064 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 6789 5638 836 1471 0 5309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27156

[startup+3.10018 s]
/proc/loadavg: 1.24 1.70 1.89 4/177 29716
/proc/meminfo: memFree=28836488/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=29076 CPUtime=3.09 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 10328 0 0 0 304 5 0 0 20 0 1 0 269096125 29773824 6089 33554432000 4194304 10219143 140735515818416 140735515811720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 7269 6089 837 1471 0 5789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29076

[startup+6.30018 s]
/proc/loadavg: 1.24 1.70 1.89 4/177 29716
/proc/meminfo: memFree=28834884/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=30116 CPUtime=6.29 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 10592 0 0 0 622 7 0 0 20 0 1 0 269096125 30838784 6353 33554432000 4194304 10219143 140735515818416 140735515814344 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 7529 6353 837 1471 0 6049 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30116

[startup+12.7002 s]
/proc/loadavg: 1.35 1.71 1.89 4/177 29716
/proc/meminfo: memFree=28832312/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=30168 CPUtime=12.68 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 12227 0 0 0 1257 11 0 0 20 0 1 0 269096125 30892032 6526 33554432000 4194304 10219143 140735515818416 140735515811960 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 7542 6526 841 1471 0 6062 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30168

[startup+25.5002 s]
/proc/loadavg: 1.45 1.72 1.89 4/177 29716
/proc/meminfo: memFree=28833636/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=30168 CPUtime=25.48 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 12227 0 0 0 2529 19 0 0 20 0 1 0 269096125 30892032 6526 33554432000 4194304 10219143 140735515818416 140735515811544 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 7542 6526 841 1471 0 6062 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30168

[startup+51.1002 s]
/proc/loadavg: 1.64 1.74 1.89 4/177 29716
/proc/meminfo: memFree=28833388/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=30660 CPUtime=51.08 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 12360 0 0 0 5065 43 0 0 20 0 1 0 269096125 31395840 6659 33554432000 4194304 10219143 140735515818416 140735515811624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 7665 6659 844 1471 0 6185 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30660

[startup+102.306 s]
/proc/loadavg: 1.85 1.78 1.90 4/177 29716
/proc/meminfo: memFree=28832792/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=30660 CPUtime=102.28 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 12369 0 0 0 10141 87 0 0 20 0 1 0 269096125 31395840 6668 33554432000 4194304 10219143 140735515818416 140735515811128 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 7665 6668 844 1471 0 6185 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 30660

[startup+162.3 s]
/proc/loadavg: 1.94 1.82 1.90 4/177 29717
/proc/meminfo: memFree=28832856/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=31036 CPUtime=162.26 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 12474 0 0 0 16088 138 0 0 20 0 1 0 269096125 31780864 6772 33554432000 4194304 10219143 140735515818416 140735515811512 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 7759 6772 844 1471 0 6279 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 31036

[startup+222.3 s]
/proc/loadavg: 1.98 1.85 1.91 4/177 29717
/proc/meminfo: memFree=28831620/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=31256 CPUtime=222.25 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 13897 0 0 0 22031 194 0 0 20 0 1 0 269096125 32006144 6813 33554432000 4194304 10219143 140735515818416 140735515811288 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 7814 6813 844 1471 0 6334 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 31256

[startup+282.3 s]
/proc/loadavg: 1.99 1.87 1.91 4/178 29720
/proc/meminfo: memFree=28830820/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=31804 CPUtime=282.24 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 15258 0 0 0 27975 249 0 0 20 0 1 0 269096125 32567296 6896 33554432000 4194304 10219143 140735515818416 140735515811672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 7951 6896 844 1471 0 6471 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 31804

[startup+342.3 s]
/proc/loadavg: 2.09 1.92 1.92 4/178 29743
/proc/meminfo: memFree=28830188/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=33136 CPUtime=342.23 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 17073 0 0 0 33921 302 0 0 20 0 1 0 269096125 33931264 7272 33554432000 4194304 10219143 140735515818416 140735515811288 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 8284 7272 845 1471 0 6804 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 33136

[startup+402.3 s]
/proc/loadavg: 2.03 1.94 1.92 4/177 29743
/proc/meminfo: memFree=28832024/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=33544 CPUtime=402.22 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 19898 0 0 0 39864 358 0 0 20 0 1 0 269096125 34349056 7401 33554432000 4194304 10219143 140735515818416 140735515811128 8098916 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 8386 7401 845 1471 0 6906 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 33544

[startup+462.3 s]
/proc/loadavg: 2.01 1.94 1.92 4/177 29744
/proc/meminfo: memFree=28831912/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=33616 CPUtime=462.22 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 22741 0 0 0 45807 415 0 0 20 0 1 0 269096125 34422784 7408 33554432000 4194304 10219143 140735515818416 140735515811224 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 8404 7408 845 1471 0 6924 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 33616

[startup+522.3 s]
/proc/loadavg: 2.00 1.95 1.92 4/177 29744
/proc/meminfo: memFree=28830812/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=34128 CPUtime=522.2 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 24290 0 0 0 51744 476 0 0 20 0 1 0 269096125 34947072 7527 33554432000 4194304 10219143 140735515818416 140735515810856 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 8532 7527 845 1471 0 7052 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 34128

[startup+582.3 s]
/proc/loadavg: 2.00 1.96 1.92 4/177 29744
/proc/meminfo: memFree=28828456/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=35816 CPUtime=582.2 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 24721 0 0 0 57686 534 0 0 20 0 1 0 269096125 36675584 7958 33554432000 4194304 10219143 140735515818416 140735515811720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 8954 7958 845 1471 0 7474 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 35816

[startup+642.3 s]

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

/proc/meminfo: memFree=28819108/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=41056 CPUtime=1122.12 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 30199 0 0 0 111180 1032 0 0 20 0 1 0 269096125 42041344 9286 33554432000 4194304 10219143 140735515818416 140735515811720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 10264 9286 845 1471 0 8784 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 41056

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.93 4/177 29749
/proc/meminfo: memFree=28818920/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=41468 CPUtime=1182.11 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 30310 0 0 0 117124 1087 0 0 20 0 1 0 269096125 42463232 9396 33554432000 4194304 10219143 140735515818416 140735515811768 8091364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 10367 9396 845 1471 0 8887 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 41468

[startup+1242.3 s]
/proc/loadavg: 2.07 2.00 1.93 4/177 29749
/proc/meminfo: memFree=28814640/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=42924 CPUtime=1242.1 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 30681 0 0 0 123068 1142 0 0 20 0 1 0 269096125 43954176 9767 33554432000 4194304 10219143 140735515818416 140735515811768 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 10731 9767 845 1471 0 9251 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 42924

[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 1.93 4/177 29749
/proc/meminfo: memFree=28812412/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=44100 CPUtime=1302.09 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 30977 0 0 0 129012 1197 0 0 20 0 1 0 269096125 45158400 10062 33554432000 4194304 10219143 140735515818416 140735515811768 8102401 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 11025 10062 845 1471 0 9545 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 44100

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.94 4/177 29750
/proc/meminfo: memFree=28811356/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=44592 CPUtime=1362.08 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 31110 0 0 0 134954 1254 0 0 20 0 1 0 269096125 45662208 10195 33554432000 4194304 10219143 140735515818416 140735515811336 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 11148 10195 845 1471 0 9668 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 44592

[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 1.94 4/177 29750
/proc/meminfo: memFree=28811172/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=45252 CPUtime=1422.08 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 31247 0 0 0 140894 1314 0 0 20 0 1 0 269096125 46338048 10332 33554432000 4194304 10219143 140735515818416 140735515811080 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 11313 10332 845 1471 0 9833 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 45252

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.94 4/178 29753
/proc/meminfo: memFree=28809212/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=45840 CPUtime=1482.06 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 31426 0 0 0 146837 1369 0 0 20 0 1 0 269096125 46940160 10510 33554432000 4194304 10219143 140735515818416 140735515811864 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 11460 10510 845 1471 0 9980 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 45840

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/177 29753
/proc/meminfo: memFree=28809632/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=46044 CPUtime=1542.05 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 31477 0 0 0 152780 1425 0 0 20 0 1 0 269096125 47149056 10561 33554432000 4194304 10219143 140735515818416 140735515811720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 11511 10561 845 1471 0 10031 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 46044

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/177 29753
/proc/meminfo: memFree=28806904/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=46364 CPUtime=1602.04 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 31561 0 0 0 158724 1480 0 0 20 0 1 0 269096125 47476736 10645 33554432000 4194304 10219143 140735515818416 140735515811592 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 11591 10645 845 1471 0 10111 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 46364

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28803060/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=48516 CPUtime=1662.03 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 32112 0 0 0 164670 1533 0 0 20 0 1 0 269096125 49680384 11195 33554432000 4194304 10219143 140735515818416 140735515812056 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12129 11195 845 1471 0 10649 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 48516

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28803500/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=48784 CPUtime=1722.02 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 33399 0 0 0 170616 1586 0 0 20 0 1 0 269096125 49954816 11244 33554432000 4194304 10219143 140735515818416 140735515811656 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12196 11244 845 1471 0 10716 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 48784

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28802016/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=49340 CPUtime=1782.01 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 33552 0 0 0 176555 1646 0 0 20 0 1 0 269096125 50524160 11397 33554432000 4194304 10219143 140735515818416 140735515811432 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12335 11397 845 1471 0 10855 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 49340

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28802388/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=49340 CPUtime=1785.21 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 33552 0 0 0 176870 1651 0 0 20 0 1 0 269096125 50524160 11397 33554432000 4194304 10219143 140735515818416 140735515811672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12335 11397 845 1471 0 10855 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 49340

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28802388/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=49340 CPUtime=1791.62 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 33555 0 0 0 177503 1659 0 0 20 0 1 0 269096125 50524160 11400 33554432000 4194304 10219143 140735515818416 140735515811384 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12335 11400 845 1471 0 10855 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 49340

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28802388/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=49340 CPUtime=1794.82 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 33555 0 0 0 177819 1663 0 0 20 0 1 0 269096125 50524160 11400 33554432000 4194304 10219143 140735515818416 140735515812248 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12335 11400 845 1471 0 10855 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 49340

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28802388/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=49340 CPUtime=1795.61 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 33555 0 0 0 177897 1664 0 0 20 0 1 0 269096125 50524160 11400 33554432000 4194304 10219143 140735515818416 140735515811672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12335 11400 845 1471 0 10855 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 49340

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28802388/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=49340 CPUtime=1796.41 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 33555 0 0 0 177976 1665 0 0 20 0 1 0 269096125 50524160 11400 33554432000 4194304 10219143 140735515818416 140735515811288 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12335 11400 845 1471 0 10855 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 49340

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28802388/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=49340 CPUtime=1796.61 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 33555 0 0 0 177996 1665 0 0 20 0 1 0 269096125 50524160 11400 33554432000 4194304 10219143 140735515818416 140735515811400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12335 11400 845 1471 0 10855 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 49340

[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 29754
/proc/meminfo: memFree=28802388/32873648 swapFree=7360/7360
[pid=29714] ppid=29712 vsize=49340 CPUtime=1796.71 cores=0,2,4,6
/proc/29714/stat : 29714 (scip-2.1.1.4exp) R 29712 29714 28235 0 -1 4202496 33555 0 0 0 178006 1665 0 0 20 0 1 0 269096125 50524160 11400 33554432000 4194304 10219143 140735515818416 140735515811400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29714/statm: 12335 11400 845 1471 0 10855 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 49340

Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.76
CPU user time (s): 1780.1
CPU system time (s): 16.6625
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 51016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.1
system time used= 16.6625
maximum resident set size= 49512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33560
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= 14
involuntary context switches= 2361

runsolver used 2.82457 second user time and 7.11192 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-26 12:55:20
IDJOB=3692054
IDBENCH=1954
IDSOLVER=2271
FILE ID=node149/3692054-1338029720
RUNJOBID= node149-1338029720-29687
PBS_JOBID= 14624326
Free space on /tmp= 71708 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692054-1338029720/watcher-3692054-1338029720 -o /tmp/evaluation-result-3692054-1338029720/solver-3692054-1338029720 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692054-1338029720.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bddc7a1ce44c83fc28f6e299cbaaf04c
RANDOM SEED=193563037

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28887936 kB
Buffers:          255212 kB
Cached:          2950996 kB
SwapCached:            0 kB
Active:           676656 kB
Inactive:        2540964 kB
Active(anon):      12980 kB
Inactive(anon):        0 kB
Active(file):     663676 kB
Inactive(file):  2540964 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             27176 kB
Writeback:             0 kB
AnonPages:         17616 kB
Mapped:            13556 kB
Shmem:               200 kB
Slab:             631036 kB
SReclaimable:      75416 kB
SUnreclaim:       555620 kB
KernelStack:        1392 kB
PageTables:         3736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node149 at 2012-05-26 13:25:17