Trace number 2664779

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)43 1800.12 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
MD5SUM40b50d0e4bc3f1ba5675c1e65f55a1d7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark0.106983
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved YES
Number of variables431
Total number of constraints177
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint26
Number of terms in the objective function 431
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 431
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 431
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664779-1276593456.opb>
0.00/0.01	c original problem has 431 variables (431 bin, 0 int, 0 impl, 0 cont) and 177 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02	o 431
0.00/0.02	c feasible solution found by trivial heuristic, objective value  4.310000e+02
0.00/0.02	c presolving:
0.00/0.02	c (round 1) 0 del vars, 26 del conss, 0 chg bounds, 26 chg sides, 0 chg coeffs, 0 upgd conss, 8 impls, 0 clqs
0.00/0.03	c (round 2) 4 del vars, 26 del conss, 0 chg bounds, 26 chg sides, 0 chg coeffs, 151 upgd conss, 8 impls, 0 clqs
0.00/0.03	c    (0.0s) probing: 101/427 (23.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03	c presolving (3 rounds):
0.00/0.03	c  4 deleted vars, 26 deleted constraints, 0 tightened bounds, 0 added holes, 26 changed sides, 0 changed coefficients
0.00/0.03	c  8 implications, 0 cliques
0.00/0.03	c presolved problem has 427 variables (427 bin, 0 int, 0 impl, 0 cont) and 151 constraints
0.00/0.03	c     151 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.01
0.00/0.03	c - non default parameters ----------------------------------------------------------------------
0.00/0.03	c # SCIP version 1.2.1.2
0.00/0.03	c 
0.00/0.03	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03	c conflict/interconss = 0
0.00/0.03	c 
0.00/0.03	c # should binary conflicts be preferred?
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c conflict/preferbinary = TRUE
0.00/0.03	c 
0.00/0.03	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03	c constraints/agelimit = 1
0.00/0.03	c 
0.00/0.03	c # should enforcement of pseudo solution be disabled?
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/disableenfops = TRUE
0.00/0.03	c 
0.00/0.03	c # frequency for displaying node information lines
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03	c display/freq = 10000
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 = 1799.99
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 = 1620
0.00/0.03	c 
0.00/0.03	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03	c lp/solvefreq = -1
0.00/0.03	c 
0.00/0.03	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.00/0.03	c # [type: char, range: {lafpsqd}, default: l]
0.00/0.03	c lp/pricing = a
0.00/0.03	c 
0.00/0.03	c # should presolving try to simplify inequalities
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/linear/simplifyinequalities = TRUE
0.00/0.03	c 
0.00/0.03	c # should presolving try to simplify knapsacks
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03	c 
0.00/0.03	c # priority of node selection rule <dfs> in standard mode
0.00/0.03	c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.03	c nodeselection/dfs/stdpriority = 1000000
0.00/0.03	c 
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving
0.00/0.04	c 
0.00/0.04	o 427
0.00/0.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.04	c t 0.0s|     1 |     0 |     0 |     - | 993k|   0 |   - | 427 | 151 |   0 |   0 |   0 |   0 |   0 |      --      | 4.270000e+02 |    Inf 
0.00/0.04	c   0.0s|     1 |     2 |     0 |     - | 982k|   0 |   - | 427 | 151 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.270000e+02 |    Inf 
0.05/0.08	o 48
0.05/0.08	c * 0.1s|   380 |   373 |     0 |   0.0 |1170k| 379 |   - | 427 | 151 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 | 4.800000e+01 |4700.00%
0.05/0.08	o 47
0.05/0.08	c * 0.1s|   385 |   372 |     0 |   0.0 |1200k| 379 |   - | 427 | 151 |   0 |   0 |   0 |   1 |   0 | 1.000000e+00 | 4.700000e+01 |4600.00%
0.05/0.08	o 46
0.05/0.08	c * 0.1s|   410 |   369 |     0 |   0.0 |1213k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  16 |   0 | 1.000000e+00 | 4.600000e+01 |4500.00%
2.59/2.66	o 45
2.59/2.66	c * 2.4s|  8977 |   355 |     0 |   0.0 |1247k| 379 |   - | 427 | 151 |   0 |   0 |   0 |5136 |   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
2.89/2.94	c   2.7s| 10000 |   351 |     0 |   0.0 |1248k| 379 |   - | 427 | 151 |   0 |   0 |   0 |5716 |   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
6.39/6.41	c   5.9s| 20000 |   347 |     0 |   0.0 |1254k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  11k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
9.99/10.06	c   9.3s| 30000 |   344 |     0 |   0.0 |1260k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  17k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
13.79/13.85	c  12.9s| 40000 |   344 |     0 |   0.0 |1260k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  24k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
17.99/18.01	c  16.8s| 50000 |   345 |     0 |   0.0 |1259k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  31k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
22.09/22.13	c  20.6s| 60000 |   345 |     0 |   0.0 |1256k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  37k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
25.49/25.59	c  23.8s| 70000 |   345 |     0 |   0.0 |1254k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  44k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
28.88/28.94	c  27.0s| 80000 |   348 |     0 |   0.0 |1255k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  50k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
32.29/32.31	c  30.1s| 90000 |   344 |     0 |   0.0 |1256k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  56k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
35.78/35.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.78/35.83	c  33.4s|100000 |   345 |     0 |   0.0 |1260k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  62k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
38.98/39.04	c  36.4s|110000 |   342 |     0 |   0.0 |1255k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  68k|   0 | 1.000000e+00 | 4.500000e+01 |4400.00%
39.59/39.62	o 44
39.59/39.62	c *37.0s|111821 |   345 |     0 |   0.0 |1260k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  70k|   0 | 1.000000e+00 | 4.400000e+01 |4300.00%
42.28/42.36	c  39.5s|120000 |   341 |     0 |   0.0 |1263k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  75k|   0 | 1.000000e+00 | 4.400000e+01 |4300.00%
45.38/45.48	c  42.4s|130000 |   344 |     0 |   0.0 |1260k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  81k|   0 | 1.000000e+00 | 4.400000e+01 |4300.00%
48.39/48.41	c  45.1s|140000 |   339 |     0 |   0.0 |1263k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  87k|   0 | 1.000000e+00 | 4.400000e+01 |4300.00%
50.98/51.05	o 43
50.98/51.05	c *47.5s|148847 |   343 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  93k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
51.38/51.41	c  47.9s|150000 |   343 |     0 |   0.0 |1270k| 379 |   - | 427 | 151 |   0 |   0 |   0 |  93k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
54.68/54.71	c  50.9s|160000 |   344 |     0 |   0.0 |1267k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 100k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
57.47/57.56	c  53.5s|170000 |   343 |     0 |   0.0 |1269k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 106k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
61.18/61.28	c  57.0s|180000 |   340 |     0 |   0.0 |1272k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 112k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
64.89/64.94	c  60.5s|190000 |   337 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 119k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
68.58/68.66	c  63.9s|200000 |   337 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 125k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
71.98/72.03	c  67.1s|210000 |   337 |     0 |   0.0 |1272k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 131k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
74.87/74.90	c  69.8s|220000 |   340 |     0 |   0.0 |1269k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 137k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
78.28/78.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
78.28/78.34	c  73.0s|230000 |   340 |     0 |   0.0 |1274k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 143k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
81.77/81.87	c  76.3s|240000 |   338 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 149k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
85.18/85.24	c  79.5s|250000 |   338 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 155k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
88.67/88.71	c  82.7s|260000 |   337 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 162k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
91.97/92.02	c  85.8s|270000 |   338 |     0 |   0.0 |1269k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 168k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
95.37/95.43	c  89.0s|280000 |   333 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 174k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
98.37/98.40	c  91.7s|290000 |   337 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 181k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
101.27/101.33	c  94.4s|300000 |   337 |     0 |   0.0 |1267k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 187k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
104.76/104.82	c  97.6s|310000 |   336 |     0 |   0.0 |1271k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 193k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
108.27/108.38	c   101s|320000 |   338 |     0 |   0.0 |1270k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 199k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
111.87/111.98	c   104s|330000 |   333 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 206k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
115.37/115.43	c   108s|340000 |   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 212k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
118.67/118.79	c   111s|350000 |   337 |     0 |   0.0 |1272k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 218k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
121.66/121.75	c   113s|360000 |   339 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 225k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
125.06/125.15	c   117s|370000 |   336 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 231k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
128.36/128.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
128.36/128.48	c   120s|380000 |   333 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 237k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
131.97/132.02	c   123s|390000 |   338 |     0 |   0.0 |1268k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 243k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
135.46/135.54	c   126s|400000 |   341 |     0 |   0.0 |1269k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 250k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
138.76/138.80	c   129s|410000 |   337 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 256k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
141.77/141.83	c   132s|420000 |   335 |     0 |   0.0 |1269k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 262k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
145.26/145.32	c   135s|430000 |   337 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 268k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
148.06/148.12	c   138s|440000 |   335 |     0 |   0.0 |1272k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 274k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
151.06/151.11	c   141s|450000 |   334 |     0 |   0.0 |1274k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 280k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
154.16/154.27	c   143s|460000 |   335 |     0 |   0.0 |1269k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 287k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
157.17/157.25	c   146s|470000 |   339 |     0 |   0.0 |1271k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 293k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
160.47/160.52	c   149s|480000 |   334 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 299k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
163.76/163.81	c   152s|490000 |   336 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 305k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
167.16/167.27	c   156s|500000 |   336 |     0 |   0.0 |1272k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 311k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
170.95/171.06	c   159s|510000 |   334 |     0 |   0.0 |1274k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 318k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
174.76/174.81	c   163s|520000 |   333 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 324k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
178.35/178.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
178.35/178.42	c   166s|530000 |   336 |     0 |   0.0 |1270k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 331k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
181.95/182.05	c   169s|540000 |   332 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 337k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
185.35/185.46	c   173s|550000 |   334 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 343k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
188.65/188.79	c   176s|560000 |   332 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 349k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
192.25/192.32	c   179s|570000 |   339 |     0 |   0.0 |1270k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 355k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
195.54/195.60	c   182s|580000 |   337 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 361k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
198.96/199.06	c   185s|590000 |   333 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 367k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
202.64/202.76	c   189s|600000 |   335 |     0 |   0.0 |1271k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 374k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
205.75/205.90	c   192s|610000 |   338 |     0 |   0.0 |1272k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 380k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
209.15/209.20	c   195s|620000 |   335 |     0 |   0.0 |1271k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 386k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
212.44/212.50	c   198s|630000 |   334 |     0 |   0.0 |1274k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 392k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
215.74/215.81	c   201s|640000 |   336 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 399k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
219.14/219.22	c   204s|650000 |   336 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 405k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
222.44/222.58	c   207s|660000 |   335 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 411k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
225.74/225.82	c   210s|670000 |   331 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 417k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
228.94/229.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
228.94/229.08	c   213s|680000 |   335 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 424k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
232.24/232.34	c   216s|690000 |   337 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 430k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
235.53/235.65	c   219s|700000 |   334 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 436k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
239.04/239.13	c   222s|710000 |   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 442k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
242.44/242.56	c   226s|720000 |   331 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 449k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
245.64/245.79	c   229s|730000 |   330 |     0 |   0.0 |1270k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 455k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
248.74/248.86	c   231s|740000 |   333 |     0 |   0.0 |1272k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 461k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
251.34/251.49	c   234s|750000 |   333 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 467k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
254.33/254.48	c   237s|760000 |   335 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 473k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
257.44/257.52	c   239s|770000 |   334 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 479k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
260.54/260.67	c   242s|780000 |   332 |     0 |   0.0 |1272k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 486k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
263.43/263.59	c   245s|790000 |   333 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 492k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
266.14/266.26	c   247s|800000 |   333 |     0 |   0.0 |1274k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 498k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
269.13/269.24	c   250s|810000 |   333 |     0 |   0.0 |1271k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 504k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
272.23/272.30	c   253s|820000 |   335 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 510k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
275.43/275.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
275.43/275.52	c   256s|830000 |   343 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 516k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
278.83/278.94	c   259s|840000 |   335 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 522k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
282.03/282.12	c   262s|850000 |   340 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 529k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
284.93/285.02	c   265s|860000 |   335 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 535k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
287.92/288.02	c   268s|870000 |   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 541k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
290.83/290.94	c   270s|880000 |   339 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 547k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
294.03/294.16	c   273s|890000 |   343 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 553k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
297.42/297.58	c   276s|900000 |   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 559k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
300.82/300.95	c   280s|910000 |   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 566k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
304.13/304.25	c   283s|920000 |   333 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 572k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
307.23/307.38	c   286s|930000 |   336 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 578k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
310.52/310.64	c   289s|940000 |   337 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 584k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
313.62/313.74	c   291s|950000 |   338 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 591k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
316.92/317.02	c   294s|960000 |   340 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 597k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
320.03/320.11	c   297s|970000 |   340 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 603k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
323.33/323.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
323.33/323.46	c   300s|980000 |   339 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 609k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
326.63/326.78	c   303s|990000 |   337 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 615k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
330.22/330.40	c   307s|  1000k|   334 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 622k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
333.42/333.57	c   310s|  1010k|   335 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 628k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
336.43/336.52	c   312s|  1020k|   333 |     0 |   0.0 |1274k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 634k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
339.41/339.59	c   315s|  1030k|   331 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 641k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
342.72/342.89	c   318s|  1040k|   333 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 647k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
345.91/346.06	c   321s|  1050k|   337 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 653k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
349.22/349.37	c   324s|  1060k|   335 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 660k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
352.42/352.53	c   327s|  1070k|   330 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 666k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
355.92/356.05	c   331s|  1080k|   333 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 673k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
359.62/359.77	c   334s|  1090k|   337 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 679k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
363.01/363.17	c   337s|  1100k|   339 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 685k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
366.51/366.64	c   341s|  1110k|   333 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 691k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
370.11/370.20	c   344s|  1120k|   337 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 698k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
373.31/373.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
373.31/373.47	c   347s|  1130k|   328 |     0 |   0.0 |1272k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 704k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
376.80/376.94	c   350s|  1140k|   331 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 711k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
380.31/380.46	c   353s|  1150k|   331 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 717k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
383.81/383.99	c   357s|  1160k|   334 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 724k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
387.12/387.27	c   360s|  1170k|   334 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 730k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
390.50/390.65	c   363s|  1180k|   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 736k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
393.71/393.89	c   366s|  1190k|   331 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 743k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
397.10/397.22	c   369s|  1200k|   332 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 749k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
400.21/400.36	c   372s|  1210k|   338 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 755k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
403.71/403.82	c   375s|  1220k|   333 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 762k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
407.20/407.36	c   378s|  1230k|   333 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 768k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
410.50/410.63	c   382s|  1240k|   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 774k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
413.80/413.97	c   385s|  1250k|   336 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 781k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
417.10/417.22	c   388s|  1260k|   337 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 787k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
420.40/420.53	c   391s|  1270k|   336 |     0 |   0.0 |1273k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 794k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
423.80/423.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
423.80/423.92	c   394s|  1280k|   333 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 800k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
427.09/427.20	c   397s|  1290k|   336 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 806k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
430.09/430.28	c   400s|  1300k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 812k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
433.20/433.34	c   403s|  1310k|   336 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 818k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
436.19/436.35	c   405s|  1320k|   336 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 824k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
439.39/439.51	c   408s|  1330k|   335 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 830k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
442.49/442.68	c   411s|  1340k|   332 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 836k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
445.89/446.02	c   414s|  1350k|   335 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 842k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
449.19/449.36	c   418s|  1360k|   336 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 848k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
452.19/452.36	c   420s|  1370k|   334 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 854k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
455.09/455.21	c   423s|  1380k|   337 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 860k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
458.09/458.23	c   426s|  1390k|   335 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 866k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
460.99/461.18	c   428s|  1400k|   334 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 872k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
464.09/464.23	c   431s|  1410k|   334 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 878k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
467.49/467.61	c   434s|  1420k|   330 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 884k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
470.89/471.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
470.89/471.02	c   438s|  1430k|   333 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 890k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
474.18/474.32	c   441s|  1440k|   335 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 897k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
477.39/477.56	c   444s|  1450k|   332 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 903k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
480.68/480.88	c   447s|  1460k|   329 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 908k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
483.68/483.80	c   449s|  1470k|   333 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 915k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
486.89/487.06	c   452s|  1480k|   336 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 921k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
490.18/490.38	c   455s|  1490k|   333 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 927k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
493.28/493.48	c   458s|  1500k|   333 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 933k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
496.48/496.64	c   461s|  1510k|   335 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 939k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
499.58/499.78	c   464s|  1520k|   335 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 945k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
502.78/502.98	c   467s|  1530k|   333 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 952k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
505.89/506.03	c   470s|  1540k|   334 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 958k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
509.19/509.32	c   473s|  1550k|   329 |     0 |   0.0 |1288k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 964k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
512.18/512.30	c   476s|  1560k|   328 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 970k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
515.18/515.37	c   479s|  1570k|   332 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 976k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
518.37/518.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
518.37/518.56	c   481s|  1580k|   329 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 982k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
521.58/521.73	c   484s|  1590k|   337 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 988k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
524.87/525.09	c   488s|  1600k|   336 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 | 995k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
528.27/528.50	c   491s|  1610k|   330 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1001k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
531.67/531.81	c   494s|  1620k|   333 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1008k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
534.87/535.08	c   497s|  1630k|   333 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1015k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
538.17/538.31	c   500s|  1640k|   335 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1021k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
541.27/541.40	c   503s|  1650k|   328 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1027k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
544.17/544.34	c   505s|  1660k|   331 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1033k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
547.37/547.50	c   508s|  1670k|   328 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1040k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
550.27/550.49	c   511s|  1680k|   336 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1046k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
553.27/553.48	c   514s|  1690k|   333 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1052k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
556.37/556.55	c   517s|  1700k|   333 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1058k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
559.46/559.62	c   519s|  1710k|   334 |     0 |   0.0 |1274k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1064k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
562.27/562.42	c   522s|  1720k|   330 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1070k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
565.27/565.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
565.27/565.48	c   525s|  1730k|   330 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1077k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
568.57/568.71	c   528s|  1740k|   340 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1083k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
571.77/571.91	c   531s|  1750k|   332 |     0 |   0.0 |1288k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1089k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
574.76/574.91	c   534s|  1760k|   334 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1095k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
578.37/578.53	c   537s|  1770k|   334 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1101k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
582.06/582.21	c   540s|  1780k|   331 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1108k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
585.36/585.56	c   543s|  1790k|   336 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1114k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
589.26/589.44	c   547s|  1800k|   335 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1121k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
592.77/592.99	c   550s|  1810k|   332 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1128k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
596.16/596.30	c   553s|  1820k|   332 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1135k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
599.26/599.48	c   556s|  1830k|   332 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1141k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
602.56/602.76	c   559s|  1840k|   336 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1147k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
605.65/605.80	c   562s|  1850k|   332 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1153k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
608.36/608.55	c   565s|  1860k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1158k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
611.55/611.71	c   568s|  1870k|   337 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1164k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
614.76/614.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
614.76/614.93	c   571s|  1880k|   333 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1170k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
617.75/617.91	c   573s|  1890k|   336 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1176k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
620.65/620.82	c   576s|  1900k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1182k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
623.65/623.83	c   579s|  1910k|   334 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1188k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
627.05/627.21	c   582s|  1920k|   331 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1194k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
630.25/630.40	c   585s|  1930k|   334 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1200k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
633.25/633.45	c   588s|  1940k|   334 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1206k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
636.15/636.38	c   590s|  1950k|   334 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1212k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
639.25/639.45	c   593s|  1960k|   333 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1218k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
642.26/642.48	c   596s|  1970k|   341 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1224k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
644.94/645.18	c   599s|  1980k|   334 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1229k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
647.84/648.08	c   601s|  1990k|   333 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1235k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
650.96/651.15	c   604s|  2000k|   331 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1241k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
653.94/654.19	c   607s|  2010k|   331 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1247k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
657.05/657.26	c   610s|  2020k|   335 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1253k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
660.85/661.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
660.85/661.02	c   613s|  2030k|   335 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1260k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
663.94/664.14	c   616s|  2040k|   334 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1266k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
667.45/667.62	c   619s|  2050k|   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1273k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
670.75/670.92	c   622s|  2060k|   331 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1279k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
674.05/674.20	c   625s|  2070k|   337 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1286k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
677.34/677.57	c   628s|  2080k|   333 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1292k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
680.43/680.63	c   631s|  2090k|   330 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1298k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
683.83/684.00	c   634s|  2100k|   336 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1304k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
687.04/687.28	c   637s|  2110k|   333 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1310k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
690.13/690.39	c   640s|  2120k|   333 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1316k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
693.63/693.89	c   644s|  2130k|   335 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1323k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
697.43/697.60	c   647s|  2140k|   329 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1330k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
700.73/700.99	c   650s|  2150k|   337 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1337k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
704.04/704.22	c   653s|  2160k|   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1343k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
707.43/707.69	c   656s|  2170k|   332 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1350k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
711.03/711.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
711.03/711.27	c   660s|  2180k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1357k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
714.93/715.19	c   663s|  2190k|   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1364k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
718.83/719.02	c   667s|  2200k|   335 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1371k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
722.54/722.75	c   670s|  2210k|   328 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1377k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
725.84/726.08	c   673s|  2220k|   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1384k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
729.22/729.46	c   676s|  2230k|   336 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1390k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
732.22/732.45	c   679s|  2240k|   331 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1396k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
735.43/735.69	c   682s|  2250k|   335 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1403k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
738.43/738.69	c   685s|  2260k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1409k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
741.82/742.01	c   688s|  2270k|   330 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1415k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
744.92/745.18	c   691s|  2280k|   334 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1421k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
748.22/748.44	c   694s|  2290k|   332 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1428k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
751.42/751.66	c   697s|  2300k|   331 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1434k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
754.62/754.89	c   700s|  2310k|   330 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1440k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
757.73/757.99	c   703s|  2320k|   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1446k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
760.93/761.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
760.93/761.13	c   706s|  2330k|   326 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1452k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
764.12/764.35	c   709s|  2340k|   332 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1458k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
767.42/767.61	c   712s|  2350k|   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1464k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
770.22/770.47	c   714s|  2360k|   336 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1470k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
773.13/773.36	c   717s|  2370k|   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1475k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
776.61/776.81	c   720s|  2380k|   329 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1481k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
779.82/780.05	c   723s|  2390k|   333 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1487k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
783.21/783.41	c   726s|  2400k|   331 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1493k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
786.52/786.73	c   729s|  2410k|   328 |     0 |   0.0 |1291k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1499k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
789.71/789.98	c   733s|  2420k|   332 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1505k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
793.02/793.28	c   736s|  2430k|   336 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1512k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
796.22/796.43	c   739s|  2440k|   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1518k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
798.91/799.14	c   741s|  2450k|   335 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1523k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
801.81/802.01	c   744s|  2460k|   334 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1529k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
804.41/804.60	c   746s|  2470k|   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1534k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
807.31/807.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
807.31/807.53	c   749s|  2480k|   333 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1540k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
810.41/810.62	c   752s|  2490k|   330 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1546k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
812.91/813.17	c   754s|  2500k|   332 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1551k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
816.01/816.26	c   757s|  2510k|   329 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1558k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
819.11/819.34	c   760s|  2520k|   328 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1563k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
822.21/822.41	c   762s|  2530k|   328 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1569k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
825.21/825.45	c   765s|  2540k|   332 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1575k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
828.50/828.71	c   768s|  2550k|   331 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1581k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
831.61/831.83	c   771s|  2560k|   332 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1587k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
834.61/834.81	c   774s|  2570k|   332 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1593k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
837.91/838.17	c   777s|  2580k|   331 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1599k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
841.00/841.26	c   780s|  2590k|   335 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1605k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
844.20/844.47	c   783s|  2600k|   328 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1611k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
847.40/847.61	c   786s|  2610k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1617k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
850.70/850.95	c   789s|  2620k|   332 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1623k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
853.80/854.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
853.80/854.00	c   792s|  2630k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1629k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
856.61/856.83	c   794s|  2640k|   332 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1635k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
859.70/859.95	c   797s|  2650k|   330 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1641k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
862.60/862.89	c   800s|  2660k|   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1647k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
865.59/865.83	c   803s|  2670k|   334 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1652k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
868.70/868.91	c   806s|  2680k|   330 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1659k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
871.90/872.11	c   808s|  2690k|   329 |     0 |   0.0 |1288k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1665k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
874.90/875.13	c   811s|  2700k|   336 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1671k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
877.89/878.11	c   814s|  2710k|   331 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1677k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
880.90/881.14	c   817s|  2720k|   336 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1683k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
883.69/883.96	c   819s|  2730k|   331 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1689k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
886.79/887.09	c   822s|  2740k|   337 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1695k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
889.80/890.02	c   825s|  2750k|   331 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1701k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
892.69/893.00	c   828s|  2760k|   332 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1707k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
895.79/896.05	c   831s|  2770k|   336 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1713k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
898.99/899.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
898.99/899.27	c   834s|  2780k|   329 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1719k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
902.09/902.39	c   836s|  2790k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1725k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
905.48/905.74	c   840s|  2800k|   329 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1731k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
908.40/908.66	c   842s|  2810k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1737k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
911.79/912.02	c   845s|  2820k|   333 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1744k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
914.99/915.28	c   848s|  2830k|   329 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1750k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
918.08/918.35	c   851s|  2840k|   330 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1756k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
921.18/921.40	c   854s|  2850k|   329 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1763k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
924.49/924.80	c   857s|  2860k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1769k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
928.09/928.32	c   861s|  2870k|   333 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1776k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
931.08/931.34	c   863s|  2880k|   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1782k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
934.08/934.33	c   866s|  2890k|   333 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1788k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
937.28/937.56	c   869s|  2900k|   328 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1794k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
940.48/940.70	c   872s|  2910k|   330 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1800k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
943.68/943.92	c   875s|  2920k|   329 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1806k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
946.68/946.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
946.68/946.95	c   878s|  2930k|   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1812k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
949.68/949.99	c   881s|  2940k|   332 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1818k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
953.07/953.30	c   884s|  2950k|   332 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1825k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
956.58/956.85	c   887s|  2960k|   326 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1832k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
959.57/959.89	c   890s|  2970k|   332 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1838k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
962.78/963.02	c   893s|  2980k|   330 |     0 |   0.0 |1292k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1844k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
965.77/966.07	c   895s|  2990k|   331 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1850k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
968.88/969.14	c   898s|  3000k|   328 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1856k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
971.77/972.03	c   901s|  3010k|   335 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1862k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
974.88/975.20	c   904s|  3020k|   329 |     0 |   0.0 |1288k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1868k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
977.97/978.27	c   907s|  3030k|   330 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1874k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
981.27/981.55	c   910s|  3040k|   330 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1881k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
984.67/984.90	c   913s|  3050k|   336 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1887k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
987.58/987.88	c   916s|  3060k|   333 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1893k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
990.88/991.17	c   919s|  3070k|   334 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1899k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
994.27/994.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
994.27/994.51	c   922s|  3080k|   332 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1906k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
997.47/997.79	c   925s|  3090k|   333 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1912k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1000.56/1000.83	c   928s|  3100k|   332 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1918k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1003.57/1003.83	c   930s|  3110k|   330 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1924k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1006.87/1007.11	c   933s|  3120k|   335 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1930k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1009.76/1010.03	c   936s|  3130k|   333 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1937k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1012.77/1013.05	c   939s|  3140k|   331 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1943k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1015.76/1016.07	c   942s|  3150k|   329 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1949k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1018.96/1019.25	c   945s|  3160k|   338 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1955k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1021.96/1022.24	c   947s|  3170k|   337 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1961k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1025.16/1025.42	c   950s|  3180k|   331 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1967k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1027.96/1028.26	c   953s|  3190k|   338 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1973k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1031.05/1031.38	c   956s|  3200k|   335 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1979k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1034.16/1034.41	c   959s|  3210k|   333 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1985k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1037.15/1037.41	c   962s|  3220k|   335 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1991k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1040.16/1040.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1040.16/1040.50	c   964s|  3230k|   332 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |1998k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1043.26/1043.56	c   967s|  3240k|   332 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2004k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1046.15/1046.42	c   970s|  3250k|   336 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2010k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1049.26/1049.58	c   973s|  3260k|   331 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2016k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1052.36/1052.70	c   976s|  3270k|   328 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2022k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1055.45/1055.79	c   979s|  3280k|   341 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2028k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1058.45/1058.74	c   981s|  3290k|   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2034k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1061.55/1061.83	c   984s|  3300k|   330 |     0 |   0.0 |1289k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2040k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1064.56/1064.87	c   987s|  3310k|   334 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2047k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1067.35/1067.70	c   990s|  3320k|   333 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2053k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1070.25/1070.50	c   992s|  3330k|   328 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2059k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1073.45/1073.75	c   995s|  3340k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2065k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1076.56/1076.89	c   998s|  3350k|   329 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2071k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1079.75/1080.01	c  1001s|  3360k|   331 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2077k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1083.15/1083.42	c  1004s|  3370k|   330 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2084k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1086.65/1086.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1086.65/1086.98	c  1008s|  3380k|   327 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2091k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1089.85/1090.11	c  1010s|  3390k|   336 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2097k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1092.65/1092.99	c  1013s|  3400k|   339 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2102k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1095.35/1095.68	c  1016s|  3410k|   333 |     0 |   0.0 |1290k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2108k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1098.55/1098.81	c  1018s|  3420k|   335 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2114k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1101.64/1101.90	c  1021s|  3430k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2120k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1104.75/1105.02	c  1024s|  3440k|   339 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2126k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1107.84/1108.13	c  1027s|  3450k|   337 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2133k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1110.65/1110.98	c  1030s|  3460k|   331 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2138k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1113.74/1114.05	c  1033s|  3470k|   333 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2145k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1116.94/1117.25	c  1036s|  3480k|   331 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2151k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1119.94/1120.22	c  1038s|  3490k|   333 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2157k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1122.94/1123.25	c  1041s|  3500k|   336 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2163k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1125.83/1126.13	c  1044s|  3510k|   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2169k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1129.03/1129.30	c  1047s|  3520k|   329 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2176k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1131.94/1132.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1131.94/1132.29	c  1050s|  3530k|   334 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2181k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1134.94/1135.21	c  1052s|  3540k|   328 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2187k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1137.74/1138.09	c  1055s|  3550k|   330 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2193k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1140.84/1141.13	c  1058s|  3560k|   328 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2199k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1143.94/1144.26	c  1061s|  3570k|   337 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2205k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1147.34/1147.60	c  1064s|  3580k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2211k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1150.73/1151.01	c  1067s|  3590k|   328 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2217k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1153.43/1153.76	c  1069s|  3600k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2223k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1156.53/1156.85	c  1072s|  3610k|   332 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2230k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1159.83/1160.11	c  1075s|  3620k|   332 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2236k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1163.03/1163.31	c  1078s|  3630k|   332 |     0 |   0.0 |1288k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2242k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1166.43/1166.79	c  1082s|  3640k|   333 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2248k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1169.53/1169.86	c  1084s|  3650k|   329 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2254k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1172.93/1173.23	c  1087s|  3660k|   328 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2261k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1176.12/1176.40	c  1090s|  3670k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2266k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1178.94/1179.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1178.94/1179.26	c  1093s|  3680k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2272k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1181.62/1181.94	c  1096s|  3690k|   334 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2278k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1184.62/1184.99	c  1098s|  3700k|   326 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2283k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1187.83/1188.11	c  1101s|  3710k|   325 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2290k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1190.72/1191.08	c  1104s|  3720k|   328 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2295k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1193.83/1194.18	c  1107s|  3730k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2302k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1197.02/1197.36	c  1110s|  3740k|   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2308k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1199.82/1200.16	c  1112s|  3750k|   334 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2314k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1202.82/1203.19	c  1115s|  3760k|   329 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2320k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1206.02/1206.32	c  1118s|  3770k|   338 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2326k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1208.62/1208.96	c  1120s|  3780k|   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2332k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1211.62/1211.90	c  1123s|  3790k|   331 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2337k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1214.72/1215.08	c  1126s|  3800k|   331 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2344k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1217.91/1218.26	c  1129s|  3810k|   334 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2349k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1221.11/1221.41	c  1132s|  3820k|   333 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2355k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1224.32/1224.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1224.32/1224.64	c  1135s|  3830k|   333 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2362k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1227.52/1227.87	c  1138s|  3840k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2368k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1230.91/1231.22	c  1141s|  3850k|   330 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2374k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1234.41/1234.73	c  1144s|  3860k|   328 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2380k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1237.52/1237.83	c  1147s|  3870k|   329 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2387k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1240.72/1241.07	c  1150s|  3880k|   333 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2393k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1243.82/1244.15	c  1153s|  3890k|   332 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2399k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1247.02/1247.35	c  1156s|  3900k|   336 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2405k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1250.11/1250.48	c  1159s|  3910k|   332 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2411k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1253.31/1253.67	c  1162s|  3920k|   333 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2417k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1256.61/1256.95	c  1165s|  3930k|   329 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2423k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1259.91/1260.24	c  1168s|  3940k|   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2430k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1262.80/1263.10	c  1171s|  3950k|   332 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2436k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1265.60/1265.96	c  1173s|  3960k|   330 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2442k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1268.61/1268.99	c  1176s|  3970k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2448k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1271.70/1272.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1271.70/1272.06	c  1179s|  3980k|   330 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2454k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1274.91/1275.21	c  1182s|  3990k|   333 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2460k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1277.91/1278.24	c  1185s|  4000k|   331 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2466k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1280.80/1281.16	c  1187s|  4010k|   327 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2472k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1283.80/1284.17	c  1190s|  4020k|   333 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2478k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1286.80/1287.13	c  1193s|  4030k|   330 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2483k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1290.21/1290.50	c  1196s|  4040k|   329 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2490k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1293.80/1294.18	c  1199s|  4050k|   329 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2496k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1297.50/1297.87	c  1203s|  4060k|   329 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2503k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1301.50/1301.89	c  1207s|  4070k|   329 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2510k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1305.31/1305.63	c  1210s|  4080k|   325 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2517k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1308.40/1308.75	c  1213s|  4090k|   331 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2523k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1312.10/1312.49	c  1216s|  4100k|   328 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2530k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1315.90/1316.27	c  1220s|  4110k|   327 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2537k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1319.61/1319.92	c  1223s|  4120k|   329 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2543k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1323.19/1323.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1323.19/1323.56	c  1227s|  4130k|   325 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2550k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1326.90/1327.29	c  1230s|  4140k|   325 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2557k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1329.70/1330.07	c  1233s|  4150k|   328 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2563k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1332.60/1332.96	c  1235s|  4160k|   330 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2569k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1335.59/1335.95	c  1238s|  4170k|   334 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2575k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1338.89/1339.21	c  1241s|  4180k|   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2581k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1341.79/1342.10	c  1244s|  4190k|   328 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2586k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1344.79/1345.19	c  1247s|  4200k|   333 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2592k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1347.89/1348.22	c  1250s|  4210k|   330 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2598k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1350.68/1351.06	c  1252s|  4220k|   329 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2604k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1353.59/1353.92	c  1255s|  4230k|   329 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2610k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1356.59/1356.90	c  1258s|  4240k|   327 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2616k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1359.68/1360.00	c  1260s|  4250k|   338 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2622k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1362.59/1362.99	c  1263s|  4260k|   334 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2628k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1365.68/1366.01	c  1266s|  4270k|   332 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2633k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1368.68/1369.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1368.68/1369.08	c  1269s|  4280k|   328 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2639k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1371.79/1372.11	c  1272s|  4290k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2645k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1374.89/1375.27	c  1274s|  4300k|   333 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2651k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1377.99/1378.32	c  1277s|  4310k|   333 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2657k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1381.19/1381.52	c  1280s|  4320k|   328 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2663k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1384.18/1384.57	c  1283s|  4330k|   333 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2669k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1387.28/1387.66	c  1286s|  4340k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2676k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1390.38/1390.73	c  1289s|  4350k|   332 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2682k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1393.39/1393.70	c  1292s|  4360k|   329 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2687k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1396.38/1396.76	c  1294s|  4370k|   328 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2694k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1399.77/1400.11	c  1297s|  4380k|   331 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2700k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1402.68/1403.08	c  1300s|  4390k|   333 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2706k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1405.38/1405.70	c  1303s|  4400k|   329 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2712k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1408.37/1408.79	c  1305s|  4410k|   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2718k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1411.38/1411.78	c  1308s|  4420k|   336 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2724k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1414.18/1414.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1414.18/1414.59	c  1311s|  4430k|   334 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2729k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1417.17/1417.51	c  1314s|  4440k|   330 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2735k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1420.47/1420.85	c  1317s|  4450k|   330 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2741k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1423.57/1423.96	c  1320s|  4460k|   332 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2747k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1426.47/1426.84	c  1322s|  4470k|   335 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2754k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1429.68/1430.03	c  1325s|  4480k|   328 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2760k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1433.17/1433.52	c  1328s|  4490k|   327 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2766k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1436.18/1436.58	c  1331s|  4500k|   330 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2772k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1439.26/1439.60	c  1334s|  4510k|   329 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2778k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1442.27/1442.66	c  1337s|  4520k|   328 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2783k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1445.17/1445.57	c  1340s|  4530k|   328 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2789k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1448.16/1448.54	c  1342s|  4540k|   329 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2795k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1451.27/1451.63	c  1345s|  4550k|   329 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2800k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1454.27/1454.68	c  1348s|  4560k|   327 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2806k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1457.17/1457.59	c  1351s|  4570k|   326 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2812k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1460.47/1460.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1460.47/1460.86	c  1354s|  4580k|   330 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2818k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1463.56/1463.99	c  1357s|  4590k|   334 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2824k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1466.76/1467.15	c  1360s|  4600k|   330 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2830k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1469.96/1470.39	c  1363s|  4610k|   327 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2837k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1472.96/1473.39	c  1365s|  4620k|   337 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2843k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1475.96/1476.32	c  1368s|  4630k|   329 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2848k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1479.07/1479.49	c  1371s|  4640k|   332 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2855k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1482.36/1482.73	c  1374s|  4650k|   330 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2861k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1485.26/1485.64	c  1377s|  4660k|   329 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2866k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1488.06/1488.47	c  1379s|  4670k|   329 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2872k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1490.95/1491.32	c  1382s|  4680k|   333 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2878k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1493.86/1494.27	c  1385s|  4690k|   334 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2884k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1496.85/1497.26	c  1387s|  4700k|   336 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2890k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1499.97/1500.39	c  1390s|  4710k|   331 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2896k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1503.05/1503.43	c  1393s|  4720k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2902k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1505.96/1506.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1505.96/1506.32	c  1396s|  4730k|   330 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2909k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1509.26/1509.62	c  1399s|  4740k|   329 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2915k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1512.75/1513.10	c  1402s|  4750k|   328 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2921k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1515.96/1516.36	c  1405s|  4760k|   332 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2928k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1519.26/1519.60	c  1408s|  4770k|   330 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2934k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1522.65/1523.08	c  1411s|  4780k|   327 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2941k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1525.85/1526.21	c  1414s|  4790k|   327 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2947k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1529.05/1529.46	c  1417s|  4800k|   329 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2953k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1531.96/1532.37	c  1420s|  4810k|   333 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2959k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1534.95/1535.36	c  1423s|  4820k|   326 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2965k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1538.04/1538.46	c  1426s|  4830k|   332 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2971k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1541.14/1541.51	c  1428s|  4840k|   327 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2977k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1544.15/1544.58	c  1431s|  4850k|   335 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2983k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1547.35/1547.76	c  1434s|  4860k|   325 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2990k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1550.55/1550.99	c  1437s|  4870k|   334 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |2996k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1553.54/1553.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1553.54/1553.98	c  1440s|  4880k|   331 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3002k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1556.55/1556.94	c  1443s|  4890k|   324 |     0 |   0.0 |1275k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3008k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1559.55/1559.94	c  1445s|  4900k|   324 |     0 |   0.0 |1289k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3013k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1562.65/1563.02	c  1448s|  4910k|   329 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3019k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1565.84/1566.24	c  1451s|  4920k|   331 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3025k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1568.94/1569.39	c  1454s|  4930k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3031k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1572.04/1572.49	c  1457s|  4940k|   330 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3037k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1575.14/1575.59	c  1460s|  4950k|   333 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3043k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1578.44/1578.84	c  1463s|  4960k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3050k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1581.64/1582.02	c  1466s|  4970k|   330 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3056k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1584.64/1585.02	c  1469s|  4980k|   329 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3062k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1587.84/1588.22	c  1471s|  4990k|   329 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3068k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1590.83/1591.20	c  1474s|  5000k|   334 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3073k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1593.84/1594.26	c  1477s|  5010k|   333 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3079k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1596.74/1597.14	c  1480s|  5020k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3085k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1599.64/1600.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1599.64/1600.06	c  1482s|  5030k|   329 |     0 |   0.0 |1287k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3091k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1602.73/1603.10	c  1485s|  5040k|   331 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3097k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1605.64/1606.05	c  1488s|  5050k|   335 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3103k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1608.53/1608.94	c  1491s|  5060k|   328 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3109k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1611.43/1611.85	c  1493s|  5070k|   337 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3115k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1614.34/1614.72	c  1496s|  5080k|   327 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3121k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1617.13/1617.57	c  1499s|  5090k|   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3127k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1620.02/1620.43	c  1501s|  5100k|   328 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3132k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1623.03/1623.41	c  1504s|  5110k|   329 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3138k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1625.93/1626.32	c  1507s|  5120k|   334 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3144k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1629.12/1629.52	c  1510s|  5130k|   332 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3150k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1631.94/1632.32	c  1512s|  5140k|   329 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3156k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1634.92/1635.32	c  1515s|  5150k|   333 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3162k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1638.13/1638.59	c  1518s|  5160k|   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3168k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1641.32/1641.70	c  1521s|  5170k|   332 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3174k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1644.62/1645.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1644.62/1645.08	c  1524s|  5180k|   330 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3181k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1647.82/1648.27	c  1527s|  5190k|   328 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3187k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1651.02/1651.43	c  1530s|  5200k|   329 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3193k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1654.03/1654.43	c  1533s|  5210k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3199k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1657.03/1657.49	c  1536s|  5220k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3205k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1659.92/1660.35	c  1538s|  5230k|   329 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3211k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1663.02/1663.42	c  1541s|  5240k|   327 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3217k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1666.13/1666.54	c  1544s|  5250k|   331 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3223k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1669.43/1669.89	c  1547s|  5260k|   328 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3229k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1672.72/1673.12	c  1550s|  5270k|   327 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3235k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1675.93/1676.38	c  1553s|  5280k|   325 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3242k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1679.02/1679.45	c  1556s|  5290k|   326 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3248k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1682.12/1682.56	c  1559s|  5300k|   325 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3254k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1685.01/1685.48	c  1561s|  5310k|   334 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3260k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1688.02/1688.50	c  1564s|  5320k|   328 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3266k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1691.32/1691.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1691.32/1691.73	c  1567s|  5330k|   330 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3273k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1694.21/1694.68	c  1570s|  5340k|   334 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3279k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1697.11/1697.53	c  1572s|  5350k|   332 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3285k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1699.71/1700.19	c  1575s|  5360k|   331 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3291k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1702.71/1703.17	c  1578s|  5370k|   329 |     0 |   0.0 |1288k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3297k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1705.72/1706.13	c  1580s|  5380k|   328 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3303k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1708.61/1709.05	c  1583s|  5390k|   332 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3308k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1711.91/1712.33	c  1586s|  5400k|   331 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3315k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1715.11/1715.55	c  1589s|  5410k|   328 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3321k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1718.31/1718.71	c  1592s|  5420k|   328 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3327k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1721.31/1721.79	c  1595s|  5430k|   327 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3334k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1724.81/1725.23	c  1598s|  5440k|   327 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3340k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1728.10/1728.54	c  1601s|  5450k|   328 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3347k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1731.31/1731.76	c  1604s|  5460k|   330 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3353k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1734.61/1735.02	c  1607s|  5470k|   332 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3360k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1737.51/1737.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1737.51/1737.92	c  1610s|  5480k|   326 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3366k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1740.70/1741.16	c  1613s|  5490k|   329 |     0 |   0.0 |1277k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3372k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1743.70/1744.12	c  1616s|  5500k|   327 |     0 |   0.0 |1285k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3378k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1747.00/1747.47	c  1619s|  5510k|   326 |     0 |   0.0 |1291k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3384k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1749.90/1750.38	c  1621s|  5520k|   329 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3390k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1752.80/1753.29	c  1624s|  5530k|   326 |     0 |   0.0 |1276k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3396k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1755.49/1755.97	c  1627s|  5540k|   335 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3402k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1758.40/1758.82	c  1629s|  5550k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3408k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1761.09/1761.56	c  1632s|  5560k|   328 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3414k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1763.80/1764.25	c  1634s|  5570k|   332 |     0 |   0.0 |1278k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3419k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1766.70/1767.10	c  1637s|  5580k|   329 |     0 |   0.0 |1286k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3425k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1769.40/1769.83	c  1639s|  5590k|   328 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3431k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1772.19/1772.68	c  1642s|  5600k|   335 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3437k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1774.91/1775.32	c  1644s|  5610k|   331 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3442k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1777.70/1778.17	c  1647s|  5620k|   338 |     0 |   0.0 |1284k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3448k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1780.70/1781.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1780.70/1781.14	c  1650s|  5630k|   331 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3454k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1783.39/1783.88	c  1652s|  5640k|   333 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3460k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1786.39/1786.88	c  1655s|  5650k|   335 |     0 |   0.0 |1280k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3466k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1789.39/1789.85	c  1658s|  5660k|   332 |     0 |   0.0 |1281k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3472k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1792.29/1792.73	c  1660s|  5670k|   329 |     0 |   0.0 |1283k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3478k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1795.09/1795.54	c  1663s|  5680k|   330 |     0 |   0.0 |1279k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3484k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1798.00/1798.47	c  1666s|  5690k|   330 |     0 |   0.0 |1282k| 379 |   - | 427 | 151 |   0 |   0 |   0 |3490k|   0 | 1.000000e+00 | 4.300000e+01 |4200.00%
1800.10/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.50	c 
1800.10/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.50	c Solving Time (sec) : 1667.57
1800.10/1800.50	c Solving Nodes      : 5696967
1800.10/1800.50	c Primal Bound       : +4.30000000000000e+01 (9 solutions)
1800.10/1800.50	c Dual Bound         : +1.00000000000000e+00
1800.10/1800.50	c Gap                : 4200.00 %
1800.10/1800.50	s SATISFIABLE
1800.10/1800.50	v -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 
1800.10/1800.50	v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 
1800.10/1800.50	v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 
1800.10/1800.50	v -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 
1800.10/1800.50	v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 
1800.10/1800.50	v -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 
1800.10/1800.50	v -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 x283 
1800.10/1800.50	v -x282 -x281 x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 
1800.10/1800.50	v -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 
1800.10/1800.50	v -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 
1800.10/1800.50	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 
1800.10/1800.50	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 
1800.10/1800.50	v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 
1800.10/1800.50	v -x155 -x154 -x153 -x152 x151 x150 x149 x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 
1800.10/1800.50	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 x114 
1800.10/1800.50	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 
1800.10/1800.50	v -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 
1800.10/1800.50	v x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 x43 -x42 -x41 -x40 
1800.10/1800.50	v -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 
1800.10/1800.50	v x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 x2 -x1 
1800.10/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.50	c Solving Time       :    1667.57
1800.10/1800.50	c Original Problem   :
1800.10/1800.50	c   Problem name     : HOME/instance-2664779-1276593456.opb
1800.10/1800.50	c   Variables        : 431 (431 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.50	c   Constraints      : 177 initial, 177 maximal
1800.10/1800.50	c Presolved Problem  :
1800.10/1800.50	c   Problem name     : t_HOME/instance-2664779-1276593456.opb
1800.10/1800.50	c   Variables        : 427 (427 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.50	c   Constraints      : 151 initial, 151 maximal
1800.10/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   dualfix          :       0.00          4          0          0          0          0          0          0          0
1800.10/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   linear           :       0.00          0          0          0          0          0         26         26          0
1800.10/1800.50	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.10/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.50	c   logicor          :        151+         0   11471194          0          5    2210576   11618951          0          0          0
1800.10/1800.50	c   countsols        :          0          0          0          0          6          0          0          0          0          0
1800.10/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.50	c   logicor          :     552.58       0.00     552.58       0.00       0.00
1800.10/1800.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.50	c   vbounds          :       9.69          2          0          0
1800.10/1800.50	c   rootredcost      :       9.74          0          0          0
1800.10/1800.50	c   pseudoobj        :     721.27   21349052    1284102   68021275
1800.10/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.50	c   propagation      :     765.55    3494677    3494677    3494677      140.4       8636      120.0          -
1800.10/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.10/1800.50	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.10/1800.50	c   applied locally  :          -          -          -    3494677      140.4          -          -          -
1800.10/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.10/1800.50	c   redcost          :       0.00          0          0          0          0          0
1800.10/1800.50	c   impliedbounds    :       0.00          0          0          0          0          0
1800.10/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.50	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.50	c   gomory           :       0.00          0          0          0          0          0
1800.10/1800.50	c   strongcg         :       0.00          0          0          0          0          0
1800.10/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.10/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.10/1800.50	c   clique           :       0.00          0          0          0          0          0
1800.10/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.50	c   mcf              :       0.00          0          0          0          0          0
1800.10/1800.50	c   rapidlearning    :       0.00          0          0          0          0          0
1800.10/1800.50	c Pricers            :       Time      Calls       Vars
1800.10/1800.50	c   problem variables:       0.00          0          0
1800.10/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.50	c   relpscost        :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   inference        :      54.36    4055043          0          0          0          0    8110086
1800.10/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.50	c   LP solutions     :       0.00          -          0
1800.10/1800.50	c   pseudo solutions :       0.01          -          6
1800.10/1800.50	c   oneopt           :       3.53          0          0
1800.10/1800.50	c   trivial          :       0.00          2          3
1800.10/1800.50	c   simplerounding   :       0.00          0          0
1800.10/1800.50	c   zirounding       :       0.00          0          0
1800.10/1800.50	c   rounding         :       0.00          0          0
1800.10/1800.50	c   shifting         :       0.00          0          0
1800.10/1800.50	c   intshifting      :       0.00          0          0
1800.10/1800.50	c   twoopt           :       0.00          0          0
1800.10/1800.51	c   fixandinfer      :       0.00          0          0
1800.10/1800.51	c   feaspump         :       0.00          0          0
1800.10/1800.51	c   coefdiving       :       0.00          0          0
1800.10/1800.51	c   pscostdiving     :       0.00          0          0
1800.10/1800.51	c   fracdiving       :       0.00          0          0
1800.10/1800.51	c   veclendiving     :       0.00          0          0
1800.10/1800.51	c   intdiving        :       0.00          0          0
1800.10/1800.51	c   actconsdiving    :       0.00          0          0
1800.10/1800.51	c   objpscostdiving  :       0.00          0          0
1800.10/1800.51	c   rootsoldiving    :       0.00          0          0
1800.10/1800.51	c   linesearchdiving :       0.00          0          0
1800.10/1800.51	c   guideddiving     :       0.00          0          0
1800.10/1800.51	c   octane           :       0.00          0          0
1800.10/1800.51	c   rens             :       0.00          0          0
1800.10/1800.51	c   rins             :       0.00          0          0
1800.10/1800.51	c   localbranching   :       0.00          0          0
1800.10/1800.51	c   mutation         :       0.00          0          0
1800.10/1800.51	c   crossover        :       0.00          0          0
1800.10/1800.51	c   dins             :       0.00          0          0
1800.10/1800.51	c   undercover       :       0.00          0          0
1800.10/1800.51	c   nlp              :       2.32          0          0
1800.10/1800.51	c   trysol           :       2.82          0          0
1800.10/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.10/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.10/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.10/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.10/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.51	c B&B Tree           :
1800.10/1800.51	c   number of runs   :          1
1800.10/1800.51	c   nodes            :    5696967
1800.10/1800.51	c   nodes (total)    :    5696967
1800.10/1800.51	c   nodes left       :        333
1800.10/1800.51	c   max depth        :        379
1800.10/1800.51	c   max depth (total):        379
1800.10/1800.51	c   backtracks       :    1944195 (34.1%)
1800.10/1800.51	c   delayed cutoffs  :    2412771
1800.10/1800.51	c   repropagations   :    5512291 (45410282 domain reductions, 1852760 cutoffs)
1800.10/1800.51	c   avg switch length:       2.75
1800.10/1800.51	c   switching time   :      82.21
1800.10/1800.51	c Solution           :
1800.10/1800.51	c   Solutions found  :          9 (8 improvements)
1800.10/1800.51	c   First Solution   : +4.31000000000000e+02   (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.10/1800.51	c   Primal Bound     : +4.30000000000000e+01   (in run 1, after 148847 nodes, 47.54 seconds, depth 355, found by <relaxation>)
1800.10/1800.51	c   Dual Bound       : +1.00000000000000e+00
1800.10/1800.51	c   Gap              :    4200.00 %
1800.10/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.10/1800.51	c   Root Iterations  :          0
1800.10/1800.51	c Time complete: 1800.1.

Verifier Data 

OK	43

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 8865
/proc/meminfo: memFree=1557992/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=6584 CPUtime=0
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 1028 0 0 0 0 0 0 0 18 0 1 0 640643 6742016 951 1992294400 4194304 7136930 140735409343392 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8865/statm: 1646 961 254 719 0 925 0

[startup+0.0555059 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 8865
/proc/meminfo: memFree=1557992/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=12104 CPUtime=0.05
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 3490 0 0 0 4 1 0 0 20 0 1 0 640643 12394496 2284 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3026 2284 379 719 0 2305 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12104

[startup+0.10151 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 8865
/proc/meminfo: memFree=1557992/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=12492 CPUtime=0.1
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 3618 0 0 0 8 2 0 0 20 0 1 0 640643 12791808 2412 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3123 2412 385 719 0 2402 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12492

[startup+0.301524 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 8865
/proc/meminfo: memFree=1557992/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=12888 CPUtime=0.29
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 3696 0 0 0 26 3 0 0 20 0 1 0 640643 13197312 2490 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3222 2490 385 719 0 2501 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12888

[startup+0.701554 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 8865
/proc/meminfo: memFree=1557992/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=13024 CPUtime=0.69
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 3734 0 0 0 63 6 0 0 20 0 1 0 640643 13336576 2528 1992294400 4194304 7136930 140735409343392 18446744073709551615 4704269 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3256 2528 385 719 0 2535 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13024

[startup+1.50161 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 8866
/proc/meminfo: memFree=1549180/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=13160 CPUtime=1.49
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 3780 0 0 0 137 12 0 0 23 0 1 0 640643 13475840 2574 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3290 2574 385 719 0 2569 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13160

[startup+3.10073 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 8866
/proc/meminfo: memFree=1548808/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=13428 CPUtime=3.09
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 3848 0 0 0 285 24 0 0 25 0 1 0 640643 13750272 2642 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3357 2642 385 719 0 2636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13428

[startup+6.30097 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 8866
/proc/meminfo: memFree=1548064/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=13960 CPUtime=6.29
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 3980 0 0 0 584 45 0 0 25 0 1 0 640643 14295040 2774 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3490 2774 385 719 0 2769 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13960

[startup+12.7004 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 8866
/proc/meminfo: memFree=1547568/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=14552 CPUtime=12.69
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4110 0 0 0 1181 88 0 0 25 0 1 0 640643 14901248 2904 1992294400 4194304 7136930 140735409343392 18446744073709551615 4434047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3638 2904 385 719 0 2917 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14552

[startup+25.5014 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8866
/proc/meminfo: memFree=1547196/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=14816 CPUtime=25.49
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4186 0 0 0 2377 172 0 0 25 0 1 0 640643 15171584 2980 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3704 2980 385 719 0 2983 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14816

[startup+51.1013 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8868
/proc/meminfo: memFree=1546824/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15104 CPUtime=51.08
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4267 0 0 0 4759 349 0 0 25 0 1 0 640643 15466496 3061 1992294400 4194304 7136930 140735409343392 18446744073709551615 5924642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3776 3061 385 719 0 3055 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15104

[startup+102.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8868
/proc/meminfo: memFree=1546204/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15512 CPUtime=102.28
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4350 0 0 0 9530 698 0 0 25 0 1 0 640643 15884288 3144 1992294400 4194304 7136930 140735409343392 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3878 3144 385 719 0 3157 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15512

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8870
/proc/meminfo: memFree=1546080/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15512 CPUtime=162.25
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4361 0 0 0 15093 1132 0 0 25 0 1 0 640643 15884288 3155 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3878 3155 385 719 0 3157 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 15512

[startup+222.302 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 8872
/proc/meminfo: memFree=1545956/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15512 CPUtime=222.24
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4372 0 0 0 20678 1546 0 0 25 0 1 0 640643 15884288 3166 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3878 3166 385 719 0 3157 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 15512

[startup+282.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 8874
/proc/meminfo: memFree=1545832/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15648 CPUtime=282.23
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4406 0 0 0 26225 1998 0 0 25 0 1 0 640643 16023552 3200 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3912 3200 385 719 0 3191 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 15648

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8874
/proc/meminfo: memFree=1545708/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15648 CPUtime=342.21
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4408 0 0 0 31786 2435 0 0 25 0 1 0 640643 16023552 3202 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3912 3202 385 719 0 3191 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 15648

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8876
/proc/meminfo: memFree=1545584/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=402.2
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4409 0 0 0 37376 2844 0 0 25 0 1 0 640643 16158720 3203 1992294400 4194304 7136930 140735409343392 18446744073709551615 4434049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3203 385 719 0 3224 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 15780

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8878
/proc/meminfo: memFree=1545460/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=462.19
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4414 0 0 0 42942 3277 0 0 25 0 1 0 640643 16158720 3208 1992294400 4194304 7136930 140735409343392 18446744073709551615 5918702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3208 385 719 0 3224 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 15780

[startup+522.302 s]
/proc/loadavg: 1.06 1.03 1.01 2/107 8880
/proc/meminfo: memFree=1545336/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=522.18
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4418 0 0 0 48494 3724 0 0 25 0 1 0 640643 16158720 3212 1992294400 4194304 7136930 140735409343392 18446744073709551615 5918157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3212 385 719 0 3224 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 15780

[startup+582.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 8882
/proc/meminfo: memFree=1545212/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=582.16
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4428 0 0 0 54039 4177 0 0 25 0 1 0 640643 16158720 3222 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3222 385 719 0 3224 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 15780

[startup+642.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 8882
/proc/meminfo: memFree=1545088/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=642.16
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4430 0 0 0 59591 4625 0 0 25 0 1 0 640643 16158720 3224 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3224 385 719 0 3224 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 15780

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8893
/proc/meminfo: memFree=1543972/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=882.09
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4436 0 0 0 81790 6419 0 0 25 0 1 0 640643 16158720 3230 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3230 385 719 0 3224 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 15780

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8893
/proc/meminfo: memFree=1543972/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=942.08
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4436 0 0 0 87341 6867 0 0 25 0 1 0 640643 16158720 3230 1992294400 4194304 7136930 140735409343392 18446744073709551615 5506150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3230 385 719 0 3224 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 15780

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8895
/proc/meminfo: memFree=1543972/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1002.07
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4436 0 0 0 92901 7306 0 0 25 0 1 0 640643 16158720 3230 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3230 385 719 0 3224 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 15780

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8897
/proc/meminfo: memFree=1543972/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1062.05
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4436 0 0 0 98463 7742 0 0 25 0 1 0 640643 16158720 3230 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3230 385 719 0 3224 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 15780

[startup+1122.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 8899
/proc/meminfo: memFree=1543972/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1122.04
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4436 0 0 0 104023 8181 0 0 25 0 1 0 640643 16158720 3230 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3230 385 719 0 3224 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 15780

[startup+1182.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 8901
/proc/meminfo: memFree=1543972/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1182.03
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4436 0 0 0 109585 8618 0 0 25 0 1 0 640643 16158720 3230 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3230 385 719 0 3224 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 15780

[startup+1242.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 8901
/proc/meminfo: memFree=1543848/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1242.02
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4436 0 0 0 115148 9054 0 0 25 0 1 0 640643 16158720 3230 1992294400 4194304 7136930 140735409343392 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3230 385 719 0 3224 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 15780

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 8903
/proc/meminfo: memFree=1543724/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1302.01
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4438 0 0 0 120699 9502 0 0 25 0 1 0 640643 16158720 3232 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3232 385 719 0 3224 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 15780

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8905
/proc/meminfo: memFree=1543600/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1361.99
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4439 0 0 0 126253 9946 0 0 25 0 1 0 640643 16158720 3233 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3233 385 719 0 3224 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 15780

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8907
/proc/meminfo: memFree=1543600/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1421.98
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4439 0 0 0 131799 10399 0 0 25 0 1 0 640643 16158720 3233 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3233 385 719 0 3224 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 15780

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8909
/proc/meminfo: memFree=1543476/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1481.96
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4439 0 0 0 137355 10841 0 0 25 0 1 0 640643 16158720 3233 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3233 385 719 0 3224 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 15780

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8909
/proc/meminfo: memFree=1543352/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1541.94
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4439 0 0 0 142907 11287 0 0 25 0 1 0 640643 16158720 3233 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3233 385 719 0 3224 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 15780

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8911
/proc/meminfo: memFree=1543352/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1601.94
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4439 0 0 0 148451 11743 0 0 25 0 1 0 640643 16158720 3233 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3233 385 719 0 3224 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 15780

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8913
/proc/meminfo: memFree=1543228/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1661.92
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4439 0 0 0 153996 12196 0 0 25 0 1 0 640643 16158720 3233 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3233 385 719 0 3224 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 15780

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8915
/proc/meminfo: memFree=1542980/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1721.9
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4439 0 0 0 159536 12654 0 0 25 0 1 0 640643 16158720 3233 1992294400 4194304 7136930 140735409343392 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3233 385 719 0 3224 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 15780

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8917
/proc/meminfo: memFree=1542608/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1781.89
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4440 0 0 0 165076 13113 0 0 25 0 1 0 640643 16158720 3234 1992294400 4194304 7136930 140735409343392 18446744073709551615 5506875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3234 385 719 0 3224 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 15780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8917
/proc/meminfo: memFree=1542608/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1800.1
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4440 0 0 0 166758 13252 0 0 25 0 1 0 640643 16158720 3234 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3234 385 719 0 3224 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 15780

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8917
/proc/meminfo: memFree=1542608/2059040 swapFree=4192956/4192956
[pid=8865] ppid=8863 vsize=15780 CPUtime=1800.1
/proc/8865/stat : 8865 (pbscip.linux.x8) R 8863 8865 2331 0 -1 4202496 4440 0 0 0 166758 13252 0 0 25 0 1 0 640643 16158720 3234 1992294400 4194304 7136930 140735409343392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8865/statm: 3945 3234 385 719 0 3224 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 15780

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.12
CPU user time (s): 1667.59
CPU system time (s): 132.528
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 15780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1667.59
system time used= 132.528
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3036

runsolver used 3.23351 second user time and 8.28874 second system time

The end

Launcher Data 

Begin job on node034 at 2010-06-15 11:17:36
IDJOB=2664779
IDBENCH=2867
IDSOLVER=1167
FILE ID=node034/2664779-1276593456
PBS_JOBID= 11172217
Free space on /tmp= 62516 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-fout.r.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664779-1276593456/watcher-2664779-1276593456 -o /tmp/evaluation-result-2664779-1276593456/solver-2664779-1276593456 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664779-1276593456.opb -t 1800 -m 1800

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

MD5SUM BENCH= 40b50d0e4bc3f1ba5675c1e65f55a1d7
RANDOM SEED=2027535087

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1558520 kB
Buffers:         39628 kB
Cached:         335196 kB
SwapCached:          0 kB
Active:         176944 kB
Inactive:       257556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1558520 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3256 kB
Writeback:           0 kB
AnonPages:       59592 kB
Mapped:          15440 kB
Slab:            44220 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62512 MiB
End job on node034 at 2010-06-15 11:47:38