Trace number 1869540

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT (TO)8 1801.57 1802.06

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver SoPlex 1.4.1
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869540-1245177635.opb>
0.00/0.01	c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03	c    (0.0s) probing: 101/140 (72.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03	c presolving (3 rounds):
0.00/0.03	c  6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03	c  0 implications, 0 cliques
0.00/0.03	c presolved problem has 140 variables (140 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03	c       6 constraints of type <linear>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.01
0.00/0.03	c OPT-LIN
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/memory = c 1620
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/time = c 1791
0.00/0.03	c # frequency for displaying node information lines
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03	c display/freq = c 10000
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving problem
0.00/0.03	c 
0.00/0.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.03	c   0.0s|     1 |     0 |    88 | 464k|   0 |   6 | 140 |   6 |   6 | 140 |   6 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |   235 | 556k|   0 |  10 | 140 |   6 |   6 | 140 |  13 |   7 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.04/0.06	c   0.0s|     1 |     0 |   250 | 604k|   0 |  13 | 140 |   6 |   6 | 140 |  18 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.04/0.07	c   0.1s|     1 |     0 |   260 | 651k|   0 |  16 | 140 |   6 |   6 | 140 |  23 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.04/0.10	c   0.1s|     1 |     0 |   264 | 666k|   0 |  18 | 140 |   6 |   6 | 140 |  26 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   271 | 678k|   0 |  21 | 140 |   6 |   6 | 140 |  29 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.14	c   0.1s|     1 |     0 |   288 | 684k|   0 |  20 | 140 |   6 |   6 | 140 |  30 |  24 |   0 |   0 | 9.094947e-13 |      --      |    Inf 
0.29/0.32	c   0.3s|     1 |     2 |   288 | 685k|   0 |  20 | 140 |   6 |   6 | 140 |  30 |  24 |   0 |  20 | 9.094947e-13 |      --      |    Inf 
0.49/0.52	o 820
0.49/0.52	c p 0.5s|    68 |    67 |   657 | 773k|  45 |   - | 140 |   7 |   1 | 140 |  23 |  24 |   3 | 335 | 9.094947e-13 | 8.200000e+02 |    Inf 
0.59/0.69	o 566
0.59/0.69	c p 0.6s|   217 |   208 |  1792 | 857k|  45 |   - | 140 |  15 |   8 | 140 |  23 |  24 |  15 | 469 | 9.094947e-13 | 5.660000e+02 |    Inf 
0.69/0.71	o 238
0.69/0.71	c f 0.6s|   241 |   196 |  1929 | 856k|  45 |   - | 140 |  15 |   4 | 140 |  23 |  24 |  15 | 475 | 9.094947e-13 | 2.380000e+02 |    Inf 
0.69/0.72	o 237
0.69/0.72	c s 0.7s|   254 |   207 |  1997 | 843k|  45 |   4 | 140 |  15 |   7 | 140 |  23 |  24 |  15 | 483 | 9.094947e-13 | 2.370000e+02 |    Inf 
0.69/0.72	o 235
0.69/0.72	c s 0.7s|   254 |   207 |  1999 | 847k|  45 |   - | 140 |  15 |   4 | 140 |  23 |  24 |  15 | 483 | 9.094947e-13 | 2.350000e+02 |    Inf 
0.69/0.72	o 233
0.69/0.72	c s 0.7s|   255 |   205 |  2005 | 849k|  45 |   - | 140 |  15 |   4 | 140 |  23 |  24 |  15 | 483 | 9.094947e-13 | 2.330000e+02 |    Inf 
0.69/0.73	o 232
0.69/0.73	c * 0.7s|   266 |   214 |  2056 | 855k|  45 |   - | 140 |  15 |   0 | 140 |  23 |  24 |  15 | 491 | 9.094947e-13 | 2.320000e+02 |    Inf 
0.69/0.73	o 230
0.69/0.73	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.69/0.73	c * 0.7s|   267 |   213 |  2056 | 857k|  45 |   - | 140 |  15 |   0 | 140 |  23 |  24 |  15 | 491 | 9.094947e-13 | 2.300000e+02 |    Inf 
0.69/0.77	o 228
0.69/0.77	c l 0.7s|   327 |   268 |  2305 | 892k|  45 |   - | 140 |  15 |   0 | 140 |  23 |  24 |  19 | 516 | 9.094947e-13 | 2.280000e+02 |    Inf 
0.69/0.78	o 226
0.69/0.78	c * 0.7s|   338 |   276 |  2353 | 896k|  45 |   - | 140 |  15 |   0 | 140 |  23 |  24 |  19 | 518 | 9.094947e-13 | 2.260000e+02 |    Inf 
0.69/0.78	o 225
0.69/0.78	c * 0.7s|   341 |   277 |  2370 | 899k|  45 |   - | 140 |  15 |   0 | 140 |  23 |  24 |  19 | 528 | 9.094947e-13 | 2.250000e+02 |    Inf 
0.69/0.79	o 219
0.69/0.79	c g 0.7s|   344 |   277 |  2377 | 901k|  45 |   - | 140 |  15 |   3 | 140 |  23 |  24 |  19 | 542 | 9.094947e-13 | 2.190000e+02 |    Inf 
0.79/0.80	o 218
0.79/0.80	c * 0.7s|   358 |   288 |  2443 | 909k|  45 |   - | 140 |  15 |   0 | 140 |  23 |  24 |  19 | 554 | 9.094947e-13 | 2.180000e+02 |    Inf 
0.79/0.80	o 216
0.79/0.80	c * 0.7s|   359 |   286 |  2445 | 911k|  45 |   - | 140 |  15 |   0 | 140 |  23 |  24 |  19 | 554 | 9.094947e-13 | 2.160000e+02 |    Inf 
0.99/1.09	o 215
0.99/1.09	c c 1.0s|   566 |   493 |  3644 |1006k|  45 |   - | 140 |  19 |   5 | 140 |  23 |  24 |  28 | 610 | 9.094947e-13 | 2.150000e+02 |    Inf 
1.09/1.13	o 213
1.09/1.13	c v 1.0s|   620 |   545 |  3901 |1034k|  45 |   - | 140 |  19 |   8 | 140 |  23 |  24 |  33 | 625 | 9.094947e-13 | 2.130000e+02 |    Inf 
1.09/1.19	o 125
1.09/1.19	c g 1.1s|   692 |   548 |  4225 |1036k|  45 |   - | 140 |  19 |   5 | 140 |  23 |  24 |  38 | 671 | 9.094947e-13 | 1.250000e+02 |    Inf 
1.39/1.45	o 124
1.39/1.45	c p 1.3s|   978 |   827 |  6406 |1163k|  45 |   - | 140 |  27 |   1 | 140 |  23 |  24 |  66 | 739 | 9.094947e-13 | 1.240000e+02 |    Inf 
1.69/1.78	o 123
1.69/1.78	c l 1.6s|  1391 |  1224 |  9276 |1343k|  45 |   - | 140 |  31 |   5 | 140 |  23 |  24 |  90 | 760 | 9.094947e-13 | 1.230000e+02 |    Inf 
1.79/1.85	o 122
1.79/1.85	c l 1.7s|  1482 |  1312 |  9777 |1385k|  45 |   - | 140 |  31 |   4 | 140 |  23 |  24 |  98 | 765 | 9.094947e-13 | 1.220000e+02 |    Inf 
2.09/2.20	o 86
2.09/2.20	c g 2.0s|  1922 |  1673 | 12390 |1533k|  45 |   - | 140 |  31 |  10 | 140 |  23 |  24 | 126 | 770 | 9.094947e-13 | 8.600000e+01 |    Inf 
3.49/3.54	o 84
3.49/3.54	c * 3.3s|  3658 |  3350 | 21859 |2276k|  45 |   - | 140 |  36 |   8 | 140 |  23 |  24 | 234 | 804 | 9.094947e-13 | 8.400000e+01 |    Inf 
3.79/3.84	o 82
3.79/3.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.79/3.84	c l 3.6s|  4010 |  3689 | 23936 |2445k|  45 |   - | 140 |  36 |   3 | 140 |  23 |  24 | 264 | 808 | 9.094947e-13 | 8.200000e+01 |    Inf 
4.89/4.90	o 81
4.89/4.90	c c 4.6s|  5291 |  4895 | 31620 |3031k|  45 |   - | 140 |  31 |   3 | 140 |  23 |  24 | 359 | 815 | 9.094947e-13 | 8.100000e+01 |    Inf 
5.09/5.15	o 49
5.09/5.15	c g 4.8s|  5565 |  4852 | 33391 |2954k|  45 |   - | 140 |  30 |   4 | 140 |  23 |  24 | 383 | 816 | 9.094947e-13 | 4.900000e+01 |    Inf 
9.89/9.93	o 46
9.89/9.93	c * 9.3s|  9945 |  8353 | 68067 |4701k|  45 |   - | 140 |  23 |   1 | 140 |  23 |  24 | 922 | 944 | 9.094947e-13 | 4.600000e+01 |    Inf 
9.89/9.99	c   9.4s| 10000 |  8396 | 68447 |4720k|  45 |   6 | 140 |  23 |   8 | 140 |  23 |  24 | 928 | 946 | 9.094947e-13 | 4.600000e+01 |    Inf 
10.29/10.34	o 30
10.29/10.34	c g 9.7s| 10323 |  7697 | 70849 |4268k|  45 |   - | 140 |  22 |   2 | 140 |  23 |  24 | 971 | 960 | 9.094947e-13 | 3.000000e+01 |    Inf 
12.00/12.02	o 29
12.00/12.02	c *11.3s| 12376 |  8961 | 82662 |4998k|  45 |   - | 140 |  22 |   0 | 140 |  23 |  24 |1211 |1068 | 9.094947e-13 | 2.900000e+01 |    Inf 
12.29/12.33	o 27
12.29/12.33	c *11.6s| 12761 |  9103 | 84936 |5069k|  45 |   - | 140 |  26 |   0 | 140 |  23 |  24 |1250 |1089 | 9.094947e-13 | 2.700000e+01 |    Inf 
13.09/13.14	o 26
13.09/13.14	c *12.4s| 13814 |  9650 | 90356 |5390k|  45 |   - | 140 |  26 |   0 | 140 |  23 |  24 |1358 |1130 | 9.094947e-13 | 2.600000e+01 |    Inf 
13.09/13.15	o 24
13.09/13.15	c *12.4s| 13816 |  9507 | 90359 |5277k|  45 |   - | 140 |  26 |   0 | 140 |  23 |  24 |1358 |1133 | 9.094947e-13 | 2.400000e+01 |    Inf 
13.09/13.15	o 20
13.09/13.15	c s12.4s| 13818 |  9196 | 90362 |5056k|  45 |   - | 140 |  26 |   2 | 140 |  23 |  24 |1358 |1138 | 9.094947e-13 | 2.000000e+01 |    Inf 
13.09/13.15	o 18
13.09/13.15	c *12.4s| 13819 |  8999 | 90363 |4920k|  45 |   - | 140 |  27 |   0 | 140 |  23 |  24 |1360 |1138 | 9.094947e-13 | 1.800000e+01 |    Inf 
17.09/17.11	c  16.1s| 20000 | 11739 |117620 |6722k|  45 |   6 | 140 |  26 |   6 | 140 |  23 |  24 |1885 |1417 | 9.094947e-13 | 1.800000e+01 |    Inf 
21.38/21.45	o 16
21.38/21.45	c *20.1s| 25410 | 12999 |138987 |7587k|  45 |   - | 140 |  25 |   0 | 140 |  23 |  24 |2381 |1628 | 9.094947e-13 | 1.600000e+01 |    Inf 
21.38/21.45	o 14
21.38/21.45	c *20.1s| 25411 | 12776 |138989 |7380k|  45 |   - | 140 |  25 |   0 | 140 |  23 |  24 |2381 |1628 | 9.094947e-13 | 1.400000e+01 |    Inf 
23.99/24.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.99/24.03	c  22.6s| 30000 | 14218 |156861 |8280k|  45 |   6 | 140 |  28 |   7 | 140 |  23 |  24 |2792 |1773 | 9.094947e-13 | 1.400000e+01 |    Inf 
29.48/29.54	c  27.8s| 40000 | 17516 |195371 |  10M|  45 |   6 | 140 |  48 |   6 | 140 |  23 |  24 |3689 |2075 | 9.094947e-13 | 1.400000e+01 |    Inf 
30.79/30.83	o 12
30.79/30.83	c *29.1s| 42584 | 17619 |204554 |  10M|  45 |   - | 140 |  44 |   0 | 140 |  23 |  24 |3901 |2169 | 9.094947e-13 | 1.200000e+01 |    Inf 
30.79/30.84	o 10
30.79/30.84	c *29.1s| 42585 | 17113 |204555 |9804k|  45 |   - | 140 |  44 |   0 | 140 |  23 |  24 |3901 |2171 | 9.094947e-13 | 1.000000e+01 |    Inf 
34.49/34.51	c  32.5s| 50000 | 18753 |231435 |  10M|  45 |   6 | 140 |  47 |   7 | 140 |  23 |  24 |4434 |2326 | 9.094947e-13 | 1.000000e+01 |    Inf 
39.09/39.11	c  36.9s| 60000 | 20481 |266398 |  11M|  45 |   6 | 140 |  36 |   9 | 140 |  23 |  24 |5209 |2571 | 9.094947e-13 | 1.000000e+01 |    Inf 
43.39/43.42	c  40.9s| 70000 | 21565 |299928 |  12M|  45 |   6 | 140 |  36 |   6 | 140 |  23 |  24 |5961 |2841 | 9.094947e-13 | 1.000000e+01 |    Inf 
47.88/47.94	c  45.2s| 80000 | 23514 |335144 |  13M|  45 |   6 | 140 |  33 |   6 | 140 |  23 |  24 |6780 |3072 | 9.094947e-13 | 1.000000e+01 |    Inf 
52.58/52.68	c  49.6s| 90000 | 26388 |371680 |  15M|  45 |   6 | 140 |  34 |   8 | 140 |  23 |  24 |7502 |3243 | 9.094947e-13 | 1.000000e+01 |    Inf 
58.29/58.37	c  54.9s|100000 | 28614 |405504 |  16M|  45 |   6 | 140 |  30 |   6 | 140 |  23 |  24 |8219 |3445 | 9.094947e-13 | 1.000000e+01 |    Inf 
62.48/62.53	c  58.8s|110000 | 30254 |438464 |  18M|  45 |   6 | 140 |  26 |   9 | 140 |  23 |  24 |8923 |3619 | 9.094947e-13 | 1.000000e+01 |    Inf 
66.68/66.78	c  62.8s|120000 | 31601 |472118 |  18M|  45 |   6 | 140 |  24 |   6 | 140 |  23 |  24 |9671 |3793 | 9.094947e-13 | 1.000000e+01 |    Inf 
70.97/71.02	c  66.8s|130000 | 33298 |505355 |  20M|  45 |   - | 140 |  23 |   6 | 140 |  23 |  24 |  10k|3948 | 9.094947e-13 | 1.000000e+01 |    Inf 
74.97/75.04	c  70.5s|140000 | 34505 |536398 |  21M|  45 |   - | 140 |  22 |   7 |   0 |   0 |  24 |  11k|4123 | 9.094947e-13 | 1.000000e+01 |    Inf 
78.98/79.03	c  74.3s|150000 | 35481 |566704 |  21M|  45 |   6 | 140 |  18 |   7 | 140 |  23 |  24 |  12k|4261 | 9.094947e-13 | 1.000000e+01 |    Inf 
82.87/82.95	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
82.87/82.95	c  78.0s|160000 | 36106 |596273 |  22M|  45 |   - | 140 |  16 |   6 | 140 |  23 |  24 |  12k|4407 | 9.094947e-13 | 1.000000e+01 |    Inf 
86.78/86.89	c  81.7s|170000 | 36682 |626462 |  23M|  45 |   - | 140 |  18 |   6 | 140 |  23 |  24 |  13k|4538 | 9.094947e-13 | 1.000000e+01 |    Inf 
90.77/90.87	c  85.4s|180000 | 37143 |657161 |  23M|  45 |   6 | 140 |  15 |   6 | 140 |  23 |  24 |  14k|4703 | 9.094947e-13 | 1.000000e+01 |    Inf 
94.77/94.86	c  89.2s|190000 | 37413 |688771 |  24M|  45 |   - | 140 |  14 |   7 |   0 |   0 |  24 |  15k|4843 | 9.094947e-13 | 1.000000e+01 |    Inf 
98.77/98.81	c  92.9s|200000 | 37804 |718553 |  24M|  45 |   - | 140 |  16 |   6 | 140 |  23 |  24 |  15k|4967 | 9.094947e-13 | 1.000000e+01 |    Inf 
102.77/102.85	c  96.7s|210000 | 38134 |748868 |  24M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 |  16k|5091 | 9.094947e-13 | 1.000000e+01 |    Inf 
106.67/106.75	c   100s|220000 | 38427 |779110 |  25M|  46 |   - | 140 |  14 |   6 |   0 |   0 |  24 |  17k|5206 | 9.094947e-13 | 1.000000e+01 |    Inf 
110.56/110.68	c   104s|230000 | 39357 |811220 |  26M|  46 |   6 | 140 |  20 |   6 | 140 |  23 |  24 |  18k|5327 | 9.094947e-13 | 1.000000e+01 |    Inf 
114.46/114.52	c   108s|240000 | 40034 |841286 |  26M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 |  18k|5459 | 9.094947e-13 | 1.000000e+01 |    Inf 
118.26/118.34	c   111s|250000 | 40178 |871179 |  27M|  46 |   - | 140 |  19 |   6 | 140 |  23 |  24 |  19k|5590 | 9.094947e-13 | 1.000000e+01 |    Inf 
122.16/122.20	c   115s|260000 | 40426 |901827 |  27M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 |  20k|5716 | 9.094947e-13 | 1.000000e+01 |    Inf 
126.06/126.10	c   118s|270000 | 40786 |932564 |  27M|  46 |   - | 140 |  17 |   7 | 140 |  23 |  24 |  21k|5847 | 9.094947e-13 | 1.000000e+01 |    Inf 
129.86/129.95	c   122s|280000 | 41017 |961821 |  28M|  46 |   - | 140 |  18 |   6 | 140 |  23 |  24 |  21k|5940 | 9.094947e-13 | 1.000000e+01 |    Inf 
133.66/133.75	c   126s|290000 | 40938 |991109 |  28M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 |  22k|6047 | 9.094947e-13 | 1.000000e+01 |    Inf 
137.55/137.62	c   129s|300000 | 40590 |  1020k|  28M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 |  23k|6162 | 9.094947e-13 | 1.000000e+01 |    Inf 
141.36/141.46	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
141.36/141.46	c   133s|310000 | 40493 |  1050k|  28M|  46 |   - | 140 |  15 |   7 |   0 |   0 |  24 |  24k|6279 | 9.094947e-13 | 1.000000e+01 |    Inf 
145.36/145.48	c   137s|320000 | 41093 |  1082k|  29M|  46 |   6 | 140 |  16 |   7 | 140 |  23 |  24 |  25k|6403 | 9.094947e-13 | 1.000000e+01 |    Inf 
149.46/149.52	c   140s|330000 | 41947 |  1115k|  29M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 |  25k|6519 | 9.094947e-13 | 1.000000e+01 |    Inf 
153.66/153.72	c   144s|340000 | 43875 |  1148k|  30M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 |  26k|6631 | 9.094947e-13 | 1.000000e+01 |    Inf 
157.76/157.81	c   148s|350000 | 45681 |  1181k|  32M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  27k|6710 | 9.094947e-13 | 1.000000e+01 |    Inf 
161.75/161.88	c   152s|360000 | 46964 |  1213k|  32M|  46 |   6 | 140 |  16 |   8 | 140 |  23 |  24 |  27k|6807 | 9.094947e-13 | 1.000000e+01 |    Inf 
165.86/165.95	c   156s|370000 | 47954 |  1245k|  33M|  46 |   - | 140 |  14 |   6 |   0 |   0 |  24 |  28k|6905 | 9.094947e-13 | 1.000000e+01 |    Inf 
169.95/170.08	c   160s|380000 | 49285 |  1278k|  34M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  29k|7004 | 9.094947e-13 | 1.000000e+01 |    Inf 
172.95/173.05	o 8
172.95/173.05	c * 163s|387331 | 49016 |  1302k|  33M|  46 |   - | 140 |  12 |   0 | 140 |  23 |  24 |  30k|7061 | 9.094947e-13 | 8.000000e+00 |    Inf 
175.55/175.60	c   165s|390000 | 49183 |  1311k|  33M|  46 |   6 | 140 |  11 |   6 | 140 |  23 |  24 |  30k|7107 | 9.094947e-13 | 8.000000e+00 |    Inf 
180.55/180.60	c   169s|400000 | 49874 |  1343k|  34M|  46 |   - | 140 |  12 |   7 | 140 |  23 |  24 |  30k|7207 | 9.094947e-13 | 8.000000e+00 |    Inf 
184.35/184.45	c   173s|410000 | 50418 |  1375k|  34M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  31k|7314 | 9.094947e-13 | 8.000000e+00 |    Inf 
189.55/189.60	c   178s|420000 | 51152 |  1407k|  35M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 |  32k|7410 | 9.094947e-13 | 8.000000e+00 |    Inf 
193.34/193.49	c   181s|430000 | 51736 |  1440k|  35M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 |  33k|7496 | 9.094947e-13 | 8.000000e+00 |    Inf 
197.24/197.36	c   185s|440000 | 51955 |  1472k|  36M|  46 |   6 | 140 |  18 |   8 | 140 |  23 |  24 |  34k|7594 | 9.094947e-13 | 8.000000e+00 |    Inf 
201.05/201.17	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
201.05/201.17	c   189s|450000 | 52616 |  1503k|  36M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 |  35k|7678 | 9.094947e-13 | 8.000000e+00 |    Inf 
205.34/205.41	c   193s|460000 | 54875 |  1539k|  37M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 |  35k|7761 | 9.094947e-13 | 8.000000e+00 |    Inf 
209.54/209.61	c   197s|470000 | 56836 |  1574k|  38M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  36k|7849 | 9.094947e-13 | 8.000000e+00 |    Inf 
213.43/213.58	c   200s|480000 | 58560 |  1608k|  39M|  46 |   6 | 140 |  11 |   6 | 140 |  23 |  24 |  37k|7923 | 9.094947e-13 | 8.000000e+00 |    Inf 
217.34/217.42	c   204s|490000 | 59686 |  1641k|  40M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 |  37k|8012 | 9.094947e-13 | 8.000000e+00 |    Inf 
221.53/221.63	c   208s|500000 | 62106 |  1677k|  41M|  46 |   - | 140 |  17 |   7 | 140 |  23 |  24 |  38k|8086 | 9.094947e-13 | 8.000000e+00 |    Inf 
225.73/225.88	c   212s|510000 | 65082 |  1712k|  43M|  46 |   6 | 140 |  21 |   7 | 140 |  23 |  24 |  39k|8150 | 9.094947e-13 | 8.000000e+00 |    Inf 
229.74/229.86	c   216s|520000 | 66941 |  1745k|  44M|  46 |   - | 140 |  18 |   6 |   0 |   0 |  24 |  40k|8223 | 9.094947e-13 | 8.000000e+00 |    Inf 
233.54/233.70	c   219s|530000 | 68687 |  1777k|  45M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 |  40k|8308 | 9.094947e-13 | 8.000000e+00 |    Inf 
237.44/237.50	c   223s|540000 | 70318 |  1809k|  46M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 |  41k|8378 | 9.094947e-13 | 8.000000e+00 |    Inf 
241.33/241.41	c   226s|550000 | 72262 |  1841k|  47M|  46 |   6 | 140 |  16 |   9 | 140 |  23 |  24 |  42k|8449 | 9.094947e-13 | 8.000000e+00 |    Inf 
245.13/245.25	c   230s|560000 | 73830 |  1873k|  48M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 |  42k|8530 | 9.094947e-13 | 8.000000e+00 |    Inf 
249.03/249.10	c   234s|570000 | 75300 |  1905k|  49M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  43k|8597 | 9.094947e-13 | 8.000000e+00 |    Inf 
252.83/252.97	c   237s|580000 | 76606 |  1938k|  50M|  46 |   6 | 140 |  14 |   7 | 140 |  23 |  24 |  44k|8674 | 9.094947e-13 | 8.000000e+00 |    Inf 
256.73/256.81	c   241s|590000 | 77730 |  1970k|  51M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  45k|8748 | 9.094947e-13 | 8.000000e+00 |    Inf 
260.53/260.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
260.53/260.68	c   244s|600000 | 78958 |  2004k|  51M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 |  45k|8827 | 9.094947e-13 | 8.000000e+00 |    Inf 
264.33/264.47	c   248s|610000 | 80138 |  2036k|  52M|  46 |   6 | 140 |  21 |   6 | 140 |  23 |  24 |  46k|8908 | 9.094947e-13 | 8.000000e+00 |    Inf 
268.12/268.24	c   251s|620000 | 80968 |  2067k|  53M|  46 |   - | 140 |  15 |   5 |   0 |   0 |  24 |  47k|8979 | 9.094947e-13 | 8.000000e+00 |    Inf 
271.93/272.00	c   255s|630000 | 81766 |  2099k|  53M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 |  48k|9048 | 9.094947e-13 | 8.000000e+00 |    Inf 
275.62/275.78	c   258s|640000 | 82762 |  2130k|  54M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 |  48k|9117 | 9.094947e-13 | 8.000000e+00 |    Inf 
279.43/279.51	c   262s|650000 | 83627 |  2161k|  55M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  49k|9181 | 9.094947e-13 | 8.000000e+00 |    Inf 
283.22/283.33	c   266s|660000 | 84220 |  2193k|  55M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 |  50k|9257 | 9.094947e-13 | 8.000000e+00 |    Inf 
287.03/287.12	c   269s|670000 | 84742 |  2224k|  56M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  51k|9335 | 9.094947e-13 | 8.000000e+00 |    Inf 
290.72/290.85	c   273s|680000 | 85159 |  2255k|  56M|  46 |   6 | 140 |  17 |   7 | 140 |  23 |  24 |  52k|9407 | 9.094947e-13 | 8.000000e+00 |    Inf 
294.52/294.62	c   276s|690000 | 86176 |  2286k|  57M|  46 |   6 | 140 |  18 |   7 | 140 |  23 |  24 |  52k|9478 | 9.094947e-13 | 8.000000e+00 |    Inf 
298.22/298.37	c   280s|700000 | 86882 |  2317k|  57M|  46 |   - | 140 |  19 |   6 | 140 |  23 |  24 |  53k|9543 | 9.094947e-13 | 8.000000e+00 |    Inf 
301.92/302.09	c   283s|710000 | 87183 |  2347k|  58M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 |  54k|9608 | 9.094947e-13 | 8.000000e+00 |    Inf 
305.72/305.85	c   287s|720000 | 88025 |  2379k|  58M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  54k|9671 | 9.094947e-13 | 8.000000e+00 |    Inf 
309.52/309.60	c   290s|730000 | 88446 |  2410k|  59M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  55k|9745 | 9.094947e-13 | 8.000000e+00 |    Inf 
313.32/313.49	c   294s|740000 | 89428 |  2443k|  59M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  56k|9811 | 9.094947e-13 | 8.000000e+00 |    Inf 
317.21/317.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
317.21/317.33	c   297s|750000 | 90719 |  2475k|  60M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 |  57k|9879 | 9.094947e-13 | 8.000000e+00 |    Inf 
321.01/321.10	c   301s|760000 | 91251 |  2508k|  61M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 |  57k|9941 | 9.094947e-13 | 8.000000e+00 |    Inf 
324.72/324.84	c   304s|770000 | 91872 |  2539k|  61M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  58k|9998 | 9.094947e-13 | 8.000000e+00 |    Inf 
328.51/328.67	c   308s|780000 | 92887 |  2570k|  62M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  59k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
332.31/332.48	c   311s|790000 | 94158 |  2602k|  63M|  46 |   6 | 140 |  19 |   8 | 140 |  23 |  24 |  60k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
336.11/336.29	c   315s|800000 | 95582 |  2634k|  64M|  46 |   6 | 140 |  18 |   7 | 140 |  23 |  24 |  60k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
339.91/340.08	c   319s|810000 | 96971 |  2666k|  64M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  61k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
343.70/343.86	c   322s|820000 | 98030 |  2698k|  65M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  62k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
347.41/347.55	c   326s|830000 | 98524 |  2728k|  66M|  46 |   - | 140 |  13 |   6 |   0 |   0 |  24 |  63k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
351.11/351.26	c   329s|840000 | 99043 |  2759k|  66M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  63k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
354.81/354.90	c   332s|850000 | 99219 |  2790k|  66M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  64k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
358.41/358.60	c   336s|860000 | 99744 |  2820k|  67M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 |  65k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
362.10/362.29	c   339s|870000 |100376 |  2851k|  67M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 |  66k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
365.90/366.08	c   343s|880000 |101082 |  2883k|  68M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  66k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
369.70/369.83	c   346s|890000 |101816 |  2915k|  68M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 |  67k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
373.30/373.44	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
373.30/373.44	c   350s|900000 |101973 |  2945k|  69M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 |  68k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
377.00/377.11	c   353s|910000 |102493 |  2976k|  69M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  69k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
380.70/380.80	c   357s|920000 |102922 |  3007k|  70M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 |  69k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
384.40/384.51	c   360s|930000 |102929 |  3038k|  70M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  70k|  10k| 9.094947e-13 | 8.000000e+00 |    Inf 
388.00/388.19	c   364s|940000 |102903 |  3069k|  70M|  46 |   - | 140 |  17 |   7 | 140 |  23 |  24 |  71k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
391.70/391.85	c   367s|950000 |103870 |  3099k|  71M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 |  72k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
395.40/395.53	c   370s|960000 |104030 |  3129k|  71M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 |  73k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
399.10/399.24	c   374s|970000 |104132 |  3160k|  71M|  46 |   - | 140 |  13 |   5 |   0 |   0 |  24 |  73k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
402.79/402.93	c   377s|980000 |104169 |  3190k|  71M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  74k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
406.49/406.67	c   381s|990000 |104284 |  3221k|  72M|  46 |   - | 140 |  20 |  11 | 140 |  23 |  24 |  75k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
410.19/410.39	c   384s|  1000k|104410 |  3252k|  72M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 |  76k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
413.90/414.04	c   388s|  1010k|104378 |  3282k|  72M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 |  77k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
417.59/417.73	c   391s|  1020k|104668 |  3313k|  72M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 |  77k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
421.29/421.40	c   395s|  1030k|104476 |  3342k|  72M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 |  78k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
424.99/425.12	c   398s|  1040k|104574 |  3372k|  73M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  79k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
428.58/428.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
428.58/428.79	c   401s|  1050k|104596 |  3402k|  73M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  80k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
432.29/432.50	c   405s|  1060k|105040 |  3433k|  73M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  81k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
436.09/436.21	c   408s|  1070k|106368 |  3463k|  74M|  46 |   6 | 140 |  14 |   7 | 140 |  23 |  24 |  81k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
439.68/439.90	c   412s|  1080k|106973 |  3493k|  74M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  82k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
443.48/443.62	c   415s|  1090k|107439 |  3524k|  75M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  83k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
447.09/447.29	c   419s|  1100k|107612 |  3553k|  75M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  84k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
450.89/451.01	c   422s|  1110k|108046 |  3582k|  76M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 |  85k|  11k| 9.094947e-13 | 8.000000e+00 |    Inf 
454.48/454.66	c   426s|  1120k|107952 |  3612k|  76M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 |  86k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
458.18/458.30	c   429s|  1130k|107714 |  3640k|  76M|  46 |   5 | 140 |  13 |   6 | 140 |  23 |  24 |  87k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
461.88/462.02	c   433s|  1140k|107875 |  3670k|  76M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  87k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
465.57/465.71	c   436s|  1150k|108046 |  3700k|  76M|  46 |   - | 140 |  15 |   7 |   0 |   0 |  24 |  88k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
469.18/469.37	c   439s|  1160k|108107 |  3729k|  76M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  89k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
472.88/473.06	c   443s|  1170k|108051 |  3759k|  77M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 |  90k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
476.58/476.75	c   446s|  1180k|107866 |  3789k|  77M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 |  91k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
480.18/480.39	c   450s|  1190k|107725 |  3818k|  77M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 |  92k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
483.97/484.17	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
483.97/484.17	c   453s|  1200k|108032 |  3851k|  77M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 |  92k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
487.77/487.90	c   457s|  1210k|108117 |  3882k|  77M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 |  93k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
491.37/491.56	c   460s|  1220k|108184 |  3911k|  77M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 |  94k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
495.07/495.26	c   464s|  1230k|108620 |  3942k|  78M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 |  95k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
498.77/498.91	c   467s|  1240k|108927 |  3972k|  78M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 |  96k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
502.47/502.64	c   471s|  1250k|109323 |  4003k|  79M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 |  97k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
506.37/506.59	c   474s|  1260k|111398 |  4037k|  80M|  46 |   - | 140 |  17 |   7 |   0 |   0 |  24 |  97k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
510.36/510.51	c   478s|  1270k|113245 |  4069k|  81M|  46 |   - | 140 |  15 |   7 | 140 |  23 |  24 |  98k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
514.17/514.35	c   482s|  1280k|115016 |  4102k|  82M|  46 |   6 | 140 |  18 |   8 | 140 |  23 |  24 |  99k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
518.07/518.20	c   485s|  1290k|116858 |  4133k|  83M|  46 |   - | 140 |  16 |   6 |   0 |   0 |  24 |  99k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
521.77/521.99	c   489s|  1300k|118129 |  4165k|  84M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 100k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
525.56/525.75	c   492s|  1310k|118994 |  4196k|  84M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 101k|  12k| 9.094947e-13 | 8.000000e+00 |    Inf 
529.36/529.54	c   496s|  1320k|119882 |  4228k|  85M|  46 |   6 | 140 |  21 |   6 | 140 |  23 |  24 | 102k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
533.06/533.27	c   499s|  1330k|120685 |  4260k|  86M|  46 |   - | 140 |  20 |   4 | 140 |  23 |  24 | 102k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
536.85/537.05	c   503s|  1340k|121474 |  4291k|  86M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 103k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
540.66/540.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
540.66/540.81	c   506s|  1350k|122224 |  4322k|  87M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 104k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
544.37/544.57	c   510s|  1360k|122849 |  4353k|  87M|  46 |   6 | 140 |  19 |   7 | 140 |  23 |  24 | 105k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
548.06/548.29	c   513s|  1370k|123661 |  4383k|  88M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 105k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
551.86/552.09	c   517s|  1380k|124719 |  4415k|  89M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 106k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
555.66/555.82	c   520s|  1390k|125504 |  4447k|  89M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 107k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
559.35/559.54	c   524s|  1400k|126021 |  4478k|  90M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 108k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
563.25/563.45	c   527s|  1410k|128046 |  4510k|  91M|  46 |   6 | 140 |  18 |   7 | 140 |  23 |  24 | 108k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
567.05/567.24	c   531s|  1420k|129141 |  4542k|  92M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 109k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
570.96/571.12	c   535s|  1430k|130568 |  4574k|  92M|  46 |   6 | 140 |  20 |   6 | 140 |  23 |  24 | 110k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
574.65/574.88	c   538s|  1440k|131588 |  4605k|  93M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 111k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
578.36/578.58	c   542s|  1450k|132455 |  4635k|  94M|  46 |   - | 140 |  14 |   6 |   0 |   0 |  24 | 111k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
582.14/582.32	c   545s|  1460k|133001 |  4666k|  94M|  46 |   - | 140 |  20 |   6 | 140 |  23 |  24 | 112k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
585.85/586.05	c   549s|  1470k|133433 |  4696k|  95M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 113k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
589.65/589.88	c   552s|  1480k|134135 |  4727k|  95M|  46 |   - | 140 |  17 |   7 | 140 |  23 |  24 | 114k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
593.35/593.56	c   556s|  1490k|135098 |  4758k|  96M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 114k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
597.15/597.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
597.15/597.34	c   559s|  1500k|135651 |  4790k|  96M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 115k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
600.84/601.09	c   563s|  1510k|135932 |  4820k|  97M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 116k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
604.64/604.86	c   566s|  1520k|136522 |  4851k|  97M|  46 |   - | 140 |  21 |   6 | 140 |  23 |  24 | 117k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
608.45/608.61	c   570s|  1530k|136855 |  4881k|  98M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 118k|  13k| 9.094947e-13 | 8.000000e+00 |    Inf 
612.14/612.34	c   573s|  1540k|137185 |  4912k|  98M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 118k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
615.84/616.02	c   577s|  1550k|137591 |  4941k|  99M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 119k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
619.54/619.74	c   580s|  1560k|138041 |  4972k|  99M|  46 |   6 | 140 |  27 |  10 | 140 |  23 |  24 | 120k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
623.24/623.49	c   584s|  1570k|138605 |  5004k|  99M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 121k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
627.13/627.32	c   587s|  1580k|138827 |  5035k| 100M|  46 |   6 | 140 |  21 |   6 | 140 |  23 |  24 | 121k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
630.84/631.06	c   591s|  1590k|139292 |  5065k| 100M|  46 |   6 | 140 |  19 |   6 | 140 |  23 |  24 | 122k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
634.54/634.79	c   594s|  1600k|139476 |  5095k| 100M|  46 |   - | 140 |  21 |   6 | 140 |  23 |  24 | 123k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
638.33/638.50	c   598s|  1610k|139741 |  5126k| 101M|  46 |   - | 140 |  21 |   6 | 140 |  23 |  24 | 124k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
642.03/642.26	c   601s|  1620k|139764 |  5157k| 101M|  46 |   - | 140 |  22 |   6 | 140 |  23 |  24 | 125k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
645.83/646.03	c   605s|  1630k|139969 |  5188k| 101M|  46 |   6 | 140 |  20 |   6 | 140 |  23 |  24 | 125k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
649.53/649.77	c   608s|  1640k|140235 |  5218k| 102M|  46 |   6 | 140 |  20 |   6 | 140 |  23 |  24 | 126k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
653.24/653.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
653.24/653.43	c   612s|  1650k|140404 |  5248k| 102M|  46 |   6 | 140 |  19 |   7 | 140 |  23 |  24 | 127k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
656.93/657.14	c   615s|  1660k|140634 |  5278k| 102M|  46 |   - | 140 |  19 |   6 | 140 |  23 |  24 | 128k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
660.63/660.86	c   619s|  1670k|140914 |  5309k| 102M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 128k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
664.52/664.73	c   622s|  1680k|141753 |  5340k| 103M|  46 |   - | 140 |  19 |   7 |   0 |   0 |  24 | 129k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
668.22/668.49	c   626s|  1690k|142350 |  5370k| 104M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 130k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
672.03/672.23	c   629s|  1700k|142656 |  5400k| 104M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 131k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
675.73/675.99	c   633s|  1710k|142845 |  5431k| 104M|  46 |   6 | 140 |  20 |   8 | 140 |  23 |  24 | 132k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
679.53/679.72	c   636s|  1720k|143085 |  5460k| 105M|  46 |   - | 140 |  23 |   7 | 140 |  23 |  24 | 133k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
683.32/683.50	c   640s|  1730k|143151 |  5491k| 105M|  46 |   6 | 140 |  19 |   6 | 140 |  23 |  24 | 133k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
687.03/687.25	c   643s|  1740k|143236 |  5521k| 105M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 134k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
690.72/690.97	c   647s|  1750k|143659 |  5551k| 105M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 135k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
694.42/694.67	c   650s|  1760k|143671 |  5582k| 106M|  46 |   6 | 140 |  17 |   7 | 140 |  23 |  24 | 136k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
698.12/698.39	c   654s|  1770k|143666 |  5613k| 106M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 137k|  14k| 9.094947e-13 | 8.000000e+00 |    Inf 
701.82/702.07	c   657s|  1780k|143546 |  5642k| 106M|  46 |   - | 140 |  15 |   6 |   0 |   0 |  24 | 137k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
705.52/705.78	c   661s|  1790k|143600 |  5671k| 106M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 138k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
709.32/709.55	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
709.32/709.55	c   664s|  1800k|143392 |  5701k| 106M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 139k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
713.01/713.21	c   667s|  1810k|143588 |  5732k| 106M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 140k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
716.71/716.93	c   671s|  1820k|143807 |  5763k| 107M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 140k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
720.41/720.67	c   674s|  1830k|144484 |  5793k| 107M|  46 |   6 | 140 |  20 |   9 | 140 |  23 |  24 | 141k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
724.11/724.39	c   678s|  1840k|144485 |  5822k| 107M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 142k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
727.81/728.09	c   681s|  1850k|144510 |  5852k| 108M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 143k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
731.61/731.89	c   685s|  1860k|145093 |  5883k| 108M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 144k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
735.31/735.55	c   688s|  1870k|145257 |  5913k| 108M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 145k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
739.01/739.21	c   692s|  1880k|145345 |  5943k| 108M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 145k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
742.70/742.98	c   695s|  1890k|145461 |  5973k| 109M|  46 |   6 | 140 |  20 |   7 | 140 |  23 |  24 | 146k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
746.51/746.79	c   699s|  1900k|146162 |  6005k| 109M|  46 |   - | 140 |  12 |   5 |   0 |   0 |  24 | 147k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
750.30/750.52	c   702s|  1910k|145728 |  6035k| 109M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 148k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
754.00/754.24	c   706s|  1920k|145553 |  6064k| 109M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 149k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
757.71/757.94	c   709s|  1930k|145436 |  6094k| 109M|  46 |   - | 140 |  17 |   6 |   0 |   0 |  24 | 150k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
761.50/761.74	c   713s|  1940k|145875 |  6125k| 110M|  46 |   6 | 140 |  23 |   6 | 140 |  23 |  24 | 150k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
765.31/765.51	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
765.31/765.51	c   716s|  1950k|146186 |  6155k| 110M|  46 |   - | 140 |  21 |   6 | 140 |  23 |  24 | 151k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
769.00/769.29	c   720s|  1960k|146102 |  6186k| 110M|  46 |   - | 140 |  19 |   7 | 140 |  23 |  24 | 152k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
772.70/772.98	c   723s|  1970k|145923 |  6215k| 110M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 153k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
776.50/776.70	c   727s|  1980k|146370 |  6246k| 111M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 154k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
780.10/780.38	c   730s|  1990k|146347 |  6277k| 111M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 154k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
783.90/784.16	c   734s|  2000k|146324 |  6308k| 111M|  46 |   - | 140 |  14 |   6 |   0 |   0 |  24 | 155k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
787.69/787.93	c   737s|  2010k|145973 |  6338k| 111M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 156k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
791.50/791.71	c   741s|  2020k|146157 |  6369k| 111M|  46 |   - | 140 |  18 |   6 | 140 |  23 |  24 | 157k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
795.19/795.44	c   744s|  2030k|146570 |  6399k| 112M|  46 |   - | 140 |  17 |   8 |   0 |   0 |  24 | 158k|  15k| 9.094947e-13 | 8.000000e+00 |    Inf 
798.89/799.16	c   748s|  2040k|146638 |  6430k| 112M|  46 |   - | 140 |  19 |   6 | 140 |  23 |  24 | 159k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
802.60/802.83	c   751s|  2050k|146306 |  6459k| 112M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 160k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
806.30/806.56	c   755s|  2060k|147022 |  6490k| 112M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 161k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
810.09/810.31	c   758s|  2070k|147405 |  6520k| 113M|  46 |   - | 140 |  16 |   7 |   0 |   0 |  24 | 161k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
813.79/814.02	c   762s|  2080k|147221 |  6550k| 113M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 162k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
817.49/817.72	c   765s|  2090k|147036 |  6580k| 113M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 | 163k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
821.19/821.48	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
821.19/821.48	c   769s|  2100k|147406 |  6611k| 113M|  46 |   - | 140 |  14 |   7 | 140 |  23 |  24 | 164k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
824.88/825.17	c   772s|  2110k|147738 |  6640k| 113M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 165k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
828.58/828.82	c   776s|  2120k|147530 |  6670k| 113M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 166k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
832.18/832.45	c   779s|  2130k|147718 |  6700k| 114M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 167k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
835.89/836.15	c   782s|  2140k|148098 |  6731k| 114M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 167k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
839.58/839.80	c   786s|  2150k|147883 |  6761k| 114M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 | 168k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
843.28/843.53	c   789s|  2160k|147601 |  6791k| 114M|  46 |   - | 140 |  12 |   5 |   0 |   0 |  24 | 169k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
846.98/847.24	c   793s|  2170k|147213 |  6821k| 114M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 170k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
850.78/851.00	c   796s|  2180k|147600 |  6852k| 114M|  46 |   - | 140 |  15 |   6 |   0 |   0 |  24 | 170k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
854.39/854.67	c   800s|  2190k|147321 |  6882k| 114M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 171k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
858.07/858.38	c   803s|  2200k|147247 |  6912k| 114M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 172k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
861.78/862.09	c   807s|  2210k|146930 |  6942k| 114M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 173k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
865.58/865.84	c   810s|  2220k|146728 |  6972k| 114M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 174k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
869.37/869.68	c   814s|  2230k|147536 |  7004k| 115M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 175k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
873.18/873.42	c   817s|  2240k|147560 |  7036k| 115M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 175k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
876.87/877.14	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
876.87/877.14	c   821s|  2250k|147901 |  7067k| 116M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 176k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
880.57/880.90	c   824s|  2260k|147447 |  7098k| 115M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 177k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
884.37/884.63	c   828s|  2270k|147261 |  7127k| 115M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 178k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
888.17/888.41	c   831s|  2280k|146818 |  7158k| 115M|  46 |   6 | 140 |  20 |  10 | 140 |  23 |  24 | 179k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
891.87/892.15	c   835s|  2290k|147180 |  7189k| 116M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 180k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
895.57/895.88	c   838s|  2300k|146809 |  7221k| 116M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 180k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
899.27/899.59	c   842s|  2310k|146725 |  7251k| 116M|  46 |   6 | 140 |  20 |   7 | 140 |  23 |  24 | 181k|  16k| 9.094947e-13 | 8.000000e+00 |    Inf 
903.06/903.34	c   845s|  2320k|146267 |  7281k| 115M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 182k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
906.87/907.13	c   849s|  2330k|146718 |  7313k| 116M|  46 |   6 | 140 |  16 |   7 | 140 |  23 |  24 | 183k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
910.57/910.87	c   852s|  2340k|146638 |  7344k| 116M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 184k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
914.36/914.61	c   856s|  2350k|146682 |  7374k| 116M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 185k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
918.06/918.30	c   859s|  2360k|147254 |  7406k| 117M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 185k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
921.66/921.98	c   863s|  2370k|147087 |  7436k| 117M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 186k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
925.36/925.68	c   866s|  2380k|146854 |  7466k| 117M|  46 |   - | 140 |  18 |   5 | 140 |  23 |  24 | 187k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
929.16/929.42	c   870s|  2390k|146530 |  7496k| 116M|  46 |   - | 140 |  17 |   8 |   0 |   0 |  24 | 188k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
932.85/933.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
932.85/933.12	c   873s|  2400k|146587 |  7527k| 117M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 189k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
936.56/936.81	c   877s|  2410k|146172 |  7556k| 117M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 190k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
940.26/940.56	c   880s|  2420k|146104 |  7587k| 117M|  46 |   - | 140 |  17 |   7 |   0 |   0 |  24 | 190k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
944.05/944.33	c   884s|  2430k|145796 |  7617k| 117M|  46 |   - | 140 |  14 |   6 |   0 |   0 |  24 | 191k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
947.75/948.05	c   887s|  2440k|145695 |  7648k| 117M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 192k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
951.45/951.77	c   890s|  2450k|145769 |  7678k| 117M|  46 |   6 | 140 |  18 |   7 | 140 |  23 |  24 | 193k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
955.15/955.49	c   894s|  2460k|145602 |  7709k| 117M|  46 |   6 | 140 |  19 |   8 | 140 |  23 |  24 | 194k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
958.85/959.18	c   897s|  2470k|145344 |  7739k| 117M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 195k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
962.65/962.91	c   901s|  2480k|144832 |  7769k| 117M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 195k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
966.35/966.63	c   904s|  2490k|144839 |  7800k| 117M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 196k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
970.04/970.34	c   908s|  2500k|144433 |  7830k| 117M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 197k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
973.74/974.05	c   911s|  2510k|144166 |  7860k| 116M|  46 |   6 | 140 |  21 |   6 | 140 |  23 |  24 | 198k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
977.54/977.83	c   915s|  2520k|144929 |  7892k| 117M|  46 |   - | 140 |  18 |   7 |   0 |   0 |  24 | 199k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
981.44/981.72	c   919s|  2530k|146531 |  7924k| 118M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 200k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
985.14/985.47	c   922s|  2540k|147454 |  7955k| 119M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 200k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
988.94/989.30	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
988.94/989.30	c   926s|  2550k|148138 |  7987k| 119M|  46 |   - | 140 |  22 |   6 | 140 |  23 |  24 | 201k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
992.64/992.98	c   929s|  2560k|148843 |  8017k| 120M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 202k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
996.34/996.68	c   932s|  2570k|149322 |  8048k| 120M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 203k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
1000.14/1000.42	c   936s|  2580k|149817 |  8079k| 121M|  46 |   - | 140 |  14 |   6 |   0 |   0 |  24 | 204k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
1003.84/1004.13	c   939s|  2590k|150019 |  8110k| 121M|  46 |   6 | 140 |  15 |   7 | 140 |  23 |  24 | 205k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
1007.53/1007.88	c   943s|  2600k|150242 |  8141k| 121M|  46 |   6 | 140 |  20 |   6 | 140 |  23 |  24 | 206k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
1011.33/1011.63	c   946s|  2610k|150487 |  8171k| 121M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 | 207k|  17k| 9.094947e-13 | 8.000000e+00 |    Inf 
1015.04/1015.32	c   950s|  2620k|150515 |  8202k| 122M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 207k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1018.73/1019.02	c   953s|  2630k|150800 |  8232k| 122M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 208k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1022.53/1022.80	c   957s|  2640k|151079 |  8264k| 122M|  46 |   6 | 140 |  17 |   7 | 140 |  23 |  24 | 209k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1026.23/1026.50	c   960s|  2650k|151131 |  8294k| 122M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 | 210k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1029.83/1030.18	c   964s|  2660k|151015 |  8324k| 123M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 211k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1033.52/1033.84	c   967s|  2670k|151194 |  8354k| 123M|  46 |   - | 140 |  22 |  10 | 140 |  23 |  24 | 212k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1037.23/1037.53	c   971s|  2680k|151244 |  8385k| 123M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 213k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1040.93/1041.21	c   974s|  2690k|150970 |  8415k| 123M|  46 |   6 | 140 |  15 |   7 | 140 |  23 |  24 | 214k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1044.63/1044.91	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1044.63/1044.91	c   978s|  2700k|150633 |  8445k| 123M|  46 |   - | 140 |  12 |   6 |   0 |   0 |  24 | 215k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1048.42/1048.70	c   981s|  2710k|150482 |  8476k| 123M|  46 |   - | 140 |  18 |   6 | 140 |  23 |  24 | 216k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1052.12/1052.44	c   985s|  2720k|150398 |  8508k| 123M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 216k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1055.82/1056.14	c   988s|  2730k|149959 |  8537k| 123M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 | 217k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1059.52/1059.83	c   992s|  2740k|149529 |  8568k| 123M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 | 218k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1063.22/1063.56	c   995s|  2750k|149250 |  8598k| 123M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 | 219k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1066.92/1067.26	c   998s|  2760k|148845 |  8628k| 123M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 220k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1070.62/1070.94	c  1002s|  2770k|148272 |  8657k| 122M|  46 |   - | 140 |  13 |   7 |   0 |   0 |  24 | 221k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1074.32/1074.66	c  1005s|  2780k|147754 |  8688k| 122M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 222k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1078.02/1078.36	c  1009s|  2790k|147228 |  8717k| 122M|  46 |   - | 140 |  13 |   6 |   0 |   0 |  24 | 223k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1081.71/1082.06	c  1012s|  2800k|146685 |  8746k| 122M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 224k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1085.51/1085.82	c  1016s|  2810k|146173 |  8777k| 121M|  46 |   - | 140 |  18 |   6 |   0 |   0 |  24 | 224k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1089.22/1089.53	c  1019s|  2820k|146060 |  8805k| 121M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 225k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1092.91/1093.22	c  1023s|  2830k|145576 |  8835k| 121M|  46 |   - | 140 |  14 |   7 | 140 |  23 |  24 | 226k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1096.61/1096.94	c  1026s|  2840k|145142 |  8866k| 121M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 227k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1100.31/1100.66	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1100.31/1100.66	c  1030s|  2850k|144633 |  8896k| 121M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 228k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1104.01/1104.39	c  1033s|  2860k|144105 |  8926k| 120M|  46 |   6 | 140 |  19 |   6 | 140 |  23 |  24 | 229k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1107.71/1108.09	c  1037s|  2870k|143602 |  8955k| 120M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 230k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1111.50/1111.83	c  1040s|  2880k|143810 |  8985k| 120M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 231k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1115.21/1115.56	c  1044s|  2890k|143563 |  9015k| 120M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 232k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1118.91/1119.23	c  1047s|  2900k|143395 |  9045k| 120M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 232k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1122.60/1122.96	c  1051s|  2910k|142681 |  9075k| 120M|  46 |   - | 140 |  17 |   6 |   0 |   0 |  24 | 233k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1126.40/1126.73	c  1054s|  2920k|142776 |  9106k| 120M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 234k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1130.11/1130.44	c  1058s|  2930k|142935 |  9136k| 120M|  46 |   - | 140 |  17 |   6 |   0 |   0 |  24 | 235k|  18k| 9.094947e-13 | 8.000000e+00 |    Inf 
1133.81/1134.18	c  1061s|  2940k|143161 |  9167k| 120M|  46 |   - | 140 |  20 |   7 | 140 |  23 |  24 | 236k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1137.50/1137.88	c  1064s|  2950k|143105 |  9197k| 120M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 237k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1141.30/1141.62	c  1068s|  2960k|142388 |  9227k| 120M|  46 |   - | 140 |  25 |   8 |   0 |   0 |  24 | 238k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1145.00/1145.35	c  1071s|  2970k|141998 |  9258k| 120M|  46 |   - | 140 |  21 |   7 |   0 |   0 |  24 | 239k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1148.70/1149.06	c  1075s|  2980k|141518 |  9288k| 120M|  46 |   - | 140 |  18 |   6 | 140 |  23 |  24 | 240k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1152.40/1152.72	c  1078s|  2990k|141949 |  9318k| 120M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 240k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1155.99/1156.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1155.99/1156.33	c  1082s|  3000k|141771 |  9349k| 120M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 241k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1159.90/1160.24	c  1085s|  3010k|143301 |  9382k| 121M|  46 |   - | 140 |  19 |   8 |   0 |   0 |  24 | 242k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1163.69/1164.05	c  1089s|  3020k|144496 |  9415k| 122M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 243k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1167.49/1167.84	c  1093s|  3030k|145497 |  9446k| 122M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 243k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1171.20/1171.57	c  1096s|  3040k|146396 |  9478k| 123M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 244k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1174.89/1175.27	c  1099s|  3050k|147094 |  9510k| 124M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 245k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1178.59/1178.99	c  1103s|  3060k|147437 |  9541k| 124M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 246k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1182.38/1182.71	c  1106s|  3070k|147797 |  9572k| 124M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 247k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1186.09/1186.44	c  1110s|  3080k|148233 |  9602k| 125M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 247k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1189.89/1190.26	c  1113s|  3090k|148788 |  9634k| 125M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 248k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1193.58/1193.93	c  1117s|  3100k|149044 |  9665k| 126M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 249k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1197.28/1197.62	c  1120s|  3110k|149041 |  9696k| 126M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 250k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1200.98/1201.34	c  1124s|  3120k|149029 |  9727k| 126M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 250k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1204.78/1205.13	c  1127s|  3130k|149582 |  9758k| 126M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 251k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1208.58/1208.90	c  1131s|  3140k|149923 |  9789k| 127M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 252k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1212.28/1212.62	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1212.28/1212.62	c  1134s|  3150k|150172 |  9820k| 127M|  46 |   - | 140 |  13 |   6 |   0 |   0 |  24 | 253k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1215.88/1216.29	c  1138s|  3160k|150017 |  9850k| 127M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 253k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1219.58/1219.98	c  1141s|  3170k|149906 |  9881k| 127M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 254k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1223.28/1223.62	c  1145s|  3180k|149912 |  9911k| 127M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 | 255k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1226.97/1227.30	c  1148s|  3190k|149754 |  9942k| 127M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 | 256k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1230.66/1231.05	c  1152s|  3200k|149962 |  9972k| 128M|  46 |   - | 140 |  14 |   6 | 140 |  23 |  24 | 256k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1234.36/1234.70	c  1155s|  3210k|149747 | 10002k| 128M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 | 257k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1237.96/1238.38	c  1158s|  3220k|149855 | 10033k| 128M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 258k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1241.76/1242.11	c  1162s|  3230k|149909 | 10063k| 128M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 | 259k|  19k| 9.094947e-13 | 8.000000e+00 |    Inf 
1245.66/1246.03	c  1166s|  3240k|149860 | 10094k| 128M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 | 260k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1249.35/1249.79	c  1169s|  3250k|150139 | 10125k| 128M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 261k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1253.05/1253.46	c  1173s|  3260k|150271 | 10155k| 129M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 261k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1256.85/1257.23	c  1176s|  3270k|150848 | 10187k| 129M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 262k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1260.55/1260.92	c  1179s|  3280k|150944 | 10217k| 129M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 | 263k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1264.25/1264.67	c  1183s|  3290k|150540 | 10248k| 129M|  46 |   - | 140 |  18 |   6 | 140 |  23 |  24 | 264k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1267.96/1268.37	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1267.96/1268.37	c  1186s|  3300k|150215 | 10277k| 129M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 265k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1271.65/1272.08	c  1190s|  3310k|149915 | 10308k| 129M|  46 |   - | 140 |  18 |   6 | 140 |  23 |  24 | 266k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1275.35/1275.74	c  1193s|  3320k|149667 | 10337k| 129M|  46 |   6 | 140 |  19 |   6 | 140 |  23 |  24 | 266k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1279.05/1279.44	c  1197s|  3330k|150100 | 10369k| 130M|  46 |   6 | 140 |  21 |   6 | 140 |  23 |  24 | 267k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1282.75/1283.14	c  1200s|  3340k|149905 | 10399k| 130M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 268k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1286.44/1286.84	c  1204s|  3350k|149427 | 10429k| 129M|  46 |   - | 140 |  21 |   7 | 140 |  23 |  24 | 269k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1290.14/1290.58	c  1207s|  3360k|149375 | 10460k| 129M|  46 |   6 | 140 |  22 |   6 | 140 |  23 |  24 | 270k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1293.84/1294.25	c  1211s|  3370k|149297 | 10491k| 129M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 271k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1297.55/1297.96	c  1214s|  3380k|148815 | 10521k| 129M|  46 |   6 | 140 |  15 |   7 | 140 |  23 |  24 | 272k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1301.24/1301.64	c  1217s|  3390k|148212 | 10551k| 129M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 272k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1304.94/1305.37	c  1221s|  3400k|147582 | 10581k| 129M|  46 |   - | 140 |  13 |   7 | 140 |  23 |  24 | 273k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1308.74/1309.15	c  1225s|  3410k|148056 | 10613k| 129M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 274k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1312.54/1312.96	c  1228s|  3420k|148484 | 10646k| 129M|  46 |   - | 140 |  15 |   6 |   0 |   0 |  24 | 275k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1316.54/1316.91	c  1232s|  3430k|149877 | 10679k| 130M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 276k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1320.34/1320.77	c  1235s|  3440k|151196 | 10711k| 131M|  46 |   6 | 140 |  19 |   8 | 140 |  23 |  24 | 276k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1324.23/1324.61	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1324.23/1324.61	c  1239s|  3450k|152602 | 10743k| 132M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 277k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1328.14/1328.54	c  1243s|  3460k|154206 | 10776k| 133M|  46 |   6 | 140 |  19 |   7 | 140 |  23 |  24 | 278k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1332.03/1332.44	c  1246s|  3470k|155586 | 10809k| 134M|  46 |   - | 140 |  18 |   6 | 140 |  23 |  24 | 279k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1335.93/1336.32	c  1250s|  3480k|157137 | 10842k| 135M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 280k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1339.93/1340.39	c  1254s|  3490k|159308 | 10878k| 136M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 280k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1344.13/1344.57	c  1258s|  3500k|161533 | 10915k| 137M|  46 |   - | 140 |  19 |   7 | 140 |  23 |  24 | 281k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1348.23/1348.65	c  1261s|  3510k|163742 | 10951k| 138M|  46 |   - | 140 |  17 |   7 | 140 |  23 |  24 | 282k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1352.22/1352.64	c  1265s|  3520k|165619 | 10986k| 139M|  46 |   6 | 140 |  22 |   7 | 140 |  23 |  24 | 283k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1356.13/1356.54	c  1269s|  3530k|167221 | 11020k| 140M|  46 |   - | 140 |  24 |   6 | 140 |  23 |  24 | 283k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1359.93/1360.39	c  1272s|  3540k|168492 | 11053k| 141M|  46 |   - | 140 |  19 |   7 | 140 |  23 |  24 | 284k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1363.82/1364.23	c  1276s|  3550k|169543 | 11087k| 142M|  46 |   - | 140 |  19 |   6 |   0 |   0 |  24 | 285k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1367.72/1368.12	c  1280s|  3560k|170574 | 11121k| 142M|  46 |   6 | 140 |  21 |   7 | 140 |  23 |  24 | 285k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1371.52/1371.91	c  1283s|  3570k|171586 | 11154k| 143M|  46 |   6 | 140 |  22 |   6 | 140 |  23 |  24 | 286k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1375.32/1375.74	c  1287s|  3580k|172650 | 11188k| 144M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 287k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1379.12/1379.54	c  1290s|  3590k|173542 | 11221k| 144M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 288k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1382.92/1383.38	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1382.92/1383.38	c  1294s|  3600k|174114 | 11254k| 145M|  46 |   - | 140 |  11 |   6 |   0 |   0 |  24 | 288k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1386.82/1387.27	c  1298s|  3610k|175220 | 11288k| 146M|  46 |   - | 140 |  13 |   6 |   0 |   0 |  24 | 289k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1390.62/1391.10	c  1301s|  3620k|176173 | 11322k| 146M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 | 290k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1394.91/1395.39	c  1305s|  3630k|179058 | 11358k| 148M|  46 |   6 | 140 |  19 |   7 | 140 |  23 |  24 | 291k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1398.91/1399.36	c  1309s|  3640k|181112 | 11391k| 149M|  46 |   - | 140 |  17 |   7 | 140 |  23 |  24 | 291k|  20k| 9.094947e-13 | 8.000000e+00 |    Inf 
1402.81/1403.27	c  1313s|  3650k|182704 | 11423k| 150M|  46 |   - | 140 |  22 |   7 |   0 |   0 |  24 | 292k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1406.91/1407.31	c  1316s|  3660k|185111 | 11457k| 151M|  46 |   6 | 140 |  19 |   7 | 140 |  23 |  24 | 293k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1410.92/1411.31	c  1320s|  3670k|186741 | 11491k| 152M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 294k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1414.81/1415.27	c  1324s|  3680k|188367 | 11524k| 153M|  46 |   - | 140 |  20 |   6 |   0 |   0 |  24 | 295k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1418.72/1419.13	c  1327s|  3690k|189669 | 11556k| 154M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 295k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1422.61/1423.08	c  1331s|  3700k|190887 | 11589k| 155M|  46 |   - | 140 |  18 |   7 |   0 |   0 |  24 | 296k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1426.61/1427.06	c  1335s|  3710k|192490 | 11621k| 156M|  46 |   - | 140 |  24 |   8 | 140 |  23 |  24 | 297k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1430.50/1430.94	c  1338s|  3720k|194260 | 11654k| 157M|  46 |   6 | 140 |  22 |  12 | 140 |  23 |  24 | 298k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1434.30/1434.75	c  1342s|  3730k|195414 | 11685k| 157M|  46 |   - | 140 |  14 |   7 |   0 |   0 |  24 | 299k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1438.10/1438.60	c  1346s|  3740k|196526 | 11717k| 158M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 300k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1442.01/1442.49	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1442.01/1442.49	c  1349s|  3750k|197660 | 11749k| 159M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 300k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1445.90/1446.35	c  1353s|  3760k|198602 | 11781k| 160M|  46 |   6 | 140 |  12 |   6 | 140 |  23 |  24 | 301k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1449.80/1450.26	c  1356s|  3770k|200188 | 11813k| 161M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 302k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1453.61/1454.09	c  1360s|  3780k|201094 | 11846k| 161M|  46 |   - | 140 |  20 |   6 |   0 |   0 |  24 | 303k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1457.50/1457.94	c  1364s|  3790k|202438 | 11879k| 162M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 304k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1461.30/1461.76	c  1367s|  3800k|203488 | 11910k| 163M|  46 |   - | 140 |  19 |   6 | 140 |  23 |  24 | 304k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1465.20/1465.60	c  1371s|  3810k|204233 | 11942k| 164M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 305k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1469.00/1469.46	c  1374s|  3820k|205556 | 11973k| 164M|  46 |   6 | 140 |  19 |   7 | 140 |  23 |  24 | 306k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1472.79/1473.24	c  1378s|  3830k|206756 | 12004k| 165M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 307k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1476.49/1476.99	c  1381s|  3840k|207526 | 12035k| 166M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 308k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1480.39/1480.89	c  1385s|  3850k|208178 | 12068k| 166M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 308k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1484.29/1484.72	c  1389s|  3860k|208873 | 12099k| 167M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 309k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1488.19/1488.62	c  1392s|  3870k|209623 | 12131k| 167M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 310k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1491.99/1492.42	c  1396s|  3880k|210308 | 12164k| 168M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 311k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1495.69/1496.19	c  1399s|  3890k|211002 | 12196k| 169M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 | 312k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1499.49/1499.95	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1499.49/1499.95	c  1403s|  3900k|211751 | 12227k| 169M|  46 |   - | 140 |  11 |   6 | 140 |  23 |  24 | 312k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1503.39/1503.82	c  1407s|  3910k|212627 | 12260k| 170M|  46 |   - | 140 |  12 |   6 | 140 |  23 |  24 | 313k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1507.19/1507.68	c  1410s|  3920k|213513 | 12292k| 170M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 314k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1511.09/1511.57	c  1414s|  3930k|214228 | 12325k| 171M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 315k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1514.88/1515.34	c  1417s|  3940k|214546 | 12357k| 171M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 316k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1518.68/1519.13	c  1421s|  3950k|215321 | 12388k| 172M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 316k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1522.99/1523.40	c  1425s|  3960k|218114 | 12424k| 173M|  46 |   - | 140 |  27 |   6 | 140 |  23 |  24 | 317k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1527.28/1527.77	c  1429s|  3970k|221536 | 12462k| 175M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 318k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1531.68/1532.15	c  1433s|  3980k|224695 | 12500k| 177M|  46 |   6 | 140 |  24 |   6 | 140 |  23 |  24 | 319k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1535.88/1536.35	c  1437s|  3990k|227502 | 12536k| 178M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 319k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1539.87/1540.36	c  1441s|  4000k|229786 | 12571k| 179M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 320k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1543.98/1544.44	c  1445s|  4010k|231873 | 12605k| 180M|  46 |   - | 140 |  13 |   6 | 140 |  23 |  24 | 321k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1548.07/1548.54	c  1448s|  4020k|234215 | 12640k| 182M|  46 |   6 | 140 |  15 |   8 | 140 |  23 |  24 | 322k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1552.17/1552.65	c  1452s|  4030k|236831 | 12675k| 183M|  46 |   - | 140 |  18 |   7 |   0 |   0 |  24 | 322k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1556.17/1556.68	c  1456s|  4040k|238933 | 12710k| 184M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 323k|  21k| 9.094947e-13 | 8.000000e+00 |    Inf 
1560.18/1560.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1560.18/1560.68	c  1460s|  4050k|240975 | 12744k| 185M|  46 |   6 | 140 |  21 |   6 | 140 |  23 |  24 | 324k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1564.17/1564.66	c  1463s|  4060k|242834 | 12778k| 186M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 325k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1568.27/1568.73	c  1467s|  4070k|244792 | 12812k| 187M|  46 |   - | 140 |  18 |   6 |   0 |   0 |  24 | 326k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1572.27/1572.77	c  1471s|  4080k|247058 | 12846k| 189M|  46 |   6 | 140 |  23 |   7 | 140 |  23 |  24 | 326k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1576.37/1576.81	c  1475s|  4090k|249047 | 12882k| 190M|  46 |   6 | 140 |  20 |   6 | 140 |  23 |  24 | 327k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1580.47/1580.93	c  1479s|  4100k|251451 | 12917k| 191M|  46 |   6 | 140 |  21 |   6 | 140 |  23 |  24 | 328k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1584.37/1584.89	c  1482s|  4110k|253309 | 12951k| 192M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 329k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1588.36/1588.88	c  1486s|  4120k|255366 | 12985k| 193M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 329k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1592.26/1592.80	c  1490s|  4130k|257287 | 13018k| 194M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 330k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1596.36/1596.86	c  1493s|  4140k|259510 | 13052k| 195M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 331k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1600.36/1600.89	c  1497s|  4150k|261706 | 13086k| 197M|  46 |   6 | 140 |  22 |   6 | 140 |  23 |  24 | 332k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1604.46/1604.96	c  1501s|  4160k|264048 | 13120k| 198M|  46 |   6 | 140 |  19 |   6 | 140 |  23 |  24 | 332k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1608.36/1608.85	c  1505s|  4170k|266121 | 13153k| 199M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 333k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1612.26/1612.77	c  1508s|  4180k|267951 | 13187k| 200M|  46 |   6 | 140 |  20 |   7 | 140 |  23 |  24 | 334k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1616.26/1616.71	c  1512s|  4190k|269802 | 13221k| 201M|  46 |   - | 140 |  23 |   7 |   0 |   0 |  24 | 335k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1620.05/1620.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1620.05/1620.59	c  1516s|  4200k|271572 | 13254k| 202M|  46 |   6 | 140 |  19 |   7 | 140 |  23 |  24 | 335k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1624.15/1624.68	c  1519s|  4210k|273594 | 13289k| 203M|  46 |   6 | 140 |  22 |   6 | 140 |  23 |  24 | 336k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1628.16/1628.61	c  1523s|  4220k|274923 | 13322k| 204M|  46 |   6 | 140 |  19 |   6 | 140 |  23 |  24 | 337k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1632.15/1632.70	c  1527s|  4230k|277673 | 13357k| 205M|  46 |   6 | 140 |  19 |   6 | 140 |  23 |  24 | 338k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1636.05/1636.54	c  1531s|  4240k|279345 | 13390k| 206M|  46 |   - | 140 |  20 |   6 |   0 |   0 |  24 | 339k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1640.05/1640.55	c  1534s|  4250k|281094 | 13424k| 207M|  46 |   - | 140 |  21 |   6 | 140 |  23 |  24 | 339k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1644.06/1644.52	c  1538s|  4260k|283478 | 13458k| 209M|  46 |   6 | 140 |  19 |   6 | 140 |  23 |  24 | 340k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1647.95/1648.44	c  1542s|  4270k|284861 | 13491k| 210M|  46 |   - | 140 |  19 |   5 |   0 |   0 |  24 | 341k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1651.94/1652.42	c  1545s|  4280k|286487 | 13525k| 211M|  46 |   - | 140 |  21 |   6 | 140 |  23 |  24 | 342k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1655.74/1656.29	c  1549s|  4290k|287978 | 13558k| 212M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 342k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1659.74/1660.20	c  1553s|  4300k|289503 | 13592k| 212M|  46 |   - | 140 |  19 |   8 |   0 |   0 |  24 | 343k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1663.65/1664.11	c  1556s|  4310k|291144 | 13625k| 213M|  46 |   - | 140 |  18 |   6 | 140 |  23 |  24 | 344k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1667.54/1668.03	c  1560s|  4320k|292733 | 13658k| 214M|  46 |   6 | 140 |  21 |   9 | 140 |  23 |  24 | 345k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1671.34/1671.88	c  1564s|  4330k|293993 | 13690k| 215M|  46 |   6 | 140 |  21 |   6 | 140 |  23 |  24 | 345k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1675.34/1675.87	c  1567s|  4340k|296164 | 13723k| 216M|  46 |   - | 140 |  17 |   6 | 140 |  23 |  24 | 346k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1679.25/1679.72	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1679.25/1679.72	c  1571s|  4350k|297663 | 13756k| 217M|  46 |   6 | 140 |  21 |   6 | 140 |  23 |  24 | 347k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1683.14/1683.69	c  1575s|  4360k|299600 | 13789k| 218M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 348k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1687.03/1687.58	c  1578s|  4370k|300978 | 13821k| 219M|  46 |   6 | 140 |  20 |   7 | 140 |  23 |  24 | 349k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1691.14/1691.60	c  1582s|  4380k|303168 | 13855k| 221M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 349k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1694.93/1695.47	c  1586s|  4390k|304803 | 13889k| 222M|  46 |   - | 140 |  21 |   6 | 140 |  23 |  24 | 350k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1698.84/1699.36	c  1589s|  4400k|306274 | 13922k| 222M|  46 |   6 | 140 |  19 |   6 | 140 |  23 |  24 | 351k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1702.83/1703.30	c  1593s|  4410k|307646 | 13955k| 223M|  46 |   6 | 140 |  18 |   6 | 140 |  23 |  24 | 352k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1706.64/1707.19	c  1597s|  4420k|309469 | 13987k| 224M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 352k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1710.53/1711.03	c  1600s|  4430k|310750 | 14019k| 225M|  46 |   6 | 140 |  21 |   7 | 140 |  23 |  24 | 353k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1714.44/1714.94	c  1604s|  4440k|312293 | 14053k| 226M|  46 |   - | 140 |  18 |   6 | 140 |  23 |  24 | 354k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1718.33/1718.85	c  1608s|  4450k|313683 | 14087k| 227M|  46 |   - | 140 |  14 |   6 |   0 |   0 |  24 | 355k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1722.23/1722.77	c  1611s|  4460k|315003 | 14120k| 228M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 355k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1726.12/1726.68	c  1615s|  4470k|316551 | 14153k| 229M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 356k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1730.02/1730.53	c  1619s|  4480k|317766 | 14186k| 230M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 357k|  22k| 9.094947e-13 | 8.000000e+00 |    Inf 
1733.83/1734.38	c  1622s|  4490k|319207 | 14218k| 230M|  46 |   6 | 140 |  13 |   6 | 140 |  23 |  24 | 358k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1737.72/1738.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1737.72/1738.25	c  1626s|  4500k|320800 | 14251k| 231M|  46 |   - | 140 |  16 |   8 | 140 |  23 |  24 | 359k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1741.62/1742.11	c  1629s|  4510k|322133 | 14283k| 232M|  46 |   - | 140 |  17 |   8 |   0 |   0 |  24 | 359k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1745.52/1746.00	c  1633s|  4520k|323379 | 14315k| 233M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 360k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1749.32/1749.88	c  1637s|  4530k|324530 | 14347k| 234M|  46 |   - | 140 |  16 |   6 | 140 |  23 |  24 | 361k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1753.22/1753.76	c  1640s|  4540k|325762 | 14380k| 235M|  46 |   6 | 140 |  21 |  10 | 140 |  23 |  24 | 362k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1757.11/1757.65	c  1644s|  4550k|327066 | 14413k| 235M|  46 |   6 | 140 |  15 |   6 | 140 |  23 |  24 | 362k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1761.02/1761.58	c  1648s|  4560k|328630 | 14447k| 236M|  46 |   6 | 140 |  20 |   8 | 140 |  23 |  24 | 363k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1765.02/1765.55	c  1651s|  4570k|330129 | 14481k| 237M|  46 |   6 | 140 |  15 |   7 | 140 |  23 |  24 | 364k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1769.01/1769.51	c  1655s|  4580k|331734 | 14514k| 238M|  46 |   6 | 140 |  16 |   6 | 140 |  23 |  24 | 365k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1773.11/1773.62	c  1659s|  4590k|334079 | 14550k| 240M|  46 |   6 | 140 |  18 |   7 | 140 |  23 |  24 | 366k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1777.01/1777.58	c  1662s|  4600k|335584 | 14585k| 240M|  46 |   - | 140 |  15 |   6 | 140 |  23 |  24 | 367k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1781.01/1781.50	c  1666s|  4610k|337124 | 14619k| 241M|  46 |   6 | 140 |  14 |   6 | 140 |  23 |  24 | 367k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1784.81/1785.37	c  1670s|  4620k|338383 | 14652k| 242M|  46 |   6 | 140 |  17 |   7 | 140 |  23 |  24 | 368k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1789.11/1789.65	c  1674s|  4630k|340981 | 14688k| 244M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 369k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1793.10/1793.70	c  1678s|  4640k|343592 | 14722k| 245M|  46 |   6 | 140 |  18 |   8 | 140 |  23 |  24 | 369k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1797.20/1797.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1797.20/1797.71	c  1681s|  4650k|345858 | 14756k| 246M|  46 |   6 | 140 |  17 |   6 | 140 |  23 |  24 | 370k|  23k| 9.094947e-13 | 8.000000e+00 |    Inf 
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1683.89
1800.01/1800.50	c Solving Nodes      : 4657010
1800.01/1800.50	c Primal Bound       : +8.00000000000000e+00 (40 solutions)
1800.01/1800.50	c Dual Bound         : +9.09494701772928e-13
1800.01/1800.50	c Gap                : infinite
1800.01/1800.50	c NODE         4657010
1800.01/1800.50	c DUAL BOUND   9.09495e-13
1800.01/1800.50	c PRIMAL BOUND 8
1800.01/1800.50	c GAP          1e+20
1800.01/1800.50	s SATISFIABLE
1800.01/1800.50	v x146 -x145 -x144 -x143 x142 x141 x140 x139 x138 x137 -x136 -x135 x134 x133 -x132 x131 x130 -x129 x128 -x127 x126 -x125 -x124 x123 
1800.01/1800.50	v -x122 x121 x120 x119 x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 x106 -x105 -x104 x103 x102 x101 
1800.01/1800.50	v -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 
1800.01/1800.50	v -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 
1800.01/1800.50	v x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 
1800.01/1800.50	v -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time       :    1683.89
1800.01/1800.50	c Original Problem   :
1800.01/1800.50	c   Problem name     : HOME/instance-1869540-1245177635.opb
1800.01/1800.50	c   Variables        : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 12 initial, 12 maximal
1800.01/1800.50	c Presolved Problem  :
1800.01/1800.50	c   Problem name     : t_HOME/instance-1869540-1245177635.opb
1800.01/1800.50	c   Variables        : 140 (140 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 6 initial, 50 maximal
1800.01/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.50	c   linear           :       0.00          0          6          0          0          0          6          0          0
1800.01/1800.50	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   root node        :          -         60          -          -         60          -          -          -          -
1800.01/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   integral         :          0          0          0    2544718          0         62       4005          0          0    5081406
1800.01/1800.50	c   linear           :          6          6    6488608          0          0     866024    5571858         20          0          0
1800.01/1800.50	c   logicor          :          0+         0     987175          0          0       5870     114009          0          0          0
1800.01/1800.50	c   countsols        :          0          0          0         18          0          0          0          0          0          0
1800.01/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.50	c   integral         :      30.68       0.00       0.00      30.68       0.00
1800.01/1800.50	c   linear           :     400.46       0.00     400.46       0.00       0.00
1800.01/1800.50	c   logicor          :       2.28       0.00       2.28       0.00       0.00
1800.01/1800.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.50	c   rootredcost      :       2.53         38          0         60
1800.01/1800.50	c   pseudoobj        :      51.11    6514987      26540      95826
1800.01/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.50	c   propagation      :      51.80     898416     364642     428631       45.1          0        0.0          -
1800.01/1800.50	c   infeasible LP    :       0.37       6630       6629       6901       21.5          0        0.0          0
1800.01/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   pseudo solution  :       0.00          1          1          4       45.2          0        0.0          -
1800.01/1800.50	c   applied globally :          -          -          -       6844       21.2          -          -          -
1800.01/1800.50	c   applied locally  :          -          -          -     364487       45.2          -          -          -
1800.01/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.50	c   cut pool         :       0.00          5          -          -         21          -    (maximal pool size: 88)
1800.01/1800.50	c   redcost          :      48.50    3288633          0   12745016          0          0
1800.01/1800.50	c   impliedbounds    :       0.00          6          0          0          0          0
1800.01/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.50	c   gomory           :       0.02          6          0          0          0          0
1800.01/1800.50	c   strongcg         :       0.01          6          0          0         12          0
1800.01/1800.50	c   cmir             :       0.03          6          0          0         27          0
1800.01/1800.50	c   flowcover        :       0.05          6          0          0         39          0
1800.01/1800.50	c   clique           :       0.00          1          0          0          0          0
1800.01/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.50	c   mcf              :       0.00          1          0          0          0          0
1800.01/1800.50	c Pricers            :       Time      Calls       Vars
1800.01/1800.50	c   problem variables:       0.00          0          0
1800.01/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   relpscost        :      28.33    2544700         62       4005          0          0    5081406
1800.01/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   inference        :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.50	c   LP solutions     :       0.01          -         18
1800.01/1800.50	c   pseudo solutions :       0.00          -          0
1800.01/1800.50	c   oneopt           :       2.12         37          0
1800.01/1800.50	c   crossover        :       7.80          8          0
1800.01/1800.50	c   guideddiving     :       9.75       6200          5
1800.01/1800.50	c   coefdiving       :      12.87       6201          2
1800.01/1800.50	c   pscostdiving     :      10.72       6201          3
1800.01/1800.50	c   fracdiving       :      10.64       6201          1
1800.01/1800.50	c   veclendiving     :      10.40       6201          1
1800.01/1800.50	c   linesearchdiving :       9.09       6201          4
1800.01/1800.50	c   objpscostdiving  :       6.06       3101          1
1800.01/1800.50	c   simplerounding   :       1.59          0          0
1800.01/1800.50	c   rounding         :       2.57      24295          0
1800.01/1800.50	c   shifting         :      46.06      43782          4
1800.01/1800.50	c   intshifting      :       0.12          0          0
1800.01/1800.50	c   fixandinfer      :       0.00          0          0
1800.01/1800.50	c   feaspump         :       0.34          1          0
1800.01/1800.50	c   intdiving        :       0.00          0          0
1800.01/1800.50	c   actconsdiving    :       0.00          0          0
1800.01/1800.50	c   rootsoldiving    :       5.48       1084          1
1800.01/1800.50	c   octane           :       0.00          0          0
1800.01/1800.50	c   rens             :       0.10          1          0
1800.01/1800.50	c   rins             :       0.00          0          0
1800.01/1800.50	c   localbranching   :       0.00          0          0
1800.01/1800.50	c   mutation         :       0.00          0          0
1800.01/1800.50	c   dins             :       0.00          0          0
1800.01/1800.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.50	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.50	c   dual LP          :     662.30    4280314   14023132       3.28   21173.38
1800.01/1800.50	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.50	c   diving/probing LP:      38.67     304022     757366       2.49   19585.36
1800.01/1800.50	c   strong branching :       5.62      23398      75626       3.23   13456.58
1800.01/1800.50	c     (at root node) :          -         20        986      49.30          -
1800.01/1800.50	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.50	c B&B Tree           :
1800.01/1800.50	c   number of runs   :          1
1800.01/1800.50	c   nodes            :    4657010
1800.01/1800.50	c   nodes (total)    :    4657010
1800.01/1800.50	c   nodes left       :     347090
1800.01/1800.50	c   max depth        :         46
1800.01/1800.50	c   max depth (total):         46
1800.01/1800.50	c   backtracks       :    1145398 (24.6%)
1800.01/1800.50	c   delayed cutoffs  :      71844
1800.01/1800.50	c   repropagations   :     121635 (423487 domain reductions, 71470 cutoffs)
1800.01/1800.50	c   avg switch length:       5.59
1800.01/1800.50	c   switching time   :     113.29
1800.01/1800.50	c Solution           :
1800.01/1800.50	c   Solutions found  :         40 (38 improvements)
1800.01/1800.50	c   Primal Bound     : +8.00000000000000e+00   (in run 1, after 387331 nodes, 162.58 seconds, depth 33, found by <relaxation>)
1800.01/1800.50	c   Dual Bound       : +9.09494701772928e-13
1800.01/1800.50	c   Gap              :   infinite
1800.01/1800.50	c   Root Dual Bound  : +9.09494701772928e-13
1801.50/1802.06	c Time complete: 1801.56.

Verifier Data 

OK	8

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869540-1245177635/watcher-1869540-1245177635 -o /tmp/evaluation-result-1869540-1245177635/solver-1869540-1245177635 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869540-1245177635.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.02 1.00 3/64 5233
/proc/meminfo: memFree=1897400/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=4324 CPUtime=0
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 473 0 0 0 0 0 0 0 18 0 1 0 185364455 4427776 458 1992294400 4194304 7823515 548682068736 18446744073709551615 6820784 0 0 4096 0 0 0 0 17 1 0 0
/proc/5233/statm: 1082 465 301 886 0 192 0

[startup+0.0543039 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 5233
/proc/meminfo: memFree=1897400/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=13052 CPUtime=0.04
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 2810 0 0 0 3 1 0 0 18 0 1 0 185364455 13365248 2438 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 3263 2438 551 886 0 2373 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13052

[startup+0.101307 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 5233
/proc/meminfo: memFree=1897400/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=13052 CPUtime=0.09
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 2831 0 0 0 8 1 0 0 18 0 1 0 185364455 13365248 2459 1992294400 4194304 7823515 548682068736 18446744073709551615 5399317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 3263 2459 551 886 0 2373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13052

[startup+0.301326 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 5233
/proc/meminfo: memFree=1897400/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=15888 CPUtime=0.29
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 4523 0 0 0 26 3 0 0 19 0 1 0 185364455 16269312 3194 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 3972 3194 566 886 0 3082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15888

[startup+0.701506 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 5233
/proc/meminfo: memFree=1897400/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=15888 CPUtime=0.69
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 4530 0 0 0 63 6 0 0 22 0 1 0 185364455 16269312 3201 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 3972 3201 572 886 0 3082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15888

[startup+1.50144 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5234
/proc/meminfo: memFree=1882544/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=13824 CPUtime=1.49
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 5616 0 0 0 137 12 0 0 25 0 1 0 185364455 14155776 2686 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 3456 2686 573 886 0 2566 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13824

[startup+3.10159 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5234
/proc/meminfo: memFree=1888368/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=14636 CPUtime=3.09
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 7180 0 0 0 288 21 0 0 25 0 1 0 185364455 14987264 2927 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 3659 2927 573 886 0 2769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14636

[startup+6.30289 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5234
/proc/meminfo: memFree=1883960/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=16424 CPUtime=6.29
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 12259 0 0 0 591 38 0 0 25 0 1 0 185364455 16818176 3385 1992294400 4194304 7823515 548682068736 18446744073709551615 5061713 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 4106 3385 573 886 0 3216 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16424

[startup+12.7015 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5234
/proc/meminfo: memFree=1883576/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=18628 CPUtime=12.69
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 17425 0 0 0 1197 72 0 0 25 0 1 0 185364455 19075072 3949 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 4657 3949 573 886 0 3767 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18628

[startup+25.5017 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5234
/proc/meminfo: memFree=1878904/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=23064 CPUtime=25.49
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 27138 0 0 0 2398 151 0 0 25 0 1 0 185364455 23617536 5083 1992294400 4194304 7823515 548682068736 18446744073709551615 6722859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 5766 5083 574 886 0 4876 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23064

[startup+51.101 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5234
/proc/meminfo: memFree=1872824/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=29848 CPUtime=51.08
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 34728 0 0 0 4816 292 0 0 25 0 1 0 185364455 30564352 6788 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 7462 6788 574 886 0 6572 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29848

[startup+102.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5234
/proc/meminfo: memFree=1861688/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=40188 CPUtime=102.27
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 39795 0 0 0 9619 608 0 0 25 0 1 0 185364455 41152512 9424 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 10047 9424 574 886 0 9157 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40188

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5234
/proc/meminfo: memFree=1852664/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=49024 CPUtime=162.25
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 42695 0 0 0 15248 977 0 0 25 0 1 0 185364455 50200576 11672 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 12256 11672 574 886 0 11366 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49024

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5234
/proc/meminfo: memFree=1842680/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=58568 CPUtime=222.23
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 55346 0 0 0 20842 1381 0 0 25 0 1 0 185364455 59973632 14143 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 14642 14143 574 886 0 13752 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 58568

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5234
/proc/meminfo: memFree=1829624/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=72844 CPUtime=282.22
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 59242 0 0 0 26456 1766 0 0 25 0 1 0 185364455 74592256 17392 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 18211 17392 574 886 0 17321 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 72844

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5234
/proc/meminfo: memFree=1819704/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=83136 CPUtime=342.21
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 62468 0 0 0 32067 2154 0 0 25 0 1 0 185364455 85131264 19972 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 20784 19972 574 886 0 19894 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 83136

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5234
/proc/meminfo: memFree=1811448/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=90784 CPUtime=402.2
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 64399 0 0 0 37675 2545 0 0 25 0 1 0 185364455 92962816 21903 1992294400 4194304 7823515 548682068736 18446744073709551615 5399390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 22696 21903 574 886 0 21806 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 90784

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5234
/proc/meminfo: memFree=1804856/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=97332 CPUtime=462.18
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 66048 0 0 0 43285 2933 0 0 25 0 1 0 185364455 99667968 23552 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 24333 23552 574 886 0 23443 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 97332

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5234
/proc/meminfo: memFree=1797304/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=104740 CPUtime=522.16
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 68572 0 0 0 48902 3314 0 0 25 0 1 0 185364455 107253760 25433 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 26185 25433 574 886 0 25295 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 104740

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5234
/proc/meminfo: memFree=1787640/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=114080 CPUtime=582.14
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 70982 0 0 0 54502 3712 0 0 25 0 1 0 185364455 116817920 27843 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 28520 27843 574 886 0 27630 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 114080

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5234
/proc/meminfo: memFree=1781624/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=119992 CPUtime=642.13
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 72481 0 0 0 60124 4089 0 0 25 0 1 0 185364455 122871808 29342 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 29998 29342 574 886 0 29108 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 119992

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.15 1.03 1.01 2/65 5236
/proc/meminfo: memFree=1757368/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=143780 CPUtime=1002.04
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 79071 0 0 0 93771 6433 0 0 25 0 1 0 185364455 147230720 35286 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 35945 35286 574 886 0 35055 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 143780

[startup+1062.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 5236
/proc/meminfo: memFree=1753528/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=147528 CPUtime=1062.02
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 80012 0 0 0 99383 6819 0 0 25 0 1 0 185364455 151068672 36227 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 36882 36227 574 886 0 35992 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 147528

[startup+1122.3 s]
/proc/loadavg: 1.15 1.06 1.01 2/65 5236
/proc/meminfo: memFree=1751736/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=149260 CPUtime=1122.01
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 80443 0 0 0 104993 7208 0 0 25 0 1 0 185364455 152842240 36658 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 37315 36658 574 886 0 36425 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 149260

[startup+1182.3 s]
/proc/loadavg: 1.05 1.05 1.01 2/65 5236
/proc/meminfo: memFree=1751480/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=149468 CPUtime=1181.99
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 80495 0 0 0 110601 7598 0 0 25 0 1 0 185364455 153055232 36710 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 37367 36710 574 886 0 36477 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 149468

[startup+1242.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 5242
/proc/meminfo: memFree=1747064/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=153604 CPUtime=1241.95
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 81530 0 0 0 116203 7992 0 0 25 0 1 0 185364455 157290496 37745 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 38401 37745 574 886 0 37511 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 153604

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 5242
/proc/meminfo: memFree=1745464/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=155204 CPUtime=1301.95
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 81931 0 0 0 121812 8383 0 0 25 0 1 0 185364455 158928896 38146 1992294400 4194304 7823515 548682068736 18446744073709551615 5397081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 38801 38146 574 886 0 37911 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 155204

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5242
/proc/meminfo: memFree=1734136/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=166300 CPUtime=1361.93
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 84755 0 0 0 127423 8770 0 0 25 0 1 0 185364455 170291200 40970 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 41575 40970 574 886 0 40685 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 166300

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5242
/proc/meminfo: memFree=1721208/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=178912 CPUtime=1421.91
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 87972 0 0 0 133038 9153 0 0 25 0 1 0 185364455 183205888 44187 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 44728 44187 574 886 0 43838 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 178912

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5242
/proc/meminfo: memFree=1710328/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=193572 CPUtime=1481.9
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 90676 0 0 0 138642 9548 0 0 25 0 1 0 185364455 198217728 46891 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 48393 46891 574 886 0 47503 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 193572

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5242
/proc/meminfo: memFree=1697528/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=206224 CPUtime=1541.88
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 93923 0 0 0 144254 9934 0 0 25 0 1 0 185364455 211173376 50138 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 51556 50138 574 886 0 50666 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 206224

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5242
/proc/meminfo: memFree=1680376/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=222604 CPUtime=1601.86
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 98144 0 0 0 149856 10330 0 0 25 0 1 0 185364455 227946496 54359 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 55651 54359 574 886 0 54761 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 222604

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5242
/proc/meminfo: memFree=1661880/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=240484 CPUtime=1661.84
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 102724 0 0 0 155471 10713 0 0 25 0 1 0 185364455 246255616 58939 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 60121 58939 574 886 0 59231 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 240484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5242
/proc/meminfo: memFree=1643640/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=258156 CPUtime=1721.83
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 107267 0 0 0 161082 11101 0 0 25 0 1 0 185364455 264351744 63482 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 64539 63482 574 886 0 63649 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 258156

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5242
/proc/meminfo: memFree=1630200/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=271144 CPUtime=1781.81
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 110571 0 0 0 166689 11492 0 0 25 0 1 0 185364455 277651456 66786 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 67786 66786 574 886 0 66896 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 271144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5242
/proc/meminfo: memFree=1624312/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=276824 CPUtime=1800.01
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 112044 0 0 0 168389 11612 0 0 25 0 1 0 185364455 283467776 68259 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5233/statm: 69206 68259 574 886 0 68316 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 276824

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5243
/proc/meminfo: memFree=1624240/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=276824 CPUtime=1800.9
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 112046 0 0 0 168478 11612 0 0 25 0 1 0 185364455 283467776 68261 1992294400 4194304 7823515 548682068736 18446744073709551615 5875768 0 0 4096 0 0 0 0 17 1 0 0
/proc/5233/statm: 69206 68261 576 886 0 68316 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 276824

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5243
/proc/meminfo: memFree=1624240/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=276824 CPUtime=1801.3
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 112046 0 0 0 168518 11612 0 0 25 0 1 0 185364455 283467776 68261 1992294400 4194304 7823515 548682068736 18446744073709551615 4743944 0 0 4096 0 0 0 0 17 1 0 0
/proc/5233/statm: 69206 68261 576 886 0 68316 0
Current children cumulated CPU time (s) 1801.3
Current children cumulated vsize (KiB) 276824

[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5243
/proc/meminfo: memFree=1624240/2055920 swapFree=4191900/4192956
[pid=5233] ppid=5231 vsize=276824 CPUtime=1801.5
/proc/5233/stat : 5233 (pbscip.linux.x8) R 5231 5233 5132 0 -1 4194304 112046 0 0 0 168538 11612 0 0 25 0 1 0 185364455 283467776 68261 1992294400 4194304 7823515 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/5233/statm: 69206 68261 576 886 0 68316 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 276824

Child status: 0
Real time (s): 1802.06
CPU time (s): 1801.57
CPU user time (s): 1685.4
CPU system time (s): 116.17
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 276824

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

runsolver used 1.26381 second user time and 3.9664 second system time

The end

Launcher Data 

Begin job on node14 at 2009-06-16 20:40:35
IDJOB=1869540
IDBENCH=2925
IDSOLVER=683
FILE ID=node14/1869540-1245177635
PBS_JOBID= 9363914
Free space on /tmp= 66376 MiB

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

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

MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b
RANDOM SEED=1407034334

node14.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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
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:       1897816 kB
Buffers:         39556 kB
Cached:          63620 kB
SwapCached:        388 kB
Active:          52828 kB
Inactive:        63736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1897816 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            9840 kB
Writeback:           0 kB
Mapped:          21800 kB
Slab:            27508 kB
Committed_AS:   178564 kB
PageTables:       1452 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= 66364 MiB
End job on node14 at 2009-06-16 21:10:38