Trace number 1869510

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT (TO)6 1802.09 1802.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver SoPlex 1.4.1
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869510-1245175724.opb>
0.00/0.01	c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c    (0.0s) probing: 101/140 (72.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02	c presolving (3 rounds):
0.00/0.02	c  6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 140 variables (140 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02	c       6 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c OPT-LIN
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = c 1620
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = c 1791
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = c 10000
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving problem
0.00/0.02	c 
0.00/0.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.03	c   0.0s|     1 |     0 |    53 | 465k|   0 |   6 | 140 |   6 |   6 | 140 |   6 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.02/0.04	c   0.0s|     1 |     0 |   119 | 551k|   0 |  10 | 140 |   6 |   6 | 140 |  12 |   6 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.02/0.05	c   0.0s|     1 |     0 |   126 | 602k|   0 |  13 | 140 |   6 |   6 | 140 |  18 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.02/0.06	c   0.1s|     1 |     0 |   135 | 646k|   0 |  16 | 140 |   6 |   6 | 140 |  25 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.02/0.08	c   0.1s|     1 |     0 |   142 | 654k|   0 |  18 | 140 |   6 |   6 | 140 |  28 |  22 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |   148 | 658k|   0 |  19 | 140 |   6 |   6 | 140 |  29 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   160 | 665k|   0 |  22 | 140 |   6 |   6 | 140 |  31 |  25 |   0 |   0 | 9.094947e-13 |      --      |    Inf 
0.19/0.26	c   0.2s|     1 |     2 |   160 | 666k|   0 |  22 | 140 |   6 |   6 | 140 |  31 |  25 |   0 |  22 | 9.094947e-13 |      --      |    Inf 
0.39/0.40	o 628
0.39/0.40	c c 0.4s|    35 |    34 |   373 | 708k|  33 |   - | 140 |   6 |   1 | 140 |  24 |  25 |   0 | 224 | 9.094947e-13 | 6.280000e+02 |    Inf 
0.39/0.44	o 270
0.39/0.44	c p 0.4s|    57 |    52 |   448 | 723k|  41 |   - | 140 |   6 |   1 | 140 |  24 |  25 |   0 | 308 | 9.094947e-13 | 2.700000e+02 |    Inf 
0.49/0.54	o 268
0.49/0.54	c l 0.5s|   142 |   133 |   887 | 787k|  41 |   - | 140 |   9 |   0 | 140 |  24 |  25 |   5 | 464 | 9.094947e-13 | 2.680000e+02 |    Inf 
0.69/0.72	o 265
0.69/0.72	c c 0.7s|   352 |   340 |  2084 | 890k|  41 |   - | 140 |  12 |   0 | 140 |  24 |  25 |  12 | 610 | 9.094947e-13 | 2.650000e+02 |    Inf 
0.69/0.72	o 261
0.69/0.72	c p 0.7s|   352 |   338 |  2084 | 893k|  41 |   - | 140 |  12 |   0 | 140 |  24 |  25 |  13 | 610 | 9.094947e-13 | 2.610000e+02 |    Inf 
0.69/0.77	o 260
0.69/0.77	c * 0.7s|   414 |   398 |  2388 | 923k|  41 |   - | 140 |  12 |   0 | 140 |  24 |  25 |  14 | 638 | 9.094947e-13 | 2.600000e+02 |    Inf 
0.69/0.77	o 258
0.69/0.77	c * 0.7s|   417 |   397 |  2391 | 925k|  41 |   - | 140 |  12 |   0 | 140 |  24 |  25 |  14 | 643 | 9.094947e-13 | 2.580000e+02 |    Inf 
0.69/0.77	o 256
0.69/0.77	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.69/0.77	c * 0.7s|   418 |   396 |  2392 | 926k|  41 |   - | 140 |  12 |   0 | 140 |  24 |  25 |  14 | 643 | 9.094947e-13 | 2.560000e+02 |    Inf 
0.79/0.82	o 254
0.79/0.82	c p 0.8s|   477 |   453 |  2707 | 956k|  41 |   - | 140 |  12 |   2 | 140 |  24 |  25 |  21 | 677 | 9.094947e-13 | 2.540000e+02 |    Inf 
0.79/0.87	o 253
0.79/0.87	c l 0.8s|   551 |   523 |  3029 | 988k|  41 |   - | 140 |  12 |   2 | 140 |  24 |  25 |  21 | 699 | 9.094947e-13 | 2.530000e+02 |    Inf 
0.79/0.89	o 185
0.79/0.89	c g 0.8s|   578 |   515 |  3189 | 991k|  41 |   - | 140 |  12 |   3 | 140 |  24 |  25 |  21 | 701 | 9.094947e-13 | 1.850000e+02 |    Inf 
0.89/0.99	o 184
0.89/0.99	c v 0.9s|   712 |   634 |  4339 |1045k|  41 |   - | 140 |  16 |   2 | 140 |  24 |  25 |  36 | 730 | 9.094947e-13 | 1.840000e+02 |    Inf 
1.00/1.09	o 122
1.00/1.09	c g 1.0s|   873 |   741 |  5172 |1085k|  41 |   - | 140 |  16 |   7 | 140 |  24 |  25 |  42 | 733 | 9.094947e-13 | 1.220000e+02 |    Inf 
1.39/1.42	o 93
1.39/1.42	c g 1.3s|  1347 |  1162 |  8052 |1279k|  41 |   - | 140 |  22 |   6 | 140 |  24 |  25 |  67 | 764 | 9.094947e-13 | 9.300000e+01 |    Inf 
1.59/1.60	o 71
1.59/1.60	c g 1.5s|  1611 |  1345 |  9650 |1363k|  41 |   - | 140 |  25 |   8 | 140 |  24 |  25 |  77 | 783 | 9.094947e-13 | 7.100000e+01 |    Inf 
1.79/1.89	o 70
1.79/1.89	c l 1.8s|  2015 |  1731 | 12194 |1554k|  41 |   - | 140 |  29 |   4 | 140 |  24 |  25 | 117 | 791 | 9.094947e-13 | 7.000000e+01 |    Inf 
2.99/3.02	o 68
2.99/3.02	c * 2.8s|  2979 |  2630 | 17555 |1993k|  41 |   - | 140 |  30 |   5 | 140 |  24 |  25 | 179 | 810 | 9.094947e-13 | 6.800000e+01 |    Inf 
3.29/3.34	o 66
3.29/3.34	c * 3.1s|  3442 |  3052 | 20139 |2181k|  41 |   - | 140 |  30 |   5 | 140 |  24 |  25 | 213 | 824 | 9.094947e-13 | 6.600000e+01 |    Inf 
3.39/3.47	o 65
3.39/3.47	c v 3.2s|  3616 |  3212 | 21220 |2263k|  41 |   - | 140 |  30 |   3 | 140 |  24 |  25 | 229 | 828 | 9.094947e-13 | 6.500000e+01 |    Inf 
3.69/3.75	o 64
3.69/3.75	c v 3.4s|  3990 |  3570 | 23542 |2443k|  41 |   - | 140 |  32 |   7 | 140 |  24 |  25 | 262 | 836 | 9.094947e-13 | 6.400000e+01 |    Inf 
3.79/3.88	o 63
3.79/3.88	c l 3.6s|  4172 |  3717 | 24664 |2513k|  41 |   - | 140 |  32 |   2 | 140 |  24 |  25 | 274 | 855 | 9.094947e-13 | 6.300000e+01 |    Inf 
4.19/4.29	o 49
4.19/4.29	c c 4.0s|  4679 |  4086 | 28134 |2652k|  41 |   - | 140 |  32 |   1 | 140 |  24 |  25 | 318 | 871 | 9.094947e-13 | 4.900000e+01 |    Inf 
9.58/9.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.58/9.68	c   9.0s| 10000 |  8477 | 69270 |4835k|  41 |   6 | 140 |  32 |  10 | 140 |  24 |  25 | 901 | 967 | 9.094947e-13 | 4.900000e+01 |    Inf 
10.29/10.36	o 48
10.29/10.36	c * 9.6s| 10866 |  9201 | 75152 |5167k|  41 |   - | 140 |  30 |   0 | 140 |  24 |  25 | 958 | 981 | 9.094947e-13 | 4.800000e+01 |    Inf 
10.29/10.37	o 46
10.29/10.37	c * 9.6s| 10867 |  9170 | 75152 |5143k|  41 |   - | 140 |  30 |   0 | 140 |  24 |  25 | 958 | 981 | 9.094947e-13 | 4.600000e+01 |    Inf 
11.49/11.59	o 44
11.49/11.59	c *10.8s| 12800 | 10574 | 85306 |5894k|  41 |   - | 140 |  28 |   1 | 140 |  24 |  25 |1091 |1065 | 9.094947e-13 | 4.400000e+01 |    Inf 
14.49/14.51	o 42
14.49/14.51	c *13.5s| 17470 | 13800 |109636 |7748k|  41 |   - | 140 |  33 |   1 | 140 |  24 |  25 |1430 |1285 | 9.094947e-13 | 4.200000e+01 |    Inf 
14.49/14.51	o 40
14.49/14.51	c *13.5s| 17473 | 13713 |109639 |7673k|  41 |   - | 140 |  33 |   1 | 140 |  24 |  25 |1430 |1290 | 9.094947e-13 | 4.000000e+01 |    Inf 
15.99/16.04	c  15.0s| 20000 | 15377 |122558 |8740k|  42 |   - | 140 |  40 |  15 | 140 |  24 |  25 |1671 |1408 | 9.094947e-13 | 4.000000e+01 |    Inf 
16.09/16.13	o 39
16.09/16.13	c *15.0s| 20117 | 15415 |123301 |8738k|  42 |   - | 140 |  39 |   3 | 140 |  24 |  25 |1682 |1418 | 9.094947e-13 | 3.900000e+01 |    Inf 
16.09/16.13	o 37
16.09/16.13	c *15.0s| 20118 | 15319 |123302 |8626k|  42 |   - | 140 |  39 |   3 | 140 |  24 |  25 |1682 |1418 | 9.094947e-13 | 3.700000e+01 |    Inf 
16.69/16.75	o 36
16.69/16.75	c *15.6s| 21182 | 15897 |128389 |9042k|  43 |   - | 140 |  37 |   4 | 140 |  24 |  25 |1778 |1468 | 9.094947e-13 | 3.600000e+01 |    Inf 
16.69/16.75	o 34
16.69/16.75	c *15.6s| 21183 | 15713 |128392 |8852k|  43 |   - | 140 |  37 |   4 | 140 |  24 |  25 |1778 |1468 | 9.094947e-13 | 3.400000e+01 |    Inf 
17.78/17.84	o 33
17.78/17.84	c *16.6s| 23094 | 16778 |137698 |9631k|  43 |   - | 140 |  31 |   1 | 140 |  24 |  25 |1920 |1518 | 9.094947e-13 | 3.300000e+01 |    Inf 
18.38/18.45	o 32
18.38/18.45	c *17.2s| 24220 | 15977 |142856 |8958k|  43 |   - | 140 |  29 |   0 | 140 |  24 |  25 |2024 |1565 | 9.094947e-13 | 3.200000e+01 |    Inf 
18.89/18.98	o 31
18.89/18.98	c *17.7s| 25052 | 16364 |147190 |9206k|  43 |   - | 140 |  31 |   1 | 140 |  24 |  25 |2129 |1608 | 9.094947e-13 | 3.100000e+01 |    Inf 
18.89/18.98	o 29
18.89/18.98	c *17.7s| 25053 | 16239 |147191 |9089k|  43 |   - | 140 |  31 |   1 | 140 |  24 |  25 |2129 |1608 | 9.094947e-13 | 2.900000e+01 |    Inf 
21.08/21.13	o 28
21.08/21.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
21.08/21.13	c p19.7s| 28329 | 18151 |163169 |  10M|  43 |   - | 140 |  34 |   0 | 140 |  24 |  25 |2456 |1717 | 9.094947e-13 | 2.800000e+01 |    Inf 
21.08/21.15	o 26
21.08/21.15	c p19.7s| 28350 | 17989 |163242 |  10M|  43 |   - | 140 |  34 |   0 | 140 |  24 |  25 |2464 |1740 | 9.094947e-13 | 2.600000e+01 |    Inf 
21.08/21.15	o 24
21.08/21.15	c l19.7s| 28350 | 17753 |163243 |9788k|  43 |   - | 140 |  34 |   0 | 140 |  24 |  25 |2466 |1740 | 9.094947e-13 | 2.400000e+01 |    Inf 
21.48/21.59	o 20
21.48/21.59	c *20.1s| 29164 | 17618 |166875 |9559k|  43 |   - | 140 |  34 |   0 | 140 |  24 |  25 |2537 |1772 | 9.094947e-13 | 2.000000e+01 |    Inf 
21.98/22.06	c  20.5s| 30000 | 18000 |170705 |9791k|  43 |   6 | 140 |  34 |   8 | 140 |  24 |  25 |2599 |1790 | 9.094947e-13 | 2.000000e+01 |    Inf 
27.28/27.32	c  25.4s| 40000 | 22273 |212878 |  12M|  46 |   - | 140 |  38 |   6 |   0 |   0 |  25 |3560 |2117 | 9.094947e-13 | 2.000000e+01 |    Inf 
31.89/32.00	c  29.8s| 50000 | 25719 |252127 |  15M|  46 |   6 | 140 |  38 |  10 | 140 |  24 |  25 |4527 |2404 | 9.094947e-13 | 2.000000e+01 |    Inf 
36.78/36.86	c  34.3s| 60000 | 29717 |293126 |  17M|  46 |   6 | 140 |  29 |   8 | 140 |  24 |  25 |5520 |2644 | 9.094947e-13 | 2.000000e+01 |    Inf 
41.48/41.55	c  38.7s| 70000 | 33620 |332862 |  20M|  46 |   - | 140 |  40 |   6 | 140 |  24 |  25 |6554 |2874 | 9.094947e-13 | 2.000000e+01 |    Inf 
45.87/45.96	c  42.9s| 80000 | 36577 |370310 |  22M|  46 |   6 | 140 |  42 |   7 | 140 |  24 |  25 |7580 |3081 | 9.094947e-13 | 2.000000e+01 |    Inf 
49.27/49.34	o 19
49.27/49.34	c *46.0s| 87621 | 38560 |398568 |  24M|  46 |   - | 140 |  31 |   0 | 140 |  24 |  25 |8332 |3235 | 9.094947e-13 | 1.900000e+01 |    Inf 
49.48/49.55	o 18
49.48/49.55	c *46.2s| 88057 | 38408 |400241 |  23M|  46 |   - | 140 |  31 |   0 | 140 |  24 |  25 |8374 |3249 | 9.094947e-13 | 1.800000e+01 |    Inf 
51.47/51.53	c  48.0s| 90000 | 38840 |407426 |  24M|  46 |   - | 140 |  31 |   6 |   0 |   0 |  25 |8565 |3296 | 9.094947e-13 | 1.800000e+01 |    Inf 
55.77/55.84	c  52.0s|100000 | 41286 |442725 |  26M|  46 |   - | 140 |  29 |   8 |   0 |   0 |  25 |9433 |3468 | 9.094947e-13 | 1.800000e+01 |    Inf 
59.97/60.07	c  56.0s|110000 | 43475 |478868 |  27M|  46 |   - | 140 |  26 |   6 | 140 |  24 |  25 |  10k|3640 | 9.094947e-13 | 1.800000e+01 |    Inf 
64.67/64.73	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
64.67/64.73	c  60.4s|120000 | 46518 |520027 |  29M|  46 |   - | 140 |  28 |   7 | 140 |  24 |  25 |  11k|3786 | 9.094947e-13 | 1.800000e+01 |    Inf 
69.07/69.17	c  64.5s|130000 | 49231 |559611 |  31M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 |  11k|3946 | 9.094947e-13 | 1.800000e+01 |    Inf 
74.77/74.88	c  69.9s|140000 | 54624 |607398 |  34M|  46 |   6 | 140 |  26 |   6 | 140 |  24 |  25 |  12k|4059 | 9.094947e-13 | 1.800000e+01 |    Inf 
79.96/80.07	c  74.7s|150000 | 59324 |651051 |  37M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 |  13k|4194 | 9.094947e-13 | 1.800000e+01 |    Inf 
80.16/80.22	o 16
80.16/80.22	c *74.9s|150242 | 57402 |652207 |  34M|  46 |   - | 140 |  24 |   0 | 140 |  24 |  25 |  13k|4204 | 9.094947e-13 | 1.600000e+01 |    Inf 
80.16/80.23	o 14
80.16/80.23	c *74.9s|150243 | 56596 |652208 |  33M|  46 |   - | 140 |  24 |   0 | 140 |  24 |  25 |  13k|4204 | 9.094947e-13 | 1.400000e+01 |    Inf 
87.66/87.77	c  81.8s|160000 | 60919 |692431 |  35M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 |  14k|4393 | 9.094947e-13 | 1.400000e+01 |    Inf 
92.36/92.42	c  86.2s|170000 | 65078 |732648 |  38M|  46 |   - | 140 |  22 |   5 |   0 |   0 |  25 |  15k|4553 | 9.094947e-13 | 1.400000e+01 |    Inf 
97.26/97.38	c  90.8s|180000 | 68546 |770969 |  40M|  46 |   - | 140 |  20 |   7 |   0 |   0 |  25 |  16k|4704 | 9.094947e-13 | 1.400000e+01 |    Inf 
101.95/102.08	c  95.2s|190000 | 72838 |812062 |  42M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 |  17k|4877 | 9.094947e-13 | 1.400000e+01 |    Inf 
106.16/106.29	c  99.1s|200000 | 76074 |848881 |  44M|  46 |   6 | 140 |  29 |   8 | 140 |  24 |  25 |  17k|5013 | 9.094947e-13 | 1.400000e+01 |    Inf 
110.35/110.41	c   103s|210000 | 78905 |884606 |  46M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 |  18k|5168 | 9.094947e-13 | 1.400000e+01 |    Inf 
114.36/114.49	c   107s|220000 | 81633 |920655 |  48M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 |  19k|5282 | 9.094947e-13 | 1.400000e+01 |    Inf 
118.35/118.47	c   111s|230000 | 83627 |955513 |  49M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 |  20k|5394 | 9.094947e-13 | 1.400000e+01 |    Inf 
122.35/122.44	c   114s|240000 | 85719 |990851 |  50M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 |  21k|5526 | 9.094947e-13 | 1.400000e+01 |    Inf 
126.35/126.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
126.35/126.43	c   118s|250000 | 87725 |  1026k|  52M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 |  21k|5652 | 9.094947e-13 | 1.400000e+01 |    Inf 
130.65/130.73	c   122s|260000 | 90626 |  1063k|  53M|  46 |   6 | 140 |  16 |   7 | 140 |  24 |  25 |  22k|5759 | 9.094947e-13 | 1.400000e+01 |    Inf 
133.34/133.47	o 13
133.34/133.47	c * 125s|266524 | 91781 |  1087k|  54M|  46 |   - | 140 |  17 |   0 | 140 |  24 |  25 |  23k|5833 | 9.094947e-13 | 1.300000e+01 |    Inf 
133.34/133.48	o 11
133.34/133.48	c * 125s|266525 | 89791 |  1087k|  51M|  46 |   - | 140 |  17 |   0 | 140 |  24 |  25 |  23k|5833 | 9.094947e-13 | 1.100000e+01 |    Inf 
137.44/137.55	c   128s|270000 | 90659 |  1100k|  51M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 |  23k|5867 | 9.094947e-13 | 1.100000e+01 |    Inf 
141.44/141.57	c   132s|280000 | 92944 |  1135k|  53M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 |  24k|5979 | 9.094947e-13 | 1.100000e+01 |    Inf 
145.64/145.76	c   136s|290000 | 95050 |  1170k|  54M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 |  24k|6093 | 9.094947e-13 | 1.100000e+01 |    Inf 
149.63/149.75	c   140s|300000 | 97218 |  1205k|  55M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 |  25k|6190 | 9.094947e-13 | 1.100000e+01 |    Inf 
154.94/155.06	c   145s|310000 |101057 |  1244k|  57M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 |  26k|6290 | 9.094947e-13 | 1.100000e+01 |    Inf 
159.04/159.12	c   148s|320000 |103878 |  1280k|  59M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 |  26k|6399 | 9.094947e-13 | 1.100000e+01 |    Inf 
163.14/163.20	c   152s|330000 |107192 |  1315k|  61M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 |  27k|6486 | 9.094947e-13 | 1.100000e+01 |    Inf 
167.13/167.28	c   156s|340000 |110015 |  1350k|  62M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 |  28k|6591 | 9.094947e-13 | 1.100000e+01 |    Inf 
171.13/171.27	c   160s|350000 |112835 |  1386k|  64M|  46 |   - | 140 |  24 |   5 |   0 |   0 |  25 |  28k|6664 | 9.094947e-13 | 1.100000e+01 |    Inf 
174.93/175.09	c   163s|360000 |114890 |  1420k|  65M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 |  29k|6763 | 9.094947e-13 | 1.100000e+01 |    Inf 
178.83/178.98	c   167s|370000 |117117 |  1455k|  66M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 |  30k|6852 | 9.094947e-13 | 1.100000e+01 |    Inf 
182.73/182.90	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
182.83/182.90	c   171s|380000 |119632 |  1489k|  68M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 |  31k|6942 | 9.094947e-13 | 1.100000e+01 |    Inf 
186.73/186.89	c   174s|390000 |122002 |  1525k|  69M|  46 |   - | 140 |  19 |   7 | 140 |  24 |  25 |  31k|7032 | 9.094947e-13 | 1.100000e+01 |    Inf 
190.92/191.08	c   178s|400000 |124742 |  1562k|  71M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 |  32k|7119 | 9.094947e-13 | 1.100000e+01 |    Inf 
195.43/195.51	c   183s|410000 |128724 |  1601k|  73M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 |  33k|7210 | 9.094947e-13 | 1.100000e+01 |    Inf 
199.51/199.67	c   186s|420000 |132683 |  1638k|  75M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 |  34k|7269 | 9.094947e-13 | 1.100000e+01 |    Inf 
203.52/203.64	c   190s|430000 |135577 |  1673k|  76M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 |  35k|7359 | 9.094947e-13 | 1.100000e+01 |    Inf 
207.41/207.52	c   194s|440000 |137934 |  1706k|  78M|  46 |   - | 140 |  23 |   7 |   0 |   0 |  25 |  35k|7446 | 9.094947e-13 | 1.100000e+01 |    Inf 
211.31/211.43	c   197s|450000 |140261 |  1740k|  79M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 |  36k|7520 | 9.094947e-13 | 1.100000e+01 |    Inf 
215.11/215.27	c   201s|460000 |142575 |  1774k|  81M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 |  37k|7606 | 9.094947e-13 | 1.100000e+01 |    Inf 
219.11/219.23	c   205s|470000 |145170 |  1809k|  82M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 |  38k|7701 | 9.094947e-13 | 1.100000e+01 |    Inf 
222.91/223.03	c   208s|480000 |147373 |  1842k|  83M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 |  39k|7771 | 9.094947e-13 | 1.100000e+01 |    Inf 
226.71/226.82	c   212s|490000 |149098 |  1875k|  84M|  46 |   - | 140 |  16 |   6 |   0 |   0 |  25 |  40k|7853 | 9.094947e-13 | 1.100000e+01 |    Inf 
230.41/230.56	c   215s|500000 |150832 |  1908k|  86M|  46 |   - | 140 |  17 |   6 |   0 |   0 |  25 |  41k|7930 | 9.094947e-13 | 1.100000e+01 |    Inf 
234.21/234.35	c   219s|510000 |152443 |  1941k|  87M|  46 |   6 | 140 |  21 |  12 | 140 |  24 |  25 |  41k|8009 | 9.094947e-13 | 1.100000e+01 |    Inf 
237.91/238.05	c   222s|520000 |154206 |  1974k|  88M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 |  42k|8084 | 9.094947e-13 | 1.100000e+01 |    Inf 
241.70/241.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
241.70/241.81	c   226s|530000 |155886 |  2006k|  89M|  46 |   6 | 140 |  21 |   8 | 140 |  24 |  25 |  43k|8142 | 9.094947e-13 | 1.100000e+01 |    Inf 
245.41/245.57	c   229s|540000 |157357 |  2038k|  90M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 |  44k|8223 | 9.094947e-13 | 1.100000e+01 |    Inf 
249.10/249.28	c   233s|550000 |158482 |  2070k|  91M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 |  45k|8298 | 9.094947e-13 | 1.100000e+01 |    Inf 
252.80/252.98	c   236s|560000 |159791 |  2103k|  92M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 |  46k|8376 | 9.094947e-13 | 1.100000e+01 |    Inf 
255.20/255.39	o 10
255.20/255.39	c * 239s|566444 |159382 |  2123k|  90M|  46 |   - | 140 |  19 |   0 | 140 |  24 |  25 |  46k|8413 | 9.094947e-13 | 1.000000e+01 |    Inf 
255.30/255.47	o 8
255.30/255.47	c * 239s|566593 |154347 |  2124k|  84M|  46 |   - | 140 |  19 |   0 | 140 |  24 |  25 |  46k|8413 | 9.094947e-13 | 8.000000e+00 |    Inf 
255.30/255.49	o 6
255.30/255.49	c * 239s|566594 |149860 |  2124k|  79M|  46 |   - | 140 |  19 |   0 | 140 |  24 |  25 |  46k|8413 | 9.094947e-13 | 6.000000e+00 |    Inf 
258.00/258.10	c   241s|570000 |150277 |  2134k|  79M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 |  47k|8459 | 9.094947e-13 | 6.000000e+00 |    Inf 
261.30/261.47	c   244s|580000 |151194 |  2165k|  80M|  46 |   - | 140 |  17 |   6 | 140 |  24 |  25 |  47k|8546 | 9.094947e-13 | 6.000000e+00 |    Inf 
264.70/264.87	c   247s|590000 |152073 |  2196k|  80M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 |  48k|8651 | 9.094947e-13 | 6.000000e+00 |    Inf 
268.09/268.29	c   251s|600000 |153372 |  2227k|  81M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 |  48k|8763 | 9.094947e-13 | 6.000000e+00 |    Inf 
271.60/271.72	c   254s|610000 |154309 |  2257k|  82M|  46 |   6 | 140 |  17 |   7 | 140 |  24 |  25 |  49k|8869 | 9.094947e-13 | 6.000000e+00 |    Inf 
276.39/276.58	c   258s|620000 |155139 |  2288k|  82M|  46 |   - | 140 |  25 |   6 | 140 |  24 |  25 |  49k|8973 | 9.094947e-13 | 6.000000e+00 |    Inf 
279.89/280.04	c   261s|630000 |156196 |  2320k|  83M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 |  50k|9047 | 9.094947e-13 | 6.000000e+00 |    Inf 
283.29/283.48	c   265s|640000 |157156 |  2351k|  84M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 |  51k|9146 | 9.094947e-13 | 6.000000e+00 |    Inf 
286.69/286.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
286.69/286.88	c   268s|650000 |157642 |  2382k|  84M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 |  51k|9229 | 9.094947e-13 | 6.000000e+00 |    Inf 
290.09/290.28	c   271s|660000 |158242 |  2413k|  85M|  46 |   6 | 140 |  13 |   6 | 140 |  24 |  25 |  52k|9323 | 9.094947e-13 | 6.000000e+00 |    Inf 
293.49/293.66	c   274s|670000 |158778 |  2444k|  85M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 |  52k|9418 | 9.094947e-13 | 6.000000e+00 |    Inf 
296.78/296.97	c   277s|680000 |159174 |  2474k|  85M|  46 |   - | 140 |  14 |   6 | 140 |  24 |  25 |  53k|9487 | 9.094947e-13 | 6.000000e+00 |    Inf 
300.08/300.25	c   280s|690000 |159416 |  2504k|  86M|  46 |   6 | 140 |  18 |   7 | 140 |  24 |  25 |  54k|9570 | 9.094947e-13 | 6.000000e+00 |    Inf 
303.49/303.62	c   283s|700000 |159899 |  2535k|  86M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 |  54k|9636 | 9.094947e-13 | 6.000000e+00 |    Inf 
306.88/307.03	c   287s|710000 |160410 |  2566k|  87M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 |  55k|9701 | 9.094947e-13 | 6.000000e+00 |    Inf 
310.28/310.43	c   290s|720000 |160538 |  2596k|  87M|  46 |   - | 140 |  17 |   8 | 140 |  24 |  25 |  56k|9797 | 9.094947e-13 | 6.000000e+00 |    Inf 
313.68/313.80	c   293s|730000 |160791 |  2628k|  87M|  46 |   6 | 140 |  18 |   7 | 140 |  24 |  25 |  56k|9882 | 9.094947e-13 | 6.000000e+00 |    Inf 
316.97/317.11	c   296s|740000 |161014 |  2657k|  87M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 |  57k|9969 | 9.094947e-13 | 6.000000e+00 |    Inf 
320.27/320.44	c   299s|750000 |161672 |  2687k|  88M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 |  58k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
323.57/323.76	c   302s|760000 |162668 |  2718k|  89M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 |  58k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
326.97/327.13	c   305s|770000 |162797 |  2747k|  89M|  46 |   - | 140 |  19 |   6 |   0 |   0 |  25 |  59k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
330.27/330.45	c   308s|780000 |162672 |  2776k|  89M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 |  60k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
333.57/333.75	c   312s|790000 |162511 |  2805k|  89M|  46 |   6 | 140 |  26 |   8 | 140 |  24 |  25 |  60k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
336.87/337.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
336.87/337.04	c   315s|800000 |163477 |  2836k|  90M|  46 |   - | 140 |  19 |   7 | 140 |  24 |  25 |  61k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
340.27/340.41	c   318s|810000 |163698 |  2867k|  90M|  46 |   - | 140 |  17 |   6 | 140 |  24 |  25 |  61k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
343.56/343.74	c   321s|820000 |164887 |  2897k|  91M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 |  62k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
346.87/347.00	c   324s|830000 |165341 |  2926k|  91M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 |  62k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
350.07/350.27	c   327s|840000 |165361 |  2955k|  91M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 |  63k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
353.36/353.55	c   330s|850000 |165114 |  2984k|  91M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 |  63k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
356.66/356.83	c   333s|860000 |165076 |  3013k|  91M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 |  64k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
359.86/360.04	c   336s|870000 |164983 |  3041k|  92M|  46 |   - | 140 |  21 |   8 | 140 |  24 |  25 |  64k|  10k| 9.094947e-13 | 6.000000e+00 |    Inf 
363.16/363.32	c   339s|880000 |164782 |  3071k|  92M|  46 |   - | 140 |  24 |   9 | 140 |  24 |  25 |  65k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
366.45/366.65	c   342s|890000 |164353 |  3101k|  91M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 |  65k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
369.76/369.97	c   345s|900000 |165023 |  3131k|  92M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 |  66k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
373.06/373.28	c   348s|910000 |165225 |  3160k|  92M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 |  66k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
376.35/376.58	c   352s|920000 |164924 |  3189k|  92M|  46 |   - | 140 |  15 |   7 | 140 |  24 |  25 |  67k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
379.65/379.81	c   355s|930000 |164639 |  3218k|  92M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 |  68k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
382.95/383.14	c   358s|940000 |165219 |  3249k|  92M|  46 |   - | 140 |  17 |   6 | 140 |  24 |  25 |  68k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
386.25/386.47	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
386.25/386.47	c   361s|950000 |165372 |  3279k|  93M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 |  69k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
389.55/389.77	c   364s|960000 |165069 |  3307k|  93M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 |  69k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
392.95/393.12	c   367s|970000 |165593 |  3338k|  93M|  46 |   - | 140 |  19 |   6 |   0 |   0 |  25 |  70k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
396.24/396.42	c   370s|980000 |165389 |  3369k|  93M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 |  71k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
399.55/399.78	c   373s|990000 |165499 |  3401k|  93M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 |  71k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
402.84/403.05	c   376s|  1000k|165588 |  3430k|  93M|  46 |   6 | 140 |  13 |   6 | 140 |  24 |  25 |  71k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
406.14/406.33	c   379s|  1010k|164836 |  3459k|  93M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 |  72k|  11k| 9.094947e-13 | 6.000000e+00 |    Inf 
409.44/409.60	c   382s|  1020k|164148 |  3488k|  92M|  46 |   6 | 140 |  13 |   6 | 140 |  24 |  25 |  72k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
412.74/412.93	c   386s|  1030k|164138 |  3517k|  92M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 |  73k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
416.04/416.21	c   389s|  1040k|164868 |  3549k|  93M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 |  74k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
419.24/419.49	c   392s|  1050k|164866 |  3579k|  93M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 |  74k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
422.53/422.73	c   395s|  1060k|164197 |  3608k|  93M|  46 |   - | 140 |  13 |   6 | 140 |  24 |  25 |  74k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
425.83/426.01	c   398s|  1070k|163842 |  3637k|  92M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 |  75k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
429.14/429.31	c   401s|  1080k|163617 |  3668k|  92M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 |  76k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
432.43/432.69	c   404s|  1090k|163784 |  3699k|  93M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 |  76k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
435.83/436.09	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
435.83/436.09	c   407s|  1100k|163950 |  3732k|  93M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 |  77k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
439.23/439.48	c   410s|  1110k|164126 |  3762k|  93M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 |  77k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
442.63/442.85	c   413s|  1120k|163446 |  3793k|  93M|  46 |   - | 140 |  13 |   6 | 140 |  24 |  25 |  78k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
445.92/446.15	c   417s|  1130k|163438 |  3823k|  93M|  46 |   - | 140 |  13 |   6 | 140 |  24 |  25 |  79k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
449.33/449.58	c   420s|  1140k|164207 |  3855k|  93M|  46 |   - | 140 |  14 |   6 | 140 |  24 |  25 |  79k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
452.73/452.94	c   423s|  1150k|164279 |  3885k|  93M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 |  80k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
456.03/456.24	c   426s|  1160k|164489 |  3915k|  94M|  46 |   - | 140 |  15 |   7 |   0 |   0 |  25 |  81k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
459.33/459.51	c   429s|  1170k|164702 |  3946k|  94M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 |  81k|  12k| 9.094947e-13 | 6.000000e+00 |    Inf 
463.02/463.26	c   432s|  1180k|167245 |  3981k|  95M|  46 |   - | 140 |  23 |   7 | 140 |  24 |  25 |  82k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
466.72/466.92	c   436s|  1190k|169011 |  4015k|  96M|  46 |   - | 140 |  23 |   6 | 140 |  24 |  25 |  82k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
470.62/470.83	c   440s|  1200k|171945 |  4051k|  98M|  46 |   - | 140 |  27 |   8 | 140 |  24 |  25 |  83k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
474.22/474.43	c   443s|  1210k|174117 |  4083k|  99M|  46 |   - | 140 |  17 |   6 | 140 |  24 |  25 |  84k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
478.12/478.33	c   447s|  1220k|177167 |  4120k| 101M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 |  84k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
481.71/481.99	c   450s|  1230k|179483 |  4155k| 102M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 |  84k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
485.52/485.71	c   453s|  1240k|181700 |  4190k| 103M|  46 |   - | 140 |  24 |   6 |   0 |   0 |  25 |  85k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
489.11/489.31	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
489.11/489.31	c   457s|  1250k|183555 |  4224k| 104M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 |  85k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
492.71/492.94	c   460s|  1260k|185306 |  4259k| 105M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 |  86k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
496.31/496.51	c   464s|  1270k|187112 |  4292k| 106M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 |  86k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
499.81/500.08	c   467s|  1280k|189268 |  4325k| 107M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 |  87k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
503.41/503.62	c   470s|  1290k|191055 |  4358k| 108M|  46 |   - | 140 |  20 |   6 |   0 |   0 |  25 |  87k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
506.91/507.15	c   473s|  1300k|192425 |  4390k| 109M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 |  88k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
510.40/510.68	c   477s|  1310k|193827 |  4422k| 110M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 |  88k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
514.01/514.20	c   480s|  1320k|195420 |  4455k| 111M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 |  89k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
517.70/517.91	c   483s|  1330k|198210 |  4489k| 112M|  46 |   - | 140 |  27 |   6 |   0 |   0 |  25 |  89k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
521.20/521.47	c   487s|  1340k|200307 |  4521k| 114M|  46 |   - | 140 |  21 |   7 |   0 |   0 |  25 |  90k|  13k| 9.094947e-13 | 6.000000e+00 |    Inf 
524.70/524.96	c   490s|  1350k|201891 |  4553k| 115M|  46 |   - | 140 |  23 |   7 | 140 |  24 |  25 |  91k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
528.20/528.50	c   493s|  1360k|203381 |  4585k| 115M|  46 |   6 | 140 |  21 |   7 | 140 |  24 |  25 |  91k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
531.69/531.96	c   497s|  1370k|204878 |  4616k| 116M|  46 |   - | 140 |  26 |   6 |   0 |   0 |  25 |  92k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
535.20/535.43	c   500s|  1380k|206517 |  4648k| 117M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 |  92k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
538.60/538.86	c   503s|  1390k|207578 |  4680k| 118M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 |  92k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
542.29/542.50	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
542.29/542.50	c   506s|  1400k|209264 |  4714k| 119M|  46 |   - | 140 |  19 |   6 |   0 |   0 |  25 |  93k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
545.79/546.05	c   510s|  1410k|210946 |  4747k| 120M|  46 |   6 | 140 |  23 |   9 | 140 |  24 |  25 |  93k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
549.60/549.80	c   513s|  1420k|213537 |  4782k| 121M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 |  94k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
553.10/553.35	c   517s|  1430k|215109 |  4814k| 122M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 |  94k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
556.59/556.80	c   520s|  1440k|216675 |  4845k| 123M|  46 |   - | 140 |  25 |   6 | 140 |  24 |  25 |  95k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
559.99/560.29	c   523s|  1450k|218451 |  4878k| 124M|  46 |   6 | 140 |  29 |   6 | 140 |  24 |  25 |  95k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
563.48/563.79	c   526s|  1460k|220258 |  4909k| 125M|  46 |   - | 140 |  25 |   6 |   0 |   0 |  25 |  96k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
567.19/567.43	c   530s|  1470k|222189 |  4943k| 126M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 |  96k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
570.69/570.95	c   533s|  1480k|223659 |  4975k| 127M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 |  97k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
574.18/574.42	c   536s|  1490k|225061 |  5005k| 128M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 |  97k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
577.58/577.84	c   539s|  1500k|226245 |  5037k| 129M|  46 |   6 | 140 |  25 |   6 | 140 |  24 |  25 |  98k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
581.78/582.00	c   543s|  1510k|229522 |  5076k| 130M|  46 |   - | 140 |  28 |   6 | 140 |  24 |  25 |  98k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
585.68/585.96	c   547s|  1520k|232390 |  5113k| 132M|  46 |   - | 140 |  28 |   7 | 140 |  24 |  25 |  99k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
589.48/589.71	c   551s|  1530k|234725 |  5149k| 133M|  46 |   6 | 140 |  28 |   6 | 140 |  24 |  25 | 100k|  14k| 9.094947e-13 | 6.000000e+00 |    Inf 
593.17/593.45	c   554s|  1540k|236939 |  5184k| 134M|  46 |   - | 140 |  24 |   8 | 140 |  24 |  25 | 100k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
596.97/597.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
596.97/597.22	c   558s|  1550k|239513 |  5219k| 136M|  46 |   - | 140 |  25 |   7 | 140 |  24 |  25 | 101k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
600.68/600.98	c   561s|  1560k|242124 |  5254k| 137M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 101k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
604.37/604.65	c   565s|  1570k|244067 |  5289k| 138M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 | 102k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
608.17/608.41	c   568s|  1580k|246938 |  5323k| 140M|  46 |   6 | 140 |  28 |   6 | 140 |  24 |  25 | 103k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
611.87/612.11	c   571s|  1590k|249360 |  5356k| 141M|  46 |   6 | 140 |  19 |   7 | 140 |  24 |  25 | 103k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
615.47/615.72	c   575s|  1600k|251273 |  5390k| 142M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 104k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
619.17/619.45	c   578s|  1610k|253631 |  5425k| 143M|  46 |   - | 140 |  27 |   8 | 140 |  24 |  25 | 104k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
622.67/622.97	c   582s|  1620k|255477 |  5457k| 144M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 105k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
626.26/626.55	c   585s|  1630k|257228 |  5491k| 145M|  46 |   - | 140 |  19 |   7 |   0 |   0 |  25 | 106k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
629.96/630.24	c   588s|  1640k|259242 |  5525k| 146M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 106k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
633.56/633.82	c   592s|  1650k|260785 |  5558k| 147M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 107k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
637.06/637.37	c   595s|  1660k|262690 |  5591k| 149M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 107k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
640.66/640.90	c   598s|  1670k|263878 |  5624k| 149M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 108k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
644.15/644.46	c   602s|  1680k|265414 |  5657k| 150M|  46 |   - | 140 |  24 |   7 | 140 |  24 |  25 | 109k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
647.66/647.94	c   605s|  1690k|266621 |  5689k| 151M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 109k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
651.35/651.63	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
651.35/651.63	c   608s|  1700k|268530 |  5723k| 152M|  46 |   - | 140 |  26 |   6 | 140 |  24 |  25 | 110k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
654.85/655.14	c   612s|  1710k|269851 |  5757k| 153M|  46 |   6 | 140 |  20 |   7 | 140 |  24 |  25 | 110k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
658.25/658.59	c   615s|  1720k|270882 |  5790k| 154M|  46 |   - | 140 |  17 |   6 | 140 |  24 |  25 | 111k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
661.85/662.10	c   618s|  1730k|272222 |  5822k| 155M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 112k|  15k| 9.094947e-13 | 6.000000e+00 |    Inf 
665.35/665.64	c   622s|  1740k|273566 |  5855k| 155M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 | 112k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
668.85/669.14	c   625s|  1750k|274535 |  5887k| 156M|  46 |   - | 140 |  17 |   7 | 140 |  24 |  25 | 113k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
672.34/672.62	c   628s|  1760k|275715 |  5919k| 157M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 113k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
675.94/676.23	c   631s|  1770k|277373 |  5952k| 158M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 114k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
679.45/679.73	c   635s|  1780k|278781 |  5985k| 159M|  46 |   - | 140 |  21 |   6 |   0 |   0 |  25 | 115k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
682.85/683.14	c   638s|  1790k|279716 |  6016k| 160M|  46 |   6 | 140 |  27 |   7 | 140 |  24 |  25 | 115k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
686.45/686.72	c   641s|  1800k|281100 |  6050k| 160M|  46 |   - | 140 |  20 |   7 | 140 |  24 |  25 | 116k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
689.94/690.24	c   645s|  1810k|282335 |  6082k| 161M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 117k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
693.44/693.73	c   648s|  1820k|283280 |  6114k| 162M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 | 118k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
697.04/697.33	c   651s|  1830k|285270 |  6147k| 163M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 118k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
700.53/700.83	c   654s|  1840k|287198 |  6179k| 164M|  46 |   6 | 140 |  22 |   7 | 140 |  24 |  25 | 119k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
704.03/704.31	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
704.03/704.31	c   658s|  1850k|288816 |  6211k| 165M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 120k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
707.43/707.71	c   661s|  1860k|290223 |  6241k| 166M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 120k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
710.83/711.15	c   664s|  1870k|291534 |  6272k| 167M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 121k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
714.33/714.60	c   667s|  1880k|293029 |  6303k| 168M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 122k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
717.63/717.99	c   670s|  1890k|293915 |  6333k| 168M|  46 |   - | 140 |  19 |   7 | 140 |  24 |  25 | 122k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
721.03/721.39	c   674s|  1900k|295005 |  6364k| 169M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 123k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
724.43/724.76	c   677s|  1910k|296156 |  6394k| 170M|  46 |   - | 140 |  27 |   7 | 140 |  24 |  25 | 124k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
727.93/728.23	c   680s|  1920k|297139 |  6426k| 171M|  46 |   - | 140 |  21 |   5 |   0 |   0 |  25 | 124k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
731.43/731.75	c   683s|  1930k|298045 |  6458k| 171M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 125k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
734.83/735.18	c   687s|  1940k|298713 |  6490k| 172M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 | 125k|  16k| 9.094947e-13 | 6.000000e+00 |    Inf 
738.32/738.69	c   690s|  1950k|299600 |  6522k| 172M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 126k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
741.92/742.25	c   693s|  1960k|301017 |  6556k| 173M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 | 126k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
745.42/745.77	c   696s|  1970k|302210 |  6589k| 174M|  46 |   - | 140 |  22 |   9 | 140 |  24 |  25 | 127k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
748.82/749.17	c   700s|  1980k|302898 |  6621k| 175M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 128k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
752.32/752.60	c   703s|  1990k|303664 |  6652k| 175M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 128k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
755.71/756.08	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
755.71/756.08	c   706s|  2000k|305104 |  6685k| 176M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 129k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
759.22/759.58	c   709s|  2010k|306978 |  6717k| 177M|  46 |   - | 140 |  23 |   7 | 140 |  24 |  25 | 129k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
762.71/763.01	c   712s|  2020k|308258 |  6749k| 178M|  46 |   - | 140 |  25 |   7 | 140 |  24 |  25 | 130k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
766.11/766.44	c   716s|  2030k|309314 |  6781k| 179M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 130k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
769.51/769.84	c   719s|  2040k|310075 |  6811k| 179M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 131k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
773.01/773.35	c   722s|  2050k|311249 |  6843k| 180M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 131k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
776.50/776.82	c   725s|  2060k|312872 |  6874k| 181M|  46 |   - | 140 |  26 |   6 | 140 |  24 |  25 | 132k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
779.80/780.18	c   728s|  2070k|313892 |  6903k| 182M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 133k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
783.30/783.63	c   732s|  2080k|314984 |  6936k| 183M|  46 |   6 | 140 |  18 |   7 | 140 |  24 |  25 | 133k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
786.70/787.03	c   735s|  2090k|315731 |  6966k| 183M|  46 |   6 | 140 |  25 |   6 | 140 |  24 |  25 | 134k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
790.10/790.48	c   738s|  2100k|316404 |  6997k| 184M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 134k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
793.50/793.89	c   741s|  2110k|317171 |  7028k| 184M|  46 |   6 | 140 |  23 |   7 | 140 |  24 |  25 | 135k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
796.90/797.25	c   744s|  2120k|317523 |  7058k| 185M|  46 |   - | 140 |  24 |   9 | 140 |  24 |  25 | 136k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
800.29/800.64	c   748s|  2130k|318097 |  7088k| 185M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 136k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
803.60/803.98	c   751s|  2140k|318851 |  7117k| 186M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 | 137k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
807.10/807.44	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
807.10/807.44	c   754s|  2150k|319283 |  7148k| 186M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 | 137k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
810.50/810.81	c   757s|  2160k|319646 |  7177k| 187M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 138k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
813.90/814.22	c   760s|  2170k|320279 |  7207k| 187M|  46 |   - | 140 |  20 |   6 |   0 |   0 |  25 | 138k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
817.19/817.56	c   763s|  2180k|320633 |  7237k| 188M|  46 |   - | 140 |  20 |   7 | 140 |  24 |  25 | 139k|  17k| 9.094947e-13 | 6.000000e+00 |    Inf 
820.59/820.94	c   766s|  2190k|321006 |  7269k| 188M|  46 |   - | 140 |  20 |   7 | 140 |  24 |  25 | 140k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
823.99/824.35	c   770s|  2200k|321257 |  7299k| 188M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 140k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
827.39/827.74	c   773s|  2210k|321688 |  7328k| 189M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 | 141k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
830.79/831.12	c   776s|  2220k|322029 |  7358k| 189M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 141k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
834.19/834.51	c   779s|  2230k|322795 |  7388k| 190M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 142k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
837.48/837.84	c   782s|  2240k|323530 |  7418k| 190M|  46 |   - | 140 |  17 |   6 | 140 |  24 |  25 | 143k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
840.78/841.20	c   785s|  2250k|324051 |  7448k| 191M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 | 143k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
844.18/844.55	c   789s|  2260k|324711 |  7478k| 191M|  46 |   - | 140 |  17 |   6 |   0 |   0 |  25 | 144k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
847.58/847.96	c   792s|  2270k|325488 |  7509k| 192M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 145k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
850.98/851.39	c   795s|  2280k|326234 |  7539k| 193M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 145k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
854.48/854.87	c   798s|  2290k|326923 |  7571k| 193M|  46 |   6 | 140 |  23 |   8 | 140 |  24 |  25 | 146k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
857.88/858.29	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
857.88/858.29	c   801s|  2300k|327392 |  7600k| 194M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 147k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
861.28/861.69	c   805s|  2310k|328652 |  7632k| 194M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 | 147k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
864.68/865.02	c   808s|  2320k|328888 |  7661k| 195M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 | 148k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
868.07/868.47	c   811s|  2330k|329376 |  7691k| 195M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 149k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
871.47/871.89	c   814s|  2340k|330289 |  7721k| 196M|  46 |   6 | 140 |  24 |  10 | 140 |  24 |  25 | 149k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
874.78/875.20	c   817s|  2350k|330853 |  7751k| 196M|  46 |   - | 140 |  20 |   7 | 140 |  24 |  25 | 150k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
878.17/878.58	c   820s|  2360k|331267 |  7781k| 197M|  46 |   - | 140 |  24 |   6 | 140 |  24 |  25 | 150k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
881.57/881.94	c   824s|  2370k|331516 |  7811k| 197M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 | 151k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
884.97/885.36	c   827s|  2380k|331893 |  7842k| 198M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 152k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
888.37/888.77	c   830s|  2390k|332610 |  7872k| 198M|  46 |   6 | 140 |  27 |   7 | 140 |  24 |  25 | 152k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
891.77/892.17	c   833s|  2400k|333359 |  7902k| 199M|  46 |   - | 140 |  24 |   5 |   0 |   0 |  25 | 153k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
895.27/895.64	c   836s|  2410k|333737 |  7932k| 199M|  46 |   - | 140 |  26 |   7 | 140 |  24 |  25 | 154k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
898.67/899.04	c   840s|  2420k|334039 |  7962k| 199M|  46 |   6 | 140 |  26 |   8 | 140 |  24 |  25 | 154k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
902.06/902.40	c   843s|  2430k|334497 |  7992k| 200M|  46 |   6 | 140 |  25 |   7 | 140 |  24 |  25 | 155k|  18k| 9.094947e-13 | 6.000000e+00 |    Inf 
905.36/905.72	c   846s|  2440k|334984 |  8020k| 200M|  46 |   - | 140 |  21 |   5 |   0 |   0 |  25 | 155k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
908.86/909.28	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
908.86/909.28	c   849s|  2450k|336316 |  8052k| 201M|  46 |   6 | 140 |  22 |   7 | 140 |  24 |  25 | 156k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
912.46/912.81	c   852s|  2460k|337630 |  8084k| 202M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 | 157k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
915.86/916.20	c   856s|  2470k|338587 |  8114k| 203M|  46 |   - | 140 |  23 |   6 | 140 |  24 |  25 | 157k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
919.26/919.63	c   859s|  2480k|339330 |  8145k| 203M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 158k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
922.65/923.03	c   862s|  2490k|339778 |  8174k| 204M|  46 |   - | 140 |  23 |   6 | 140 |  24 |  25 | 158k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
926.05/926.42	c   865s|  2500k|340913 |  8203k| 204M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 159k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
929.45/929.82	c   868s|  2510k|341406 |  8233k| 205M|  46 |   - | 140 |  23 |   6 | 140 |  24 |  25 | 160k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
932.85/933.21	c   872s|  2520k|341941 |  8262k| 205M|  46 |   - | 140 |  28 |   9 | 140 |  24 |  25 | 160k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
936.25/936.60	c   875s|  2530k|342240 |  8292k| 206M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 161k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
939.55/939.98	c   878s|  2540k|342701 |  8321k| 206M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 162k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
943.05/943.40	c   881s|  2550k|343230 |  8350k| 207M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 162k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
946.45/946.85	c   884s|  2560k|343785 |  8381k| 207M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 163k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
949.85/950.28	c   888s|  2570k|343928 |  8410k| 207M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 | 164k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
953.25/953.67	c   891s|  2580k|344177 |  8439k| 208M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 | 164k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
956.65/957.02	c   894s|  2590k|344430 |  8469k| 208M|  46 |   - | 140 |  19 |   7 | 140 |  24 |  25 | 165k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
960.14/960.54	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
960.14/960.54	c   897s|  2600k|345230 |  8500k| 209M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 166k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
963.54/963.93	c   900s|  2610k|345889 |  8531k| 209M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 166k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
966.94/967.36	c   904s|  2620k|346212 |  8562k| 210M|  46 |   - | 140 |  21 |   9 | 140 |  24 |  25 | 167k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
970.34/970.75	c   907s|  2630k|346113 |  8591k| 210M|  46 |   - | 140 |  17 |   6 | 140 |  24 |  25 | 167k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
973.74/974.17	c   910s|  2640k|346320 |  8621k| 210M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 168k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
977.14/977.50	c   913s|  2650k|346249 |  8650k| 210M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 169k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
980.44/980.89	c   916s|  2660k|346186 |  8678k| 210M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 169k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
983.83/984.28	c   919s|  2670k|346251 |  8707k| 211M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 170k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
987.44/987.87	c   923s|  2680k|347097 |  8740k| 211M|  46 |   6 | 140 |  28 |  10 | 140 |  24 |  25 | 171k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
990.93/991.38	c   926s|  2690k|347408 |  8773k| 211M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 171k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
994.43/994.82	c   929s|  2700k|347309 |  8805k| 212M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 | 172k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
997.82/998.22	c   932s|  2710k|347472 |  8834k| 212M|  46 |   6 | 140 |  20 |   7 | 140 |  24 |  25 | 172k|  19k| 9.094947e-13 | 6.000000e+00 |    Inf 
1001.12/1001.54	c   936s|  2720k|347882 |  8863k| 212M|  46 |   - | 140 |  21 |   7 | 140 |  24 |  25 | 173k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1004.63/1005.01	c   939s|  2730k|348350 |  8895k| 213M|  46 |   - | 140 |  26 |   6 | 140 |  24 |  25 | 174k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1008.03/1008.46	c   942s|  2740k|348670 |  8925k| 213M|  46 |   - | 140 |  29 |   9 |   0 |   0 |  25 | 174k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1011.42/1011.87	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1011.42/1011.87	c   945s|  2750k|348850 |  8954k| 213M|  46 |   - | 140 |  26 |   6 | 140 |  24 |  25 | 175k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1014.83/1015.28	c   948s|  2760k|349286 |  8984k| 214M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 176k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1018.22/1018.67	c   951s|  2770k|350121 |  9014k| 214M|  46 |   6 | 140 |  25 |   6 | 140 |  24 |  25 | 177k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1021.62/1022.07	c   955s|  2780k|350750 |  9045k| 215M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 177k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1025.02/1025.43	c   958s|  2790k|351176 |  9074k| 215M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 178k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1028.42/1028.85	c   961s|  2800k|351534 |  9104k| 216M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 | 178k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1031.82/1032.29	c   964s|  2810k|351803 |  9134k| 216M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 179k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1035.21/1035.67	c   967s|  2820k|352065 |  9163k| 216M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 180k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1038.61/1039.06	c   971s|  2830k|352265 |  9192k| 217M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 181k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1042.01/1042.41	c   974s|  2840k|352208 |  9222k| 217M|  46 |   - | 140 |  20 |   6 |   0 |   0 |  25 | 181k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1045.31/1045.78	c   977s|  2850k|352524 |  9252k| 217M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 | 182k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1048.81/1049.21	c   980s|  2860k|353198 |  9282k| 218M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 183k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1052.11/1052.60	c   983s|  2870k|353729 |  9312k| 218M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 183k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1055.51/1055.94	c   986s|  2880k|354134 |  9340k| 219M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 184k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1058.81/1059.27	c   989s|  2890k|354016 |  9368k| 219M|  46 |   - | 140 |  24 |   6 | 140 |  24 |  25 | 185k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1062.21/1062.63	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1062.21/1062.63	c   993s|  2900k|354374 |  9397k| 219M|  46 |   - | 140 |  21 |   5 |   0 |   0 |  25 | 186k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1065.60/1066.04	c   996s|  2910k|354597 |  9427k| 219M|  46 |   - | 140 |  19 |   7 |   0 |   0 |  25 | 186k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1069.00/1069.46	c   999s|  2920k|354557 |  9455k| 220M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 187k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1072.50/1072.96	c  1002s|  2930k|354631 |  9487k| 220M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 | 188k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1075.90/1076.38	c  1005s|  2940k|355183 |  9516k| 220M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 | 188k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1079.30/1079.74	c  1009s|  2950k|355396 |  9546k| 221M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 189k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1082.60/1083.07	c  1012s|  2960k|355600 |  9575k| 221M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 | 190k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1086.19/1086.62	c  1015s|  2970k|356957 |  9606k| 222M|  46 |   6 | 140 |  28 |   6 | 140 |  24 |  25 | 190k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1089.80/1090.20	c  1018s|  2980k|358845 |  9638k| 223M|  46 |   6 | 140 |  26 |   6 | 140 |  24 |  25 | 191k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1093.29/1093.71	c  1022s|  2990k|360118 |  9670k| 224M|  46 |   6 | 140 |  24 |   7 | 140 |  24 |  25 | 192k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1096.69/1097.13	c  1025s|  3000k|361340 |  9700k| 224M|  46 |   6 | 140 |  27 |   6 | 140 |  24 |  25 | 193k|  20k| 9.094947e-13 | 6.000000e+00 |    Inf 
1100.09/1100.58	c  1028s|  3010k|362428 |  9731k| 225M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 193k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1103.59/1104.02	c  1031s|  3020k|363303 |  9761k| 226M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 | 194k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1106.98/1107.45	c  1034s|  3030k|364442 |  9792k| 227M|  46 |   - | 140 |  24 |   6 | 140 |  24 |  25 | 195k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1110.38/1110.84	c  1038s|  3040k|365126 |  9822k| 227M|  46 |   6 | 140 |  26 |   6 | 140 |  24 |  25 | 196k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1113.79/1114.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1113.79/1114.25	c  1041s|  3050k|365885 |  9852k| 228M|  46 |   6 | 140 |  32 |   7 | 140 |  24 |  25 | 196k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1117.18/1117.62	c  1044s|  3060k|366624 |  9882k| 228M|  46 |   6 | 140 |  29 |   6 | 140 |  24 |  25 | 197k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1120.49/1120.99	c  1047s|  3070k|367559 |  9913k| 229M|  46 |   - | 140 |  24 |   7 |   0 |   0 |  25 | 198k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1123.88/1124.38	c  1050s|  3080k|368418 |  9943k| 230M|  46 |   6 | 140 |  25 |   6 | 140 |  24 |  25 | 199k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1127.38/1127.80	c  1053s|  3090k|369105 |  9972k| 230M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 | 199k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1130.78/1131.22	c  1057s|  3100k|370207 | 10001k| 231M|  46 |   - | 140 |  26 |   7 | 140 |  24 |  25 | 200k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1134.17/1134.63	c  1060s|  3110k|371219 | 10031k| 232M|  46 |   6 | 140 |  25 |   7 | 140 |  24 |  25 | 201k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1137.48/1137.95	c  1063s|  3120k|371724 | 10060k| 232M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 202k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1140.78/1141.28	c  1066s|  3130k|372330 | 10090k| 233M|  46 |   6 | 140 |  25 |   6 | 140 |  24 |  25 | 202k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1144.18/1144.67	c  1069s|  3140k|372573 | 10118k| 233M|  46 |   - | 140 |  25 |   9 | 140 |  24 |  25 | 203k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1147.68/1148.10	c  1072s|  3150k|372962 | 10148k| 233M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 204k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1150.97/1151.46	c  1076s|  3160k|373223 | 10177k| 234M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 | 205k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1154.37/1154.81	c  1079s|  3170k|373674 | 10205k| 234M|  46 |   - | 140 |  24 |   8 |   0 |   0 |  25 | 205k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1157.67/1158.19	c  1082s|  3180k|374126 | 10235k| 235M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 | 206k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1161.07/1161.59	c  1085s|  3190k|374813 | 10265k| 235M|  46 |   - | 140 |  22 |   7 | 140 |  24 |  25 | 207k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1164.47/1164.94	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1164.47/1164.94	c  1088s|  3200k|375121 | 10295k| 236M|  46 |   6 | 140 |  25 |   6 | 140 |  24 |  25 | 208k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1167.87/1168.35	c  1091s|  3210k|375492 | 10324k| 236M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 208k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1171.26/1171.79	c  1095s|  3220k|376036 | 10355k| 236M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 | 209k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1174.76/1175.21	c  1098s|  3230k|376109 | 10384k| 237M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 210k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1178.06/1178.57	c  1101s|  3240k|376599 | 10413k| 237M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 211k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1181.46/1181.95	c  1104s|  3250k|377383 | 10442k| 238M|  46 |   - | 140 |  24 |   7 | 140 |  24 |  25 | 212k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1184.76/1185.26	c  1107s|  3260k|377781 | 10469k| 238M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 | 212k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1188.16/1188.61	c  1110s|  3270k|377928 | 10497k| 238M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 213k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1191.45/1192.00	c  1114s|  3280k|378332 | 10526k| 239M|  46 |   - | 140 |  23 |   6 | 140 |  24 |  25 | 214k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1194.95/1195.43	c  1117s|  3290k|378693 | 10557k| 239M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 215k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1198.35/1198.85	c  1120s|  3300k|379786 | 10588k| 240M|  46 |   - | 140 |  25 |   7 | 140 |  24 |  25 | 215k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1201.85/1202.33	c  1123s|  3310k|381014 | 10619k| 241M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 216k|  21k| 9.094947e-13 | 6.000000e+00 |    Inf 
1205.25/1205.78	c  1126s|  3320k|382058 | 10649k| 242M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 216k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1208.85/1209.30	c  1130s|  3330k|383459 | 10680k| 242M|  46 |   6 | 140 |  25 |   7 | 140 |  24 |  25 | 217k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1212.24/1212.71	c  1133s|  3340k|384411 | 10710k| 243M|  46 |   - | 140 |  25 |   7 | 140 |  24 |  25 | 218k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1215.65/1216.11	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1215.65/1216.11	c  1136s|  3350k|385007 | 10739k| 244M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 218k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1219.14/1219.62	c  1139s|  3360k|386115 | 10769k| 244M|  46 |   - | 140 |  24 |   6 |   0 |   0 |  25 | 219k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1222.64/1223.15	c  1143s|  3370k|387249 | 10799k| 245M|  46 |   - | 140 |  24 |   6 | 140 |  24 |  25 | 220k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1226.24/1226.71	c  1146s|  3380k|388301 | 10831k| 246M|  46 |   6 | 140 |  20 |   7 | 140 |  24 |  25 | 220k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1229.64/1230.19	c  1149s|  3390k|389124 | 10862k| 247M|  46 |   6 | 140 |  21 |   7 | 140 |  24 |  25 | 221k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1233.14/1233.66	c  1153s|  3400k|389414 | 10891k| 247M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 222k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1236.74/1237.26	c  1156s|  3410k|391448 | 10925k| 248M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 222k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1240.63/1241.11	c  1159s|  3420k|394017 | 10960k| 249M|  46 |   6 | 140 |  21 |   7 | 140 |  24 |  25 | 223k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1244.43/1244.99	c  1163s|  3430k|396630 | 10996k| 251M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 224k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1248.13/1248.68	c  1167s|  3440k|398698 | 11030k| 252M|  46 |   6 | 140 |  21 |   7 | 140 |  24 |  25 | 224k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1251.82/1252.39	c  1170s|  3450k|401054 | 11063k| 253M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 225k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1255.53/1256.00	c  1173s|  3460k|402554 | 11095k| 254M|  46 |   6 | 140 |  25 |   6 | 140 |  24 |  25 | 226k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1259.13/1259.60	c  1177s|  3470k|404280 | 11128k| 255M|  46 |   - | 140 |  28 |   8 | 140 |  24 |  25 | 226k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1262.73/1263.22	c  1180s|  3480k|406078 | 11161k| 256M|  46 |   - | 140 |  30 |   6 | 140 |  24 |  25 | 227k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1266.32/1266.86	c  1184s|  3490k|407895 | 11193k| 257M|  46 |   6 | 140 |  20 |   7 | 140 |  24 |  25 | 228k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1270.22/1270.77	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1270.22/1270.77	c  1187s|  3500k|410275 | 11229k| 259M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 | 228k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1273.92/1274.47	c  1191s|  3510k|412356 | 11263k| 260M|  46 |   6 | 140 |  27 |   6 | 140 |  24 |  25 | 229k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1277.52/1278.02	c  1194s|  3520k|414064 | 11296k| 261M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 229k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1281.02/1281.57	c  1197s|  3530k|415609 | 11328k| 262M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 230k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1284.82/1285.32	c  1201s|  3540k|417736 | 11363k| 263M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 231k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1288.52/1289.06	c  1204s|  3550k|420113 | 11396k| 264M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 231k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1292.21/1292.73	c  1208s|  3560k|421985 | 11429k| 265M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 232k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1295.71/1296.29	c  1211s|  3570k|423424 | 11461k| 266M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 233k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1299.31/1299.80	c  1214s|  3580k|424798 | 11493k| 267M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 233k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1302.70/1303.28	c  1218s|  3590k|426117 | 11525k| 268M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 234k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1306.31/1306.85	c  1221s|  3600k|427253 | 11557k| 269M|  46 |   - | 140 |  21 |   7 | 140 |  24 |  25 | 234k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1309.81/1310.38	c  1224s|  3610k|428404 | 11588k| 269M|  46 |   - | 140 |  19 |   7 |   0 |   0 |  25 | 235k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1313.40/1313.92	c  1228s|  3620k|429638 | 11621k| 270M|  46 |   6 | 140 |  19 |   7 | 140 |  24 |  25 | 236k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1317.00/1317.55	c  1231s|  3630k|431444 | 11653k| 271M|  46 |   - | 140 |  18 |   7 | 140 |  24 |  25 | 236k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1320.51/1321.07	c  1234s|  3640k|432717 | 11684k| 272M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 237k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1324.00/1324.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1324.00/1324.59	c  1238s|  3650k|433922 | 11716k| 273M|  46 |   6 | 140 |  24 |   7 | 140 |  24 |  25 | 238k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1327.59/1328.17	c  1241s|  3660k|435257 | 11748k| 274M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 238k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1331.60/1332.13	c  1245s|  3670k|437778 | 11784k| 275M|  46 |   - | 140 |  24 |   7 | 140 |  24 |  25 | 239k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1335.40/1335.91	c  1248s|  3680k|439997 | 11819k| 276M|  46 |   6 | 140 |  18 |   7 | 140 |  24 |  25 | 239k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1339.09/1339.68	c  1252s|  3690k|442307 | 11854k| 278M|  46 |   6 | 140 |  22 |   7 | 140 |  24 |  25 | 240k|  22k| 9.094947e-13 | 6.000000e+00 |    Inf 
1342.79/1343.32	c  1255s|  3700k|443996 | 11887k| 279M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 241k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1346.40/1346.92	c  1259s|  3710k|445531 | 11920k| 280M|  46 |   - | 140 |  20 |   7 | 140 |  24 |  25 | 241k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1349.99/1350.54	c  1262s|  3720k|447092 | 11953k| 281M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 | 242k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1353.59/1354.13	c  1265s|  3730k|448573 | 11985k| 282M|  46 |   - | 140 |  23 |   6 | 140 |  24 |  25 | 242k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1357.09/1357.67	c  1269s|  3740k|450005 | 12017k| 282M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 | 243k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1360.68/1361.27	c  1272s|  3750k|451492 | 12049k| 283M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 243k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1364.39/1364.97	c  1275s|  3760k|454179 | 12082k| 285M|  46 |   6 | 140 |  25 |   7 | 140 |  24 |  25 | 244k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1367.98/1368.51	c  1279s|  3770k|455870 | 12113k| 286M|  46 |   - | 140 |  23 |   6 | 140 |  24 |  25 | 245k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1371.39/1371.98	c  1282s|  3780k|457328 | 12144k| 287M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 245k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1374.88/1375.45	c  1285s|  3790k|458486 | 12175k| 287M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 246k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1378.38/1378.95	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1378.38/1378.95	c  1289s|  3800k|459438 | 12207k| 288M|  46 |   6 | 140 |  22 |  10 | 140 |  24 |  25 | 246k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1381.88/1382.46	c  1292s|  3810k|460914 | 12238k| 289M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 | 247k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1385.38/1385.97	c  1295s|  3820k|461736 | 12270k| 290M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 248k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1388.87/1389.49	c  1298s|  3830k|462927 | 12301k| 291M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 | 248k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1392.48/1393.06	c  1302s|  3840k|463886 | 12332k| 291M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 249k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1395.97/1396.56	c  1305s|  3850k|464812 | 12363k| 292M|  46 |   - | 140 |  22 |   6 | 140 |  24 |  25 | 249k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1399.47/1400.07	c  1308s|  3860k|466177 | 12395k| 293M|  46 |   - | 140 |  23 |   6 | 140 |  24 |  25 | 250k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1403.07/1403.60	c  1312s|  3870k|467448 | 12426k| 294M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 | 250k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1406.57/1407.12	c  1315s|  3880k|468582 | 12458k| 294M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 | 251k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1410.07/1410.66	c  1318s|  3890k|469643 | 12489k| 295M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 | 252k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1413.67/1414.28	c  1322s|  3900k|470615 | 12522k| 296M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 252k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1417.16/1417.80	c  1325s|  3910k|471674 | 12553k| 296M|  46 |   6 | 140 |  22 |   6 | 140 |  24 |  25 | 253k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1420.77/1421.30	c  1328s|  3920k|473223 | 12585k| 297M|  46 |   6 | 140 |  25 |   7 | 140 |  24 |  25 | 253k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1424.36/1424.91	c  1332s|  3930k|475017 | 12617k| 298M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 254k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1427.86/1428.44	c  1335s|  3940k|476406 | 12648k| 299M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 255k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1431.46/1432.07	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1431.46/1432.07	c  1338s|  3950k|477701 | 12681k| 300M|  46 |   6 | 140 |  21 |   8 | 140 |  24 |  25 | 255k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1435.05/1435.60	c  1342s|  3960k|478705 | 12713k| 301M|  46 |   - | 140 |  23 |   6 | 140 |  24 |  25 | 256k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1438.46/1439.08	c  1345s|  3970k|480152 | 12743k| 302M|  46 |   - | 140 |  23 |   6 |   0 |   0 |  25 | 257k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1441.95/1442.55	c  1348s|  3980k|481209 | 12774k| 302M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 | 257k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1445.45/1446.05	c  1351s|  3990k|482347 | 12805k| 303M|  46 |   6 | 140 |  21 |   7 | 140 |  24 |  25 | 258k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1448.95/1449.57	c  1355s|  4000k|483206 | 12836k| 304M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 259k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1452.75/1453.34	c  1358s|  4010k|485525 | 12869k| 305M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 | 259k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1456.25/1456.84	c  1361s|  4020k|486959 | 12901k| 306M|  46 |   - | 140 |  24 |  10 | 140 |  24 |  25 | 260k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1459.65/1460.28	c  1365s|  4030k|487884 | 12931k| 307M|  46 |   6 | 140 |  18 |   7 | 140 |  24 |  25 | 261k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1463.15/1463.74	c  1368s|  4040k|488923 | 12961k| 307M|  46 |   - | 140 |  15 |   5 |   0 |   0 |  25 | 261k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1466.75/1467.30	c  1371s|  4050k|490272 | 12992k| 308M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 262k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1470.24/1470.87	c  1375s|  4060k|492035 | 13023k| 309M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 263k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1473.75/1474.30	c  1378s|  4070k|493219 | 13052k| 310M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 | 263k|  23k| 9.094947e-13 | 6.000000e+00 |    Inf 
1477.24/1477.85	c  1381s|  4080k|494632 | 13084k| 311M|  46 |   - | 140 |  17 |   5 | 140 |  24 |  25 | 264k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1480.74/1481.31	c  1384s|  4090k|495454 | 13115k| 312M|  46 |   - | 140 |  19 |   6 | 140 |  24 |  25 | 265k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1484.24/1484.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1484.24/1484.88	c  1388s|  4100k|496904 | 13146k| 312M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 265k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1487.84/1488.42	c  1391s|  4110k|497993 | 13177k| 313M|  46 |   6 | 140 |  17 |   7 | 140 |  24 |  25 | 266k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1491.43/1492.00	c  1394s|  4120k|499316 | 13209k| 314M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 267k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1494.83/1495.49	c  1398s|  4130k|500285 | 13240k| 315M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 267k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1498.43/1499.05	c  1401s|  4140k|501263 | 13271k| 315M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 | 268k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1501.93/1502.52	c  1404s|  4150k|502217 | 13302k| 316M|  46 |   6 | 140 |  23 |   6 | 140 |  24 |  25 | 269k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1505.43/1506.06	c  1407s|  4160k|503221 | 13333k| 317M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 269k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1509.03/1509.62	c  1411s|  4170k|504240 | 13365k| 318M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 270k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1512.54/1513.17	c  1414s|  4180k|505079 | 13396k| 318M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 | 271k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1516.03/1516.68	c  1417s|  4190k|506175 | 13427k| 319M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 271k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1519.72/1520.36	c  1421s|  4200k|507589 | 13460k| 320M|  46 |   6 | 140 |  20 |   7 | 140 |  24 |  25 | 272k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1523.42/1524.04	c  1424s|  4210k|509480 | 13494k| 321M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 272k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1527.12/1527.77	c  1428s|  4220k|511830 | 13528k| 322M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 273k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1530.82/1531.41	c  1431s|  4230k|514012 | 13560k| 323M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 274k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1534.42/1535.08	c  1435s|  4240k|515803 | 13593k| 324M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 | 274k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1538.02/1538.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1538.02/1538.64	c  1438s|  4250k|517437 | 13626k| 325M|  46 |   6 | 140 |  18 |   7 | 140 |  24 |  25 | 275k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1541.52/1542.15	c  1441s|  4260k|518720 | 13657k| 326M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 | 275k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1545.02/1545.68	c  1445s|  4270k|519959 | 13689k| 327M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 | 276k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1548.72/1549.31	c  1448s|  4280k|521250 | 13722k| 328M|  46 |   6 | 140 |  17 |   8 | 140 |  24 |  25 | 277k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1552.21/1552.83	c  1451s|  4290k|522382 | 13753k| 329M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 | 277k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1555.72/1556.34	c  1455s|  4300k|523564 | 13785k| 329M|  46 |   6 | 140 |  13 |   6 | 140 |  24 |  25 | 278k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1559.31/1559.90	c  1458s|  4310k|524419 | 13818k| 330M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 | 278k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1562.81/1563.42	c  1461s|  4320k|525702 | 13850k| 331M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 279k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1566.31/1566.92	c  1464s|  4330k|526369 | 13881k| 331M|  46 |   - | 140 |  17 |   6 | 140 |  24 |  25 | 280k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1569.91/1570.55	c  1468s|  4340k|527773 | 13913k| 332M|  46 |   - | 140 |  16 |   8 |   0 |   0 |  25 | 280k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1573.41/1574.05	c  1471s|  4350k|529058 | 13944k| 333M|  46 |   - | 140 |  14 |   6 | 140 |  24 |  25 | 281k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1576.90/1577.51	c  1474s|  4360k|529772 | 13974k| 334M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 | 281k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1580.31/1580.94	c  1478s|  4370k|530646 | 14005k| 334M|  46 |   6 | 140 |  17 |   8 | 140 |  24 |  25 | 282k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1583.80/1584.40	c  1481s|  4380k|531524 | 14035k| 335M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 | 282k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1587.30/1587.92	c  1484s|  4390k|532499 | 14066k| 336M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 283k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1590.80/1591.46	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1590.80/1591.46	c  1487s|  4400k|533435 | 14098k| 336M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 | 283k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1594.30/1594.92	c  1491s|  4410k|534051 | 14129k| 337M|  46 |   6 | 140 |  13 |   6 | 140 |  24 |  25 | 284k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1597.70/1598.36	c  1494s|  4420k|535234 | 14159k| 337M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 | 285k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1601.20/1601.89	c  1497s|  4430k|536321 | 14190k| 338M|  46 |   - | 140 |  18 |   8 | 140 |  24 |  25 | 285k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1604.79/1605.41	c  1500s|  4440k|537209 | 14221k| 339M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 | 286k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1608.29/1608.92	c  1504s|  4450k|538048 | 14251k| 339M|  46 |   - | 140 |  17 |   6 | 140 |  24 |  25 | 286k|  24k| 9.094947e-13 | 6.000000e+00 |    Inf 
1611.79/1612.47	c  1507s|  4460k|538756 | 14282k| 340M|  46 |   6 | 140 |  22 |  11 | 140 |  24 |  25 | 287k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1615.30/1615.96	c  1510s|  4470k|539378 | 14313k| 340M|  46 |   6 | 140 |  16 |   6 | 140 |  24 |  25 | 287k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1618.99/1619.62	c  1514s|  4480k|541048 | 14346k| 341M|  46 |   - | 140 |  14 |   6 |   0 |   0 |  25 | 288k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1622.59/1623.25	c  1517s|  4490k|543192 | 14378k| 343M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 | 289k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1626.09/1626.75	c  1520s|  4500k|544740 | 14410k| 344M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 | 290k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1629.68/1630.36	c  1524s|  4510k|546560 | 14441k| 345M|  46 |   6 | 140 |  16 |   7 | 140 |  24 |  25 | 290k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1633.28/1633.94	c  1527s|  4520k|548440 | 14472k| 346M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 | 291k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1636.78/1637.41	c  1530s|  4530k|549379 | 14502k| 346M|  46 |   6 | 140 |  16 |   7 | 140 |  24 |  25 | 292k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1640.18/1640.89	c  1534s|  4540k|550461 | 14533k| 347M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 | 292k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1643.68/1644.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1643.68/1644.39	c  1537s|  4550k|551412 | 14564k| 348M|  46 |   - | 140 |  19 |   8 | 140 |  24 |  25 | 293k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1647.18/1647.89	c  1540s|  4560k|552139 | 14594k| 348M|  46 |   6 | 140 |  24 |   6 | 140 |  24 |  25 | 294k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1650.77/1651.41	c  1544s|  4570k|553147 | 14624k| 349M|  46 |   - | 140 |  21 |   6 |   0 |   0 |  25 | 294k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1654.27/1654.93	c  1547s|  4580k|553884 | 14655k| 350M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 295k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1657.77/1658.40	c  1550s|  4590k|554595 | 14685k| 350M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 296k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1661.17/1661.87	c  1553s|  4600k|555936 | 14715k| 351M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 296k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1664.68/1665.36	c  1557s|  4610k|556777 | 14745k| 352M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 | 297k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1668.17/1668.84	c  1560s|  4620k|557709 | 14775k| 352M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 298k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1671.57/1672.27	c  1563s|  4630k|558386 | 14804k| 353M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 298k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1675.06/1675.75	c  1566s|  4640k|559107 | 14832k| 354M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 299k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1678.56/1679.25	c  1570s|  4650k|560220 | 14863k| 354M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 | 300k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1682.06/1682.71	c  1573s|  4660k|560636 | 14893k| 355M|  46 |   6 | 140 |  15 |   6 | 140 |  24 |  25 | 301k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1685.45/1686.18	c  1576s|  4670k|561080 | 14923k| 355M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 | 301k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1689.05/1689.77	c  1579s|  4680k|561746 | 14954k| 356M|  46 |   6 | 140 |  21 |   7 | 140 |  24 |  25 | 302k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1692.56/1693.27	c  1583s|  4690k|562572 | 14983k| 356M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 302k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1696.05/1696.75	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1696.05/1696.75	c  1586s|  4700k|563419 | 15014k| 357M|  46 |   - | 140 |  16 |   6 | 140 |  24 |  25 | 303k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1699.56/1700.21	c  1589s|  4710k|564386 | 15044k| 358M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 304k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1702.95/1703.66	c  1592s|  4720k|565097 | 15074k| 358M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 304k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1706.45/1707.20	c  1596s|  4730k|565842 | 15103k| 359M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 305k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1710.05/1710.70	c  1599s|  4740k|566405 | 15134k| 359M|  46 |   - | 140 |  20 |   6 | 140 |  24 |  25 | 306k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1713.55/1714.22	c  1602s|  4750k|566837 | 15165k| 360M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 | 306k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1716.95/1717.69	c  1606s|  4760k|567372 | 15195k| 360M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 | 307k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1720.45/1721.13	c  1609s|  4770k|567799 | 15225k| 361M|  46 |   - | 140 |  21 |   6 | 140 |  24 |  25 | 307k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1723.94/1724.64	c  1612s|  4780k|568436 | 15255k| 361M|  46 |   6 | 140 |  20 |   6 | 140 |  24 |  25 | 308k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1727.44/1728.16	c  1615s|  4790k|569150 | 15286k| 362M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 309k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1730.94/1731.62	c  1619s|  4800k|569674 | 15317k| 362M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 | 309k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1734.44/1735.11	c  1622s|  4810k|570235 | 15347k| 363M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 310k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1737.84/1738.59	c  1625s|  4820k|570569 | 15377k| 363M|  46 |   6 | 140 |  19 |   6 | 140 |  24 |  25 | 311k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1741.34/1742.05	c  1628s|  4830k|571090 | 15407k| 364M|  46 |   6 | 140 |  27 |   7 | 140 |  24 |  25 | 311k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1744.83/1745.51	c  1632s|  4840k|571636 | 15436k| 364M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 | 312k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1748.34/1749.05	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1748.34/1749.05	c  1635s|  4850k|572147 | 15466k| 365M|  46 |   - | 140 |  19 |   7 | 140 |  24 |  25 | 313k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1751.94/1752.62	c  1638s|  4860k|572987 | 15497k| 365M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 313k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1755.43/1756.18	c  1642s|  4870k|574092 | 15528k| 366M|  46 |   - | 140 |  18 |   6 | 140 |  24 |  25 | 314k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1758.93/1759.69	c  1645s|  4880k|575191 | 15559k| 367M|  46 |   6 | 140 |  18 |   7 | 140 |  24 |  25 | 315k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1762.43/1763.14	c  1648s|  4890k|575567 | 15588k| 367M|  46 |   6 | 140 |  18 |   6 | 140 |  24 |  25 | 315k|  25k| 9.094947e-13 | 6.000000e+00 |    Inf 
1765.93/1766.64	c  1651s|  4900k|576263 | 15618k| 368M|  46 |   6 | 140 |  21 |   6 | 140 |  24 |  25 | 316k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1769.42/1770.17	c  1655s|  4910k|576928 | 15648k| 368M|  46 |   - | 140 |  13 |   6 | 140 |  24 |  25 | 316k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1772.93/1773.64	c  1658s|  4920k|577637 | 15679k| 369M|  46 |   6 | 140 |  14 |   6 | 140 |  24 |  25 | 317k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1776.42/1777.13	c  1661s|  4930k|578022 | 15710k| 369M|  46 |   6 | 140 |  15 |   7 | 140 |  24 |  25 | 318k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1779.83/1780.60	c  1664s|  4940k|578298 | 15740k| 369M|  46 |   - | 140 |  15 |   6 | 140 |  24 |  25 | 318k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1783.33/1784.10	c  1668s|  4950k|579257 | 15770k| 370M|  46 |   6 | 140 |  13 |   6 | 140 |  24 |  25 | 319k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1786.83/1787.53	c  1671s|  4960k|580100 | 15799k| 371M|  46 |   - | 140 |  14 |   6 | 140 |  24 |  25 | 319k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1790.32/1791.04	c  1674s|  4970k|580421 | 15829k| 371M|  46 |   6 | 140 |  17 |   6 | 140 |  24 |  25 | 320k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1793.82/1794.53	c  1678s|  4980k|580992 | 15860k| 372M|  46 |   6 | 140 |  21 |   7 | 140 |  24 |  25 | 321k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1797.31/1798.00	c  1681s|  4990k|581606 | 15890k| 372M|  46 |   - | 140 |  14 |   6 |   0 |   0 |  25 | 321k|  26k| 9.094947e-13 | 6.000000e+00 |    Inf 
1800.02/1800.70	c 
1800.02/1800.70	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.71	c Solving Time (sec) : 1683.31
1800.02/1800.71	c Solving Nodes      : 4997789
1800.02/1800.71	c Primal Bound       : +6.00000000000000e+00 (54 solutions)
1800.02/1800.71	c Dual Bound         : +9.09494701772928e-13
1800.02/1800.71	c Gap                : infinite
1800.02/1800.71	c NODE         4997789
1800.02/1800.71	c DUAL BOUND   9.09495e-13
1800.02/1800.71	c PRIMAL BOUND 6
1800.02/1800.71	c GAP          1e+20
1800.02/1800.71	s SATISFIABLE
1800.02/1800.71	v x146 -x145 x144 x143 -x142 x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 x131 x130 -x129 x128 x127 -x126 -x125 x124 
1800.02/1800.71	v x123 -x122 -x121 -x120 x119 -x118 x117 x116 x115 x114 x113 x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 
1800.02/1800.71	v x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 
1800.02/1800.71	v -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 
1800.02/1800.71	v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 
1800.02/1800.71	v -x24 -x23 -x22 -x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.02/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.71	c Solving Time       :    1683.31
1800.02/1800.71	c Original Problem   :
1800.02/1800.71	c   Problem name     : HOME/instance-1869510-1245175724.opb
1800.02/1800.71	c   Variables        : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71	c   Constraints      : 12 initial, 12 maximal
1800.02/1800.71	c Presolved Problem  :
1800.02/1800.71	c   Problem name     : t_HOME/instance-1869510-1245175724.opb
1800.02/1800.71	c   Variables        : 140 (140 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71	c   Constraints      : 6 initial, 46 maximal
1800.02/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.71	c   linear           :       0.00          0          6          0          0          0          6          0          0
1800.02/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.71	c   root node        :          -         60          -          -         60          -          -          -          -
1800.02/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.71	c   integral         :          0          0          0    2839108          0         87       9633          0          0    5658958
1800.02/1800.71	c   linear           :          6          6    6758455          0          0     722990    4371436         14          0          0
1800.02/1800.71	c   logicor          :          0+         0    1152970          0          0       8415      86101          0          0          0
1800.02/1800.71	c   countsols        :          0          0          0         28          0          0          0          0          0          0
1800.02/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.71	c   integral         :      31.73       0.00       0.00      31.73       0.00
1800.02/1800.71	c   linear           :     385.39       0.01     385.38       0.00       0.00
1800.02/1800.71	c   logicor          :       2.51       0.00       2.51       0.00       0.00
1800.02/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.71	c   rootredcost      :       2.18         48          0         60
1800.02/1800.71	c   pseudoobj        :      52.06    6779486      21178      84110
1800.02/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.71	c   propagation      :      40.40     752404     315288     363977       46.5          1       27.0          -
1800.02/1800.71	c   infeasible LP    :       0.50       7134       7134       7321       21.4          0        0.0          0
1800.02/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.71	c   applied globally :          -          -          -       7199       21.0          -          -          -
1800.02/1800.71	c   applied locally  :          -          -          -     315221       46.6          -          -          -
1800.02/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.71	c   cut pool         :       0.00          5          -          -         23          -    (maximal pool size: 73)
1800.02/1800.71	c   redcost          :      45.75    3464663          0   13179477          0          0
1800.02/1800.71	c   impliedbounds    :       0.00          6          0          0          0          0
1800.02/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.71	c   gomory           :       0.02          6          0          0          0          0
1800.02/1800.71	c   strongcg         :       0.00          6          0          0         12          0
1800.02/1800.71	c   cmir             :       0.01          6          0          0         27          0
1800.02/1800.71	c   flowcover        :       0.05          6          0          0         35          0
1800.02/1800.71	c   clique           :       0.00          1          0          0          0          0
1800.02/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.71	c   mcf              :       0.00          1          0          0          0          0
1800.02/1800.71	c Pricers            :       Time      Calls       Vars
1800.02/1800.71	c   problem variables:       0.00          0          0
1800.02/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.71	c   relpscost        :      29.14    2839080         87       9633          0          0    5658958
1800.02/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   inference        :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.71	c   LP solutions     :       0.12          -         28
1800.02/1800.71	c   pseudo solutions :       0.00          -          0
1800.02/1800.71	c   feaspump         :       0.36          1          0
1800.02/1800.71	c   oneopt           :       2.00         46          0
1800.02/1800.71	c   crossover        :      13.33         18          0
1800.02/1800.71	c   guideddiving     :      13.81       9168          4
1800.02/1800.71	c   fracdiving       :      16.54       9169          0
1800.02/1800.71	c   veclendiving     :      14.65       9169          3
1800.02/1800.71	c   linesearchdiving :      13.68       9169          5
1800.02/1800.71	c   pscostdiving     :      16.86       9169          5
1800.02/1800.71	c   coefdiving       :      20.39       9169          3
1800.02/1800.71	c   simplerounding   :       1.32          0          0
1800.02/1800.71	c   rounding         :       2.41      25213          0
1800.02/1800.71	c   shifting         :       6.03       7288          0
1800.02/1800.71	c   intshifting      :       0.15          0          0
1800.02/1800.71	c   fixandinfer      :       0.00          0          0
1800.02/1800.71	c   intdiving        :       0.00          0          0
1800.02/1800.71	c   actconsdiving    :       0.00          0          0
1800.02/1800.71	c   objpscostdiving  :       7.90       4132          2
1800.02/1800.71	c   rootsoldiving    :       5.42       1139          4
1800.02/1800.71	c   octane           :       0.00          0          0
1800.02/1800.71	c   rens             :       0.06          1          0
1800.02/1800.71	c   rins             :       0.00          0          0
1800.02/1800.71	c   localbranching   :       0.00          0          0
1800.02/1800.71	c   mutation         :       0.00          0          0
1800.02/1800.71	c   dins             :       0.00          0          0
1800.02/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.71	c   dual LP          :     667.89    4719929   14827869       3.14   22201.06
1800.02/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.71	c   diving/probing LP:      55.55     487058    1086926       2.23   19566.62
1800.02/1800.71	c   strong branching :       5.60      26255      82881       3.16   14800.18
1800.02/1800.71	c     (at root node) :          -         22       1021      46.41          -
1800.02/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.71	c B&B Tree           :
1800.02/1800.71	c   number of runs   :          1
1800.02/1800.71	c   nodes            :    4997789
1800.02/1800.71	c   nodes (total)    :    4997789
1800.02/1800.71	c   nodes left       :     582041
1800.02/1800.71	c   max depth        :         46
1800.02/1800.71	c   max depth (total):         46
1800.02/1800.71	c   backtracks       :    1133961 (22.7%)
1800.02/1800.71	c   delayed cutoffs  :      58478
1800.02/1800.71	c   repropagations   :      91145 (331736 domain reductions, 58205 cutoffs)
1800.02/1800.71	c   avg switch length:       5.78
1800.02/1800.71	c   switching time   :     136.32
1800.02/1800.71	c Solution           :
1800.02/1800.71	c   Solutions found  :         54 (48 improvements)
1800.02/1800.71	c   Primal Bound     : +6.00000000000000e+00   (in run 1, after 566594 nodes, 238.65 seconds, depth 36, found by <relaxation>)
1800.02/1800.71	c   Dual Bound       : +9.09494701772928e-13
1800.02/1800.71	c   Gap              :   infinite
1800.02/1800.71	c   Root Dual Bound  : +9.09494701772928e-13

Verifier Data 

OK	6

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 1.08 3/65 15777
/proc/meminfo: memFree=1868776/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=6100 CPUtime=0
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 573 0 0 0 0 0 0 0 20 0 1 0 185171344 6246400 555 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/15777/statm: 1525 565 325 886 0 635 0

[startup+0.03918 s]
/proc/loadavg: 0.85 0.97 1.08 3/65 15777
/proc/meminfo: memFree=1868776/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=13056 CPUtime=0.02
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 2800 0 0 0 2 0 0 0 20 0 1 0 185171344 13369344 2428 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 3264 2428 545 886 0 2374 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13056

[startup+0.101191 s]
/proc/loadavg: 0.85 0.97 1.08 3/65 15777
/proc/meminfo: memFree=1868776/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=13056 CPUtime=0.09
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 2834 0 0 0 9 0 0 0 20 0 1 0 185171344 13369344 2462 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 3264 2462 551 886 0 2374 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13056

[startup+0.301229 s]
/proc/loadavg: 0.85 0.97 1.08 3/65 15777
/proc/meminfo: memFree=1868776/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=15720 CPUtime=0.29
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 4693 0 0 0 27 2 0 0 22 0 1 0 185171344 16097280 3155 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 3930 3155 567 886 0 3040 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15720

[startup+0.701303 s]
/proc/loadavg: 0.85 0.97 1.08 3/65 15777
/proc/meminfo: memFree=1868776/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=15720 CPUtime=0.69
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 4699 0 0 0 65 4 0 0 25 0 1 0 185171344 16097280 3161 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 3930 3161 573 886 0 3040 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15720

[startup+1.50145 s]
/proc/loadavg: 0.85 0.97 1.08 2/66 15778
/proc/meminfo: memFree=1860640/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=13740 CPUtime=1.49
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 5561 0 0 0 138 11 0 0 25 0 1 0 185171344 14069760 2698 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 3435 2698 573 886 0 2545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13740

[startup+3.10175 s]
/proc/loadavg: 0.86 0.97 1.08 2/66 15778
/proc/meminfo: memFree=1852832/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=14696 CPUtime=3.09
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 8790 0 0 0 283 26 0 0 25 0 1 0 185171344 15048704 2912 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 3674 2912 573 886 0 2784 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14696

[startup+6.30235 s]
/proc/loadavg: 0.86 0.97 1.08 2/66 15778
/proc/meminfo: memFree=1857384/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=16724 CPUtime=6.29
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 9325 0 0 0 585 44 0 0 25 0 1 0 185171344 17125376 3447 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 4181 3447 573 886 0 3291 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16724

[startup+12.7015 s]
/proc/loadavg: 0.88 0.97 1.08 2/66 15778
/proc/meminfo: memFree=1853872/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=20584 CPUtime=12.68
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 13966 0 0 0 1181 87 0 0 25 0 1 0 185171344 21078016 4436 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 5146 4436 573 886 0 4256 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20584

[startup+25.5019 s]
/proc/loadavg: 0.90 0.97 1.08 2/66 15778
/proc/meminfo: memFree=1847280/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=25924 CPUtime=25.48
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 33223 0 0 0 2375 173 0 0 25 0 1 0 185171344 26546176 5821 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 6481 5821 574 886 0 5591 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25924

[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 1.07 2/66 15778
/proc/meminfo: memFree=1825648/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=40624 CPUtime=51.07
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 41942 0 0 0 4759 348 0 0 25 0 1 0 185171344 41598976 9567 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 10156 9567 574 886 0 9266 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40624

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 1.07 2/66 15778
/proc/meminfo: memFree=1810160/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=63992 CPUtime=102.26
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 59244 0 0 0 9539 687 0 0 25 0 1 0 185171344 65527808 15149 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 15998 15149 574 886 0 15108 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 63992

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 1.06 2/66 15778
/proc/meminfo: memFree=1791408/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=82356 CPUtime=162.23
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 75947 0 0 0 15141 1082 0 0 25 0 1 0 185171344 84332544 19839 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 20589 19839 574 886 0 19699 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 82356

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 1.06 2/66 15778
/proc/meminfo: memFree=1767408/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=105800 CPUtime=222.21
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 83192 0 0 0 20762 1459 0 0 25 0 1 0 185171344 108339200 25784 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 26450 25784 574 886 0 25560 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 105800

[startup+282.302 s]
/proc/loadavg: 1.04 0.99 1.06 2/66 15778
/proc/meminfo: memFree=1757040/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=115556 CPUtime=282.19
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 94093 0 0 0 26355 1864 0 0 25 0 1 0 185171344 118329344 28297 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 28889 28297 574 886 0 27999 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 115556

[startup+342.301 s]
/proc/loadavg: 1.01 0.99 1.05 2/66 15778
/proc/meminfo: memFree=1751408/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=121380 CPUtime=342.16
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 96181 0 0 0 31957 2259 0 0 25 0 1 0 185171344 124293120 29732 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 30345 29732 574 886 0 29455 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 121380

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 1.05 2/66 15778
/proc/meminfo: memFree=1748400/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=124260 CPUtime=402.15
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 97559 0 0 0 37557 2658 0 0 25 0 1 0 185171344 127242240 30456 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 31065 30456 574 886 0 30175 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 124260

[startup+462.302 s]
/proc/loadavg: 1.03 1.00 1.04 2/66 15778
/proc/meminfo: memFree=1747824/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=125092 CPUtime=462.13
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 97768 0 0 0 43160 3053 0 0 25 0 1 0 185171344 128094208 30665 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 31273 30665 574 886 0 30383 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 125092

[startup+522.302 s]
/proc/loadavg: 1.01 1.00 1.04 2/66 15778
/proc/meminfo: memFree=1730096/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=145980 CPUtime=522.1
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 102067 0 0 0 48758 3452 0 0 25 0 1 0 185171344 149483520 34964 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 36495 34964 574 886 0 35605 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 145980

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 15778
/proc/meminfo: memFree=1714352/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=161216 CPUtime=582.08
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 105991 0 0 0 54365 3843 0 0 25 0 1 0 185171344 165085184 38888 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 40304 38888 574 886 0 39414 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 161216

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 15778
/proc/meminfo: memFree=1696112/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=178728 CPUtime=642.06
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 110538 0 0 0 59973 4233 0 0 25 0 1 0 185171344 183017472 43435 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 44682 43435 574 886 0 43792 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 178728

[startup+702.302 s]

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

/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 127750 0 0 0 99223 6968 0 0 25 0 1 0 185171344 252219392 60647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 61577 60647 574 886 0 60687 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 246308

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15778
/proc/meminfo: memFree=1616624/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=255972 CPUtime=1121.88
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 130220 0 0 0 104831 7357 0 0 25 0 1 0 185171344 262115328 63117 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 63993 63117 574 886 0 63103 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 255972

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 15778
/proc/meminfo: memFree=1607792/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=264364 CPUtime=1181.86
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 132356 0 0 0 110448 7738 0 0 25 0 1 0 185171344 270708736 65253 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 66091 65253 574 886 0 65201 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 264364

[startup+1242.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 15778
/proc/meminfo: memFree=1595120/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=277056 CPUtime=1241.83
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 135595 0 0 0 116061 8122 0 0 25 0 1 0 185171344 283705344 68492 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 69264 68492 574 886 0 68374 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 277056

[startup+1302.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/66 15778
/proc/meminfo: memFree=1576752/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=294404 CPUtime=1301.81
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 140053 0 0 0 121681 8500 0 0 25 0 1 0 185171344 301469696 72950 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 73601 72950 574 886 0 72711 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 294404

[startup+1362.3 s]
/proc/loadavg: 1.12 1.05 1.00 2/66 15778
/proc/meminfo: memFree=1561008/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=310536 CPUtime=1361.79
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 144191 0 0 0 127290 8889 0 0 25 0 1 0 185171344 317988864 77088 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 77634 77088 574 886 0 76744 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 310536

[startup+1422.31 s]
/proc/loadavg: 1.10 1.05 1.00 2/66 15778
/proc/meminfo: memFree=1546480/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=331780 CPUtime=1421.77
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 147566 0 0 0 132906 9271 0 0 25 0 1 0 185171344 339742720 80463 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 82945 80463 574 886 0 82055 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 331780

[startup+1482.3 s]
/proc/loadavg: 1.10 1.06 1.00 2/66 15778
/proc/meminfo: memFree=1532400/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=345544 CPUtime=1481.74
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 151064 0 0 0 138524 9650 0 0 25 0 1 0 185171344 353837056 83961 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 86386 83961 574 886 0 85496 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 345544

[startup+1542.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/66 15778
/proc/meminfo: memFree=1518768/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=358640 CPUtime=1541.72
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 154429 0 0 0 144136 10036 0 0 25 0 1 0 185171344 367247360 87326 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 89660 87326 574 886 0 88770 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 358640

[startup+1602.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 15778
/proc/meminfo: memFree=1506928/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=370144 CPUtime=1601.7
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 157400 0 0 0 149758 10412 0 0 25 0 1 0 185171344 379027456 90297 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 92536 90297 574 886 0 91646 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 370144

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 15778
/proc/meminfo: memFree=1492272/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=384436 CPUtime=1661.67
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 161019 0 0 0 155368 10799 0 0 25 0 1 0 185171344 393662464 93916 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 96109 93916 574 886 0 95219 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 384436

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 15778
/proc/meminfo: memFree=1482032/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=394872 CPUtime=1721.65
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 163677 0 0 0 160991 11174 0 0 25 0 1 0 185171344 404348928 96574 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 98718 96574 574 886 0 97828 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 394872

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15778
/proc/meminfo: memFree=1470384/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=405608 CPUtime=1781.63
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 166415 0 0 0 166605 11558 0 0 25 0 1 0 185171344 415342592 99312 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 101402 99312 574 886 0 100512 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 405608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15778
/proc/meminfo: memFree=1466992/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=408932 CPUtime=1800.02
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 167248 0 0 0 168331 11671 0 0 25 0 1 0 185171344 418746368 100145 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15777/statm: 102233 100145 574 886 0 101343 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 408932

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15777

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15778
/proc/meminfo: memFree=1466992/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=408932 CPUtime=1800.71
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 167250 0 0 0 168400 11671 0 0 25 0 1 0 185171344 418746368 100147 1992294400 4194304 7823515 548682068736 18446744073709551615 5875115 0 0 4096 0 0 0 0 17 0 0 0
/proc/15777/statm: 102233 100147 576 886 0 101343 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 408932

[startup+1802.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 15779
/proc/meminfo: memFree=1466984/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=408932 CPUtime=1801.5
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 167250 0 0 0 168479 11671 0 0 25 0 1 0 185171344 418746368 100147 1992294400 4194304 7823515 548682068736 18446744073709551615 4744327 0 0 4096 0 0 0 0 17 1 0 0
/proc/15777/statm: 102233 100147 576 886 0 101343 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 408932

[startup+1802.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 15779
/proc/meminfo: memFree=1466984/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=408932 CPUtime=1801.9
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 167250 0 0 0 168519 11671 0 0 25 0 1 0 185171344 418746368 100147 1992294400 4194304 7823515 548682068736 18446744073709551615 4733160 0 0 4096 0 0 0 0 17 1 0 0
/proc/15777/statm: 102233 100147 576 886 0 101343 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 408932

[startup+1802.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 15779
/proc/meminfo: memFree=1466984/2055920 swapFree=4192812/4192956
[pid=15777] ppid=15775 vsize=408932 CPUtime=1802
/proc/15777/stat : 15777 (pbscip.linux.x8) R 15775 15777 15740 0 -1 4194304 167250 0 0 0 168529 11671 0 0 25 0 1 0 185171344 418746368 100147 1992294400 4194304 7823515 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/15777/statm: 102233 100147 576 886 0 101343 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 408932

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.78
CPU time (s): 1802.09
CPU user time (s): 1685.31
CPU system time (s): 116.782
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 408932

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

runsolver used 1.88171 second user time and 4.73028 second system time

The end

Launcher Data 

Begin job on node81 at 2009-06-16 20:08:44
IDJOB=1869510
IDBENCH=2910
IDSOLVER=683
FILE ID=node81/1869510-1245175724
PBS_JOBID= 9363942
Free space on /tmp= 126776 MiB

SOLVER NAME= 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-opt-market-split_6_50_3.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-1869510-1245175724/watcher-1869510-1245175724 -o /tmp/evaluation-result-1869510-1245175724/solver-1869510-1245175724 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869510-1245175724.opb

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=939467579

node81.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1869256 kB
Buffers:         27368 kB
Cached:          85104 kB
SwapCached:          0 kB
Active:          57368 kB
Inactive:        69852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869256 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9964 kB
Writeback:           0 kB
Mapped:          24500 kB
Slab:            45148 kB
Committed_AS:    93340 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126764 MiB
End job on node81 at 2009-06-16 20:38:47