Trace number 1869543

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
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT (TO)2 1800.13 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_2.opb
MD5SUMc0264878059fff5e6fa5f51839a60b24
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1798
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint54
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4099
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 Clp 1.8.2
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869543-1245177713.opb>
0.00/0.01	c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 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, 5 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) 5 del vars, 5 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/115 (87.8%) - 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  5 deleted vars, 5 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 115 variables (115 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02	c       5 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.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    21 | 399k|   0 |   5 | 115 |   5 |   5 | 115 |   5 |   0 |   0 |   0 | 9.094947e-13 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |   108 | 460k|   0 |   8 | 115 |   5 |   5 | 115 |  10 |   5 |   0 |   0 | 9.094947e-13 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |   114 | 506k|   0 |  10 | 115 |   5 |   5 | 115 |  14 |   9 |   0 |   0 | 9.094947e-13 |      --      |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |   118 | 558k|   0 |  11 | 115 |   5 |   5 | 115 |  19 |  14 |   0 |   0 | 9.094947e-13 |      --      |    Inf 
0.00/0.07	c   0.1s|     1 |     0 |   128 | 593k|   0 |  10 | 115 |   5 |   5 | 115 |  23 |  18 |   0 |   0 | 9.094947e-13 |      --      |    Inf 
0.07/0.09	c   0.1s|     1 |     0 |   134 | 654k|   0 |  10 | 115 |   5 |   5 | 115 |  27 |  22 |   0 |   0 | 9.094947e-13 |      --      |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |   139 | 719k|   0 |  11 | 115 |   5 |   5 | 115 |  31 |  26 |   0 |   0 | 9.094947e-13 |      --      |    Inf 
0.09/0.15	c   0.1s|     1 |     2 |   139 | 719k|   0 |  11 | 115 |   5 |   5 | 115 |  31 |  26 |   0 |  11 | 9.094947e-13 |      --      |    Inf 
0.09/0.20	o 231
0.09/0.20	c c 0.2s|    23 |    24 |   264 | 766k|  22 |   - | 115 |   5 |   2 | 115 |  13 |  26 |   1 | 123 | 9.094947e-13 | 2.310000e+02 |    Inf 
0.19/0.28	o 225
0.19/0.28	c o 0.3s|    83 |    84 |   528 | 785k|  34 |   0 | 115 |   5 |   4 | 115 |  13 |  26 |   2 | 287 | 9.094947e-13 | 2.250000e+02 |    Inf 
0.29/0.39	o 112
0.29/0.39	c f 0.4s|   199 |   185 |  1155 | 846k|  34 |   - | 115 |   5 |   2 | 115 |  13 |  26 |   3 | 412 | 9.094947e-13 | 1.120000e+02 |    Inf 
0.39/0.43	o 110
0.39/0.43	c g 0.4s|   253 |   235 |  1381 | 857k|  34 |   - | 115 |   5 |   0 | 115 |  13 |  26 |   4 | 423 | 9.094947e-13 | 1.100000e+02 |    Inf 
0.39/0.49	o 108
0.39/0.49	c p 0.5s|   332 |   301 |  1664 | 894k|  34 |   - | 115 |   5 |   0 | 115 |  13 |  26 |   4 | 465 | 9.094947e-13 | 1.080000e+02 |    Inf 
0.49/0.51	o 106
0.49/0.51	c * 0.5s|   370 |   323 |  1794 | 907k|  34 |   - | 115 |   5 |   0 | 115 |  13 |  26 |   5 | 475 | 9.094947e-13 | 1.060000e+02 |    Inf 
0.49/0.52	o 104
0.49/0.52	c * 0.5s|   376 |   319 |  1803 | 905k|  34 |   - | 115 |   5 |   0 | 115 |  13 |  26 |   5 | 495 | 9.094947e-13 | 1.040000e+02 |    Inf 
0.49/0.52	o 100
0.49/0.52	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.52	c * 0.5s|   377 |   315 |  1803 | 903k|  34 |   - | 115 |   5 |   2 | 115 |  13 |  26 |   5 | 495 | 9.094947e-13 | 1.000000e+02 |    Inf 
0.59/0.66	o 86
0.59/0.66	c C 0.6s|   577 |   497 |  2588 | 981k|  34 |   5 | 115 |   5 |   5 | 115 |  13 |  26 |  18 | 518 | 9.094947e-13 | 8.600000e+01 |    Inf 
0.99/1.03	o 84
0.99/1.03	c f 1.0s|  1018 |   928 |  5125 |1169k|  34 |   - | 115 |   5 |   0 | 115 |  13 |  26 |  48 | 535 | 9.094947e-13 | 8.400000e+01 |    Inf 
1.29/1.39	o 82
1.29/1.39	c v 1.3s|  1451 |  1355 |  7267 |1344k|  34 |   - | 115 |   5 |   0 | 115 |  13 |  26 |  66 | 540 | 9.094947e-13 | 8.200000e+01 |    Inf 
1.39/1.41	o 29
1.39/1.41	c g 1.3s|  1471 |  1190 |  7359 |1262k|  34 |   - | 115 |   5 |   3 | 115 |  13 |  26 |  67 | 544 | 9.094947e-13 | 2.900000e+01 |    Inf 
1.49/1.53	o 18
1.49/1.53	c g 1.4s|  1585 |  1128 |  8195 |1240k|  34 |   - | 115 |   5 |   2 | 115 |  13 |  26 |  82 | 558 | 9.094947e-13 | 1.800000e+01 |    Inf 
5.39/5.42	o 17
5.39/5.42	c * 5.2s|  5859 |  4061 | 34911 |2585k|  34 |   - | 115 |  28 |   0 | 115 |  13 |  26 | 646 | 722 | 9.094947e-13 | 1.700000e+01 |    Inf 
6.09/6.13	o 16
6.09/6.13	c g 5.8s|  6375 |  4332 | 37751 |2705k|  34 |   - | 115 |  33 |   0 | 115 |  13 |  26 | 703 | 755 | 9.094947e-13 | 1.600000e+01 |    Inf 
6.89/6.96	o 15
6.89/6.96	c * 6.6s|  7601 |  5053 | 43649 |3037k|  34 |   - | 115 |  43 |   0 | 115 |  13 |  26 | 872 | 813 | 9.094947e-13 | 1.500000e+01 |    Inf 
8.29/8.39	c   8.0s| 10000 |  6112 | 54232 |3541k|  34 |   - | 115 |  52 |   5 | 115 |  13 |  26 |1116 | 906 | 9.094947e-13 | 1.500000e+01 |    Inf 
13.49/13.58	c  13.0s| 20000 |  9895 | 92442 |5454k|  36 |   5 | 115 |  67 |   8 | 115 |  13 |  26 |2087 |1220 | 9.094947e-13 | 1.500000e+01 |    Inf 
14.28/14.36	o 13
14.28/14.36	c l13.7s| 21674 | 10224 | 98322 |5627k|  36 |   - | 115 |  66 |   0 | 115 |  13 |  26 |2229 |1273 | 9.094947e-13 | 1.300000e+01 |    Inf 
15.88/15.91	o 11
15.88/15.91	c p15.2s| 24962 | 10929 |111315 |5955k|  36 |   - | 115 |  74 |   2 | 115 |  13 |  26 |2467 |1370 | 9.094947e-13 | 1.100000e+01 |    Inf 
18.18/18.23	c  17.4s| 30000 | 11818 |130791 |6501k|  36 |   - | 115 |  80 |   5 | 115 |  13 |  26 |2833 |1536 | 9.094947e-13 | 1.100000e+01 |    Inf 
19.89/19.98	o 9
19.89/19.98	c *19.1s| 33692 | 12448 |145039 |6775k|  36 |   - | 115 |  83 |   0 | 115 |  13 |  26 |3107 |1650 | 9.094947e-13 | 9.000000e+00 |    Inf 
22.78/22.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
22.78/22.83	c  21.8s| 40000 | 13247 |168489 |7340k|  36 |   5 | 115 |  85 |   5 | 115 |  13 |  26 |3588 |1838 | 9.094947e-13 | 9.000000e+00 |    Inf 
25.38/25.48	o 8
25.38/25.48	c *24.3s| 45933 | 13415 |190984 |7514k|  36 |   - | 115 |  90 |   0 | 115 |  13 |  26 |4034 |2049 | 9.094947e-13 | 8.000000e+00 |    Inf 
27.19/27.23	c  26.0s| 50000 | 13516 |206558 |7656k|  36 |   5 | 115 |  91 |   5 | 115 |  13 |  26 |4365 |2151 | 9.094947e-13 | 8.000000e+00 |    Inf 
31.48/31.59	c  30.2s| 60000 | 14141 |248405 |8148k|  36 |   5 | 115 | 144 |   6 | 115 |  13 |  26 |5080 |2340 | 9.094947e-13 | 8.000000e+00 |    Inf 
35.87/35.95	c  34.4s| 70000 | 14313 |292659 |8379k|  36 |   5 | 115 | 176 |   5 | 115 |  13 |  26 |5659 |2501 | 9.094947e-13 | 8.000000e+00 |    Inf 
40.07/40.17	c  38.4s| 80000 | 14085 |333130 |8327k|  36 |   - | 115 | 166 |   5 | 115 |  13 |  26 |6319 |2675 | 9.094947e-13 | 8.000000e+00 |    Inf 
44.37/44.42	c  42.5s| 90000 | 14021 |371185 |8339k|  36 |   - | 115 | 165 |   9 | 115 |  13 |  26 |7037 |2832 | 9.094947e-13 | 8.000000e+00 |    Inf 
48.67/48.74	c  46.6s|100000 | 14137 |411521 |8435k|  36 |   - | 115 | 176 |   7 | 115 |  13 |  26 |7787 |3019 | 9.094947e-13 | 8.000000e+00 |    Inf 
52.97/53.02	c  50.7s|110000 | 13968 |450940 |8398k|  36 |   - | 115 | 153 |   6 | 115 |  13 |  26 |8513 |3177 | 9.094947e-13 | 8.000000e+00 |    Inf 
57.46/57.51	c  55.0s|120000 | 15478 |491211 |9227k|  36 |   5 | 115 | 166 |   5 | 115 |  13 |  26 |9282 |3311 | 9.094947e-13 | 8.000000e+00 |    Inf 
57.66/57.79	o 6
57.66/57.79	c *55.3s|120669 | 15119 |493730 |8790k|  36 |   - | 115 | 169 |   1 | 115 |  13 |  26 |9340 |3318 | 9.094947e-13 | 6.000000e+00 |    Inf 
63.76/63.83	c  61.0s|130000 | 15894 |530939 |9328k|  36 |   5 | 115 | 155 |   5 | 115 |  13 |  26 |9896 |3451 | 9.094947e-13 | 6.000000e+00 |    Inf 
68.17/68.23	c  65.2s|140000 | 17012 |571198 |  10M|  36 |   5 | 115 | 175 |   6 | 115 |  13 |  26 |  10k|3592 | 9.094947e-13 | 6.000000e+00 |    Inf 
72.36/72.43	c  69.2s|150000 | 17087 |610233 |  10M|  36 |   5 | 115 | 185 |   7 | 115 |  13 |  26 |  11k|3746 | 9.094947e-13 | 6.000000e+00 |    Inf 
76.56/76.61	c  73.2s|160000 | 16900 |649315 |  10M|  36 |   - | 115 | 164 |   9 | 115 |  13 |  26 |  11k|3909 | 9.094947e-13 | 6.000000e+00 |    Inf 
80.76/80.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
80.76/80.88	c  77.3s|170000 | 17229 |689195 |  10M|  36 |   5 | 115 | 159 |   5 | 115 |  13 |  26 |  12k|4080 | 9.094947e-13 | 6.000000e+00 |    Inf 
85.05/85.16	c  81.4s|180000 | 17432 |730151 |  10M|  36 |   5 | 115 | 169 |   8 | 115 |  13 |  26 |  13k|4230 | 9.094947e-13 | 6.000000e+00 |    Inf 
89.36/89.44	c  85.5s|190000 | 17231 |770988 |  10M|  36 |   5 | 115 | 184 |   9 | 115 |  13 |  26 |  13k|4381 | 9.094947e-13 | 6.000000e+00 |    Inf 
93.55/93.62	c  89.5s|200000 | 17052 |811454 |  10M|  36 |   - | 115 | 155 |   7 | 115 |  13 |  26 |  14k|4518 | 9.094947e-13 | 6.000000e+00 |    Inf 
97.75/97.82	c  93.5s|210000 | 16949 |852346 |  10M|  36 |   5 | 115 | 146 |  13 | 115 |  13 |  26 |  14k|4661 | 9.094947e-13 | 6.000000e+00 |    Inf 
102.05/102.17	c  97.6s|220000 | 17210 |894459 |  10M|  36 |   5 | 115 | 137 |   9 | 115 |  13 |  26 |  15k|4804 | 9.094947e-13 | 6.000000e+00 |    Inf 
106.35/106.42	c   102s|230000 | 17249 |934755 |  11M|  36 |   - | 115 | 159 |   5 | 115 |  13 |  26 |  16k|4931 | 9.094947e-13 | 6.000000e+00 |    Inf 
110.45/110.59	c   106s|240000 | 16915 |975101 |  10M|  36 |   - | 115 | 147 |   5 | 115 |  13 |  26 |  16k|5064 | 9.094947e-13 | 6.000000e+00 |    Inf 
114.64/114.77	c   110s|250000 | 17248 |  1014k|  11M|  36 |   - | 115 | 139 |   5 |   0 |   0 |  26 |  17k|5189 | 9.094947e-13 | 6.000000e+00 |    Inf 
118.75/118.89	c   114s|260000 | 17031 |  1053k|  11M|  36 |   5 | 115 | 145 |   5 | 115 |  13 |  26 |  18k|5323 | 9.094947e-13 | 6.000000e+00 |    Inf 
122.94/123.09	c   118s|270000 | 16958 |  1094k|  11M|  36 |   5 | 115 | 140 |   7 | 115 |  13 |  26 |  18k|5455 | 9.094947e-13 | 6.000000e+00 |    Inf 
127.24/127.35	c   122s|280000 | 17115 |  1135k|  11M|  36 |   5 | 115 | 109 |   6 | 115 |  13 |  26 |  19k|5582 | 9.094947e-13 | 6.000000e+00 |    Inf 
131.34/131.44	c   126s|290000 | 17324 |  1174k|  11M|  36 |   5 | 115 | 118 |   5 | 115 |  13 |  26 |  19k|5747 | 9.094947e-13 | 6.000000e+00 |    Inf 
135.43/135.58	c   130s|300000 | 17247 |  1215k|  11M|  36 |   5 | 115 | 109 |   5 | 115 |  13 |  26 |  20k|5861 | 9.094947e-13 | 6.000000e+00 |    Inf 
139.64/139.78	c   134s|310000 | 17047 |  1255k|  11M|  36 |   - | 115 |  98 |   5 | 115 |  13 |  26 |  21k|5969 | 9.094947e-13 | 6.000000e+00 |    Inf 
143.94/144.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
143.94/144.03	c   138s|320000 | 17263 |  1297k|  11M|  36 |   5 | 115 | 104 |   5 | 115 |  13 |  26 |  21k|6062 | 9.094947e-13 | 6.000000e+00 |    Inf 
148.03/148.17	c   142s|330000 | 17302 |  1338k|  11M|  36 |   5 | 115 |  93 |   5 | 115 |  13 |  26 |  22k|6175 | 9.094947e-13 | 6.000000e+00 |    Inf 
152.13/152.30	c   146s|340000 | 16916 |  1378k|  11M|  36 |   - | 115 |  90 |   4 | 115 |  13 |  26 |  23k|6279 | 9.094947e-13 | 6.000000e+00 |    Inf 
156.33/156.41	c   149s|350000 | 16677 |  1419k|  11M|  36 |   - | 115 |  99 |   5 | 115 |  13 |  26 |  23k|6376 | 9.094947e-13 | 6.000000e+00 |    Inf 
160.32/160.47	c   153s|360000 | 16580 |  1458k|  11M|  36 |   5 | 115 |  73 |   5 | 115 |  13 |  26 |  24k|6495 | 9.094947e-13 | 6.000000e+00 |    Inf 
164.72/164.81	c   157s|370000 | 17894 |  1498k|  12M|  36 |   - | 115 |  71 |   5 | 115 |  13 |  26 |  24k|6581 | 9.094947e-13 | 6.000000e+00 |    Inf 
168.93/169.04	c   162s|380000 | 18966 |  1538k|  12M|  36 |   - | 115 |  82 |   5 | 115 |  13 |  26 |  25k|6666 | 9.094947e-13 | 6.000000e+00 |    Inf 
173.13/173.21	c   166s|390000 | 19420 |  1577k|  13M|  36 |   - | 115 |  79 |   7 |   0 |   0 |  26 |  26k|6763 | 9.094947e-13 | 6.000000e+00 |    Inf 
177.22/177.33	c   169s|400000 | 19899 |  1616k|  13M|  36 |   - | 115 |  91 |   5 | 115 |  13 |  26 |  26k|6870 | 9.094947e-13 | 6.000000e+00 |    Inf 
181.43/181.50	c   173s|410000 | 20360 |  1655k|  13M|  36 |   - | 115 |  79 |   5 | 115 |  13 |  26 |  27k|6955 | 9.094947e-13 | 6.000000e+00 |    Inf 
185.52/185.63	c   177s|420000 | 20865 |  1693k|  14M|  36 |   5 | 115 |  78 |   5 | 115 |  13 |  26 |  28k|7074 | 9.094947e-13 | 6.000000e+00 |    Inf 
189.61/189.71	c   181s|430000 | 21268 |  1732k|  14M|  36 |   5 | 115 |  79 |   5 | 115 |  13 |  26 |  28k|7180 | 9.094947e-13 | 6.000000e+00 |    Inf 
193.62/193.76	c   185s|440000 | 21430 |  1770k|  15M|  36 |   5 | 115 |  80 |   5 | 115 |  13 |  26 |  29k|7280 | 9.094947e-13 | 6.000000e+00 |    Inf 
197.72/197.85	c   189s|450000 | 21603 |  1810k|  15M|  36 |   5 | 115 |  87 |   5 | 115 |  13 |  26 |  29k|7358 | 9.094947e-13 | 6.000000e+00 |    Inf 
199.42/199.58	o 4
199.42/199.58	c * 191s|454227 | 20704 |  1826k|  14M|  36 |   - | 115 |  88 |   0 | 115 |  13 |  26 |  30k|7407 | 9.094947e-13 | 4.000000e+00 |    Inf 
201.71/201.86	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
201.71/201.86	c   193s|460000 | 20639 |  1849k|  14M|  36 |   - | 115 |  68 |   7 | 115 |  13 |  26 |  30k|7456 | 9.094947e-13 | 4.000000e+00 |    Inf 
205.61/205.77	c   197s|470000 | 20518 |  1887k|  14M|  36 |   5 | 115 |  68 |   5 | 115 |  13 |  26 |  31k|7543 | 9.094947e-13 | 4.000000e+00 |    Inf 
209.61/209.70	c   200s|480000 | 20698 |  1926k|  14M|  36 |   5 | 115 |  78 |   5 | 115 |  13 |  26 |  31k|7629 | 9.094947e-13 | 4.000000e+00 |    Inf 
213.41/213.55	c   204s|490000 | 20619 |  1965k|  14M|  36 |   - | 115 |  90 |   5 | 115 |  13 |  26 |  32k|7709 | 9.094947e-13 | 4.000000e+00 |    Inf 
217.31/217.43	c   208s|500000 | 20064 |  2004k|  14M|  36 |   - | 115 |  71 |   5 |   0 |   0 |  26 |  32k|7785 | 9.094947e-13 | 4.000000e+00 |    Inf 
221.20/221.36	c   212s|510000 | 19959 |  2043k|  14M|  36 |   - | 115 | 112 |   5 | 115 |  13 |  26 |  33k|7856 | 9.094947e-13 | 4.000000e+00 |    Inf 
225.21/225.31	c   215s|520000 | 19537 |  2084k|  13M|  36 |   5 | 115 |  90 |   5 | 115 |  13 |  26 |  33k|7941 | 9.094947e-13 | 4.000000e+00 |    Inf 
229.10/229.21	c   219s|530000 | 19840 |  2122k|  14M|  36 |   - | 115 | 102 |   6 | 115 |  13 |  26 |  34k|8019 | 9.094947e-13 | 4.000000e+00 |    Inf 
233.01/233.11	c   223s|540000 | 19416 |  2161k|  13M|  36 |   - | 115 |  75 |   5 | 115 |  13 |  26 |  34k|8092 | 9.094947e-13 | 4.000000e+00 |    Inf 
236.80/236.92	c   226s|550000 | 19240 |  2198k|  13M|  36 |   5 | 115 |  90 |   5 | 115 |  13 |  26 |  35k|8146 | 9.094947e-13 | 4.000000e+00 |    Inf 
240.60/240.72	c   230s|560000 | 18961 |  2235k|  13M|  36 |   5 | 115 |  94 |   5 | 115 |  13 |  26 |  36k|8208 | 9.094947e-13 | 4.000000e+00 |    Inf 
244.50/244.64	c   234s|570000 | 19036 |  2273k|  13M|  36 |   - | 115 | 144 |   6 | 115 |  13 |  26 |  36k|8259 | 9.094947e-13 | 4.000000e+00 |    Inf 
248.40/248.54	c   237s|580000 | 18668 |  2310k|  13M|  36 |   5 | 115 | 146 |   5 | 115 |  13 |  26 |  37k|8317 | 9.094947e-13 | 4.000000e+00 |    Inf 
252.29/252.41	c   241s|590000 | 18126 |  2349k|  13M|  36 |   - | 115 | 124 |   5 | 115 |  13 |  26 |  37k|8394 | 9.094947e-13 | 4.000000e+00 |    Inf 
256.10/256.24	c   245s|600000 | 17476 |  2387k|  12M|  36 |   - | 115 |  98 |   5 | 115 |  13 |  26 |  38k|8464 | 9.094947e-13 | 4.000000e+00 |    Inf 
259.99/260.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
259.99/260.16	c   249s|610000 | 16956 |  2425k|  11M|  36 |   5 | 115 | 106 |   7 | 115 |  13 |  26 |  38k|8530 | 9.094947e-13 | 4.000000e+00 |    Inf 
263.99/264.15	c   252s|620000 | 17174 |  2465k|  12M|  36 |   5 | 115 | 112 |   6 | 115 |  13 |  26 |  39k|8593 | 9.094947e-13 | 4.000000e+00 |    Inf 
267.89/268.04	c   256s|630000 | 17084 |  2504k|  12M|  36 |   - | 115 | 111 |   5 | 115 |  13 |  26 |  39k|8651 | 9.094947e-13 | 4.000000e+00 |    Inf 
271.79/271.90	c   260s|640000 | 16690 |  2543k|  11M|  36 |   - | 115 | 117 |   5 | 115 |  13 |  26 |  40k|8733 | 9.094947e-13 | 4.000000e+00 |    Inf 
275.58/275.76	c   264s|650000 | 16384 |  2581k|  11M|  36 |   - | 115 | 112 |   7 |   0 |   0 |  26 |  41k|8785 | 9.094947e-13 | 4.000000e+00 |    Inf 
279.49/279.62	c   267s|660000 | 16055 |  2619k|  10M|  36 |   - | 115 | 127 |   5 |   0 |   0 |  26 |  41k|8844 | 9.094947e-13 | 4.000000e+00 |    Inf 
283.39/283.52	c   271s|670000 | 15546 |  2659k|  10M|  36 |   - | 115 | 103 |   6 | 115 |  13 |  26 |  42k|8907 | 9.094947e-13 | 4.000000e+00 |    Inf 
287.29/287.41	c   275s|680000 | 15267 |  2698k|9987k|  36 |   - | 115 | 100 |   5 | 115 |  13 |  26 |  42k|8965 | 9.094947e-13 | 4.000000e+00 |    Inf 
291.08/291.25	c   278s|690000 | 15169 |  2737k|9932k|  36 |   5 | 115 | 126 |   5 | 115 |  13 |  26 |  43k|9022 | 9.094947e-13 | 4.000000e+00 |    Inf 
294.98/295.15	c   282s|700000 | 15363 |  2775k|  10M|  36 |   - | 115 | 156 |   5 | 115 |  13 |  26 |  43k|9100 | 9.094947e-13 | 4.000000e+00 |    Inf 
298.88/299.05	c   286s|710000 | 15825 |  2813k|  10M|  36 |   5 | 115 | 176 |   5 | 115 |  13 |  26 |  44k|9155 | 9.094947e-13 | 4.000000e+00 |    Inf 
302.78/302.92	c   289s|720000 | 15589 |  2851k|  10M|  36 |   5 | 115 | 155 |   5 | 115 |  13 |  26 |  44k|9198 | 9.094947e-13 | 4.000000e+00 |    Inf 
306.58/306.74	c   293s|730000 | 15322 |  2888k|  10M|  36 |   5 | 115 | 172 |   5 | 115 |  13 |  26 |  45k|9260 | 9.094947e-13 | 4.000000e+00 |    Inf 
310.38/310.56	c   297s|740000 | 15204 |  2925k|  10M|  36 |   5 | 115 | 166 |   5 | 115 |  13 |  26 |  45k|9317 | 9.094947e-13 | 4.000000e+00 |    Inf 
314.27/314.41	c   300s|750000 | 14836 |  2964k|9627k|  36 |   5 | 115 | 123 |   8 | 115 |  13 |  26 |  46k|9381 | 9.094947e-13 | 4.000000e+00 |    Inf 
318.07/318.29	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
318.07/318.29	c   304s|760000 | 14781 |  3004k|9554k|  36 |   - | 115 | 105 |   7 | 115 |  13 |  26 |  46k|9445 | 9.094947e-13 | 4.000000e+00 |    Inf 
321.97/322.16	c   308s|770000 | 14790 |  3044k|9617k|  36 |   5 | 115 | 115 |   5 | 115 |  13 |  26 |  47k|9486 | 9.094947e-13 | 4.000000e+00 |    Inf 
325.87/326.07	c   312s|780000 | 14508 |  3083k|9351k|  36 |   - | 115 | 114 |   8 | 115 |  13 |  26 |  47k|9535 | 9.094947e-13 | 4.000000e+00 |    Inf 
329.77/329.96	c   315s|790000 | 14133 |  3123k|8947k|  36 |   - | 115 | 106 |   5 | 115 |  13 |  26 |  48k|9588 | 9.094947e-13 | 4.000000e+00 |    Inf 
333.77/333.97	c   319s|800000 | 14900 |  3162k|9311k|  36 |   5 | 115 | 126 |   7 | 115 |  13 |  26 |  48k|9662 | 9.094947e-13 | 4.000000e+00 |    Inf 
337.67/337.82	c   323s|810000 | 14872 |  3200k|9451k|  36 |   - | 115 | 127 |   5 | 115 |  13 |  26 |  49k|9711 | 9.094947e-13 | 4.000000e+00 |    Inf 
341.56/341.73	c   326s|820000 | 15180 |  3237k|9712k|  36 |   5 | 115 | 151 |   5 | 115 |  13 |  26 |  50k|9753 | 9.094947e-13 | 4.000000e+00 |    Inf 
345.46/345.62	c   330s|830000 | 15131 |  3276k|9793k|  36 |   5 | 115 | 137 |   5 | 115 |  13 |  26 |  50k|9811 | 9.094947e-13 | 4.000000e+00 |    Inf 
349.36/349.55	c   334s|840000 | 15146 |  3316k|9841k|  36 |   5 | 115 | 107 |   6 | 115 |  13 |  26 |  51k|9862 | 9.094947e-13 | 4.000000e+00 |    Inf 
353.36/353.56	c   338s|850000 | 16025 |  3357k|  10M|  36 |   - | 115 | 123 |   6 | 115 |  13 |  26 |  51k|9907 | 9.094947e-13 | 4.000000e+00 |    Inf 
357.37/357.51	c   342s|860000 | 16103 |  3398k|  10M|  36 |   5 | 115 | 102 |   8 | 115 |  13 |  26 |  52k|9951 | 9.094947e-13 | 4.000000e+00 |    Inf 
361.36/361.51	c   345s|870000 | 16267 |  3439k|  10M|  36 |   - | 115 | 105 |   5 | 115 |  13 |  26 |  52k|9997 | 9.094947e-13 | 4.000000e+00 |    Inf 
362.66/362.82	o 2
362.66/362.82	c * 347s|873288 | 15578 |  3452k|9694k|  36 |   - | 115 |  88 |   0 | 115 |  13 |  26 |  53k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
365.06/365.25	c   349s|880000 | 15447 |  3476k|9673k|  36 |   5 | 115 | 103 |   5 | 115 |  13 |  26 |  53k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
368.66/368.90	c   352s|890000 | 16118 |  3512k|  10M|  36 |   - | 115 | 136 |   5 | 115 |  13 |  26 |  53k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
372.25/372.50	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
372.25/372.50	c   356s|900000 | 16006 |  3547k|  10M|  36 |   5 | 115 | 133 |   5 | 115 |  13 |  26 |  54k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
375.85/376.01	c   359s|910000 | 15621 |  3580k|9985k|  36 |   - | 115 | 145 |   6 | 115 |  13 |  26 |  54k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
379.45/379.65	c   363s|920000 | 15373 |  3614k|9804k|  36 |   - | 115 | 139 |   5 | 115 |  13 |  26 |  54k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
383.05/383.28	c   366s|930000 | 15713 |  3648k|  10M|  36 |   - | 115 | 140 |   5 | 115 |  13 |  26 |  55k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
386.65/386.88	c   370s|940000 | 15749 |  3683k|  10M|  36 |   - | 115 | 157 |   5 | 115 |  13 |  26 |  55k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
390.26/390.48	c   373s|950000 | 15668 |  3717k|  10M|  36 |   - | 115 | 168 |   5 |   0 |   0 |  26 |  55k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
393.84/394.04	c   376s|960000 | 15324 |  3751k|9885k|  36 |   5 | 115 | 182 |   9 | 115 |  13 |  26 |  56k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
397.34/397.53	c   380s|970000 | 14951 |  3783k|9590k|  36 |   - | 115 | 175 |   8 |   0 |   0 |  26 |  56k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
401.15/401.33	c   383s|980000 | 14802 |  3817k|9464k|  36 |   5 | 115 | 212 |   5 | 115 |  13 |  26 |  57k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
404.65/404.88	c   387s|990000 | 14611 |  3851k|9260k|  36 |   5 | 115 | 182 |   5 | 115 |  13 |  26 |  57k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
408.34/408.50	c   390s|  1000k| 14420 |  3885k|9107k|  36 |   - | 115 | 198 |   6 | 115 |  13 |  26 |  57k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
411.84/412.00	c   393s|  1010k| 14258 |  3918k|8964k|  36 |   5 | 115 | 222 |   5 | 115 |  13 |  26 |  58k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
415.34/415.54	c   397s|  1020k| 14064 |  3952k|8758k|  36 |   - | 115 | 199 |   5 | 115 |  13 |  26 |  58k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
418.85/419.07	c   400s|  1030k| 14238 |  3985k|8920k|  36 |   5 | 115 | 231 |   7 | 115 |  13 |  26 |  59k|  10k| 9.094947e-13 | 2.000000e+00 |    Inf 
422.34/422.57	c   403s|  1040k| 14052 |  4017k|8772k|  36 |   5 | 115 | 268 |   5 | 115 |  13 |  26 |  59k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
425.93/426.14	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
425.93/426.14	c   407s|  1050k| 13891 |  4051k|8577k|  36 |   5 | 115 | 249 |   5 | 115 |  13 |  26 |  59k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
429.44/429.67	c   410s|  1060k| 13734 |  4084k|8331k|  36 |   5 | 115 | 200 |   5 | 115 |  13 |  26 |  60k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
433.04/433.22	c   414s|  1070k| 13726 |  4117k|8352k|  36 |   5 | 115 | 273 |   5 | 115 |  13 |  26 |  60k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
436.63/436.81	c   417s|  1080k| 13958 |  4151k|8592k|  36 |   5 | 115 | 300 |   5 | 115 |  13 |  26 |  61k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
440.23/440.42	c   420s|  1090k| 13797 |  4186k|8443k|  36 |   5 | 115 | 287 |   6 | 115 |  13 |  26 |  61k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
443.73/443.98	c   424s|  1100k| 13727 |  4220k|8418k|  36 |   - | 115 | 319 |   6 | 115 |  13 |  26 |  61k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
447.33/447.55	c   427s|  1110k| 13748 |  4254k|8457k|  36 |   - | 115 | 351 |   5 | 115 |  13 |  26 |  62k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
450.93/451.11	c   431s|  1120k| 13766 |  4288k|8478k|  36 |   - | 115 | 393 |   6 | 115 |  13 |  26 |  62k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
454.53/454.72	c   434s|  1130k| 13954 |  4322k|8664k|  36 |   - | 115 | 371 |   5 | 115 |  13 |  26 |  63k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
458.02/458.22	c   437s|  1140k| 13824 |  4355k|8605k|  36 |   - | 115 | 390 |   5 | 115 |  13 |  26 |  63k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
461.63/461.88	c   441s|  1150k| 13512 |  4389k|8163k|  36 |   - | 115 | 274 |   5 |   0 |   0 |  26 |  63k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
465.32/465.53	c   444s|  1160k| 13144 |  4423k|7723k|  36 |   5 | 115 | 209 |   5 | 115 |  13 |  26 |  64k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
468.92/469.16	c   448s|  1170k| 13139 |  4459k|7641k|  36 |   - | 115 | 165 |   7 | 115 |  13 |  26 |  64k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
472.52/472.70	c   451s|  1180k| 13289 |  4493k|7824k|  36 |   - | 115 | 185 |   6 | 115 |  13 |  26 |  65k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
476.02/476.24	c   455s|  1190k| 13365 |  4527k|7925k|  36 |   5 | 115 | 198 |  12 | 115 |  13 |  26 |  65k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
479.52/479.75	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
479.52/479.75	c   458s|  1200k| 13042 |  4562k|7607k|  36 |   5 | 115 | 165 |   5 | 115 |  13 |  26 |  65k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
483.12/483.36	c   461s|  1210k| 13450 |  4596k|7899k|  36 |   5 | 115 | 174 |  11 | 115 |  13 |  26 |  66k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
486.62/486.89	c   465s|  1220k| 13201 |  4630k|7797k|  36 |   5 | 115 | 192 |   6 | 115 |  13 |  26 |  66k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
490.12/490.37	c   468s|  1230k| 12952 |  4664k|7568k|  36 |   - | 115 | 209 |   6 | 115 |  13 |  26 |  67k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
493.72/493.98	c   471s|  1240k| 12877 |  4701k|7515k|  36 |   5 | 115 | 218 |   5 | 115 |  13 |  26 |  67k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
497.32/497.51	c   475s|  1250k| 12784 |  4735k|7419k|  36 |   - | 115 | 199 |   5 |   0 |   0 |  26 |  68k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
500.82/501.02	c   478s|  1260k| 12608 |  4768k|7237k|  36 |   5 | 115 | 166 |   5 | 115 |  13 |  26 |  68k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
504.21/504.49	c   481s|  1270k| 12592 |  4800k|7256k|  36 |   5 | 115 | 190 |   5 | 115 |  13 |  26 |  68k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
507.81/508.02	c   485s|  1280k| 12619 |  4833k|7301k|  36 |   - | 115 | 189 |   6 | 115 |  13 |  26 |  69k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
511.21/511.46	c   488s|  1290k| 12472 |  4865k|7161k|  36 |   - | 115 | 186 |   5 | 115 |  13 |  26 |  69k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
514.70/514.94	c   491s|  1300k| 12207 |  4899k|6899k|  36 |   5 | 115 | 173 |   6 | 115 |  13 |  26 |  70k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
518.10/518.38	c   495s|  1310k| 12303 |  4931k|6985k|  36 |   - | 115 | 197 |   5 | 115 |  13 |  26 |  70k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
521.71/521.93	c   498s|  1320k| 12264 |  4966k|6912k|  36 |   5 | 115 | 177 |   6 | 115 |  13 |  26 |  70k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
525.20/525.46	c   501s|  1330k| 12309 |  4998k|7016k|  36 |   - | 115 | 181 |   5 | 115 |  13 |  26 |  71k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
528.81/529.03	c   505s|  1340k| 12501 |  5032k|7145k|  36 |   - | 115 | 177 |   5 | 115 |  13 |  26 |  71k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
532.30/532.50	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
532.30/532.50	c   508s|  1350k| 12036 |  5066k|6749k|  36 |   5 | 115 | 153 |   6 | 115 |  13 |  26 |  71k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
535.90/536.11	c   512s|  1360k| 12063 |  5100k|6813k|  36 |   5 | 115 | 175 |  12 | 115 |  13 |  26 |  72k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
539.50/539.72	c   515s|  1370k| 12054 |  5135k|6808k|  36 |   - | 115 | 225 |   6 | 115 |  13 |  26 |  72k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
543.10/543.32	c   518s|  1380k| 12256 |  5168k|6887k|  36 |   - | 115 | 220 |   8 | 115 |  13 |  26 |  73k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
546.70/546.92	c   522s|  1390k| 12757 |  5202k|7300k|  36 |   5 | 115 | 256 |   7 | 115 |  13 |  26 |  73k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
550.20/550.43	c   525s|  1400k| 12508 |  5234k|7237k|  36 |   - | 115 | 255 |   7 | 115 |  13 |  26 |  74k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
553.69/553.98	c   529s|  1410k| 12441 |  5266k|7242k|  36 |   5 | 115 | 282 |   8 | 115 |  13 |  26 |  74k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
557.20/557.49	c   532s|  1420k| 12064 |  5298k|6914k|  36 |   - | 115 | 298 |   5 | 115 |  13 |  26 |  75k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
560.79/561.02	c   535s|  1430k| 11993 |  5329k|6864k|  36 |   - | 115 | 333 |   5 | 115 |  13 |  26 |  75k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
564.39/564.67	c   539s|  1440k| 12263 |  5363k|7048k|  36 |   - | 115 | 331 |   5 | 115 |  13 |  26 |  76k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
567.99/568.30	c   542s|  1450k| 11943 |  5398k|6791k|  36 |   5 | 115 | 341 |   6 | 115 |  13 |  26 |  76k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
571.59/571.89	c   546s|  1460k| 11915 |  5433k|6784k|  36 |   5 | 115 | 346 |   8 | 115 |  13 |  26 |  77k|  11k| 9.094947e-13 | 2.000000e+00 |    Inf 
575.29/575.50	c   549s|  1470k| 11906 |  5467k|6787k|  36 |   5 | 115 | 326 |   5 | 115 |  13 |  26 |  77k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
578.98/579.28	c   553s|  1480k| 11916 |  5502k|6801k|  36 |   - | 115 | 322 |   5 | 115 |  13 |  26 |  77k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
582.68/582.96	c   556s|  1490k| 12212 |  5537k|7016k|  36 |   - | 115 | 275 |   7 | 115 |  13 |  26 |  78k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
586.18/586.49	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
586.18/586.49	c   560s|  1500k| 12081 |  5570k|6977k|  36 |   - | 115 | 263 |   6 | 115 |  13 |  26 |  78k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
589.78/590.03	c   563s|  1510k| 11970 |  5604k|6932k|  36 |   5 | 115 | 292 |   5 | 115 |  13 |  26 |  79k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
593.38/593.60	c   566s|  1520k| 11831 |  5638k|6770k|  36 |   - | 115 | 289 |   6 | 115 |  13 |  26 |  79k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
596.98/597.20	c   570s|  1530k| 12395 |  5671k|7156k|  36 |   - | 115 | 304 |   4 |   0 |   0 |  26 |  80k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
600.48/600.77	c   573s|  1540k| 12129 |  5703k|7065k|  36 |   - | 115 | 323 |  11 | 115 |  13 |  26 |  80k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
604.17/604.41	c   577s|  1550k| 12058 |  5737k|7038k|  36 |   5 | 115 | 327 |   5 | 115 |  13 |  26 |  80k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
607.67/607.96	c   580s|  1560k| 11819 |  5770k|6789k|  36 |   - | 115 | 359 |   6 | 115 |  13 |  26 |  81k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
611.28/611.52	c   583s|  1570k| 11809 |  5805k|6757k|  36 |   - | 115 | 315 |   6 | 115 |  13 |  26 |  81k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
614.77/615.06	c   587s|  1580k| 11757 |  5839k|6704k|  36 |   - | 115 | 234 |   7 | 115 |  13 |  26 |  82k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
618.37/618.67	c   590s|  1590k| 11879 |  5874k|6805k|  36 |   - | 115 | 256 |  10 | 115 |  13 |  26 |  82k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
622.06/622.31	c   594s|  1600k| 11812 |  5908k|6760k|  36 |   - | 115 | 217 |   7 | 115 |  13 |  26 |  82k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
625.77/626.00	c   597s|  1610k| 12060 |  5943k|6919k|  36 |   - | 115 | 206 |   6 | 115 |  13 |  26 |  83k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
629.37/629.65	c   601s|  1620k| 11747 |  5979k|6706k|  36 |   5 | 115 | 213 |   6 | 115 |  13 |  26 |  83k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
632.97/633.20	c   604s|  1630k| 11682 |  6012k|6685k|  36 |   5 | 115 | 245 |   9 | 115 |  13 |  26 |  84k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
636.46/636.76	c   608s|  1640k| 12156 |  6044k|7011k|  36 |   5 | 115 | 283 |   8 | 115 |  13 |  26 |  84k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
640.06/640.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
640.06/640.33	c   611s|  1650k| 12143 |  6076k|7051k|  36 |   - | 115 | 268 |   5 | 115 |  13 |  26 |  85k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
643.67/643.92	c   614s|  1660k| 11878 |  6110k|6889k|  36 |   5 | 115 | 262 |   5 | 115 |  13 |  26 |  85k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
647.36/647.66	c   618s|  1670k| 11794 |  6148k|6754k|  36 |   - | 115 | 207 |   5 | 115 |  13 |  26 |  86k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
650.96/651.27	c   621s|  1680k| 11688 |  6183k|6684k|  36 |   - | 115 | 182 |  12 | 115 |  13 |  26 |  86k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
654.66/654.90	c   625s|  1690k| 11491 |  6219k|6545k|  36 |   5 | 115 | 118 |   5 | 115 |  13 |  26 |  86k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
658.16/658.49	c   628s|  1700k| 11422 |  6255k|6527k|  36 |   5 | 115 | 135 |   5 | 115 |  13 |  26 |  87k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
661.96/662.23	c   632s|  1710k| 11475 |  6293k|6573k|  36 |   5 | 115 | 134 |   8 | 115 |  13 |  26 |  87k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
665.66/665.98	c   635s|  1720k| 11612 |  6332k|6772k|  36 |   5 | 115 | 128 |   7 | 115 |  13 |  26 |  87k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
669.45/669.76	c   639s|  1730k| 11303 |  6372k|6498k|  36 |   5 | 115 | 152 |   5 | 115 |  13 |  26 |  88k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
673.05/673.31	c   642s|  1740k| 11194 |  6406k|6459k|  36 |   5 | 115 | 178 |   5 | 115 |  13 |  26 |  88k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
676.55/676.87	c   646s|  1750k| 11075 |  6443k|6370k|  36 |   5 | 115 | 122 |   5 | 115 |  13 |  26 |  88k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
680.35/680.66	c   649s|  1760k| 11407 |  6484k|6684k|  36 |   - | 115 | 141 |   6 | 115 |  13 |  26 |  89k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
684.15/684.43	c   653s|  1770k| 11572 |  6523k|6680k|  36 |   5 | 115 | 176 |   5 | 115 |  13 |  26 |  89k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
687.75/688.06	c   656s|  1780k| 11704 |  6557k|6878k|  36 |   - | 115 | 183 |   4 |   0 |   0 |  26 |  90k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
691.35/691.67	c   660s|  1790k| 12026 |  6592k|7185k|  36 |   5 | 115 | 188 |   5 | 115 |  13 |  26 |  90k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
694.95/695.27	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
694.95/695.27	c   663s|  1800k| 11279 |  6626k|6669k|  36 |   - | 115 | 171 |   7 | 115 |  13 |  26 |  90k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
698.65/698.93	c   667s|  1810k| 11330 |  6663k|6583k|  36 |   5 | 115 | 185 |   5 | 115 |  13 |  26 |  91k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
702.25/702.56	c   670s|  1820k| 11612 |  6696k|6830k|  36 |   5 | 115 | 178 |   8 | 115 |  13 |  26 |  91k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
705.85/706.18	c   674s|  1830k| 11989 |  6729k|7106k|  36 |   - | 115 | 171 |   5 | 115 |  13 |  26 |  92k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
709.44/709.70	c   677s|  1840k| 11900 |  6762k|7145k|  36 |   5 | 115 | 171 |   5 | 115 |  13 |  26 |  92k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
712.94/713.25	c   680s|  1850k| 11704 |  6795k|7045k|  36 |   - | 115 | 179 |   5 | 115 |  13 |  26 |  92k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
716.43/716.76	c   684s|  1860k| 11454 |  6828k|6835k|  36 |   - | 115 | 166 |   6 | 115 |  13 |  26 |  93k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
720.04/720.34	c   687s|  1870k| 11495 |  6862k|6878k|  36 |   5 | 115 | 245 |   6 | 115 |  13 |  26 |  93k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
723.64/723.94	c   691s|  1880k| 11406 |  6896k|6880k|  36 |   5 | 115 | 269 |   5 | 115 |  13 |  26 |  94k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
727.24/727.53	c   694s|  1890k| 11313 |  6929k|6792k|  36 |   - | 115 | 265 |   6 | 115 |  13 |  26 |  94k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
730.83/731.15	c   697s|  1900k| 11386 |  6963k|6810k|  36 |   5 | 115 | 229 |   5 | 115 |  13 |  26 |  94k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
734.33/734.65	c   701s|  1910k| 11300 |  6994k|6779k|  36 |   - | 115 | 225 |   5 | 115 |  13 |  26 |  95k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
737.93/738.20	c   704s|  1920k| 11497 |  7027k|6843k|  36 |   5 | 115 | 224 |   5 | 115 |  13 |  26 |  95k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
741.42/741.71	c   708s|  1930k| 11144 |  7059k|6618k|  36 |   - | 115 | 232 |   5 | 115 |  13 |  26 |  96k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
745.03/745.31	c   711s|  1940k| 11192 |  7092k|6623k|  36 |   - | 115 | 210 |   5 | 115 |  13 |  26 |  96k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
748.62/748.91	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
748.62/748.91	c   714s|  1950k| 11573 |  7125k|6888k|  36 |   - | 115 | 205 |   5 | 115 |  13 |  26 |  96k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
752.12/752.45	c   718s|  1960k| 11727 |  7158k|7072k|  36 |   5 | 115 | 241 |   5 | 115 |  13 |  26 |  97k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
755.62/755.97	c   721s|  1970k| 11717 |  7190k|7121k|  36 |   5 | 115 | 238 |   6 | 115 |  13 |  26 |  97k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
759.22/759.50	c   724s|  1980k| 11951 |  7223k|7314k|  36 |   5 | 115 | 246 |   5 | 115 |  13 |  26 |  98k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
762.72/763.05	c   728s|  1990k| 11718 |  7255k|7210k|  36 |   5 | 115 | 245 |   5 | 115 |  13 |  26 |  98k|  12k| 9.094947e-13 | 2.000000e+00 |    Inf 
766.32/766.63	c   731s|  2000k| 11840 |  7287k|7326k|  36 |   5 | 115 | 278 |  10 | 115 |  13 |  26 |  99k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
769.91/770.21	c   735s|  2010k| 12019 |  7319k|7548k|  36 |   5 | 115 | 310 |   5 | 115 |  13 |  26 |  99k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
773.42/773.73	c   738s|  2020k| 11833 |  7351k|7442k|  36 |   5 | 115 | 290 |   5 | 115 |  13 |  26 | 100k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
776.92/777.24	c   741s|  2030k| 11900 |  7382k|7531k|  36 |   5 | 115 | 323 |   6 | 115 |  13 |  26 | 100k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
780.42/780.73	c   745s|  2040k| 11333 |  7413k|6934k|  36 |   - | 115 | 249 |   5 | 115 |  13 |  26 | 100k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
783.91/784.29	c   748s|  2050k| 11231 |  7446k|6651k|  36 |   5 | 115 | 230 |   6 | 115 |  13 |  26 | 101k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
787.51/787.83	c   751s|  2060k| 11065 |  7477k|6565k|  36 |   5 | 115 | 271 |  13 | 115 |  13 |  26 | 101k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
791.01/791.35	c   755s|  2070k| 11044 |  7509k|6502k|  36 |   - | 115 | 269 |   5 | 115 |  13 |  26 | 102k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
794.51/794.86	c   758s|  2080k| 10999 |  7542k|6456k|  36 |   5 | 115 | 248 |   7 | 115 |  13 |  26 | 102k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
797.91/798.28	c   761s|  2090k| 10959 |  7573k|6399k|  36 |   5 | 115 | 207 |   5 | 115 |  13 |  26 | 102k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
801.41/801.72	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
801.41/801.72	c   765s|  2100k| 10930 |  7604k|6421k|  36 |   - | 115 | 231 |   5 | 115 |  13 |  26 | 103k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
804.91/805.29	c   768s|  2110k| 10932 |  7638k|6378k|  36 |   - | 115 | 165 |   5 | 115 |  13 |  26 | 103k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
808.61/808.93	c   771s|  2120k| 10890 |  7674k|6348k|  36 |   - | 115 | 162 |   5 | 115 |  13 |  26 | 103k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
812.40/812.76	c   775s|  2130k| 11936 |  7714k|6924k|  36 |   5 | 115 | 134 |   5 | 115 |  13 |  26 | 104k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
816.10/816.42	c   779s|  2140k| 12101 |  7752k|7168k|  36 |   - | 115 | 140 |   5 | 115 |  13 |  26 | 104k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
819.70/820.05	c   782s|  2150k| 11915 |  7790k|7143k|  36 |   5 | 115 | 129 |   6 | 115 |  13 |  26 | 104k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
823.40/823.76	c   786s|  2160k| 11886 |  7828k|7181k|  36 |   5 | 115 | 140 |   5 | 115 |  13 |  26 | 105k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
827.10/827.46	c   789s|  2170k| 11701 |  7866k|7085k|  36 |   5 | 115 | 137 |   5 | 115 |  13 |  26 | 105k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
830.80/831.18	c   793s|  2180k| 12580 |  7902k|7617k|  36 |   5 | 115 | 188 |   7 | 115 |  13 |  26 | 105k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
834.50/834.80	c   796s|  2190k| 12969 |  7937k|7966k|  36 |   - | 115 | 208 |   6 | 115 |  13 |  26 | 106k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
838.09/838.46	c   800s|  2200k| 13611 |  7971k|8439k|  36 |   5 | 115 | 242 |   9 | 115 |  13 |  26 | 106k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
841.80/842.12	c   803s|  2210k| 13855 |  8006k|8680k|  36 |   5 | 115 | 224 |  15 | 115 |  13 |  26 | 107k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
845.59/845.93	c   807s|  2220k| 15194 |  8041k|9395k|  36 |   - | 115 | 182 |   7 | 115 |  13 |  26 | 107k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
849.29/849.61	c   810s|  2230k| 15958 |  8075k|9929k|  36 |   - | 115 | 147 |  10 | 115 |  13 |  26 | 108k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
852.79/853.19	c   814s|  2240k| 16333 |  8108k|  10M|  36 |   - | 115 | 131 |   5 | 115 |  13 |  26 | 108k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
856.39/856.76	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
856.39/856.76	c   817s|  2250k| 16379 |  8142k|  10M|  36 |   - | 115 | 126 |   5 | 115 |  13 |  26 | 109k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
859.99/860.31	c   820s|  2260k| 16601 |  8174k|  10M|  36 |   5 | 115 | 154 |  13 | 115 |  13 |  26 | 109k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
863.48/863.89	c   824s|  2270k| 16588 |  8207k|  10M|  36 |   5 | 115 | 145 |   5 | 115 |  13 |  26 | 110k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
867.08/867.48	c   827s|  2280k| 16814 |  8241k|  10M|  36 |   5 | 115 | 163 |   6 | 115 |  13 |  26 | 110k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
870.58/870.97	c   831s|  2290k| 16611 |  8273k|  10M|  36 |   - | 115 | 167 |   5 |   0 |   0 |  26 | 111k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
876.08/876.48	c   836s|  2300k| 17016 |  8307k|  11M|  36 |   - | 115 | 137 |   5 | 115 |  13 |  26 | 111k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
879.69/880.08	c   839s|  2310k| 17636 |  8340k|  11M|  36 |   5 | 115 | 140 |  12 | 115 |  13 |  26 | 112k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
883.28/883.65	c   843s|  2320k| 17938 |  8372k|  11M|  36 |   5 | 115 | 155 |  17 | 115 |  13 |  26 | 112k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
886.78/887.18	c   846s|  2330k| 18281 |  8404k|  12M|  36 |   - | 115 | 174 |   6 | 115 |  13 |  26 | 113k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
890.47/890.86	c   849s|  2340k| 19340 |  8437k|  12M|  36 |   5 | 115 | 193 |   5 | 115 |  13 |  26 | 113k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
894.07/894.47	c   853s|  2350k| 20408 |  8469k|  13M|  36 |   5 | 115 | 238 |   6 | 115 |  13 |  26 | 114k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
897.57/897.98	c   856s|  2360k| 20559 |  8500k|  13M|  36 |   5 | 115 | 208 |  11 | 115 |  13 |  26 | 114k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
901.18/901.51	c   859s|  2370k| 20411 |  8531k|  13M|  36 |   - | 115 | 209 |   6 | 115 |  13 |  26 | 115k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
904.68/905.00	c   863s|  2380k| 20114 |  8561k|  13M|  36 |   5 | 115 | 229 |  17 | 115 |  13 |  26 | 115k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
908.17/908.57	c   866s|  2390k| 20123 |  8592k|  13M|  36 |   - | 115 | 248 |   5 | 115 |  13 |  26 | 116k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
911.77/912.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
911.77/912.12	c   870s|  2400k| 19808 |  8623k|  13M|  36 |   - | 115 | 227 |   5 | 115 |  13 |  26 | 116k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
915.27/915.63	c   873s|  2410k| 19643 |  8653k|  13M|  36 |   - | 115 | 242 |   5 | 115 |  13 |  26 | 117k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
918.77/919.13	c   876s|  2420k| 19825 |  8683k|  13M|  36 |   - | 115 | 275 |   6 | 115 |  13 |  26 | 117k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
922.36/922.71	c   880s|  2430k| 19514 |  8714k|  13M|  36 |   5 | 115 | 253 |   5 | 115 |  13 |  26 | 118k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
925.87/926.26	c   883s|  2440k| 19164 |  8744k|  13M|  36 |   - | 115 | 250 |   5 | 115 |  13 |  26 | 118k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
929.46/929.86	c   886s|  2450k| 19063 |  8775k|  13M|  36 |   5 | 115 | 237 |   5 | 115 |  13 |  26 | 119k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
933.06/933.42	c   890s|  2460k| 18731 |  8807k|  13M|  36 |   - | 115 | 239 |   6 | 115 |  13 |  26 | 119k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
936.56/936.95	c   893s|  2470k| 18345 |  8840k|  12M|  36 |   5 | 115 | 174 |   5 | 115 |  13 |  26 | 120k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
940.07/940.49	c   897s|  2480k| 18155 |  8871k|  12M|  36 |   5 | 115 | 202 |   5 | 115 |  13 |  26 | 120k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
943.66/944.06	c   900s|  2490k| 17875 |  8904k|  12M|  36 |   5 | 115 | 180 |   5 | 115 |  13 |  26 | 121k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
947.36/947.72	c   903s|  2500k| 18282 |  8937k|  12M|  36 |   5 | 115 | 187 |  13 | 115 |  13 |  26 | 122k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
950.86/951.29	c   907s|  2510k| 18400 |  8970k|  13M|  36 |   5 | 115 | 180 |  11 | 115 |  13 |  26 | 122k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
954.46/954.86	c   910s|  2520k| 18587 |  9004k|  13M|  36 |   - | 115 | 188 |   8 |   0 |   0 |  26 | 123k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
958.05/958.44	c   914s|  2530k| 18063 |  9037k|  12M|  36 |   5 | 115 | 150 |   6 | 115 |  13 |  26 | 123k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
961.65/962.02	c   917s|  2540k| 17847 |  9071k|  12M|  36 |   5 | 115 | 121 |   5 | 115 |  13 |  26 | 124k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
965.26/965.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
965.26/965.64	c   921s|  2550k| 17670 |  9104k|  12M|  36 |   5 | 115 | 184 |   5 | 115 |  13 |  26 | 124k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
968.76/969.13	c   924s|  2560k| 17244 |  9134k|  12M|  36 |   - | 115 | 117 |   5 | 115 |  13 |  26 | 125k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
972.15/972.52	c   927s|  2570k| 17010 |  9164k|  12M|  36 |   - | 115 | 129 |   6 | 115 |  13 |  26 | 125k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
975.65/976.01	c   930s|  2580k| 16897 |  9194k|  12M|  36 |   - | 115 | 141 |   5 | 115 |  13 |  26 | 126k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
979.15/979.53	c   934s|  2590k| 16628 |  9226k|  11M|  36 |   5 | 115 | 125 |   8 | 115 |  13 |  26 | 126k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
982.75/983.10	c   937s|  2600k| 16550 |  9257k|  11M|  36 |   5 | 115 | 166 |  13 | 115 |  13 |  26 | 127k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
986.25/986.64	c   941s|  2610k| 16208 |  9289k|  11M|  36 |   - | 115 | 171 |   8 | 115 |  13 |  26 | 127k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
989.75/990.14	c   944s|  2620k| 15594 |  9320k|  11M|  36 |   5 | 115 | 145 |   5 | 115 |  13 |  26 | 128k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
993.25/993.60	c   947s|  2630k| 15065 |  9350k|  10M|  36 |   - | 115 | 125 |   7 | 115 |  13 |  26 | 128k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
996.74/997.13	c   951s|  2640k| 14848 |  9383k|  10M|  36 |   5 | 115 | 130 |  19 | 115 |  13 |  26 | 129k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1000.24/1000.65	c   954s|  2650k| 14264 |  9415k|9932k|  36 |   - | 115 | 132 |   5 | 115 |  13 |  26 | 129k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1003.84/1004.20	c   957s|  2660k| 14104 |  9448k|9764k|  36 |   - | 115 | 166 |   5 | 115 |  13 |  26 | 130k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1007.33/1007.77	c   961s|  2670k| 13822 |  9482k|9542k|  36 |   5 | 115 | 162 |   5 | 115 |  13 |  26 | 130k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1010.93/1011.32	c   964s|  2680k| 13538 |  9515k|9257k|  36 |   5 | 115 | 156 |   5 | 115 |  13 |  26 | 131k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1014.54/1014.91	c   967s|  2690k| 13223 |  9550k|8969k|  36 |   - | 115 | 160 |   5 | 115 |  13 |  26 | 132k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1018.03/1018.44	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1018.03/1018.44	c   971s|  2700k| 13032 |  9583k|8787k|  36 |   - | 115 | 184 |   7 | 115 |  13 |  26 | 132k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1021.53/1021.99	c   974s|  2710k| 12706 |  9616k|8456k|  36 |   - | 115 | 147 |   5 | 115 |  13 |  26 | 133k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1025.23/1025.62	c   978s|  2720k| 12709 |  9650k|8452k|  36 |   5 | 115 | 231 |   5 | 115 |  13 |  26 | 133k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1028.73/1029.17	c   981s|  2730k| 12479 |  9682k|8241k|  36 |   - | 115 | 197 |   5 | 115 |  13 |  26 | 134k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1032.23/1032.70	c   984s|  2740k| 12358 |  9713k|8163k|  36 |   5 | 115 | 254 |   5 | 115 |  13 |  26 | 134k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1035.73/1036.19	c   988s|  2750k| 12617 |  9744k|8321k|  36 |   5 | 115 | 245 |   6 | 115 |  13 |  26 | 135k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1039.32/1039.70	c   991s|  2760k| 12612 |  9774k|8401k|  36 |   - | 115 | 246 |   5 | 115 |  13 |  26 | 135k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1042.82/1043.28	c   994s|  2770k| 12543 |  9805k|8365k|  36 |   5 | 115 | 308 |   9 | 115 |  13 |  26 | 136k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1046.43/1046.87	c   998s|  2780k| 12169 |  9837k|7949k|  36 |   - | 115 | 197 |   5 | 115 |  13 |  26 | 136k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1049.93/1050.34	c  1001s|  2790k| 11993 |  9867k|7767k|  36 |   - | 115 | 239 |  24 |   0 |   0 |  26 | 137k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1053.42/1053.83	c  1005s|  2800k| 11700 |  9899k|7439k|  36 |   5 | 115 | 208 |  15 | 115 |  13 |  26 | 137k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1056.82/1057.29	c  1008s|  2810k| 11516 |  9931k|7249k|  36 |   - | 115 | 193 |   5 | 115 |  13 |  26 | 138k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1060.42/1060.85	c  1011s|  2820k| 11262 |  9964k|6879k|  36 |   - | 115 | 141 |   4 |   0 |   0 |  26 | 138k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1063.92/1064.31	c  1014s|  2830k| 11221 |  9995k|6845k|  36 |   - | 115 | 205 |   6 |   0 |   0 |  26 | 139k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1067.42/1067.81	c  1018s|  2840k| 11260 | 10025k|6831k|  36 |   - | 115 | 206 |  14 | 115 |  13 |  26 | 139k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1070.81/1071.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1070.81/1071.22	c  1021s|  2850k| 11162 | 10051k|6798k|  36 |   - | 115 | 264 |   5 | 115 |  13 |  26 | 140k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1074.22/1074.69	c  1024s|  2860k| 11368 | 10081k|6888k|  36 |   - | 115 | 242 |   5 | 115 |  13 |  26 | 140k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1077.71/1078.17	c  1028s|  2870k| 11158 | 10111k|6802k|  36 |   5 | 115 | 264 |  21 | 115 |  13 |  26 | 141k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1081.31/1081.76	c  1031s|  2880k| 11262 | 10142k|6812k|  36 |   - | 115 | 337 |   5 | 115 |  13 |  26 | 142k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1084.81/1085.23	c  1034s|  2890k| 11366 | 10171k|6984k|  36 |   - | 115 | 342 |   5 | 115 |  13 |  26 | 142k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1088.31/1088.72	c  1038s|  2900k| 11002 | 10201k|6649k|  36 |   - | 115 | 313 |   5 |   0 |   0 |  26 | 143k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1091.81/1092.22	c  1041s|  2910k| 11296 | 10231k|6811k|  36 |   - | 115 | 359 |   5 | 115 |  13 |  26 | 143k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1095.41/1095.85	c  1045s|  2920k| 11985 | 10263k|7361k|  36 |   - | 115 | 460 |   5 | 115 |  13 |  26 | 144k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1099.00/1099.40	c  1048s|  2930k| 11912 | 10293k|7472k|  36 |   - | 115 | 479 |   5 | 115 |  13 |  26 | 145k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1102.60/1103.00	c  1051s|  2940k| 11938 | 10324k|7592k|  36 |   5 | 115 | 525 |   7 | 115 |  13 |  26 | 145k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1106.21/1106.60	c  1055s|  2950k| 11840 | 10354k|7572k|  36 |   5 | 115 | 546 |   6 | 115 |  13 |  26 | 146k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1109.70/1110.14	c  1058s|  2960k| 11802 | 10383k|7632k|  36 |   - | 115 | 585 |   5 | 115 |  13 |  26 | 147k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1113.20/1113.66	c  1062s|  2970k| 11559 | 10413k|7467k|  36 |   5 | 115 | 566 |   5 | 115 |  13 |  26 | 147k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1116.80/1117.21	c  1065s|  2980k| 11498 | 10443k|7213k|  36 |   5 | 115 | 485 |   9 | 115 |  13 |  26 | 148k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1120.30/1120.72	c  1068s|  2990k| 11509 | 10472k|7366k|  36 |   - | 115 | 548 |   5 | 115 |  13 |  26 | 149k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1123.80/1124.28	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1123.80/1124.28	c  1072s|  3000k| 11746 | 10503k|7613k|  36 |   4 | 115 | 604 |   5 | 115 |  13 |  26 | 149k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1127.40/1127.80	c  1075s|  3010k| 11667 | 10531k|7615k|  36 |   5 | 115 | 608 |   7 | 115 |  13 |  26 | 150k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1130.79/1131.28	c  1078s|  3020k| 11402 | 10560k|7424k|  36 |   - | 115 | 643 |  15 | 115 |  13 |  26 | 151k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1134.39/1134.83	c  1082s|  3030k| 11196 | 10589k|6914k|  36 |   - | 115 | 544 |   5 | 115 |  13 |  26 | 151k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1137.89/1138.38	c  1085s|  3040k| 11217 | 10620k|6745k|  36 |   - | 115 | 387 |   5 | 115 |  13 |  26 | 152k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1141.49/1141.93	c  1089s|  3050k| 11743 | 10650k|7197k|  36 |   - | 115 | 447 |   5 | 115 |  13 |  26 | 153k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1144.99/1145.46	c  1092s|  3060k| 11857 | 10679k|7391k|  36 |   5 | 115 | 444 |   8 | 115 |  13 |  26 | 153k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1148.48/1148.95	c  1095s|  3070k| 12079 | 10707k|7594k|  36 |   5 | 115 | 493 |   6 | 115 |  13 |  26 | 154k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1151.98/1152.42	c  1099s|  3080k| 11930 | 10736k|7564k|  36 |   - | 115 | 493 |   5 | 115 |  13 |  26 | 155k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1155.48/1155.96	c  1102s|  3090k| 11907 | 10766k|7563k|  36 |   - | 115 | 425 |   6 | 115 |  13 |  26 | 156k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1158.98/1159.50	c  1105s|  3100k| 12310 | 10796k|7869k|  36 |   - | 115 | 489 |   5 | 115 |  13 |  26 | 157k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1162.47/1162.98	c  1109s|  3110k| 12156 | 10825k|7840k|  36 |   5 | 115 | 516 |  10 | 115 |  13 |  26 | 157k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1165.97/1166.45	c  1112s|  3120k| 11653 | 10853k|7417k|  36 |   - | 115 | 389 |   8 | 115 |  13 |  26 | 158k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1169.48/1169.97	c  1115s|  3130k| 12151 | 10883k|7770k|  36 |   5 | 115 | 415 |   5 | 115 |  13 |  26 | 159k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1172.98/1173.46	c  1119s|  3140k| 12542 | 10914k|8094k|  36 |   5 | 115 | 444 |  33 | 115 |  13 |  26 | 159k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1176.58/1177.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1176.58/1177.04	c  1122s|  3150k| 12864 | 10947k|8380k|  36 |   - | 115 | 441 |  12 | 115 |  13 |  26 | 160k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1180.07/1180.57	c  1125s|  3160k| 12683 | 10979k|8323k|  36 |   - | 115 | 401 |   6 | 115 |  13 |  26 | 160k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1183.56/1184.05	c  1129s|  3170k| 12402 | 11010k|8176k|  36 |   5 | 115 | 374 |   7 | 115 |  13 |  26 | 161k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1187.07/1187.56	c  1132s|  3180k| 12236 | 11041k|8014k|  36 |   - | 115 | 407 |   5 |   0 |   0 |  26 | 162k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1190.47/1190.98	c  1135s|  3190k| 12640 | 11068k|8378k|  36 |   5 | 115 | 464 |   6 | 115 |  13 |  26 | 163k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1193.86/1194.36	c  1138s|  3200k| 12093 | 11095k|8036k|  36 |   - | 115 | 475 |   6 | 115 |  13 |  26 | 163k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1197.37/1197.85	c  1142s|  3210k| 11909 | 11124k|7861k|  36 |   5 | 115 | 458 |   5 | 115 |  13 |  26 | 164k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1200.86/1201.34	c  1145s|  3220k| 11596 | 11152k|7556k|  36 |   5 | 115 | 495 |   5 | 115 |  13 |  26 | 165k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1204.36/1204.86	c  1148s|  3230k| 11356 | 11181k|7281k|  36 |   5 | 115 | 486 |  10 | 115 |  13 |  26 | 166k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1207.86/1208.38	c  1152s|  3240k| 10912 | 11210k|6582k|  36 |   5 | 115 | 432 |   9 | 115 |  13 |  26 | 166k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1211.36/1211.82	c  1155s|  3250k| 10897 | 11240k|6651k|  36 |   5 | 115 | 534 |   9 | 115 |  13 |  26 | 167k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1214.86/1215.31	c  1158s|  3260k| 10781 | 11269k|6513k|  36 |   5 | 115 | 504 |  42 | 115 |  13 |  26 | 168k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1218.46/1218.91	c  1162s|  3270k| 11064 | 11300k|6772k|  36 |   5 | 115 | 573 |   6 | 115 |  13 |  26 | 168k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1221.95/1222.49	c  1165s|  3280k| 10950 | 11331k|6672k|  36 |   5 | 115 | 437 |  12 | 115 |  13 |  26 | 169k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1225.66/1226.14	c  1169s|  3290k| 11023 | 11364k|6655k|  36 |   5 | 115 | 414 |   5 | 115 |  13 |  26 | 169k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1229.65/1230.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1229.65/1230.10	c  1173s|  3300k| 12049 | 11402k|7104k|  36 |   5 | 115 | 332 |   6 | 115 |  13 |  26 | 170k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1234.85/1235.36	c  1178s|  3310k| 12753 | 11437k|7605k|  36 |   - | 115 | 340 |   5 | 115 |  13 |  26 | 170k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1238.65/1239.10	c  1181s|  3320k| 13368 | 11472k|8084k|  36 |   5 | 115 | 374 |   9 | 115 |  13 |  26 | 171k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1242.35/1242.80	c  1185s|  3330k| 14472 | 11505k|8736k|  36 |   5 | 115 | 369 |   6 | 115 |  13 |  26 | 171k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1245.95/1246.48	c  1188s|  3340k| 14751 | 11538k|9010k|  36 |   - | 115 | 287 |   6 | 115 |  13 |  26 | 172k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1249.55/1250.05	c  1192s|  3350k| 15328 | 11570k|9424k|  36 |   - | 115 | 255 |   5 | 115 |  13 |  26 | 172k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1253.15/1253.64	c  1195s|  3360k| 15282 | 11603k|9512k|  36 |   5 | 115 | 190 |  13 | 115 |  13 |  26 | 173k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1256.75/1257.23	c  1198s|  3370k| 15216 | 11637k|9582k|  36 |   5 | 115 | 178 |   6 | 115 |  13 |  26 | 173k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1260.34/1260.85	c  1202s|  3380k| 15404 | 11670k|9800k|  36 |   - | 115 | 166 |   7 | 115 |  13 |  26 | 173k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1264.04/1264.52	c  1205s|  3390k| 15589 | 11707k|9998k|  36 |   5 | 115 | 177 |   5 | 115 |  13 |  26 | 174k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1267.64/1268.12	c  1209s|  3400k| 15605 | 11740k|  10M|  36 |   5 | 115 | 216 |  11 | 115 |  13 |  26 | 174k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1271.34/1271.86	c  1212s|  3410k| 16935 | 11773k|  10M|  36 |   5 | 115 | 244 |   6 | 115 |  13 |  26 | 175k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1274.83/1275.38	c  1216s|  3420k| 17464 | 11803k|  11M|  36 |   5 | 115 | 277 |   7 | 115 |  13 |  26 | 175k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1278.34/1278.86	c  1219s|  3430k| 17578 | 11832k|  11M|  36 |   5 | 115 | 279 |  16 | 115 |  13 |  26 | 176k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1281.84/1282.39	c  1222s|  3440k| 17746 | 11862k|  11M|  36 |   5 | 115 | 287 |   5 | 115 |  13 |  26 | 176k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1285.34/1285.90	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1285.34/1285.90	c  1226s|  3450k| 17485 | 11892k|  11M|  36 |   5 | 115 | 198 |   5 | 115 |  13 |  26 | 177k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1288.94/1289.41	c  1229s|  3460k| 17386 | 11922k|  11M|  36 |   - | 115 | 160 |   7 | 115 |  13 |  26 | 177k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1292.43/1292.96	c  1232s|  3470k| 16950 | 11954k|  11M|  36 |   - | 115 | 162 |   5 | 115 |  13 |  26 | 178k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1296.03/1296.54	c  1236s|  3480k| 17574 | 11986k|  11M|  36 |   5 | 115 | 219 |  14 | 115 |  13 |  26 | 178k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1299.63/1300.11	c  1239s|  3490k| 17201 | 12020k|  11M|  36 |   - | 115 | 228 |   5 | 115 |  13 |  26 | 179k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1303.23/1303.79	c  1243s|  3500k| 17228 | 12054k|  11M|  36 |   - | 115 | 201 |   5 | 115 |  13 |  26 | 179k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1307.03/1307.56	c  1246s|  3510k| 18342 | 12089k|  12M|  36 |   5 | 115 | 306 |  16 | 115 |  13 |  26 | 180k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1310.63/1311.16	c  1250s|  3520k| 18625 | 12121k|  12M|  36 |   5 | 115 | 278 |   7 | 115 |  13 |  26 | 180k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1314.23/1314.79	c  1253s|  3530k| 19135 | 12154k|  13M|  36 |   5 | 115 | 385 |   7 | 115 |  13 |  26 | 181k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1317.83/1318.33	c  1257s|  3540k| 19160 | 12184k|  13M|  36 |   5 | 115 | 325 |  12 | 115 |  13 |  26 | 181k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1321.52/1322.03	c  1260s|  3550k| 19259 | 12218k|  13M|  36 |   - | 115 | 334 |   6 |   0 |   0 |  26 | 182k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1325.22/1325.74	c  1264s|  3560k| 19358 | 12252k|  13M|  36 |   5 | 115 | 268 |   6 | 115 |  13 |  26 | 182k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1328.72/1329.29	c  1267s|  3570k| 18907 | 12283k|  13M|  36 |   - | 115 | 279 |   5 | 115 |  13 |  26 | 183k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1332.32/1332.80	c  1270s|  3580k| 18430 | 12314k|  13M|  36 |   5 | 115 | 277 |   7 | 115 |  13 |  26 | 183k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1335.81/1336.31	c  1274s|  3590k| 17765 | 12344k|  12M|  36 |   - | 115 | 183 |   5 | 115 |  13 |  26 | 184k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1339.22/1339.80	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1339.22/1339.80	c  1277s|  3600k| 17267 | 12375k|  12M|  36 |   - | 115 | 199 |   6 | 115 |  13 |  26 | 184k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1342.92/1343.42	c  1280s|  3610k| 17683 | 12406k|  12M|  36 |   5 | 115 | 238 |   5 | 115 |  13 |  26 | 185k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1346.42/1346.95	c  1284s|  3620k| 17870 | 12436k|  12M|  36 |   5 | 115 | 259 |   5 | 115 |  13 |  26 | 185k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1349.91/1350.41	c  1287s|  3630k| 17984 | 12464k|  12M|  36 |   5 | 115 | 287 |   5 | 115 |  13 |  26 | 186k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1353.31/1353.87	c  1290s|  3640k| 17724 | 12493k|  12M|  36 |   - | 115 | 295 |   5 | 115 |  13 |  26 | 186k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1356.81/1357.33	c  1294s|  3650k| 17636 | 12522k|  12M|  36 |   - | 115 | 304 |   5 | 115 |  13 |  26 | 186k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1360.41/1360.94	c  1297s|  3660k| 17461 | 12554k|  12M|  36 |   - | 115 | 259 |   5 | 115 |  13 |  26 | 187k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1364.11/1364.62	c  1301s|  3670k| 17486 | 12589k|  12M|  36 |   5 | 115 | 231 |   6 | 115 |  13 |  26 | 187k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1367.71/1368.27	c  1304s|  3680k| 17331 | 12625k|  12M|  36 |   5 | 115 | 181 |   5 | 115 |  13 |  26 | 188k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1371.31/1371.89	c  1308s|  3690k| 16777 | 12660k|  12M|  36 |   - | 115 | 139 |   5 | 115 |  13 |  26 | 188k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1374.81/1375.38	c  1311s|  3700k| 16435 | 12691k|  11M|  36 |   5 | 115 | 150 |   6 | 115 |  13 |  26 | 188k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1378.30/1378.84	c  1314s|  3710k| 16088 | 12722k|  11M|  36 |   - | 115 | 185 |   5 | 115 |  13 |  26 | 189k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1381.70/1382.29	c  1318s|  3720k| 15801 | 12750k|  11M|  36 |   - | 115 | 198 |   6 | 115 |  13 |  26 | 189k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1385.20/1385.77	c  1321s|  3730k| 15309 | 12780k|  11M|  36 |   5 | 115 | 142 |   6 | 115 |  13 |  26 | 190k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1388.81/1389.35	c  1324s|  3740k| 14826 | 12812k|  10M|  36 |   - | 115 | 115 |   5 | 115 |  13 |  26 | 190k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1392.50/1393.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1392.50/1393.03	c  1328s|  3750k| 15463 | 12850k|  11M|  36 |   5 | 115 | 125 |   6 | 115 |  13 |  26 | 190k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1396.10/1396.64	c  1331s|  3760k| 15707 | 12885k|  11M|  36 |   5 | 115 | 147 |   5 | 115 |  13 |  26 | 191k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1399.70/1400.22	c  1335s|  3770k| 15770 | 12920k|  11M|  36 |   5 | 115 | 139 |   8 | 115 |  13 |  26 | 191k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1403.30/1403.84	c  1338s|  3780k| 15642 | 12956k|  11M|  36 |   - | 115 | 129 |   5 | 115 |  13 |  26 | 191k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1406.89/1407.45	c  1341s|  3790k| 15496 | 12991k|  11M|  36 |   5 | 115 | 151 |   5 | 115 |  13 |  26 | 191k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1410.40/1410.97	c  1345s|  3800k| 14957 | 13024k|  10M|  36 |   - | 115 | 135 |   6 | 115 |  13 |  26 | 192k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1414.00/1414.51	c  1348s|  3810k| 14665 | 13056k|  10M|  36 |   - | 115 | 193 |   5 | 115 |  13 |  26 | 192k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1417.49/1418.01	c  1352s|  3820k| 13731 | 13086k|9839k|  36 |   - | 115 | 150 |   4 |   0 |   0 |  26 | 193k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1420.99/1421.57	c  1355s|  3830k| 13299 | 13117k|9402k|  36 |   - | 115 | 140 |   5 | 115 |  13 |  26 | 193k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1424.49/1425.09	c  1358s|  3840k| 12532 | 13147k|8589k|  36 |   - | 115 | 135 |   5 | 115 |  13 |  26 | 194k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1427.99/1428.55	c  1362s|  3850k| 11935 | 13176k|7930k|  36 |   - | 115 | 113 |  12 |   0 |   0 |  26 | 194k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1431.48/1432.04	c  1365s|  3860k| 12095 | 13205k|7990k|  36 |   - | 115 | 177 |   6 |   0 |   0 |  26 | 195k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1434.89/1435.49	c  1368s|  3870k| 11493 | 13234k|7394k|  36 |   - | 115 | 137 |   5 |   0 |   0 |  26 | 195k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1438.48/1439.01	c  1371s|  3880k| 11363 | 13265k|7219k|  36 |   5 | 115 | 180 |   6 | 115 |  13 |  26 | 196k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1441.99/1442.59	c  1375s|  3890k| 11476 | 13296k|7168k|  36 |   5 | 115 | 235 |   5 | 115 |  13 |  26 | 196k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1445.58/1446.18	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1445.58/1446.18	c  1378s|  3900k| 11066 | 13327k|6861k|  36 |   5 | 115 | 209 |  67 | 115 |  13 |  26 | 197k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1449.28/1449.88	c  1382s|  3910k| 12234 | 13361k|7571k|  36 |   5 | 115 | 219 |   5 | 115 |  13 |  26 | 197k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1452.87/1453.46	c  1385s|  3920k| 12645 | 13393k|7919k|  36 |   - | 115 | 210 |   5 | 115 |  13 |  26 | 198k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1456.48/1457.02	c  1389s|  3930k| 12681 | 13426k|8078k|  36 |   - | 115 | 193 |   5 | 115 |  13 |  26 | 198k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1460.08/1460.60	c  1392s|  3940k| 12327 | 13460k|7952k|  36 |   - | 115 | 187 |   9 | 115 |  13 |  26 | 199k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1463.57/1464.16	c  1395s|  3950k| 12003 | 13492k|7796k|  36 |   - | 115 | 199 |   5 | 115 |  13 |  26 | 199k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1467.17/1467.78	c  1399s|  3960k| 11013 | 13525k|6711k|  36 |   5 | 115 | 178 |   5 | 115 |  13 |  26 | 200k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1470.77/1471.30	c  1402s|  3970k| 11000 | 13557k|6670k|  36 |   5 | 115 | 240 |   6 | 115 |  13 |  26 | 200k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1474.27/1474.85	c  1406s|  3980k| 10721 | 13590k|6387k|  36 |   - | 115 | 207 |   4 |   0 |   0 |  26 | 200k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1477.87/1478.44	c  1409s|  3990k| 10826 | 13623k|6450k|  36 |   - | 115 | 259 |   6 | 115 |  13 |  26 | 201k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1481.57/1482.17	c  1412s|  4000k| 10811 | 13660k|6460k|  36 |   - | 115 | 312 |   9 |   0 |   0 |  26 | 201k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1485.16/1485.72	c  1416s|  4010k| 10627 | 13692k|6322k|  36 |   5 | 115 | 202 |   8 | 115 |  13 |  26 | 202k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1488.77/1489.39	c  1419s|  4020k| 10711 | 13726k|6424k|  36 |   5 | 115 | 216 |   6 | 115 |  13 |  26 | 202k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1492.36/1492.96	c  1423s|  4030k| 10692 | 13758k|6400k|  36 |   - | 115 | 253 |   5 | 115 |  13 |  26 | 203k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1495.97/1496.51	c  1426s|  4040k| 10614 | 13790k|6375k|  36 |   - | 115 | 282 |   6 | 115 |  13 |  26 | 203k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1499.46/1500.07	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1499.46/1500.07	c  1430s|  4050k| 10517 | 13822k|6326k|  36 |   5 | 115 | 334 |   5 | 115 |  13 |  26 | 203k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1503.17/1503.75	c  1433s|  4060k| 10754 | 13855k|6525k|  36 |   - | 115 | 365 |   5 | 115 |  13 |  26 | 204k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1506.76/1507.36	c  1437s|  4070k| 10467 | 13886k|6266k|  36 |   - | 115 | 229 |   8 | 115 |  13 |  26 | 205k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1510.35/1510.95	c  1440s|  4080k| 10395 | 13920k|6246k|  36 |   - | 115 | 240 |  14 |   0 |   0 |  26 | 205k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1513.96/1514.52	c  1443s|  4090k| 10415 | 13950k|6320k|  36 |   5 | 115 | 348 |   5 | 115 |  13 |  26 | 206k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1517.56/1518.16	c  1447s|  4100k| 10562 | 13981k|6377k|  36 |   5 | 115 | 313 |   6 | 115 |  13 |  26 | 206k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1521.15/1521.76	c  1450s|  4110k| 11116 | 14011k|6799k|  36 |   - | 115 | 338 |   6 | 115 |  13 |  26 | 207k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1524.75/1525.36	c  1454s|  4120k| 10720 | 14043k|6644k|  36 |   - | 115 | 309 |   5 | 115 |  13 |  26 | 207k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1528.36/1528.95	c  1457s|  4130k| 10855 | 14073k|6787k|  36 |   5 | 115 | 333 |   8 | 115 |  13 |  26 | 208k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1531.85/1532.50	c  1460s|  4140k| 10472 | 14105k|6498k|  36 |   5 | 115 | 314 |   5 | 115 |  13 |  26 | 208k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1535.44/1536.04	c  1464s|  4150k| 10328 | 14135k|6282k|  36 |   5 | 115 | 309 |   6 | 115 |  13 |  26 | 208k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1539.05/1539.67	c  1467s|  4160k| 11150 | 14167k|6762k|  36 |   5 | 115 | 293 |   6 | 115 |  13 |  26 | 209k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1542.65/1543.29	c  1471s|  4170k| 11421 | 14198k|7060k|  36 |   - | 115 | 300 |   5 | 115 |  13 |  26 | 209k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1546.25/1546.86	c  1474s|  4180k| 11101 | 14229k|6960k|  36 |   - | 115 | 284 |   5 | 115 |  13 |  26 | 210k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1549.84/1550.40	c  1478s|  4190k| 10953 | 14260k|6909k|  36 |   5 | 115 | 289 |   9 | 115 |  13 |  26 | 210k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1553.34/1553.96	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1553.34/1553.96	c  1481s|  4200k| 10808 | 14292k|6833k|  36 |   - | 115 | 277 |   5 | 115 |  13 |  26 | 211k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1556.84/1557.49	c  1484s|  4210k| 10183 | 14322k|6180k|  36 |   - | 115 | 256 |   6 | 115 |  13 |  26 | 211k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1560.44/1561.09	c  1488s|  4220k| 10524 | 14353k|6330k|  36 |   - | 115 | 193 |   4 |   0 |   0 |  26 | 211k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1564.04/1564.68	c  1491s|  4230k| 10828 | 14384k|6585k|  36 |   - | 115 | 108 |   5 | 115 |  13 |  26 | 212k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1567.54/1568.20	c  1494s|  4240k| 10929 | 14414k|6737k|  36 |   - | 115 |  89 |   5 | 115 |  13 |  26 | 212k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1571.13/1571.72	c  1498s|  4250k| 11001 | 14444k|6863k|  36 |   - | 115 | 114 |   6 | 115 |  13 |  26 | 212k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1574.73/1575.31	c  1501s|  4260k| 11399 | 14478k|7207k|  36 |   5 | 115 | 127 |   6 | 115 |  13 |  26 | 213k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1578.24/1578.84	c  1505s|  4270k| 11684 | 14508k|7429k|  36 |   5 | 115 |  99 |   7 | 115 |  13 |  26 | 213k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1581.83/1582.43	c  1508s|  4280k| 12201 | 14540k|7804k|  36 |   - | 115 | 129 |   5 |   0 |   0 |  26 | 213k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1585.43/1586.01	c  1511s|  4290k| 12421 | 14571k|8063k|  36 |   5 | 115 | 172 |   7 | 115 |  13 |  26 | 214k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1588.83/1589.50	c  1515s|  4300k| 12334 | 14601k|8089k|  36 |   5 | 115 | 180 |   7 | 115 |  13 |  26 | 214k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1592.33/1592.95	c  1518s|  4310k| 12260 | 14631k|8098k|  36 |   - | 115 | 173 |   6 | 115 |  13 |  26 | 215k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1595.83/1596.40	c  1521s|  4320k| 11871 | 14661k|7830k|  36 |   5 | 115 | 133 |   9 | 115 |  13 |  26 | 215k|  13k| 9.094947e-13 | 2.000000e+00 |    Inf 
1599.22/1599.89	c  1525s|  4330k| 11759 | 14691k|7789k|  36 |   - | 115 | 163 |  13 | 115 |  13 |  26 | 215k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1602.83/1603.48	c  1528s|  4340k| 11713 | 14724k|7773k|  36 |   5 | 115 | 183 |   9 | 115 |  13 |  26 | 216k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1606.43/1607.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1606.43/1607.10	c  1531s|  4350k| 11409 | 14757k|7547k|  36 |   - | 115 | 119 |   5 |   0 |   0 |  26 | 216k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1610.02/1610.67	c  1535s|  4360k| 11252 | 14789k|7403k|  36 |   5 | 115 | 138 |   7 | 115 |  13 |  26 | 216k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1613.62/1614.30	c  1538s|  4370k| 12054 | 14821k|7910k|  36 |   5 | 115 | 130 |   8 | 115 |  13 |  26 | 217k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1617.22/1617.87	c  1542s|  4380k| 12454 | 14853k|8263k|  36 |   - | 115 | 135 |   7 | 115 |  13 |  26 | 217k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1620.83/1621.47	c  1545s|  4390k| 12247 | 14886k|8244k|  36 |   5 | 115 | 133 |   9 | 115 |  13 |  26 | 218k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1624.32/1624.99	c  1548s|  4400k| 11970 | 14918k|8106k|  36 |   5 | 115 | 122 |   6 | 115 |  13 |  26 | 218k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1627.92/1628.53	c  1552s|  4410k| 11466 | 14950k|7745k|  36 |   5 | 115 | 132 |   9 | 115 |  13 |  26 | 219k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1631.42/1632.05	c  1555s|  4420k| 11132 | 14983k|7459k|  36 |   - | 115 | 136 |  10 | 115 |  13 |  26 | 219k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1634.92/1635.56	c  1559s|  4430k| 11174 | 15016k|7507k|  36 |   - | 115 | 176 |   6 |   0 |   0 |  26 | 219k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1638.52/1639.17	c  1562s|  4440k| 10658 | 15050k|7027k|  36 |   - | 115 | 124 |   5 | 115 |  13 |  26 | 220k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1642.11/1642.73	c  1565s|  4450k| 10069 | 15083k|6412k|  36 |   5 | 115 | 204 |   6 | 115 |  13 |  26 | 220k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1645.71/1646.34	c  1569s|  4460k|  9832 | 15116k|6001k|  36 |   - | 115 | 139 |   5 | 115 |  13 |  26 | 220k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1649.32/1649.93	c  1572s|  4470k|  9758 | 15147k|5947k|  36 |   5 | 115 | 181 |   6 | 115 |  13 |  26 | 221k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1652.81/1653.44	c  1576s|  4480k|  9669 | 15178k|5920k|  36 |   5 | 115 | 174 |   6 | 115 |  13 |  26 | 221k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1656.31/1656.94	c  1579s|  4490k|  9728 | 15209k|6005k|  36 |   - | 115 | 255 |   7 |   0 |   0 |  26 | 222k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1659.90/1660.54	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1659.90/1660.54	c  1582s|  4500k|  9632 | 15241k|5964k|  36 |   5 | 115 | 342 |   5 | 115 |  13 |  26 | 222k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1663.51/1664.10	c  1586s|  4510k|  9744 | 15271k|6044k|  36 |   5 | 115 | 255 |   6 | 115 |  13 |  26 | 223k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1667.01/1667.65	c  1589s|  4520k|  9631 | 15301k|6043k|  36 |   5 | 115 | 346 |   5 | 115 |  13 |  26 | 223k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1670.51/1671.20	c  1592s|  4530k| 10158 | 15331k|6267k|  36 |   - | 115 | 136 |   5 | 115 |  13 |  26 | 224k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1674.00/1674.62	c  1596s|  4540k|  9787 | 15361k|6116k|  36 |   - | 115 | 133 |   5 | 115 |  13 |  26 | 224k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1677.40/1678.02	c  1599s|  4550k|  9777 | 15389k|6173k|  36 |   5 | 115 | 191 |   5 | 115 |  13 |  26 | 225k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1680.81/1681.44	c  1602s|  4560k| 10249 | 15417k|6522k|  36 |   - | 115 | 238 |   4 |   0 |   0 |  26 | 225k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1684.20/1684.80	c  1605s|  4570k| 10108 | 15444k|6506k|  36 |   5 | 115 | 239 |   6 | 115 |  13 |  26 | 226k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1687.60/1688.24	c  1609s|  4580k| 10353 | 15472k|6744k|  36 |   - | 115 | 275 |   6 | 115 |  13 |  26 | 226k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1691.00/1691.62	c  1612s|  4590k| 10238 | 15499k|6672k|  36 |   5 | 115 | 261 |   6 | 115 |  13 |  26 | 226k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1694.39/1695.04	c  1615s|  4600k| 10455 | 15527k|6907k|  36 |   - | 115 | 275 |   5 | 115 |  13 |  26 | 227k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1697.80/1698.45	c  1618s|  4610k| 10336 | 15556k|6825k|  36 |   - | 115 | 265 |  37 |   0 |   0 |  26 | 227k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1701.30/1701.92	c  1622s|  4620k| 10495 | 15585k|7017k|  36 |   - | 115 | 305 |   5 | 115 |  13 |  26 | 228k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1704.69/1705.32	c  1625s|  4630k| 10320 | 15612k|6920k|  36 |   - | 115 | 318 |  20 | 115 |  13 |  26 | 228k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1708.09/1708.73	c  1628s|  4640k| 10085 | 15640k|6687k|  36 |   - | 115 | 249 |   5 | 115 |  13 |  26 | 229k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1711.49/1712.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1711.49/1712.16	c  1631s|  4650k|  9443 | 15668k|5861k|  36 |   5 | 115 | 198 |   5 | 115 |  13 |  26 | 229k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1714.99/1715.65	c  1635s|  4660k|  9452 | 15699k|5889k|  36 |   - | 115 | 280 |   6 | 115 |  13 |  26 | 230k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1718.49/1719.11	c  1638s|  4670k|  9551 | 15728k|5933k|  36 |   5 | 115 | 305 |   6 | 115 |  13 |  26 | 230k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1721.99/1722.70	c  1642s|  4680k|  9901 | 15758k|6224k|  36 |   5 | 115 | 320 |   7 | 115 |  13 |  26 | 231k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1725.58/1726.21	c  1645s|  4690k|  9826 | 15788k|6251k|  36 |   - | 115 | 333 |   5 | 115 |  13 |  26 | 231k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1728.99/1729.68	c  1648s|  4700k|  9394 | 15818k|5850k|  36 |   5 | 115 | 341 |   5 | 115 |  13 |  26 | 232k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1732.49/1733.19	c  1652s|  4710k|  9376 | 15849k|5843k|  36 |   5 | 115 | 288 |   6 | 115 |  13 |  26 | 232k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1736.08/1736.71	c  1655s|  4720k|  9243 | 15881k|5748k|  36 |   - | 115 | 239 |   5 | 115 |  13 |  26 | 232k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1739.58/1740.24	c  1658s|  4730k|  9323 | 15913k|5813k|  36 |   - | 115 | 197 |   5 |   0 |   0 |  26 | 233k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1743.18/1743.83	c  1662s|  4740k|  9519 | 15946k|6038k|  36 |   5 | 115 | 228 |   5 | 115 |  13 |  26 | 233k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1746.78/1747.43	c  1665s|  4750k|  9640 | 15978k|6158k|  36 |   - | 115 | 242 |  57 |   0 |   0 |  26 | 234k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1750.28/1750.95	c  1668s|  4760k|  9562 | 16009k|6156k|  36 |   - | 115 | 259 |   5 | 115 |  13 |  26 | 234k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1753.78/1754.44	c  1672s|  4770k|  9352 | 16040k|5996k|  36 |   5 | 115 | 229 |   6 | 115 |  13 |  26 | 235k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1757.27/1757.94	c  1675s|  4780k|  9277 | 16072k|5859k|  36 |   5 | 115 | 241 |   7 | 115 |  13 |  26 | 235k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1760.77/1761.46	c  1678s|  4790k|  9484 | 16103k|5884k|  36 |   - | 115 | 206 |   8 | 115 |  13 |  26 | 236k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1764.27/1764.96	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1764.27/1764.96	c  1682s|  4800k|  9828 | 16130k|6211k|  36 |   5 | 115 | 252 |   9 | 115 |  13 |  26 | 237k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1767.77/1768.42	c  1685s|  4810k|  9735 | 16158k|6234k|  36 |   5 | 115 | 219 |   6 | 115 |  13 |  26 | 237k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1771.17/1771.86	c  1688s|  4820k|  9409 | 16186k|6060k|  36 |   - | 115 | 274 |   5 | 115 |  13 |  26 | 238k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1774.67/1775.33	c  1692s|  4830k|  9158 | 16215k|5775k|  36 |   5 | 115 | 278 |   5 | 115 |  13 |  26 | 238k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1778.17/1778.81	c  1695s|  4840k|  9037 | 16245k|5723k|  36 |   - | 115 | 364 |   5 | 115 |  13 |  26 | 239k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1781.87/1782.54	c  1698s|  4850k|  9517 | 16279k|5984k|  36 |   - | 115 | 288 |   5 | 115 |  13 |  26 | 240k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1785.57/1786.20	c  1702s|  4860k| 10232 | 16311k|6497k|  36 |   5 | 115 | 340 |  15 | 115 |  13 |  26 | 240k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1789.07/1789.76	c  1705s|  4870k| 10460 | 16342k|6746k|  36 |   - | 115 | 308 |  12 | 115 |  13 |  26 | 241k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1792.46/1793.17	c  1709s|  4880k| 10680 | 16369k|6951k|  36 |   - | 115 | 279 |   6 | 115 |  13 |  26 | 242k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1795.86/1796.59	c  1712s|  4890k| 10480 | 16397k|6906k|  36 |   - | 115 | 292 |   4 |   0 |   0 |  26 | 243k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1799.36/1800.03	c  1715s|  4900k| 10629 | 16425k|7089k|  36 |   - | 115 | 406 |   8 | 115 |  13 |  26 | 243k|  14k| 9.094947e-13 | 2.000000e+00 |    Inf 
1800.07/1800.70	c 
1800.07/1800.70	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.70	c Solving Time (sec) : 1715.71
1800.07/1800.70	c Solving Nodes      : 4901892
1800.07/1800.70	c Primal Bound       : +2.00000000000000e+00 (24 solutions)
1800.07/1800.70	c Dual Bound         : +9.09494701772928e-13
1800.07/1800.70	c Gap                : infinite
1800.07/1800.71	c NODE         4901892
1800.07/1800.71	c DUAL BOUND   9.09495e-13
1800.07/1800.71	c PRIMAL BOUND 2
1800.07/1800.71	c GAP          1e+20
1800.07/1800.71	s SATISFIABLE
1800.07/1800.71	v -x120 x119 x118 -x117 -x116 x115 -x114 x113 -x112 x111 x110 x109 -x108 x107 -x106 -x105 x104 -x103 x102 -x101 -x100 x99 x98 -x97 
1800.07/1800.71	v -x96 -x95 -x94 x93 x92 x91 x90 x89 -x88 -x87 -x86 x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 
1800.07/1800.71	v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 
1800.07/1800.71	v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 
1800.07/1800.71	v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.07/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.71	c Solving Time       :    1715.71
1800.07/1800.71	c Original Problem   :
1800.07/1800.71	c   Problem name     : HOME/instance-1869543-1245177713.opb
1800.07/1800.71	c   Variables        : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 10 initial, 10 maximal
1800.07/1800.71	c Presolved Problem  :
1800.07/1800.71	c   Problem name     : t_HOME/instance-1869543-1245177713.opb
1800.07/1800.71	c   Variables        : 115 (115 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 5 initial, 688 maximal
1800.07/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   linear           :       0.00          0          5          0          0          0          5          0          0
1800.07/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   root node        :          -         70          -          -         70          -          -          -          -
1800.07/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.71	c   integral         :          0          0          0    2480434          0        856       5502          0          0    4948214
1800.07/1800.71	c   linear           :          5          6    6263503          1          0     635568    4995491         18          0          0
1800.07/1800.71	c   logicor          :          0+         0    2463083          0          0       4481      91237          0          0          0
1800.07/1800.71	c   countsols        :          0          0          0         10          0          0          0          0          0          0
1800.07/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.71	c   integral         :      26.96       0.00       0.00      26.96       0.00
1800.07/1800.71	c   linear           :     288.23       0.01     288.22       0.00       0.00
1800.07/1800.71	c   logicor          :      13.51       0.00      13.51       0.00       0.00
1800.07/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.71	c   rootredcost      :       2.68         23          0         70
1800.07/1800.71	c   pseudoobj        :      41.23    6295922      32598     116428
1800.07/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.71	c   propagation      :      36.26     672647     243304     338447       32.6          1       33.0          -
1800.07/1800.71	c   infeasible LP    :      10.38    1875586          3          3       14.7          0        0.0          0
1800.07/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   pseudo solution  :       0.00          1          1          1       19.0          0        0.0          -
1800.07/1800.71	c   applied globally :          -          -          -      61340       28.9          -          -          -
1800.07/1800.71	c   applied locally  :          -          -          -     182802       33.8          -          -          -
1800.07/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.71	c   cut pool         :       0.00          5          -          -         36          -    (maximal pool size: 127)
1800.07/1800.71	c   redcost          :      20.38    2649880          0    2200479          0          0
1800.07/1800.71	c   impliedbounds    :       0.00          6          0          0          0          0
1800.07/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.71	c   gomory           :       0.00          6          0          0          0          0
1800.07/1800.71	c   strongcg         :       0.00          6          0          0         49          0
1800.07/1800.71	c   cmir             :       0.02          6          0          0         33          0
1800.07/1800.71	c   flowcover        :       0.01          6          0          0         50          0
1800.07/1800.71	c   clique           :       0.00          1          0          0          0          0
1800.07/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.71	c   mcf              :       0.00          1          0          0          0          0
1800.07/1800.71	c Pricers            :       Time      Calls       Vars
1800.07/1800.71	c   problem variables:       0.00          0          0
1800.07/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.71	c   relpscost        :      24.62    2480424        856       5502          0          0    4948214
1800.07/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   inference        :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.71	c   LP solutions     :       0.02          -         10
1800.07/1800.71	c   pseudo solutions :       0.00          -          0
1800.07/1800.71	c   oneopt           :       2.11         23          0
1800.07/1800.71	c   pscostdiving     :       8.66       6413          2
1800.07/1800.71	c   fracdiving       :       8.93       6413          2
1800.07/1800.71	c   objpscostdiving  :       6.72       3207          1
1800.07/1800.71	c   linesearchdiving :       8.51       6414          1
1800.07/1800.71	c   guideddiving     :       8.25       6414          4
1800.07/1800.71	c   coefdiving       :       9.68       6414          1
1800.07/1800.71	c   veclendiving     :       8.22       6414          1
1800.07/1800.71	c   rootsoldiving    :       7.51       3208          1
1800.07/1800.71	c   simplerounding   :       1.44          0          0
1800.07/1800.71	c   rounding         :       2.10      22988          0
1800.07/1800.71	c   shifting         :       5.71       8206          0
1800.07/1800.71	c   intshifting      :       0.19          0          0
1800.07/1800.71	c   fixandinfer      :       0.00          0          0
1800.07/1800.71	c   feaspump         :       0.09          1          0
1800.07/1800.71	c   intdiving        :       0.00          0          0
1800.07/1800.71	c   actconsdiving    :       0.00          0          0
1800.07/1800.71	c   octane           :       0.00          0          0
1800.07/1800.71	c   rens             :       0.02          1          0
1800.07/1800.71	c   rins             :       0.00          0          0
1800.07/1800.71	c   localbranching   :       0.00          0          0
1800.07/1800.71	c   mutation         :       0.00          0          0
1800.07/1800.71	c   crossover        :       5.77          8          1
1800.07/1800.71	c   dins             :       0.00          0          0
1800.07/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.71	c   dual LP          :     948.08    4447984   15901991       3.58   16772.84
1800.07/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.71	c   diving/probing LP:      41.60     205547     528699       2.57   12709.11
1800.07/1800.71	c   strong branching :       2.89      14318      53279       3.72   18435.64
1800.07/1800.71	c     (at root node) :          -         11        160      14.55          -
1800.07/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.71	c B&B Tree           :
1800.07/1800.71	c   number of runs   :          1
1800.07/1800.71	c   nodes            :    4901892
1800.07/1800.71	c   nodes (total)    :    4901892
1800.07/1800.71	c   nodes left       :      10640
1800.07/1800.71	c   max depth        :         36
1800.07/1800.71	c   max depth (total):         36
1800.07/1800.71	c   backtracks       :    1388889 (28.3%)
1800.07/1800.71	c   delayed cutoffs  :      32720
1800.07/1800.71	c   repropagations   :     117001 (245840 domain reductions, 30949 cutoffs)
1800.07/1800.71	c   avg switch length:       4.74
1800.07/1800.71	c   switching time   :     101.37
1800.07/1800.71	c Solution           :
1800.07/1800.71	c   Solutions found  :         24 (23 improvements)
1800.07/1800.71	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 873288 nodes, 346.65 seconds, depth 28, found by <relaxation>)
1800.07/1800.71	c   Dual Bound       : +9.09494701772928e-13
1800.07/1800.71	c   Gap              :   infinite
1800.07/1800.71	c   Root Dual Bound  : +9.09494701772928e-13
1800.07/1800.75	c Time complete: 1800.11.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869543-1245177713/watcher-1869543-1245177713 -o /tmp/evaluation-result-1869543-1245177713/solver-1869543-1245177713 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869543-1245177713.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: 1.00 1.00 1.00 3/64 11671
/proc/meminfo: memFree=1878424/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=5812 CPUtime=0
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 185371000 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/11671/statm: 1453 502 332 1256 0 192 0

[startup+0.0868111 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11671
/proc/meminfo: memFree=1878424/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=14928 CPUtime=0.07
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 2974 0 0 0 7 0 0 0 18 0 1 0 185371000 15286272 2604 1992294400 4194304 9342243 548682068736 18446744073709551615 4340209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 3732 2604 668 1256 0 2471 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14928

[startup+0.101813 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11671
/proc/meminfo: memFree=1878424/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=15092 CPUtime=0.09
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 2977 0 0 0 9 0 0 0 18 0 1 0 185371000 15454208 2607 1992294400 4194304 9342243 548682068736 18446744073709551615 4271579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 3773 2607 668 1256 0 2512 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15092

[startup+0.301844 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11671
/proc/meminfo: memFree=1878424/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=16184 CPUtime=0.29
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 4864 0 0 0 27 2 0 0 19 0 1 0 185371000 16572416 2679 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 4046 2679 699 1256 0 2785 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16184

[startup+0.701908 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11671
/proc/meminfo: memFree=1878424/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=16336 CPUtime=0.69
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 6402 0 0 0 66 3 0 0 22 0 1 0 185371000 16728064 2710 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 4084 2710 700 1256 0 2823 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16336

[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1869968/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=18448 CPUtime=1.49
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 9527 0 0 0 141 8 0 0 25 0 1 0 185371000 18890752 3465 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 4612 3465 700 1256 0 3351 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18448

[startup+3.10129 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1866960/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=18960 CPUtime=3.09
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 10368 0 0 0 294 15 0 0 25 0 1 0 185371000 19415040 3629 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 4740 3629 700 1256 0 3479 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18960

[startup+6.3018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1865424/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=20616 CPUtime=6.29
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 12434 0 0 0 600 29 0 0 25 0 1 0 185371000 21110784 4127 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 5154 4127 701 1256 0 3893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20616

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1862232/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=23424 CPUtime=12.69
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 14471 0 0 0 1212 57 0 0 25 0 1 0 185371000 23986176 4866 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 5856 4866 701 1256 0 4595 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23424

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1861080/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=24720 CPUtime=25.48
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 14563 0 0 0 2435 113 0 0 25 0 1 0 185371000 25313280 4958 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 6180 4958 701 1256 0 4919 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24720

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1860184/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=25896 CPUtime=51.07
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 14799 0 0 0 4888 219 0 0 25 0 1 0 185371000 26517504 5194 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 6474 5194 701 1256 0 5213 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25896

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1855384/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=29236 CPUtime=102.25
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 17291 0 0 0 9776 449 0 0 25 0 1 0 185371000 29937664 6384 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 7309 6384 701 1256 0 6048 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29236

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1855256/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=29236 CPUtime=162.23
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 17304 0 0 0 15504 719 0 0 25 0 1 0 185371000 29937664 6397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 7309 6397 701 1256 0 6048 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 29236

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1852952/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=32936 CPUtime=222.2
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 17855 0 0 0 21239 981 0 0 25 0 1 0 185371000 33726464 6948 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8234 6948 701 1256 0 6973 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 32936

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1852888/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=33252 CPUtime=282.19
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 17859 0 0 0 26975 1244 0 0 25 0 1 0 185371000 34050048 6952 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8313 6952 701 1256 0 7052 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 33252

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1850584/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34352 CPUtime=342.16
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 18412 0 0 0 32702 1514 0 0 25 0 1 0 185371000 35176448 7505 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8588 7505 701 1256 0 7327 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 34352

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1850456/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34352 CPUtime=402.15
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 18412 0 0 0 38418 1797 0 0 25 0 1 0 185371000 35176448 7505 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8588 7505 701 1256 0 7327 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 34352

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1850392/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34352 CPUtime=462.13
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 18415 0 0 0 44127 2086 0 0 25 0 1 0 185371000 35176448 7508 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8588 7508 701 1256 0 7327 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 34352

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11672
/proc/meminfo: memFree=1852632/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=31948 CPUtime=522.11
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 18420 0 0 0 49839 2372 0 0 25 0 1 0 185371000 32714752 6889 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 7987 6889 701 1256 0 6726 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 31948

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11674
/proc/meminfo: memFree=1852440/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=32108 CPUtime=582.08
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 18423 0 0 0 55555 2653 0 0 25 0 1 0 185371000 32878592 6892 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8027 6892 701 1256 0 6766 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 32108

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11674
/proc/meminfo: memFree=1852440/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=32108 CPUtime=642.06
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 18423 0 0 0 61280 2926 0 0 25 0 1 0 185371000 32878592 6892 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8027 6892 701 1256 0 6766 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 32108

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11674
/proc/meminfo: memFree=1852440/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=31408 CPUtime=881.98
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 20124 0 0 0 84127 4071 0 0 25 0 1 0 185371000 32161792 6797 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 7852 6797 701 1256 0 6591 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 31408

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11674
/proc/meminfo: memFree=1851736/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=32304 CPUtime=941.96
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 20322 0 0 0 89827 4369 0 0 25 0 1 0 185371000 33079296 6995 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8076 6995 701 1256 0 6815 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 32304

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11674
/proc/meminfo: memFree=1851608/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=32304 CPUtime=1001.94
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 20322 0 0 0 95543 4651 0 0 25 0 1 0 185371000 33079296 6995 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8076 6995 701 1256 0 6815 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 32304

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11674
/proc/meminfo: memFree=1851608/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=32304 CPUtime=1061.91
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 20322 0 0 0 101258 4933 0 0 25 0 1 0 185371000 33079296 6995 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8076 6995 701 1256 0 6815 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 32304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11674
/proc/meminfo: memFree=1851480/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=32620 CPUtime=1121.9
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 20326 0 0 0 106986 5204 0 0 25 0 1 0 185371000 33402880 6999 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8155 6999 701 1256 0 6894 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 32620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1851160/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=32780 CPUtime=1181.87
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 20329 0 0 0 112703 5484 0 0 25 0 1 0 185371000 33566720 7002 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8195 7002 701 1256 0 6934 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 32780

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1850904/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=32144 CPUtime=1241.85
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22000 0 0 0 118413 5772 0 0 25 0 1 0 185371000 32915456 7019 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8036 7019 701 1256 0 6775 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 32144

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1849048/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=33564 CPUtime=1301.83
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22476 0 0 0 124129 6054 0 0 25 0 1 0 185371000 34369536 7495 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8391 7495 701 1256 0 7130 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 33564

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1848920/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=33564 CPUtime=1361.81
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22476 0 0 0 129848 6333 0 0 25 0 1 0 185371000 34369536 7495 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8391 7495 701 1256 0 7130 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 33564

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1848408/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34076 CPUtime=1421.79
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22604 0 0 0 135558 6621 0 0 25 0 1 0 185371000 34893824 7623 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8519 7623 701 1256 0 7258 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 34076

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1848344/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34076 CPUtime=1481.77
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22604 0 0 0 141260 6917 0 0 25 0 1 0 185371000 34893824 7623 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8519 7623 701 1256 0 7258 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 34076

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1848280/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34076 CPUtime=1541.75
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22604 0 0 0 146979 7196 0 0 25 0 1 0 185371000 34893824 7623 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8519 7623 701 1256 0 7258 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 34076

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1848152/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34076 CPUtime=1601.73
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22604 0 0 0 152689 7484 0 0 25 0 1 0 185371000 34893824 7623 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8519 7623 701 1256 0 7258 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 34076

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1848088/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34076 CPUtime=1661.71
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22604 0 0 0 158401 7770 0 0 25 0 1 0 185371000 34893824 7623 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8519 7623 701 1256 0 7258 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 34076

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1848024/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34076 CPUtime=1721.69
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22604 0 0 0 164113 8056 0 0 25 0 1 0 185371000 34893824 7623 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8519 7623 701 1256 0 7258 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 34076

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1847768/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34076 CPUtime=1781.66
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22604 0 0 0 169823 8343 0 0 25 0 1 0 185371000 34893824 7623 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8519 7623 701 1256 0 7258 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 34076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1847768/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34076 CPUtime=1800.07
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22604 0 0 0 171571 8436 0 0 25 0 1 0 185371000 34893824 7623 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8519 7623 701 1256 0 7258 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 34076

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11680
/proc/meminfo: memFree=1847768/2055920 swapFree=4192812/4192956
[pid=11671] ppid=11669 vsize=34076 CPUtime=1800.07
/proc/11671/stat : 11671 (pbscip.linux.x8) R 11669 11671 11292 0 -1 4194304 22604 0 0 0 171571 8436 0 0 25 0 1 0 185371000 34893824 7623 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11671/statm: 8519 7623 701 1256 0 7258 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 34076

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.13
CPU user time (s): 1715.76
CPU system time (s): 84.3682
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 40588

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

runsolver used 1.3018 second user time and 3.81142 second system time

The end

Launcher Data 

Begin job on node26 at 2009-06-16 20:41:53
IDJOB=1869543
IDBENCH=2926
IDSOLVER=684
FILE ID=node26/1869543-1245177713
PBS_JOBID= 9363880
Free space on /tmp= 66156 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869543-1245177713/watcher-1869543-1245177713 -o /tmp/evaluation-result-1869543-1245177713/solver-1869543-1245177713 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869543-1245177713.opb

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

MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24
RANDOM SEED=942702726

node26.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.263
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	: 5931.00
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.263
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1878840 kB
Buffers:         34640 kB
Cached:          78512 kB
SwapCached:          0 kB
Active:          70124 kB
Inactive:        56880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1878840 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11736 kB
Writeback:           0 kB
Mapped:          23704 kB
Slab:            36104 kB
Committed_AS:   158652 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66144 MiB
End job on node26 at 2009-06-16 21:11:56