Trace number 3734730

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1802.17 1802.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
MD5SUMccdf85c0efcf9b688264aa74ef25462f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5830
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

Solver Data 

0.00/0.00	c SCIP version 1.1.0.7
0.00/0.00	c LP-Solver SoPlex 1.4.1
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c read problem <HOME/instance-3734730-1338704059.opb>
0.00/0.00	c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 constraints
0.00/0.00	c start presolving problem
0.00/0.00	c presolving:
0.00/0.00	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00	c (round 2) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c presolving (3 rounds):
0.00/0.01	c  1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01	c  0 implications, 0 cliques
0.00/0.01	c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01	c       8 constraints of type <linear>
0.00/0.01	c transformed objective value is always integral (scale: 1)
0.00/0.01	c Presolving Time: 0.00
0.00/0.01	c OPT-LIN
0.00/0.01	c -----------------------------------------------------------------------------------------------
0.00/0.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01	c limits/memory = c 13950
0.00/0.01	c # maximal time in seconds to run
0.00/0.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01	c limits/time = c 1791
0.00/0.01	c # frequency for displaying node information lines
0.00/0.01	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01	c display/freq = c 10000
0.00/0.01	c -----------------------------------------------------------------------------------------------
0.00/0.01	c start solving problem
0.00/0.01	c 
0.00/0.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.01	c   0.0s|     1 |     0 |    47 | 341k|   0 |   8 |  70 |   8 |   8 |  70 |   8 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.02	c   0.0s|     1 |     0 |   175 | 390k|   0 |  14 |  70 |   8 |   8 |  70 |  14 |   6 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.02	c   0.0s|     1 |     0 |   185 | 409k|   0 |  18 |  70 |   8 |   8 |  70 |  19 |  11 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |   189 | 414k|   0 |  21 |  70 |   8 |   8 |  70 |  22 |  14 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |   195 | 418k|   0 |  21 |  70 |   8 |   8 |  70 |  23 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.05	c   0.0s|     1 |     0 |   208 | 429k|   0 |  19 |  70 |   8 |   8 |  70 |  25 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.06	c   0.1s|     1 |     0 |   216 | 443k|   0 |  23 |  70 |   8 |   8 |  70 |  29 |  21 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.08/0.11	c   0.1s|     1 |     2 |   216 | 443k|   0 |  23 |  70 |   8 |   8 |  70 |  29 |  21 |   0 |  23 | 0.000000e+00 |      --      |    Inf 
2.29/2.33	c   2.2s| 10000 |  3856 | 35382 |4110k|  59 |   - |  70 |2570 | 513 |  70 |  23 |  21 |3957 | 669 | 0.000000e+00 |      --      |    Inf 
4.40/4.44	c   4.2s| 20000 |  7425 | 70923 |6434k|  59 |   8 |  70 |1634 | 122 |  70 |  23 |  21 |8142 | 872 | 0.000000e+00 |      --      |    Inf 
6.38/6.47	c   6.1s| 30000 | 10939 |105845 |8934k|  59 |   - |  70 |1745 |  24 |  70 |  23 |  21 |  12k|1070 | 0.000000e+00 |      --      |    Inf 
8.49/8.51	c   8.1s| 40000 | 14319 |139405 |  11M|  60 |   8 |  70 |1761 | 161 |  70 |  23 |  21 |  16k|1256 | 0.000000e+00 |      --      |    Inf 
10.49/10.54	c  10.0s| 50000 | 17577 |173943 |  13M|  60 |   8 |  70 |2433 | 450 |  70 |  23 |  21 |  20k|1381 | 0.000000e+00 |      --      |    Inf 
12.59/12.61	c  11.9s| 60000 | 20755 |207944 |  16M|  61 |   - |  70 |2406 |  40 |  70 |  23 |  21 |  25k|1495 | 0.000000e+00 |      --      |    Inf 
14.59/14.65	c  13.8s| 70000 | 24006 |243081 |  18M|  61 |   8 |  70 |2870 | 181 |  70 |  23 |  21 |  29k|1610 | 0.000000e+00 |      --      |    Inf 
16.69/16.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.69/16.74	c  15.8s| 80000 | 27166 |277015 |  21M|  61 |   8 |  70 |2336 | 190 |  70 |  23 |  21 |  33k|1709 | 0.000000e+00 |      --      |    Inf 
18.69/18.77	c  17.7s| 90000 | 30601 |311485 |  23M|  61 |   8 |  70 |3238 |  88 |  70 |  23 |  21 |  37k|1815 | 0.000000e+00 |      --      |    Inf 
20.79/20.85	c  19.7s|100000 | 33745 |345245 |  26M|  61 |   8 |  70 |2650 | 844 |  70 |  23 |  21 |  42k|1897 | 0.000000e+00 |      --      |    Inf 
22.88/22.92	c  21.7s|110000 | 37101 |378646 |  28M|  61 |   8 |  70 |2683 | 108 |  70 |  23 |  21 |  46k|1988 | 0.000000e+00 |      --      |    Inf 
24.88/24.98	c  23.6s|120000 | 40415 |411895 |  30M|  61 |   - |  70 |2792 | 132 |  70 |  23 |  21 |  50k|2060 | 0.000000e+00 |      --      |    Inf 
26.98/27.07	c  25.6s|130000 | 43585 |445724 |  33M|  61 |   - |  70 |3174 | 161 |  70 |  23 |  21 |  54k|2121 | 0.000000e+00 |      --      |    Inf 
29.08/29.18	c  27.6s|140000 | 46692 |479945 |  36M|  61 |   - |  70 |3541 | 259 |  70 |  23 |  21 |  59k|2186 | 0.000000e+00 |      --      |    Inf 
31.19/31.28	c  29.6s|150000 | 50038 |514146 |  38M|  61 |   8 |  70 |3157 |  80 |  70 |  23 |  21 |  63k|2255 | 0.000000e+00 |      --      |    Inf 
33.39/33.40	c  31.6s|160000 | 53007 |549178 |  40M|  62 |   - |  70 |3277 |  88 |  70 |  23 |  21 |  67k|2305 | 0.000000e+00 |      --      |    Inf 
35.49/35.54	c  33.6s|170000 | 56065 |582900 |  43M|  62 |   8 |  70 |2849 |  82 |  70 |  23 |  21 |  72k|2347 | 0.000000e+00 |      --      |    Inf 
37.58/37.62	c  35.6s|180000 | 59136 |617400 |  45M|  62 |   8 |  70 |3262 | 243 |  70 |  23 |  21 |  76k|2400 | 0.000000e+00 |      --      |    Inf 
39.68/39.72	c  37.6s|190000 | 62432 |650457 |  47M|  62 |   8 |  70 |2943 | 115 |  70 |  23 |  21 |  80k|2435 | 0.000000e+00 |      --      |    Inf 
41.79/41.85	c  39.6s|200000 | 65474 |685137 |  50M|  62 |   - |  70 |3472 |  22 |  70 |  23 |  21 |  85k|2496 | 0.000000e+00 |      --      |    Inf 
43.98/44.00	c  41.6s|210000 | 68412 |719427 |  52M|  62 |   8 |  70 |3483 |  83 |  70 |  23 |  21 |  89k|2568 | 0.000000e+00 |      --      |    Inf 
46.09/46.11	c  43.6s|220000 | 71397 |752757 |  55M|  62 |   - |  70 |3424 | 100 |  70 |  23 |  21 |  94k|2618 | 0.000000e+00 |      --      |    Inf 
48.18/48.26	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
48.18/48.26	c  45.7s|230000 | 74320 |786366 |  57M|  62 |   - |  70 |3323 |  65 |  70 |  23 |  21 |  98k|2660 | 0.000000e+00 |      --      |    Inf 
50.08/50.19	c  47.5s|240000 | 78170 |818851 |  60M|  62 |   8 |  70 |4443 | 503 |  70 |  23 |  21 | 102k|2692 | 0.000000e+00 |      --      |    Inf 
52.29/52.39	c  49.5s|250000 | 81008 |853287 |  62M|  62 |   8 |  70 |3367 |  17 |  70 |  23 |  21 | 106k|2717 | 0.000000e+00 |      --      |    Inf 
54.38/54.48	c  51.5s|260000 | 84050 |886153 |  65M|  62 |   - |  70 |3629 | 215 |  70 |  23 |  21 | 111k|2753 | 0.000000e+00 |      --      |    Inf 
56.58/56.61	c  53.5s|270000 | 86986 |919970 |  67M|  62 |   - |  70 |3518 |  93 |  70 |  23 |  21 | 115k|2782 | 0.000000e+00 |      --      |    Inf 
58.68/58.70	c  55.5s|280000 | 90091 |953370 |  69M|  62 |   - |  70 |3546 |  40 |  70 |  23 |  21 | 119k|2823 | 0.000000e+00 |      --      |    Inf 
60.68/60.76	c  57.4s|290000 | 93288 |986347 |  72M|  63 |   - |  70 |4109 |  69 |  70 |  23 |  21 | 123k|2848 | 0.000000e+00 |      --      |    Inf 
62.88/62.98	c  59.5s|300000 | 95958 |  1020k|  74M|  63 |   - |  70 |3783 |  14 |  70 |  23 |  21 | 128k|2885 | 0.000000e+00 |      --      |    Inf 
64.98/65.05	c  61.5s|310000 | 99293 |  1052k|  77M|  63 |   8 |  70 |4095 | 386 |  70 |  23 |  21 | 132k|2929 | 0.000000e+00 |      --      |    Inf 
67.08/67.14	c  63.4s|320000 |102528 |  1083k|  79M|  63 |   8 |  70 |3789 |  67 |  70 |  23 |  21 | 136k|2958 | 0.000000e+00 |      --      |    Inf 
69.18/69.25	c  65.4s|330000 |105689 |  1116k|  81M|  63 |   8 |  70 |3429 |  53 |  70 |  23 |  21 | 140k|2987 | 0.000000e+00 |      --      |    Inf 
71.39/71.40	c  67.5s|340000 |108562 |  1150k|  84M|  63 |   8 |  70 |3533 |  67 |  70 |  23 |  21 | 145k|3012 | 0.000000e+00 |      --      |    Inf 
73.47/73.55	c  69.5s|350000 |111508 |  1184k|  86M|  63 |   8 |  70 |3497 |  64 |  70 |  23 |  21 | 149k|3050 | 0.000000e+00 |      --      |    Inf 
75.58/75.69	c  71.5s|360000 |114429 |  1217k|  88M|  63 |   8 |  70 |3867 | 503 |  70 |  23 |  21 | 154k|3066 | 0.000000e+00 |      --      |    Inf 
77.68/77.78	c  73.5s|370000 |117699 |  1250k|  91M|  63 |   8 |  70 |3872 | 167 |  70 |  23 |  21 | 158k|3080 | 0.000000e+00 |      --      |    Inf 
79.78/79.82	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
79.78/79.82	c  75.5s|380000 |121342 |  1281k|  93M|  63 |   - |  70 |4330 | 504 |  70 |  23 |  21 | 162k|3090 | 0.000000e+00 |      --      |    Inf 
81.98/82.03	c  77.5s|390000 |124308 |  1314k|  96M|  63 |   8 |  70 |3443 |  90 |  70 |  23 |  21 | 166k|3107 | 0.000000e+00 |      --      |    Inf 
83.98/84.09	c  79.5s|400000 |127690 |  1347k|  98M|  63 |   8 |  70 |4239 | 472 |  70 |  23 |  21 | 171k|3145 | 0.000000e+00 |      --      |    Inf 
86.28/86.30	c  81.6s|410000 |130713 |  1380k| 100M|  63 |   8 |  70 |3987 | 297 |  70 |  23 |  21 | 175k|3172 | 0.000000e+00 |      --      |    Inf 
88.28/88.33	c  83.6s|420000 |134370 |  1413k| 103M|  63 |   8 |  70 |5187 | 223 |  70 |  23 |  21 | 179k|3187 | 0.000000e+00 |      --      |    Inf 
90.37/90.44	c  85.6s|430000 |137718 |  1448k| 106M|  63 |   - |  70 |5116 | 128 |  70 |  23 |  21 | 183k|3208 | 0.000000e+00 |      --      |    Inf 
92.58/92.67	c  87.7s|440000 |140738 |  1481k| 108M|  63 |   8 |  70 |4230 |  55 |  70 |  23 |  21 | 187k|3233 | 0.000000e+00 |      --      |    Inf 
94.68/94.77	c  89.7s|450000 |144089 |  1513k| 110M|  63 |   - |  70 |3811 | 123 |  70 |  23 |  21 | 192k|3255 | 0.000000e+00 |      --      |    Inf 
96.88/96.93	c  91.7s|460000 |147060 |  1546k| 113M|  63 |   8 |  70 |3287 |  85 |  70 |  23 |  21 | 196k|3268 | 0.000000e+00 |      --      |    Inf 
99.07/99.12	c  93.8s|470000 |150020 |  1580k| 115M|  63 |   8 |  70 |3413 |  50 |  70 |  23 |  21 | 200k|3302 | 0.000000e+00 |      --      |    Inf 
101.18/101.21	c  95.7s|480000 |153177 |  1613k| 117M|  63 |   - |  70 |3855 |  19 |  70 |  23 |  21 | 205k|3329 | 0.000000e+00 |      --      |    Inf 
103.38/103.41	c  97.8s|490000 |156149 |  1646k| 120M|  63 |   8 |  70 |3966 | 691 |  70 |  23 |  21 | 209k|3356 | 0.000000e+00 |      --      |    Inf 
105.48/105.60	c  99.9s|500000 |159098 |  1679k| 122M|  63 |   8 |  70 |3742 |  88 |  70 |  23 |  21 | 213k|3377 | 0.000000e+00 |      --      |    Inf 
107.47/107.59	c   102s|510000 |162988 |  1711k| 125M|  63 |   8 |  70 |4575 | 202 |  70 |  23 |  21 | 217k|3393 | 0.000000e+00 |      --      |    Inf 
109.58/109.62	c   104s|520000 |166611 |  1744k| 128M|  63 |   - |  70 |5097 |  87 |  70 |  23 |  21 | 221k|3405 | 0.000000e+00 |      --      |    Inf 
111.77/111.85	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
111.77/111.85	c   106s|530000 |169595 |  1777k| 130M|  63 |   - |  70 |4163 |  94 |  70 |  23 |  21 | 226k|3412 | 0.000000e+00 |      --      |    Inf 
113.97/114.00	c   108s|540000 |172728 |  1810k| 132M|  63 |   8 |  70 |3876 |  10 |  70 |  23 |  21 | 230k|3423 | 0.000000e+00 |      --      |    Inf 
115.87/115.97	c   110s|550000 |176373 |  1842k| 135M|  63 |   - |  70 |4833 | 263 |  70 |  23 |  21 | 234k|3438 | 0.000000e+00 |      --      |    Inf 
118.07/118.13	c   112s|560000 |179563 |  1875k| 137M|  63 |   8 |  70 |4521 |  69 |  70 |  23 |  21 | 238k|3462 | 0.000000e+00 |      --      |    Inf 
120.27/120.37	c   114s|570000 |182331 |  1908k| 139M|  63 |   8 |  70 |3679 |  68 |  70 |  23 |  21 | 242k|3478 | 0.000000e+00 |      --      |    Inf 
122.47/122.55	c   116s|580000 |185367 |  1941k| 142M|  63 |   - |  70 |3894 |  45 |  70 |  23 |  21 | 247k|3497 | 0.000000e+00 |      --      |    Inf 
124.67/124.74	c   118s|590000 |188445 |  1975k| 144M|  63 |   8 |  70 |3841 |  92 |  70 |  23 |  21 | 251k|3519 | 0.000000e+00 |      --      |    Inf 
126.87/126.90	c   120s|600000 |191504 |  2008k| 147M|  63 |   8 |  70 |4013 | 259 |  70 |  23 |  21 | 255k|3530 | 0.000000e+00 |      --      |    Inf 
129.07/129.13	c   122s|610000 |194439 |  2042k| 149M|  63 |   8 |  70 |3632 | 104 |  70 |  23 |  21 | 260k|3548 | 0.000000e+00 |      --      |    Inf 
131.27/131.33	c   124s|620000 |197380 |  2075k| 151M|  63 |   8 |  70 |4038 |  57 |  70 |  23 |  21 | 264k|3566 | 0.000000e+00 |      --      |    Inf 
133.46/133.54	c   126s|630000 |200286 |  2109k| 154M|  63 |   8 |  70 |3907 |  45 |  70 |  23 |  21 | 269k|3580 | 0.000000e+00 |      --      |    Inf 
135.66/135.77	c   128s|640000 |203098 |  2141k| 156M|  63 |   - |  70 |4151 |  48 |  70 |  23 |  21 | 273k|3603 | 0.000000e+00 |      --      |    Inf 
137.97/138.01	c   131s|650000 |205946 |  2174k| 158M|  63 |   - |  70 |3961 | 230 |  70 |  23 |  21 | 277k|3630 | 0.000000e+00 |      --      |    Inf 
140.06/140.18	c   133s|660000 |208830 |  2207k| 161M|  63 |   8 |  70 |4351 | 100 |  70 |  23 |  21 | 282k|3645 | 0.000000e+00 |      --      |    Inf 
142.27/142.39	c   135s|670000 |211634 |  2241k| 163M|  63 |   8 |  70 |4149 |  97 |  70 |  23 |  21 | 286k|3665 | 0.000000e+00 |      --      |    Inf 
144.47/144.57	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
144.47/144.57	c   137s|680000 |214586 |  2274k| 165M|  63 |   - |  70 |3825 |  28 |   0 |   0 |  21 | 291k|3683 | 0.000000e+00 |      --      |    Inf 
146.56/146.62	c   139s|690000 |217840 |  2307k| 168M|  63 |   - |  70 |4825 |  60 |  70 |  23 |  21 | 295k|3694 | 0.000000e+00 |      --      |    Inf 
148.77/148.84	c   141s|700000 |220927 |  2340k| 170M|  63 |   8 |  70 |4573 |  90 |  70 |  23 |  21 | 299k|3714 | 0.000000e+00 |      --      |    Inf 
150.96/151.06	c   143s|710000 |224077 |  2374k| 173M|  63 |   - |  70 |4299 |  26 |  70 |  23 |  21 | 303k|3751 | 0.000000e+00 |      --      |    Inf 
153.06/153.20	c   145s|720000 |227203 |  2408k| 175M|  63 |   - |  70 |5064 | 103 |  70 |  23 |  21 | 308k|3778 | 0.000000e+00 |      --      |    Inf 
155.26/155.38	c   147s|730000 |230075 |  2442k| 178M|  63 |   8 |  70 |5322 | 232 |  70 |  23 |  21 | 312k|3793 | 0.000000e+00 |      --      |    Inf 
157.56/157.65	c   149s|740000 |232928 |  2476k| 180M|  63 |   8 |  70 |4470 |  51 |  70 |  23 |  21 | 317k|3824 | 0.000000e+00 |      --      |    Inf 
159.65/159.78	c   151s|750000 |235700 |  2509k| 182M|  63 |   8 |  70 |4930 | 405 |  70 |  23 |  21 | 321k|3847 | 0.000000e+00 |      --      |    Inf 
161.86/161.99	c   153s|760000 |238583 |  2543k| 185M|  63 |   8 |  70 |4757 |  96 |  70 |  23 |  21 | 326k|3871 | 0.000000e+00 |      --      |    Inf 
164.05/164.12	c   155s|770000 |241734 |  2576k| 187M|  63 |   8 |  70 |4561 |  15 |  70 |  23 |  21 | 330k|3893 | 0.000000e+00 |      --      |    Inf 
166.15/166.26	c   157s|780000 |244765 |  2608k| 189M|  63 |   8 |  70 |4095 |  81 |  70 |  23 |  21 | 334k|3914 | 0.000000e+00 |      --      |    Inf 
168.35/168.40	c   159s|790000 |247774 |  2641k| 192M|  63 |   8 |  70 |4437 |  29 |  70 |  23 |  21 | 339k|3933 | 0.000000e+00 |      --      |    Inf 
170.46/170.52	c   161s|800000 |250741 |  2673k| 194M|  63 |   8 |  70 |4723 |  70 |  70 |  23 |  21 | 343k|3954 | 0.000000e+00 |      --      |    Inf 
172.66/172.74	c   164s|810000 |253561 |  2707k| 196M|  63 |   - |  70 |4863 |  37 |  70 |  23 |  21 | 347k|3966 | 0.000000e+00 |      --      |    Inf 
174.75/174.82	c   166s|820000 |256790 |  2740k| 199M|  63 |   8 |  70 |5756 | 173 |  70 |  23 |  21 | 352k|3971 | 0.000000e+00 |      --      |    Inf 
177.06/177.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
177.06/177.10	c   168s|830000 |259838 |  2773k| 201M|  63 |   8 |  70 |4422 | 274 |  70 |  23 |  21 | 356k|3984 | 0.000000e+00 |      --      |    Inf 
179.15/179.26	c   170s|840000 |262894 |  2806k| 204M|  63 |   - |  70 |4824 |  96 |  70 |  23 |  21 | 360k|3989 | 0.000000e+00 |      --      |    Inf 
181.35/181.42	c   172s|850000 |265937 |  2838k| 206M|  63 |   - |  70 |5254 |  47 |  70 |  23 |  21 | 365k|4000 | 0.000000e+00 |      --      |    Inf 
183.55/183.64	c   174s|860000 |268939 |  2871k| 208M|  63 |   - |  70 |4434 | 116 |  70 |  23 |  21 | 369k|4006 | 0.000000e+00 |      --      |    Inf 
185.64/185.80	c   176s|870000 |271958 |  2904k| 211M|  63 |   8 |  70 |4219 |  29 |  70 |  23 |  21 | 373k|4020 | 0.000000e+00 |      --      |    Inf 
187.94/188.01	c   178s|880000 |274812 |  2938k| 213M|  63 |   8 |  70 |4357 |1430 |  70 |  23 |  21 | 378k|4034 | 0.000000e+00 |      --      |    Inf 
190.04/190.16	c   180s|890000 |277816 |  2971k| 216M|  63 |   8 |  70 |4595 |  15 |  70 |  23 |  21 | 382k|4044 | 0.000000e+00 |      --      |    Inf 
192.24/192.31	c   182s|900000 |280967 |  3004k| 218M|  63 |   8 |  70 |4355 |  44 |  70 |  23 |  21 | 386k|4056 | 0.000000e+00 |      --      |    Inf 
194.44/194.55	c   184s|910000 |283691 |  3038k| 220M|  63 |   - |  70 |4749 | 132 |  70 |  23 |  21 | 391k|4062 | 0.000000e+00 |      --      |    Inf 
196.74/196.83	c   186s|920000 |286553 |  3071k| 222M|  63 |   - |  70 |3957 | 161 |  70 |  23 |  21 | 395k|4074 | 0.000000e+00 |      --      |    Inf 
198.95/199.06	c   189s|930000 |289400 |  3104k| 225M|  63 |   8 |  70 |4137 | 526 |  70 |  23 |  21 | 400k|4085 | 0.000000e+00 |      --      |    Inf 
201.15/201.24	c   191s|940000 |292534 |  3137k| 227M|  63 |   8 |  70 |4552 |  11 |  70 |  23 |  21 | 404k|4100 | 0.000000e+00 |      --      |    Inf 
203.34/203.49	c   193s|950000 |295279 |  3171k| 230M|  63 |   - |  70 |4140 |  45 |  70 |  23 |  21 | 408k|4105 | 0.000000e+00 |      --      |    Inf 
205.54/205.67	c   195s|960000 |298240 |  3204k| 232M|  63 |   - |  70 |4898 |  81 |  70 |  23 |  21 | 413k|4111 | 0.000000e+00 |      --      |    Inf 
207.74/207.85	c   197s|970000 |301249 |  3237k| 234M|  63 |   8 |  70 |4677 |  43 |  70 |  23 |  21 | 417k|4118 | 0.000000e+00 |      --      |    Inf 
209.94/210.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
209.94/210.03	c   199s|980000 |304299 |  3270k| 237M|  63 |   8 |  70 |4752 | 301 |  70 |  23 |  21 | 421k|4126 | 0.000000e+00 |      --      |    Inf 
212.14/212.29	c   201s|990000 |307198 |  3303k| 239M|  63 |   - |  70 |4583 |  91 |  70 |  23 |  21 | 426k|4140 | 0.000000e+00 |      --      |    Inf 
214.34/214.46	c   203s|  1000k|310256 |  3335k| 242M|  63 |   - |  70 |4810 |  38 |  70 |  23 |  21 | 430k|4148 | 0.000000e+00 |      --      |    Inf 
216.54/216.61	c   205s|  1010k|313218 |  3367k| 244M|  63 |   8 |  70 |4258 | 139 |  70 |  23 |  21 | 434k|4166 | 0.000000e+00 |      --      |    Inf 
218.74/218.83	c   207s|  1020k|316054 |  3399k| 246M|  63 |   - |  70 |4199 |  46 |   0 |   0 |  21 | 439k|4175 | 0.000000e+00 |      --      |    Inf 
220.84/220.96	c   209s|  1030k|319119 |  3431k| 249M|  63 |   - |  70 |4442 | 160 |  70 |  23 |  21 | 443k|4186 | 0.000000e+00 |      --      |    Inf 
223.03/223.18	c   211s|  1040k|321959 |  3464k| 251M|  63 |   - |  70 |5034 |  39 |  70 |  23 |  21 | 448k|4197 | 0.000000e+00 |      --      |    Inf 
225.23/225.32	c   213s|  1050k|325125 |  3497k| 254M|  63 |   8 |  70 |5229 |  99 |  70 |  23 |  21 | 452k|4203 | 0.000000e+00 |      --      |    Inf 
227.42/227.60	c   216s|  1060k|327892 |  3530k| 256M|  63 |   8 |  70 |4710 |  22 |  70 |  23 |  21 | 456k|4213 | 0.000000e+00 |      --      |    Inf 
229.73/229.81	c   218s|  1070k|330771 |  3563k| 258M|  63 |   8 |  70 |4220 | 163 |  70 |  23 |  21 | 461k|4225 | 0.000000e+00 |      --      |    Inf 
231.94/232.05	c   220s|  1080k|333707 |  3595k| 260M|  63 |   8 |  70 |4120 | 114 |  70 |  23 |  21 | 465k|4235 | 0.000000e+00 |      --      |    Inf 
234.13/234.22	c   222s|  1090k|336686 |  3628k| 263M|  63 |   - |  70 |4359 |  18 |  70 |  23 |  21 | 469k|4250 | 0.000000e+00 |      --      |    Inf 
236.33/236.44	c   224s|  1100k|339530 |  3660k| 265M|  63 |   8 |  70 |4425 | 150 |  70 |  23 |  21 | 474k|4258 | 0.000000e+00 |      --      |    Inf 
238.53/238.67	c   226s|  1110k|342352 |  3693k| 268M|  63 |   - |  70 |4641 |  24 |  70 |  23 |  21 | 478k|4273 | 0.000000e+00 |      --      |    Inf 
240.83/240.96	c   228s|  1120k|345115 |  3725k| 270M|  63 |   8 |  70 |3820 | 363 |  70 |  23 |  21 | 483k|4282 | 0.000000e+00 |      --      |    Inf 
243.03/243.15	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
243.03/243.15	c   230s|  1130k|347913 |  3758k| 272M|  63 |   8 |  70 |4534 |  46 |  70 |  23 |  21 | 487k|4289 | 0.000000e+00 |      --      |    Inf 
245.23/245.37	c   232s|  1140k|350669 |  3791k| 275M|  63 |   - |  70 |4706 |  16 |  70 |  23 |  21 | 491k|4300 | 0.000000e+00 |      --      |    Inf 
247.52/247.68	c   235s|  1150k|353410 |  3824k| 277M|  63 |   8 |  70 |4433 |  41 |  70 |  23 |  21 | 496k|4307 | 0.000000e+00 |      --      |    Inf 
249.72/249.85	c   237s|  1160k|356491 |  3856k| 279M|  63 |   - |  70 |4665 |  26 |  70 |  23 |  21 | 500k|4315 | 0.000000e+00 |      --      |    Inf 
252.02/252.16	c   239s|  1170k|359137 |  3889k| 282M|  63 |   8 |  70 |4167 |  20 |  70 |  23 |  21 | 505k|4323 | 0.000000e+00 |      --      |    Inf 
254.31/254.43	c   241s|  1180k|361779 |  3921k| 284M|  63 |   - |  70 |3851 | 119 |  70 |  23 |  21 | 509k|4332 | 0.000000e+00 |      --      |    Inf 
256.51/256.65	c   243s|  1190k|364652 |  3954k| 286M|  63 |   8 |  70 |4201 | 144 |  70 |  23 |  21 | 514k|4342 | 0.000000e+00 |      --      |    Inf 
258.81/258.92	c   245s|  1200k|367471 |  3987k| 289M|  63 |   8 |  70 |4368 |  19 |  70 |  23 |  21 | 518k|4347 | 0.000000e+00 |      --      |    Inf 
260.92/261.06	c   247s|  1210k|370493 |  4019k| 291M|  63 |   8 |  70 |5061 |  32 |  70 |  23 |  21 | 522k|4351 | 0.000000e+00 |      --      |    Inf 
263.21/263.35	c   249s|  1220k|373326 |  4052k| 293M|  63 |   - |  70 |4269 |  50 |  70 |  23 |  21 | 527k|4359 | 0.000000e+00 |      --      |    Inf 
265.41/265.59	c   252s|  1230k|376053 |  4086k| 296M|  63 |   8 |  70 |4398 |  91 |  70 |  23 |  21 | 531k|4369 | 0.000000e+00 |      --      |    Inf 
267.71/267.87	c   254s|  1240k|378802 |  4118k| 298M|  63 |   8 |  70 |4251 | 172 |  70 |  23 |  21 | 536k|4383 | 0.000000e+00 |      --      |    Inf 
269.91/270.08	c   256s|  1250k|381812 |  4151k| 300M|  63 |   - |  70 |4382 |  21 |  70 |  23 |  21 | 540k|4392 | 0.000000e+00 |      --      |    Inf 
272.21/272.33	c   258s|  1260k|384588 |  4184k| 303M|  63 |   8 |  70 |4664 |  50 |  70 |  23 |  21 | 544k|4413 | 0.000000e+00 |      --      |    Inf 
274.51/274.63	c   260s|  1270k|387225 |  4216k| 305M|  63 |   8 |  70 |4476 |  32 |  70 |  23 |  21 | 549k|4421 | 0.000000e+00 |      --      |    Inf 
276.71/276.85	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
276.71/276.85	c   262s|  1280k|390138 |  4249k| 307M|  63 |   8 |  70 |4630 | 122 |  70 |  23 |  21 | 553k|4435 | 0.000000e+00 |      --      |    Inf 
278.91/279.04	c   264s|  1290k|392904 |  4283k| 310M|  63 |   - |  70 |4617 | 100 |  70 |  23 |  21 | 558k|4438 | 0.000000e+00 |      --      |    Inf 
281.21/281.30	c   266s|  1300k|395636 |  4316k| 312M|  63 |   8 |  70 |4235 | 479 |  70 |  23 |  21 | 562k|4440 | 0.000000e+00 |      --      |    Inf 
283.30/283.49	c   269s|  1310k|398617 |  4349k| 314M|  63 |   - |  70 |4516 | 296 |  70 |  23 |  21 | 566k|4442 | 0.000000e+00 |      --      |    Inf 
285.70/285.85	c   271s|  1320k|401221 |  4380k| 317M|  63 |   8 |  70 |4284 |  67 |  70 |  23 |  21 | 571k|4442 | 0.000000e+00 |      --      |    Inf 
287.90/288.06	c   273s|  1330k|404137 |  4413k| 319M|  63 |   8 |  70 |4825 | 204 |  70 |  23 |  21 | 575k|4442 | 0.000000e+00 |      --      |    Inf 
290.11/290.29	c   275s|  1340k|407192 |  4446k| 322M|  63 |   8 |  70 |5042 |  76 |  70 |  23 |  21 | 580k|4455 | 0.000000e+00 |      --      |    Inf 
292.51/292.62	c   277s|  1350k|409865 |  4478k| 324M|  63 |   - |  70 |4753 |  34 |  70 |  23 |  21 | 584k|4464 | 0.000000e+00 |      --      |    Inf 
294.71/294.82	c   279s|  1360k|412734 |  4510k| 326M|  63 |   8 |  70 |4464 | 167 |  70 |  23 |  21 | 588k|4469 | 0.000000e+00 |      --      |    Inf 
296.91/297.09	c   281s|  1370k|415584 |  4542k| 328M|  63 |   8 |  70 |4365 | 804 |  70 |  23 |  21 | 593k|4477 | 0.000000e+00 |      --      |    Inf 
299.20/299.32	c   284s|  1380k|418550 |  4575k| 331M|  63 |   - |  70 |4140 |  41 |  70 |  23 |  21 | 597k|4484 | 0.000000e+00 |      --      |    Inf 
301.40/301.55	c   286s|  1390k|421485 |  4608k| 333M|  63 |   8 |  70 |4607 |  35 |  70 |  23 |  21 | 601k|4505 | 0.000000e+00 |      --      |    Inf 
303.70/303.83	c   288s|  1400k|424273 |  4639k| 335M|  63 |   - |  70 |4570 |  30 |  70 |  23 |  21 | 606k|4505 | 0.000000e+00 |      --      |    Inf 
305.89/306.06	c   290s|  1410k|427086 |  4672k| 338M|  63 |   8 |  70 |4421 |  36 |  70 |  23 |  21 | 610k|4505 | 0.000000e+00 |      --      |    Inf 
308.20/308.35	c   292s|  1420k|429785 |  4705k| 340M|  63 |   - |  70 |4515 | 123 |  70 |  23 |  21 | 615k|4505 | 0.000000e+00 |      --      |    Inf 
310.40/310.56	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
310.40/310.56	c   294s|  1430k|432595 |  4737k| 343M|  63 |   8 |  70 |4935 |  20 |  70 |  23 |  21 | 619k|4511 | 0.000000e+00 |      --      |    Inf 
312.70/312.84	c   296s|  1440k|435632 |  4769k| 345M|  63 |   8 |  70 |4754 | 294 |  70 |  23 |  21 | 624k|4519 | 0.000000e+00 |      --      |    Inf 
314.99/315.11	c   299s|  1450k|438453 |  4802k| 347M|  63 |   - |  70 |4409 |  31 |  70 |  23 |  21 | 628k|4533 | 0.000000e+00 |      --      |    Inf 
317.20/317.36	c   301s|  1460k|441242 |  4836k| 350M|  63 |   8 |  70 |4840 | 129 |  70 |  23 |  21 | 632k|4540 | 0.000000e+00 |      --      |    Inf 
319.50/319.63	c   303s|  1470k|444100 |  4869k| 352M|  63 |   8 |  70 |4904 |  33 |  70 |  23 |  21 | 637k|4548 | 0.000000e+00 |      --      |    Inf 
321.69/321.89	c   305s|  1480k|446925 |  4901k| 355M|  63 |   - |  70 |5047 | 230 |  70 |  23 |  21 | 641k|4556 | 0.000000e+00 |      --      |    Inf 
324.19/324.31	c   307s|  1490k|449457 |  4934k| 357M|  63 |   8 |  70 |4229 |  62 |  70 |  23 |  21 | 646k|4566 | 0.000000e+00 |      --      |    Inf 
326.39/326.56	c   309s|  1500k|452223 |  4966k| 359M|  63 |   - |  70 |4472 | 186 |  70 |  23 |  21 | 650k|4570 | 0.000000e+00 |      --      |    Inf 
328.70/328.83	c   312s|  1510k|455101 |  4998k| 361M|  63 |   8 |  70 |4525 |  15 |  70 |  23 |  21 | 655k|4577 | 0.000000e+00 |      --      |    Inf 
330.90/331.08	c   314s|  1520k|457967 |  5031k| 364M|  63 |   - |  70 |4739 |  95 |  70 |  23 |  21 | 659k|4579 | 0.000000e+00 |      --      |    Inf 
333.09/333.23	c   316s|  1530k|461100 |  5063k| 366M|  63 |   - |  70 |5655 |  26 |  70 |  23 |  21 | 664k|4587 | 0.000000e+00 |      --      |    Inf 
335.39/335.55	c   318s|  1540k|464036 |  5096k| 369M|  63 |   - |  70 |5262 |  27 |   0 |   0 |  21 | 668k|4595 | 0.000000e+00 |      --      |    Inf 
337.68/337.83	c   320s|  1550k|466978 |  5129k| 371M|  63 |   8 |  70 |5567 |  18 |  70 |  23 |  21 | 672k|4602 | 0.000000e+00 |      --      |    Inf 
339.99/340.18	c   322s|  1560k|469765 |  5162k| 373M|  63 |   - |  70 |5283 |  17 |  70 |  23 |  21 | 677k|4608 | 0.000000e+00 |      --      |    Inf 
342.29/342.46	c   325s|  1570k|472678 |  5195k| 376M|  63 |   8 |  70 |5208 | 110 |  70 |  23 |  21 | 681k|4618 | 0.000000e+00 |      --      |    Inf 
344.68/344.86	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
344.68/344.86	c   327s|  1580k|475365 |  5228k| 378M|  63 |   8 |  70 |4640 |  70 |  70 |  23 |  21 | 686k|4634 | 0.000000e+00 |      --      |    Inf 
346.88/347.07	c   329s|  1590k|478588 |  5260k| 380M|  63 |   8 |  70 |4830 | 542 |  70 |  23 |  21 | 690k|4635 | 0.000000e+00 |      --      |    Inf 
348.98/349.17	c   331s|  1600k|481859 |  5293k| 383M|  63 |   8 |  70 |6104 |1894 |  70 |  23 |  21 | 694k|4637 | 0.000000e+00 |      --      |    Inf 
351.18/351.35	c   333s|  1610k|485050 |  5327k| 386M|  63 |   8 |  70 |6120 | 508 |  70 |  23 |  21 | 698k|4645 | 0.000000e+00 |      --      |    Inf 
353.47/353.64	c   335s|  1620k|487962 |  5359k| 388M|  63 |   8 |  70 |5660 | 170 |  70 |  23 |  21 | 703k|4655 | 0.000000e+00 |      --      |    Inf 
355.67/355.82	c   337s|  1630k|490918 |  5392k| 390M|  63 |   8 |  70 |6467 |  76 |  70 |  23 |  21 | 707k|4661 | 0.000000e+00 |      --      |    Inf 
358.07/358.29	c   340s|  1640k|493576 |  5425k| 392M|  63 |   8 |  70 |4339 |  55 |  70 |  23 |  21 | 712k|4667 | 0.000000e+00 |      --      |    Inf 
360.37/360.57	c   342s|  1650k|496385 |  5457k| 395M|  63 |   - |  70 |4647 |  14 |  70 |  23 |  21 | 716k|4674 | 0.000000e+00 |      --      |    Inf 
362.67/362.87	c   344s|  1660k|499063 |  5491k| 397M|  63 |   - |  70 |5129 |  45 |  70 |  23 |  21 | 721k|4682 | 0.000000e+00 |      --      |    Inf 
364.97/365.19	c   346s|  1670k|501755 |  5523k| 399M|  63 |   8 |  70 |4648 | 193 |  70 |  23 |  21 | 725k|4686 | 0.000000e+00 |      --      |    Inf 
367.27/367.49	c   348s|  1680k|504669 |  5556k| 402M|  63 |   8 |  70 |5293 | 410 |  70 |  23 |  21 | 730k|4699 | 0.000000e+00 |      --      |    Inf 
369.67/369.88	c   351s|  1690k|507315 |  5588k| 404M|  63 |   - |  70 |4608 |  17 |  70 |  23 |  21 | 734k|4709 | 0.000000e+00 |      --      |    Inf 
372.06/372.22	c   353s|  1700k|510027 |  5621k| 406M|  63 |   8 |  70 |4983 | 321 |  70 |  23 |  21 | 739k|4718 | 0.000000e+00 |      --      |    Inf 
374.26/374.43	c   355s|  1710k|513111 |  5653k| 409M|  63 |   8 |  70 |5763 | 215 |  70 |  23 |  21 | 743k|4723 | 0.000000e+00 |      --      |    Inf 
376.47/376.61	c   357s|  1720k|516195 |  5687k| 411M|  63 |   8 |  70 |6549 |  87 |  70 |  23 |  21 | 747k|4736 | 0.000000e+00 |      --      |    Inf 
378.86/379.07	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
378.86/379.07	c   359s|  1730k|518848 |  5719k| 413M|  63 |   - |  70 |4648 | 165 |  70 |  23 |  21 | 752k|4748 | 0.000000e+00 |      --      |    Inf 
381.16/381.32	c   362s|  1740k|521810 |  5752k| 416M|  63 |   8 |  70 |4590 | 143 |  70 |  23 |  21 | 756k|4748 | 0.000000e+00 |      --      |    Inf 
383.35/383.56	c   364s|  1750k|524769 |  5784k| 418M|  63 |   8 |  70 |4806 |  51 |  70 |  23 |  21 | 761k|4749 | 0.000000e+00 |      --      |    Inf 
385.55/385.72	c   366s|  1760k|527682 |  5817k| 421M|  63 |   - |  70 |6026 |  75 |  70 |  23 |  21 | 765k|4764 | 0.000000e+00 |      --      |    Inf 
387.76/387.96	c   368s|  1770k|530843 |  5850k| 423M|  63 |   8 |  70 |6578 |  53 |  70 |  23 |  21 | 769k|4766 | 0.000000e+00 |      --      |    Inf 
390.15/390.39	c   370s|  1780k|533778 |  5883k| 425M|  63 |   8 |  70 |4578 |  74 |  70 |  23 |  21 | 774k|4776 | 0.000000e+00 |      --      |    Inf 
392.56/392.72	c   372s|  1790k|536426 |  5916k| 428M|  63 |   - |  70 |4757 | 198 |  70 |  23 |  21 | 778k|4782 | 0.000000e+00 |      --      |    Inf 
394.76/394.95	c   374s|  1800k|539219 |  5949k| 430M|  63 |   8 |  70 |5658 |  47 |  70 |  23 |  21 | 783k|4796 | 0.000000e+00 |      --      |    Inf 
397.05/397.27	c   377s|  1810k|541953 |  5981k| 432M|  63 |   - |  70 |5003 |  38 |  70 |  23 |  21 | 787k|4797 | 0.000000e+00 |      --      |    Inf 
399.35/399.56	c   379s|  1820k|544862 |  6013k| 435M|  63 |   8 |  70 |5264 |  27 |  70 |  23 |  21 | 791k|4804 | 0.000000e+00 |      --      |    Inf 
401.65/401.80	c   381s|  1830k|547830 |  6046k| 437M|  63 |   8 |  70 |5028 |  59 |  70 |  23 |  21 | 796k|4808 | 0.000000e+00 |      --      |    Inf 
403.84/404.09	c   383s|  1840k|550535 |  6078k| 439M|  63 |   8 |  70 |5030 |1132 |  70 |  23 |  21 | 800k|4818 | 0.000000e+00 |      --      |    Inf 
406.23/406.47	c   385s|  1850k|553149 |  6111k| 442M|  63 |   8 |  70 |4526 |  41 |  70 |  23 |  21 | 805k|4824 | 0.000000e+00 |      --      |    Inf 
408.34/408.58	c   387s|  1860k|556376 |  6142k| 444M|  63 |   8 |  70 |5669 |  75 |  70 |  23 |  21 | 809k|4835 | 0.000000e+00 |      --      |    Inf 
410.73/410.94	c   390s|  1870k|559243 |  6175k| 446M|  63 |   8 |  70 |5018 | 188 |  70 |  23 |  21 | 814k|4846 | 0.000000e+00 |      --      |    Inf 
412.83/413.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
412.83/413.04	c   392s|  1880k|562835 |  6208k| 449M|  63 |   8 |  70 |5678 | 176 |  70 |  23 |  21 | 818k|4855 | 0.000000e+00 |      --      |    Inf 
415.23/415.47	c   394s|  1890k|565486 |  6240k| 451M|  63 |   8 |  70 |4852 | 145 |  70 |  23 |  21 | 822k|4862 | 0.000000e+00 |      --      |    Inf 
417.63/417.80	c   396s|  1900k|568239 |  6272k| 453M|  63 |   8 |  70 |4854 |  31 |  70 |  23 |  21 | 826k|4872 | 0.000000e+00 |      --      |    Inf 
419.84/420.08	c   398s|  1910k|571130 |  6304k| 456M|  63 |   8 |  70 |4895 | 123 |  70 |  23 |  21 | 831k|4882 | 0.000000e+00 |      --      |    Inf 
422.03/422.20	c   400s|  1920k|574319 |  6336k| 458M|  63 |   8 |  70 |5319 |  24 |  70 |  23 |  21 | 835k|4893 | 0.000000e+00 |      --      |    Inf 
424.33/424.55	c   403s|  1930k|577150 |  6369k| 460M|  63 |   8 |  70 |4867 |  32 |  70 |  23 |  21 | 839k|4900 | 0.000000e+00 |      --      |    Inf 
426.63/426.86	c   405s|  1940k|579913 |  6403k| 463M|  63 |   - |  70 |4880 | 162 |  70 |  23 |  21 | 844k|4906 | 0.000000e+00 |      --      |    Inf 
428.93/429.13	c   407s|  1950k|582753 |  6435k| 465M|  63 |   8 |  70 |5439 |  84 |  70 |  23 |  21 | 848k|4917 | 0.000000e+00 |      --      |    Inf 
431.22/431.46	c   409s|  1960k|585562 |  6469k| 468M|  63 |   - |  70 |5258 |  50 |  70 |  23 |  21 | 853k|4925 | 0.000000e+00 |      --      |    Inf 
433.62/433.81	c   411s|  1970k|588426 |  6501k| 470M|  63 |   8 |  70 |4459 |  92 |  70 |  23 |  21 | 857k|4930 | 0.000000e+00 |      --      |    Inf 
435.71/435.98	c   413s|  1980k|591529 |  6533k| 472M|  63 |   8 |  70 |5198 |  75 |  70 |  23 |  21 | 861k|4940 | 0.000000e+00 |      --      |    Inf 
438.11/438.34	c   416s|  1990k|594247 |  6566k| 475M|  63 |   8 |  70 |5171 | 110 |  70 |  23 |  21 | 866k|4950 | 0.000000e+00 |      --      |    Inf 
440.42/440.64	c   418s|  2000k|597146 |  6599k| 477M|  63 |   - |  70 |4880 |  27 |  70 |  23 |  21 | 870k|4959 | 0.000000e+00 |      --      |    Inf 
442.52/442.73	c   420s|  2010k|600451 |  6630k| 479M|  63 |   8 |  70 |6090 |  52 |  70 |  23 |  21 | 874k|4965 | 0.000000e+00 |      --      |    Inf 
444.81/445.07	c   422s|  2020k|603340 |  6663k| 482M|  63 |   - |  70 |4891 |  44 |  70 |  23 |  21 | 879k|4973 | 0.000000e+00 |      --      |    Inf 
447.11/447.30	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
447.11/447.30	c   424s|  2030k|606264 |  6696k| 484M|  63 |   - |  70 |5323 |  13 |  70 |  23 |  21 | 883k|4980 | 0.000000e+00 |      --      |    Inf 
449.41/449.64	c   426s|  2040k|609127 |  6729k| 486M|  63 |   8 |  70 |4552 | 336 |  70 |  23 |  21 | 888k|4986 | 0.000000e+00 |      --      |    Inf 
451.51/451.77	c   428s|  2050k|612476 |  6761k| 489M|  63 |   - |  70 |5122 | 145 |  70 |  23 |  21 | 892k|4996 | 0.000000e+00 |      --      |    Inf 
453.70/453.98	c   431s|  2060k|615610 |  6793k| 491M|  63 |   - |  70 |5456 |  14 |  70 |  23 |  21 | 896k|5003 | 0.000000e+00 |      --      |    Inf 
456.10/456.35	c   433s|  2070k|618264 |  6826k| 493M|  63 |   8 |  70 |4436 | 103 |  70 |  23 |  21 | 900k|5008 | 0.000000e+00 |      --      |    Inf 
458.41/458.64	c   435s|  2080k|621028 |  6858k| 496M|  63 |   8 |  70 |4344 | 751 |  70 |  23 |  21 | 905k|5020 | 0.000000e+00 |      --      |    Inf 
460.71/460.97	c   437s|  2090k|623683 |  6891k| 498M|  63 |   8 |  70 |4650 |  36 |  70 |  23 |  21 | 909k|5024 | 0.000000e+00 |      --      |    Inf 
463.00/463.20	c   439s|  2100k|626520 |  6924k| 501M|  63 |   8 |  70 |5434 | 389 |  70 |  23 |  21 | 914k|5029 | 0.000000e+00 |      --      |    Inf 
465.20/465.48	c   441s|  2110k|629427 |  6956k| 503M|  63 |   - |  70 |5524 |  27 |  70 |  23 |  21 | 918k|5037 | 0.000000e+00 |      --      |    Inf 
467.50/467.72	c   444s|  2120k|632394 |  6991k| 505M|  63 |   - |  70 |5966 |  94 |  70 |  23 |  21 | 923k|5042 | 0.000000e+00 |      --      |    Inf 
469.80/470.05	c   446s|  2130k|635055 |  7026k| 508M|  63 |   8 |  70 |6611 |  45 |  70 |  23 |  21 | 928k|5049 | 0.000000e+00 |      --      |    Inf 
472.20/472.49	c   448s|  2140k|637863 |  7058k| 510M|  63 |   - |  70 |5549 |  89 |  70 |  23 |  21 | 932k|5055 | 0.000000e+00 |      --      |    Inf 
474.30/474.52	c   450s|  2150k|641159 |  7089k| 513M|  63 |   8 |  70 |6594 | 510 |  70 |  23 |  21 | 936k|5057 | 0.000000e+00 |      --      |    Inf 
476.80/477.02	c   452s|  2160k|643745 |  7121k| 515M|  63 |   8 |  70 |5198 |  47 |  70 |  23 |  21 | 940k|5061 | 0.000000e+00 |      --      |    Inf 
479.00/479.28	c   455s|  2170k|646521 |  7153k| 517M|  63 |   8 |  70 |5478 | 535 |  70 |  23 |  21 | 945k|5064 | 0.000000e+00 |      --      |    Inf 
481.40/481.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
481.40/481.68	c   457s|  2180k|649332 |  7185k| 519M|  63 |   8 |  70 |4823 | 322 |  70 |  23 |  21 | 949k|5092 | 0.000000e+00 |      --      |    Inf 
483.50/483.78	c   459s|  2190k|652659 |  7218k| 522M|  63 |   8 |  70 |6074 | 112 |  70 |  23 |  21 | 953k|5092 | 0.000000e+00 |      --      |    Inf 
485.91/486.15	c   461s|  2200k|655385 |  7251k| 524M|  63 |   8 |  70 |5516 | 433 |  70 |  23 |  21 | 958k|5092 | 0.000000e+00 |      --      |    Inf 
488.30/488.50	c   463s|  2210k|658111 |  7284k| 526M|  63 |   8 |  70 |4962 |  23 |  70 |  23 |  21 | 962k|5092 | 0.000000e+00 |      --      |    Inf 
490.50/490.78	c   465s|  2220k|661117 |  7315k| 529M|  63 |   - |  70 |5360 |  95 |  70 |  23 |  21 | 967k|5093 | 0.000000e+00 |      --      |    Inf 
492.80/493.08	c   468s|  2230k|664121 |  7348k| 531M|  63 |   8 |  70 |5728 | 704 |  70 |  23 |  21 | 971k|5095 | 0.000000e+00 |      --      |    Inf 
495.30/495.53	c   470s|  2240k|666829 |  7381k| 533M|  63 |   - |  70 |5094 |  28 |  70 |  23 |  21 | 976k|5097 | 0.000000e+00 |      --      |    Inf 
497.60/497.81	c   472s|  2250k|669834 |  7413k| 536M|  63 |   - |  70 |5391 |  29 |   0 |   0 |  21 | 980k|5100 | 0.000000e+00 |      --      |    Inf 
499.89/500.13	c   474s|  2260k|672798 |  7445k| 538M|  63 |   8 |  70 |5635 | 144 |  70 |  23 |  21 | 984k|5108 | 0.000000e+00 |      --      |    Inf 
502.10/502.30	c   476s|  2270k|675871 |  7478k| 541M|  63 |   - |  70 |6912 |  16 |  70 |  23 |  21 | 989k|5116 | 0.000000e+00 |      --      |    Inf 
504.40/504.68	c   479s|  2280k|678444 |  7512k| 543M|  63 |   - |  70 |6945 |  41 |  70 |  23 |  21 | 993k|5120 | 0.000000e+00 |      --      |    Inf 
507.00/507.26	c   481s|  2290k|681103 |  7545k| 545M|  63 |   8 |  70 |5149 |  53 |  70 |  23 |  21 | 998k|5126 | 0.000000e+00 |      --      |    Inf 
509.40/509.61	c   483s|  2300k|683845 |  7577k| 547M|  63 |   8 |  70 |5090 |  32 |  70 |  23 |  21 |1002k|5144 | 0.000000e+00 |      --      |    Inf 
511.69/511.99	c   486s|  2310k|686595 |  7609k| 550M|  63 |   8 |  70 |4990 | 191 |  70 |  23 |  21 |1007k|5147 | 0.000000e+00 |      --      |    Inf 
514.10/514.32	c   488s|  2320k|689342 |  7641k| 552M|  63 |   - |  70 |5181 |  22 |  70 |  23 |  21 |1011k|5156 | 0.000000e+00 |      --      |    Inf 
516.20/516.48	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
516.20/516.48	c   490s|  2330k|692613 |  7674k| 555M|  63 |   8 |  70 |6447 | 326 |  70 |  23 |  21 |1015k|5159 | 0.000000e+00 |      --      |    Inf 
518.59/518.89	c   492s|  2340k|695315 |  7706k| 557M|  63 |   8 |  70 |5710 | 339 |  70 |  23 |  21 |1020k|5159 | 0.000000e+00 |      --      |    Inf 
521.10/521.31	c   494s|  2350k|698180 |  7738k| 559M|  63 |   8 |  70 |5245 |  18 |  70 |  23 |  21 |1024k|5159 | 0.000000e+00 |      --      |    Inf 
523.49/523.73	c   497s|  2360k|700912 |  7771k| 561M|  63 |   8 |  70 |5059 |  54 |  70 |  23 |  21 |1029k|5159 | 0.000000e+00 |      --      |    Inf 
525.99/526.23	c   499s|  2370k|703602 |  7803k| 564M|  63 |   8 |  70 |5259 |  53 |  70 |  23 |  21 |1033k|5159 | 0.000000e+00 |      --      |    Inf 
528.29/528.55	c   501s|  2380k|706347 |  7836k| 566M|  63 |   8 |  70 |5918 | 180 |  70 |  23 |  21 |1038k|5161 | 0.000000e+00 |      --      |    Inf 
530.79/531.06	c   504s|  2390k|709058 |  7869k| 569M|  63 |   8 |  70 |5631 | 113 |  70 |  23 |  21 |1042k|5170 | 0.000000e+00 |      --      |    Inf 
533.09/533.38	c   506s|  2400k|711918 |  7900k| 571M|  63 |   8 |  70 |6561 | 100 |  70 |  23 |  21 |1047k|5183 | 0.000000e+00 |      --      |    Inf 
535.59/535.84	c   508s|  2410k|714725 |  7933k| 573M|  63 |   8 |  70 |5894 |  32 |  70 |  23 |  21 |1051k|5188 | 0.000000e+00 |      --      |    Inf 
538.09/538.34	c   511s|  2420k|717389 |  7966k| 575M|  63 |   8 |  70 |5388 | 304 |  70 |  23 |  21 |1056k|5199 | 0.000000e+00 |      --      |    Inf 
540.49/540.77	c   513s|  2430k|720128 |  7998k| 578M|  63 |   - |  70 |4934 |  31 |  70 |  23 |  21 |1060k|5205 | 0.000000e+00 |      --      |    Inf 
542.79/543.07	c   515s|  2440k|723097 |  8030k| 580M|  63 |   - |  70 |5463 |  26 |  70 |  23 |  21 |1064k|5213 | 0.000000e+00 |      --      |    Inf 
545.19/545.46	c   517s|  2450k|725853 |  8062k| 583M|  63 |   - |  70 |4990 |  94 |  70 |  23 |  21 |1069k|5216 | 0.000000e+00 |      --      |    Inf 
547.69/547.98	c   520s|  2460k|728256 |  8096k| 585M|  63 |   - |  70 |4582 |  25 |  70 |  23 |  21 |1073k|5224 | 0.000000e+00 |      --      |    Inf 
550.09/550.31	c   522s|  2470k|731065 |  8128k| 587M|  63 |   8 |  70 |4888 |  64 |  70 |  23 |  21 |1078k|5227 | 0.000000e+00 |      --      |    Inf 
552.39/552.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
552.39/552.64	c   524s|  2480k|733843 |  8160k| 590M|  63 |   8 |  70 |5323 |  37 |  70 |  23 |  21 |1082k|5232 | 0.000000e+00 |      --      |    Inf 
554.79/555.06	c   527s|  2490k|736393 |  8193k| 592M|  63 |   8 |  70 |5154 |  16 |  70 |  23 |  21 |1087k|5239 | 0.000000e+00 |      --      |    Inf 
557.18/557.45	c   529s|  2500k|739286 |  8225k| 594M|  63 |   8 |  70 |5252 |  30 |  70 |  23 |  21 |1091k|5245 | 0.000000e+00 |      --      |    Inf 
559.49/559.77	c   531s|  2510k|741997 |  8258k| 597M|  63 |   - |  70 |5861 |  29 |  70 |  23 |  21 |1096k|5248 | 0.000000e+00 |      --      |    Inf 
561.98/562.20	c   533s|  2520k|744690 |  8290k| 599M|  63 |   8 |  70 |4844 | 106 |  70 |  23 |  21 |1100k|5255 | 0.000000e+00 |      --      |    Inf 
564.49/564.71	c   536s|  2530k|747150 |  8322k| 601M|  63 |   8 |  70 |4686 | 196 |  70 |  23 |  21 |1105k|5265 | 0.000000e+00 |      --      |    Inf 
566.59/566.83	c   538s|  2540k|750259 |  8355k| 604M|  63 |   8 |  70 |6438 |  41 |  70 |  23 |  21 |1109k|5270 | 0.000000e+00 |      --      |    Inf 
568.68/568.96	c   540s|  2550k|753451 |  8385k| 606M|  63 |   8 |  70 |7956 |  54 |  70 |  23 |  21 |1113k|5275 | 0.000000e+00 |      --      |    Inf 
571.19/571.46	c   542s|  2560k|756235 |  8417k| 608M|  63 |   8 |  70 |5221 | 371 |  70 |  23 |  21 |1118k|5278 | 0.000000e+00 |      --      |    Inf 
573.69/573.92	c   545s|  2570k|758806 |  8450k| 610M|  63 |   8 |  70 |4781 |  16 |  70 |  23 |  21 |1122k|5283 | 0.000000e+00 |      --      |    Inf 
575.99/576.29	c   547s|  2580k|761424 |  8483k| 613M|  63 |   - |  70 |5105 | 128 |  70 |  23 |  21 |1127k|5295 | 0.000000e+00 |      --      |    Inf 
578.49/578.73	c   549s|  2590k|764037 |  8516k| 615M|  63 |   8 |  70 |4966 | 139 |  70 |  23 |  21 |1131k|5301 | 0.000000e+00 |      --      |    Inf 
580.88/581.16	c   551s|  2600k|766792 |  8548k| 617M|  63 |   8 |  70 |4883 | 144 |  70 |  23 |  21 |1136k|5307 | 0.000000e+00 |      --      |    Inf 
583.18/583.46	c   554s|  2610k|769602 |  8580k| 620M|  63 |   8 |  70 |5361 | 100 |  70 |  23 |  21 |1140k|5313 | 0.000000e+00 |      --      |    Inf 
585.59/585.88	c   556s|  2620k|772300 |  8612k| 622M|  63 |   8 |  70 |4956 |  33 |  70 |  23 |  21 |1144k|5317 | 0.000000e+00 |      --      |    Inf 
587.98/588.27	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
587.98/588.27	c   558s|  2630k|775148 |  8645k| 624M|  63 |   8 |  70 |5025 |  19 |  70 |  23 |  21 |1149k|5328 | 0.000000e+00 |      --      |    Inf 
590.39/590.66	c   560s|  2640k|777971 |  8677k| 627M|  63 |   8 |  70 |5302 | 123 |  70 |  23 |  21 |1153k|5334 | 0.000000e+00 |      --      |    Inf 
592.88/593.12	c   563s|  2650k|780592 |  8710k| 629M|  63 |   - |  70 |4942 | 754 |  70 |  23 |  21 |1158k|5343 | 0.000000e+00 |      --      |    Inf 
595.29/595.54	c   565s|  2660k|783443 |  8742k| 631M|  63 |   8 |  70 |4839 |  12 |  70 |  23 |  21 |1162k|5355 | 0.000000e+00 |      --      |    Inf 
597.48/597.76	c   567s|  2670k|786411 |  8776k| 634M|  63 |   8 |  70 |6218 |  49 |  70 |  23 |  21 |1167k|5360 | 0.000000e+00 |      --      |    Inf 
599.98/600.24	c   570s|  2680k|789092 |  8808k| 636M|  63 |   8 |  70 |5381 | 198 |  70 |  23 |  21 |1171k|5377 | 0.000000e+00 |      --      |    Inf 
602.38/602.63	c   572s|  2690k|791927 |  8841k| 638M|  63 |   - |  70 |5258 |  23 |  70 |  23 |  21 |1176k|5386 | 0.000000e+00 |      --      |    Inf 
604.79/605.08	c   574s|  2700k|794659 |  8873k| 641M|  63 |   - |  70 |5057 |  13 |   0 |   0 |  21 |1180k|5398 | 0.000000e+00 |      --      |    Inf 
607.08/607.34	c   576s|  2710k|797670 |  8906k| 643M|  63 |   - |  70 |5609 |  33 |  70 |  23 |  21 |1184k|5406 | 0.000000e+00 |      --      |    Inf 
609.38/609.64	c   579s|  2720k|800564 |  8938k| 646M|  63 |   8 |  70 |6159 |  23 |  70 |  23 |  21 |1189k|5414 | 0.000000e+00 |      --      |    Inf 
611.68/611.90	c   581s|  2730k|803875 |  8971k| 648M|  63 |   8 |  70 |6706 |  75 |  70 |  23 |  21 |1193k|5418 | 0.000000e+00 |      --      |    Inf 
614.17/614.47	c   583s|  2740k|806583 |  9002k| 650M|  63 |   - |  70 |5505 | 604 |  70 |  23 |  21 |1197k|5423 | 0.000000e+00 |      --      |    Inf 
616.68/616.97	c   586s|  2750k|809234 |  9035k| 652M|  63 |   - |  70 |4813 |  45 |  70 |  23 |  21 |1202k|5429 | 0.000000e+00 |      --      |    Inf 
619.38/619.60	c   588s|  2760k|811609 |  9068k| 655M|  63 |   8 |  70 |4427 | 186 |  70 |  23 |  21 |1207k|5432 | 0.000000e+00 |      --      |    Inf 
621.68/621.97	c   590s|  2770k|814387 |  9100k| 657M|  63 |   8 |  70 |4621 |  96 |  70 |  23 |  21 |1211k|5437 | 0.000000e+00 |      --      |    Inf 
623.97/624.23	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
623.97/624.23	c   592s|  2780k|817183 |  9130k| 659M|  63 |   8 |  70 |5600 | 189 |  70 |  23 |  21 |1215k|5439 | 0.000000e+00 |      --      |    Inf 
626.47/626.71	c   595s|  2790k|819887 |  9162k| 662M|  63 |   8 |  70 |4781 | 130 |  70 |  23 |  21 |1220k|5442 | 0.000000e+00 |      --      |    Inf 
628.78/629.06	c   597s|  2800k|822545 |  9195k| 664M|  63 |   8 |  70 |4998 |  38 |  70 |  23 |  21 |1224k|5447 | 0.000000e+00 |      --      |    Inf 
631.27/631.53	c   599s|  2810k|825183 |  9227k| 666M|  63 |   - |  70 |4882 |  56 |  70 |  23 |  21 |1229k|5453 | 0.000000e+00 |      --      |    Inf 
633.78/634.01	c   602s|  2820k|827875 |  9259k| 669M|  63 |   8 |  70 |4873 |  25 |  70 |  23 |  21 |1233k|5460 | 0.000000e+00 |      --      |    Inf 
636.17/636.42	c   604s|  2830k|830569 |  9292k| 671M|  63 |   - |  70 |5145 |  20 |  70 |  23 |  21 |1238k|5465 | 0.000000e+00 |      --      |    Inf 
638.48/638.70	c   606s|  2840k|833658 |  9324k| 673M|  63 |   8 |  70 |5692 | 234 |  70 |  23 |  21 |1242k|5468 | 0.000000e+00 |      --      |    Inf 
640.78/641.03	c   608s|  2850k|836582 |  9355k| 676M|  63 |   - |  70 |5559 |  21 |  70 |  23 |  21 |1246k|5472 | 0.000000e+00 |      --      |    Inf 
643.18/643.44	c   611s|  2860k|839345 |  9388k| 678M|  63 |   - |  70 |5478 |  44 |  70 |  23 |  21 |1251k|5479 | 0.000000e+00 |      --      |    Inf 
645.57/645.88	c   613s|  2870k|842155 |  9421k| 680M|  63 |   8 |  70 |4672 |  43 |  70 |  23 |  21 |1255k|5484 | 0.000000e+00 |      --      |    Inf 
648.07/648.35	c   615s|  2880k|844662 |  9454k| 683M|  63 |   8 |  70 |5377 |  83 |  70 |  23 |  21 |1260k|5491 | 0.000000e+00 |      --      |    Inf 
650.57/650.81	c   618s|  2890k|847439 |  9487k| 685M|  63 |   - |  70 |5531 | 264 |  70 |  23 |  21 |1264k|5495 | 0.000000e+00 |      --      |    Inf 
652.87/653.12	c   620s|  2900k|850680 |  9520k| 688M|  63 |   - |  70 |5879 | 126 |  70 |  23 |  21 |1269k|5503 | 0.000000e+00 |      --      |    Inf 
655.07/655.36	c   622s|  2910k|854106 |  9554k| 690M|  63 |   8 |  70 |7080 | 323 |  70 |  23 |  21 |1273k|5507 | 0.000000e+00 |      --      |    Inf 
657.47/657.71	c   624s|  2920k|856871 |  9590k| 693M|  63 |   8 |  70 |8183 |  86 |  70 |  23 |  21 |1277k|5515 | 0.000000e+00 |      --      |    Inf 
659.87/660.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
659.87/660.13	c   627s|  2930k|859728 |  9625k| 695M|  63 |   - |  70 |7836 | 287 |  70 |  23 |  21 |1281k|5524 | 0.000000e+00 |      --      |    Inf 
662.47/662.74	c   629s|  2940k|862408 |  9657k| 697M|  63 |   8 |  70 |5946 |  41 |  70 |  23 |  21 |1286k|5536 | 0.000000e+00 |      --      |    Inf 
664.87/665.14	c   631s|  2950k|865191 |  9689k| 699M|  63 |   8 |  70 |6242 |  23 |  70 |  23 |  21 |1290k|5539 | 0.000000e+00 |      --      |    Inf 
667.27/667.55	c   634s|  2960k|868079 |  9721k| 702M|  63 |   8 |  70 |5655 |  71 |  70 |  23 |  21 |1295k|5541 | 0.000000e+00 |      --      |    Inf 
669.87/670.11	c   636s|  2970k|870655 |  9754k| 704M|  63 |   8 |  70 |4947 |  59 |  70 |  23 |  21 |1299k|5548 | 0.000000e+00 |      --      |    Inf 
672.26/672.53	c   638s|  2980k|873416 |  9785k| 706M|  63 |   8 |  70 |4896 |  53 |  70 |  23 |  21 |1304k|5553 | 0.000000e+00 |      --      |    Inf 
674.57/674.88	c   641s|  2990k|876046 |  9818k| 709M|  63 |   8 |  70 |5713 |  37 |  70 |  23 |  21 |1308k|5560 | 0.000000e+00 |      --      |    Inf 
677.17/677.43	c   643s|  3000k|878650 |  9851k| 711M|  63 |   8 |  70 |5021 |  88 |  70 |  23 |  21 |1313k|5563 | 0.000000e+00 |      --      |    Inf 
679.57/679.81	c   645s|  3010k|881473 |  9885k| 713M|  63 |   8 |  70 |5778 |  56 |  70 |  23 |  21 |1317k|5570 | 0.000000e+00 |      --      |    Inf 
681.78/682.03	c   647s|  3020k|884621 |  9917k| 716M|  63 |   8 |  70 |6714 |  41 |  70 |  23 |  21 |1321k|5574 | 0.000000e+00 |      --      |    Inf 
684.27/684.54	c   650s|  3030k|887325 |  9950k| 718M|  63 |   8 |  70 |6026 |  53 |  70 |  23 |  21 |1326k|5580 | 0.000000e+00 |      --      |    Inf 
686.77/687.09	c   652s|  3040k|890048 |  9982k| 720M|  63 |   - |  70 |5774 |  17 |  70 |  23 |  21 |1330k|5584 | 0.000000e+00 |      --      |    Inf 
689.38/689.62	c   655s|  3050k|892867 | 10015k| 723M|  63 |   8 |  70 |5835 |  52 |  70 |  23 |  21 |1335k|5589 | 0.000000e+00 |      --      |    Inf 
691.87/692.12	c   657s|  3060k|895626 | 10048k| 725M|  63 |   - |  70 |5503 | 154 |  70 |  23 |  21 |1339k|5594 | 0.000000e+00 |      --      |    Inf 
694.17/694.40	c   659s|  3070k|898601 | 10080k| 727M|  63 |   8 |  70 |6040 |  93 |  70 |  23 |  21 |1343k|5602 | 0.000000e+00 |      --      |    Inf 
696.47/696.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
696.47/696.74	c   662s|  3080k|901412 | 10114k| 730M|  63 |   - |  70 |8105 |  21 |  70 |  23 |  21 |1348k|5605 | 0.000000e+00 |      --      |    Inf 
699.06/699.32	c   664s|  3090k|904415 | 10147k| 732M|  63 |   - |  70 |6758 |  49 |  70 |  23 |  21 |1352k|5605 | 0.000000e+00 |      --      |    Inf 
701.47/701.79	c   666s|  3100k|907387 | 10180k| 734M|  63 |   8 |  70 |6636 |  40 |  70 |  23 |  21 |1357k|5605 | 0.000000e+00 |      --      |    Inf 
704.17/704.46	c   669s|  3110k|910063 | 10213k| 737M|  63 |   - |  70 |5805 |  46 |  70 |  23 |  21 |1361k|5605 | 0.000000e+00 |      --      |    Inf 
706.56/706.84	c   671s|  3120k|913013 | 10245k| 739M|  63 |   8 |  70 |5898 | 185 |  70 |  23 |  21 |1365k|5605 | 0.000000e+00 |      --      |    Inf 
709.07/709.32	c   673s|  3130k|915717 | 10277k| 741M|  63 |   8 |  70 |5588 |  31 |  70 |  23 |  21 |1370k|5610 | 0.000000e+00 |      --      |    Inf 
711.56/711.83	c   676s|  3140k|918309 | 10309k| 744M|  63 |   8 |  70 |5972 | 126 |  70 |  23 |  21 |1374k|5610 | 0.000000e+00 |      --      |    Inf 
714.17/714.41	c   678s|  3150k|921036 | 10341k| 746M|  63 |   8 |  70 |4869 |  70 |  70 |  23 |  21 |1379k|5611 | 0.000000e+00 |      --      |    Inf 
716.56/716.80	c   681s|  3160k|923792 | 10374k| 748M|  63 |   8 |  70 |5474 |  25 |  70 |  23 |  21 |1383k|5615 | 0.000000e+00 |      --      |    Inf 
718.96/719.27	c   683s|  3170k|926745 | 10405k| 750M|  63 |   8 |  70 |4862 |  23 |  70 |  23 |  21 |1388k|5619 | 0.000000e+00 |      --      |    Inf 
721.46/721.79	c   685s|  3180k|929394 | 10438k| 753M|  63 |   8 |  70 |4977 | 119 |  70 |  23 |  21 |1392k|5627 | 0.000000e+00 |      --      |    Inf 
723.96/724.20	c   688s|  3190k|932283 | 10470k| 755M|  63 |   - |  70 |5289 | 392 |  70 |  23 |  21 |1396k|5629 | 0.000000e+00 |      --      |    Inf 
726.46/726.70	c   690s|  3200k|934842 | 10503k| 758M|  63 |   - |  70 |5586 |  81 |  70 |  23 |  21 |1401k|5635 | 0.000000e+00 |      --      |    Inf 
728.97/729.23	c   692s|  3210k|937519 | 10536k| 760M|  63 |   8 |  70 |4974 | 332 |  70 |  23 |  21 |1405k|5644 | 0.000000e+00 |      --      |    Inf 
731.46/731.71	c   695s|  3220k|940181 | 10569k| 762M|  63 |   8 |  70 |5329 | 164 |  70 |  23 |  21 |1410k|5645 | 0.000000e+00 |      --      |    Inf 
733.86/734.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
733.86/734.12	c   697s|  3230k|942881 | 10602k| 764M|  63 |   8 |  70 |5668 |  75 |  70 |  23 |  21 |1414k|5650 | 0.000000e+00 |      --      |    Inf 
736.36/736.64	c   699s|  3240k|945531 | 10635k| 767M|  63 |   8 |  70 |5466 |  11 |  70 |  23 |  21 |1419k|5662 | 0.000000e+00 |      --      |    Inf 
738.87/739.20	c   702s|  3250k|948116 | 10668k| 769M|  63 |   8 |  70 |5135 | 122 |  70 |  23 |  21 |1423k|5669 | 0.000000e+00 |      --      |    Inf 
741.36/741.68	c   704s|  3260k|950909 | 10700k| 771M|  63 |   - |  70 |5320 |  21 |  70 |  23 |  21 |1428k|5675 | 0.000000e+00 |      --      |    Inf 
743.86/744.10	c   707s|  3270k|953713 | 10733k| 774M|  63 |   8 |  70 |5224 |  22 |  70 |  23 |  21 |1432k|5680 | 0.000000e+00 |      --      |    Inf 
746.26/746.54	c   709s|  3280k|956387 | 10765k| 776M|  63 |   8 |  70 |5102 | 419 |  70 |  23 |  21 |1437k|5683 | 0.000000e+00 |      --      |    Inf 
748.77/749.01	c   711s|  3290k|958963 | 10797k| 778M|  63 |   8 |  70 |5473 | 138 |  70 |  23 |  21 |1441k|5687 | 0.000000e+00 |      --      |    Inf 
751.26/751.53	c   714s|  3300k|961596 | 10829k| 780M|  63 |   8 |  70 |4948 |  35 |  70 |  23 |  21 |1446k|5693 | 0.000000e+00 |      --      |    Inf 
753.66/753.96	c   716s|  3310k|964535 | 10862k| 783M|  63 |   - |  70 |4827 |  67 |  70 |  23 |  21 |1450k|5708 | 0.000000e+00 |      --      |    Inf 
756.25/756.51	c   718s|  3320k|967114 | 10894k| 785M|  63 |   - |  70 |4508 |  29 |  70 |  23 |  21 |1454k|5712 | 0.000000e+00 |      --      |    Inf 
758.67/758.92	c   721s|  3330k|969792 | 10926k| 787M|  63 |   8 |  70 |5145 |  81 |  70 |  23 |  21 |1459k|5716 | 0.000000e+00 |      --      |    Inf 
760.97/761.21	c   723s|  3340k|972671 | 10958k| 790M|  63 |   - |  70 |6140 |  33 |  70 |  23 |  21 |1464k|5721 | 0.000000e+00 |      --      |    Inf 
763.45/763.71	c   725s|  3350k|975090 | 10991k| 792M|  63 |   8 |  70 |5355 |  99 |  70 |  23 |  21 |1469k|5729 | 0.000000e+00 |      --      |    Inf 
765.85/766.16	c   728s|  3360k|977922 | 11023k| 794M|  63 |   8 |  70 |5546 | 122 |  70 |  23 |  21 |1473k|5739 | 0.000000e+00 |      --      |    Inf 
768.45/768.71	c   730s|  3370k|980529 | 11055k| 796M|  63 |   - |  70 |4917 |  25 |  70 |  23 |  21 |1477k|5743 | 0.000000e+00 |      --      |    Inf 
770.66/770.99	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
770.66/770.99	c   732s|  3380k|983660 | 11088k| 799M|  63 |   - |  70 |6185 |  30 |  70 |  23 |  21 |1482k|5745 | 0.000000e+00 |      --      |    Inf 
772.96/773.29	c   734s|  3390k|986691 | 11119k| 801M|  63 |   8 |  70 |6708 | 303 |  70 |  23 |  21 |1486k|5750 | 0.000000e+00 |      --      |    Inf 
775.35/775.62	c   737s|  3400k|989920 | 11150k| 804M|  63 |   - |  70 |6890 |  24 |  70 |  23 |  21 |1490k|5753 | 0.000000e+00 |      --      |    Inf 
777.85/778.18	c   739s|  3410k|992645 | 11183k| 806M|  63 |   8 |  70 |5849 |  91 |  70 |  23 |  21 |1494k|5758 | 0.000000e+00 |      --      |    Inf 
780.36/780.64	c   741s|  3420k|995525 | 11215k| 808M|  63 |   - |  70 |5384 |  22 |  70 |  23 |  21 |1499k|5764 | 0.000000e+00 |      --      |    Inf 
782.55/782.81	c   743s|  3430k|998995 | 11246k| 811M|  63 |   8 |  70 |5707 | 184 |  70 |  23 |  21 |1503k|5774 | 0.000000e+00 |      --      |    Inf 
784.76/785.09	c   746s|  3440k|  1002k| 11275k| 813M|  63 |   8 |  70 |5703 |  78 |  70 |  23 |  21 |1507k|5774 | 0.000000e+00 |      --      |    Inf 
787.06/787.38	c   748s|  3450k|  1004k| 11305k| 815M|  63 |   8 |  70 |6244 | 116 |  70 |  23 |  21 |1512k|5774 | 0.000000e+00 |      --      |    Inf 
789.46/789.75	c   750s|  3460k|  1007k| 11335k| 818M|  63 |   8 |  70 |5210 | 105 |  70 |  23 |  21 |1516k|5774 | 0.000000e+00 |      --      |    Inf 
791.86/792.11	c   752s|  3470k|  1010k| 11365k| 820M|  63 |   8 |  70 |5598 |  35 |  70 |  23 |  21 |1521k|5774 | 0.000000e+00 |      --      |    Inf 
794.36/794.60	c   755s|  3480k|  1013k| 11397k| 822M|  63 |   8 |  70 |4788 |  77 |  70 |  23 |  21 |1525k|5774 | 0.000000e+00 |      --      |    Inf 
796.75/797.00	c   757s|  3490k|  1015k| 11430k| 824M|  63 |   8 |  70 |5223 | 292 |  70 |  23 |  21 |1530k|5777 | 0.000000e+00 |      --      |    Inf 
799.15/799.49	c   759s|  3500k|  1018k| 11463k| 827M|  63 |   - |  70 |4715 |  32 |  70 |  23 |  21 |1534k|5783 | 0.000000e+00 |      --      |    Inf 
801.56/801.90	c   762s|  3510k|  1021k| 11495k| 829M|  63 |   8 |  70 |4881 |  62 |  70 |  23 |  21 |1539k|5785 | 0.000000e+00 |      --      |    Inf 
804.05/804.33	c   764s|  3520k|  1023k| 11529k| 831M|  63 |   - |  70 |5224 | 127 |  70 |  23 |  21 |1543k|5786 | 0.000000e+00 |      --      |    Inf 
806.55/806.80	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
806.55/806.80	c   766s|  3530k|  1026k| 11562k| 834M|  63 |   - |  70 |5853 | 133 |  70 |  23 |  21 |1548k|5795 | 0.000000e+00 |      --      |    Inf 
809.14/809.45	c   769s|  3540k|  1029k| 11595k| 836M|  63 |   - |  70 |5243 |  18 |  70 |  23 |  21 |1552k|5801 | 0.000000e+00 |      --      |    Inf 
811.64/811.94	c   771s|  3550k|  1031k| 11628k| 838M|  63 |   8 |  70 |5445 |  27 |  70 |  23 |  21 |1557k|5803 | 0.000000e+00 |      --      |    Inf 
814.25/814.55	c   774s|  3560k|  1034k| 11660k| 841M|  63 |   8 |  70 |5248 | 178 |  70 |  23 |  21 |1562k|5803 | 0.000000e+00 |      --      |    Inf 
816.85/817.10	c   776s|  3570k|  1037k| 11693k| 843M|  63 |   - |  70 |5242 |  94 |  70 |  23 |  21 |1566k|5808 | 0.000000e+00 |      --      |    Inf 
819.05/819.31	c   778s|  3580k|  1040k| 11725k| 846M|  63 |   8 |  70 |6790 |  38 |  70 |  23 |  21 |1570k|5813 | 0.000000e+00 |      --      |    Inf 
821.54/821.84	c   781s|  3590k|  1043k| 11756k| 848M|  63 |   8 |  70 |6071 |  74 |  70 |  23 |  21 |1574k|5814 | 0.000000e+00 |      --      |    Inf 
824.24/824.50	c   783s|  3600k|  1046k| 11788k| 850M|  63 |   8 |  70 |5142 | 151 |  70 |  23 |  21 |1579k|5814 | 0.000000e+00 |      --      |    Inf 
826.64/826.94	c   785s|  3610k|  1048k| 11821k| 852M|  63 |   8 |  70 |5907 |  54 |  70 |  23 |  21 |1583k|5814 | 0.000000e+00 |      --      |    Inf 
829.05/829.37	c   788s|  3620k|  1051k| 11853k| 855M|  63 |   8 |  70 |5945 |  89 |  70 |  23 |  21 |1588k|5816 | 0.000000e+00 |      --      |    Inf 
831.25/831.55	c   790s|  3630k|  1054k| 11885k| 857M|  63 |   - |  70 |7300 |  97 |  70 |  23 |  21 |1592k|5820 | 0.000000e+00 |      --      |    Inf 
833.84/834.19	c   792s|  3640k|  1057k| 11917k| 859M|  63 |   8 |  70 |5732 | 164 |  70 |  23 |  21 |1596k|5826 | 0.000000e+00 |      --      |    Inf 
836.25/836.59	c   795s|  3650k|  1060k| 11950k| 862M|  63 |   8 |  70 |6172 | 100 |  70 |  23 |  21 |1601k|5832 | 0.000000e+00 |      --      |    Inf 
838.84/839.18	c   797s|  3660k|  1062k| 11982k| 864M|  63 |   8 |  70 |5363 |  60 |  70 |  23 |  21 |1605k|5832 | 0.000000e+00 |      --      |    Inf 
841.44/841.75	c   799s|  3670k|  1065k| 12014k| 866M|  63 |   8 |  70 |4901 |  39 |  70 |  23 |  21 |1610k|5838 | 0.000000e+00 |      --      |    Inf 
843.85/844.18	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
843.85/844.18	c   802s|  3680k|  1068k| 12046k| 869M|  63 |   8 |  70 |5380 |  99 |  70 |  23 |  21 |1614k|5839 | 0.000000e+00 |      --      |    Inf 
846.24/846.58	c   804s|  3690k|  1070k| 12079k| 871M|  63 |   - |  70 |6004 | 387 |  70 |  23 |  21 |1619k|5839 | 0.000000e+00 |      --      |    Inf 
848.64/848.99	c   806s|  3700k|  1073k| 12111k| 873M|  63 |   8 |  70 |6636 | 150 |  70 |  23 |  21 |1623k|5841 | 0.000000e+00 |      --      |    Inf 
851.24/851.51	c   809s|  3710k|  1076k| 12143k| 876M|  63 |   8 |  70 |5885 |  42 |  70 |  23 |  21 |1627k|5846 | 0.000000e+00 |      --      |    Inf 
853.84/854.12	c   811s|  3720k|  1079k| 12175k| 878M|  63 |   8 |  70 |5315 |1817 |  70 |  23 |  21 |1632k|5853 | 0.000000e+00 |      --      |    Inf 
856.34/856.63	c   814s|  3730k|  1081k| 12207k| 880M|  63 |   - |  70 |5383 |  38 |  70 |  23 |  21 |1636k|5858 | 0.000000e+00 |      --      |    Inf 
858.85/859.17	c   816s|  3740k|  1084k| 12240k| 882M|  63 |   - |  70 |5236 |  60 |   0 |   0 |  21 |1641k|5860 | 0.000000e+00 |      --      |    Inf 
861.34/861.69	c   818s|  3750k|  1087k| 12273k| 885M|  63 |   - |  70 |5371 |  15 |  70 |  23 |  21 |1645k|5863 | 0.000000e+00 |      --      |    Inf 
864.04/864.32	c   821s|  3760k|  1089k| 12306k| 887M|  63 |   - |  70 |4877 |  27 |  70 |  23 |  21 |1650k|5866 | 0.000000e+00 |      --      |    Inf 
866.45/866.74	c   823s|  3770k|  1092k| 12339k| 889M|  63 |   - |  70 |5226 |  15 |   0 |   0 |  21 |1654k|5867 | 0.000000e+00 |      --      |    Inf 
869.04/869.30	c   826s|  3780k|  1094k| 12372k| 892M|  63 |   8 |  70 |5059 |  24 |  70 |  23 |  21 |1659k|5868 | 0.000000e+00 |      --      |    Inf 
871.44/871.73	c   828s|  3790k|  1097k| 12404k| 894M|  63 |   8 |  70 |5545 |  20 |  70 |  23 |  21 |1663k|5874 | 0.000000e+00 |      --      |    Inf 
873.84/874.16	c   830s|  3800k|  1100k| 12436k| 896M|  63 |   8 |  70 |5414 |  29 |  70 |  23 |  21 |1667k|5879 | 0.000000e+00 |      --      |    Inf 
876.14/876.44	c   832s|  3810k|  1103k| 12467k| 899M|  63 |   - |  70 |6269 |  30 |  70 |  23 |  21 |1672k|5889 | 0.000000e+00 |      --      |    Inf 
878.54/878.86	c   835s|  3820k|  1106k| 12498k| 901M|  63 |   8 |  70 |5667 | 479 |  70 |  23 |  21 |1676k|5895 | 0.000000e+00 |      --      |    Inf 
881.14/881.45	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
881.14/881.45	c   837s|  3830k|  1109k| 12529k| 903M|  63 |   8 |  70 |5503 |  34 |  70 |  23 |  21 |1681k|5898 | 0.000000e+00 |      --      |    Inf 
883.64/883.96	c   839s|  3840k|  1111k| 12562k| 906M|  63 |   8 |  70 |6154 |  17 |  70 |  23 |  21 |1685k|5902 | 0.000000e+00 |      --      |    Inf 
886.14/886.41	c   842s|  3850k|  1114k| 12593k| 908M|  63 |   8 |  70 |6287 |  21 |  70 |  23 |  21 |1690k|5902 | 0.000000e+00 |      --      |    Inf 
888.45/888.79	c   844s|  3860k|  1117k| 12624k| 910M|  63 |   8 |  70 |5452 |  22 |  70 |  23 |  21 |1694k|5902 | 0.000000e+00 |      --      |    Inf 
890.94/891.26	c   846s|  3870k|  1119k| 12656k| 912M|  63 |   8 |  70 |5344 |  40 |  70 |  23 |  21 |1699k|5902 | 0.000000e+00 |      --      |    Inf 
893.44/893.79	c   849s|  3880k|  1122k| 12688k| 914M|  63 |   8 |  70 |4746 |  72 |  70 |  23 |  21 |1703k|5902 | 0.000000e+00 |      --      |    Inf 
896.04/896.31	c   851s|  3890k|  1125k| 12721k| 917M|  63 |   8 |  70 |5295 | 134 |  70 |  23 |  21 |1708k|5902 | 0.000000e+00 |      --      |    Inf 
898.53/898.84	c   854s|  3900k|  1127k| 12753k| 919M|  63 |   - |  70 |5330 |  80 |  70 |  23 |  21 |1712k|5902 | 0.000000e+00 |      --      |    Inf 
901.03/901.37	c   856s|  3910k|  1130k| 12785k| 921M|  63 |   - |  70 |4638 | 174 |  70 |  23 |  21 |1717k|5905 | 0.000000e+00 |      --      |    Inf 
903.53/903.89	c   858s|  3920k|  1133k| 12818k| 924M|  63 |   8 |  70 |5138 | 139 |  70 |  23 |  21 |1721k|5907 | 0.000000e+00 |      --      |    Inf 
906.14/906.41	c   861s|  3930k|  1135k| 12849k| 926M|  63 |   - |  70 |5058 |  37 |  70 |  23 |  21 |1726k|5907 | 0.000000e+00 |      --      |    Inf 
908.64/908.96	c   863s|  3940k|  1138k| 12882k| 928M|  63 |   - |  70 |5128 |  22 |  70 |  23 |  21 |1730k|5907 | 0.000000e+00 |      --      |    Inf 
911.23/911.57	c   866s|  3950k|  1140k| 12915k| 931M|  63 |   8 |  70 |4960 | 100 |  70 |  23 |  21 |1735k|5912 | 0.000000e+00 |      --      |    Inf 
913.74/914.07	c   868s|  3960k|  1143k| 12948k| 933M|  63 |   8 |  70 |4736 | 470 |  70 |  23 |  21 |1739k|5918 | 0.000000e+00 |      --      |    Inf 
916.13/916.42	c   870s|  3970k|  1146k| 12980k| 935M|  63 |   8 |  70 |5638 |  32 |  70 |  23 |  21 |1744k|5918 | 0.000000e+00 |      --      |    Inf 
918.73/919.00	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
918.73/919.00	c   873s|  3980k|  1148k| 13013k| 938M|  63 |   - |  70 |5436 | 218 |  70 |  23 |  21 |1748k|5922 | 0.000000e+00 |      --      |    Inf 
921.03/921.39	c   875s|  3990k|  1151k| 13046k| 940M|  63 |   8 |  70 |5535 |  80 |  70 |  23 |  21 |1753k|5923 | 0.000000e+00 |      --      |    Inf 
923.53/923.86	c   877s|  4000k|  1154k| 13078k| 942M|  63 |   8 |  70 |5813 |  34 |  70 |  23 |  21 |1757k|5930 | 0.000000e+00 |      --      |    Inf 
926.13/926.47	c   880s|  4010k|  1156k| 13110k| 945M|  63 |   - |  70 |4924 | 180 |  70 |  23 |  21 |1762k|5940 | 0.000000e+00 |      --      |    Inf 
928.63/928.90	c   882s|  4020k|  1159k| 13142k| 947M|  63 |   - |  70 |5707 |  27 |  70 |  23 |  21 |1766k|5943 | 0.000000e+00 |      --      |    Inf 
930.83/931.19	c   884s|  4030k|  1162k| 13176k| 950M|  63 |   8 |  70 |7226 |  71 |  70 |  23 |  21 |1771k|5948 | 0.000000e+00 |      --      |    Inf 
933.33/933.63	c   887s|  4040k|  1165k| 13208k| 952M|  63 |   8 |  70 |7491 | 154 |  70 |  23 |  21 |1775k|5948 | 0.000000e+00 |      --      |    Inf 
936.03/936.35	c   889s|  4050k|  1167k| 13240k| 954M|  63 |   8 |  70 |5736 |  91 |  70 |  23 |  21 |1780k|5948 | 0.000000e+00 |      --      |    Inf 
938.63/938.98	c   892s|  4060k|  1170k| 13272k| 956M|  63 |   8 |  70 |5000 |  25 |  70 |  23 |  21 |1784k|5948 | 0.000000e+00 |      --      |    Inf 
941.24/941.54	c   894s|  4070k|  1172k| 13304k| 959M|  63 |   8 |  70 |5410 |  42 |  70 |  23 |  21 |1789k|5948 | 0.000000e+00 |      --      |    Inf 
943.82/944.14	c   897s|  4080k|  1175k| 13336k| 961M|  63 |   8 |  70 |4711 |  29 |  70 |  23 |  21 |1793k|5948 | 0.000000e+00 |      --      |    Inf 
946.43/946.71	c   899s|  4090k|  1178k| 13369k| 963M|  63 |   8 |  70 |5246 | 434 |  70 |  23 |  21 |1798k|5948 | 0.000000e+00 |      --      |    Inf 
948.94/949.28	c   902s|  4100k|  1180k| 13400k| 965M|  63 |   - |  70 |5190 |  34 |  70 |  23 |  21 |1802k|5948 | 0.000000e+00 |      --      |    Inf 
951.43/951.80	c   904s|  4110k|  1183k| 13432k| 968M|  63 |   8 |  70 |5247 |  25 |  70 |  23 |  21 |1807k|5948 | 0.000000e+00 |      --      |    Inf 
953.73/954.02	c   906s|  4120k|  1186k| 13464k| 970M|  63 |   8 |  70 |6926 | 120 |  70 |  23 |  21 |1811k|5948 | 0.000000e+00 |      --      |    Inf 
956.43/956.75	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
956.43/956.75	c   909s|  4130k|  1189k| 13496k| 972M|  63 |   - |  70 |5330 |  16 |  70 |  23 |  21 |1816k|5948 | 0.000000e+00 |      --      |    Inf 
959.13/959.41	c   911s|  4140k|  1191k| 13529k| 975M|  63 |   - |  70 |5297 |  28 |  70 |  23 |  21 |1820k|5948 | 0.000000e+00 |      --      |    Inf 
961.72/962.03	c   914s|  4150k|  1194k| 13560k| 977M|  63 |   8 |  70 |4215 |  24 |  70 |  23 |  21 |1825k|5948 | 0.000000e+00 |      --      |    Inf 
964.33/964.64	c   916s|  4160k|  1196k| 13592k| 979M|  63 |   - |  70 |4664 | 152 |  70 |  23 |  21 |1829k|5948 | 0.000000e+00 |      --      |    Inf 
966.73/967.02	c   918s|  4170k|  1199k| 13625k| 981M|  63 |   8 |  70 |5226 |  45 |  70 |  23 |  21 |1834k|5948 | 0.000000e+00 |      --      |    Inf 
969.22/969.50	c   921s|  4180k|  1202k| 13656k| 984M|  63 |   8 |  70 |4889 | 148 |  70 |  23 |  21 |1838k|5948 | 0.000000e+00 |      --      |    Inf 
971.73/972.05	c   923s|  4190k|  1205k| 13689k| 986M|  63 |   8 |  70 |4811 |  67 |  70 |  23 |  21 |1843k|5948 | 0.000000e+00 |      --      |    Inf 
974.33/974.61	c   926s|  4200k|  1207k| 13722k| 988M|  63 |   8 |  70 |5382 |  25 |  70 |  23 |  21 |1847k|5958 | 0.000000e+00 |      --      |    Inf 
976.62/976.99	c   928s|  4210k|  1210k| 13753k| 991M|  63 |   8 |  70 |6304 |  19 |  70 |  23 |  21 |1852k|5962 | 0.000000e+00 |      --      |    Inf 
979.23/979.59	c   930s|  4220k|  1212k| 13785k| 993M|  63 |   8 |  70 |5551 | 219 |  70 |  23 |  21 |1856k|5965 | 0.000000e+00 |      --      |    Inf 
981.82/982.17	c   933s|  4230k|  1215k| 13817k| 995M|  63 |   - |  70 |5641 |  47 |  70 |  23 |  21 |1861k|5970 | 0.000000e+00 |      --      |    Inf 
984.23/984.55	c   935s|  4240k|  1218k| 13849k| 998M|  63 |   8 |  70 |6382 |  50 |  70 |  23 |  21 |1865k|5979 | 0.000000e+00 |      --      |    Inf 
986.62/986.92	c   937s|  4250k|  1221k| 13880k|1000M|  63 |   8 |  70 |6680 | 158 |  70 |  23 |  21 |1869k|5985 | 0.000000e+00 |      --      |    Inf 
989.32/989.61	c   940s|  4260k|  1223k| 13912k|1002M|  63 |   8 |  70 |5211 |  57 |  70 |  23 |  21 |1874k|5993 | 0.000000e+00 |      --      |    Inf 
991.83/992.16	c   942s|  4270k|  1226k| 13944k|1004M|  63 |   8 |  70 |5062 |  82 |  70 |  23 |  21 |1878k|5998 | 0.000000e+00 |      --      |    Inf 
994.33/994.69	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
994.33/994.69	c   945s|  4280k|  1229k| 13977k|1007M|  63 |   8 |  70 |4890 |  34 |  70 |  23 |  21 |1883k|6003 | 0.000000e+00 |      --      |    Inf 
996.82/997.16	c   947s|  4290k|  1231k| 14011k|1009M|  63 |   8 |  70 |5879 |  26 |  70 |  23 |  21 |1887k|6010 | 0.000000e+00 |      --      |    Inf 
999.42/999.70	c   950s|  4300k|  1234k| 14044k|1012M|  63 |   8 |  70 |5980 |  15 |  70 |  23 |  21 |1892k|6011 | 0.000000e+00 |      --      |    Inf 
1002.02/1002.31	c   952s|  4310k|  1236k| 14076k|1014M|  63 |   8 |  70 |5227 |  28 |  70 |  23 |  21 |1896k|6012 | 0.000000e+00 |      --      |    Inf 
1004.52/1004.80	c   954s|  4320k|  1239k| 14109k|1016M|  63 |   8 |  70 |5539 |  23 |  70 |  23 |  21 |1901k|6017 | 0.000000e+00 |      --      |    Inf 
1007.02/1007.31	c   957s|  4330k|  1242k| 14142k|1018M|  63 |   8 |  70 |5809 | 246 |  70 |  23 |  21 |1905k|6023 | 0.000000e+00 |      --      |    Inf 
1009.52/1009.89	c   959s|  4340k|  1245k| 14175k|1021M|  63 |   - |  70 |5627 | 371 |  70 |  23 |  21 |1910k|6026 | 0.000000e+00 |      --      |    Inf 
1012.12/1012.45	c   962s|  4350k|  1247k| 14207k|1023M|  63 |   - |  70 |5716 |  59 |  70 |  23 |  21 |1914k|6026 | 0.000000e+00 |      --      |    Inf 
1014.72/1015.06	c   964s|  4360k|  1250k| 14240k|1025M|  63 |   8 |  70 |6041 |  91 |  70 |  23 |  21 |1919k|6026 | 0.000000e+00 |      --      |    Inf 
1017.23/1017.56	c   967s|  4370k|  1253k| 14272k|1028M|  63 |   - |  70 |6542 |  28 |  70 |  23 |  21 |1923k|6026 | 0.000000e+00 |      --      |    Inf 
1019.72/1020.07	c   969s|  4380k|  1256k| 14303k|1030M|  63 |   8 |  70 |6519 |  49 |  70 |  23 |  21 |1928k|6027 | 0.000000e+00 |      --      |    Inf 
1022.42/1022.76	c   972s|  4390k|  1258k| 14337k|1032M|  63 |   8 |  70 |5607 |  63 |  70 |  23 |  21 |1932k|6034 | 0.000000e+00 |      --      |    Inf 
1025.22/1025.50	c   974s|  4400k|  1261k| 14370k|1034M|  63 |   8 |  70 |5427 |  38 |  70 |  23 |  21 |1937k|6035 | 0.000000e+00 |      --      |    Inf 
1027.81/1028.15	c   977s|  4410k|  1263k| 14402k|1037M|  63 |   8 |  70 |5046 | 195 |  70 |  23 |  21 |1942k|6042 | 0.000000e+00 |      --      |    Inf 
1030.42/1030.73	c   979s|  4420k|  1266k| 14434k|1039M|  63 |   8 |  70 |5259 |  34 |  70 |  23 |  21 |1946k|6043 | 0.000000e+00 |      --      |    Inf 
1033.02/1033.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1033.02/1033.39	c   982s|  4430k|  1268k| 14468k|1041M|  63 |   8 |  70 |5365 |  83 |  70 |  23 |  21 |1951k|6045 | 0.000000e+00 |      --      |    Inf 
1035.62/1035.96	c   984s|  4440k|  1271k| 14500k|1044M|  63 |   8 |  70 |5507 |  86 |  70 |  23 |  21 |1955k|6045 | 0.000000e+00 |      --      |    Inf 
1037.92/1038.23	c   986s|  4450k|  1274k| 14532k|1046M|  63 |   8 |  70 |6447 |  17 |  70 |  23 |  21 |1960k|6045 | 0.000000e+00 |      --      |    Inf 
1040.22/1040.57	c   989s|  4460k|  1276k| 14564k|1049M|  63 |   - |  70 |7407 |  59 |  70 |  23 |  21 |1964k|6045 | 0.000000e+00 |      --      |    Inf 
1042.72/1043.05	c   991s|  4470k|  1279k| 14596k|1051M|  63 |   8 |  70 |7112 |  79 |  70 |  23 |  21 |1969k|6045 | 0.000000e+00 |      --      |    Inf 
1045.41/1045.71	c   994s|  4480k|  1281k| 14629k|1053M|  63 |   8 |  70 |6677 | 148 |  70 |  23 |  21 |1974k|6045 | 0.000000e+00 |      --      |    Inf 
1048.02/1048.39	c   996s|  4490k|  1284k| 14661k|1055M|  63 |   8 |  70 |6084 |  20 |  70 |  23 |  21 |1978k|6045 | 0.000000e+00 |      --      |    Inf 
1050.41/1050.76	c   998s|  4500k|  1287k| 14693k|1058M|  63 |   - |  70 |7013 | 282 |  70 |  23 |  21 |1982k|6045 | 0.000000e+00 |      --      |    Inf 
1053.02/1053.33	c  1001s|  4510k|  1290k| 14726k|1060M|  63 |   8 |  70 |6961 | 127 |  70 |  23 |  21 |1987k|6045 | 0.000000e+00 |      --      |    Inf 
1055.22/1055.50	c  1003s|  4520k|  1294k| 14759k|1063M|  63 |   8 |  70 |6950 | 962 |  70 |  23 |  21 |1990k|6060 | 0.000000e+00 |      --      |    Inf 
1057.51/1057.87	c  1005s|  4530k|  1297k| 14792k|1065M|  63 |   8 |  70 |6828 |  21 |  70 |  23 |  21 |1995k|6060 | 0.000000e+00 |      --      |    Inf 
1059.91/1060.27	c  1008s|  4540k|  1300k| 14825k|1068M|  63 |   8 |  70 |6814 |  40 |  70 |  23 |  21 |1999k|6060 | 0.000000e+00 |      --      |    Inf 
1062.32/1062.62	c  1010s|  4550k|  1304k| 14859k|1070M|  63 |   8 |  70 |7364 | 225 |  70 |  23 |  21 |2003k|6060 | 0.000000e+00 |      --      |    Inf 
1064.71/1065.01	c  1012s|  4560k|  1307k| 14891k|1073M|  63 |   - |  70 |8001 |  16 |  70 |  23 |  21 |2007k|6060 | 0.000000e+00 |      --      |    Inf 
1067.11/1067.45	c  1014s|  4570k|  1310k| 14923k|1075M|  63 |   - |  70 |7968 |  17 |  70 |  23 |  21 |2011k|6060 | 0.000000e+00 |      --      |    Inf 
1069.61/1069.93	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1069.61/1069.93	c  1017s|  4580k|  1313k| 14956k|1077M|  63 |   8 |  70 |8348 |  81 |  70 |  23 |  21 |2016k|6060 | 0.000000e+00 |      --      |    Inf 
1072.21/1072.55	c  1019s|  4590k|  1316k| 14989k|1080M|  63 |   - |  70 |8222 |  33 |  70 |  23 |  21 |2020k|6060 | 0.000000e+00 |      --      |    Inf 
1074.91/1075.27	c  1022s|  4600k|  1319k| 15022k|1082M|  63 |   8 |  70 |7814 |  10 |  70 |  23 |  21 |2025k|6060 | 0.000000e+00 |      --      |    Inf 
1077.51/1077.83	c  1024s|  4610k|  1322k| 15054k|1085M|  63 |   - |  70 |8728 | 496 |  70 |  23 |  21 |2029k|6060 | 0.000000e+00 |      --      |    Inf 
1080.31/1080.60	c  1027s|  4620k|  1324k| 15087k|1087M|  63 |   8 |  70 |7837 | 210 |  70 |  23 |  21 |2033k|6060 | 0.000000e+00 |      --      |    Inf 
1082.90/1083.25	c  1029s|  4630k|  1327k| 15119k|1089M|  63 |   8 |  70 |8588 |  28 |  70 |  23 |  21 |2038k|6060 | 0.000000e+00 |      --      |    Inf 
1085.51/1085.80	c  1032s|  4640k|  1330k| 15151k|1092M|  63 |   8 |  70 |9279 |  38 |  70 |  23 |  21 |2042k|6060 | 0.000000e+00 |      --      |    Inf 
1088.21/1088.51	c  1034s|  4650k|  1333k| 15182k|1094M|  63 |   - |  70 |8752 |  25 |   0 |   0 |  21 |2047k|6060 | 0.000000e+00 |      --      |    Inf 
1091.01/1091.30	c  1037s|  4660k|  1335k| 15215k|1096M|  63 |   - |  70 |8835 |  13 |   0 |   0 |  21 |2051k|6060 | 0.000000e+00 |      --      |    Inf 
1093.60/1093.99	c  1040s|  4670k|  1338k| 15248k|1099M|  63 |   8 |  70 |9779 |  32 |  70 |  23 |  21 |2056k|6060 | 0.000000e+00 |      --      |    Inf 
1096.31/1096.62	c  1042s|  4680k|  1341k| 15281k|1101M|  63 |   8 |  70 |9784 | 257 |  70 |  23 |  21 |2060k|6060 | 0.000000e+00 |      --      |    Inf 
1099.10/1099.46	c  1045s|  4690k|  1343k| 15312k|1103M|  63 |   - |  70 |9051 |  84 |  70 |  23 |  21 |2065k|6060 | 0.000000e+00 |      --      |    Inf 
1101.51/1101.80	c  1047s|  4700k|  1347k| 15345k|1106M|  63 |   - |  70 |9671 |  77 |  70 |  23 |  21 |2069k|6060 | 0.000000e+00 |      --      |    Inf 
1103.90/1104.30	c  1050s|  4710k|  1350k| 15377k|1108M|  63 |   8 |  70 |  10k|  41 |  70 |  23 |  21 |2073k|6060 | 0.000000e+00 |      --      |    Inf 
1106.70/1107.00	c  1052s|  4720k|  1353k| 15408k|1110M|  63 |   - |  70 |9964 |  26 |  70 |  23 |  21 |2077k|6060 | 0.000000e+00 |      --      |    Inf 
1109.51/1109.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1109.51/1109.81	c  1055s|  4730k|  1355k| 15441k|1112M|  63 |   8 |  70 |9563 | 823 |  70 |  23 |  21 |2082k|6060 | 0.000000e+00 |      --      |    Inf 
1112.21/1112.56	c  1058s|  4740k|  1358k| 15473k|1115M|  63 |   8 |  70 |9886 |  63 |  70 |  23 |  21 |2086k|6060 | 0.000000e+00 |      --      |    Inf 
1115.01/1115.33	c  1060s|  4750k|  1361k| 15506k|1117M|  63 |   8 |  70 |9849 | 193 |  70 |  23 |  21 |2091k|6060 | 0.000000e+00 |      --      |    Inf 
1117.70/1118.01	c  1063s|  4760k|  1364k| 15538k|1119M|  63 |   - |  70 |  10k|  23 |  70 |  23 |  21 |2095k|6060 | 0.000000e+00 |      --      |    Inf 
1120.61/1120.97	c  1066s|  4770k|  1366k| 15570k|1122M|  63 |   8 |  70 |9506 |  31 |  70 |  23 |  21 |2100k|6060 | 0.000000e+00 |      --      |    Inf 
1123.20/1123.53	c  1068s|  4780k|  1369k| 15602k|1124M|  63 |   - |  70 |  10k|  47 |  70 |  23 |  21 |2104k|6060 | 0.000000e+00 |      --      |    Inf 
1126.01/1126.40	c  1071s|  4790k|  1372k| 15633k|1126M|  63 |   - |  70 |  10k|  36 |  70 |  23 |  21 |2109k|6060 | 0.000000e+00 |      --      |    Inf 
1129.00/1129.40	c  1074s|  4800k|  1374k| 15666k|1128M|  63 |   8 |  70 |9316 | 123 |  70 |  23 |  21 |2113k|6060 | 0.000000e+00 |      --      |    Inf 
1131.70/1132.07	c  1076s|  4810k|  1377k| 15698k|1131M|  63 |   8 |  70 |9966 |  21 |  70 |  23 |  21 |2118k|6060 | 0.000000e+00 |      --      |    Inf 
1134.50/1134.85	c  1079s|  4820k|  1380k| 15730k|1133M|  63 |   - |  70 |  10k|  26 |  70 |  23 |  21 |2122k|6060 | 0.000000e+00 |      --      |    Inf 
1137.20/1137.51	c  1081s|  4830k|  1382k| 15761k|1135M|  63 |   8 |  70 |9818 |1520 |  70 |  23 |  21 |2127k|6060 | 0.000000e+00 |      --      |    Inf 
1139.90/1140.27	c  1084s|  4840k|  1385k| 15792k|1138M|  63 |   8 |  70 |  10k| 388 |  70 |  23 |  21 |2131k|6060 | 0.000000e+00 |      --      |    Inf 
1142.70/1143.04	c  1087s|  4850k|  1388k| 15823k|1140M|  63 |   8 |  70 |9984 |  67 |  70 |  23 |  21 |2136k|6060 | 0.000000e+00 |      --      |    Inf 
1145.60/1145.91	c  1090s|  4860k|  1390k| 15855k|1142M|  63 |   - |  70 |9321 |  54 |  70 |  23 |  21 |2140k|6060 | 0.000000e+00 |      --      |    Inf 
1148.30/1148.65	c  1092s|  4870k|  1393k| 15888k|1144M|  63 |   8 |  70 |9609 |  33 |  70 |  23 |  21 |2145k|6060 | 0.000000e+00 |      --      |    Inf 
1151.41/1151.70	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1151.41/1151.70	c  1095s|  4880k|  1395k| 15920k|1146M|  63 |   8 |  70 |6772 |  46 |  70 |  23 |  21 |2149k|6060 | 0.000000e+00 |      --      |    Inf 
1154.10/1154.46	c  1098s|  4890k|  1398k| 15953k|1148M|  63 |   8 |  70 |6533 |  36 |  70 |  23 |  21 |2154k|6060 | 0.000000e+00 |      --      |    Inf 
1156.70/1157.07	c  1100s|  4900k|  1401k| 15985k|1151M|  63 |   8 |  70 |7143 | 378 |  70 |  23 |  21 |2158k|6060 | 0.000000e+00 |      --      |    Inf 
1159.50/1159.84	c  1103s|  4910k|  1403k| 16017k|1153M|  63 |   8 |  70 |6228 |  73 |  70 |  23 |  21 |2163k|6060 | 0.000000e+00 |      --      |    Inf 
1162.19/1162.50	c  1105s|  4920k|  1406k| 16049k|1155M|  63 |   - |  70 |5643 | 127 |  70 |  23 |  21 |2167k|6060 | 0.000000e+00 |      --      |    Inf 
1164.90/1165.25	c  1108s|  4930k|  1409k| 16081k|1157M|  63 |   8 |  70 |5323 | 194 |  70 |  23 |  21 |2172k|6060 | 0.000000e+00 |      --      |    Inf 
1167.59/1167.91	c  1111s|  4940k|  1411k| 16114k|1159M|  63 |   - |  70 |5296 |  27 |  70 |  23 |  21 |2176k|6060 | 0.000000e+00 |      --      |    Inf 
1170.29/1170.61	c  1113s|  4950k|  1414k| 16146k|1161M|  63 |   8 |  70 |4986 |  51 |  70 |  23 |  21 |2181k|6060 | 0.000000e+00 |      --      |    Inf 
1172.79/1173.11	c  1116s|  4960k|  1416k| 16178k|1164M|  63 |   8 |  70 |5565 |  45 |  70 |  23 |  21 |2185k|6060 | 0.000000e+00 |      --      |    Inf 
1175.09/1175.48	c  1118s|  4970k|  1419k| 16209k|1166M|  63 |   8 |  70 |6782 |  89 |  70 |  23 |  21 |2190k|6060 | 0.000000e+00 |      --      |    Inf 
1177.80/1178.15	c  1120s|  4980k|  1422k| 16242k|1168M|  63 |   8 |  70 |5614 |  30 |  70 |  23 |  21 |2194k|6060 | 0.000000e+00 |      --      |    Inf 
1180.50/1180.89	c  1123s|  4990k|  1424k| 16274k|1171M|  63 |   8 |  70 |5407 |  27 |  70 |  23 |  21 |2199k|6060 | 0.000000e+00 |      --      |    Inf 
1183.20/1183.60	c  1126s|  5000k|  1427k| 16306k|1173M|  63 |   8 |  70 |5367 |  23 |  70 |  23 |  21 |2203k|6060 | 0.000000e+00 |      --      |    Inf 
1185.80/1186.13	c  1128s|  5010k|  1430k| 16338k|1175M|  63 |   8 |  70 |5953 | 195 |  70 |  23 |  21 |2208k|6060 | 0.000000e+00 |      --      |    Inf 
1188.50/1188.81	c  1131s|  5020k|  1432k| 16370k|1178M|  63 |   8 |  70 |5304 | 190 |  70 |  23 |  21 |2212k|6060 | 0.000000e+00 |      --      |    Inf 
1191.00/1191.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1191.00/1191.33	c  1133s|  5030k|  1435k| 16402k|1180M|  63 |   - |  70 |5943 |  14 |  70 |  23 |  21 |2217k|6060 | 0.000000e+00 |      --      |    Inf 
1193.49/1193.89	c  1135s|  5040k|  1438k| 16435k|1182M|  63 |   - |  70 |6144 |  24 |  70 |  23 |  21 |2221k|6060 | 0.000000e+00 |      --      |    Inf 
1196.19/1196.57	c  1138s|  5050k|  1440k| 16467k|1185M|  63 |   8 |  70 |6186 | 322 |  70 |  23 |  21 |2226k|6060 | 0.000000e+00 |      --      |    Inf 
1198.69/1199.05	c  1140s|  5060k|  1443k| 16500k|1187M|  63 |   8 |  70 |6594 | 560 |  70 |  23 |  21 |2230k|6060 | 0.000000e+00 |      --      |    Inf 
1201.49/1201.82	c  1143s|  5070k|  1446k| 16531k|1189M|  63 |   - |  70 |5304 |  20 |  70 |  23 |  21 |2234k|6060 | 0.000000e+00 |      --      |    Inf 
1203.89/1204.24	c  1145s|  5080k|  1448k| 16563k|1192M|  63 |   8 |  70 |6657 |  50 |  70 |  23 |  21 |2239k|6060 | 0.000000e+00 |      --      |    Inf 
1206.19/1206.53	c  1148s|  5090k|  1452k| 16595k|1194M|  63 |   - |  70 |7602 |  26 |  70 |  23 |  21 |2243k|6060 | 0.000000e+00 |      --      |    Inf 
1208.99/1209.31	c  1150s|  5100k|  1454k| 16627k|1196M|  63 |   - |  70 |6035 |  32 |   0 |   0 |  21 |2248k|6060 | 0.000000e+00 |      --      |    Inf 
1211.49/1211.89	c  1153s|  5110k|  1457k| 16660k|1199M|  63 |   8 |  70 |6188 |  22 |  70 |  23 |  21 |2252k|6060 | 0.000000e+00 |      --      |    Inf 
1214.19/1214.54	c  1155s|  5120k|  1460k| 16692k|1201M|  63 |   8 |  70 |5672 |  48 |  70 |  23 |  21 |2256k|6060 | 0.000000e+00 |      --      |    Inf 
1216.79/1217.16	c  1158s|  5130k|  1462k| 16725k|1203M|  63 |   8 |  70 |5848 |  55 |  70 |  23 |  21 |2261k|6060 | 0.000000e+00 |      --      |    Inf 
1219.49/1219.87	c  1160s|  5140k|  1465k| 16756k|1205M|  63 |   8 |  70 |5308 | 138 |  70 |  23 |  21 |2265k|6060 | 0.000000e+00 |      --      |    Inf 
1222.29/1222.63	c  1163s|  5150k|  1467k| 16789k|1207M|  63 |   8 |  70 |4921 |  49 |  70 |  23 |  21 |2270k|6060 | 0.000000e+00 |      --      |    Inf 
1224.48/1224.85	c  1165s|  5160k|  1470k| 16818k|1210M|  63 |   8 |  70 |6599 | 100 |  70 |  23 |  21 |2275k|6060 | 0.000000e+00 |      --      |    Inf 
1227.09/1227.49	c  1168s|  5170k|  1473k| 16849k|1212M|  63 |   8 |  70 |5277 | 500 |  70 |  23 |  21 |2279k|6060 | 0.000000e+00 |      --      |    Inf 
1229.58/1229.94	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1229.58/1229.94	c  1170s|  5180k|  1476k| 16880k|1215M|  63 |   - |  70 |5879 |  18 |  70 |  23 |  21 |2283k|6060 | 0.000000e+00 |      --      |    Inf 
1232.18/1232.57	c  1172s|  5190k|  1478k| 16912k|1217M|  63 |   8 |  70 |5652 |  20 |  70 |  23 |  21 |2288k|6060 | 0.000000e+00 |      --      |    Inf 
1234.78/1235.16	c  1175s|  5200k|  1481k| 16945k|1219M|  63 |   8 |  70 |5529 | 439 |  70 |  23 |  21 |2292k|6060 | 0.000000e+00 |      --      |    Inf 
1237.49/1237.82	c  1177s|  5210k|  1484k| 16977k|1221M|  63 |   8 |  70 |5008 |  30 |  70 |  23 |  21 |2297k|6060 | 0.000000e+00 |      --      |    Inf 
1240.19/1240.52	c  1180s|  5220k|  1486k| 17008k|1223M|  63 |   8 |  70 |4654 |  43 |  70 |  23 |  21 |2301k|6060 | 0.000000e+00 |      --      |    Inf 
1242.38/1242.77	c  1182s|  5230k|  1490k| 17040k|1226M|  63 |   - |  70 |6196 |  53 |  70 |  23 |  21 |2306k|6060 | 0.000000e+00 |      --      |    Inf 
1244.98/1245.38	c  1185s|  5240k|  1492k| 17072k|1228M|  63 |   8 |  70 |6054 |  53 |  70 |  23 |  21 |2310k|6060 | 0.000000e+00 |      --      |    Inf 
1247.68/1248.03	c  1187s|  5250k|  1495k| 17105k|1231M|  63 |   8 |  70 |6001 | 145 |  70 |  23 |  21 |2315k|6060 | 0.000000e+00 |      --      |    Inf 
1250.39/1250.78	c  1190s|  5260k|  1497k| 17137k|1233M|  63 |   8 |  70 |6015 |  57 |  70 |  23 |  21 |2319k|6060 | 0.000000e+00 |      --      |    Inf 
1252.68/1253.07	c  1192s|  5270k|  1500k| 17169k|1236M|  63 |   8 |  70 |7708 |  33 |  70 |  23 |  21 |2324k|6060 | 0.000000e+00 |      --      |    Inf 
1255.08/1255.44	c  1194s|  5280k|  1503k| 17201k|1238M|  63 |   8 |  70 |8215 | 217 |  70 |  23 |  21 |2328k|6060 | 0.000000e+00 |      --      |    Inf 
1257.28/1257.69	c  1196s|  5290k|  1506k| 17231k|1241M|  63 |   - |  70 |9157 | 147 |  70 |  23 |  21 |2332k|6060 | 0.000000e+00 |      --      |    Inf 
1259.88/1260.24	c  1199s|  5300k|  1509k| 17262k|1243M|  63 |   - |  70 |7691 |  17 |  70 |  23 |  21 |2336k|6060 | 0.000000e+00 |      --      |    Inf 
1262.28/1262.70	c  1201s|  5310k|  1512k| 17293k|1245M|  63 |   - |  70 |7987 |  26 |  70 |  23 |  21 |2340k|6060 | 0.000000e+00 |      --      |    Inf 
1264.78/1265.14	c  1204s|  5320k|  1515k| 17326k|1247M|  63 |   8 |  70 |8823 |  40 |  70 |  23 |  21 |2345k|6060 | 0.000000e+00 |      --      |    Inf 
1267.58/1267.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1267.58/1267.97	c  1206s|  5330k|  1518k| 17358k|1249M|  63 |   - |  70 |6321 |  19 |  70 |  23 |  21 |2349k|6060 | 0.000000e+00 |      --      |    Inf 
1270.28/1270.69	c  1209s|  5340k|  1520k| 17391k|1251M|  63 |   8 |  70 |5894 | 193 |  70 |  23 |  21 |2354k|6060 | 0.000000e+00 |      --      |    Inf 
1273.08/1273.44	c  1211s|  5350k|  1523k| 17423k|1254M|  63 |   8 |  70 |5162 | 110 |  70 |  23 |  21 |2358k|6060 | 0.000000e+00 |      --      |    Inf 
1275.69/1276.05	c  1214s|  5360k|  1525k| 17455k|1256M|  63 |   8 |  70 |5434 | 393 |  70 |  23 |  21 |2362k|6060 | 0.000000e+00 |      --      |    Inf 
1278.28/1278.69	c  1217s|  5370k|  1528k| 17488k|1258M|  63 |   8 |  70 |5799 |  91 |  70 |  23 |  21 |2367k|6060 | 0.000000e+00 |      --      |    Inf 
1280.88/1281.21	c  1219s|  5380k|  1531k| 17519k|1261M|  63 |   - |  70 |5934 | 178 |  70 |  23 |  21 |2371k|6060 | 0.000000e+00 |      --      |    Inf 
1283.08/1283.46	c  1221s|  5390k|  1534k| 17551k|1263M|  63 |   8 |  70 |6464 | 218 |  70 |  23 |  21 |2375k|6060 | 0.000000e+00 |      --      |    Inf 
1285.49/1285.89	c  1223s|  5400k|  1537k| 17580k|1266M|  63 |   - |  70 |6849 |  17 |  70 |  23 |  21 |2379k|6060 | 0.000000e+00 |      --      |    Inf 
1288.18/1288.52	c  1226s|  5410k|  1540k| 17611k|1268M|  63 |   8 |  70 |6789 | 121 |  70 |  23 |  21 |2384k|6060 | 0.000000e+00 |      --      |    Inf 
1290.78/1291.16	c  1228s|  5420k|  1543k| 17643k|1270M|  63 |   - |  70 |6382 |  40 |  70 |  23 |  21 |2388k|6060 | 0.000000e+00 |      --      |    Inf 
1293.47/1293.84	c  1231s|  5430k|  1545k| 17675k|1272M|  63 |   8 |  70 |6194 |  40 |  70 |  23 |  21 |2393k|6060 | 0.000000e+00 |      --      |    Inf 
1296.17/1296.53	c  1234s|  5440k|  1548k| 17708k|1275M|  63 |   8 |  70 |5773 | 112 |  70 |  23 |  21 |2397k|6060 | 0.000000e+00 |      --      |    Inf 
1298.58/1298.90	c  1236s|  5450k|  1551k| 17739k|1277M|  63 |   - |  70 |6590 | 101 |  70 |  23 |  21 |2402k|6060 | 0.000000e+00 |      --      |    Inf 
1301.08/1301.49	c  1238s|  5460k|  1553k| 17772k|1279M|  63 |   - |  70 |6195 |  67 |  70 |  23 |  21 |2406k|6060 | 0.000000e+00 |      --      |    Inf 
1303.67/1304.08	c  1241s|  5470k|  1556k| 17804k|1281M|  63 |   - |  70 |5776 |  71 |  70 |  23 |  21 |2411k|6060 | 0.000000e+00 |      --      |    Inf 
1306.38/1306.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1306.38/1306.74	c  1243s|  5480k|  1559k| 17836k|1284M|  63 |   - |  70 |5713 |  47 |  70 |  23 |  21 |2415k|6060 | 0.000000e+00 |      --      |    Inf 
1309.08/1309.44	c  1246s|  5490k|  1561k| 17868k|1286M|  63 |   8 |  70 |5252 |  94 |  70 |  23 |  21 |2420k|6060 | 0.000000e+00 |      --      |    Inf 
1311.77/1312.14	c  1249s|  5500k|  1564k| 17901k|1288M|  63 |   8 |  70 |5480 |  85 |  70 |  23 |  21 |2424k|6060 | 0.000000e+00 |      --      |    Inf 
1314.37/1314.79	c  1251s|  5510k|  1566k| 17933k|1290M|  63 |   - |  70 |5395 |  26 |  70 |  23 |  21 |2429k|6060 | 0.000000e+00 |      --      |    Inf 
1317.07/1317.49	c  1254s|  5520k|  1569k| 17965k|1293M|  63 |   8 |  70 |4934 | 235 |  70 |  23 |  21 |2433k|6060 | 0.000000e+00 |      --      |    Inf 
1319.67/1320.06	c  1256s|  5530k|  1572k| 17997k|1295M|  63 |   8 |  70 |6013 |  85 |  70 |  23 |  21 |2438k|6060 | 0.000000e+00 |      --      |    Inf 
1322.37/1322.79	c  1259s|  5540k|  1574k| 18031k|1297M|  63 |   8 |  70 |5618 | 343 |  70 |  23 |  21 |2443k|6060 | 0.000000e+00 |      --      |    Inf 
1325.08/1325.44	c  1261s|  5550k|  1577k| 18062k|1299M|  63 |   8 |  70 |5769 | 250 |  70 |  23 |  21 |2447k|6060 | 0.000000e+00 |      --      |    Inf 
1327.67/1328.05	c  1264s|  5560k|  1580k| 18094k|1302M|  63 |   8 |  70 |6209 |  52 |  70 |  23 |  21 |2452k|6060 | 0.000000e+00 |      --      |    Inf 
1330.37/1330.79	c  1266s|  5570k|  1582k| 18126k|1304M|  63 |   - |  70 |6218 | 233 |  70 |  23 |  21 |2456k|6060 | 0.000000e+00 |      --      |    Inf 
1333.17/1333.57	c  1269s|  5580k|  1584k| 18158k|1306M|  63 |   8 |  70 |5835 |  63 |  70 |  23 |  21 |2461k|6060 | 0.000000e+00 |      --      |    Inf 
1335.57/1335.91	c  1271s|  5590k|  1587k| 18193k|1309M|  63 |   - |  70 |7201 |  63 |  70 |  23 |  21 |2465k|6060 | 0.000000e+00 |      --      |    Inf 
1338.17/1338.56	c  1274s|  5600k|  1590k| 18227k|1311M|  63 |   8 |  70 |7768 |  14 |  70 |  23 |  21 |2470k|6060 | 0.000000e+00 |      --      |    Inf 
1341.07/1341.40	c  1276s|  5610k|  1592k| 18261k|1313M|  63 |   - |  70 |6341 |  15 |  70 |  23 |  21 |2474k|6060 | 0.000000e+00 |      --      |    Inf 
1343.96/1344.30	c  1279s|  5620k|  1595k| 18294k|1315M|  63 |   - |  70 |5034 |  62 |  70 |  23 |  21 |2479k|6060 | 0.000000e+00 |      --      |    Inf 
1346.67/1347.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1346.67/1347.01	c  1282s|  5630k|  1597k| 18325k|1318M|  63 |   - |  70 |5569 | 132 |  70 |  23 |  21 |2483k|6060 | 0.000000e+00 |      --      |    Inf 
1349.16/1349.50	c  1284s|  5640k|  1600k| 18357k|1320M|  63 |   8 |  70 |5553 |  86 |  70 |  23 |  21 |2488k|6060 | 0.000000e+00 |      --      |    Inf 
1351.86/1352.26	c  1287s|  5650k|  1603k| 18388k|1322M|  63 |   - |  70 |5143 | 171 |  70 |  23 |  21 |2492k|6060 | 0.000000e+00 |      --      |    Inf 
1354.47/1354.83	c  1289s|  5660k|  1605k| 18421k|1324M|  63 |   8 |  70 |5360 |  42 |  70 |  23 |  21 |2497k|6060 | 0.000000e+00 |      --      |    Inf 
1356.97/1357.31	c  1292s|  5670k|  1608k| 18454k|1327M|  63 |   - |  70 |6371 |  77 |  70 |  23 |  21 |2501k|6060 | 0.000000e+00 |      --      |    Inf 
1359.66/1360.05	c  1294s|  5680k|  1611k| 18488k|1329M|  63 |   8 |  70 |6020 | 132 |  70 |  23 |  21 |2506k|6060 | 0.000000e+00 |      --      |    Inf 
1362.57/1362.91	c  1297s|  5690k|  1613k| 18521k|1331M|  63 |   8 |  70 |5475 |  15 |  70 |  23 |  21 |2511k|6060 | 0.000000e+00 |      --      |    Inf 
1365.26/1365.61	c  1300s|  5700k|  1616k| 18553k|1334M|  63 |   8 |  70 |5510 | 575 |  70 |  23 |  21 |2515k|6060 | 0.000000e+00 |      --      |    Inf 
1367.97/1368.35	c  1302s|  5710k|  1618k| 18586k|1336M|  63 |   - |  70 |5235 |  16 |  70 |  23 |  21 |2520k|6060 | 0.000000e+00 |      --      |    Inf 
1370.47/1370.85	c  1305s|  5720k|  1621k| 18618k|1338M|  63 |   8 |  70 |5740 |  42 |  70 |  23 |  21 |2524k|6060 | 0.000000e+00 |      --      |    Inf 
1373.06/1373.46	c  1307s|  5730k|  1624k| 18650k|1341M|  63 |   8 |  70 |5910 | 147 |  70 |  23 |  21 |2529k|6060 | 0.000000e+00 |      --      |    Inf 
1375.77/1376.18	c  1310s|  5740k|  1626k| 18683k|1343M|  63 |   8 |  70 |5500 |  24 |  70 |  23 |  21 |2533k|6060 | 0.000000e+00 |      --      |    Inf 
1378.46/1378.83	c  1312s|  5750k|  1629k| 18715k|1345M|  63 |   - |  70 |5183 |  28 |  70 |  23 |  21 |2538k|6060 | 0.000000e+00 |      --      |    Inf 
1381.06/1381.44	c  1315s|  5760k|  1631k| 18747k|1347M|  63 |   8 |  70 |5088 | 126 |  70 |  23 |  21 |2542k|6060 | 0.000000e+00 |      --      |    Inf 
1383.56/1383.93	c  1317s|  5770k|  1634k| 18783k|1350M|  63 |   8 |  70 |6175 |  52 |  70 |  23 |  21 |2546k|6060 | 0.000000e+00 |      --      |    Inf 
1386.16/1386.54	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1386.16/1386.54	c  1320s|  5780k|  1637k| 18816k|1352M|  63 |   8 |  70 |6649 | 275 |  70 |  23 |  21 |2551k|6060 | 0.000000e+00 |      --      |    Inf 
1388.66/1389.08	c  1322s|  5790k|  1640k| 18847k|1355M|  63 |   8 |  70 |7431 |  14 |  70 |  23 |  21 |2555k|6060 | 0.000000e+00 |      --      |    Inf 
1391.26/1391.67	c  1325s|  5800k|  1643k| 18878k|1357M|  63 |   8 |  70 |8209 | 217 |  70 |  23 |  21 |2560k|6060 | 0.000000e+00 |      --      |    Inf 
1394.16/1394.55	c  1327s|  5810k|  1645k| 18911k|1359M|  63 |   8 |  70 |6022 |  70 |  70 |  23 |  21 |2564k|6060 | 0.000000e+00 |      --      |    Inf 
1396.96/1397.36	c  1330s|  5820k|  1648k| 18943k|1361M|  63 |   8 |  70 |4873 |  77 |  70 |  23 |  21 |2569k|6060 | 0.000000e+00 |      --      |    Inf 
1399.56/1399.98	c  1333s|  5830k|  1650k| 18975k|1363M|  63 |   8 |  70 |5412 | 264 |  70 |  23 |  21 |2573k|6060 | 0.000000e+00 |      --      |    Inf 
1402.35/1402.78	c  1335s|  5840k|  1653k| 19008k|1366M|  63 |   8 |  70 |5077 |  91 |  70 |  23 |  21 |2578k|6060 | 0.000000e+00 |      --      |    Inf 
1404.96/1405.35	c  1338s|  5850k|  1655k| 19040k|1368M|  63 |   - |  70 |5416 | 137 |  70 |  23 |  21 |2583k|6060 | 0.000000e+00 |      --      |    Inf 
1407.57/1407.90	c  1340s|  5860k|  1658k| 19072k|1370M|  63 |   - |  70 |5870 |  43 |  70 |  23 |  21 |2587k|6060 | 0.000000e+00 |      --      |    Inf 
1410.16/1410.59	c  1343s|  5870k|  1660k| 19104k|1373M|  63 |   8 |  70 |5515 |  55 |  70 |  23 |  21 |2592k|6060 | 0.000000e+00 |      --      |    Inf 
1412.85/1413.22	c  1345s|  5880k|  1663k| 19137k|1375M|  63 |   8 |  70 |5147 |  13 |  70 |  23 |  21 |2596k|6060 | 0.000000e+00 |      --      |    Inf 
1415.55/1415.91	c  1348s|  5890k|  1666k| 19169k|1377M|  63 |   - |  70 |5316 |  76 |  70 |  23 |  21 |2601k|6060 | 0.000000e+00 |      --      |    Inf 
1418.16/1418.56	c  1350s|  5900k|  1668k| 19202k|1379M|  63 |   - |  70 |5456 |  51 |  70 |  23 |  21 |2605k|6060 | 0.000000e+00 |      --      |    Inf 
1420.87/1421.24	c  1353s|  5910k|  1671k| 19235k|1382M|  63 |   8 |  70 |5777 | 163 |  70 |  23 |  21 |2610k|6060 | 0.000000e+00 |      --      |    Inf 
1423.46/1423.82	c  1355s|  5920k|  1673k| 19267k|1384M|  63 |   8 |  70 |5956 |  16 |  70 |  23 |  21 |2614k|6060 | 0.000000e+00 |      --      |    Inf 
1426.15/1426.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1426.15/1426.58	c  1358s|  5930k|  1676k| 19299k|1386M|  63 |   - |  70 |5065 |  17 |  70 |  23 |  21 |2619k|6060 | 0.000000e+00 |      --      |    Inf 
1428.86/1429.26	c  1361s|  5940k|  1679k| 19331k|1388M|  63 |   8 |  70 |5122 |  18 |  70 |  23 |  21 |2623k|6060 | 0.000000e+00 |      --      |    Inf 
1431.35/1431.79	c  1363s|  5950k|  1681k| 19364k|1391M|  63 |   8 |  70 |6064 |  59 |  70 |  23 |  21 |2628k|6060 | 0.000000e+00 |      --      |    Inf 
1434.26/1434.62	c  1366s|  5960k|  1684k| 19396k|1393M|  63 |   8 |  70 |5382 |  87 |  70 |  23 |  21 |2633k|6060 | 0.000000e+00 |      --      |    Inf 
1436.75/1437.12	c  1368s|  5970k|  1687k| 19429k|1396M|  63 |   - |  70 |6505 |  24 |  70 |  23 |  21 |2637k|6060 | 0.000000e+00 |      --      |    Inf 
1439.56/1439.96	c  1371s|  5980k|  1689k| 19462k|1398M|  63 |   8 |  70 |5264 | 749 |  70 |  23 |  21 |2642k|6060 | 0.000000e+00 |      --      |    Inf 
1442.25/1442.64	c  1373s|  5990k|  1692k| 19494k|1400M|  63 |   8 |  70 |5128 |  31 |  70 |  23 |  21 |2646k|6060 | 0.000000e+00 |      --      |    Inf 
1444.96/1445.32	c  1376s|  6000k|  1695k| 19525k|1402M|  63 |   - |  70 |5397 |  42 |  70 |  23 |  21 |2650k|6060 | 0.000000e+00 |      --      |    Inf 
1447.55/1447.92	c  1378s|  6010k|  1697k| 19558k|1405M|  63 |   8 |  70 |5459 | 378 |  70 |  23 |  21 |2655k|6060 | 0.000000e+00 |      --      |    Inf 
1450.25/1450.61	c  1381s|  6020k|  1700k| 19590k|1407M|  63 |   - |  70 |5683 | 306 |  70 |  23 |  21 |2659k|6060 | 0.000000e+00 |      --      |    Inf 
1452.95/1453.31	c  1384s|  6030k|  1702k| 19622k|1409M|  63 |   8 |  70 |5091 |  53 |  70 |  23 |  21 |2664k|6060 | 0.000000e+00 |      --      |    Inf 
1455.55/1455.90	c  1386s|  6040k|  1705k| 19655k|1411M|  63 |   8 |  70 |5571 |  33 |  70 |  23 |  21 |2668k|6060 | 0.000000e+00 |      --      |    Inf 
1458.16/1458.55	c  1389s|  6050k|  1707k| 19687k|1414M|  63 |   8 |  70 |6091 | 159 |  70 |  23 |  21 |2673k|6060 | 0.000000e+00 |      --      |    Inf 
1460.85/1461.25	c  1391s|  6060k|  1710k| 19719k|1416M|  63 |   - |  70 |5640 |  93 |  70 |  23 |  21 |2677k|6060 | 0.000000e+00 |      --      |    Inf 
1463.66/1464.09	c  1394s|  6070k|  1712k| 19751k|1418M|  63 |   8 |  70 |4920 | 268 |  70 |  23 |  21 |2682k|6060 | 0.000000e+00 |      --      |    Inf 
1466.35/1466.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1466.35/1466.74	c  1396s|  6080k|  1715k| 19783k|1420M|  63 |   8 |  70 |5792 | 397 |  70 |  23 |  21 |2687k|6060 | 0.000000e+00 |      --      |    Inf 
1469.05/1469.47	c  1399s|  6090k|  1717k| 19816k|1423M|  63 |   - |  70 |5621 |  53 |  70 |  23 |  21 |2691k|6060 | 0.000000e+00 |      --      |    Inf 
1471.64/1472.07	c  1402s|  6100k|  1720k| 19847k|1425M|  63 |   8 |  70 |5801 | 140 |  70 |  23 |  21 |2696k|6060 | 0.000000e+00 |      --      |    Inf 
1474.05/1474.44	c  1404s|  6110k|  1723k| 19880k|1428M|  63 |   - |  70 |6722 |  63 |  70 |  23 |  21 |2700k|6060 | 0.000000e+00 |      --      |    Inf 
1476.64/1477.01	c  1406s|  6120k|  1726k| 19914k|1430M|  63 |   8 |  70 |7705 | 116 |  70 |  23 |  21 |2705k|6060 | 0.000000e+00 |      --      |    Inf 
1479.45/1479.85	c  1409s|  6130k|  1728k| 19947k|1432M|  63 |   - |  70 |6412 |  90 |  70 |  23 |  21 |2709k|6060 | 0.000000e+00 |      --      |    Inf 
1482.25/1482.69	c  1412s|  6140k|  1731k| 19978k|1434M|  63 |   8 |  70 |5145 |  37 |  70 |  23 |  21 |2714k|6060 | 0.000000e+00 |      --      |    Inf 
1484.95/1485.37	c  1414s|  6150k|  1733k| 20011k|1436M|  63 |   8 |  70 |5329 |  19 |  70 |  23 |  21 |2718k|6060 | 0.000000e+00 |      --      |    Inf 
1487.75/1488.14	c  1417s|  6160k|  1736k| 20044k|1439M|  63 |   8 |  70 |5107 |  33 |  70 |  23 |  21 |2723k|6060 | 0.000000e+00 |      --      |    Inf 
1490.44/1490.83	c  1419s|  6170k|  1739k| 20076k|1441M|  63 |   8 |  70 |4591 |  23 |  70 |  23 |  21 |2727k|6060 | 0.000000e+00 |      --      |    Inf 
1493.25/1493.61	c  1422s|  6180k|  1741k| 20109k|1443M|  63 |   8 |  70 |4709 |  73 |  70 |  23 |  21 |2732k|6060 | 0.000000e+00 |      --      |    Inf 
1495.95/1496.37	c  1425s|  6190k|  1743k| 20141k|1445M|  63 |   - |  70 |5116 |  17 |  70 |  23 |  21 |2737k|6060 | 0.000000e+00 |      --      |    Inf 
1498.54/1498.98	c  1427s|  6200k|  1746k| 20174k|1448M|  63 |   - |  70 |4879 |  25 |  70 |  23 |  21 |2741k|6060 | 0.000000e+00 |      --      |    Inf 
1501.15/1501.57	c  1430s|  6210k|  1748k| 20206k|1450M|  63 |   8 |  70 |5550 |  43 |  70 |  23 |  21 |2746k|6060 | 0.000000e+00 |      --      |    Inf 
1503.84/1504.28	c  1432s|  6220k|  1751k| 20238k|1452M|  63 |   8 |  70 |5689 | 254 |  70 |  23 |  21 |2750k|6060 | 0.000000e+00 |      --      |    Inf 
1506.44/1506.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1506.44/1506.84	c  1435s|  6230k|  1754k| 20271k|1455M|  63 |   - |  70 |6065 |  66 |  70 |  23 |  21 |2755k|6060 | 0.000000e+00 |      --      |    Inf 
1509.05/1509.47	c  1437s|  6240k|  1756k| 20303k|1457M|  63 |   8 |  70 |6957 | 122 |  70 |  23 |  21 |2759k|6060 | 0.000000e+00 |      --      |    Inf 
1511.74/1512.14	c  1440s|  6250k|  1759k| 20335k|1459M|  63 |   - |  70 |6195 | 327 |  70 |  23 |  21 |2764k|6060 | 0.000000e+00 |      --      |    Inf 
1514.44/1514.83	c  1442s|  6260k|  1761k| 20367k|1461M|  63 |   - |  70 |5978 |  50 |  70 |  23 |  21 |2769k|6060 | 0.000000e+00 |      --      |    Inf 
1516.84/1517.23	c  1445s|  6270k|  1764k| 20398k|1464M|  63 |   8 |  70 |7092 | 115 |  70 |  23 |  21 |2773k|6060 | 0.000000e+00 |      --      |    Inf 
1519.54/1519.98	c  1447s|  6280k|  1767k| 20430k|1466M|  63 |   - |  70 |6419 |  52 |  70 |  23 |  21 |2777k|6060 | 0.000000e+00 |      --      |    Inf 
1522.44/1522.83	c  1450s|  6290k|  1769k| 20464k|1468M|  63 |   8 |  70 |5560 | 160 |  70 |  23 |  21 |2782k|6060 | 0.000000e+00 |      --      |    Inf 
1524.94/1525.36	c  1452s|  6300k|  1772k| 20496k|1471M|  63 |   8 |  70 |5903 | 149 |  70 |  23 |  21 |2786k|6060 | 0.000000e+00 |      --      |    Inf 
1527.34/1527.78	c  1455s|  6310k|  1775k| 20527k|1473M|  63 |   8 |  70 |6709 | 202 |  70 |  23 |  21 |2790k|6060 | 0.000000e+00 |      --      |    Inf 
1529.84/1530.27	c  1457s|  6320k|  1778k| 20559k|1475M|  63 |   8 |  70 |6778 |  29 |  70 |  23 |  21 |2795k|6060 | 0.000000e+00 |      --      |    Inf 
1532.54/1532.94	c  1460s|  6330k|  1781k| 20591k|1477M|  63 |   - |  70 |5887 | 202 |  70 |  23 |  21 |2799k|6060 | 0.000000e+00 |      --      |    Inf 
1535.25/1535.69	c  1462s|  6340k|  1784k| 20622k|1480M|  63 |   - |  70 |5708 | 251 |  70 |  23 |  21 |2804k|6060 | 0.000000e+00 |      --      |    Inf 
1537.94/1538.39	c  1465s|  6350k|  1786k| 20655k|1482M|  63 |   8 |  70 |5601 |  55 |  70 |  23 |  21 |2808k|6060 | 0.000000e+00 |      --      |    Inf 
1540.64/1541.09	c  1468s|  6360k|  1789k| 20686k|1484M|  63 |   - |  70 |4750 | 106 |  70 |  23 |  21 |2813k|6060 | 0.000000e+00 |      --      |    Inf 
1543.34/1543.79	c  1470s|  6370k|  1791k| 20719k|1486M|  63 |   8 |  70 |4932 |  79 |  70 |  23 |  21 |2817k|6060 | 0.000000e+00 |      --      |    Inf 
1546.03/1546.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1546.03/1546.41	c  1473s|  6380k|  1794k| 20751k|1489M|  63 |   8 |  70 |5460 |  78 |  70 |  23 |  21 |2822k|6060 | 0.000000e+00 |      --      |    Inf 
1548.64/1549.01	c  1475s|  6390k|  1797k| 20783k|1491M|  63 |   - |  70 |5950 |  78 |  70 |  23 |  21 |2826k|6060 | 0.000000e+00 |      --      |    Inf 
1551.34/1551.79	c  1478s|  6400k|  1799k| 20816k|1493M|  63 |   - |  70 |5426 |  77 |  70 |  23 |  21 |2831k|6060 | 0.000000e+00 |      --      |    Inf 
1554.13/1554.50	c  1480s|  6410k|  1802k| 20848k|1495M|  63 |   8 |  70 |5213 | 245 |  70 |  23 |  21 |2835k|6060 | 0.000000e+00 |      --      |    Inf 
1556.84/1557.23	c  1483s|  6420k|  1804k| 20881k|1498M|  63 |   - |  70 |5822 |  43 |  70 |  23 |  21 |2840k|6060 | 0.000000e+00 |      --      |    Inf 
1559.54/1559.97	c  1486s|  6430k|  1807k| 20914k|1500M|  63 |   8 |  70 |5681 | 193 |  70 |  23 |  21 |2844k|6060 | 0.000000e+00 |      --      |    Inf 
1562.33/1562.72	c  1488s|  6440k|  1809k| 20946k|1502M|  63 |   8 |  70 |5323 | 213 |  70 |  23 |  21 |2849k|6060 | 0.000000e+00 |      --      |    Inf 
1564.85/1565.27	c  1491s|  6450k|  1812k| 20978k|1505M|  63 |   8 |  70 |5889 |  58 |  70 |  23 |  21 |2853k|6060 | 0.000000e+00 |      --      |    Inf 
1567.64/1568.00	c  1493s|  6460k|  1815k| 21010k|1507M|  63 |   - |  70 |5713 | 132 |  70 |  23 |  21 |2858k|6060 | 0.000000e+00 |      --      |    Inf 
1570.24/1570.63	c  1496s|  6470k|  1818k| 21041k|1509M|  63 |   - |  70 |5808 |  14 |  70 |  23 |  21 |2862k|6060 | 0.000000e+00 |      --      |    Inf 
1573.03/1573.40	c  1498s|  6480k|  1820k| 21073k|1511M|  63 |   - |  70 |5665 |  20 |  70 |  23 |  21 |2867k|6060 | 0.000000e+00 |      --      |    Inf 
1575.53/1575.99	c  1501s|  6490k|  1823k| 21105k|1514M|  63 |   8 |  70 |5842 | 485 |  70 |  23 |  21 |2871k|6060 | 0.000000e+00 |      --      |    Inf 
1578.14/1578.55	c  1503s|  6500k|  1826k| 21137k|1516M|  63 |   - |  70 |5929 |  48 |  70 |  23 |  21 |2876k|6060 | 0.000000e+00 |      --      |    Inf 
1580.63/1581.05	c  1506s|  6510k|  1828k| 21170k|1518M|  63 |   8 |  70 |6343 |  62 |  70 |  23 |  21 |2880k|6060 | 0.000000e+00 |      --      |    Inf 
1583.43/1583.89	c  1508s|  6520k|  1831k| 21202k|1521M|  63 |   - |  70 |5734 |  25 |  70 |  23 |  21 |2885k|6060 | 0.000000e+00 |      --      |    Inf 
1586.13/1586.54	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1586.13/1586.54	c  1511s|  6530k|  1833k| 21235k|1523M|  63 |   8 |  70 |5669 |  34 |  70 |  23 |  21 |2889k|6060 | 0.000000e+00 |      --      |    Inf 
1588.63/1589.00	c  1513s|  6540k|  1836k| 21268k|1525M|  63 |   8 |  70 |6290 | 125 |  70 |  23 |  21 |2894k|6060 | 0.000000e+00 |      --      |    Inf 
1591.33/1591.75	c  1516s|  6550k|  1838k| 21301k|1527M|  63 |   - |  70 |5104 | 120 |  70 |  23 |  21 |2899k|6060 | 0.000000e+00 |      --      |    Inf 
1594.03/1594.40	c  1518s|  6560k|  1841k| 21334k|1530M|  63 |   - |  70 |5222 | 188 |  70 |  23 |  21 |2903k|6060 | 0.000000e+00 |      --      |    Inf 
1596.63/1597.01	c  1521s|  6570k|  1844k| 21367k|1532M|  63 |   8 |  70 |5952 |  18 |  70 |  23 |  21 |2908k|6060 | 0.000000e+00 |      --      |    Inf 
1599.32/1599.76	c  1524s|  6580k|  1846k| 21399k|1534M|  63 |   - |  70 |5408 | 301 |  70 |  23 |  21 |2912k|6060 | 0.000000e+00 |      --      |    Inf 
1602.13/1602.51	c  1526s|  6590k|  1849k| 21431k|1536M|  63 |   8 |  70 |5345 |  70 |  70 |  23 |  21 |2917k|6060 | 0.000000e+00 |      --      |    Inf 
1604.73/1605.14	c  1529s|  6600k|  1851k| 21464k|1539M|  63 |   8 |  70 |5737 | 477 |  70 |  23 |  21 |2921k|6060 | 0.000000e+00 |      --      |    Inf 
1607.43/1607.84	c  1531s|  6610k|  1854k| 21496k|1541M|  63 |   8 |  70 |5220 |  92 |  70 |  23 |  21 |2926k|6060 | 0.000000e+00 |      --      |    Inf 
1610.22/1610.60	c  1534s|  6620k|  1856k| 21529k|1543M|  63 |   8 |  70 |5215 | 218 |  70 |  23 |  21 |2931k|6060 | 0.000000e+00 |      --      |    Inf 
1612.92/1613.34	c  1537s|  6630k|  1859k| 21561k|1545M|  63 |   8 |  70 |5205 |  38 |  70 |  23 |  21 |2935k|6060 | 0.000000e+00 |      --      |    Inf 
1615.53/1615.96	c  1539s|  6640k|  1862k| 21593k|1548M|  63 |   8 |  70 |5789 |  71 |  70 |  23 |  21 |2939k|6060 | 0.000000e+00 |      --      |    Inf 
1618.23/1618.65	c  1542s|  6650k|  1864k| 21625k|1550M|  63 |   8 |  70 |5870 |  24 |  70 |  23 |  21 |2944k|6060 | 0.000000e+00 |      --      |    Inf 
1620.83/1621.29	c  1544s|  6660k|  1867k| 21658k|1552M|  63 |   8 |  70 |5911 |  27 |  70 |  23 |  21 |2948k|6060 | 0.000000e+00 |      --      |    Inf 
1623.62/1624.03	c  1547s|  6670k|  1870k| 21688k|1554M|  63 |   8 |  70 |5183 |  66 |  70 |  23 |  21 |2953k|6060 | 0.000000e+00 |      --      |    Inf 
1626.12/1626.51	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1626.12/1626.51	c  1549s|  6680k|  1872k| 21719k|1557M|  63 |   - |  70 |5899 |  96 |  70 |  23 |  21 |2957k|6060 | 0.000000e+00 |      --      |    Inf 
1628.82/1629.29	c  1552s|  6690k|  1875k| 21753k|1559M|  63 |   - |  70 |5492 | 572 |  70 |  23 |  21 |2962k|6060 | 0.000000e+00 |      --      |    Inf 
1631.72/1632.10	c  1555s|  6700k|  1877k| 21785k|1561M|  63 |   8 |  70 |5249 | 161 |  70 |  23 |  21 |2966k|6060 | 0.000000e+00 |      --      |    Inf 
1634.42/1634.88	c  1557s|  6710k|  1880k| 21817k|1564M|  63 |   8 |  70 |5377 |  31 |  70 |  23 |  21 |2971k|6060 | 0.000000e+00 |      --      |    Inf 
1637.02/1637.46	c  1560s|  6720k|  1882k| 21850k|1566M|  63 |   8 |  70 |6091 |  43 |  70 |  23 |  21 |2975k|6060 | 0.000000e+00 |      --      |    Inf 
1639.73/1640.12	c  1562s|  6730k|  1885k| 21882k|1568M|  63 |   - |  70 |6927 |  72 |  70 |  23 |  21 |2980k|6060 | 0.000000e+00 |      --      |    Inf 
1642.52/1642.98	c  1565s|  6740k|  1887k| 21914k|1570M|  63 |   8 |  70 |5603 | 268 |  70 |  23 |  21 |2985k|6060 | 0.000000e+00 |      --      |    Inf 
1645.02/1645.40	c  1567s|  6750k|  1890k| 21946k|1573M|  63 |   - |  70 |6238 |  19 |  70 |  23 |  21 |2989k|6060 | 0.000000e+00 |      --      |    Inf 
1647.61/1648.06	c  1570s|  6760k|  1893k| 21978k|1575M|  63 |   8 |  70 |6106 | 435 |  70 |  23 |  21 |2993k|6060 | 0.000000e+00 |      --      |    Inf 
1650.31/1650.74	c  1572s|  6770k|  1896k| 22010k|1577M|  63 |   8 |  70 |5255 | 107 |  70 |  23 |  21 |2998k|6060 | 0.000000e+00 |      --      |    Inf 
1652.92/1653.31	c  1575s|  6780k|  1899k| 22042k|1580M|  63 |   - |  70 |5727 |  20 |  70 |  23 |  21 |3002k|6060 | 0.000000e+00 |      --      |    Inf 
1655.41/1655.80	c  1577s|  6790k|  1901k| 22073k|1582M|  63 |   8 |  70 |6208 | 246 |  70 |  23 |  21 |3007k|6060 | 0.000000e+00 |      --      |    Inf 
1658.01/1658.41	c  1580s|  6800k|  1904k| 22105k|1584M|  63 |   8 |  70 |5663 | 234 |  70 |  23 |  21 |3011k|6060 | 0.000000e+00 |      --      |    Inf 
1660.71/1661.19	c  1582s|  6810k|  1906k| 22137k|1586M|  63 |   8 |  70 |5228 |  80 |  70 |  23 |  21 |3016k|6060 | 0.000000e+00 |      --      |    Inf 
1663.02/1663.46	c  1584s|  6820k|  1910k| 22169k|1589M|  63 |   8 |  70 |6828 |  40 |  70 |  23 |  21 |3020k|6060 | 0.000000e+00 |      --      |    Inf 
1665.51/1665.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1665.51/1665.97	c  1587s|  6830k|  1913k| 22202k|1592M|  63 |   8 |  70 |7217 | 111 |  70 |  23 |  21 |3024k|6060 | 0.000000e+00 |      --      |    Inf 
1668.32/1668.72	c  1590s|  6840k|  1915k| 22236k|1594M|  63 |   8 |  70 |6988 | 731 |  70 |  23 |  21 |3029k|6060 | 0.000000e+00 |      --      |    Inf 
1671.11/1671.52	c  1592s|  6850k|  1918k| 22267k|1596M|  63 |   8 |  70 |5885 | 713 |  70 |  23 |  21 |3034k|6060 | 0.000000e+00 |      --      |    Inf 
1673.91/1674.37	c  1595s|  6860k|  1920k| 22299k|1598M|  63 |   8 |  70 |5274 |  26 |  70 |  23 |  21 |3038k|6060 | 0.000000e+00 |      --      |    Inf 
1676.71/1677.13	c  1598s|  6870k|  1923k| 22331k|1600M|  63 |   8 |  70 |5222 |  16 |  70 |  23 |  21 |3043k|6060 | 0.000000e+00 |      --      |    Inf 
1679.51/1679.97	c  1600s|  6880k|  1925k| 22363k|1602M|  63 |   8 |  70 |4851 |  72 |  70 |  23 |  21 |3048k|6060 | 0.000000e+00 |      --      |    Inf 
1682.21/1682.67	c  1603s|  6890k|  1927k| 22397k|1605M|  63 |   - |  70 |5142 | 175 |  70 |  23 |  21 |3052k|6060 | 0.000000e+00 |      --      |    Inf 
1685.00/1685.42	c  1606s|  6900k|  1930k| 22429k|1607M|  63 |   8 |  70 |4960 | 129 |  70 |  23 |  21 |3057k|6060 | 0.000000e+00 |      --      |    Inf 
1687.61/1688.06	c  1608s|  6910k|  1932k| 22461k|1609M|  63 |   - |  70 |5484 |  73 |  70 |  23 |  21 |3061k|6060 | 0.000000e+00 |      --      |    Inf 
1690.11/1690.60	c  1610s|  6920k|  1935k| 22494k|1612M|  63 |   8 |  70 |6499 |  94 |  70 |  23 |  21 |3066k|6060 | 0.000000e+00 |      --      |    Inf 
1692.91/1693.33	c  1613s|  6930k|  1938k| 22527k|1614M|  63 |   8 |  70 |5835 |  19 |  70 |  23 |  21 |3070k|6060 | 0.000000e+00 |      --      |    Inf 
1695.41/1695.82	c  1615s|  6940k|  1941k| 22558k|1617M|  63 |   8 |  70 |6833 |  29 |  70 |  23 |  21 |3074k|6060 | 0.000000e+00 |      --      |    Inf 
1698.10/1698.54	c  1618s|  6950k|  1943k| 22590k|1619M|  63 |   8 |  70 |6549 |  75 |  70 |  23 |  21 |3079k|6060 | 0.000000e+00 |      --      |    Inf 
1700.70/1701.11	c  1621s|  6960k|  1947k| 22621k|1621M|  63 |   8 |  70 |6133 |  44 |  70 |  23 |  21 |3083k|6060 | 0.000000e+00 |      --      |    Inf 
1703.01/1703.40	c  1623s|  6970k|  1950k| 22653k|1624M|  63 |   8 |  70 |7307 | 181 |  70 |  23 |  21 |3087k|6060 | 0.000000e+00 |      --      |    Inf 
1705.50/1705.91	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1705.50/1705.91	c  1625s|  6980k|  1953k| 22686k|1626M|  63 |   8 |  70 |7399 |  95 |  70 |  23 |  21 |3091k|6060 | 0.000000e+00 |      --      |    Inf 
1707.91/1708.38	c  1627s|  6990k|  1957k| 22717k|1629M|  63 |   8 |  70 |8218 | 102 |  70 |  23 |  21 |3095k|6060 | 0.000000e+00 |      --      |    Inf 
1710.50/1710.99	c  1630s|  7000k|  1959k| 22749k|1631M|  63 |   8 |  70 |7932 |  53 |  70 |  23 |  21 |3099k|6060 | 0.000000e+00 |      --      |    Inf 
1713.20/1713.63	c  1632s|  7010k|  1962k| 22781k|1633M|  63 |   8 |  70 |8100 |  93 |  70 |  23 |  21 |3104k|6060 | 0.000000e+00 |      --      |    Inf 
1715.90/1716.31	c  1635s|  7020k|  1965k| 22812k|1636M|  63 |   8 |  70 |8336 |  92 |  70 |  23 |  21 |3108k|6060 | 0.000000e+00 |      --      |    Inf 
1718.71/1719.16	c  1638s|  7030k|  1967k| 22844k|1638M|  63 |   8 |  70 |7185 | 264 |  70 |  23 |  21 |3113k|6060 | 0.000000e+00 |      --      |    Inf 
1721.80/1722.20	c  1641s|  7040k|  1970k| 22877k|1640M|  63 |   8 |  70 |5682 |  38 |  70 |  23 |  21 |3117k|6060 | 0.000000e+00 |      --      |    Inf 
1724.20/1724.69	c  1643s|  7050k|  1972k| 22909k|1642M|  63 |   - |  70 |6277 |  22 |  70 |  23 |  21 |3122k|6060 | 0.000000e+00 |      --      |    Inf 
1727.11/1727.57	c  1646s|  7060k|  1975k| 22942k|1644M|  63 |   8 |  70 |5431 |  54 |  70 |  23 |  21 |3127k|6060 | 0.000000e+00 |      --      |    Inf 
1729.91/1730.35	c  1648s|  7070k|  1977k| 22974k|1646M|  63 |   8 |  70 |5096 | 281 |  70 |  23 |  21 |3131k|6060 | 0.000000e+00 |      --      |    Inf 
1732.50/1732.95	c  1651s|  7080k|  1980k| 23007k|1649M|  63 |   - |  70 |5121 |  81 |  70 |  23 |  21 |3136k|6060 | 0.000000e+00 |      --      |    Inf 
1735.31/1735.78	c  1654s|  7090k|  1982k| 23039k|1651M|  63 |   8 |  70 |4958 | 191 |  70 |  23 |  21 |3140k|6060 | 0.000000e+00 |      --      |    Inf 
1738.00/1738.40	c  1656s|  7100k|  1985k| 23071k|1653M|  63 |   8 |  70 |5189 |  88 |  70 |  23 |  21 |3145k|6060 | 0.000000e+00 |      --      |    Inf 
1740.70/1741.13	c  1659s|  7110k|  1988k| 23104k|1655M|  63 |   8 |  70 |5181 |  67 |  70 |  23 |  21 |3149k|6060 | 0.000000e+00 |      --      |    Inf 
1742.90/1743.35	c  1661s|  7120k|  1991k| 23135k|1658M|  63 |   8 |  70 |6520 | 506 |  70 |  23 |  21 |3153k|6060 | 0.000000e+00 |      --      |    Inf 
1745.40/1745.89	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1745.40/1745.89	c  1663s|  7130k|  1994k| 23166k|1660M|  63 |   8 |  70 |6296 |  76 |  70 |  23 |  21 |3158k|6060 | 0.000000e+00 |      --      |    Inf 
1748.10/1748.50	c  1666s|  7140k|  1997k| 23198k|1663M|  63 |   8 |  70 |7123 |  22 |  70 |  23 |  21 |3162k|6060 | 0.000000e+00 |      --      |    Inf 
1750.70/1751.15	c  1668s|  7150k|  1999k| 23230k|1665M|  63 |   - |  70 |6764 |  26 |  70 |  23 |  21 |3167k|6060 | 0.000000e+00 |      --      |    Inf 
1753.40/1753.86	c  1671s|  7160k|  2001k| 23262k|1667M|  63 |   8 |  70 |6949 | 205 |  70 |  23 |  21 |3171k|6060 | 0.000000e+00 |      --      |    Inf 
1756.20/1756.60	c  1674s|  7170k|  2004k| 23293k|1669M|  63 |   8 |  70 |5927 | 412 |  70 |  23 |  21 |3176k|6060 | 0.000000e+00 |      --      |    Inf 
1758.90/1759.36	c  1676s|  7180k|  2007k| 23326k|1672M|  63 |   8 |  70 |6653 |  32 |  70 |  23 |  21 |3180k|6060 | 0.000000e+00 |      --      |    Inf 
1761.59/1762.08	c  1679s|  7190k|  2009k| 23359k|1674M|  63 |   8 |  70 |6726 |  21 |  70 |  23 |  21 |3185k|6060 | 0.000000e+00 |      --      |    Inf 
1764.49/1764.95	c  1682s|  7200k|  2012k| 23392k|1676M|  63 |   8 |  70 |6042 |  54 |  70 |  23 |  21 |3190k|6060 | 0.000000e+00 |      --      |    Inf 
1767.20/1767.62	c  1684s|  7210k|  2014k| 23425k|1678M|  63 |   8 |  70 |6861 | 383 |  70 |  23 |  21 |3194k|6060 | 0.000000e+00 |      --      |    Inf 
1770.00/1770.48	c  1687s|  7220k|  2017k| 23457k|1680M|  63 |   8 |  70 |6275 |  41 |  70 |  23 |  21 |3199k|6060 | 0.000000e+00 |      --      |    Inf 
1772.89/1773.33	c  1690s|  7230k|  2019k| 23490k|1683M|  63 |   - |  70 |5772 |  67 |  70 |  23 |  21 |3204k|6060 | 0.000000e+00 |      --      |    Inf 
1775.69/1776.19	c  1692s|  7240k|  2021k| 23522k|1685M|  63 |   - |  70 |5271 |   9 |  70 |  23 |  21 |3208k|6060 | 0.000000e+00 |      --      |    Inf 
1778.30/1778.79	c  1695s|  7250k|  2024k| 23554k|1687M|  63 |   8 |  70 |6308 | 215 |  70 |  23 |  21 |3213k|6060 | 0.000000e+00 |      --      |    Inf 
1781.29/1781.73	c  1698s|  7260k|  2026k| 23586k|1689M|  63 |   8 |  70 |5038 |  58 |  70 |  23 |  21 |3218k|6060 | 0.000000e+00 |      --      |    Inf 
1784.19/1784.63	c  1701s|  7270k|  2028k| 23618k|1691M|  63 |   8 |  70 |4975 |  90 |  70 |  23 |  21 |3222k|6060 | 0.000000e+00 |      --      |    Inf 
1786.49/1786.99	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1786.49/1786.99	c  1703s|  7280k|  2032k| 23650k|1694M|  63 |   8 |  70 |6551 |  76 |  70 |  23 |  21 |3226k|6060 | 0.000000e+00 |      --      |    Inf 
1788.99/1789.46	c  1705s|  7290k|  2035k| 23682k|1696M|  63 |   8 |  70 |7265 |  18 |  70 |  23 |  21 |3231k|6060 | 0.000000e+00 |      --      |    Inf 
1791.89/1792.34	c  1708s|  7300k|  2037k| 23714k|1698M|  63 |   - |  70 |5933 |  99 |  70 |  23 |  21 |3235k|6060 | 0.000000e+00 |      --      |    Inf 
1794.59/1795.00	c  1710s|  7310k|  2040k| 23746k|1701M|  63 |   8 |  70 |6007 |  34 |  70 |  23 |  21 |3240k|6060 | 0.000000e+00 |      --      |    Inf 
1797.39/1797.83	c  1713s|  7320k|  2042k| 23779k|1703M|  63 |   8 |  70 |5580 |  64 |  70 |  23 |  21 |3244k|6060 | 0.000000e+00 |      --      |    Inf 
1800.10/1800.50	c 
1800.10/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.50	c Solving Time (sec) : 1715.67
1800.10/1800.50	c Solving Nodes      : 7329880
1800.10/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.10/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.10/1800.50	c Gap                : infinite
1800.10/1800.50	c NODE         7329880
1800.10/1800.50	c DUAL BOUND   0
1800.10/1800.50	c PRIMAL BOUND 1e+20
1800.10/1800.50	c GAP          1e+20
1800.10/1800.50	s UNKNOWN
1800.10/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.50	c Solving Time       :    1715.67
1800.10/1800.50	c Original Problem   :
1800.10/1800.50	c   Problem name     : HOME/instance-3734730-1338704059.opb
1800.10/1800.50	c   Variables        : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.50	c   Constraints      : 17 initial, 17 maximal
1800.10/1800.50	c Presolved Problem  :
1800.10/1800.50	c   Problem name     : t_HOME/instance-3734730-1338704059.opb
1800.10/1800.50	c   Variables        : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.50	c   Constraints      : 8 initial, 10767 maximal
1800.10/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.10/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   linear           :       0.00          0          0          0          0          0          9          0          0
1800.10/1800.50	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.50	c   integral         :          0          0          0    4705564          0        890       2516          0          0    9404552
1800.10/1800.50	c   linear           :          8          6   17670693          0          0      98754    4179052          0          0          0
1800.10/1800.50	c   logicor          :          0+         0    7144991          0          0       8296    2490089          0          0          0
1800.10/1800.50	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.50	c   integral         :      28.03       0.00       0.00      28.03       0.00
1800.10/1800.50	c   linear           :     408.36       0.00     408.36       0.00       0.00
1800.10/1800.50	c   logicor          :     225.66       0.00     225.66       0.00       0.00
1800.10/1800.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.50	c   rootredcost      :       2.53          0          0          0
1800.10/1800.50	c   pseudoobj        :       1.32          0          0          0
1800.10/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.50	c   propagation      :       8.16     107050     101335     421567       48.7         54       40.4          -
1800.10/1800.50	c   infeasible LP    :      83.37    2531855    2531698    5154812       32.6      34443       36.9          0
1800.10/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.10/1800.50	c   applied globally :          -          -          -    2668421       25.6          -          -          -
1800.10/1800.50	c   applied locally  :          -          -          -     580773       38.9          -          -          -
1800.10/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.50	c   cut pool         :       0.00          5          -          -          7          -    (maximal pool size: 49)
1800.10/1800.50	c   redcost          :       5.86    4705569          0          0          0          0
1800.10/1800.50	c   impliedbounds    :       0.00          6          0          0          0          0
1800.10/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.50	c   gomory           :       0.01          6          0          0          0          0
1800.10/1800.50	c   strongcg         :       0.00          6          0          0         16          0
1800.10/1800.50	c   cmir             :       0.02          6          0          0         21          0
1800.10/1800.50	c   flowcover        :       0.01          6          0          0         24          0
1800.10/1800.50	c   clique           :       0.00          1          0          0          0          0
1800.10/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.50	c   mcf              :       0.00          1          0          0          0          0
1800.10/1800.50	c Pricers            :       Time      Calls       Vars
1800.10/1800.50	c   problem variables:       0.00          0          0
1800.10/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.50	c   relpscost        :      26.00    4705564        890       2516          0          0    9404552
1800.10/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   inference        :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.50	c   LP solutions     :       0.00          -          0
1800.10/1800.50	c   pseudo solutions :       0.00          -          0
1800.10/1800.50	c   oneopt           :       1.19          0          0
1800.10/1800.50	c   crossover        :       0.68          0          0
1800.10/1800.50	c   guideddiving     :       0.14          0          0
1800.10/1800.50	c   linesearchdiving :       0.14         88          0
1800.10/1800.50	c   coefdiving       :       0.10         89          0
1800.10/1800.50	c   pscostdiving     :       0.19         89          0
1800.10/1800.50	c   fracdiving       :       0.08         89          0
1800.10/1800.50	c   veclendiving     :       0.18         89          0
1800.10/1800.50	c   feaspump         :       0.13         45          0
1800.10/1800.50	c   objpscostdiving  :       0.09         45          0
1800.10/1800.50	c   rootsoldiving    :       0.13         45          0
1800.10/1800.50	c   simplerounding   :       1.26          0          0
1800.10/1800.50	c   rounding         :       1.87      30751          0
1800.10/1800.50	c   shifting         :       3.52       9764          0
1800.10/1800.50	c   intshifting      :       0.03          0          0
1800.10/1800.50	c   fixandinfer      :       0.00          0          0
1800.10/1800.50	c   intdiving        :       0.00          0          0
1800.10/1800.50	c   actconsdiving    :       0.00          0          0
1800.10/1800.50	c   octane           :       0.00          0          0
1800.10/1800.50	c   rens             :       0.02          1          0
1800.10/1800.50	c   rins             :       0.00          0          0
1800.10/1800.50	c   localbranching   :       0.00          0          0
1800.10/1800.50	c   mutation         :       0.00          0          0
1800.10/1800.50	c   dins             :       0.00          0          0
1800.10/1800.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.50	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.50	c   dual LP          :     447.16    7113320   23803166       3.35   53231.88
1800.10/1800.50	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.50	c   diving/probing LP:       0.15       2847       7136       2.51   47573.33
1800.10/1800.50	c   strong branching :       0.82       6060      39929       6.59   48693.90
1800.10/1800.50	c     (at root node) :          -         23       1273      55.35          -
1800.10/1800.50	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.50	c B&B Tree           :
1800.10/1800.50	c   number of runs   :          1
1800.10/1800.50	c   nodes            :    7329880
1800.10/1800.50	c   nodes (total)    :    7329880
1800.10/1800.50	c   nodes left       :    2045338
1800.10/1800.50	c   max depth        :         63
1800.10/1800.50	c   max depth (total):         63
1800.10/1800.50	c   backtracks       :     702848 (9.6%)
1800.10/1800.50	c   delayed cutoffs  :      29335
1800.10/1800.50	c   repropagations   :    7401586 (2508549 domain reductions, 11076 cutoffs)
1800.10/1800.50	c   avg switch length:       5.75
1800.10/1800.50	c   switching time   :     291.63
1800.10/1800.50	c Solution           :
1800.10/1800.50	c   Solutions found  :          0 (0 improvements)
1800.10/1800.50	c   Primal Bound     :          -
1800.10/1800.50	c   Dual Bound       : +0.00000000000000e+00
1800.10/1800.50	c   Gap              :   infinite
1800.10/1800.50	c   Root Dual Bound  : +0.00000000000000e+00

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22590
/proc/meminfo: memFree=27101784/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=8552 CPUtime=0 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 1489 0 0 0 0 0 0 0 20 0 1 0 336530991 8757248 1442 33554432000 4194304 7823515 140737154612560 140734219023560 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 2138 1443 354 887 0 1248 0

[startup+0.0731521 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22590
/proc/meminfo: memFree=27101784/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=20228 CPUtime=0.06 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 4334 0 0 0 6 0 0 0 20 0 1 0 336530991 20713472 3933 33554432000 4194304 7823515 140737154612560 140737154609064 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 5057 3933 551 887 0 4167 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20228

[startup+0.100398 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22590
/proc/meminfo: memFree=27101784/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=15268 CPUtime=0.08 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 4343 0 0 0 8 0 0 0 20 0 1 0 336530991 15634432 3024 33554432000 4194304 7823515 140737154612560 140737154609064 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 3817 3024 558 887 0 2927 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15268

[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22590
/proc/meminfo: memFree=27101784/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=15268 CPUtime=0.29 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 4351 0 0 0 27 2 0 0 20 0 1 0 336530991 15634432 3032 33554432000 4194304 7823515 140737154612560 140737154609064 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 3817 3032 566 887 0 2927 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15268

[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22590
/proc/meminfo: memFree=27101784/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=15268 CPUtime=0.69 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 4354 0 0 0 64 5 0 0 20 0 1 0 336530991 15634432 3035 33554432000 4194304 7823515 140737154612560 140737154609064 5816400 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 3817 3035 566 887 0 2927 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15268

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22591
/proc/meminfo: memFree=27090732/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=16160 CPUtime=1.49 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 4580 0 0 0 139 10 0 0 20 0 1 0 336530991 16547840 3261 33554432000 4194304 7823515 140737154612560 140737154608552 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 4040 3261 566 887 0 3150 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16160

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22591
/proc/meminfo: memFree=27087368/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=18844 CPUtime=3.09 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 5265 0 0 0 290 19 0 0 20 0 1 0 336530991 19296256 3946 33554432000 4194304 7823515 140737154612560 140737154608408 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 4711 3946 566 887 0 3821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18844

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 22591
/proc/meminfo: memFree=27079060/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=23584 CPUtime=6.29 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 6478 0 0 0 594 35 0 0 20 0 1 0 336530991 24150016 5159 33554432000 4194304 7823515 140737154612560 140737154609320 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 5896 5159 566 887 0 5006 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23584

[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 22591
/proc/meminfo: memFree=27061584/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=32268 CPUtime=12.68 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 8662 0 0 0 1199 69 0 0 20 0 1 0 336530991 33042432 7343 33554432000 4194304 7823515 140737154612560 140737154609304 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 8067 7343 566 887 0 7177 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32268

[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 22591
/proc/meminfo: memFree=27030820/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=49904 CPUtime=25.49 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 13143 0 0 0 2412 137 0 0 20 0 1 0 336530991 51101696 11824 33554432000 4194304 7823515 140737154612560 140737154607528 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 12476 11824 566 887 0 11586 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49904

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 22591
/proc/meminfo: memFree=26975236/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=85276 CPUtime=51.08 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 21721 0 0 0 4832 276 0 0 20 0 1 0 336530991 87322624 20402 33554432000 4194304 7823515 140737154612560 140737154609304 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 21319 20402 566 887 0 20429 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85276

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 22591
/proc/meminfo: memFree=26866160/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=143660 CPUtime=102.28 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 36511 0 0 0 9676 552 0 0 20 0 1 0 336530991 147107840 35192 33554432000 4194304 7823515 140737154612560 140737154610392 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 35915 35192 566 887 0 35025 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 143660

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22591
/proc/meminfo: memFree=26745544/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=214884 CPUtime=162.26 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 53517 0 0 0 15370 856 0 0 20 0 1 0 336530991 220041216 52341 33554432000 4194304 7823515 140737154612560 140737154609592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 53721 52341 566 887 0 52831 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 214884

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 22592
/proc/meminfo: memFree=26614620/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=282968 CPUtime=222.24 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 70920 0 0 0 21057 1167 0 0 20 0 1 0 336530991 289759232 69751 33554432000 4194304 7823515 140737154612560 140737154608360 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 70742 69751 566 887 0 69852 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 282968

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 22592
/proc/meminfo: memFree=26494988/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=349784 CPUtime=282.2 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 87864 0 0 0 26742 1478 0 0 20 0 1 0 336530991 358178816 86720 33554432000 4194304 7823515 140737154612560 140737154609592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 87446 86720 566 887 0 86556 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 349784

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22592
/proc/meminfo: memFree=26384160/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=415480 CPUtime=342.18 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 102532 0 0 0 32441 1777 0 0 20 0 1 0 336530991 425451520 101372 33554432000 4194304 7823515 140737154612560 140737154610200 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 103870 101372 566 887 0 102980 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 415480

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 22595
/proc/meminfo: memFree=26273756/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=473748 CPUtime=402.15 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 117526 0 0 0 38146 2069 0 0 20 0 1 0 336530991 485117952 116356 33554432000 4194304 7823515 140737154612560 140737154609256 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 118437 116356 566 887 0 117547 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 473748

[startup+462.3 s]
/proc/loadavg: 2.13 2.04 2.01 4/177 22595
/proc/meminfo: memFree=26147124/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=541712 CPUtime=462.1 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 134679 0 0 0 43839 2371 0 0 20 0 1 0 336530991 554713088 133992 33554432000 4194304 7823515 140737154612560 140737154607816 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 135428 133992 566 887 0 134538 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 541712

[startup+522.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/177 22596
/proc/meminfo: memFree=26037564/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=602476 CPUtime=522.09 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 149870 0 0 0 49536 2673 0 0 20 0 1 0 336530991 616935424 149181 33554432000 4194304 7823515 140737154612560 140737154609592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 150619 149181 566 887 0 149729 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 602476

[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 22596
/proc/meminfo: memFree=25932536/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=656856 CPUtime=582.08 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 163714 0 0 0 55247 2961 0 0 20 0 1 0 336530991 672620544 163025 33554432000 4194304 7823515 140737154612560 140737154607896 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 164214 163025 566 887 0 163324 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 656856

[startup+642.3 s]

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

/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 276735 0 0 0 100947 5255 0 0 20 0 1 0 336530991 1147486208 277068 33554432000 4194304 7823515 140737154612560 140737154607896 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 280148 277068 566 887 0 279258 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1120592

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/177 22601
/proc/meminfo: memFree=24978844/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1172004 CPUtime=1122.01 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 289752 0 0 0 106689 5512 0 0 20 0 1 0 336530991 1200132096 290085 33554432000 4194304 7823515 140737154612560 140737154609304 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 293001 290085 566 887 0 292111 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1172004

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/177 22601
/proc/meminfo: memFree=24880540/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1222472 CPUtime=1181.99 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 302457 0 0 0 112434 5765 0 0 20 0 1 0 336530991 1251811328 302790 33554432000 4194304 7823515 140737154612560 140737154607528 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 305618 302790 566 887 0 304728 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1222472

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/177 22601
/proc/meminfo: memFree=24779380/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1272744 CPUtime=1241.98 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 315135 0 0 0 118172 6026 0 0 20 0 1 0 336530991 1303289856 316490 33554432000 4194304 7823515 140737154612560 140737154608360 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 318186 316490 566 887 0 317296 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1272744

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 22601
/proc/meminfo: memFree=24680716/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1325656 CPUtime=1301.98 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 328418 0 0 0 123910 6288 0 0 20 0 1 0 336530991 1357471744 329773 33554432000 4194304 7823515 140737154612560 140737154610392 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 331414 329773 566 887 0 330524 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1325656

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 22601
/proc/meminfo: memFree=24590692/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1376148 CPUtime=1361.97 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 340691 0 0 0 129646 6551 0 0 20 0 1 0 336530991 1409175552 342046 33554432000 4194304 7823515 140737154612560 140737154608888 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 344037 342046 566 887 0 343147 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1376148

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 22602
/proc/meminfo: memFree=24487832/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1429520 CPUtime=1421.96 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 354194 0 0 0 135389 6807 0 0 20 0 1 0 336530991 1463828480 355549 33554432000 4194304 7823515 140737154612560 140737154609592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 357380 355549 566 887 0 356490 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1429520

[startup+1482.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/177 22602
/proc/meminfo: memFree=24391856/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1479000 CPUtime=1481.95 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 366719 0 0 0 141129 7066 0 0 20 0 1 0 336530991 1514496000 368074 33554432000 4194304 7823515 140737154612560 140737154609592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 369750 368074 566 887 0 368860 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1479000

[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/177 22602
/proc/meminfo: memFree=24287632/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1528880 CPUtime=1541.93 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 379345 0 0 0 146872 7321 0 0 20 0 1 0 336530991 1565573120 381211 33554432000 4194304 7823515 140737154612560 140737154609592 5813900 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 382220 381211 566 887 0 381330 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1528880

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 22644
/proc/meminfo: memFree=25745092/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1583024 CPUtime=1601.93 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 392472 0 0 0 152602 7591 0 0 20 0 1 0 336530991 1621016576 394335 33554432000 4194304 7823515 140737154612560 140737154610392 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 395756 394335 566 887 0 394866 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1583024

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 22644
/proc/meminfo: memFree=25673208/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1632988 CPUtime=1661.91 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 405142 0 0 0 158336 7855 0 0 20 0 1 0 336530991 1672179712 407023 33554432000 4194304 7823515 140737154612560 140737154609592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 408247 407023 566 887 0 407357 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1632988

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22645
/proc/meminfo: memFree=25613344/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1684300 CPUtime=1721.9 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 418115 0 0 0 164080 8110 0 0 20 0 1 0 336530991 1724723200 420017 33554432000 4194304 7823515 140737154612560 140737154610392 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 421075 420017 566 887 0 420185 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1684300

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22645
/proc/meminfo: memFree=25545420/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1732476 CPUtime=1781.89 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 430416 0 0 0 169829 8360 0 0 20 0 1 0 336530991 1774055424 432314 33554432000 4194304 7823515 140737154612560 140737154609592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 433119 432314 566 887 0 432229 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1732476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 22645
/proc/meminfo: memFree=25529268/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1779624 CPUtime=1800.1 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 434111 0 0 0 171567 8443 0 0 20 0 1 0 336530991 1822334976 436008 33554432000 4194304 7823515 140737154612560 140737154609304 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 444906 436008 566 887 0 444016 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1779624

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22590

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22646
/proc/meminfo: memFree=25529268/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1779624 CPUtime=1800.99 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 434113 0 0 0 171656 8443 0 0 20 0 1 0 336530991 1822334976 436010 33554432000 4194304 7823515 140737154612560 140737154608072 4805796 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 444906 436010 568 887 0 444016 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (KiB) 1779624

[startup+1802.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22646
/proc/meminfo: memFree=25529136/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1779624 CPUtime=1801.79 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 434113 0 0 0 171736 8443 0 0 20 0 1 0 336530991 1822334976 436010 33554432000 4194304 7823515 140737154612560 140737154608072 5838891 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 444906 436010 568 887 0 444016 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 1779624

[startup+1802.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22646
/proc/meminfo: memFree=25529136/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1779624 CPUtime=1801.99 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 434113 0 0 0 171756 8443 0 0 20 0 1 0 336530991 1822334976 436010 33554432000 4194304 7823515 140737154612560 140737154608072 4805796 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 444906 436010 568 887 0 444016 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 1779624

[startup+1802.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22646
/proc/meminfo: memFree=25529136/32873844 swapFree=7116/7116
[pid=22590] ppid=22588 vsize=1779624 CPUtime=1802.09 cores=1,3,5,7
/proc/22590/stat : 22590 (pbscip.linux.x8) R 22588 22590 10620 0 -1 4202496 434113 0 0 0 171766 8443 0 0 20 0 1 0 336530991 1822334976 436010 33554432000 4194304 7823515 140737154612560 140737154608072 5875265 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22590/statm: 444906 436010 568 887 0 444016 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 1779624

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.57
CPU time (s): 1802.17
CPU user time (s): 1717.68
CPU system time (s): 84.4922
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1779624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1717.68
system time used= 84.4922
maximum resident set size= 1744040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434113
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= 166
involuntary context switches= 1841

runsolver used 2.91056 second user time and 9.36258 second system time

The end

Launcher Data 

Begin job on node138 at 2012-06-03 08:14:19
IDJOB=3734730
IDBENCH=2898
IDSOLVER=2321
FILE ID=node138/3734730-1338704059
RUNJOBID= node138-1338679216-19463
PBS_JOBID= 14636675
Free space on /tmp= 70780 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734730-1338704059/watcher-3734730-1338704059 -o /tmp/evaluation-result-3734730-1338704059/solver-3734730-1338704059 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3734730-1338704059.opb

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

MD5SUM BENCH= ccdf85c0efcf9b688264aa74ef25462f
RANDOM SEED=2045533553

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27102148 kB
Buffers:          711696 kB
Cached:          3895372 kB
SwapCached:          208 kB
Active:          2584604 kB
Inactive:        2283620 kB
Active(anon):     245896 kB
Inactive(anon):    11376 kB
Active(file):    2338708 kB
Inactive(file):  2272244 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:              9724 kB
Writeback:             0 kB
AnonPages:        271692 kB
Mapped:            16540 kB
Shmem:               200 kB
Slab:             763984 kB
SReclaimable:     206200 kB
SUnreclaim:       557784 kB
KernelStack:        1472 kB
PageTables:         4564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     372916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70772 MiB
End job on node138 at 2012-06-03 08:44:22