Trace number 2664087

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)50 1800.03 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m200_500_10_10.r.opb
MD5SUM9ce5413471f93025df24c6fa43fb2680
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1719.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 39
Optimality of the best value was proved NO
Number of variables492
Total number of constraints200
Number of constraints which are clauses200
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 constraint10
Maximum length of a constraint10
Number of terms in the objective function 492
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 492
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 492
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-2664087-1276595194.opb>
0.00/0.01	c original problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 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 492
0.00/0.02	c feasible solution found by trivial heuristic, objective value  4.920000e+02
0.00/0.02	c presolving:
0.00/0.03	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 0 impls, 0 clqs
0.00/0.03	c    (0.0s) probing: 101/492 (20.5%) - 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 (2 rounds):
0.00/0.04	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04	c  0 implications, 0 cliques
0.00/0.04	c presolved problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.04	c     200 constraints of type <logicor>
0.00/0.04	c transformed objective value is always integral (scale: 1)
0.00/0.04	c Presolving Time: 0.01
0.00/0.04	c - non default parameters ----------------------------------------------------------------------
0.00/0.04	c # SCIP version 1.2.1.2
0.00/0.04	c 
0.00/0.04	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.04	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04	c conflict/interconss = 0
0.00/0.04	c 
0.00/0.04	c # should binary conflicts be preferred?
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c conflict/preferbinary = TRUE
0.00/0.04	c 
0.00/0.04	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.04	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04	c constraints/agelimit = 1
0.00/0.04	c 
0.00/0.04	c # should enforcement of pseudo solution be disabled?
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c constraints/disableenfops = TRUE
0.00/0.04	c 
0.00/0.04	c # frequency for displaying node information lines
0.00/0.04	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04	c display/freq = 10000
0.00/0.04	c 
0.00/0.04	c # maximal time in seconds to run
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/time = 1799.99
0.00/0.04	c 
0.00/0.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/memory = 1620
0.00/0.04	c 
0.00/0.04	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04	c lp/solvefreq = -1
0.00/0.04	c 
0.00/0.04	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.04	c # [type: char, range: {lafpsqd}, default: l]
0.00/0.04	c lp/pricing = a
0.00/0.04	c 
0.00/0.04	c # should presolving try to simplify inequalities
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c constraints/linear/simplifyinequalities = TRUE
0.00/0.04	c 
0.00/0.04	c # should presolving try to simplify knapsacks
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04	c 
0.00/0.04	c # priority of node selection rule <dfs> in standard mode
0.00/0.04	c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.04	c nodeselection/dfs/stdpriority = 1000000
0.00/0.04	c 
0.00/0.04	c -----------------------------------------------------------------------------------------------
0.00/0.04	c start solving
0.00/0.04	c 
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 |     2 |     0 |     - |1104k|   0 |   - | 492 | 200 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.920000e+02 |    Inf 
0.05/0.09	o 56
0.05/0.09	c * 0.1s|   437 |   434 |     0 |   0.0 |1322k| 436 |   - | 492 | 200 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 | 5.600000e+01 |5500.00%
0.05/0.09	o 55
0.05/0.09	c * 0.1s|   448 |   433 |     0 |   0.0 |1353k| 436 |   - | 492 | 200 |   0 |   0 |   0 |   6 |   0 | 1.000000e+00 | 5.500000e+01 |5400.00%
0.39/0.42	o 54
0.39/0.42	c * 0.4s|  1459 |   426 |     0 |   0.0 |1373k| 436 |   - | 492 | 200 |   0 |   0 |   0 | 620 |   0 | 1.000000e+00 | 5.400000e+01 |5300.00%
2.69/2.75	o 53
2.69/2.75	c * 2.5s|  8133 |   418 |     0 |   0.0 |1391k| 437 |   - | 492 | 200 |   0 |   0 |   0 |4651 |   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
3.30/3.38	c   3.1s| 10000 |   422 |     0 |   0.0 |1391k| 437 |   - | 492 | 200 |   0 |   0 |   0 |5771 |   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
6.68/6.73	c   6.2s| 20000 |   418 |     0 |   0.0 |1393k| 439 |   - | 492 | 200 |   0 |   0 |   0 |  11k|   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
9.90/9.97	c   9.2s| 30000 |   420 |     0 |   0.0 |1395k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  17k|   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
13.20/13.27	c  12.3s| 40000 |   419 |     0 |   0.0 |1398k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
16.59/16.65	c  15.5s| 50000 |   416 |     0 |   0.0 |1394k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  29k|   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
19.98/20.01	c  18.7s| 60000 |   418 |     0 |   0.0 |1394k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  34k|   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
23.38/23.46	c  21.9s| 70000 |   417 |     0 |   0.0 |1396k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  41k|   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
26.68/26.79	c  25.1s| 80000 |   420 |     0 |   0.0 |1399k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  46k|   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
30.09/30.15	c  28.2s| 90000 |   420 |     0 |   0.0 |1399k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  52k|   0 | 1.000000e+00 | 5.300000e+01 |5200.00%
30.38/30.41	o 52
30.38/30.41	c *28.4s| 90747 |   417 |     0 |   0.0 |1408k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  53k|   0 | 1.000000e+00 | 5.200000e+01 |5100.00%
33.38/33.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
33.38/33.46	c  31.3s|100000 |   417 |     0 |   0.0 |1404k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 | 5.200000e+01 |5100.00%
36.79/36.81	c  34.4s|110000 |   417 |     0 |   0.0 |1408k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  64k|   0 | 1.000000e+00 | 5.200000e+01 |5100.00%
40.08/40.15	c  37.5s|120000 |   416 |     0 |   0.0 |1402k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  70k|   0 | 1.000000e+00 | 5.200000e+01 |5100.00%
43.38/43.44	c  40.6s|130000 |   417 |     0 |   0.0 |1408k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  76k|   0 | 1.000000e+00 | 5.200000e+01 |5100.00%
46.58/46.66	c  43.6s|140000 |   416 |     0 |   0.0 |1402k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  82k|   0 | 1.000000e+00 | 5.200000e+01 |5100.00%
49.78/49.84	c  46.5s|150000 |   419 |     0 |   0.0 |1403k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  87k|   0 | 1.000000e+00 | 5.200000e+01 |5100.00%
52.98/53.03	c  49.5s|160000 |   415 |     0 |   0.0 |1406k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  94k|   0 | 1.000000e+00 | 5.200000e+01 |5100.00%
53.58/53.64	o 51
53.58/53.64	c *50.1s|161944 |   413 |     0 |   0.0 |1409k| 440 |   - | 492 | 200 |   0 |   0 |   0 |  95k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
56.37/56.44	c  52.7s|170000 |   414 |     0 |   0.0 |1421k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 100k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
59.77/59.87	c  55.9s|180000 |   413 |     0 |   0.0 |1412k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 106k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
63.07/63.18	c  59.0s|190000 |   416 |     0 |   0.0 |1415k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 111k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
66.37/66.47	c  62.1s|200000 |   416 |     0 |   0.0 |1411k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 117k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
69.68/69.79	c  65.2s|210000 |   416 |     0 |   0.0 |1413k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 123k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
72.97/73.05	c  68.2s|220000 |   416 |     0 |   0.0 |1421k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 129k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
76.37/76.45	c  71.4s|230000 |   416 |     0 |   0.0 |1414k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 135k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
79.67/79.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
79.67/79.80	c  74.5s|240000 |   414 |     0 |   0.0 |1409k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 141k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
82.97/83.05	c  77.6s|250000 |   419 |     0 |   0.0 |1413k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 147k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
86.37/86.46	c  80.8s|260000 |   415 |     0 |   0.0 |1419k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 153k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
89.66/89.79	c  83.9s|270000 |   413 |     0 |   0.0 |1409k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 159k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
93.07/93.10	c  87.0s|280000 |   415 |     0 |   0.0 |1414k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 165k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
96.36/96.45	c  90.2s|290000 |   419 |     0 |   0.0 |1411k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 171k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
99.67/99.71	c  93.2s|300000 |   419 |     0 |   0.0 |1417k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 177k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
102.96/103.01	c  96.3s|310000 |   412 |     0 |   0.0 |1414k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 183k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
106.36/106.41	c  99.5s|320000 |   414 |     0 |   0.0 |1417k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 189k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
109.76/109.81	c   103s|330000 |   413 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 195k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
113.06/113.15	c   106s|340000 |   415 |     0 |   0.0 |1412k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 201k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
116.47/116.54	c   109s|350000 |   422 |     0 |   0.0 |1415k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 207k|   0 | 1.000000e+00 | 5.100000e+01 |5000.00%
117.76/117.85	o 50
117.76/117.85	c * 110s|353840 |   410 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 209k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
119.86/119.92	c   112s|360000 |   415 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 213k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
123.16/123.24	c   115s|370000 |   416 |     0 |   0.0 |1417k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 219k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
126.46/126.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
126.46/126.55	c   118s|380000 |   412 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 225k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
129.76/129.81	c   121s|390000 |   417 |     0 |   0.0 |1421k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 231k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
133.07/133.11	c   124s|400000 |   413 |     0 |   0.0 |1418k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 237k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
136.45/136.52	c   128s|410000 |   414 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 243k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
139.76/139.83	c   131s|420000 |   417 |     0 |   0.0 |1417k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 249k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
143.15/143.25	c   134s|430000 |   415 |     0 |   0.0 |1422k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 255k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
146.45/146.58	c   137s|440000 |   415 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 260k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
149.85/149.95	c   140s|450000 |   413 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 267k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
153.25/153.34	c   143s|460000 |   415 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 273k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
156.65/156.76	c   147s|470000 |   414 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 279k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
160.05/160.15	c   150s|480000 |   414 |     0 |   0.0 |1421k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 284k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
163.65/163.71	c   153s|490000 |   415 |     0 |   0.0 |1422k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 290k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
167.24/167.34	c   157s|500000 |   414 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 296k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
170.85/170.95	c   160s|510000 |   413 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 302k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
174.54/174.63	c   163s|520000 |   410 |     0 |   0.0 |1421k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 308k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
178.34/178.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
178.34/178.45	c   167s|530000 |   414 |     0 |   0.0 |1422k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 314k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
181.74/181.86	c   170s|540000 |   411 |     0 |   0.0 |1419k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 320k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
185.05/185.16	c   173s|550000 |   410 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 326k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
188.54/188.62	c   177s|560000 |   414 |     0 |   0.0 |1422k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 332k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
191.94/192.06	c   180s|570000 |   413 |     0 |   0.0 |1422k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 338k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
195.44/195.50	c   183s|580000 |   415 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 344k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
198.74/198.84	c   186s|590000 |   415 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 349k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
202.14/202.28	c   189s|600000 |   414 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 355k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
205.54/205.63	c   192s|610000 |   408 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 361k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
208.94/209.06	c   196s|620000 |   411 |     0 |   0.0 |1419k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 367k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
212.33/212.44	c   199s|630000 |   411 |     0 |   0.0 |1421k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 373k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
215.64/215.70	c   202s|640000 |   412 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 379k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
218.84/218.94	c   205s|650000 |   415 |     0 |   0.0 |1422k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 385k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
222.14/222.29	c   208s|660000 |   411 |     0 |   0.0 |1417k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 391k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
225.44/225.58	c   211s|670000 |   416 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 396k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
228.73/228.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
228.73/228.83	c   214s|680000 |   414 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 402k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
232.13/232.21	c   217s|690000 |   415 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 408k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
235.52/235.62	c   220s|700000 |   410 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 414k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
238.92/239.01	c   224s|710000 |   412 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 420k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
242.12/242.21	c   227s|720000 |   410 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 426k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
245.42/245.59	c   230s|730000 |   410 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 432k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
249.02/249.13	c   233s|740000 |   410 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 438k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
252.43/252.50	c   236s|750000 |   411 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 444k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
255.72/255.87	c   239s|760000 |   412 |     0 |   0.0 |1421k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 450k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
259.13/259.26	c   243s|770000 |   411 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 456k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
262.52/262.62	c   246s|780000 |   409 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 462k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
265.92/266.06	c   249s|790000 |   412 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 468k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
269.22/269.31	c   252s|800000 |   412 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 474k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
272.52/272.65	c   255s|810000 |   411 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 480k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
276.03/276.13	c   258s|820000 |   411 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 486k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
279.42/279.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
279.42/279.56	c   262s|830000 |   410 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 492k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
282.92/283.01	c   265s|840000 |   413 |     0 |   0.0 |1419k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 498k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
286.42/286.58	c   268s|850000 |   412 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 504k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
289.91/290.02	c   271s|860000 |   412 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 510k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
293.32/293.48	c   275s|870000 |   410 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 515k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
296.92/297.05	c   278s|880000 |   411 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 521k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
300.31/300.43	c   281s|890000 |   408 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 527k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
303.82/303.98	c   284s|900000 |   412 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 533k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
307.31/307.45	c   288s|910000 |   413 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 539k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
310.81/310.99	c   291s|920000 |   408 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 545k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
314.41/314.53	c   294s|930000 |   409 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 551k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
317.90/318.06	c   298s|940000 |   411 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 557k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
321.50/321.65	c   301s|950000 |   411 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 563k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
325.00/325.16	c   304s|960000 |   410 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 569k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
328.50/328.69	c   308s|970000 |   409 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 575k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
332.11/332.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
332.11/332.21	c   311s|980000 |   410 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 581k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
335.61/335.74	c   314s|990000 |   407 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 588k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
339.10/339.26	c   318s|  1000k|   413 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 593k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
342.50/342.67	c   321s|  1010k|   409 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 599k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
346.00/346.18	c   324s|  1020k|   415 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 605k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
349.61/349.72	c   327s|  1030k|   409 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 611k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
353.00/353.12	c   330s|  1040k|   409 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 617k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
356.20/356.39	c   334s|  1050k|   408 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 623k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
359.60/359.77	c   337s|  1060k|   411 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 629k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
363.20/363.32	c   340s|  1070k|   408 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 635k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
366.59/366.78	c   343s|  1080k|   410 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 641k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
370.09/370.29	c   347s|  1090k|   410 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 647k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
373.79/373.93	c   350s|  1100k|   410 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 653k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
377.39/377.55	c   353s|  1110k|   408 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 659k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
380.79/380.99	c   357s|  1120k|   408 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 665k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
384.40/384.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
384.40/384.52	c   360s|  1130k|   411 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 671k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
387.89/388.00	c   363s|  1140k|   409 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 677k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
391.18/391.37	c   366s|  1150k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 683k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
394.69/394.90	c   370s|  1160k|   411 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 689k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
398.29/398.42	c   373s|  1170k|   409 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 695k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
401.58/401.76	c   376s|  1180k|   408 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 701k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
404.89/405.01	c   379s|  1190k|   408 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 707k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
408.49/408.60	c   382s|  1200k|   413 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 713k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
411.98/412.14	c   386s|  1210k|   408 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 719k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
415.48/415.65	c   389s|  1220k|   407 |     0 |   0.0 |1421k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 725k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
419.08/419.25	c   392s|  1230k|   407 |     0 |   0.0 |1419k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 731k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
422.58/422.73	c   396s|  1240k|   406 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 737k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
425.97/426.17	c   399s|  1250k|   410 |     0 |   0.0 |1422k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 743k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
429.58/429.79	c   402s|  1260k|   407 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 749k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
433.07/433.21	c   406s|  1270k|   407 |     0 |   0.0 |1419k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 755k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
436.48/436.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
436.48/436.67	c   409s|  1280k|   408 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 761k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
440.08/440.21	c   412s|  1290k|   407 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 767k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
443.47/443.67	c   415s|  1300k|   413 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 773k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
447.07/447.22	c   419s|  1310k|   408 |     0 |   0.0 |1438k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 779k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
450.78/450.93	c   422s|  1320k|   409 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 785k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
454.28/454.48	c   425s|  1330k|   410 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 791k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
457.87/458.07	c   429s|  1340k|   409 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 797k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
461.47/461.60	c   432s|  1350k|   410 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 803k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
464.97/465.13	c   435s|  1360k|   410 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 810k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
468.67/468.85	c   439s|  1370k|   407 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 815k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
472.26/472.50	c   442s|  1380k|   409 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 821k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
475.96/476.19	c   446s|  1390k|   411 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 827k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
479.66/479.89	c   449s|  1400k|   408 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 833k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
483.16/483.34	c   452s|  1410k|   408 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 839k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
486.57/486.72	c   456s|  1420k|   408 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 845k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
489.86/490.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
489.86/490.09	c   459s|  1430k|   406 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 851k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
493.26/493.45	c   462s|  1440k|   407 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 857k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
496.76/496.98	c   465s|  1450k|   408 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 863k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
500.27/500.41	c   468s|  1460k|   408 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 868k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
503.76/503.95	c   472s|  1470k|   410 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 874k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
507.36/507.55	c   475s|  1480k|   408 |     0 |   0.0 |1420k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 880k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
510.76/510.99	c   478s|  1490k|   407 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 887k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
514.16/514.30	c   481s|  1500k|   404 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 893k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
517.36/517.58	c   484s|  1510k|   405 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 899k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
520.96/521.12	c   488s|  1520k|   408 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 904k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
524.66/524.82	c   491s|  1530k|   409 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 910k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
528.25/528.43	c   495s|  1540k|   408 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 916k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
531.75/531.93	c   498s|  1550k|   413 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 922k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
535.35/535.54	c   501s|  1560k|   409 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 928k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
538.86/539.08	c   505s|  1570k|   407 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 934k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
542.45/542.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
542.45/542.67	c   508s|  1580k|   407 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 940k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
546.05/546.29	c   511s|  1590k|   406 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 946k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
549.75/549.92	c   515s|  1600k|   409 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 952k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
553.35/553.51	c   518s|  1610k|   407 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 958k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
556.74/556.96	c   521s|  1620k|   409 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 964k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
560.25/560.42	c   525s|  1630k|   408 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 970k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
563.65/563.87	c   528s|  1640k|   403 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 976k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
567.14/567.30	c   531s|  1650k|   409 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 982k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
570.54/570.77	c   534s|  1660k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 988k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
573.95/574.17	c   538s|  1670k|   409 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 | 994k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
577.44/577.63	c   541s|  1680k|   409 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1000k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
580.84/581.04	c   544s|  1690k|   408 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1006k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
584.14/584.31	c   547s|  1700k|   410 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1012k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
587.34/587.59	c   550s|  1710k|   411 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1018k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
590.54/590.79	c   553s|  1720k|   412 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1024k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
594.03/594.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
594.03/594.24	c   556s|  1730k|   410 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1030k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
597.54/597.73	c   560s|  1740k|   412 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1036k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
601.04/601.25	c   563s|  1750k|   408 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1042k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
604.53/604.73	c   566s|  1760k|   408 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1048k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
607.83/608.04	c   569s|  1770k|   407 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1054k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
611.23/611.44	c   572s|  1780k|   409 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1060k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
614.64/614.82	c   575s|  1790k|   406 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1066k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
617.94/618.18	c   579s|  1800k|   409 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1072k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
621.24/621.50	c   582s|  1810k|   411 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1078k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
624.64/624.85	c   585s|  1820k|   411 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1084k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
628.03/628.24	c   588s|  1830k|   408 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1090k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
631.53/631.72	c   591s|  1840k|   408 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1096k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
634.92/635.13	c   594s|  1850k|   409 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1102k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
638.32/638.59	c   598s|  1860k|   406 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1108k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
641.62/641.84	c   601s|  1870k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1114k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
645.13/645.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
645.13/645.35	c   604s|  1880k|   408 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1120k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
648.62/648.87	c   607s|  1890k|   406 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1125k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
652.13/652.38	c   611s|  1900k|   406 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1132k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
655.62/655.83	c   614s|  1910k|   410 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1138k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
659.22/659.47	c   617s|  1920k|   410 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1144k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
662.62/662.89	c   620s|  1930k|   407 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1150k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
665.82/666.06	c   623s|  1940k|   407 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1155k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
669.11/669.38	c   627s|  1950k|   403 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1161k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
672.42/672.68	c   630s|  1960k|   406 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1167k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
675.81/676.08	c   633s|  1970k|   405 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1173k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
679.11/679.39	c   636s|  1980k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1179k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
682.51/682.79	c   639s|  1990k|   411 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1185k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
686.02/686.26	c   642s|  2000k|   409 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1191k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
689.31/689.57	c   645s|  2010k|   408 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1197k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
692.72/692.98	c   649s|  2020k|   408 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1203k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
696.11/696.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
696.11/696.32	c   652s|  2030k|   411 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1209k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
699.61/699.82	c   655s|  2040k|   410 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1215k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
703.11/703.34	c   658s|  2050k|   407 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1221k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
706.51/706.76	c   662s|  2060k|   407 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1227k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
710.10/710.31	c   665s|  2070k|   407 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1233k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
713.62/713.81	c   668s|  2080k|   407 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1239k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
716.91/717.12	c   671s|  2090k|   407 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1245k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
720.11/720.40	c   674s|  2100k|   411 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1250k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
723.40/723.64	c   677s|  2110k|   408 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1256k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
726.70/726.97	c   680s|  2120k|   407 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1262k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
730.11/730.37	c   684s|  2130k|   408 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1268k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
733.60/733.86	c   687s|  2140k|   406 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1274k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
736.90/737.16	c   690s|  2150k|   407 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1280k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
740.40/740.65	c   693s|  2160k|   406 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1286k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
743.79/744.05	c   696s|  2170k|   404 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1292k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
747.10/747.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
747.10/747.36	c   700s|  2180k|   405 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1298k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
750.59/750.81	c   703s|  2190k|   408 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1304k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
753.89/754.12	c   706s|  2200k|   406 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1310k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
757.30/757.53	c   709s|  2210k|   410 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1316k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
760.59/760.83	c   712s|  2220k|   407 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1322k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
763.99/764.21	c   715s|  2230k|   412 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1328k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
767.39/767.64	c   719s|  2240k|   408 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1334k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
770.80/771.06	c   722s|  2250k|   407 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1340k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
774.20/774.47	c   725s|  2260k|   406 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1346k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
777.50/777.77	c   728s|  2270k|   404 |     0 |   0.0 |1422k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1352k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
780.79/781.08	c   731s|  2280k|   408 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1358k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
784.19/784.43	c   734s|  2290k|   408 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1364k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
787.49/787.75	c   737s|  2300k|   409 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1370k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
790.79/791.03	c   740s|  2310k|   409 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1376k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
794.28/794.51	c   744s|  2320k|   407 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1382k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
797.58/797.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
797.58/797.83	c   747s|  2330k|   408 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1388k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
800.89/801.13	c   750s|  2340k|   408 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1394k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
804.28/804.53	c   753s|  2350k|   410 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1400k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
807.59/807.85	c   756s|  2360k|   406 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1406k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
810.88/811.18	c   759s|  2370k|   409 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1411k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
814.28/814.56	c   763s|  2380k|   406 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1417k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
817.78/818.04	c   766s|  2390k|   407 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1423k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
821.27/821.52	c   769s|  2400k|   406 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1429k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
824.68/825.00	c   772s|  2410k|   407 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1435k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
828.18/828.45	c   776s|  2420k|   407 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1441k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
831.58/831.88	c   779s|  2430k|   407 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1448k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
835.07/835.34	c   782s|  2440k|   408 |     0 |   0.0 |1441k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1454k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
838.57/838.90	c   785s|  2450k|   407 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1460k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
842.07/842.38	c   789s|  2460k|   406 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1466k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
845.58/845.82	c   792s|  2470k|   406 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1471k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
848.88/849.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
848.88/849.19	c   795s|  2480k|   408 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1477k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
852.37/852.60	c   798s|  2490k|   408 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1483k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
855.67/855.95	c   801s|  2500k|   405 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1489k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
859.06/859.37	c   805s|  2510k|   408 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1495k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
862.57/862.82	c   808s|  2520k|   406 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1501k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
865.97/866.22	c   811s|  2530k|   406 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1507k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
869.25/869.58	c   814s|  2540k|   406 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1513k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
872.64/872.96	c   817s|  2550k|   406 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1519k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
876.14/876.48	c   821s|  2560k|   406 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1525k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
879.44/879.78	c   824s|  2570k|   408 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1531k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
882.84/883.16	c   827s|  2580k|   406 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1537k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
886.35/886.68	c   830s|  2590k|   406 |     0 |   0.0 |1438k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1543k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
889.85/890.13	c   833s|  2600k|   403 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1549k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
893.34/893.69	c   837s|  2610k|   407 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1555k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
896.94/897.23	c   840s|  2620k|   408 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1561k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
900.44/900.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
900.44/900.77	c   843s|  2630k|   406 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1567k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
903.84/904.18	c   847s|  2640k|   409 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1573k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
907.24/907.59	c   850s|  2650k|   407 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1579k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
910.74/911.04	c   853s|  2660k|   407 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1585k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
914.24/914.56	c   856s|  2670k|   410 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1591k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
917.64/917.99	c   860s|  2680k|   408 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1597k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
920.84/921.16	c   862s|  2690k|   407 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1602k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
924.14/924.45	c   866s|  2700k|   405 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1608k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
927.53/927.83	c   869s|  2710k|   407 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1614k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
930.83/931.15	c   872s|  2720k|   406 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1620k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
934.23/934.54	c   875s|  2730k|   404 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1626k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
937.64/937.92	c   878s|  2740k|   405 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1632k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
941.23/941.51	c   882s|  2750k|   409 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1638k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
944.83/945.11	c   885s|  2760k|   409 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1644k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
948.33/948.65	c   888s|  2770k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1650k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
951.82/952.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
951.82/952.14	c   892s|  2780k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1656k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
955.42/955.70	c   895s|  2790k|   407 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1662k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
958.63/958.98	c   898s|  2800k|   407 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1667k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
961.93/962.27	c   901s|  2810k|   408 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1673k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
965.53/965.86	c   904s|  2820k|   405 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1679k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
969.13/969.46	c   908s|  2830k|   407 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1685k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
972.72/973.02	c   911s|  2840k|   405 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1691k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
976.22/976.51	c   914s|  2850k|   406 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1697k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
979.52/979.88	c   918s|  2860k|   407 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1703k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
982.72/983.07	c   921s|  2870k|   404 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1709k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
986.02/986.32	c   924s|  2880k|   404 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1715k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
989.32/989.69	c   927s|  2890k|   404 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1721k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
992.82/993.17	c   930s|  2900k|   406 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1727k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
996.22/996.57	c   933s|  2910k|   404 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1733k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
999.82/1000.11	c   936s|  2920k|   407 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1739k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1003.12/1003.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1003.12/1003.48	c   940s|  2930k|   406 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1745k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1006.61/1006.91	c   943s|  2940k|   408 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1751k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1010.02/1010.38	c   946s|  2950k|   406 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1757k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1013.52/1013.85	c   949s|  2960k|   409 |     0 |   0.0 |1438k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1763k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1017.01/1017.38	c   953s|  2970k|   406 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1769k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1020.52/1020.85	c   956s|  2980k|   405 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1775k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1024.11/1024.43	c   959s|  2990k|   407 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1781k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1027.61/1027.99	c   963s|  3000k|   406 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1787k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1031.20/1031.57	c   966s|  3010k|   406 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1793k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1034.61/1034.98	c   969s|  3020k|   408 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1799k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1038.20/1038.53	c   973s|  3030k|   406 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1805k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1041.50/1041.85	c   976s|  3040k|   410 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1810k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1045.00/1045.31	c   979s|  3050k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1816k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1048.51/1048.82	c   982s|  3060k|   407 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1822k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1051.90/1052.24	c   985s|  3070k|   410 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1828k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1055.20/1055.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1055.20/1055.56	c   988s|  3080k|   405 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1834k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1058.60/1058.93	c   992s|  3090k|   408 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1840k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1062.00/1062.30	c   995s|  3100k|   409 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1846k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1065.50/1065.85	c   998s|  3110k|   407 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1852k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1068.91/1069.24	c  1001s|  3120k|   405 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1858k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1072.20/1072.54	c  1004s|  3130k|   407 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1863k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1075.80/1076.11	c  1008s|  3140k|   404 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1869k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1079.19/1079.56	c  1011s|  3150k|   404 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1875k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1082.59/1082.90	c  1014s|  3160k|   404 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1881k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1085.99/1086.31	c  1017s|  3170k|   405 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1887k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1089.29/1089.65	c  1020s|  3180k|   406 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1893k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1092.89/1093.25	c  1024s|  3190k|   404 |     0 |   0.0 |1441k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1899k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1096.19/1096.54	c  1027s|  3200k|   404 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1905k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1099.49/1099.86	c  1030s|  3210k|   407 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1911k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1102.79/1103.20	c  1033s|  3220k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1916k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1106.19/1106.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1106.19/1106.51	c  1036s|  3230k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1922k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1109.38/1109.74	c  1039s|  3240k|   410 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1928k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1112.79/1113.13	c  1042s|  3250k|   407 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1934k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1116.09/1116.41	c  1045s|  3260k|   404 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1940k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1119.28/1119.63	c  1048s|  3270k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1946k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1122.58/1122.91	c  1051s|  3280k|   406 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1952k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1125.78/1126.18	c  1054s|  3290k|   404 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1958k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1129.08/1129.43	c  1057s|  3300k|   402 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1963k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1132.59/1132.90	c  1061s|  3310k|   407 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1969k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1136.18/1136.51	c  1064s|  3320k|   404 |     0 |   0.0 |1442k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1975k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1139.67/1140.00	c  1067s|  3330k|   405 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1981k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1142.97/1143.35	c  1071s|  3340k|   411 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1987k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1146.37/1146.77	c  1074s|  3350k|   409 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1993k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1149.77/1150.11	c  1077s|  3360k|   405 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |1998k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1153.17/1153.58	c  1080s|  3370k|   407 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2004k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1156.67/1157.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1156.67/1157.09	c  1083s|  3380k|   402 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2010k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1160.17/1160.54	c  1087s|  3390k|   402 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2016k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1163.57/1163.90	c  1090s|  3400k|   408 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2022k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1167.17/1167.56	c  1093s|  3410k|   406 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2028k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1170.87/1171.22	c  1097s|  3420k|   408 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2034k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1174.48/1174.85	c  1100s|  3430k|   406 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2040k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1178.07/1178.43	c  1103s|  3440k|   404 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2046k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1181.47/1181.83	c  1107s|  3450k|   404 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2052k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1184.97/1185.38	c  1110s|  3460k|   405 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2058k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1188.46/1188.83	c  1113s|  3470k|   405 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2064k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1192.07/1192.44	c  1117s|  3480k|   405 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2070k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1195.66/1196.02	c  1120s|  3490k|   406 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2076k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1199.06/1199.45	c  1123s|  3500k|   407 |     0 |   0.0 |1440k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2082k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1202.56/1202.93	c  1126s|  3510k|   405 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2088k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1206.05/1206.43	c  1130s|  3520k|   405 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2094k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1209.56/1209.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1209.56/1209.98	c  1133s|  3530k|   406 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2099k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1213.16/1213.50	c  1136s|  3540k|   406 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2105k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1216.56/1216.91	c  1140s|  3550k|   407 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2111k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1219.76/1220.15	c  1143s|  3560k|   404 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2117k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1223.16/1223.50	c  1146s|  3570k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2123k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1226.56/1226.91	c  1149s|  3580k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2129k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1229.95/1230.39	c  1152s|  3590k|   408 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2135k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1233.45/1233.83	c  1155s|  3600k|   407 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2141k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1236.75/1237.19	c  1159s|  3610k|   408 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2147k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1240.05/1240.49	c  1162s|  3620k|   406 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2153k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1243.45/1243.86	c  1165s|  3630k|   404 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2158k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1246.85/1247.20	c  1168s|  3640k|   406 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2164k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1250.35/1250.74	c  1171s|  3650k|   403 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2170k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1253.84/1254.24	c  1174s|  3660k|   402 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2176k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1257.24/1257.64	c  1178s|  3670k|   407 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2182k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1260.55/1260.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1260.55/1260.98	c  1181s|  3680k|   407 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2188k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1263.94/1264.30	c  1184s|  3690k|   408 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2194k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1267.25/1267.65	c  1187s|  3700k|   404 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2200k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1270.54/1270.98	c  1190s|  3710k|   402 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2206k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1273.84/1274.25	c  1193s|  3720k|   405 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2212k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1277.04/1277.48	c  1196s|  3730k|   406 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2218k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1280.24/1280.68	c  1199s|  3740k|   407 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2224k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1283.44/1283.86	c  1202s|  3750k|   404 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2229k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1286.74/1287.13	c  1205s|  3760k|   405 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2235k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1290.14/1290.52	c  1208s|  3770k|   402 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2241k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1293.33/1293.76	c  1212s|  3780k|   403 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2247k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1296.63/1297.09	c  1215s|  3790k|   407 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2253k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1300.13/1300.55	c  1218s|  3800k|   405 |     0 |   0.0 |1440k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2259k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1303.53/1303.96	c  1221s|  3810k|   405 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2265k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1306.93/1307.30	c  1224s|  3820k|   403 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2271k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1310.23/1310.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1310.23/1310.62	c  1227s|  3830k|   406 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2277k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1313.63/1314.07	c  1231s|  3840k|   405 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2283k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1317.13/1317.56	c  1234s|  3850k|   404 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2289k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1320.63/1321.04	c  1237s|  3860k|   404 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2295k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1324.03/1324.46	c  1240s|  3870k|   401 |     0 |   0.0 |1423k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2301k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1327.73/1328.14	c  1244s|  3880k|   403 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2307k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1331.23/1331.68	c  1247s|  3890k|   403 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2313k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1334.52/1334.91	c  1250s|  3900k|   403 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2318k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1337.83/1338.28	c  1253s|  3910k|   401 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2324k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1341.43/1341.80	c  1256s|  3920k|   406 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2330k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1344.72/1345.16	c  1260s|  3930k|   404 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2336k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1348.13/1348.60	c  1263s|  3940k|   406 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2342k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1351.71/1352.13	c  1266s|  3950k|   405 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2348k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1355.02/1355.41	c  1269s|  3960k|   405 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2354k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1358.51/1358.98	c  1273s|  3970k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2360k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1362.12/1362.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1362.12/1362.50	c  1276s|  3980k|   405 |     0 |   0.0 |1438k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2366k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1365.52/1365.96	c  1279s|  3990k|   406 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2372k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1369.31/1369.72	c  1283s|  4000k|   404 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2378k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1372.92/1373.39	c  1286s|  4010k|   403 |     0 |   0.0 |1424k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2384k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1376.61/1377.04	c  1289s|  4020k|   408 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2390k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1380.41/1380.84	c  1293s|  4030k|   402 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2396k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1384.01/1384.45	c  1296s|  4040k|   405 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2401k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1387.51/1387.97	c  1300s|  4050k|   404 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2408k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1390.91/1391.39	c  1303s|  4060k|   404 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2413k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1394.51/1394.96	c  1306s|  4070k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2420k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1398.01/1398.44	c  1310s|  4080k|   405 |     0 |   0.0 |1441k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2426k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1401.41/1401.88	c  1313s|  4090k|   406 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2431k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1405.01/1405.42	c  1316s|  4100k|   408 |     0 |   0.0 |1444k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2438k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1408.80/1409.27	c  1320s|  4110k|   404 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2444k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1412.40/1412.86	c  1323s|  4120k|   404 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2450k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1415.90/1416.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1415.90/1416.31	c  1326s|  4130k|   404 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2456k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1419.10/1419.59	c  1329s|  4140k|   402 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2462k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1422.70/1423.18	c  1333s|  4150k|   403 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2468k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1426.21/1426.68	c  1336s|  4160k|   413 |     0 |   0.0 |1442k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2474k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1429.69/1430.18	c  1339s|  4170k|   408 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2480k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1433.20/1433.63	c  1343s|  4180k|   405 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2485k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1436.70/1437.16	c  1346s|  4190k|   404 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2491k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1440.39/1440.82	c  1349s|  4200k|   402 |     0 |   0.0 |1440k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2497k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1443.90/1444.35	c  1353s|  4210k|   405 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2503k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1447.49/1447.90	c  1356s|  4220k|   408 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2509k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1451.10/1451.54	c  1359s|  4230k|   408 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2515k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1454.59/1455.07	c  1363s|  4240k|   409 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2521k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1457.99/1458.44	c  1366s|  4250k|   406 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2527k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1461.40/1461.86	c  1369s|  4260k|   404 |     0 |   0.0 |1443k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2533k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1464.99/1465.45	c  1372s|  4270k|   406 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2539k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1468.49/1468.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1468.49/1468.99	c  1376s|  4280k|   406 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2545k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1471.99/1472.45	c  1379s|  4290k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2551k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1475.58/1476.06	c  1382s|  4300k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2556k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1479.28/1479.75	c  1386s|  4310k|   403 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2563k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1482.89/1483.39	c  1389s|  4320k|   404 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2569k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1486.58/1487.03	c  1393s|  4330k|   408 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2574k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1489.89/1490.35	c  1396s|  4340k|   403 |     0 |   0.0 |1438k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2580k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1493.18/1493.68	c  1399s|  4350k|   403 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2586k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1496.58/1497.04	c  1402s|  4360k|   404 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2592k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1499.88/1500.40	c  1405s|  4370k|   405 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2598k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1503.48/1503.91	c  1408s|  4380k|   407 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2604k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1506.98/1507.49	c  1412s|  4390k|   407 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2610k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1510.58/1511.03	c  1415s|  4400k|   403 |     0 |   0.0 |1425k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2616k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1514.28/1514.71	c  1418s|  4410k|   404 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2622k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1517.88/1518.39	c  1422s|  4420k|   404 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2628k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1521.37/1521.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1521.37/1521.83	c  1425s|  4430k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2634k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1524.68/1525.13	c  1428s|  4440k|   405 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2640k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1528.17/1528.61	c  1432s|  4450k|   404 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2646k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1531.78/1532.25	c  1435s|  4460k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2652k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1535.18/1535.69	c  1438s|  4470k|   404 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2657k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1538.87/1539.35	c  1442s|  4480k|   408 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2663k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1542.37/1542.85	c  1445s|  4490k|   404 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2669k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1545.77/1546.28	c  1448s|  4500k|   402 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2675k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1549.48/1549.92	c  1451s|  4510k|   403 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2682k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1552.96/1553.46	c  1455s|  4520k|   402 |     0 |   0.0 |1438k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2688k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1556.56/1557.01	c  1458s|  4530k|   404 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2694k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1560.07/1560.53	c  1461s|  4540k|   403 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2700k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1563.57/1564.02	c  1465s|  4550k|   404 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2705k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1567.16/1567.65	c  1468s|  4560k|   404 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2712k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1570.57/1571.07	c  1471s|  4570k|   405 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2718k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1573.96/1574.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1573.96/1574.50	c  1474s|  4580k|   402 |     0 |   0.0 |1445k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2724k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1577.66/1578.18	c  1478s|  4590k|   402 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2730k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1581.26/1581.70	c  1481s|  4600k|   402 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2736k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1584.85/1585.33	c  1485s|  4610k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2742k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1588.45/1588.93	c  1488s|  4620k|   406 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2748k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1591.95/1592.47	c  1491s|  4630k|   408 |     0 |   0.0 |1446k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2754k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1595.36/1595.81	c  1495s|  4640k|   407 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2759k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1598.96/1599.49	c  1498s|  4650k|   406 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2765k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1602.35/1602.85	c  1501s|  4660k|   404 |     0 |   0.0 |1426k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2771k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1605.75/1606.29	c  1504s|  4670k|   413 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2777k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1609.25/1609.71	c  1508s|  4680k|   402 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2783k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1613.05/1613.50	c  1511s|  4690k|   406 |     0 |   0.0 |1444k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2789k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1616.55/1617.00	c  1514s|  4700k|   404 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2795k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1620.15/1620.68	c  1518s|  4710k|   400 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2801k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1623.74/1624.30	c  1521s|  4720k|   402 |     0 |   0.0 |1442k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2807k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1627.45/1627.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1627.45/1627.97	c  1525s|  4730k|   406 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2813k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1630.95/1631.40	c  1528s|  4740k|   402 |     0 |   0.0 |1442k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2818k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1634.65/1635.16	c  1531s|  4750k|   404 |     0 |   0.0 |1428k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2825k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1638.14/1638.67	c  1535s|  4760k|   404 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2831k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1641.64/1642.13	c  1538s|  4770k|   403 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2836k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1645.05/1645.57	c  1541s|  4780k|   404 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2842k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1648.45/1648.95	c  1544s|  4790k|   408 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2848k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1651.83/1652.38	c  1548s|  4800k|   405 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2854k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1655.24/1655.76	c  1551s|  4810k|   406 |     0 |   0.0 |1440k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2860k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1658.74/1659.22	c  1554s|  4820k|   402 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2866k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1662.04/1662.55	c  1557s|  4830k|   405 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2872k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1665.43/1665.93	c  1560s|  4840k|   406 |     0 |   0.0 |1441k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2878k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1668.73/1669.28	c  1563s|  4850k|   404 |     0 |   0.0 |1441k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2884k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1672.64/1673.14	c  1567s|  4860k|   410 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2890k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1676.43/1676.94	c  1571s|  4870k|   402 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2895k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1680.13/1680.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1680.13/1680.70	c  1574s|  4880k|   401 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2901k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1683.93/1684.41	c  1578s|  4890k|   405 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2907k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1687.23/1687.74	c  1581s|  4900k|   405 |     0 |   0.0 |1439k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2913k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1690.53/1691.02	c  1584s|  4910k|   405 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2919k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1694.23/1694.71	c  1587s|  4920k|   406 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2925k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1697.72/1698.22	c  1591s|  4930k|   404 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2931k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1701.13/1701.66	c  1594s|  4940k|   407 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2937k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1704.82/1705.35	c  1597s|  4950k|   402 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2943k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1708.32/1708.82	c  1600s|  4960k|   404 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2949k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1712.02/1712.57	c  1604s|  4970k|   402 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2955k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1715.72/1716.25	c  1607s|  4980k|   401 |     0 |   0.0 |1442k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2961k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1719.32/1719.82	c  1611s|  4990k|   402 |     0 |   0.0 |1442k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2966k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1722.92/1723.41	c  1614s|  5000k|   401 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2972k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1726.43/1726.95	c  1617s|  5010k|   405 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2978k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1729.92/1730.43	c  1621s|  5020k|   404 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2984k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1733.41/1733.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1733.41/1733.90	c  1624s|  5030k|   404 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2990k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1736.82/1737.33	c  1627s|  5040k|   403 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |2996k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1740.32/1740.86	c  1631s|  5050k|   403 |     0 |   0.0 |1447k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3002k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1743.82/1744.39	c  1634s|  5060k|   404 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3008k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1747.32/1747.81	c  1637s|  5070k|   406 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3014k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1750.62/1751.17	c  1640s|  5080k|   404 |     0 |   0.0 |1437k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3019k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1754.11/1754.68	c  1643s|  5090k|   404 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3025k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1757.51/1758.09	c  1647s|  5100k|   405 |     0 |   0.0 |1427k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3031k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1761.11/1761.60	c  1650s|  5110k|   403 |     0 |   0.0 |1435k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3037k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1764.41/1764.96	c  1653s|  5120k|   406 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3043k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1767.81/1768.38	c  1656s|  5130k|   403 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3049k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1771.31/1771.82	c  1660s|  5140k|   405 |     0 |   0.0 |1429k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3055k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1774.60/1775.19	c  1663s|  5150k|   411 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3061k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1778.12/1778.68	c  1666s|  5160k|   404 |     0 |   0.0 |1432k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3067k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1781.42/1781.99	c  1669s|  5170k|   405 |     0 |   0.0 |1434k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3073k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1784.82/1785.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1784.82/1785.33	c  1672s|  5180k|   405 |     0 |   0.0 |1430k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3079k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1788.30/1788.80	c  1675s|  5190k|   405 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3085k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1791.60/1792.17	c  1679s|  5200k|   404 |     0 |   0.0 |1433k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3091k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1794.90/1795.46	c  1682s|  5210k|   403 |     0 |   0.0 |1431k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3097k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1798.30/1798.86	c  1685s|  5220k|   402 |     0 |   0.0 |1436k| 440 |   - | 492 | 200 |   0 |   0 |   0 |3103k|   0 | 1.000000e+00 | 5.000000e+01 |4900.00%
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1686.41
1800.01/1800.50	c Solving Nodes      : 5224703
1800.01/1800.50	c Primal Bound       : +5.00000000000000e+01 (10 solutions)
1800.01/1800.50	c Dual Bound         : +1.00000000000000e+00
1800.01/1800.50	c Gap                : 4900.00 %
1800.01/1800.51	s SATISFIABLE
1800.01/1800.51	v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 
1800.01/1800.51	v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 
1800.01/1800.51	v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 
1800.01/1800.51	v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 
1800.01/1800.51	v -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 
1800.01/1800.51	v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 
1800.01/1800.51	v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 
1800.01/1800.51	v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 
1800.01/1800.51	v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 
1800.01/1800.51	v -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 
1800.01/1800.51	v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 
1800.01/1800.51	v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 
1800.01/1800.51	v -x241 -x240 x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 
1800.01/1800.51	v -x219 -x218 x217 -x216 -x215 -x214 x213 -x212 x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 
1800.01/1800.51	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 
1800.01/1800.51	v -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 
1800.01/1800.51	v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 x141 x140 x139 x138 -x137 -x136 -x135 
1800.01/1800.51	v -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 x120 x119 x118 x117 -x116 -x115 -x114 -x113 
1800.01/1800.51	v -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 x103 x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 x92 -x91 x90 -x89 
1800.01/1800.51	v x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 
1800.01/1800.51	v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 
1800.01/1800.51	v -x36 -x35 -x34 -x33 x32 x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 x12 -x11 
1800.01/1800.51	v -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 
1800.01/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.51	c Solving Time       :    1686.41
1800.01/1800.51	c Original Problem   :
1800.01/1800.51	c   Problem name     : HOME/instance-2664087-1276595194.opb
1800.01/1800.51	c   Variables        : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 200 initial, 200 maximal
1800.01/1800.51	c Presolved Problem  :
1800.01/1800.51	c   Problem name     : t_HOME/instance-2664087-1276595194.opb
1800.01/1800.51	c   Variables        : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 200 initial, 200 maximal
1800.01/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.51	c   logicor          :        200+         0    9602683          0          7    1296703   11705934          0          0          0
1800.01/1800.51	c   countsols        :          0          0          0          0          7          0          0          0          0          0
1800.01/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.51	c   logicor          :     438.51       0.00     438.51       0.00       0.00
1800.01/1800.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.51	c   vbounds          :       8.31          2          0          0
1800.01/1800.51	c   rootredcost      :       8.00          0          0          0
1800.01/1800.51	c   pseudoobj        :     920.27   17862027    1813547   31553019
1800.01/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.51	c   propagation      :     913.62    3104186    3104186    3104186      242.9       8387      239.0          -
1800.01/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   pseudo solution  :       0.57       1638       1638       1638      238.9         47      224.4          -
1800.01/1800.51	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.01/1800.51	c   applied locally  :          -          -          -    3105824      242.9          -          -          -
1800.01/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.51	c Pricers            :       Time      Calls       Vars
1800.01/1800.51	c   problem variables:       0.00          0          0
1800.01/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   inference        :      37.85    3626558          0          0          0          0    7253116
1800.01/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.51	c   LP solutions     :       0.00          -          0
1800.01/1800.51	c   pseudo solutions :       0.00          -          7
1800.01/1800.51	c   oneopt           :       3.41          0          0
1800.01/1800.51	c   trivial          :       0.00          2          3
1800.01/1800.51	c   simplerounding   :       0.00          0          0
1800.01/1800.51	c   zirounding       :       0.00          0          0
1800.01/1800.51	c   rounding         :       0.00          0          0
1800.01/1800.51	c   shifting         :       0.00          0          0
1800.01/1800.51	c   intshifting      :       0.00          0          0
1800.01/1800.51	c   twoopt           :       0.00          0          0
1800.01/1800.51	c   fixandinfer      :       0.00          0          0
1800.01/1800.51	c   feaspump         :       0.00          0          0
1800.01/1800.51	c   coefdiving       :       0.00          0          0
1800.01/1800.51	c   pscostdiving     :       0.00          0          0
1800.01/1800.51	c   fracdiving       :       0.00          0          0
1800.01/1800.51	c   veclendiving     :       0.00          0          0
1800.01/1800.51	c   intdiving        :       0.00          0          0
1800.01/1800.51	c   actconsdiving    :       0.00          0          0
1800.01/1800.51	c   objpscostdiving  :       0.00          0          0
1800.01/1800.51	c   rootsoldiving    :       0.00          0          0
1800.01/1800.51	c   linesearchdiving :       0.00          0          0
1800.01/1800.51	c   guideddiving     :       0.00          0          0
1800.01/1800.51	c   octane           :       0.00          0          0
1800.01/1800.51	c   rens             :       0.00          0          0
1800.01/1800.51	c   rins             :       0.00          0          0
1800.01/1800.51	c   localbranching   :       0.00          0          0
1800.01/1800.51	c   mutation         :       0.00          0          0
1800.01/1800.51	c   crossover        :       0.00          0          0
1800.01/1800.51	c   dins             :       0.00          0          0
1800.01/1800.51	c   undercover       :       0.00          0          0
1800.01/1800.51	c   nlp              :       2.42          0          0
1800.01/1800.51	c   trysol           :       2.23          0          0
1800.01/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.51	c B&B Tree           :
1800.01/1800.51	c   number of runs   :          1
1800.01/1800.51	c   nodes            :    5224703
1800.01/1800.51	c   nodes (total)    :    5224703
1800.01/1800.51	c   nodes left       :        404
1800.01/1800.51	c   max depth        :        440
1800.01/1800.51	c   max depth (total):        440
1800.01/1800.51	c   backtracks       :    1600597 (30.6%)
1800.01/1800.51	c   delayed cutoffs  :    2027972
1800.01/1800.51	c   repropagations   :    4215928 (22643284 domain reductions, 1513750 cutoffs)
1800.01/1800.51	c   avg switch length:       2.51
1800.01/1800.51	c   switching time   :      59.95
1800.01/1800.51	c Solution           :
1800.01/1800.51	c   Solutions found  :         10 (8 improvements)
1800.01/1800.51	c   First Solution   : +4.92000000000000e+02   (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.01/1800.51	c   Primal Bound     : +5.00000000000000e+01   (in run 1, after 353840 nodes, 110.19 seconds, depth 427, found by <relaxation>)
1800.01/1800.51	c   Dual Bound       : +1.00000000000000e+00
1800.01/1800.51	c   Gap              :    4900.00 %
1800.01/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.51	c   Root Iterations  :          0
1800.01/1800.51	c Time complete: 1800.01.

Verifier Data 

OK	50

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.01 1.03 1.01 2/106 8958
/proc/meminfo: memFree=1808492/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=6584 CPUtime=0
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 968 0 0 0 0 0 0 0 21 0 1 0 812252 6742016 891 1992294400 4194304 7136930 140734619501136 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8958/statm: 1646 901 254 719 0 925 0

[startup+0.0609789 s]
/proc/loadavg: 1.01 1.03 1.01 2/106 8958
/proc/meminfo: memFree=1808492/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=12552 CPUtime=0.05
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 3335 0 0 0 4 1 0 0 24 0 1 0 812252 12853248 2387 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3138 2387 374 719 0 2417 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12552

[startup+0.100984 s]
/proc/loadavg: 1.01 1.03 1.01 2/106 8958
/proc/meminfo: memFree=1808492/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=13008 CPUtime=0.09
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 3463 0 0 0 7 2 0 0 24 0 1 0 812252 13320192 2515 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3252 2515 381 719 0 2531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13008

[startup+0.301005 s]
/proc/loadavg: 1.01 1.03 1.01 2/106 8958
/proc/meminfo: memFree=1808492/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=13540 CPUtime=0.29
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 3597 0 0 0 26 3 0 0 25 0 1 0 812252 13864960 2649 1992294400 4194304 7136930 140734619501136 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3385 2649 381 719 0 2664 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13540

[startup+0.701049 s]
/proc/loadavg: 1.01 1.03 1.01 2/106 8958
/proc/meminfo: memFree=1808492/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=13672 CPUtime=0.69
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 3651 0 0 0 63 6 0 0 25 0 1 0 812252 14000128 2703 1992294400 4194304 7136930 140734619501136 18446744073709551615 4703926 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3418 2703 382 719 0 2697 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13672

[startup+1.50114 s]
/proc/loadavg: 1.01 1.03 1.01 2/107 8959
/proc/meminfo: memFree=1798936/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=14076 CPUtime=1.49
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 3722 0 0 0 138 11 0 0 25 0 1 0 812252 14413824 2774 1992294400 4194304 7136930 140734619501136 18446744073709551615 5906003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3519 2774 382 719 0 2798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14076

[startup+3.10132 s]
/proc/loadavg: 1.01 1.03 1.01 2/107 8959
/proc/meminfo: memFree=1798564/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=14344 CPUtime=3.09
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 3791 0 0 0 286 23 0 0 25 0 1 0 812252 14688256 2843 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3586 2843 382 719 0 2865 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14344

[startup+6.30067 s]
/proc/loadavg: 1.01 1.03 1.01 2/107 8959
/proc/meminfo: memFree=1798068/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=14476 CPUtime=6.29
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 3832 0 0 0 585 44 0 0 25 0 1 0 812252 14823424 2884 1992294400 4194304 7136930 140734619501136 18446744073709551615 5918807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3619 2884 382 719 0 2898 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14476

[startup+12.7014 s]
/proc/loadavg: 1.01 1.03 1.01 2/107 8959
/proc/meminfo: memFree=1797820/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=14612 CPUtime=12.69
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 3884 0 0 0 1181 88 0 0 25 0 1 0 812252 14962688 2936 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3653 2936 382 719 0 2932 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14612

[startup+25.5008 s]
/proc/loadavg: 1.01 1.03 1.01 2/107 8959
/proc/meminfo: memFree=1797696/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=14900 CPUtime=25.48
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 3945 0 0 0 2385 163 0 0 25 0 1 0 812252 15257600 2997 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3725 2997 382 719 0 3004 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14900

[startup+51.1006 s]
/proc/loadavg: 1.00 1.02 1.01 2/107 8961
/proc/meminfo: memFree=1797324/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=15312 CPUtime=51.08
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4042 0 0 0 4772 336 0 0 25 0 1 0 812252 15679488 3094 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3828 3094 382 719 0 3107 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15312

[startup+102.308 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8961
/proc/meminfo: memFree=1796456/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=15864 CPUtime=102.27
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4199 0 0 0 9562 665 0 0 25 0 1 0 812252 16244736 3251 1992294400 4194304 7136930 140734619501136 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 3966 3251 382 719 0 3245 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15864

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8963
/proc/meminfo: memFree=1796208/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16144 CPUtime=162.25
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4248 0 0 0 15179 1046 0 0 25 0 1 0 812252 16531456 3300 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4036 3300 382 719 0 3315 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 16144

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8965
/proc/meminfo: memFree=1795836/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16420 CPUtime=222.23
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4323 0 0 0 20803 1420 0 0 25 0 1 0 812252 16814080 3375 1992294400 4194304 7136930 140734619501136 18446744073709551615 5923970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4105 3375 382 719 0 3384 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16420

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8967
/proc/meminfo: memFree=1795588/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16420 CPUtime=282.22
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4336 0 0 0 26418 1804 0 0 25 0 1 0 812252 16814080 3388 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4105 3388 382 719 0 3384 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 16420

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8969
/proc/meminfo: memFree=1795464/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16564 CPUtime=342.2
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4349 0 0 0 32036 2184 0 0 25 0 1 0 812252 16961536 3401 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4141 3401 382 719 0 3420 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 16564

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8969
/proc/meminfo: memFree=1795340/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16564 CPUtime=402.18
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4362 0 0 0 37649 2569 0 0 25 0 1 0 812252 16961536 3414 1992294400 4194304 7136930 140734619501136 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4141 3414 382 719 0 3420 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 16564

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8971
/proc/meminfo: memFree=1795216/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16708 CPUtime=462.17
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4380 0 0 0 43272 2945 0 0 25 0 1 0 812252 17108992 3432 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4177 3432 382 719 0 3456 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 16708

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8973
/proc/meminfo: memFree=1794968/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16844 CPUtime=522.15
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4423 0 0 0 48891 3324 0 0 25 0 1 0 812252 17248256 3475 1992294400 4194304 7136930 140734619501136 18446744073709551615 4240415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4211 3475 382 719 0 3490 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 16844

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8975
/proc/meminfo: memFree=1794720/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16844 CPUtime=582.14
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4427 0 0 0 54517 3697 0 0 25 0 1 0 812252 17248256 3479 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4211 3479 382 719 0 3490 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 16844

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8977
/proc/meminfo: memFree=1794596/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16844 CPUtime=642.13
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4443 0 0 0 60122 4091 0 0 25 0 1 0 812252 17248256 3495 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4211 3495 382 719 0 3490 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 16844

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.27 1.06 1.02 2/107 8992
/proc/meminfo: memFree=1792380/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16980 CPUtime=882.05
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4463 0 0 0 82608 5597 0 0 25 0 1 0 812252 17387520 3515 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4245 3515 382 719 0 3524 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 16980

[startup+942.301 s]
/proc/loadavg: 1.10 1.05 1.01 2/107 8994
/proc/meminfo: memFree=1792380/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=16980 CPUtime=942.03
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4480 0 0 0 88228 5975 0 0 25 0 1 0 812252 17387520 3532 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4245 3532 382 719 0 3524 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 16980

[startup+1002.3 s]
/proc/loadavg: 1.03 1.04 1.01 2/107 8994
/proc/meminfo: memFree=1792380/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17112 CPUtime=1002.01
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4481 0 0 0 93856 6345 0 0 25 0 1 0 812252 17522688 3533 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4278 3533 382 719 0 3557 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 17112

[startup+1062.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 8996
/proc/meminfo: memFree=1792380/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17112 CPUtime=1062
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4482 0 0 0 99475 6725 0 0 25 0 1 0 812252 17522688 3534 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4278 3534 382 719 0 3557 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 17112

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8998
/proc/meminfo: memFree=1792380/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17112 CPUtime=1121.98
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4485 0 0 0 105082 7116 0 0 25 0 1 0 812252 17522688 3537 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4278 3537 382 719 0 3557 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 17112

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9000
/proc/meminfo: memFree=1792380/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17112 CPUtime=1181.97
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4492 0 0 0 110713 7484 0 0 25 0 1 0 812252 17522688 3544 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4278 3544 382 719 0 3557 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 17112

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9002
/proc/meminfo: memFree=1792132/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17112 CPUtime=1241.95
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4500 0 0 0 116332 7863 0 0 25 0 1 0 812252 17522688 3552 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4278 3552 382 719 0 3557 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 17112

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9002
/proc/meminfo: memFree=1792008/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17112 CPUtime=1301.94
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4504 0 0 0 121953 8241 0 0 25 0 1 0 812252 17522688 3556 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4278 3556 382 719 0 3557 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 17112

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9004
/proc/meminfo: memFree=1792008/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17112 CPUtime=1361.92
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4507 0 0 0 127565 8627 0 0 25 0 1 0 812252 17522688 3559 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4278 3559 382 719 0 3557 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 17112

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9006
/proc/meminfo: memFree=1791884/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17112 CPUtime=1421.9
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4507 0 0 0 133192 8998 0 0 25 0 1 0 812252 17522688 3559 1992294400 4194304 7136930 140734619501136 18446744073709551615 4652794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4278 3559 382 719 0 3557 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 17112

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 9008
/proc/meminfo: memFree=1791760/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17256 CPUtime=1481.88
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4521 0 0 0 138814 9374 0 0 25 0 1 0 812252 17670144 3573 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4314 3573 382 719 0 3593 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 17256

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9010
/proc/meminfo: memFree=1791636/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17404 CPUtime=1541.86
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4559 0 0 0 144431 9755 0 0 25 0 1 0 812252 17821696 3611 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4351 3611 382 719 0 3630 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 17404

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9010
/proc/meminfo: memFree=1791636/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17404 CPUtime=1601.86
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4561 0 0 0 150058 10128 0 0 25 0 1 0 812252 17821696 3613 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4351 3613 382 719 0 3630 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 17404

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9012
/proc/meminfo: memFree=1791512/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17404 CPUtime=1661.84
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4568 0 0 0 155687 10497 0 0 25 0 1 0 812252 17821696 3620 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4351 3620 382 719 0 3630 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 17404

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9014
/proc/meminfo: memFree=1791388/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17404 CPUtime=1721.82
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4572 0 0 0 161311 10871 0 0 25 0 1 0 812252 17821696 3624 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4351 3624 382 719 0 3630 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 17404

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9016
/proc/meminfo: memFree=1791016/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17404 CPUtime=1781.81
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4572 0 0 0 166938 11243 0 0 25 0 1 0 812252 17821696 3624 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4351 3624 382 719 0 3630 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 17404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9023
/proc/meminfo: memFree=1789136/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17404 CPUtime=1800.01
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4572 0 0 0 168642 11359 0 0 25 0 1 0 812252 17821696 3624 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4351 3624 382 719 0 3630 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17404

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 9023
/proc/meminfo: memFree=1789136/2059040 swapFree=4192956/4192956
[pid=8958] ppid=8956 vsize=17404 CPUtime=1800.01
/proc/8958/stat : 8958 (pbscip.linux.x8) R 8956 8958 2335 0 -1 4202496 4572 0 0 0 168642 11359 0 0 25 0 1 0 812252 17821696 3624 1992294400 4194304 7136930 140734619501136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8958/statm: 4351 3624 382 719 0 3630 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17404

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1686.43
CPU system time (s): 113.599
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 17404

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

runsolver used 3.11753 second user time and 8.40572 second system time

The end

Launcher Data 

Begin job on node037 at 2010-06-15 11:46:34
IDJOB=2664087
IDBENCH=2878
IDSOLVER=1167
FILE ID=node037/2664087-1276595194
PBS_JOBID= 11172214
Free space on /tmp= 62584 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-m200_500_10_10.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-2664087-1276595194/watcher-2664087-1276595194 -o /tmp/evaluation-result-2664087-1276595194/solver-2664087-1276595194 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664087-1276595194.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9ce5413471f93025df24c6fa43fb2680
RANDOM SEED=1092829400

node037.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.248
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.49
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.248
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.55
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1809020 kB
Buffers:          3328 kB
Cached:         112604 kB
SwapCached:          0 kB
Active:          79292 kB
Inactive:        96076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1809020 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3300 kB
Writeback:           0 kB
AnonPages:       59384 kB
Mapped:          15484 kB
Slab:            52912 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182072 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= 62580 MiB
End job on node037 at 2010-06-15 12:16:37