Trace number 2667090

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)5 1801.08 1801.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_4.opb
MD5SUM740b964ee569656e2f29dedde6e3939b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1790.56
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint62
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1486
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4969
Number of bits of the biggest sum of numbers13
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: SoPlex 1.4.2] [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-2667090-1276616761.opb>
0.00/0.01	c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c presolving:
0.00/0.02	c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03	c    (0.0s) probing: 101/146 (69.2%) - 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.03	c  0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03	c  0 implications, 0 cliques
0.00/0.03	c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03	c       6 constraints of type <linear>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.01
0.00/0.03	c - non default parameters ----------------------------------------------------------------------
0.00/0.03	c # SCIP version 1.2.1.2
0.00/0.03	c 
0.00/0.03	c # frequency for displaying node information lines
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03	c display/freq = 10000
0.00/0.03	c 
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/time = 1800
0.00/0.03	c 
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/memory = 1620
0.00/0.03	c 
0.00/0.03	c # should presolving try to simplify inequalities
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/linear/simplifyinequalities = TRUE
0.00/0.03	c 
0.00/0.03	c # should presolving try to simplify knapsacks
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03	c 
0.00/0.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03	c separating/rapidlearning/freq = 0
0.00/0.03	c 
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving
0.00/0.03	c 
0.00/0.03	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.03	c   0.0s|     1 |     0 |    34 |     - | 487k|   0 |   6 | 146 |   6 | 146 |   6 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.12	o 1009
0.09/0.12	c y 0.1s|     1 |     0 |    75 |     - | 532k|   0 |   6 | 146 |   6 | 146 |   6 |   0 |   0 |   0 | 0.000000e+00 | 1.009000e+03 |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |    80 |     - | 634k|   0 |  10 | 146 |  71 | 146 |  13 |   7 |   0 |   0 | 0.000000e+00 | 1.009000e+03 |    Inf 
0.09/0.14	c   0.1s|     1 |     0 |    86 |     - | 676k|   0 |  12 | 146 |  71 | 146 |  17 |  11 |   0 |   0 | 0.000000e+00 | 1.009000e+03 |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |    93 |     - | 700k|   0 |  12 | 146 |  71 | 146 |  21 |  15 |   0 |   0 | 0.000000e+00 | 1.009000e+03 |    Inf 
0.09/0.17	c   0.1s|     1 |     0 |   101 |     - | 733k|   0 |  17 | 146 |  71 | 146 |  27 |  21 |   0 |   0 | 0.000000e+00 | 1.009000e+03 |    Inf 
0.09/0.19	c   0.2s|     1 |     0 |   106 |     - | 738k|   0 |  20 | 146 |  71 | 146 |  29 |  23 |   0 |   0 | 0.000000e+00 | 1.009000e+03 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |   109 |     - | 742k|   0 |  20 | 146 |  71 | 146 |  30 |  24 |   0 |   0 | 0.000000e+00 | 1.009000e+03 |    Inf 
0.29/0.37	c   0.3s|     1 |     2 |   109 |     - | 742k|   0 |  20 | 146 |  71 | 146 |  30 |  24 |   0 |   9 | 0.000000e+00 | 1.009000e+03 |    Inf 
0.39/0.49	o 200
0.39/0.49	c c 0.4s|    28 |    29 |   301 |   7.1 | 790k|  27 |   - | 146 |  71 | 146 |  20 |  24 |   0 | 156 | 0.000000e+00 | 2.000000e+02 |    Inf 
0.49/0.56	o 199
0.49/0.56	c * 0.5s|    76 |    72 |   502 |   5.2 | 823k|  47 |   - | 146 |  71 | 146 |  20 |  24 |   6 | 261 | 0.000000e+00 | 1.990000e+02 |    Inf 
0.49/0.56	o 197
0.49/0.56	c * 0.5s|    77 |    71 |   502 |   5.2 | 824k|  47 |   - | 146 |  71 | 146 |  20 |  24 |   6 | 261 | 0.000000e+00 | 1.970000e+02 |    Inf 
0.69/0.73	o 128
0.69/0.73	c g 0.7s|   233 |   209 |  1298 |   5.1 | 916k|  47 |   - | 146 |  75 | 146 |  20 |  24 |  13 | 447 | 0.000000e+00 | 1.280000e+02 |    Inf 
0.79/0.84	o 126
0.79/0.84	c l 0.7s|   358 |   328 |  1947 |   5.1 | 979k|  47 |   - | 146 |  74 | 146 |  20 |  24 |  21 | 505 | 0.000000e+00 | 1.260000e+02 |    Inf 
0.79/0.85	o 125
0.79/0.85	c * 0.8s|   372 |   340 |  1993 |   5.1 | 983k|  47 |   - | 146 |  74 | 146 |  20 |  24 |  21 | 526 | 0.000000e+00 | 1.250000e+02 |    Inf 
0.79/0.85	o 117
0.79/0.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.85	c g 0.8s|   374 |   340 |  1997 |   5.1 | 986k|  47 |   - | 146 |  74 | 146 |  20 |  24 |  21 | 535 | 0.000000e+00 | 1.170000e+02 |    Inf 
0.89/0.95	o 115
0.89/0.95	c * 0.8s|   475 |   427 |  2714 |   5.5 |1047k|  47 |   - | 146 |  79 | 146 |  20 |  24 |  33 | 569 | 0.000000e+00 | 1.150000e+02 |    Inf 
0.89/0.95	o 113
0.89/0.95	c * 0.8s|   477 |   425 |  2714 |   5.5 |1048k|  47 |   - | 146 |  79 | 146 |  20 |  24 |  33 | 569 | 0.000000e+00 | 1.130000e+02 |    Inf 
0.89/0.95	o 111
0.89/0.95	c * 0.8s|   478 |   424 |  2714 |   5.5 |1050k|  47 |   - | 146 |  79 | 146 |  20 |  24 |  33 | 569 | 0.000000e+00 | 1.110000e+02 |    Inf 
0.99/1.06	o 109
0.99/1.06	c * 0.9s|   630 |   541 |  3324 |   5.1 |1114k|  47 |   - | 146 |  79 | 146 |  20 |  24 |  35 | 632 | 0.000000e+00 | 1.090000e+02 |    Inf 
0.99/1.06	o 107
0.99/1.06	c * 0.9s|   631 |   540 |  3324 |   5.1 |1116k|  47 |   - | 146 |  79 | 146 |  20 |  24 |  35 | 632 | 0.000000e+00 | 1.070000e+02 |    Inf 
0.99/1.09	o 105
0.99/1.09	c * 1.0s|   670 |   572 |  3494 |   5.1 |1140k|  47 |   - | 146 |  79 | 146 |  20 |  24 |  40 | 652 | 0.000000e+00 | 1.050000e+02 |    Inf 
0.99/1.09	o 103
0.99/1.09	c * 1.0s|   671 |   571 |  3494 |   5.1 |1142k|  47 |   - | 146 |  79 | 146 |  20 |  24 |  40 | 652 | 0.000000e+00 | 1.030000e+02 |    Inf 
1.10/1.16	o 101
1.10/1.16	c v 1.0s|   750 |   650 |  3868 |   5.0 |1193k|  47 |   - | 146 |  79 | 146 |  20 |  24 |  46 | 692 | 0.000000e+00 | 1.010000e+02 |    Inf 
1.29/1.33	o 67
1.29/1.33	c C 1.2s|   950 |   786 |  5057 |   5.2 |1245k|  47 |   6 | 146 |  85 | 146 |  20 |  24 |  63 | 701 | 0.000000e+00 | 6.700000e+01 |    Inf 
6.89/6.97	o 66
6.89/6.97	c * 6.3s|  7788 |  7122 | 46013 |   5.9 |4513k|  47 |   - | 146 | 145 | 146 |  20 |  24 | 678 | 816 | 0.000000e+00 | 6.600000e+01 |    Inf 
7.39/7.41	o 64
7.39/7.41	c * 6.8s|  8243 |  7519 | 49214 |   6.0 |4727k|  47 |   - | 146 | 140 | 146 |  20 |  24 | 730 | 848 | 0.000000e+00 | 6.400000e+01 |    Inf 
9.69/9.77	c   8.9s| 10000 |  9084 | 60989 |   6.1 |5471k|  47 |   6 | 146 |  80 | 146 |  20 |  24 | 899 | 920 | 0.000000e+00 | 6.400000e+01 |    Inf 
16.08/16.10	o 62
16.08/16.10	c *14.7s| 19911 | 17930 |109903 |   5.5 |9644k|  47 |   - | 146 |  54 | 146 |  20 |  24 |1537 |1310 | 0.000000e+00 | 6.200000e+01 |    Inf 
16.08/16.16	c  14.8s| 20000 | 18009 |110315 |   5.5 |9679k|  47 |   6 | 146 |  53 | 146 |  20 |  24 |1541 |1314 | 0.000000e+00 | 6.200000e+01 |    Inf 
16.68/16.79	o 61
16.68/16.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.68/16.79	c *15.3s| 20973 | 18852 |115277 |   5.5 |  10M|  47 |   - | 146 |  58 | 146 |  20 |  24 |1601 |1351 | 0.000000e+00 | 6.100000e+01 |    Inf 
17.78/17.83	o 60
17.78/17.83	c l16.3s| 22529 | 20132 |123298 |   5.5 |  10M|  47 |   - | 146 |  57 | 146 |  20 |  24 |1710 |1419 | 0.000000e+00 | 6.000000e+01 |    Inf 
22.68/22.75	c  20.8s| 30000 | 26481 |161586 |   5.4 |  14M|  47 |   6 | 146 |  52 | 146 |  20 |  24 |2292 |1657 | 0.000000e+00 | 6.000000e+01 |    Inf 
22.89/22.92	o 59
22.89/22.92	c *21.0s| 30247 | 26649 |163059 |   5.4 |  14M|  47 |   - | 146 |  52 | 146 |  20 |  24 |2310 |1669 | 0.000000e+00 | 5.900000e+01 |    Inf 
22.89/22.93	o 57
22.89/22.93	c *21.0s| 30249 | 26561 |163059 |   5.4 |  13M|  47 |   - | 146 |  52 | 146 |  20 |  24 |2310 |1672 | 0.000000e+00 | 5.700000e+01 |    Inf 
22.89/22.93	o 55
22.89/22.93	c *21.0s| 30250 | 26433 |163059 |   5.4 |  13M|  47 |   - | 146 |  52 | 146 |  20 |  24 |2310 |1672 | 0.000000e+00 | 5.500000e+01 |    Inf 
24.88/24.97	o 54
24.88/24.97	c *22.8s| 31148 | 27026 |167390 |   5.4 |  14M|  47 |   - | 146 |  48 | 146 |  20 |  24 |2371 |1700 | 0.000000e+00 | 5.400000e+01 |    Inf 
25.58/25.69	o 53
25.58/25.69	c l23.4s| 32192 | 27685 |173193 |   5.4 |  14M|  47 |   - | 146 |  52 | 146 |  20 |  24 |2468 |1744 | 0.000000e+00 | 5.300000e+01 |    Inf 
25.78/25.83	o 51
25.78/25.83	c *23.5s| 32396 | 27628 |174276 |   5.4 |  14M|  47 |   - | 146 |  51 | 146 |  20 |  24 |2490 |1754 | 0.000000e+00 | 5.100000e+01 |    Inf 
26.09/26.10	o 50
26.09/26.10	c l23.8s| 32758 | 27792 |176383 |   5.4 |  14M|  47 |   - | 146 |  54 | 146 |  20 |  24 |2533 |1763 | 0.000000e+00 | 5.000000e+01 |    Inf 
27.18/27.22	o 48
27.18/27.22	c *24.8s| 34321 | 28274 |184818 |   5.4 |  14M|  47 |   - | 146 |  55 | 146 |  20 |  24 |2707 |1808 | 0.000000e+00 | 4.800000e+01 |    Inf 
28.88/28.90	o 46
28.88/28.90	c f26.4s| 36862 | 29884 |197670 |   5.4 |  15M|  47 |   - | 146 |  55 | 146 |  20 |  24 |2960 |1918 | 0.000000e+00 | 4.600000e+01 |    Inf 
28.88/28.91	o 44
28.88/28.91	c v26.4s| 36862 | 29673 |197670 |   5.4 |  15M|  47 |   - | 146 |  55 | 146 |  20 |  24 |2963 |1918 | 0.000000e+00 | 4.400000e+01 |    Inf 
30.69/30.73	o 43
30.69/30.73	c v28.0s| 39183 | 31148 |210893 |   5.4 |  16M|  47 |   - | 146 |  51 | 146 |  20 |  24 |3291 |1998 | 0.000000e+00 | 4.300000e+01 |    Inf 
30.98/31.03	o 41
30.98/31.03	c *28.3s| 39598 | 31137 |213049 |   5.4 |  16M|  47 |   - | 146 |  49 | 146 |  20 |  24 |3338 |2010 | 0.000000e+00 | 4.100000e+01 |    Inf 
31.28/31.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
31.28/31.36	c  28.6s| 40000 | 31441 |215687 |   5.4 |  16M|  47 |   6 | 146 |  55 | 146 |  20 |  24 |3385 |2020 | 0.000000e+00 | 4.100000e+01 |    Inf 
32.78/32.87	o 40
32.78/32.87	c *30.0s| 42159 | 32596 |227279 |   5.4 |  17M|  47 |   - | 146 |  58 | 146 |  20 |  24 |3624 |2089 | 0.000000e+00 | 4.000000e+01 |    Inf 
32.78/32.87	o 38
32.78/32.87	c *30.0s| 42160 | 32204 |227279 |   5.4 |  16M|  47 |   - | 146 |  58 | 146 |  20 |  24 |3624 |2089 | 0.000000e+00 | 3.800000e+01 |    Inf 
34.28/34.39	o 37
34.28/34.39	c *31.4s| 44587 | 33552 |238602 |   5.3 |  17M|  47 |   - | 146 |  67 | 146 |  20 |  24 |3839 |2157 | 0.000000e+00 | 3.700000e+01 |    Inf 
34.38/34.41	o 36
34.38/34.41	c *31.4s| 44612 | 33355 |238694 |   5.3 |  17M|  47 |   - | 146 |  67 | 146 |  20 |  24 |3842 |2158 | 0.000000e+00 | 3.600000e+01 |    Inf 
34.38/34.46	o 34
34.38/34.46	c *31.5s| 44693 | 32993 |239044 |   5.3 |  17M|  47 |   - | 146 |  66 | 146 |  20 |  24 |3859 |2159 | 0.000000e+00 | 3.400000e+01 |    Inf 
35.38/35.40	o 32
35.38/35.40	c v32.3s| 45959 | 29760 |244747 |   5.3 |  15M|  47 |   - | 146 |  57 | 146 |  20 |  24 |3990 |2193 | 0.000000e+00 | 3.200000e+01 |    Inf 
37.98/38.02	c  34.7s| 50000 | 32335 |265541 |   5.3 |  17M|  47 |   - | 146 |  34 | 146 |  20 |  24 |4480 |2338 | 0.000000e+00 | 3.200000e+01 |    Inf 
42.08/42.16	o 31
42.08/42.16	c *38.5s| 56837 | 36381 |298078 |   5.2 |  19M|  47 |   - | 146 |  46 | 146 |  20 |  24 |5239 |2536 | 0.000000e+00 | 3.100000e+01 |    Inf 
44.08/44.11	c  40.3s| 60000 | 38211 |313058 |   5.2 |  20M|  47 |   6 | 146 |  46 | 146 |  20 |  24 |5619 |2622 | 0.000000e+00 | 3.100000e+01 |    Inf 
49.07/49.15	o 30
49.07/49.15	c f44.9s| 68423 | 43143 |351730 |   5.1 |  23M|  47 |   - | 146 |  44 | 146 |  20 |  24 |6586 |2855 | 0.000000e+00 | 3.000000e+01 |    Inf 
51.48/51.54	c  47.0s| 70000 | 44070 |359565 |   5.1 |  23M|  47 |   6 | 146 |  44 | 146 |  20 |  24 |6793 |2884 | 0.000000e+00 | 3.000000e+01 |    Inf 
51.48/51.55	o 29
51.48/51.55	c *47.0s| 70025 | 43898 |359666 |   5.1 |  23M|  47 |   - | 146 |  44 | 146 |  20 |  24 |6796 |2892 | 0.000000e+00 | 2.900000e+01 |    Inf 
51.48/51.56	o 27
51.48/51.56	c *47.0s| 70028 | 43410 |359668 |   5.1 |  23M|  47 |   - | 146 |  44 | 146 |  20 |  24 |6796 |2896 | 0.000000e+00 | 2.700000e+01 |    Inf 
57.37/57.41	c  52.4s| 80000 | 48583 |403677 |   5.0 |  26M|  47 |   6 | 146 |  42 | 146 |  20 |  24 |7960 |3105 | 0.000000e+00 | 2.700000e+01 |    Inf 
58.17/58.25	o 26
58.17/58.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
58.17/58.25	c *53.2s| 81408 | 49006 |410152 |   5.0 |  26M|  47 |   - | 146 |  45 | 146 |  20 |  24 |8136 |3130 | 0.000000e+00 | 2.600000e+01 |    Inf 
61.07/61.16	o 25
61.07/61.16	c *55.8s| 86397 | 51071 |432119 |   5.0 |  27M|  47 |   - | 146 |  40 | 146 |  20 |  24 |8695 |3245 | 0.000000e+00 | 2.500000e+01 |    Inf 
61.07/61.16	o 23
61.07/61.16	c *55.8s| 86398 | 50088 |432119 |   5.0 |  27M|  47 |   - | 146 |  40 | 146 |  20 |  24 |8695 |3245 | 0.000000e+00 | 2.300000e+01 |    Inf 
64.17/64.23	c  58.6s| 90000 | 51600 |446990 |   5.0 |  28M|  47 |   6 | 146 |  40 | 146 |  20 |  24 |9035 |3319 | 0.000000e+00 | 2.300000e+01 |    Inf 
65.56/65.67	o 21
65.56/65.67	c *59.9s| 92727 | 51511 |457822 |   4.9 |  27M|  47 |   - | 146 |  43 | 146 |  20 |  24 |9338 |3376 | 0.000000e+00 | 2.100000e+01 |    Inf 
69.17/69.27	o 20
69.17/69.27	c *63.2s| 99395 | 53257 |484378 |   4.9 |  28M|  47 |   - | 146 |  39 | 146 |  20 |  24 |  10k|3510 | 0.000000e+00 | 2.000000e+01 |    Inf 
69.17/69.27	o 18
69.17/69.27	c *63.2s| 99397 | 51995 |484378 |   4.9 |  27M|  47 |   - | 146 |  39 | 146 |  20 |  24 |  10k|3511 | 0.000000e+00 | 1.800000e+01 |    Inf 
69.17/69.29	o 16
69.17/69.29	c *63.2s| 99398 | 47191 |484378 |   4.9 |  24M|  47 |   - | 146 |  39 | 146 |  20 |  24 |  10k|3511 | 0.000000e+00 | 1.600000e+01 |    Inf 
70.27/70.40	c  64.2s|100000 | 47443 |487049 |   4.9 |  24M|  47 |   6 | 146 |  36 | 146 |  20 |  24 |  10k|3525 | 0.000000e+00 | 1.600000e+01 |    Inf 
73.37/73.48	o 15
73.37/73.48	c *67.1s|106130 | 48720 |511891 |   4.8 |  25M|  47 |   - | 146 |  32 | 146 |  20 |  24 |  10k|3639 | 0.000000e+00 | 1.500000e+01 |    Inf 
73.37/73.49	o 13
73.37/73.49	c *67.1s|106131 | 47457 |511891 |   4.8 |  24M|  47 |   - | 146 |  32 | 146 |  20 |  24 |  10k|3639 | 0.000000e+00 | 1.300000e+01 |    Inf 
75.77/75.80	c  69.2s|110000 | 48723 |526795 |   4.8 |  25M|  47 |   - | 146 |  38 | 146 |  20 |  24 |  11k|3701 | 0.000000e+00 | 1.300000e+01 |    Inf 
80.56/80.60	c  73.6s|120000 | 51080 |564833 |   4.7 |  26M|  47 |   - | 146 |  31 |   0 |   0 |  24 |  11k|3859 | 0.000000e+00 | 1.300000e+01 |    Inf 
85.26/85.30	c  77.9s|130000 | 53009 |601804 |   4.6 |  28M|  47 |   - | 146 |  30 | 146 |  20 |  24 |  12k|4010 | 0.000000e+00 | 1.300000e+01 |    Inf 
89.87/89.91	c  82.1s|140000 | 54783 |637784 |   4.6 |  29M|  47 |   - | 146 |  25 | 146 |  20 |  24 |  13k|4132 | 0.000000e+00 | 1.300000e+01 |    Inf 
94.26/94.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
94.26/94.36	c  86.2s|150000 | 56171 |672351 |   4.5 |  30M|  47 |   6 | 146 |  26 | 146 |  20 |  24 |  14k|4262 | 0.000000e+00 | 1.300000e+01 |    Inf 
98.87/98.94	c  90.3s|160000 | 57654 |708834 |   4.4 |  31M|  47 |   6 | 146 |  33 | 146 |  20 |  24 |  15k|4410 | 0.000000e+00 | 1.300000e+01 |    Inf 
103.45/103.53	c  94.5s|170000 | 59339 |744423 |   4.4 |  32M|  47 |   6 | 146 |  27 | 146 |  20 |  24 |  16k|4532 | 0.000000e+00 | 1.300000e+01 |    Inf 
107.96/108.06	c  98.7s|180000 | 60823 |779501 |   4.3 |  33M|  47 |   6 | 146 |  29 | 146 |  20 |  24 |  16k|4641 | 0.000000e+00 | 1.300000e+01 |    Inf 
112.45/112.53	c   103s|190000 | 62361 |814418 |   4.3 |  34M|  47 |   6 | 146 |  31 | 146 |  20 |  24 |  17k|4745 | 0.000000e+00 | 1.300000e+01 |    Inf 
116.85/116.90	c   107s|200000 | 63265 |848484 |   4.2 |  35M|  47 |   - | 146 |  30 | 146 |  20 |  24 |  18k|4866 | 0.000000e+00 | 1.300000e+01 |    Inf 
121.35/121.45	c   111s|210000 | 64650 |885110 |   4.2 |  36M|  47 |   6 | 146 |  28 | 146 |  20 |  24 |  19k|4990 | 0.000000e+00 | 1.300000e+01 |    Inf 
125.95/126.01	c   115s|220000 | 65988 |920176 |   4.2 |  38M|  47 |   6 | 146 |  26 | 146 |  20 |  24 |  20k|5121 | 0.000000e+00 | 1.300000e+01 |    Inf 
130.44/130.51	c   119s|230000 | 67817 |955336 |   4.2 |  39M|  47 |   6 | 146 |  27 | 146 |  20 |  24 |  21k|5248 | 0.000000e+00 | 1.300000e+01 |    Inf 
134.85/134.96	c   123s|240000 | 69284 |989757 |   4.1 |  40M|  47 |   - | 146 |  28 |   0 |   0 |  24 |  22k|5378 | 0.000000e+00 | 1.300000e+01 |    Inf 
139.24/139.38	c   127s|250000 | 70242 |  1024k|   4.1 |  41M|  47 |   6 | 146 |  29 | 146 |  20 |  24 |  23k|5473 | 0.000000e+00 | 1.300000e+01 |    Inf 
143.64/143.75	c   131s|260000 | 71477 |  1058k|   4.1 |  42M|  47 |   - | 146 |  28 | 146 |  20 |  24 |  24k|5587 | 0.000000e+00 | 1.300000e+01 |    Inf 
148.14/148.27	c   136s|270000 | 72767 |  1092k|   4.0 |  43M|  47 |   6 | 146 |  27 | 146 |  20 |  24 |  26k|5692 | 0.000000e+00 | 1.300000e+01 |    Inf 
152.54/152.67	c   140s|280000 | 73271 |  1126k|   4.0 |  44M|  47 |   6 | 146 |  27 | 146 |  20 |  24 |  27k|5787 | 0.000000e+00 | 1.300000e+01 |    Inf 
157.04/157.10	c   144s|290000 | 73990 |  1161k|   4.0 |  44M|  47 |   - | 146 |  27 | 146 |  20 |  24 |  28k|5900 | 0.000000e+00 | 1.300000e+01 |    Inf 
161.03/161.13	o 11
161.03/161.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
161.03/161.13	c * 147s|299159 | 72147 |  1192k|   4.0 |  42M|  47 |   - | 146 |  26 | 146 |  20 |  24 |  29k|5991 | 0.000000e+00 | 1.100000e+01 |    Inf 
161.03/161.15	o 9
161.03/161.15	c * 147s|299160 | 69409 |  1192k|   4.0 |  40M|  47 |   - | 146 |  26 | 146 |  20 |  24 |  29k|5991 | 0.000000e+00 | 9.000000e+00 |    Inf 
161.03/161.17	o 7
161.03/161.17	c * 147s|299162 | 65849 |  1192k|   4.0 |  36M|  47 |   - | 146 |  26 | 146 |  20 |  24 |  29k|5991 | 0.000000e+00 | 7.000000e+00 |    Inf 
161.43/161.51	c   148s|300000 | 65893 |  1195k|   4.0 |  36M|  47 |   6 | 146 |  17 | 146 |  20 |  24 |  29k|6007 | 0.000000e+00 | 7.000000e+00 |    Inf 
167.24/167.30	c   153s|310000 | 65919 |  1227k|   4.0 |  36M|  47 |   - | 146 |  18 | 146 |  20 |  24 |  30k|6170 | 0.000000e+00 | 7.000000e+00 |    Inf 
171.13/171.22	c   156s|320000 | 65818 |  1259k|   3.9 |  37M|  47 |   6 | 146 |  19 | 146 |  20 |  24 |  31k|6315 | 0.000000e+00 | 7.000000e+00 |    Inf 
175.03/175.11	c   160s|330000 | 65727 |  1290k|   3.9 |  37M|  47 |   - | 146 |  20 | 146 |  20 |  24 |  31k|6460 | 0.000000e+00 | 7.000000e+00 |    Inf 
178.93/179.01	c   163s|340000 | 65838 |  1321k|   3.9 |  37M|  47 |   6 | 146 |  22 | 146 |  20 |  24 |  32k|6582 | 0.000000e+00 | 7.000000e+00 |    Inf 
182.83/182.90	c   167s|350000 | 66043 |  1352k|   3.9 |  37M|  47 |   6 | 146 |  18 | 146 |  20 |  24 |  33k|6715 | 0.000000e+00 | 7.000000e+00 |    Inf 
186.72/186.81	c   170s|360000 | 65914 |  1383k|   3.8 |  37M|  47 |   - | 146 |  17 | 146 |  20 |  24 |  34k|6832 | 0.000000e+00 | 7.000000e+00 |    Inf 
190.53/190.66	c   174s|370000 | 65650 |  1413k|   3.8 |  37M|  47 |   - | 146 |  20 | 146 |  20 |  24 |  35k|6955 | 0.000000e+00 | 7.000000e+00 |    Inf 
194.53/194.61	c   178s|380000 | 65471 |  1445k|   3.8 |  37M|  47 |   - | 146 |  22 | 146 |  20 |  24 |  36k|7076 | 0.000000e+00 | 7.000000e+00 |    Inf 
198.32/198.47	c   181s|390000 | 65386 |  1477k|   3.8 |  37M|  47 |   - | 146 |  19 |   0 |   0 |  24 |  37k|7157 | 0.000000e+00 | 7.000000e+00 |    Inf 
202.23/202.40	c   185s|400000 | 65399 |  1508k|   3.8 |  37M|  47 |   6 | 146 |  27 | 146 |  20 |  24 |  37k|7252 | 0.000000e+00 | 7.000000e+00 |    Inf 
206.13/206.28	c   188s|410000 | 65399 |  1540k|   3.8 |  37M|  47 |   - | 146 |  25 | 146 |  20 |  24 |  38k|7350 | 0.000000e+00 | 7.000000e+00 |    Inf 
210.12/210.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
210.12/210.26	c   192s|420000 | 65555 |  1571k|   3.7 |  37M|  47 |   6 | 146 |  19 | 146 |  20 |  24 |  39k|7443 | 0.000000e+00 | 7.000000e+00 |    Inf 
214.02/214.15	c   195s|430000 | 65388 |  1601k|   3.7 |  37M|  47 |   6 | 146 |  21 | 146 |  20 |  24 |  40k|7505 | 0.000000e+00 | 7.000000e+00 |    Inf 
217.91/218.03	c   199s|440000 | 65209 |  1631k|   3.7 |  37M|  47 |   - | 146 |  22 |   0 |   0 |  24 |  41k|7586 | 0.000000e+00 | 7.000000e+00 |    Inf 
221.92/222.00	c   203s|450000 | 65302 |  1663k|   3.7 |  37M|  47 |   - | 146 |  24 |   0 |   0 |  24 |  42k|7676 | 0.000000e+00 | 7.000000e+00 |    Inf 
225.81/225.90	c   206s|460000 | 65036 |  1695k|   3.7 |  37M|  47 |   6 | 146 |  25 | 146 |  20 |  24 |  43k|7769 | 0.000000e+00 | 7.000000e+00 |    Inf 
229.72/229.81	c   210s|470000 | 64852 |  1727k|   3.7 |  37M|  47 |   6 | 146 |  24 | 146 |  20 |  24 |  44k|7868 | 0.000000e+00 | 7.000000e+00 |    Inf 
233.52/233.68	c   213s|480000 | 64517 |  1759k|   3.7 |  37M|  47 |   6 | 146 |  29 | 146 |  20 |  24 |  45k|7943 | 0.000000e+00 | 7.000000e+00 |    Inf 
237.42/237.57	c   217s|490000 | 64266 |  1791k|   3.7 |  37M|  47 |   6 | 146 |  25 | 146 |  20 |  24 |  46k|8015 | 0.000000e+00 | 7.000000e+00 |    Inf 
241.31/241.48	c   220s|500000 | 64132 |  1823k|   3.6 |  37M|  47 |   - | 146 |  27 | 146 |  20 |  24 |  47k|8090 | 0.000000e+00 | 7.000000e+00 |    Inf 
245.22/245.37	c   224s|510000 | 63895 |  1855k|   3.6 |  37M|  47 |   6 | 146 |  24 | 146 |  20 |  24 |  47k|8168 | 0.000000e+00 | 7.000000e+00 |    Inf 
249.10/249.22	c   227s|520000 | 63775 |  1887k|   3.6 |  37M|  47 |   6 | 146 |  21 | 146 |  20 |  24 |  48k|8248 | 0.000000e+00 | 7.000000e+00 |    Inf 
253.01/253.12	c   231s|530000 | 63928 |  1919k|   3.6 |  37M|  47 |   - | 146 |  22 |   0 |   0 |  24 |  49k|8318 | 0.000000e+00 | 7.000000e+00 |    Inf 
256.81/256.96	c   234s|540000 | 63623 |  1951k|   3.6 |  37M|  47 |   - | 146 |  23 |   0 |   0 |  24 |  50k|8390 | 0.000000e+00 | 7.000000e+00 |    Inf 
260.70/260.88	c   238s|550000 | 63505 |  1983k|   3.6 |  37M|  47 |   - | 146 |  25 | 146 |  20 |  24 |  51k|8452 | 0.000000e+00 | 7.000000e+00 |    Inf 
264.60/264.73	c   241s|560000 | 63255 |  2015k|   3.6 |  36M|  47 |   6 | 146 |  22 | 146 |  20 |  24 |  52k|8530 | 0.000000e+00 | 7.000000e+00 |    Inf 
268.40/268.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
268.40/268.51	c   245s|570000 | 63191 |  2046k|   3.6 |  36M|  47 |   - | 146 |  20 | 146 |  20 |  24 |  52k|8584 | 0.000000e+00 | 7.000000e+00 |    Inf 
272.20/272.35	c   248s|580000 | 63201 |  2077k|   3.6 |  36M|  47 |   6 | 146 |  25 | 146 |  20 |  24 |  53k|8663 | 0.000000e+00 | 7.000000e+00 |    Inf 
276.10/276.22	c   252s|590000 | 63526 |  2108k|   3.6 |  37M|  47 |   6 | 146 |  23 | 146 |  20 |  24 |  54k|8727 | 0.000000e+00 | 7.000000e+00 |    Inf 
279.90/280.07	c   255s|600000 | 63660 |  2140k|   3.6 |  37M|  47 |   6 | 146 |  25 | 146 |  20 |  24 |  55k|8793 | 0.000000e+00 | 7.000000e+00 |    Inf 
283.79/283.90	c   259s|610000 | 63281 |  2171k|   3.6 |  37M|  47 |   6 | 146 |  24 | 146 |  20 |  24 |  56k|8868 | 0.000000e+00 | 7.000000e+00 |    Inf 
287.60/287.71	c   262s|620000 | 62853 |  2201k|   3.6 |  36M|  47 |   - | 146 |  22 |   0 |   0 |  24 |  57k|8937 | 0.000000e+00 | 7.000000e+00 |    Inf 
291.50/291.61	c   266s|630000 | 62783 |  2234k|   3.5 |  36M|  47 |   6 | 146 |  23 | 146 |  20 |  24 |  57k|9009 | 0.000000e+00 | 7.000000e+00 |    Inf 
295.39/295.51	c   269s|640000 | 62866 |  2267k|   3.5 |  36M|  47 |   - | 146 |  28 |   0 |   0 |  24 |  58k|9068 | 0.000000e+00 | 7.000000e+00 |    Inf 
299.19/299.39	c   273s|650000 | 62805 |  2298k|   3.5 |  37M|  47 |   - | 146 |  23 | 146 |  20 |  24 |  59k|9133 | 0.000000e+00 | 7.000000e+00 |    Inf 
303.09/303.28	c   276s|660000 | 62594 |  2330k|   3.5 |  36M|  47 |   6 | 146 |  20 | 146 |  20 |  24 |  60k|9201 | 0.000000e+00 | 7.000000e+00 |    Inf 
306.99/307.14	c   280s|670000 | 62305 |  2361k|   3.5 |  36M|  47 |   - | 146 |  20 |   0 |   0 |  24 |  61k|9277 | 0.000000e+00 | 7.000000e+00 |    Inf 
310.79/310.95	c   283s|680000 | 62453 |  2391k|   3.5 |  36M|  47 |   - | 146 |  26 | 146 |  20 |  24 |  62k|9340 | 0.000000e+00 | 7.000000e+00 |    Inf 
314.59/314.75	c   287s|690000 | 62122 |  2421k|   3.5 |  36M|  47 |   - | 146 |  23 | 146 |  20 |  24 |  63k|9390 | 0.000000e+00 | 7.000000e+00 |    Inf 
318.48/318.61	c   290s|700000 | 61857 |  2452k|   3.5 |  36M|  47 |   - | 146 |  24 | 146 |  20 |  24 |  64k|9450 | 0.000000e+00 | 7.000000e+00 |    Inf 
322.28/322.46	c   294s|710000 | 61902 |  2483k|   3.5 |  36M|  47 |   - | 146 |  25 |   0 |   0 |  24 |  64k|9522 | 0.000000e+00 | 7.000000e+00 |    Inf 
326.18/326.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
326.18/326.35	c   297s|720000 | 61859 |  2515k|   3.5 |  36M|  47 |   - | 146 |  21 | 146 |  20 |  24 |  65k|9580 | 0.000000e+00 | 7.000000e+00 |    Inf 
330.08/330.21	c   301s|730000 | 61806 |  2547k|   3.5 |  36M|  47 |   - | 146 |  22 | 146 |  20 |  24 |  66k|9644 | 0.000000e+00 | 7.000000e+00 |    Inf 
333.88/334.06	c   304s|740000 | 61429 |  2578k|   3.5 |  36M|  47 |   - | 146 |  28 | 146 |  20 |  24 |  67k|9712 | 0.000000e+00 | 7.000000e+00 |    Inf 
337.68/337.89	c   308s|750000 | 61141 |  2610k|   3.5 |  36M|  47 |   6 | 146 |  19 | 146 |  20 |  24 |  68k|9761 | 0.000000e+00 | 7.000000e+00 |    Inf 
341.58/341.75	c   311s|760000 | 60742 |  2640k|   3.5 |  35M|  47 |   6 | 146 |  25 | 146 |  20 |  24 |  69k|9817 | 0.000000e+00 | 7.000000e+00 |    Inf 
345.37/345.60	c   315s|770000 | 60644 |  2671k|   3.5 |  35M|  47 |   6 | 146 |  20 | 146 |  20 |  24 |  70k|9876 | 0.000000e+00 | 7.000000e+00 |    Inf 
349.18/349.37	c   318s|780000 | 60428 |  2702k|   3.5 |  35M|  47 |   - | 146 |  19 | 146 |  20 |  24 |  71k|9950 | 0.000000e+00 | 7.000000e+00 |    Inf 
353.27/353.49	c   322s|790000 | 61569 |  2736k|   3.5 |  36M|  47 |   6 | 146 |  31 | 146 |  20 |  24 |  71k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
357.38/357.55	c   326s|800000 | 62674 |  2770k|   3.5 |  37M|  47 |   - | 146 |  25 | 146 |  20 |  24 |  72k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
361.47/361.60	c   329s|810000 | 63505 |  2803k|   3.5 |  37M|  47 |   6 | 146 |  26 | 146 |  20 |  24 |  73k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
365.47/365.66	c   333s|820000 | 64547 |  2837k|   3.5 |  38M|  47 |   6 | 146 |  22 | 146 |  20 |  24 |  74k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
369.47/369.66	c   337s|830000 | 65314 |  2871k|   3.5 |  39M|  47 |   6 | 146 |  23 | 146 |  20 |  24 |  75k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
373.46/373.65	c   340s|840000 | 66145 |  2904k|   3.5 |  39M|  47 |   - | 146 |  27 | 146 |  20 |  24 |  76k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
377.47/377.63	c   344s|850000 | 66516 |  2937k|   3.5 |  40M|  47 |   6 | 146 |  20 | 146 |  20 |  24 |  77k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
381.36/381.51	c   348s|860000 | 67013 |  2968k|   3.5 |  40M|  47 |   6 | 146 |  20 | 146 |  20 |  24 |  77k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
385.26/385.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
385.26/385.43	c   351s|870000 | 67176 |  3000k|   3.4 |  41M|  47 |   6 | 146 |  21 | 146 |  20 |  24 |  78k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
389.27/389.43	c   355s|880000 | 67483 |  3032k|   3.4 |  41M|  47 |   - | 146 |  23 | 146 |  20 |  24 |  79k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
393.16/393.36	c   358s|890000 | 67484 |  3064k|   3.4 |  41M|  47 |   6 | 146 |  25 | 146 |  20 |  24 |  80k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
397.06/397.23	c   362s|900000 | 67391 |  3095k|   3.4 |  41M|  47 |   6 | 146 |  26 | 146 |  20 |  24 |  81k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
400.96/401.17	c   365s|910000 | 67673 |  3126k|   3.4 |  42M|  47 |   - | 146 |  20 | 146 |  20 |  24 |  82k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
404.95/405.12	c   369s|920000 | 67900 |  3158k|   3.4 |  42M|  47 |   - | 146 |  25 |   0 |   0 |  24 |  83k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
408.86/409.10	c   373s|930000 | 68150 |  3190k|   3.4 |  42M|  47 |   6 | 146 |  22 | 146 |  20 |  24 |  84k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
412.85/413.05	c   376s|940000 | 68323 |  3222k|   3.4 |  43M|  47 |   - | 146 |  21 |   0 |   0 |  24 |  85k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
416.76/416.97	c   380s|950000 | 68341 |  3253k|   3.4 |  43M|  47 |   - | 146 |  18 | 146 |  20 |  24 |  86k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
420.76/420.93	c   383s|960000 | 68375 |  3286k|   3.4 |  43M|  47 |   - | 146 |  20 | 146 |  20 |  24 |  87k|  10k| 0.000000e+00 | 7.000000e+00 |    Inf 
424.65/424.88	c   387s|970000 | 68372 |  3318k|   3.4 |  43M|  47 |   6 | 146 |  20 | 146 |  20 |  24 |  88k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
428.55/428.79	c   390s|980000 | 68241 |  3349k|   3.4 |  43M|  47 |   - | 146 |  21 | 146 |  20 |  24 |  88k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
432.55/432.75	c   394s|990000 | 68442 |  3382k|   3.4 |  44M|  47 |   6 | 146 |  23 | 146 |  20 |  24 |  89k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
436.46/436.62	c   398s|  1000k| 68424 |  3414k|   3.4 |  44M|  47 |   6 | 146 |  20 | 146 |  20 |  24 |  90k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
440.34/440.50	c   401s|  1010k| 68311 |  3445k|   3.4 |  44M|  47 |   - | 146 |  18 | 146 |  20 |  24 |  91k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
444.25/444.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
444.25/444.42	c   405s|  1020k| 68355 |  3477k|   3.4 |  44M|  47 |   - | 146 |  20 |   0 |   0 |  24 |  92k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
448.14/448.34	c   408s|  1030k| 68729 |  3508k|   3.4 |  44M|  47 |   6 | 146 |  24 | 146 |  20 |  24 |  93k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
451.95/452.19	c   412s|  1040k| 68510 |  3539k|   3.4 |  44M|  47 |   6 | 146 |  25 | 146 |  20 |  24 |  94k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
455.84/456.08	c   415s|  1050k| 68340 |  3569k|   3.4 |  44M|  47 |   - | 146 |  20 | 146 |  20 |  24 |  95k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
459.73/459.98	c   419s|  1060k| 68435 |  3601k|   3.4 |  44M|  47 |   - | 146 |  23 | 146 |  20 |  24 |  96k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
463.64/463.88	c   422s|  1070k| 68460 |  3633k|   3.4 |  45M|  47 |   - | 146 |  19 | 146 |  20 |  24 |  96k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
467.54/467.71	c   426s|  1080k| 68329 |  3664k|   3.4 |  45M|  47 |   6 | 146 |  20 | 146 |  20 |  24 |  97k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
471.44/471.68	c   429s|  1090k| 68561 |  3696k|   3.4 |  45M|  47 |   - | 146 |  22 | 146 |  20 |  24 |  98k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
475.33/475.57	c   433s|  1100k| 68515 |  3727k|   3.4 |  45M|  47 |   6 | 146 |  18 | 146 |  20 |  24 |  99k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
479.23/479.43	c   437s|  1110k| 68326 |  3758k|   3.4 |  45M|  47 |   - | 146 |  18 | 146 |  20 |  24 | 100k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
483.13/483.38	c   440s|  1120k| 69009 |  3790k|   3.4 |  46M|  47 |   6 | 146 |  20 | 146 |  20 |  24 | 101k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
487.03/487.22	c   444s|  1130k| 68966 |  3821k|   3.4 |  46M|  47 |   6 | 146 |  18 | 146 |  20 |  24 | 102k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
490.83/491.05	c   447s|  1140k| 69127 |  3852k|   3.4 |  46M|  47 |   6 | 146 |  20 | 146 |  20 |  24 | 103k|  11k| 0.000000e+00 | 7.000000e+00 |    Inf 
494.62/494.86	c   451s|  1150k| 68659 |  3882k|   3.4 |  46M|  47 |   - | 146 |  21 | 146 |  20 |  24 | 104k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
498.52/498.75	c   454s|  1160k| 68419 |  3912k|   3.4 |  46M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 105k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
502.42/502.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
502.42/502.61	c   458s|  1170k| 68281 |  3943k|   3.4 |  46M|  47 |   - | 146 |  21 | 146 |  20 |  24 | 106k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
506.32/506.51	c   461s|  1180k| 68484 |  3974k|   3.4 |  46M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 106k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
510.13/510.38	c   465s|  1190k| 68413 |  4006k|   3.4 |  46M|  47 |   - | 146 |  18 | 146 |  20 |  24 | 107k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
514.02/514.24	c   468s|  1200k| 67894 |  4037k|   3.4 |  46M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 108k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
517.83/518.09	c   472s|  1210k| 68040 |  4067k|   3.4 |  46M|  47 |   6 | 146 |  19 | 146 |  20 |  24 | 109k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
521.71/521.92	c   475s|  1220k| 68179 |  4097k|   3.4 |  46M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 110k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
525.52/525.73	c   479s|  1230k| 68261 |  4128k|   3.4 |  46M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 111k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
529.31/529.55	c   482s|  1240k| 68067 |  4158k|   3.4 |  46M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 112k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
533.21/533.43	c   486s|  1250k| 68396 |  4190k|   3.4 |  46M|  47 |   - | 146 |  46 | 146 |  20 |  24 | 113k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
537.40/537.61	c   490s|  1260k| 69896 |  4225k|   3.4 |  47M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 114k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
541.80/542.08	c   494s|  1270k| 72358 |  4261k|   3.4 |  49M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 115k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
545.91/546.16	c   497s|  1280k| 73911 |  4295k|   3.4 |  50M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 116k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
550.01/550.26	c   501s|  1290k| 75422 |  4328k|   3.4 |  51M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 116k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
554.11/554.37	c   505s|  1300k| 76866 |  4362k|   3.4 |  52M|  47 |   6 | 146 |  20 | 146 |  20 |  24 | 117k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
558.20/558.47	c   508s|  1310k| 77984 |  4395k|   3.4 |  52M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 118k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
562.20/562.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
562.20/562.46	c   512s|  1320k| 79276 |  4429k|   3.4 |  53M|  47 |   - | 146 |  18 | 146 |  20 |  24 | 119k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
566.21/566.41	c   516s|  1330k| 80223 |  4461k|   3.4 |  54M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 120k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
570.20/570.40	c   519s|  1340k| 81200 |  4494k|   3.4 |  55M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 121k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
574.30/574.52	c   523s|  1350k| 82249 |  4527k|   3.4 |  56M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 122k|  12k| 0.000000e+00 | 7.000000e+00 |    Inf 
578.40/578.62	c   527s|  1360k| 83547 |  4561k|   3.4 |  56M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 122k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
582.30/582.55	c   530s|  1370k| 84498 |  4592k|   3.4 |  57M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 123k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
586.39/586.60	c   534s|  1380k| 85345 |  4625k|   3.4 |  58M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 124k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
590.29/590.59	c   538s|  1390k| 86462 |  4657k|   3.4 |  59M|  47 |   - | 146 |  20 | 146 |  20 |  24 | 125k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
594.39/594.61	c   541s|  1400k| 87955 |  4689k|   3.3 |  59M|  47 |   - | 146 |  19 |   0 |   0 |  24 | 126k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
598.29/598.53	c   545s|  1410k| 88786 |  4720k|   3.3 |  60M|  47 |   - | 146 |  21 | 146 |  20 |  24 | 127k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
602.18/602.47	c   548s|  1420k| 89602 |  4751k|   3.3 |  61M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 128k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
606.19/606.40	c   552s|  1430k| 90062 |  4782k|   3.3 |  61M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 129k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
610.08/610.31	c   556s|  1440k| 90509 |  4813k|   3.3 |  62M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 130k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
614.08/614.33	c   559s|  1450k| 91548 |  4845k|   3.3 |  62M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 130k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
618.07/618.37	c   563s|  1460k| 92711 |  4878k|   3.3 |  63M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 131k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
622.08/622.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
622.08/622.36	c   567s|  1470k| 93341 |  4910k|   3.3 |  64M|  47 |   6 | 146 |  20 | 146 |  20 |  24 | 132k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
626.08/626.32	c   570s|  1480k| 93831 |  4942k|   3.3 |  64M|  47 |   - | 146 |  27 |   0 |   0 |  24 | 133k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
630.38/630.68	c   574s|  1490k| 95619 |  4977k|   3.3 |  65M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 134k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
635.17/635.40	c   578s|  1500k| 98638 |  5016k|   3.3 |  67M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 135k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
639.47/639.70	c   582s|  1510k|100931 |  5051k|   3.3 |  68M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 136k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
643.67/643.97	c   586s|  1520k|102820 |  5086k|   3.3 |  69M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 137k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
647.97/648.22	c   590s|  1530k|104853 |  5121k|   3.3 |  71M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 138k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
652.08/652.37	c   594s|  1540k|106742 |  5155k|   3.3 |  72M|  47 |   - | 146 |  31 | 146 |  20 |  24 | 138k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
656.17/656.41	c   598s|  1550k|108119 |  5188k|   3.3 |  73M|  47 |   - | 146 |  18 | 146 |  20 |  24 | 139k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
660.26/660.50	c   601s|  1560k|109646 |  5222k|   3.3 |  74M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 140k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
664.36/664.66	c   605s|  1570k|111199 |  5256k|   3.3 |  75M|  47 |   - | 146 |  24 |   0 |   0 |  24 | 141k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
668.46/668.77	c   609s|  1580k|112846 |  5290k|   3.3 |  76M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 142k|  13k| 0.000000e+00 | 7.000000e+00 |    Inf 
672.56/672.84	c   613s|  1590k|114323 |  5324k|   3.3 |  77M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 143k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
676.65/676.98	c   616s|  1600k|116336 |  5357k|   3.3 |  78M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 143k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
680.76/681.04	c   620s|  1610k|117866 |  5389k|   3.3 |  79M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 144k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
684.86/685.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
684.86/685.10	c   624s|  1620k|119407 |  5421k|   3.3 |  80M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 145k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
688.85/689.14	c   627s|  1630k|120641 |  5454k|   3.3 |  81M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 146k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
692.85/693.15	c   631s|  1640k|121984 |  5487k|   3.3 |  81M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 147k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
696.85/697.16	c   635s|  1650k|122819 |  5519k|   3.3 |  82M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 148k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
701.14/701.44	c   639s|  1660k|124886 |  5554k|   3.3 |  83M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 148k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
705.25/705.58	c   642s|  1670k|126622 |  5589k|   3.3 |  84M|  47 |   6 | 146 |  18 | 146 |  20 |  24 | 149k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
709.44/709.77	c   646s|  1680k|128199 |  5624k|   3.3 |  85M|  47 |   6 | 146 |  19 | 146 |  20 |  24 | 150k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
713.94/714.22	c   650s|  1690k|130988 |  5660k|   3.3 |  87M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 151k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
718.14/718.44	c   654s|  1700k|133020 |  5695k|   3.3 |  88M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 152k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
722.35/722.65	c   658s|  1710k|134957 |  5729k|   3.4 |  89M|  47 |   - | 146 |  20 | 146 |  20 |  24 | 153k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
726.54/726.86	c   662s|  1720k|136586 |  5763k|   3.4 |  90M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 154k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
730.63/730.95	c   666s|  1730k|137882 |  5797k|   3.4 |  91M|  47 |   - | 146 |  25 |   0 |   0 |  24 | 155k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
734.84/735.14	c   669s|  1740k|139387 |  5831k|   3.4 |  92M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 155k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
738.94/739.29	c   673s|  1750k|140525 |  5864k|   3.4 |  93M|  47 |   - | 146 |  19 |   0 |   0 |  24 | 156k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
743.03/743.37	c   677s|  1760k|141560 |  5898k|   3.4 |  94M|  47 |   6 | 146 |  18 | 146 |  20 |  24 | 157k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
747.23/747.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
747.23/747.60	c   681s|  1770k|143291 |  5932k|   3.4 |  95M|  47 |   6 | 146 |  20 | 146 |  20 |  24 | 158k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
751.33/751.69	c   685s|  1780k|144294 |  5966k|   3.4 |  95M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 159k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
755.43/755.72	c   688s|  1790k|145322 |  5999k|   3.4 |  96M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 160k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
759.43/759.73	c   692s|  1800k|146517 |  6031k|   3.4 |  97M|  47 |   - | 146 |  19 | 146 |  20 |  24 | 161k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
763.43/763.72	c   696s|  1810k|147354 |  6064k|   3.4 |  98M|  47 |   6 | 146 |  18 | 146 |  20 |  24 | 162k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
767.44/767.77	c   699s|  1820k|148390 |  6097k|   3.4 |  98M|  47 |   6 | 146 |  19 | 146 |  20 |  24 | 163k|  14k| 0.000000e+00 | 7.000000e+00 |    Inf 
771.53/771.82	c   703s|  1830k|149600 |  6129k|   3.3 |  99M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 164k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
775.52/775.82	c   706s|  1840k|150670 |  6162k|   3.3 | 100M|  47 |   - | 146 |  23 |   0 |   0 |  24 | 165k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
779.63/779.95	c   710s|  1850k|151458 |  6195k|   3.3 | 101M|  47 |   - | 146 |  21 | 146 |  20 |  24 | 166k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
783.62/783.95	c   714s|  1860k|152253 |  6227k|   3.3 | 101M|  47 |   6 | 146 |  16 | 146 |  20 |  24 | 167k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
787.62/787.90	c   717s|  1870k|152825 |  6259k|   3.3 | 102M|  47 |   - | 146 |  20 | 146 |  20 |  24 | 167k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
791.62/791.96	c   721s|  1880k|153626 |  6291k|   3.3 | 103M|  47 |   - | 146 |  19 | 146 |  20 |  24 | 168k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
795.81/796.11	c   725s|  1890k|154684 |  6326k|   3.3 | 103M|  47 |   6 | 146 |  20 | 146 |  20 |  24 | 169k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
799.81/800.19	c   729s|  1900k|155759 |  6359k|   3.3 | 104M|  47 |   6 | 146 |  19 | 146 |  20 |  24 | 170k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
803.91/804.22	c   732s|  1910k|156477 |  6392k|   3.3 | 105M|  47 |   6 | 146 |  16 | 146 |  20 |  24 | 171k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
807.91/808.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
807.91/808.24	c   736s|  1920k|157109 |  6424k|   3.3 | 105M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 172k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
812.01/812.31	c   740s|  1930k|157714 |  6457k|   3.3 | 106M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 173k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
816.01/816.33	c   743s|  1940k|158388 |  6489k|   3.3 | 106M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 174k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
820.01/820.32	c   747s|  1950k|158869 |  6521k|   3.3 | 107M|  47 |   - | 146 |  20 | 146 |  20 |  24 | 175k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
824.01/824.32	c   751s|  1960k|159401 |  6553k|   3.3 | 107M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 176k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
828.01/828.36	c   754s|  1970k|160471 |  6585k|   3.3 | 108M|  47 |   - | 146 |  24 |   0 |   0 |  24 | 177k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
832.10/832.42	c   758s|  1980k|161196 |  6618k|   3.3 | 109M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 178k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
836.10/836.40	c   762s|  1990k|161884 |  6649k|   3.3 | 109M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 179k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
840.10/840.47	c   765s|  2000k|162629 |  6681k|   3.3 | 110M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 180k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
844.10/844.48	c   769s|  2010k|163264 |  6713k|   3.3 | 111M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 181k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
848.20/848.58	c   773s|  2020k|164032 |  6746k|   3.3 | 111M|  47 |   - | 146 |  29 |   0 |   0 |  24 | 181k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
852.29/852.68	c   777s|  2030k|164990 |  6779k|   3.3 | 112M|  47 |   6 | 146 |  31 | 146 |  20 |  24 | 182k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
856.40/856.79	c   780s|  2040k|165695 |  6812k|   3.3 | 112M|  47 |   6 | 146 |  31 | 146 |  20 |  24 | 183k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
860.39/860.76	c   784s|  2050k|166072 |  6843k|   3.3 | 113M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 184k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
864.49/864.81	c   788s|  2060k|166936 |  6876k|   3.3 | 114M|  47 |   - | 146 |  30 | 146 |  20 |  24 | 185k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
868.38/868.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
868.38/868.79	c   791s|  2070k|167556 |  6908k|   3.3 | 114M|  47 |   - | 146 |  31 | 146 |  20 |  24 | 186k|  15k| 0.000000e+00 | 7.000000e+00 |    Inf 
872.39/872.77	c   795s|  2080k|168437 |  6940k|   3.3 | 115M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 187k|  16k| 0.000000e+00 | 7.000000e+00 |    Inf 
876.39/876.77	c   799s|  2090k|168900 |  6971k|   3.3 | 115M|  47 |   - | 146 |  25 |   0 |   0 |  24 | 188k|  16k| 0.000000e+00 | 7.000000e+00 |    Inf 
878.68/879.09	o 5
878.68/879.09	c * 801s|  2095k|162326 |  6990k|   3.3 | 104M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 189k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
880.39/880.74	c   802s|  2100k|162354 |  7003k|   3.3 | 104M|  47 |   6 | 146 |  19 | 146 |  20 |  24 | 189k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
884.29/884.62	c   806s|  2110k|162681 |  7035k|   3.3 | 105M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 190k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
888.18/888.51	c   809s|  2120k|163105 |  7067k|   3.3 | 105M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 190k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
891.98/892.34	c   813s|  2130k|163460 |  7098k|   3.3 | 105M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 191k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
895.88/896.28	c   816s|  2140k|164502 |  7130k|   3.3 | 106M|  47 |   - | 146 |  39 |   0 |   0 |  24 | 192k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
900.47/900.90	c   820s|  2150k|164755 |  7160k|   3.3 | 106M|  47 |   6 | 146 |  33 | 146 |  20 |  24 | 192k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
904.46/904.82	c   824s|  2160k|165612 |  7192k|   3.3 | 107M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 193k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
908.27/908.69	c   827s|  2170k|166150 |  7223k|   3.3 | 108M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 194k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
912.15/912.55	c   831s|  2180k|166556 |  7254k|   3.3 | 108M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 195k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
916.06/916.45	c   834s|  2190k|166989 |  7286k|   3.3 | 108M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 195k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
919.96/920.33	c   838s|  2200k|167288 |  7317k|   3.3 | 109M|  47 |   - | 146 |  24 |   0 |   0 |  24 | 196k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
923.86/924.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
923.86/924.21	c   841s|  2210k|168080 |  7349k|   3.3 | 109M|  47 |   - | 146 |  29 | 146 |  20 |  24 | 197k|  16k| 0.000000e+00 | 5.000000e+00 |    Inf 
927.55/927.97	c   845s|  2220k|168344 |  7380k|   3.3 | 110M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 198k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
931.45/931.83	c   848s|  2230k|168960 |  7411k|   3.3 | 110M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 198k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
935.35/935.72	c   852s|  2240k|169781 |  7442k|   3.3 | 111M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 199k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
939.15/939.57	c   855s|  2250k|170011 |  7472k|   3.3 | 111M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 200k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
943.05/943.43	c   859s|  2260k|170762 |  7503k|   3.3 | 112M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 201k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
946.84/947.22	c   862s|  2270k|170816 |  7533k|   3.3 | 112M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 202k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
950.65/951.02	c   866s|  2280k|171103 |  7565k|   3.3 | 112M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 202k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
954.35/954.78	c   869s|  2290k|171261 |  7595k|   3.3 | 112M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 203k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
958.24/958.63	c   873s|  2300k|172207 |  7626k|   3.3 | 113M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 204k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
962.04/962.46	c   876s|  2310k|172504 |  7658k|   3.3 | 113M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 204k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
965.84/966.29	c   880s|  2320k|172589 |  7689k|   3.3 | 114M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 205k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
969.74/970.11	c   883s|  2330k|172732 |  7719k|   3.3 | 114M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 206k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
973.54/973.90	c   887s|  2340k|172942 |  7749k|   3.3 | 114M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 207k|  17k| 0.000000e+00 | 5.000000e+00 |    Inf 
977.23/977.69	c   890s|  2350k|173509 |  7780k|   3.3 | 115M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 207k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
981.03/981.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
981.03/981.42	c   893s|  2360k|173547 |  7810k|   3.3 | 115M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 208k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
984.93/985.31	c   897s|  2370k|173882 |  7842k|   3.3 | 115M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 209k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
988.83/989.24	c   900s|  2380k|174271 |  7875k|   3.3 | 115M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 209k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
992.72/993.17	c   904s|  2390k|174861 |  7908k|   3.3 | 116M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 210k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
996.52/996.95	c   908s|  2400k|174977 |  7939k|   3.3 | 116M|  47 |   - | 146 |  21 | 146 |  20 |  24 | 211k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
1000.32/1000.73	c   911s|  2410k|175017 |  7969k|   3.3 | 116M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 211k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
1004.03/1004.47	c   914s|  2420k|175256 |  7998k|   3.3 | 117M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 212k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
1007.82/1008.26	c   918s|  2430k|175578 |  8027k|   3.3 | 117M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 213k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
1011.62/1012.05	c   921s|  2440k|175962 |  8057k|   3.3 | 117M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 214k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
1015.42/1015.85	c   925s|  2450k|176152 |  8086k|   3.3 | 117M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 214k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
1019.33/1019.72	c   928s|  2460k|176545 |  8117k|   3.3 | 118M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 215k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
1023.12/1023.55	c   932s|  2470k|176766 |  8148k|   3.3 | 118M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 216k|  18k| 0.000000e+00 | 5.000000e+00 |    Inf 
1027.02/1027.41	c   935s|  2480k|177006 |  8178k|   3.3 | 118M|  47 |   6 | 146 |  21 | 146 |  20 |  24 | 217k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1030.81/1031.21	c   939s|  2490k|177726 |  8208k|   3.3 | 119M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 217k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1034.62/1035.01	c   942s|  2500k|177714 |  8238k|   3.3 | 119M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 218k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1038.41/1038.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1038.41/1038.82	c   946s|  2510k|177644 |  8268k|   3.3 | 119M|  47 |   - | 146 |  32 | 146 |  20 |  24 | 219k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1042.20/1042.61	c   949s|  2520k|177696 |  8297k|   3.3 | 119M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 220k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1046.01/1046.41	c   953s|  2530k|177706 |  8326k|   3.3 | 120M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 220k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1049.81/1050.26	c   956s|  2540k|177572 |  8356k|   3.3 | 120M|  47 |   6 | 146 |  19 | 146 |  20 |  24 | 221k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1053.60/1054.05	c   960s|  2550k|177575 |  8386k|   3.3 | 120M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 222k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1057.41/1057.84	c   963s|  2560k|177487 |  8415k|   3.3 | 120M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 223k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1061.20/1061.64	c   966s|  2570k|177764 |  8446k|   3.3 | 120M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 224k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1065.00/1065.43	c   970s|  2580k|178075 |  8476k|   3.3 | 120M|  47 |   - | 146 |  30 | 146 |  20 |  24 | 224k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1068.81/1069.29	c   973s|  2590k|178985 |  8507k|   3.3 | 121M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 225k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1072.70/1073.11	c   977s|  2600k|179618 |  8538k|   3.3 | 122M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 226k|  19k| 0.000000e+00 | 5.000000e+00 |    Inf 
1076.40/1076.90	c   980s|  2610k|179730 |  8568k|   3.3 | 122M|  47 |   - | 146 |  25 |   0 |   0 |  24 | 227k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1080.29/1080.72	c   984s|  2620k|179747 |  8599k|   3.3 | 122M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 228k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1084.10/1084.52	c   987s|  2630k|179502 |  8629k|   3.3 | 122M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 228k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1087.80/1088.28	c   991s|  2640k|179036 |  8660k|   3.3 | 122M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 229k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1091.59/1092.09	c   994s|  2650k|179031 |  8689k|   3.3 | 122M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 230k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1095.49/1095.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1095.49/1095.93	c   998s|  2660k|179000 |  8720k|   3.3 | 122M|  47 |   - | 146 |  26 |   0 |   0 |  24 | 231k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1099.29/1099.74	c  1001s|  2670k|178820 |  8750k|   3.3 | 122M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 232k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1102.98/1103.47	c  1004s|  2680k|178724 |  8779k|   3.3 | 122M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 232k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1106.88/1107.30	c  1008s|  2690k|178998 |  8809k|   3.3 | 122M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 233k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1110.68/1111.13	c  1011s|  2700k|179487 |  8841k|   3.3 | 123M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 234k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1114.48/1114.95	c  1015s|  2710k|179783 |  8872k|   3.3 | 123M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 235k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1118.29/1118.77	c  1018s|  2720k|179723 |  8903k|   3.3 | 123M|  47 |   - | 146 |  24 |   0 |   0 |  24 | 236k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1122.08/1122.57	c  1022s|  2730k|179686 |  8934k|   3.3 | 123M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 236k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1125.89/1126.38	c  1025s|  2740k|179777 |  8966k|   3.3 | 124M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 237k|  20k| 0.000000e+00 | 5.000000e+00 |    Inf 
1129.68/1130.13	c  1029s|  2750k|179524 |  8995k|   3.3 | 124M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 238k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1133.48/1133.93	c  1032s|  2760k|179774 |  9026k|   3.3 | 124M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 239k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1137.38/1137.80	c  1036s|  2770k|179774 |  9055k|   3.3 | 124M|  47 |   - | 146 |  31 | 146 |  20 |  24 | 239k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1141.07/1141.52	c  1039s|  2780k|179796 |  9085k|   3.3 | 124M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 240k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1144.87/1145.34	c  1043s|  2790k|179827 |  9114k|   3.3 | 124M|  47 |   6 | 146 |  34 | 146 |  20 |  24 | 241k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1148.67/1149.16	c  1046s|  2800k|180452 |  9145k|   3.3 | 125M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 242k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1152.57/1153.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1152.57/1153.00	c  1050s|  2810k|180728 |  9175k|   3.3 | 125M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 242k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1156.37/1156.82	c  1053s|  2820k|181073 |  9206k|   3.3 | 125M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 243k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1160.07/1160.51	c  1056s|  2830k|180913 |  9235k|   3.3 | 125M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 244k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1163.76/1164.23	c  1060s|  2840k|180489 |  9264k|   3.3 | 125M|  47 |   - | 146 |  27 |   0 |   0 |  24 | 245k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1167.57/1168.02	c  1063s|  2850k|180171 |  9294k|   3.3 | 125M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 245k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1171.26/1171.75	c  1067s|  2860k|180112 |  9323k|   3.3 | 125M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 246k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1175.07/1175.56	c  1070s|  2870k|180452 |  9352k|   3.3 | 125M|  47 |   6 | 146 |  36 | 146 |  20 |  24 | 247k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1178.86/1179.30	c  1073s|  2880k|180153 |  9380k|   3.3 | 125M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 248k|  21k| 0.000000e+00 | 5.000000e+00 |    Inf 
1182.56/1183.09	c  1077s|  2890k|179966 |  9411k|   3.3 | 125M|  47 |   - | 146 |  25 |   0 |   0 |  24 | 248k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1186.37/1186.86	c  1080s|  2900k|180126 |  9441k|   3.3 | 126M|  47 |   - | 146 |  21 |   0 |   0 |  24 | 249k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1190.16/1190.64	c  1084s|  2910k|180337 |  9472k|   3.3 | 126M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 250k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1195.16/1195.67	c  1088s|  2920k|180521 |  9501k|   3.3 | 126M|  47 |   - | 146 |  21 | 146 |  20 |  24 | 251k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1199.06/1199.50	c  1092s|  2930k|180645 |  9531k|   3.3 | 126M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 251k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1202.75/1203.24	c  1095s|  2940k|180215 |  9560k|   3.3 | 126M|  47 |   - | 146 |  22 |   0 |   0 |  24 | 252k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1206.55/1207.03	c  1099s|  2950k|180183 |  9590k|   3.3 | 126M|  47 |   - | 146 |  24 |   0 |   0 |  24 | 253k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1210.35/1210.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1210.35/1210.87	c  1102s|  2960k|180594 |  9621k|   3.3 | 126M|  47 |   - | 146 |  23 |   0 |   0 |  24 | 254k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1214.15/1214.65	c  1105s|  2970k|180481 |  9651k|   3.2 | 126M|  47 |   - | 146 |  23 |   0 |   0 |  24 | 254k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1217.94/1218.44	c  1109s|  2980k|180314 |  9682k|   3.2 | 126M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 255k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1221.75/1222.20	c  1112s|  2990k|180136 |  9712k|   3.2 | 126M|  47 |   - | 146 |  30 | 146 |  20 |  24 | 256k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1225.44/1225.95	c  1116s|  3000k|179951 |  9742k|   3.2 | 126M|  47 |   - | 146 |  23 |   0 |   0 |  24 | 256k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1229.25/1229.80	c  1119s|  3010k|179972 |  9771k|   3.2 | 126M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 257k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1233.05/1233.59	c  1123s|  3020k|179813 |  9801k|   3.2 | 126M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 258k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1236.84/1237.39	c  1126s|  3030k|179779 |  9832k|   3.2 | 126M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 259k|  22k| 0.000000e+00 | 5.000000e+00 |    Inf 
1240.64/1241.17	c  1130s|  3040k|179622 |  9861k|   3.2 | 127M|  47 |   6 | 146 |  31 | 146 |  20 |  24 | 259k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1244.54/1245.02	c  1133s|  3050k|179857 |  9892k|   3.2 | 127M|  47 |   6 | 146 |  32 | 146 |  20 |  24 | 260k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1248.53/1249.00	c  1137s|  3060k|181406 |  9923k|   3.2 | 128M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 261k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1252.44/1252.98	c  1140s|  3070k|182531 |  9955k|   3.2 | 128M|  47 |   6 | 146 |  31 | 146 |  20 |  24 | 261k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1256.44/1256.92	c  1144s|  3080k|183923 |  9987k|   3.2 | 129M|  47 |   - | 146 |  35 | 146 |  20 |  24 | 262k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1260.33/1260.82	c  1148s|  3090k|184692 | 10018k|   3.2 | 130M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 263k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1264.23/1264.77	c  1151s|  3100k|185712 | 10049k|   3.2 | 131M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 264k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1268.12/1268.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1268.12/1268.67	c  1155s|  3110k|186549 | 10079k|   3.2 | 131M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 264k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1272.02/1272.58	c  1158s|  3120k|187268 | 10110k|   3.2 | 132M|  47 |   - | 146 |  25 |   0 |   0 |  24 | 265k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1275.92/1276.48	c  1162s|  3130k|188059 | 10141k|   3.2 | 132M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 266k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1279.83/1280.31	c  1165s|  3140k|188952 | 10171k|   3.2 | 133M|  47 |   - | 146 |  32 |   0 |   0 |  24 | 267k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1283.63/1284.12	c  1169s|  3150k|189405 | 10200k|   3.2 | 133M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 267k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1287.42/1287.96	c  1172s|  3160k|189822 | 10230k|   3.2 | 134M|  47 |   6 | 146 |  22 | 146 |  20 |  24 | 268k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1291.32/1291.81	c  1176s|  3170k|190318 | 10260k|   3.2 | 134M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 269k|  23k| 0.000000e+00 | 5.000000e+00 |    Inf 
1295.11/1295.61	c  1179s|  3180k|190909 | 10289k|   3.2 | 135M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 269k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1298.92/1299.43	c  1183s|  3190k|191248 | 10319k|   3.2 | 135M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 270k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1302.71/1303.24	c  1186s|  3200k|191518 | 10348k|   3.2 | 135M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 271k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1306.51/1307.07	c  1190s|  3210k|191867 | 10378k|   3.2 | 136M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 272k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1310.31/1310.87	c  1193s|  3220k|192351 | 10407k|   3.2 | 136M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 272k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1314.41/1314.93	c  1197s|  3230k|194213 | 10439k|   3.2 | 137M|  47 |   - | 146 |  31 | 146 |  20 |  24 | 273k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1318.32/1318.83	c  1200s|  3240k|195428 | 10469k|   3.2 | 138M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 274k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1322.21/1322.71	c  1204s|  3250k|196548 | 10499k|   3.2 | 139M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 275k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1326.01/1326.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1326.01/1326.57	c  1207s|  3260k|197251 | 10529k|   3.2 | 139M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 275k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1329.90/1330.41	c  1211s|  3270k|198056 | 10559k|   3.2 | 140M|  47 |   - | 146 |  29 | 146 |  20 |  24 | 276k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1333.81/1334.31	c  1214s|  3280k|198722 | 10589k|   3.2 | 141M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 277k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1337.60/1338.18	c  1218s|  3290k|199330 | 10619k|   3.2 | 141M|  47 |   - | 146 |  20 | 146 |  20 |  24 | 277k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1341.51/1342.05	c  1221s|  3300k|200115 | 10648k|   3.2 | 142M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 278k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1345.30/1345.89	c  1225s|  3310k|200472 | 10677k|   3.2 | 142M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 279k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1349.30/1349.81	c  1228s|  3320k|201458 | 10707k|   3.2 | 143M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 280k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1353.10/1353.63	c  1232s|  3330k|201878 | 10738k|   3.2 | 143M|  47 |   - | 146 |  31 | 146 |  20 |  24 | 280k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1356.90/1357.46	c  1235s|  3340k|202035 | 10767k|   3.2 | 143M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 281k|  24k| 0.000000e+00 | 5.000000e+00 |    Inf 
1360.80/1361.35	c  1239s|  3350k|202320 | 10797k|   3.2 | 144M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 282k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1364.69/1365.29	c  1243s|  3360k|202729 | 10826k|   3.2 | 144M|  47 |   - | 146 |  29 | 146 |  20 |  24 | 283k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1368.59/1369.16	c  1246s|  3370k|203004 | 10855k|   3.2 | 144M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 283k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1372.49/1373.04	c  1250s|  3380k|202835 | 10885k|   3.2 | 145M|  47 |   - | 146 |  22 | 146 |  20 |  24 | 284k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1376.28/1376.88	c  1253s|  3390k|202828 | 10913k|   3.2 | 145M|  47 |   - | 146 |  22 |   0 |   0 |  24 | 285k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1380.19/1380.73	c  1257s|  3400k|203033 | 10943k|   3.2 | 145M|  47 |   - | 146 |  35 | 146 |  20 |  24 | 286k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1383.98/1384.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1383.98/1384.59	c  1260s|  3410k|203625 | 10971k|   3.2 | 145M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 287k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1387.69/1388.28	c  1263s|  3420k|204242 | 10999k|   3.2 | 146M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 287k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1391.49/1392.03	c  1267s|  3430k|204306 | 11026k|   3.2 | 146M|  47 |   - | 146 |  28 |   0 |   0 |  24 | 288k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1395.29/1395.84	c  1270s|  3440k|204450 | 11055k|   3.2 | 146M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 289k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1399.18/1399.72	c  1274s|  3450k|204654 | 11085k|   3.2 | 147M|  47 |   - | 146 |  34 | 146 |  20 |  24 | 290k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1402.98/1403.59	c  1277s|  3460k|205023 | 11116k|   3.2 | 147M|  47 |   6 | 146 |  37 | 146 |  20 |  24 | 290k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1406.87/1407.44	c  1281s|  3470k|205181 | 11145k|   3.2 | 147M|  47 |   - | 146 |  31 | 146 |  20 |  24 | 291k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1410.88/1411.41	c  1284s|  3480k|205899 | 11175k|   3.2 | 148M|  47 |   6 | 146 |  33 | 146 |  20 |  24 | 292k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1414.68/1415.22	c  1288s|  3490k|205887 | 11203k|   3.2 | 148M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 293k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1418.48/1419.02	c  1291s|  3500k|206046 | 11232k|   3.2 | 148M|  47 |   - | 146 |  26 |   0 |   0 |  24 | 293k|  25k| 0.000000e+00 | 5.000000e+00 |    Inf 
1422.27/1422.83	c  1295s|  3510k|205997 | 11261k|   3.2 | 149M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 294k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1426.08/1426.63	c  1298s|  3520k|205945 | 11289k|   3.2 | 149M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 295k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1429.87/1430.45	c  1302s|  3530k|206022 | 11317k|   3.2 | 149M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 296k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1433.67/1434.25	c  1305s|  3540k|206108 | 11346k|   3.2 | 149M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 296k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1437.47/1438.06	c  1309s|  3550k|206206 | 11374k|   3.2 | 149M|  47 |   - | 146 |  29 | 146 |  20 |  24 | 297k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1441.27/1441.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1441.27/1441.89	c  1312s|  3560k|206207 | 11403k|   3.2 | 149M|  47 |   6 | 146 |  34 | 146 |  20 |  24 | 298k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1445.06/1445.64	c  1316s|  3570k|206363 | 11431k|   3.2 | 150M|  47 |   6 | 146 |  35 | 146 |  20 |  24 | 299k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1448.86/1449.46	c  1319s|  3580k|206633 | 11460k|   3.2 | 150M|  47 |   - | 146 |  27 |   0 |   0 |  24 | 300k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1452.66/1453.28	c  1323s|  3590k|206419 | 11489k|   3.2 | 150M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 300k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1456.46/1457.09	c  1326s|  3600k|206874 | 11518k|   3.2 | 150M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 301k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1460.27/1460.89	c  1329s|  3610k|206984 | 11547k|   3.2 | 151M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 302k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1464.06/1464.65	c  1333s|  3620k|207005 | 11575k|   3.2 | 151M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 303k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1467.87/1468.44	c  1336s|  3630k|206845 | 11603k|   3.2 | 151M|  47 |   - | 146 |  31 | 146 |  20 |  24 | 304k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1471.56/1472.19	c  1340s|  3640k|206675 | 11632k|   3.2 | 151M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 304k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1475.46/1476.00	c  1343s|  3650k|206419 | 11660k|   3.2 | 151M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 305k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1479.26/1479.83	c  1347s|  3660k|206399 | 11689k|   3.2 | 151M|  47 |   6 | 146 |  31 | 146 |  20 |  24 | 306k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1483.05/1483.67	c  1350s|  3670k|206191 | 11718k|   3.2 | 151M|  47 |   - | 146 |  30 | 146 |  20 |  24 | 307k|  26k| 0.000000e+00 | 5.000000e+00 |    Inf 
1486.85/1487.45	c  1354s|  3680k|205964 | 11745k|   3.2 | 151M|  47 |   6 | 146 |  31 | 146 |  20 |  24 | 307k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1490.65/1491.28	c  1357s|  3690k|206554 | 11774k|   3.2 | 151M|  47 |   6 | 146 |  38 | 146 |  20 |  24 | 308k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1494.45/1495.03	c  1361s|  3700k|206523 | 11801k|   3.2 | 151M|  47 |   6 | 146 |  33 | 146 |  20 |  24 | 309k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1498.25/1498.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1498.25/1498.86	c  1364s|  3710k|206391 | 11829k|   3.2 | 152M|  47 |   - | 146 |  32 | 146 |  20 |  24 | 310k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1502.06/1502.67	c  1368s|  3720k|206082 | 11857k|   3.2 | 151M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 311k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1505.85/1506.48	c  1371s|  3730k|206414 | 11887k|   3.2 | 152M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 312k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1509.65/1510.27	c  1374s|  3740k|206375 | 11916k|   3.2 | 152M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 312k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1513.64/1514.20	c  1378s|  3750k|206781 | 11947k|   3.2 | 152M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 313k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1517.44/1518.01	c  1381s|  3760k|206437 | 11976k|   3.2 | 152M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 314k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1521.24/1521.82	c  1385s|  3770k|206305 | 12004k|   3.2 | 152M|  47 |   - | 146 |  32 | 146 |  20 |  24 | 315k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1525.05/1525.63	c  1388s|  3780k|206251 | 12032k|   3.2 | 152M|  47 |   6 | 146 |  36 | 146 |  20 |  24 | 315k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1528.83/1529.48	c  1392s|  3790k|206041 | 12062k|   3.2 | 152M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 316k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1532.64/1533.29	c  1395s|  3800k|206278 | 12091k|   3.2 | 153M|  47 |   6 | 146 |  32 | 146 |  20 |  24 | 317k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1536.63/1537.20	c  1399s|  3810k|206882 | 12121k|   3.2 | 153M|  47 |   6 | 146 |  33 | 146 |  20 |  24 | 318k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1540.44/1541.07	c  1402s|  3820k|207192 | 12152k|   3.2 | 153M|  47 |   - | 146 |  30 | 146 |  20 |  24 | 318k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1544.43/1545.00	c  1406s|  3830k|208131 | 12182k|   3.2 | 154M|  47 |   6 | 146 |  35 | 146 |  20 |  24 | 319k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1548.23/1548.85	c  1410s|  3840k|208731 | 12211k|   3.2 | 155M|  47 |   6 | 146 |  32 | 146 |  20 |  24 | 320k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1552.13/1552.71	c  1413s|  3850k|209099 | 12240k|   3.2 | 155M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 321k|  27k| 0.000000e+00 | 5.000000e+00 |    Inf 
1555.83/1556.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1555.83/1556.50	c  1416s|  3860k|209126 | 12268k|   3.2 | 155M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 322k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1559.73/1560.34	c  1420s|  3870k|209170 | 12296k|   3.2 | 155M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 323k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1563.53/1564.13	c  1423s|  3880k|209361 | 12324k|   3.2 | 156M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 323k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1567.33/1567.96	c  1427s|  3890k|209577 | 12352k|   3.2 | 156M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 324k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1571.23/1571.83	c  1430s|  3900k|209632 | 12381k|   3.2 | 156M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 325k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1574.93/1575.58	c  1434s|  3910k|209798 | 12409k|   3.2 | 156M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 326k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1578.82/1579.42	c  1437s|  3920k|209529 | 12437k|   3.2 | 156M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 327k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1582.62/1583.27	c  1441s|  3930k|209531 | 12466k|   3.2 | 156M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 328k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1586.52/1587.11	c  1444s|  3940k|209471 | 12494k|   3.2 | 157M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 329k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1590.22/1590.89	c  1448s|  3950k|209184 | 12522k|   3.2 | 156M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 329k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1594.02/1594.66	c  1451s|  3960k|209029 | 12550k|   3.2 | 156M|  47 |   - | 146 |  30 | 146 |  20 |  24 | 330k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1597.91/1598.54	c  1455s|  3970k|209277 | 12579k|   3.2 | 157M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 331k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1601.71/1602.38	c  1458s|  3980k|209460 | 12607k|   3.2 | 157M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 332k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1605.61/1606.25	c  1462s|  3990k|209118 | 12635k|   3.2 | 157M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 333k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1609.41/1610.04	c  1465s|  4000k|208919 | 12664k|   3.2 | 157M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 333k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1613.20/1613.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1613.20/1613.82	c  1469s|  4010k|208627 | 12692k|   3.2 | 157M|  47 |   6 | 146 |  34 | 146 |  20 |  24 | 334k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1617.01/1617.65	c  1472s|  4020k|208375 | 12720k|   3.2 | 157M|  47 |   - | 146 |  39 | 146 |  20 |  24 | 335k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1620.81/1621.46	c  1476s|  4030k|208203 | 12748k|   3.2 | 157M|  47 |   - | 146 |  33 |   0 |   0 |  24 | 336k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1624.60/1625.22	c  1479s|  4040k|207986 | 12776k|   3.2 | 156M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 336k|  28k| 0.000000e+00 | 5.000000e+00 |    Inf 
1628.40/1629.03	c  1483s|  4050k|207929 | 12805k|   3.2 | 157M|  47 |   6 | 146 |  32 | 146 |  20 |  24 | 337k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1632.20/1632.87	c  1486s|  4060k|208228 | 12835k|   3.2 | 157M|  47 |   - | 146 |  32 | 146 |  20 |  24 | 338k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1636.00/1636.67	c  1490s|  4070k|208884 | 12863k|   3.2 | 157M|  47 |   6 | 146 |  31 | 146 |  20 |  24 | 339k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1639.79/1640.44	c  1493s|  4080k|208683 | 12891k|   3.2 | 157M|  47 |   6 | 146 |  33 | 146 |  20 |  24 | 340k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1643.59/1644.22	c  1496s|  4090k|208336 | 12919k|   3.2 | 157M|  47 |   - | 146 |  39 |   0 |   0 |  24 | 340k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1647.29/1647.99	c  1500s|  4100k|208209 | 12947k|   3.2 | 157M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 341k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1651.19/1651.82	c  1503s|  4110k|207808 | 12977k|   3.2 | 157M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 342k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1654.99/1655.62	c  1507s|  4120k|207794 | 13006k|   3.2 | 157M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 343k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1658.69/1659.38	c  1510s|  4130k|207465 | 13035k|   3.2 | 157M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 344k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1662.49/1663.18	c  1514s|  4140k|207315 | 13063k|   3.2 | 157M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 344k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1666.29/1666.96	c  1517s|  4150k|207050 | 13092k|   3.2 | 157M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 345k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1670.09/1670.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1670.09/1670.76	c  1520s|  4160k|207139 | 13120k|   3.2 | 157M|  47 |   6 | 146 |  30 | 146 |  20 |  24 | 346k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1673.99/1674.64	c  1524s|  4170k|206935 | 13150k|   3.2 | 157M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 347k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1677.78/1678.44	c  1527s|  4180k|206928 | 13179k|   3.2 | 157M|  47 |   6 | 146 |  31 | 146 |  20 |  24 | 347k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1681.48/1682.19	c  1531s|  4190k|206541 | 13207k|   3.2 | 157M|  47 |   - | 146 |  34 | 146 |  20 |  24 | 348k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1685.38/1686.00	c  1534s|  4200k|206516 | 13235k|   3.2 | 157M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 349k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1689.28/1689.95	c  1538s|  4210k|206657 | 13265k|   3.2 | 157M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 350k|  29k| 0.000000e+00 | 5.000000e+00 |    Inf 
1693.08/1693.78	c  1541s|  4220k|206554 | 13294k|   3.2 | 157M|  47 |   - | 146 |  31 | 146 |  20 |  24 | 351k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1696.98/1697.60	c  1545s|  4230k|206548 | 13323k|   3.1 | 157M|  47 |   - | 146 |  35 | 146 |  20 |  24 | 352k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1700.78/1701.44	c  1548s|  4240k|206550 | 13351k|   3.1 | 158M|  47 |   - | 146 |  32 | 146 |  20 |  24 | 352k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1704.57/1705.21	c  1552s|  4250k|206291 | 13380k|   3.1 | 157M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 353k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1708.38/1709.01	c  1555s|  4260k|205981 | 13408k|   3.1 | 157M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 354k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1712.18/1712.80	c  1559s|  4270k|206428 | 13437k|   3.1 | 158M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 355k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1715.97/1716.60	c  1562s|  4280k|206264 | 13466k|   3.1 | 158M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 356k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1719.68/1720.32	c  1566s|  4290k|206033 | 13493k|   3.1 | 158M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 356k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1723.47/1724.11	c  1569s|  4300k|205671 | 13522k|   3.1 | 157M|  47 |   - | 146 |  28 | 146 |  20 |  24 | 357k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1727.26/1727.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1727.26/1727.93	c  1573s|  4310k|205506 | 13551k|   3.1 | 157M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 358k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1730.96/1731.67	c  1576s|  4320k|205466 | 13578k|   3.1 | 157M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 359k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1734.86/1735.51	c  1580s|  4330k|205287 | 13608k|   3.1 | 157M|  47 |   - | 146 |  25 | 146 |  20 |  24 | 359k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1738.66/1739.35	c  1583s|  4340k|205237 | 13637k|   3.1 | 157M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 360k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1742.47/1743.12	c  1586s|  4350k|205379 | 13666k|   3.1 | 158M|  47 |   6 | 146 |  27 | 146 |  20 |  24 | 361k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1746.17/1746.88	c  1590s|  4360k|204962 | 13694k|   3.1 | 157M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 362k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1749.96/1750.61	c  1593s|  4370k|204896 | 13722k|   3.1 | 157M|  47 |   - | 146 |  32 | 146 |  20 |  24 | 362k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1753.66/1754.32	c  1597s|  4380k|204803 | 13750k|   3.1 | 157M|  47 |   6 | 146 |  28 | 146 |  20 |  24 | 363k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1757.35/1758.06	c  1600s|  4390k|204524 | 13778k|   3.1 | 157M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 364k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1761.16/1761.80	c  1603s|  4400k|204282 | 13806k|   3.1 | 157M|  47 |   6 | 146 |  26 | 146 |  20 |  24 | 365k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1764.96/1765.63	c  1607s|  4410k|204397 | 13836k|   3.1 | 157M|  47 |   - | 146 |  27 | 146 |  20 |  24 | 365k|  30k| 0.000000e+00 | 5.000000e+00 |    Inf 
1768.75/1769.43	c  1610s|  4420k|204062 | 13864k|   3.1 | 157M|  47 |   6 | 146 |  29 | 146 |  20 |  24 | 366k|  31k| 0.000000e+00 | 5.000000e+00 |    Inf 
1772.46/1773.20	c  1614s|  4430k|203956 | 13893k|   3.1 | 157M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 367k|  31k| 0.000000e+00 | 5.000000e+00 |    Inf 
1776.25/1776.97	c  1617s|  4440k|203704 | 13921k|   3.1 | 157M|  47 |   - | 146 |  20 | 146 |  20 |  24 | 368k|  31k| 0.000000e+00 | 5.000000e+00 |    Inf 
1780.16/1780.81	c  1621s|  4450k|203704 | 13951k|   3.1 | 157M|  47 |   - | 146 |  24 | 146 |  20 |  24 | 368k|  31k| 0.000000e+00 | 5.000000e+00 |    Inf 
1783.95/1784.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1783.95/1784.67	c  1624s|  4460k|203925 | 13981k|   3.1 | 157M|  47 |   - | 146 |  26 | 146 |  20 |  24 | 369k|  31k| 0.000000e+00 | 5.000000e+00 |    Inf 
1787.85/1788.60	c  1628s|  4470k|204852 | 14012k|   3.1 | 158M|  47 |   6 | 146 |  25 | 146 |  20 |  24 | 370k|  31k| 0.000000e+00 | 5.000000e+00 |    Inf 
1791.85/1792.52	c  1631s|  4480k|205447 | 14042k|   3.1 | 159M|  47 |   6 | 146 |  23 | 146 |  20 |  24 | 371k|  31k| 0.000000e+00 | 5.000000e+00 |    Inf 
1795.65/1796.38	c  1635s|  4490k|205541 | 14072k|   3.1 | 159M|  47 |   - | 146 |  23 | 146 |  20 |  24 | 372k|  31k| 0.000000e+00 | 5.000000e+00 |    Inf 
1799.44/1800.18	c  1638s|  4500k|205880 | 14100k|   3.1 | 159M|  47 |   6 | 146 |  24 | 146 |  20 |  24 | 372k|  31k| 0.000000e+00 | 5.000000e+00 |    Inf 
1800.06/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.71	c 
1800.06/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.71	c Solving Time (sec) : 1638.77
1800.06/1800.71	c Solving Nodes      : 4501404
1800.06/1800.71	c Primal Bound       : +5.00000000000000e+00 (61 solutions)
1800.06/1800.71	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.71	c Gap                : infinite
1800.06/1800.71	s SATISFIABLE
1800.06/1800.71	v -x146 -x145 -x144 -x143 x142 x141 x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 x130 x129 -x128 -x127 x126 x125 x124 x123 
1800.06/1800.71	v x122 -x121 -x120 x119 x118 x117 x116 -x115 x114 -x113 x112 x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100 
1800.06/1800.71	v -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 
1800.06/1800.71	v -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 
1800.06/1800.71	v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 
1800.06/1800.71	v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.06/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.71	c Solving Time       :    1638.77
1800.06/1800.71	c Original Problem   :
1800.06/1800.71	c   Problem name     : HOME/instance-2667090-1276616761.opb
1800.06/1800.71	c   Variables        : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71	c   Constraints      : 12 initial, 12 maximal
1800.06/1800.71	c Presolved Problem  :
1800.06/1800.71	c   Problem name     : t_HOME/instance-2667090-1276616761.opb
1800.06/1800.71	c   Variables        : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71	c   Constraints      : 6 initial, 145 maximal
1800.06/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.71	c   linear           :       0.00          0          0          0          0          0          6          0          0
1800.06/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   root node        :          -         60          -          -         60          -          -          -          -
1800.06/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.71	c   integral         :          0          0          0    2422999          0        792      15957          0          0    4812786
1800.06/1800.71	c   linear           :          6+         7    6157952          0          0     753629    4776943          0          0          0
1800.06/1800.71	c   logicor          :          0+         0    1386006          0          0       6694     114814          0          0          0
1800.06/1800.71	c   countsols        :          0          0          0         42          0          0          0          0          0          0
1800.06/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.71	c   integral         :      32.82       0.00       0.00      32.82       0.00
1800.06/1800.71	c   linear           :     394.02       0.00     394.02       0.00       0.00
1800.06/1800.71	c   logicor          :       3.50       0.00       3.50       0.00       0.00
1800.06/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.71	c   vbounds          :       2.94          2          0          0
1800.06/1800.71	c   rootredcost      :       2.85         57          0         60
1800.06/1800.71	c   pseudoobj        :      48.90    6164995       7196     317188
1800.06/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.71	c   propagation      :      44.38     767417     358722     414496       46.1         12       30.4          -
1800.06/1800.71	c   infeasible LP    :       1.00      13728      13711      20801       31.5          3       25.7          0
1800.06/1800.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.72	c   pseudo solution  :       0.01         23         23         23        2.0          0        0.0          -
1800.06/1800.72	c   applied globally :          -          -          -      10538       22.9          -          -          -
1800.06/1800.72	c   applied locally  :          -          -          -     362422       46.1          -          -          -
1800.06/1800.72	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.72	c   cut pool         :       0.00          5          -          -          7          -    (maximal pool size: 62)
1800.06/1800.72	c   redcost          :      57.27    3054370          0   13394217          0          0
1800.06/1800.72	c   impliedbounds    :       0.00          6          0          0          0          0
1800.06/1800.72	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.72	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.72	c   gomory           :       0.01          6          0          0          0          0
1800.06/1800.72	c   strongcg         :       0.02          6          0          0         12          0
1800.06/1800.72	c   cmir             :       0.02          6          0          0         23          0
1800.06/1800.72	c   flowcover        :       0.03          6          0          0         42          0
1800.06/1800.72	c   clique           :       0.00          1          0          0          0          0
1800.06/1800.72	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.72	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.72	c   rapidlearning    :       0.08          1          0          0          0         65
1800.06/1800.72	c Pricers            :       Time      Calls       Vars
1800.06/1800.72	c   problem variables:       0.00          0          0
1800.06/1800.72	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.72	c   relpscost        :      29.37    2422957        792      15957          0          0    4812786
1800.06/1800.72	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   inference        :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.72	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.72	c   LP solutions     :       0.14          -         42
1800.06/1800.72	c   pseudo solutions :       0.00          -          0
1800.06/1800.72	c   feaspump         :       0.54          1          0
1800.06/1800.72	c   oneopt           :       2.71         56          0
1800.06/1800.72	c   crossover        :      11.19         15          1
1800.06/1800.72	c   coefdiving       :      16.30       6325          1
1800.06/1800.72	c   pscostdiving     :      11.31       6325          0
1800.06/1800.72	c   fracdiving       :      11.04       6325          2
1800.06/1800.72	c   veclendiving     :       9.72       6326          4
1800.06/1800.72	c   linesearchdiving :       9.83       6326          4
1800.06/1800.72	c   guideddiving     :       9.63       6326          2
1800.06/1800.72	c   objpscostdiving  :       6.06       3163          0
1800.06/1800.72	c   trivial          :       0.00          2          0
1800.06/1800.72	c   simplerounding   :       2.01          0          0
1800.06/1800.72	c   zirounding       :       2.29       1000          0
1800.06/1800.72	c   rounding         :       3.18      23472          0
1800.06/1800.72	c   shifting         :       6.15       6762          0
1800.06/1800.72	c   intshifting      :       0.12          0          0
1800.06/1800.72	c   twoopt           :       0.00          0          0
1800.06/1800.72	c   fixandinfer      :       0.00          0          0
1800.06/1800.72	c   intdiving        :       0.00          0          0
1800.06/1800.72	c   actconsdiving    :       0.00          0          0
1800.06/1800.72	c   rootsoldiving    :       5.31       1231          4
1800.06/1800.72	c   octane           :       0.00          0          0
1800.06/1800.72	c   rens             :       0.11          1          0
1800.06/1800.72	c   rins             :       0.00          0          0
1800.06/1800.72	c   localbranching   :       0.00          0          0
1800.06/1800.72	c   mutation         :       0.00          0          0
1800.06/1800.72	c   dins             :       0.00          0          0
1800.06/1800.72	c   undercover       :       0.00          0          0
1800.06/1800.72	c   nlp              :       2.10          0          0
1800.06/1800.72	c   trysol           :       3.58          0          0
1800.06/1800.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.72	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.72	c   dual LP          :     592.61    4197005   13340738       3.18   22511.83
1800.06/1800.72	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.72	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.72	c   diving/probing LP:      36.42     311145     764337       2.46   20986.74
1800.06/1800.72	c   strong branching :       6.69      31467      96472       3.07   14420.33
1800.06/1800.72	c     (at root node) :          -          9        466      51.78          -
1800.06/1800.72	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.72	c B&B Tree           :
1800.06/1800.72	c   number of runs   :          1
1800.06/1800.72	c   nodes            :    4501404
1800.06/1800.72	c   nodes (total)    :    4501404
1800.06/1800.72	c   nodes left       :     205874
1800.06/1800.72	c   max depth        :         47
1800.06/1800.72	c   max depth (total):         47
1800.06/1800.72	c   backtracks       :    1151340 (25.6%)
1800.06/1800.72	c   delayed cutoffs  :      70601
1800.06/1800.72	c   repropagations   :     121939 (416734 domain reductions, 70047 cutoffs)
1800.06/1800.72	c   avg switch length:       5.27
1800.06/1800.72	c   switching time   :     118.50
1800.06/1800.72	c Solution           :
1800.06/1800.72	c   Solutions found  :         61 (57 improvements)
1800.06/1800.72	c   First Solution   : +1.00900000000000e+03   (in run 1, after 1 nodes, 0.09 seconds, depth 0, found by <trysol>)
1800.06/1800.72	c   Primal Bound     : +5.00000000000000e+00   (in run 1, after 2095690 nodes, 800.62 seconds, depth 42, found by <relaxation>)
1800.06/1800.72	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.72	c   Gap              :   infinite
1800.06/1800.72	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.72	c   Root Iterations  :        109
1801.04/1801.73	c Time complete: 1801.07.

Verifier Data 

OK	5

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 2101
/proc/meminfo: memFree=1784580/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=6692 CPUtime=0
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 775 0 0 0 0 0 0 0 25 0 1 0 35327940 6852608 696 1992294400 4194304 8223781 140737136419040 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2101/statm: 1673 708 338 984 0 686 0

[startup+0.0474749 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 2101
/proc/meminfo: memFree=1784580/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=15304 CPUtime=0.03
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 3537 0 0 0 2 1 0 0 18 0 1 0 35327940 15671296 2835 1992294400 4194304 8223781 140737136419040 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 3826 2847 550 984 0 2839 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15304

[startup+0.101486 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 2101
/proc/meminfo: memFree=1784580/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=20600 CPUtime=0.09
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 4879 0 0 0 7 2 0 0 18 0 1 0 35327940 21094400 3910 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 5150 3910 565 984 0 4163 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20600

[startup+0.300521 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 2101
/proc/meminfo: memFree=1784580/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=21232 CPUtime=0.29
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 8015 0 0 0 25 4 0 0 18 0 1 0 35327940 21741568 4204 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 5308 4204 585 984 0 4321 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21232

[startup+0.700594 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 2101
/proc/meminfo: memFree=1784580/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=14400 CPUtime=0.69
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 8018 0 0 0 62 7 0 0 18 0 1 0 35327940 14745600 2774 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 3600 2774 588 984 0 2613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14400

[startup+1.50074 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2102
/proc/meminfo: memFree=1775024/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=21896 CPUtime=1.49
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 12100 0 0 0 133 16 0 0 19 0 1 0 35327940 22421504 4308 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 5474 4310 591 984 0 4487 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21896

[startup+3.10203 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2102
/proc/meminfo: memFree=1774652/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=15768 CPUtime=3.09
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 15099 0 0 0 278 31 0 0 25 0 1 0 35327940 16146432 3122 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 3942 3122 591 984 0 2955 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15768

[startup+6.30161 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2105
/proc/meminfo: memFree=1772544/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=17860 CPUtime=6.29
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 16238 0 0 0 573 56 0 0 25 0 1 0 35327940 18288640 3643 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 4465 3643 591 984 0 3478 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17860

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2105
/proc/meminfo: memFree=1767336/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=22004 CPUtime=12.69
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 24443 0 0 0 1157 112 0 0 25 0 1 0 35327940 22532096 4698 1992294400 4194304 8223781 140737136419040 18446744073709551615 5958347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 5501 4698 591 984 0 4514 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22004

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2105
/proc/meminfo: memFree=1759400/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=29304 CPUtime=25.48
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 36573 0 0 0 2323 225 0 0 25 0 1 0 35327940 30007296 6603 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 7326 6603 591 984 0 6339 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29304

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2105
/proc/meminfo: memFree=1742164/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=39820 CPUtime=51.07
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 59501 0 0 0 4662 445 0 0 25 0 1 0 35327940 40775680 9289 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 9955 9289 591 984 0 8968 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39820

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2107
/proc/meminfo: memFree=1736708/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=51160 CPUtime=102.26
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 83959 0 0 0 9341 885 0 0 25 0 1 0 35327940 52387840 12179 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 12790 12179 591 984 0 11803 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51160

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2109
/proc/meminfo: memFree=1723564/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=66004 CPUtime=162.24
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 89649 0 0 0 14828 1396 0 0 25 0 1 0 35327940 67588096 15433 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 16501 15433 591 984 0 15514 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 66004

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2109
/proc/meminfo: memFree=1723564/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=66004 CPUtime=222.22
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 95689 0 0 0 20279 1943 0 0 25 0 1 0 35327940 67588096 15433 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 16501 15433 591 984 0 15514 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 66004

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2111
/proc/meminfo: memFree=1723564/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=66004 CPUtime=282.2
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 96298 0 0 0 25725 2495 0 0 25 0 1 0 35327940 67588096 15433 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 16501 15433 591 984 0 15514 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 66004

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2113
/proc/meminfo: memFree=1723448/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=66004 CPUtime=342.18
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 96907 0 0 0 31178 3040 0 0 25 0 1 0 35327940 67588096 15433 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 16501 15433 591 984 0 15514 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 66004

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2115
/proc/meminfo: memFree=1723200/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=66908 CPUtime=402.16
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 97133 0 0 0 36636 3580 0 0 25 0 1 0 35327940 68513792 15659 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 16727 15659 591 984 0 15740 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 66908

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2117
/proc/meminfo: memFree=1721340/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=68756 CPUtime=462.14
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 97568 0 0 0 42091 4123 0 0 25 0 1 0 35327940 70406144 16094 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 17189 16094 591 984 0 16202 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 68756

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2117
/proc/meminfo: memFree=1719728/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=69628 CPUtime=522.11
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 98415 0 0 0 47555 4656 0 0 25 0 1 0 35327940 71299072 16335 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 17407 16335 591 984 0 16420 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 69628

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2119
/proc/meminfo: memFree=1709808/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=79820 CPUtime=582.1
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 100973 0 0 0 53015 5195 0 0 25 0 1 0 35327940 81735680 18893 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 19955 18893 591 984 0 18968 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 79820

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2121
/proc/meminfo: memFree=1697284/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=91892 CPUtime=642.08
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 104068 0 0 0 58476 5732 0 0 25 0 1 0 35327940 94097408 21988 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 22973 21988 591 984 0 21986 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 91892

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2141
/proc/meminfo: memFree=1639128/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=147936 CPUtime=1001.92
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 129693 0 0 0 91243 8949 0 0 25 0 1 0 35327940 151486464 36300 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 36984 36300 591 984 0 35997 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 147936

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2143
/proc/meminfo: memFree=1636276/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=150784 CPUtime=1061.9
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 131013 0 0 0 96709 9481 0 0 25 0 1 0 35327940 154402816 37021 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 37696 37021 591 984 0 36709 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 150784

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2143
/proc/meminfo: memFree=1633548/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=153564 CPUtime=1121.88
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 131684 0 0 0 102161 10027 0 0 25 0 1 0 35327940 157249536 37692 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 38391 37692 591 984 0 37404 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 153564

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2145
/proc/meminfo: memFree=1632060/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=155056 CPUtime=1181.86
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 132068 0 0 0 107614 10572 0 0 25 0 1 0 35327940 158777344 38076 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 38764 38076 591 984 0 37777 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 155056

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2147
/proc/meminfo: memFree=1630572/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=156164 CPUtime=1241.84
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 136937 0 0 0 113058 11126 0 0 25 0 1 0 35327940 159911936 38378 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 39041 38378 591 984 0 38054 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 156164

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2149
/proc/meminfo: memFree=1622388/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=163992 CPUtime=1301.82
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 138934 0 0 0 118525 11657 0 0 25 0 1 0 35327940 167927808 40375 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 40998 40375 591 984 0 40011 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 163992

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2152
/proc/meminfo: memFree=1614328/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=176068 CPUtime=1361.79
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 140940 0 0 0 123977 12202 0 0 25 0 1 0 35327940 180293632 42381 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 44017 42381 591 984 0 43030 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 176068

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2152
/proc/meminfo: memFree=1610112/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=180144 CPUtime=1421.78
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 141998 0 0 0 129440 12738 0 0 25 0 1 0 35327940 184467456 43439 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 45036 43439 591 984 0 44049 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 180144

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2154
/proc/meminfo: memFree=1608004/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=182240 CPUtime=1481.75
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 142503 0 0 0 134896 13279 0 0 25 0 1 0 35327940 186613760 43944 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 45560 43944 591 984 0 44573 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 182240

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2156
/proc/meminfo: memFree=1606144/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=184112 CPUtime=1541.73
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 143581 0 0 0 140358 13815 0 0 25 0 1 0 35327940 188530688 44414 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 46028 44414 591 984 0 45041 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 184112

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2158
/proc/meminfo: memFree=1602796/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=187156 CPUtime=1601.71
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 144377 0 0 0 145825 14346 0 0 25 0 1 0 35327940 191647744 45210 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 46789 45210 591 984 0 45802 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 187156

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2160
/proc/meminfo: memFree=1601060/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=188704 CPUtime=1661.69
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 144763 0 0 0 151282 14887 0 0 25 0 1 0 35327940 193232896 45596 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 47176 45596 591 984 0 46189 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 188704

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2160
/proc/meminfo: memFree=1600068/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=189716 CPUtime=1721.67
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 144986 0 0 0 156743 15424 0 0 25 0 1 0 35327940 194269184 45819 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 47429 45819 591 984 0 46442 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 189716

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2162
/proc/meminfo: memFree=1598828/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=190652 CPUtime=1781.65
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 145219 0 0 0 162198 15967 0 0 25 0 1 0 35327940 195227648 46052 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 47663 46052 591 984 0 46676 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 190652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2162
/proc/meminfo: memFree=1598456/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=190976 CPUtime=1800.06
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 145332 0 0 0 163877 16129 0 0 25 0 1 0 35327940 195559424 46165 1992294400 4194304 8223781 140737136419040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2101/statm: 47744 46165 591 984 0 46757 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 190976

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2162
/proc/meminfo: memFree=1598456/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=190976 CPUtime=1800.74
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 145334 0 0 0 163945 16129 0 0 25 0 1 0 35327940 195559424 46167 1992294400 4194304 8223781 140737136419040 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2101/statm: 47744 46167 593 984 0 46757 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 190976

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2162
/proc/meminfo: memFree=1598456/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=190976 CPUtime=1800.94
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 145334 0 0 0 163965 16129 0 0 25 0 1 0 35327940 195559424 46167 1992294400 4194304 8223781 140737136419040 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2101/statm: 47744 46167 593 984 0 46757 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 190976

[startup+1801.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2163
/proc/meminfo: memFree=1607252/2059040 swapFree=4140328/4192956
[pid=2101] ppid=2098 vsize=166384 CPUtime=1801.04
/proc/2101/stat : 2101 (pbscip.linux.x8) R 2098 2101 1650 0 -1 4202496 145334 0 0 0 163975 16129 0 0 25 0 1 0 35327940 170377216 39922 1992294400 4194304 8223781 140737136419040 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2101/statm: 41499 39825 593 984 0 40512 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 166384

Child status: 0
Real time (s): 1801.74
CPU time (s): 1801.08
CPU user time (s): 1639.77
CPU system time (s): 161.313
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 190976

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

runsolver used 3.80242 second user time and 8.97763 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-15 17:46:01
IDJOB=2667090
IDBENCH=2925
IDSOLVER=1169
FILE ID=node027/2667090-1276616761
PBS_JOBID= 11172291
Free space on /tmp= 62536 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667090-1276616761/watcher-2667090-1276616761 -o /tmp/evaluation-result-2667090-1276616761/solver-2667090-1276616761 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667090-1276616761.opb -t 1800 -m 1800

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

MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b
RANDOM SEED=900979633

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1784984 kB
Buffers:         65972 kB
Cached:         127936 kB
SwapCached:       6128 kB
Active:          96420 kB
Inactive:       111012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1784984 kB
SwapTotal:     4192956 kB
SwapFree:      4140328 kB
Dirty:            4504 kB
Writeback:           0 kB
AnonPages:       11800 kB
Mapped:          13068 kB
Slab:            44800 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62528 MiB
End job on node027 at 2010-06-15 18:16:04