0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691465-1338020928.opb>
0.00/0.02 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.02 c problem read in 0.02
0.09/0.12 o 0
0.09/0.12 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.12 c presolving:
0.39/0.43 c (round 1) 15795 del vars, 1000 del conss, 0 add conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63180 impls, 0 clqs
0.49/0.59 c (round 2) 15795 del vars, 1000 del conss, 0 add conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 31590 upgd conss, 94770 impls, 0 clqs
0.59/0.65 c (0.6s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.65 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.65 c presolving (3 rounds):
0.59/0.65 c 15795 deleted vars, 1000 deleted constraints, 0 added constraints, 15795 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.65 c 94770 implications, 0 cliques
0.59/0.65 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15795 constraints
0.59/0.65 c 15795 constraints of type <setppc>
0.59/0.65 c transformed objective value is always integral (scale: 1)
0.59/0.65 c Presolving Time: 0.62
0.59/0.65 c - non default parameters ----------------------------------------------------------------------
0.59/0.65 c # SCIP version 2.1.1.4
0.59/0.65 c
0.59/0.65 c # maximal time in seconds to run
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/time = 1797
0.59/0.65 c
0.59/0.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/memory = 13950
0.59/0.65 c
0.59/0.65 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.65 c # [type: int, range: [1,2], default: 1]
0.59/0.65 c timing/clocktype = 2
0.59/0.65 c
0.59/0.65 c # belongs reading time to solving time?
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c timing/reading = TRUE
0.59/0.65 c
0.59/0.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65 c separating/rapidlearning/freq = 0
0.59/0.65 c
0.59/0.65 c -----------------------------------------------------------------------------------------------
0.59/0.65 c start solving
0.59/0.66 c
0.79/0.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.87 c t 0.9s| 1 | 0 | 1030 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
0.89/0.90 o -1
0.89/0.90 c R 0.9s| 1 | 0 | 1030 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
0.89/0.94 o -2
0.89/0.94 c s 0.9s| 1 | 0 | 1030 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
1.09/1.18 c 1.2s| 1 | 0 | 1233 | - | 35M| 0 | 991 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | Large
1.09/1.18 o -101
1.09/1.18 c b 1.2s| 1 | 0 | 1233 | - | 35M| 0 | 991 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.955000e+02 |-1.010000e+02 | 390.59%
1.39/1.45 c 1.5s| 1 | 0 | 1393 | - | 35M| 0 | 983 |1000 | 15k|1000 | 15k| 23 | 0 | 0 |-4.915000e+02 |-1.010000e+02 | 386.63%
1.69/1.76 c 1.8s| 1 | 0 | 1646 | - | 35M| 0 | 978 |1000 | 15k|1000 | 15k| 34 | 0 | 0 |-4.887500e+02 |-1.010000e+02 | 383.91%
2.10/2.15 c 2.2s| 1 | 0 | 2049 | - | 35M| 0 | 971 |1000 | 15k|1000 | 15k| 44 | 0 | 0 |-4.850000e+02 |-1.010000e+02 | 380.20%
2.49/2.56 c 2.6s| 1 | 0 | 2546 | - | 35M| 0 | 967 |1000 | 15k|1000 | 15k| 53 | 0 | 0 |-4.827500e+02 |-1.010000e+02 | 377.97%
2.89/2.98 c 3.0s| 1 | 0 | 3014 | - | 35M| 0 | 961 |1000 | 15k|1000 | 15k| 65 | 0 | 0 |-4.803333e+02 |-1.010000e+02 | 375.58%
3.49/3.51 c 3.5s| 1 | 0 | 3601 | - | 35M| 0 | 954 |1000 | 15k|1000 | 15k| 79 | 0 | 0 |-4.770000e+02 |-1.010000e+02 | 372.28%
3.89/3.91 c 3.9s| 1 | 0 | 3986 | - | 36M| 0 | 946 |1000 | 15k|1000 | 15k| 92 | 0 | 0 |-4.730000e+02 |-1.010000e+02 | 368.32%
4.39/4.43 c 4.4s| 1 | 0 | 4573 | - | 36M| 0 | 939 |1000 | 15k|1000 | 15k| 106 | 0 | 0 |-4.695000e+02 |-1.010000e+02 | 364.85%
4.88/4.94 c 4.9s| 1 | 0 | 5099 | - | 36M| 0 | 934 |1000 | 15k|1000 | 15k| 118 | 0 | 0 |-4.670000e+02 |-1.010000e+02 | 362.38%
5.29/5.36 c 5.4s| 1 | 0 | 5561 | - | 37M| 0 | 928 |1000 | 15k|1000 |1769 | 130 | 0 | 0 |-4.640000e+02 |-1.010000e+02 | 359.41%
5.50/5.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.50/5.56 c 5.6s| 1 | 0 | 6314 | - | 37M| 0 | 908 |1000 | 15k|1000 |1780 | 141 | 0 | 0 |-4.630000e+02 |-1.010000e+02 | 358.42%
5.79/5.86 c 5.9s| 1 | 0 | 7876 | - | 37M| 0 | 918 |1000 | 15k|1000 |2047 | 408 | 0 | 0 |-4.620000e+02 |-1.010000e+02 | 357.43%
6.08/6.13 c 6.1s| 1 | 0 | 9227 | - | 37M| 0 | 907 |1000 | 15k|1000 |2212 | 573 | 0 | 0 |-4.605000e+02 |-1.010000e+02 | 355.94%
6.29/6.38 c 6.4s| 1 | 0 | 9858 | - | 37M| 0 | 918 |1000 | 15k|1000 |2436 | 797 | 0 | 0 |-4.597500e+02 |-1.010000e+02 | 355.20%
6.59/6.69 c 6.7s| 1 | 0 | 11090 | - | 38M| 0 | 906 |1000 | 15k|1000 |2579 | 940 | 0 | 0 |-4.570000e+02 |-1.010000e+02 | 352.48%
7.08/7.10 c 7.1s| 1 | 0 | 12969 | - | 38M| 0 | 908 |1000 | 15k|1000 |2143 |1047 | 0 | 0 |-4.560000e+02 |-1.010000e+02 | 351.49%
7.29/7.37 c 7.4s| 1 | 0 | 14014 | - | 38M| 0 | 903 |1000 | 15k|1000 |2208 |1112 | 0 | 0 |-4.557500e+02 |-1.010000e+02 | 351.24%
7.59/7.65 c 7.6s| 1 | 0 | 14818 | - | 39M| 0 | 886 |1000 | 15k|1000 |2422 |1326 | 0 | 0 |-4.550000e+02 |-1.010000e+02 | 350.50%
8.19/8.25 c 8.3s| 1 | 0 | 16350 | - | 40M| 0 | 926 |1000 | 15k|1000 |2751 |1655 | 0 | 0 |-4.540000e+02 |-1.010000e+02 | 349.50%
8.59/8.60 c 8.6s| 1 | 0 | 18066 | - | 41M| 0 | 894 |1000 | 15k|1000 |3106 |2010 | 0 | 0 |-4.530000e+02 |-1.010000e+02 | 348.51%
8.89/8.98 c 9.0s| 1 | 0 | 19696 | - | 41M| 0 | 895 |1000 | 15k|1000 |3245 |2149 | 0 | 0 |-4.515000e+02 |-1.010000e+02 | 347.03%
9.18/9.23 c 9.2s| 1 | 0 | 20728 | - | 41M| 0 | 900 |1000 | 15k|1000 |2893 |2247 | 0 | 0 |-4.507500e+02 |-1.010000e+02 | 346.29%
9.58/9.63 c 9.6s| 1 | 0 | 22650 | - | 41M| 0 | 963 |1000 | 15k|1000 |2973 |2327 | 0 | 0 |-4.494099e+02 |-1.010000e+02 | 344.96%
10.08/10.12 c 10.1s| 1 | 0 | 23073 | - | 41M| 0 | 896 |1000 | 15k|1000 |4973 |4327 | 0 | 0 |-4.490000e+02 |-1.010000e+02 | 344.55%
10.28/10.34 c 10.3s| 1 | 0 | 23859 | - | 41M| 0 | 896 |1000 | 15k|1000 |5005 |4359 | 0 | 0 |-4.480000e+02 |-1.010000e+02 | 343.56%
10.39/10.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.39/10.48 c 10.5s| 1 | 0 | 24092 | - | 41M| 0 | 892 |1000 | 15k|1000 |5009 |4363 | 0 | 0 |-4.470000e+02 |-1.010000e+02 | 342.57%
10.49/10.58 c 10.6s| 1 | 0 | 24160 | - | 41M| 0 | 894 |1000 | 15k|1000 |5044 |4398 | 0 | 0 |-4.470000e+02 |-1.010000e+02 | 342.57%
10.69/10.72 c 10.7s| 1 | 0 | 24355 | - | 41M| 0 | 891 |1000 | 15k|1000 |4211 |4403 | 0 | 0 |-4.455000e+02 |-1.010000e+02 | 341.09%
10.79/10.87 c 10.9s| 1 | 0 | 24695 | - | 41M| 0 | 888 |1000 | 15k|1000 |4216 |4408 | 0 | 0 |-4.450000e+02 |-1.010000e+02 | 340.59%
11.00/11.02 c 11.0s| 1 | 0 | 25073 | - | 41M| 0 | 888 |1000 | 15k|1000 |4254 |4446 | 0 | 0 |-4.432500e+02 |-1.010000e+02 | 338.86%
11.09/11.18 c 11.2s| 1 | 0 | 25673 | - | 41M| 0 | 883 |1000 | 15k|1000 |4406 |4598 | 0 | 0 |-4.425000e+02 |-1.010000e+02 | 338.12%
11.19/11.29 c 11.3s| 1 | 0 | 25841 | - | 41M| 0 | 883 |1000 | 15k|1000 |4435 |4627 | 0 | 0 |-4.425000e+02 |-1.010000e+02 | 338.12%
11.39/11.42 c 11.4s| 1 | 0 | 26075 | - | 41M| 0 | 879 |1000 | 15k|1000 |4465 |4657 | 0 | 0 |-4.415000e+02 |-1.010000e+02 | 337.13%
11.59/11.63 c 11.6s| 1 | 0 | 26730 | - | 41M| 0 | 879 |1000 | 15k|1000 |3336 |4716 | 0 | 0 |-4.405000e+02 |-1.010000e+02 | 336.14%
11.69/11.71 c 11.7s| 1 | 0 | 26748 | - | 41M| 0 | 881 |1000 | 15k|1000 |3364 |4744 | 0 | 0 |-4.405000e+02 |-1.010000e+02 | 336.14%
11.79/11.89 c 11.9s| 1 | 0 | 27343 | - | 41M| 0 | 888 |1000 | 15k|1000 |3369 |4749 | 0 | 0 |-4.392500e+02 |-1.010000e+02 | 334.90%
12.00/12.03 c 12.0s| 1 | 0 | 27677 | - | 41M| 0 | 875 |1000 | 15k|1000 |3700 |5080 | 0 | 0 |-4.385000e+02 |-1.010000e+02 | 334.16%
12.19/12.20 c 12.2s| 1 | 0 | 28230 | - | 41M| 0 | 879 |1000 | 15k|1000 |3729 |5109 | 0 | 0 |-4.375000e+02 |-1.010000e+02 | 333.17%
12.29/12.35 c 12.4s| 1 | 0 | 28593 | - | 41M| 0 | 881 |1000 | 15k|1000 |3782 |5162 | 0 | 0 |-4.360000e+02 |-1.010000e+02 | 331.68%
12.49/12.52 c 12.5s| 1 | 0 | 29211 | - | 41M| 0 | 855 |1000 | 15k|1000 |3553 |5238 | 0 | 0 |-4.345000e+02 |-1.010000e+02 | 330.20%
12.59/12.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.59/12.66 c 12.7s| 1 | 0 | 29543 | - | 41M| 0 | 866 |1000 | 15k|1000 |3746 |5431 | 0 | 0 |-4.342500e+02 |-1.010000e+02 | 329.95%
12.79/12.82 c 12.8s| 1 | 0 | 29952 | - | 41M| 0 | 862 |1000 | 15k|1000 |3804 |5489 | 0 | 0 |-4.330000e+02 |-1.010000e+02 | 328.71%
12.89/12.91 c 12.9s| 1 | 0 | 30061 | - | 41M| 0 | 848 |1000 | 15k|1000 |3854 |5539 | 0 | 0 |-4.330000e+02 |-1.010000e+02 | 328.71%
13.10/13.14 c 13.1s| 1 | 0 | 30932 | - | 42M| 0 | 861 |1000 | 15k|1000 |4081 |5766 | 0 | 0 |-4.315000e+02 |-1.010000e+02 | 327.23%
13.29/13.30 c 13.3s| 1 | 0 | 31442 | - | 42M| 0 | 857 |1000 | 15k|1000 |4197 |5882 | 0 | 0 |-4.305000e+02 |-1.010000e+02 | 326.24%
13.39/13.42 c 13.4s| 1 | 0 | 31670 | - | 42M| 0 | 857 |1000 | 15k|1000 |3874 |5934 | 0 | 0 |-4.295000e+02 |-1.010000e+02 | 325.25%
13.49/13.53 c 13.5s| 1 | 0 | 31809 | - | 42M| 0 | 852 |1000 | 15k|1000 |3907 |5967 | 0 | 0 |-4.290000e+02 |-1.010000e+02 | 324.75%
13.59/13.63 c 13.6s| 1 | 0 | 31932 | - | 42M| 0 | 854 |1000 | 15k|1000 |3991 |6051 | 0 | 0 |-4.290000e+02 |-1.010000e+02 | 324.75%
13.69/13.78 c 13.8s| 1 | 0 | 32380 | - | 42M| 0 | 835 |1000 | 15k|1000 |4054 |6114 | 0 | 0 |-4.280000e+02 |-1.010000e+02 | 323.76%
13.89/13.92 c 13.9s| 1 | 0 | 32649 | - | 42M| 0 | 849 |1000 | 15k|1000 |4327 |6387 | 0 | 0 |-4.275000e+02 |-1.010000e+02 | 323.27%
14.09/14.20 c 14.2s| 1 | 0 | 34013 | - | 42M| 0 | 857 |1000 | 15k|1000 |4397 |6457 | 0 | 0 |-4.267500e+02 |-1.010000e+02 | 322.52%
14.29/14.30 c 14.3s| 1 | 0 | 34143 | - | 42M| 0 | 858 |1000 | 15k|1000 |3818 |6511 | 0 | 0 |-4.257500e+02 |-1.010000e+02 | 321.53%
14.49/14.50 c 14.5s| 1 | 0 | 34778 | - | 42M| 0 | 852 |1000 | 15k|1000 |3825 |6518 | 0 | 0 |-4.250000e+02 |-1.010000e+02 | 320.79%
14.69/14.79 c 14.8s| 1 | 0 | 36059 | - | 42M| 0 | 859 |1000 | 15k|1000 |3883 |6576 | 0 | 0 |-4.236667e+02 |-1.010000e+02 | 319.47%
14.98/15.03 c 15.0s| 1 | 0 | 37066 | - | 42M| 0 | 847 |1000 | 15k|1000 |4158 |6851 | 0 | 0 |-4.220000e+02 |-1.010000e+02 | 317.82%
15.08/15.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.08/15.18 c 15.2s| 1 | 0 | 37414 | - | 42M| 0 | 856 |1000 | 15k|1000 |4264 |6957 | 0 | 0 |-4.217500e+02 |-1.010000e+02 | 317.57%
15.39/15.46 c 15.5s| 1 | 0 | 38387 | - | 42M| 0 | 836 |1000 | 15k|1000 |4325 |7018 | 0 | 0 |-4.200000e+02 |-1.010000e+02 | 315.84%
15.58/15.62 c 15.6s| 1 | 0 | 38859 | - | 42M| 0 | 836 |1000 | 15k|1000 |3931 |7081 | 0 | 0 |-4.190000e+02 |-1.010000e+02 | 314.85%
15.68/15.70 c 15.7s| 1 | 0 | 38901 | - | 42M| 0 | 838 |1000 | 15k|1000 |3962 |7112 | 0 | 0 |-4.190000e+02 |-1.010000e+02 | 314.85%
15.78/15.81 c 15.8s| 1 | 0 | 39089 | - | 42M| 0 | 831 |1000 | 15k|1000 |3968 |7118 | 0 | 0 |-4.185000e+02 |-1.010000e+02 | 314.36%
15.78/15.89 c 15.9s| 1 | 0 | 39108 | - | 42M| 0 | 835 |1000 | 15k|1000 |4039 |7189 | 0 | 0 |-4.185000e+02 |-1.010000e+02 | 314.36%
15.98/16.06 c 16.1s| 1 | 0 | 39595 | - | 42M| 0 | 829 |1000 | 15k|1000 |4067 |7217 | 0 | 0 |-4.175000e+02 |-1.010000e+02 | 313.37%
16.19/16.21 c 16.2s| 1 | 0 | 40034 | - | 42M| 0 | 832 |1000 | 15k|1000 |4140 |7290 | 0 | 0 |-4.160000e+02 |-1.010000e+02 | 311.88%
16.29/16.32 c 16.3s| 1 | 0 | 40202 | - | 42M| 0 | 831 |1000 | 15k|1000 |3704 |7297 | 0 | 0 |-4.155000e+02 |-1.010000e+02 | 311.39%
16.39/16.42 c 16.4s| 1 | 0 | 40341 | - | 42M| 0 | 823 |1000 | 15k|1000 |3709 |7302 | 0 | 0 |-4.145000e+02 |-1.010000e+02 | 310.40%
16.49/16.57 c 16.6s| 1 | 0 | 40906 | - | 42M| 0 | 818 |1000 | 15k|1000 |3779 |7372 | 0 | 0 |-4.130000e+02 |-1.010000e+02 | 308.91%
16.59/16.69 c 16.7s| 1 | 0 | 41174 | - | 42M| 0 | 823 |1000 | 15k|1000 |3864 |7457 | 0 | 0 |-4.127500e+02 |-1.010000e+02 | 308.66%
16.79/16.84 c 16.8s| 1 | 0 | 41590 | - | 43M| 0 | 820 |1000 | 15k|1000 |3917 |7510 | 0 | 0 |-4.122500e+02 |-1.010000e+02 | 308.17%
16.89/16.93 c 16.9s| 1 | 0 | 41649 | - | 43M| 0 | 824 |1000 | 15k|1000 |3996 |7589 | 0 | 0 |-4.122500e+02 |-1.010000e+02 | 308.17%
16.99/17.05 c 17.0s| 1 | 0 | 41838 | - | 43M| 0 | 821 |1000 | 15k|1000 |3556 |7621 | 0 | 0 |-4.117500e+02 |-1.010000e+02 | 307.67%
17.09/17.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.09/17.15 c 17.2s| 1 | 0 | 42016 | - | 43M| 0 | 819 |1000 | 15k|1000 |3605 |7670 | 0 | 0 |-4.115000e+02 |-1.010000e+02 | 307.43%
17.28/17.30 c 17.3s| 1 | 0 | 42511 | - | 43M| 0 | 810 |1000 | 15k|1000 |3749 |7814 | 0 | 0 |-4.102500e+02 |-1.010000e+02 | 306.19%
17.38/17.50 c 17.5s| 1 | 0 | 43329 | - | 43M| 0 | 856 |1000 | 15k|1000 |3891 |7956 | 0 | 0 |-4.088750e+02 |-1.010000e+02 | 304.83%
17.68/17.73 c 17.7s| 1 | 0 | 44118 | - | 43M| 0 | 816 |1000 | 15k|1000 |4153 |8218 | 0 | 0 |-4.072500e+02 |-1.010000e+02 | 303.22%
17.78/17.84 c 17.8s| 1 | 0 | 44327 | - | 43M| 0 | 816 |1000 | 15k|1000 |4162 |8227 | 0 | 0 |-4.072500e+02 |-1.010000e+02 | 303.22%
17.88/17.93 c 17.9s| 1 | 0 | 44388 | - | 43M| 0 | 816 |1000 | 15k|1000 |3898 |8234 | 0 | 0 |-4.072500e+02 |-1.010000e+02 | 303.22%
17.98/18.07 c 18.1s| 1 | 0 | 44759 | - | 43M| 0 | 818 |1000 | 15k|1000 |3904 |8240 | 0 | 0 |-4.070000e+02 |-1.010000e+02 | 302.97%
18.19/18.28 c 18.3s| 1 | 0 | 45627 | - | 43M| 0 | 835 |1000 | 15k|1000 |3908 |8244 | 0 | 0 |-4.066250e+02 |-1.010000e+02 | 302.60%
18.39/18.45 c 18.5s| 1 | 0 | 46142 | - | 43M| 0 | 818 |1000 | 15k|1000 |4076 |8412 | 0 | 0 |-4.055000e+02 |-1.010000e+02 | 301.49%
18.49/18.56 c 18.6s| 1 | 0 | 46311 | - | 43M| 0 | 814 |1000 | 15k|1000 |4138 |8474 | 0 | 0 |-4.050000e+02 |-1.010000e+02 | 300.99%
18.60/18.69 c 18.7s| 1 | 0 | 46662 | - | 43M| 0 | 823 |1000 | 15k|1000 |4187 |8523 | 0 | 0 |-4.047500e+02 |-1.010000e+02 | 300.74%
18.79/18.85 c 18.9s| 1 | 0 | 47133 | - | 43M| 0 | 808 |1000 | 15k|1000 |3921 |8584 | 0 | 0 |-4.042500e+02 |-1.010000e+02 | 300.25%
18.99/19.00 c 19.0s| 1 | 0 | 47611 | - | 43M| 0 | 810 |1000 | 15k|1000 |3941 |8604 | 0 | 0 |-4.037500e+02 |-1.010000e+02 | 299.75%
19.19/19.20 c 19.2s| 1 | 0 | 48278 | - | 43M| 0 | 808 |1000 | 15k|1000 |4024 |8687 | 0 | 0 |-4.027500e+02 |-1.010000e+02 | 298.76%
19.29/19.38 c 19.4s| 1 | 0 | 48853 | - | 43M| 0 | 816 |1000 | 15k|1000 |4075 |8738 | 0 | 0 |-4.017500e+02 |-1.010000e+02 | 297.77%
19.39/19.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.39/19.49 c 19.5s| 1 | 0 | 49092 | - | 43M| 0 | 817 |1000 | 15k|1000 |4107 |8770 | 0 | 0 |-4.012500e+02 |-1.010000e+02 | 297.28%
19.69/19.77 c 19.8s| 1 | 0 | 50185 | - | 43M| 0 | 877 |1000 | 15k|1000 |4174 |8837 | 0 | 0 |-4.005069e+02 |-1.010000e+02 | 296.54%
19.99/20.09 c 20.1s| 1 | 0 | 51324 | - | 43M| 0 | 816 |1000 | 15k|1000 |4216 |9179 | 0 | 0 |-3.988333e+02 |-1.010000e+02 | 294.88%
20.28/20.30 c 20.3s| 1 | 0 | 52089 | - | 43M| 0 | 840 |1000 | 15k|1000 |4260 |9223 | 0 | 0 |-3.978958e+02 |-1.010000e+02 | 293.96%
20.68/20.77 c 20.8s| 1 | 0 | 54303 | - | 43M| 0 | 810 |1000 | 15k|1000 |4364 |9327 | 0 | 0 |-3.967500e+02 |-1.010000e+02 | 292.82%
20.98/21.04 c 21.0s| 1 | 0 | 55406 | - | 43M| 0 | 833 |1000 | 15k|1000 |4598 |9561 | 0 | 0 |-3.953750e+02 |-1.010000e+02 | 291.46%
21.09/21.16 c 21.2s| 1 | 0 | 55622 | - | 44M| 0 | 791 |1000 | 15k|1000 |4892 |9855 | 0 | 0 |-3.947500e+02 |-1.010000e+02 | 290.84%
21.39/21.45 c 21.4s| 1 | 0 | 56690 | - | 44M| 0 | 793 |1000 | 15k|1000 |4899 |9862 | 0 | 0 |-3.937500e+02 |-1.010000e+02 | 289.85%
21.49/21.58 c 21.6s| 1 | 0 | 57010 | - | 44M| 0 | 825 |1000 | 15k|1000 |4625 |9886 | 0 | 0 |-3.932500e+02 |-1.010000e+02 | 289.36%
21.69/21.72 c 21.7s| 1 | 0 | 57345 | - | 44M| 0 | 819 |1000 | 15k|1000 |4713 |9974 | 0 | 0 |-3.925000e+02 |-1.010000e+02 | 288.61%
21.89/21.96 c 22.0s| 1 | 0 | 58318 | - | 44M| 0 | 798 |1000 | 15k|1000 |4737 |9998 | 0 | 0 |-3.917500e+02 |-1.010000e+02 | 287.87%
22.29/22.33 c 22.3s| 1 | 0 | 60112 | - | 44M| 0 | 850 |1000 | 15k|1000 |4815 | 10k| 0 | 0 |-3.908889e+02 |-1.010000e+02 | 287.02%
22.89/22.93 c 22.9s| 1 | 0 | 62576 | - | 44M| 0 | 854 |1000 | 15k|1000 |4906 | 10k| 0 | 0 |-3.890000e+02 |-1.010000e+02 | 285.15%
23.09/23.15 c 23.1s| 1 | 0 | 63278 | - | 44M| 0 | 801 |1000 | 15k|1000 |4917 | 10k| 0 | 0 |-3.885000e+02 |-1.010000e+02 | 284.65%
23.29/23.35 c 23.4s| 1 | 0 | 64031 | - | 44M| 0 | 808 |1000 | 15k|1000 |4465 | 10k| 0 | 0 |-3.880000e+02 |-1.010000e+02 | 284.16%
23.68/23.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.68/23.71 c 23.7s| 1 | 0 | 65510 | - | 44M| 0 | 920 |1000 | 15k|1000 |4479 | 10k| 0 | 0 |-3.877567e+02 |-1.010000e+02 | 283.92%
24.09/24.12 c 24.1s| 1 | 0 | 66607 | - | 44M| 0 | 837 |1000 | 15k|1000 |5584 | 11k| 0 | 0 |-3.862500e+02 |-1.010000e+02 | 282.43%
24.48/24.56 c 24.6s| 1 | 0 | 68138 | - | 44M| 0 | 846 |1000 | 15k|1000 |5615 | 11k| 0 | 0 |-3.856429e+02 |-1.010000e+02 | 281.82%
24.99/25.04 c 25.0s| 1 | 0 | 69904 | - | 44M| 0 | 887 |1000 | 15k|1000 |5655 | 11k| 0 | 0 |-3.846029e+02 |-1.010000e+02 | 280.79%
25.29/25.30 c 25.3s| 1 | 0 | 70627 | - | 44M| 0 | 868 |1000 | 15k|1000 |5664 | 11k| 0 | 0 |-3.834524e+02 |-1.010000e+02 | 279.66%
25.39/25.48 c 25.5s| 1 | 0 | 70998 | - | 44M| 0 | 860 |1000 | 15k|1000 |5220 | 11k| 0 | 0 |-3.829521e+02 |-1.010000e+02 | 279.16%
25.59/25.62 c 25.6s| 1 | 0 | 71266 | - | 44M| 0 | 808 |1000 | 15k|1000 |5224 | 11k| 0 | 0 |-3.825556e+02 |-1.010000e+02 | 278.77%
25.79/25.86 c 25.9s| 1 | 0 | 72028 | - | 44M| 0 | 862 |1000 | 15k|1000 |5229 | 11k| 0 | 0 |-3.819500e+02 |-1.010000e+02 | 278.17%
25.99/26.09 c 26.1s| 1 | 0 | 72652 | - | 43M| 0 | 879 |1000 | 15k|1000 |5237 | 11k| 0 | 0 |-3.816389e+02 |-1.010000e+02 | 277.86%
26.29/26.36 c 26.4s| 1 | 0 | 73442 | - | 43M| 0 | 873 |1000 | 15k|1000 |5264 | 11k| 0 | 0 |-3.810150e+02 |-1.010000e+02 | 277.24%
26.78/26.82 c 26.8s| 1 | 0 | 75004 | - | 43M| 0 | 896 |1000 | 15k|1000 |5304 | 11k| 0 | 0 |-3.799188e+02 |-1.010000e+02 | 276.16%
27.28/27.35 c 27.4s| 1 | 0 | 76945 | - | 43M| 0 | 887 |1000 | 15k|1000 |4505 | 11k| 0 | 0 |-3.788125e+02 |-1.010000e+02 | 275.06%
27.49/27.58 c 27.6s| 1 | 0 | 77709 | - | 43M| 0 | 888 |1000 | 15k|1000 |4517 | 11k| 0 | 0 |-3.779537e+02 |-1.010000e+02 | 274.21%
27.88/27.99 c 28.0s| 1 | 0 | 79163 | - | 43M| 0 | 887 |1000 | 15k|1000 |4582 | 11k| 0 | 0 |-3.770891e+02 |-1.010000e+02 | 273.36%
28.28/28.34 c 28.3s| 1 | 0 | 80346 | - | 43M| 0 | 899 |1000 | 15k|1000 |4636 | 11k| 0 | 0 |-3.760700e+02 |-1.010000e+02 | 272.35%
28.49/28.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.49/28.57 c 28.6s| 1 | 0 | 81048 | - | 42M| 0 | 883 |1000 | 15k|1000 |4731 | 11k| 0 | 0 |-3.756000e+02 |-1.010000e+02 | 271.88%
28.78/28.88 c 28.9s| 1 | 0 | 81963 | - | 42M| 0 | 884 |1000 | 15k|1000 |4768 | 11k| 0 | 0 |-3.749671e+02 |-1.010000e+02 | 271.25%
28.98/29.09 c 29.1s| 1 | 0 | 82470 | - | 42M| 0 | 884 |1000 | 15k|1000 |4660 | 11k| 0 | 0 |-3.748067e+02 |-1.010000e+02 | 271.10%
29.28/29.34 c 29.3s| 1 | 0 | 83187 | - | 41M| 0 | 888 |1000 | 15k|1000 |4680 | 11k| 0 | 0 |-3.738059e+02 |-1.010000e+02 | 270.10%
29.49/29.53 c 29.5s| 1 | 0 | 83630 | - | 40M| 0 | 897 |1000 | 15k|1000 |4767 | 11k| 0 | 0 |-3.732831e+02 |-1.010000e+02 | 269.59%
29.70/29.74 c 29.7s| 1 | 0 | 84170 | - | 40M| 0 | 895 |1000 | 15k|1000 |4810 | 12k| 0 | 0 |-3.722951e+02 |-1.010000e+02 | 268.61%
29.79/29.87 c 29.9s| 1 | 0 | 84352 | - | 40M| 0 | 901 |1000 | 15k|1000 |4819 | 12k| 0 | 0 |-3.718032e+02 |-1.010000e+02 | 268.12%
30.09/30.15 c 30.2s| 1 | 0 | 85114 | - | 40M| 0 | 900 |1000 | 15k|1000 |4825 | 12k| 0 | 0 |-3.713737e+02 |-1.010000e+02 | 267.70%
30.39/30.48 c 30.5s| 1 | 0 | 86044 | - | 40M| 0 | 921 |1000 | 15k|1000 |4673 | 12k| 0 | 0 |-3.707447e+02 |-1.010000e+02 | 267.07%
31.08/31.14 c 31.1s| 1 | 0 | 88521 | - | 40M| 0 | 905 |1000 | 15k|1000 |4699 | 12k| 0 | 0 |-3.694745e+02 |-1.010000e+02 | 265.82%
31.69/31.74 c 31.7s| 1 | 0 | 90652 | - | 40M| 0 | 930 |1000 | 15k|1000 |4785 | 12k| 0 | 0 |-3.687270e+02 |-1.010000e+02 | 265.08%
32.08/32.13 c 32.1s| 1 | 0 | 91945 | - | 40M| 0 | 907 |1000 | 15k|1000 |4881 | 12k| 0 | 0 |-3.681399e+02 |-1.010000e+02 | 264.49%
32.58/32.65 c 32.7s| 1 | 0 | 93706 | - | 40M| 0 | 910 |1000 | 15k|1000 |4922 | 12k| 0 | 0 |-3.674174e+02 |-1.010000e+02 | 263.78%
33.09/33.19 c 33.2s| 1 | 0 | 95532 | - | 40M| 0 | 910 |1000 | 15k|1000 |5070 | 12k| 0 | 0 |-3.663322e+02 |-1.010000e+02 | 262.71%
33.78/33.86 c 33.9s| 1 | 0 | 97729 | - | 40M| 0 | 935 |1000 | 15k|1000 |4992 | 12k| 0 | 0 |-3.652825e+02 |-1.010000e+02 | 261.67%
35.09/35.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.09/35.10 c 35.1s| 1 | 0 |102158 | - | 40M| 0 | 920 |1000 | 15k|1000 |5185 | 12k| 0 | 0 |-3.633700e+02 |-1.010000e+02 | 259.77%
35.48/35.52 c 35.5s| 1 | 0 |103444 | - | 40M| 0 | 928 |1000 | 15k|1000 |5222 | 12k| 0 | 0 |-3.626153e+02 |-1.010000e+02 | 259.03%
35.88/35.99 c 36.0s| 1 | 0 |104902 | - | 40M| 0 | 933 |1000 | 15k|1000 |5230 | 12k| 0 | 0 |-3.621741e+02 |-1.010000e+02 | 258.59%
36.68/36.71 c 36.7s| 1 | 0 |107299 | - | 40M| 0 | 937 |1000 | 15k|1000 |5255 | 12k| 0 | 0 |-3.612642e+02 |-1.010000e+02 | 257.69%
37.29/37.32 c 37.3s| 1 | 0 |109193 | - | 40M| 0 | 934 |1000 | 15k|1000 |5367 | 12k| 0 | 0 |-3.598665e+02 |-1.010000e+02 | 256.30%
38.39/38.41 c 38.4s| 1 | 0 |113247 | - | 40M| 0 | 940 |1000 | 15k|1000 |5339 | 12k| 0 | 0 |-3.587279e+02 |-1.010000e+02 | 255.18%
39.18/39.21 c 39.2s| 1 | 0 |115998 | - | 40M| 0 | 944 |1000 | 15k|1000 |5429 | 13k| 0 | 0 |-3.580284e+02 |-1.010000e+02 | 254.48%
39.98/40.02 c 40.0s| 1 | 0 |118761 | - | 40M| 0 | 954 |1000 | 15k|1000 |5521 | 13k| 0 | 0 |-3.570169e+02 |-1.010000e+02 | 253.48%
40.69/40.77 c 40.8s| 1 | 0 |121282 | - | 40M| 0 | 947 |1000 | 15k|1000 |5610 | 13k| 0 | 0 |-3.561609e+02 |-1.010000e+02 | 252.63%
41.18/41.29 c 41.3s| 1 | 0 |122786 | - | 40M| 0 | 952 |1000 | 15k|1000 |5634 | 13k| 0 | 0 |-3.554592e+02 |-1.010000e+02 | 251.94%
42.29/42.31 c 42.3s| 1 | 0 |126081 | - | 40M| 0 | 953 |1000 | 15k|1000 |5668 | 13k| 0 | 0 |-3.545716e+02 |-1.010000e+02 | 251.06%
42.99/43.06 c 43.1s| 1 | 0 |128295 | - | 40M| 0 | 955 |1000 | 15k|1000 |5419 | 13k| 0 | 0 |-3.537517e+02 |-1.010000e+02 | 250.25%
43.78/43.90 c 43.9s| 1 | 0 |131029 | - | 40M| 0 | 954 |1000 | 15k|1000 |5446 | 13k| 0 | 0 |-3.528078e+02 |-1.010000e+02 | 249.31%
44.59/44.61 c 44.6s| 1 | 0 |133332 | - | 40M| 0 | 966 |1000 | 15k|1000 |5471 | 13k| 0 | 0 |-3.523085e+02 |-1.010000e+02 | 248.82%
45.38/45.41 c 45.4s| 1 | 0 |135753 | - | 40M| 0 | 963 |1000 | 15k|1000 |5528 | 13k| 0 | 0 |-3.515841e+02 |-1.010000e+02 | 248.10%
46.09/46.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.09/46.14 c 46.1s| 1 | 0 |138028 | - | 40M| 0 | 967 |1000 | 15k|1000 |5561 | 13k| 0 | 0 |-3.507819e+02 |-1.010000e+02 | 247.31%
46.68/46.79 c 46.8s| 1 | 0 |139991 | - | 40M| 0 | 971 |1000 | 15k|1000 |5629 | 13k| 0 | 0 |-3.498357e+02 |-1.010000e+02 | 246.37%
47.38/47.42 c 47.4s| 1 | 0 |141822 | - | 40M| 0 | 971 |1000 | 15k|1000 |5491 | 13k| 0 | 0 |-3.494686e+02 |-1.010000e+02 | 246.01%
48.88/48.97 c 49.0s| 1 | 0 |146906 | - | 40M| 0 | 975 |1000 | 15k|1000 |5536 | 13k| 0 | 0 |-3.486601e+02 |-1.010000e+02 | 245.21%
49.88/49.93 c 49.9s| 1 | 0 |149915 | - | 40M| 0 | 978 |1000 | 15k|1000 |5573 | 13k| 0 | 0 |-3.480365e+02 |-1.010000e+02 | 244.59%
50.88/50.97 c 51.0s| 1 | 0 |153006 | - | 40M| 0 | 977 |1000 | 15k|1000 |5631 | 13k| 0 | 0 |-3.469535e+02 |-1.010000e+02 | 243.52%
51.78/51.84 c 51.8s| 1 | 0 |155798 | - | 40M| 0 | 978 |1000 | 15k|1000 |5695 | 13k| 0 | 0 |-3.462123e+02 |-1.010000e+02 | 242.78%
52.69/52.75 c 52.7s| 1 | 0 |158430 | - | 40M| 0 | 986 |1000 | 15k|1000 |5750 | 13k| 0 | 0 |-3.452789e+02 |-1.010000e+02 | 241.86%
53.79/53.87 c 53.9s| 1 | 0 |161840 | - | 40M| 0 | 978 |1000 | 15k|1000 |5667 | 13k| 0 | 0 |-3.441420e+02 |-1.010000e+02 | 240.73%
54.48/54.53 c 54.5s| 1 | 0 |163763 | - | 40M| 0 | 979 |1000 | 15k|1000 |5692 | 13k| 0 | 0 |-3.435273e+02 |-1.010000e+02 | 240.13%
55.28/55.39 c 55.4s| 1 | 0 |166281 | - | 40M| 0 | 977 |1000 | 15k|1000 |5735 | 14k| 0 | 0 |-3.423606e+02 |-1.010000e+02 | 238.97%
56.08/56.17 c 56.2s| 1 | 0 |168701 | - | 40M| 0 | 986 |1000 | 15k|1000 |5768 | 14k| 0 | 0 |-3.416249e+02 |-1.010000e+02 | 238.24%
56.68/56.71 c 56.7s| 1 | 0 |170109 | - | 40M| 0 | 979 |1000 | 15k|1000 |5813 | 14k| 0 | 0 |-3.413199e+02 |-1.010000e+02 | 237.94%
57.19/57.25 c 57.3s| 1 | 0 |171791 | - | 40M| 0 | 983 |1000 | 15k|1000 |5834 | 14k| 0 | 0 |-3.409622e+02 |-1.010000e+02 | 237.59%
57.98/58.00 c 58.0s| 1 | 0 |174004 | - | 40M| 0 | 983 |1000 | 15k|1000 |5776 | 14k| 0 | 0 |-3.404593e+02 |-1.010000e+02 | 237.09%
58.68/58.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.68/58.72 c 58.7s| 1 | 0 |176011 | - | 40M| 0 | 987 |1000 | 15k|1000 |5796 | 14k| 0 | 0 |-3.402112e+02 |-1.010000e+02 | 236.84%
59.68/59.76 c 59.8s| 1 | 0 |179033 | - | 40M| 0 | 989 |1000 | 15k|1000 |5842 | 14k| 0 | 0 |-3.393017e+02 |-1.010000e+02 | 235.94%
60.39/60.44 c 60.4s| 1 | 0 |180827 | - | 40M| 0 | 987 |1000 | 15k|1000 |5881 | 14k| 0 | 0 |-3.387722e+02 |-1.010000e+02 | 235.42%
61.08/61.15 c 61.2s| 1 | 0 |182863 | - | 40M| 0 | 984 |1000 | 15k|1000 |5898 | 14k| 0 | 0 |-3.384602e+02 |-1.010000e+02 | 235.11%
62.18/62.27 c 62.3s| 1 | 0 |186059 | - | 39M| 0 | 987 |1000 | 15k|1000 |5931 | 14k| 0 | 0 |-3.374364e+02 |-1.010000e+02 | 234.10%
63.69/63.80 c 63.8s| 1 | 0 |190906 | - | 39M| 0 | 989 |1000 | 15k|1000 |5857 | 14k| 0 | 0 |-3.365615e+02 |-1.010000e+02 | 233.23%
64.79/64.85 c 64.9s| 1 | 0 |193945 | - | 39M| 0 | 994 |1000 | 15k|1000 |5911 | 14k| 0 | 0 |-3.357732e+02 |-1.010000e+02 | 232.45%
65.58/65.64 c 65.6s| 1 | 0 |196057 | - | 40M| 0 | 992 |1000 | 15k|1000 |5973 | 14k| 0 | 0 |-3.352565e+02 |-1.010000e+02 | 231.94%
65.99/66.05 c 66.0s| 1 | 0 |197046 | - | 40M| 0 | 993 |1000 | 15k|1000 |6000 | 14k| 0 | 0 |-3.350233e+02 |-1.010000e+02 | 231.71%
66.58/66.69 c 66.7s| 1 | 0 |199027 | - | 40M| 0 | 993 |1000 | 15k|1000 |6025 | 14k| 0 | 0 |-3.344476e+02 |-1.010000e+02 | 231.14%
67.48/67.52 c 67.5s| 1 | 0 |201805 | - | 39M| 0 | 995 |1000 | 15k|1000 |6063 | 14k| 0 | 0 |-3.340011e+02 |-1.010000e+02 | 230.69%
68.18/68.28 c 68.3s| 1 | 0 |204019 | - | 39M| 0 | 995 |1000 | 15k|1000 |6014 | 14k| 0 | 0 |-3.335715e+02 |-1.010000e+02 | 230.27%
68.78/68.85 c 68.8s| 1 | 0 |205660 | - | 39M| 0 | 994 |1000 | 15k|1000 |6044 | 14k| 0 | 0 |-3.330717e+02 |-1.010000e+02 | 229.77%
69.28/69.35 c 69.3s| 1 | 0 |206839 | - | 39M| 0 | 994 |1000 | 15k|1000 |6069 | 14k| 0 | 0 |-3.328871e+02 |-1.010000e+02 | 229.59%
70.08/70.10 c 70.1s| 1 | 0 |208951 | - | 39M| 0 | 996 |1000 | 15k|1000 |6094 | 14k| 0 | 0 |-3.323358e+02 |-1.010000e+02 | 229.05%
70.58/70.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.58/70.64 c 70.6s| 1 | 0 |210277 | - | 39M| 0 | 995 |1000 | 15k|1000 |6125 | 14k| 0 | 0 |-3.320180e+02 |-1.010000e+02 | 228.73%
71.27/71.39 c 71.4s| 1 | 0 |212436 | - | 39M| 0 | 995 |1000 | 15k|1000 |6144 | 14k| 0 | 0 |-3.314679e+02 |-1.010000e+02 | 228.19%
72.18/72.20 c 72.2s| 1 | 0 |214531 | - | 39M| 0 | 994 |1000 | 15k|1000 |6083 | 14k| 0 | 0 |-3.310493e+02 |-1.010000e+02 | 227.77%
72.88/72.92 c 72.9s| 1 | 0 |216399 | - | 39M| 0 | 992 |1000 | 15k|1000 |6104 | 14k| 0 | 0 |-3.304497e+02 |-1.010000e+02 | 227.18%
73.98/74.09 c 74.1s| 1 | 0 |219554 | - | 39M| 0 | 993 |1000 | 15k|1000 |6132 | 14k| 0 | 0 |-3.298978e+02 |-1.010000e+02 | 226.63%
74.68/74.79 c 74.8s| 1 | 0 |221289 | - | 39M| 0 | 992 |1000 | 15k|1000 |6155 | 14k| 0 | 0 |-3.294162e+02 |-1.010000e+02 | 226.15%
75.28/75.34 c 75.3s| 1 | 0 |222575 | - | 39M| 0 | 995 |1000 | 15k|1000 |6181 | 14k| 0 | 0 |-3.291157e+02 |-1.010000e+02 | 225.86%
76.28/76.31 c 76.3s| 1 | 0 |225157 | - | 39M| 0 | 995 |1000 | 15k|1000 |6208 | 14k| 0 | 0 |-3.286455e+02 |-1.010000e+02 | 225.39%
77.18/77.26 c 77.3s| 1 | 0 |227717 | - | 39M| 0 | 993 |1000 | 15k|1000 |6160 | 14k| 0 | 0 |-3.282306e+02 |-1.010000e+02 | 224.98%
77.99/78.07 c 78.1s| 1 | 0 |229853 | - | 39M| 0 | 994 |1000 | 15k|1000 |6178 | 14k| 0 | 0 |-3.277603e+02 |-1.010000e+02 | 224.52%
78.58/78.65 c 78.7s| 1 | 0 |231273 | - | 39M| 0 | 997 |1000 | 15k|1000 |6201 | 14k| 0 | 0 |-3.275257e+02 |-1.010000e+02 | 224.28%
78.98/79.09 c 79.1s| 1 | 0 |232305 | - | 39M| 0 | 997 |1000 | 15k|1000 |6219 | 14k| 0 | 0 |-3.272883e+02 |-1.010000e+02 | 224.05%
79.48/79.56 c 79.6s| 1 | 0 |233517 | - | 39M| 0 | 998 |1000 | 15k|1000 |6239 | 15k| 0 | 0 |-3.270323e+02 |-1.010000e+02 | 223.79%
79.98/80.08 c 80.1s| 1 | 0 |234864 | - | 39M| 0 | 998 |1000 | 15k|1000 |6254 | 15k| 0 | 0 |-3.267668e+02 |-1.010000e+02 | 223.53%
80.38/80.48 c 80.5s| 1 | 0 |235655 | - | 39M| 0 | 998 |1000 | 15k|1000 |6193 | 15k| 0 | 0 |-3.266578e+02 |-1.010000e+02 | 223.42%
80.87/80.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.87/80.96 c 81.0s| 1 | 0 |236810 | - | 39M| 0 | 998 |1000 | 15k|1000 |6206 | 15k| 0 | 0 |-3.264663e+02 |-1.010000e+02 | 223.23%
81.57/81.63 c 81.6s| 1 | 0 |238450 | - | 39M| 0 | 998 |1000 | 15k|1000 |6222 | 15k| 0 | 0 |-3.260336e+02 |-1.010000e+02 | 222.81%
82.48/82.50 c 82.5s| 1 | 0 |240687 | - | 39M| 0 | 997 |1000 | 15k|1000 |6240 | 15k| 0 | 0 |-3.257068e+02 |-1.010000e+02 | 222.48%
82.87/82.98 c 83.0s| 1 | 0 |241761 | - | 39M| 0 | 999 |1000 | 15k|1000 |6250 | 15k| 0 | 0 |-3.255619e+02 |-1.010000e+02 | 222.34%
83.37/83.40 c 83.4s| 1 | 0 |242655 | - | 39M| 0 | 996 |1000 | 15k|1000 |6266 | 15k| 0 | 0 |-3.253439e+02 |-1.010000e+02 | 222.12%
84.08/84.17 c 84.2s| 1 | 0 |244527 | - | 39M| 0 | 996 |1000 | 15k|1000 |6225 | 15k| 0 | 0 |-3.249524e+02 |-1.010000e+02 | 221.74%
84.59/84.69 c 84.7s| 1 | 0 |245683 | - | 39M| 0 | 995 |1000 | 15k|1000 |6239 | 15k| 0 | 0 |-3.246968e+02 |-1.010000e+02 | 221.48%
84.98/85.06 c 85.1s| 1 | 0 |246462 | - | 39M| 0 | 997 |1000 | 15k|1000 |6253 | 15k| 0 | 0 |-3.245496e+02 |-1.010000e+02 | 221.34%
85.38/85.42 c 85.4s| 1 | 0 |247191 | - | 39M| 0 | 996 |1000 | 15k|1000 |6268 | 15k| 0 | 0 |-3.244128e+02 |-1.010000e+02 | 221.20%
85.58/85.63 c 85.6s| 1 | 0 |247486 | - | 39M| 0 | 998 |1000 | 15k|1000 |6282 | 15k| 0 | 0 |-3.243900e+02 |-1.010000e+02 | 221.18%
86.08/86.17 c 86.2s| 1 | 0 |248714 | - | 39M| 0 | 997 |1000 | 15k|1000 |6293 | 15k| 0 | 0 |-3.242228e+02 |-1.010000e+02 | 221.01%
86.98/87.02 c 87.0s| 1 | 0 |250817 | - | 39M| 0 | 998 |1000 | 15k|1000 |6260 | 15k| 0 | 0 |-3.239840e+02 |-1.010000e+02 | 220.78%
87.48/87.50 c 87.5s| 1 | 0 |251900 | - | 39M| 0 | 997 |1000 | 15k|1000 |6271 | 15k| 0 | 0 |-3.237911e+02 |-1.010000e+02 | 220.59%
87.78/87.87 c 87.9s| 1 | 0 |252739 | - | 39M| 0 | 996 |1000 | 15k|1000 |6283 | 15k| 0 | 0 |-3.236745e+02 |-1.010000e+02 | 220.47%
88.18/88.26 c 88.3s| 1 | 0 |253582 | - | 39M| 0 | 997 |1000 | 15k|1000 |6301 | 15k| 0 | 0 |-3.235464e+02 |-1.010000e+02 | 220.34%
88.98/89.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.98/89.08 c 89.1s| 1 | 0 |255658 | - | 39M| 0 | 997 |1000 | 15k|1000 |6313 | 15k| 0 | 0 |-3.233702e+02 |-1.010000e+02 | 220.17%
89.37/89.43 c 89.4s| 1 | 0 |256439 | - | 39M| 0 | 996 |1000 | 15k|1000 |6325 | 15k| 0 | 0 |-3.233003e+02 |-1.010000e+02 | 220.10%
89.67/89.77 c 89.8s| 1 | 0 |257128 | - | 39M| 0 | 995 |1000 | 15k|1000 |6292 | 15k| 0 | 0 |-3.232372e+02 |-1.010000e+02 | 220.04%
89.97/90.09 c 90.1s| 1 | 0 |257794 | - | 39M| 0 | 996 |1000 | 15k|1000 |6302 | 15k| 0 | 0 |-3.231683e+02 |-1.010000e+02 | 219.97%
90.58/90.60 c 90.6s| 1 | 0 |259099 | - | 39M| 0 | 998 |1000 | 15k|1000 |6312 | 15k| 0 | 0 |-3.231045e+02 |-1.010000e+02 | 219.91%
90.98/91.09 c 91.1s| 1 | 0 |260302 | - | 39M| 0 | 998 |1000 | 15k|1000 |6324 | 15k| 0 | 0 |-3.230271e+02 |-1.010000e+02 | 219.83%
91.18/91.28 c 91.3s| 1 | 0 |260545 | - | 39M| 0 | 967 |1000 | 15k|1000 |6331 | 15k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 219.80%
91.28/91.38 c 91.4s| 1 | 0 |260546 | - | 39M| 0 | 968 |1000 | 15k|1000 |6336 | 15k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 219.80%
99.17/99.29 c 99.3s| 1 | 2 |260546 | - | 39M| 0 | 968 |1000 | 15k|1000 |6336 | 15k| 0 | 23 |-3.230000e+02 |-1.010000e+02 | 219.80%
207.56/207.65 c 208s| 100 | 101 |822903 |5680.4 | 40M| 19 | 679 |1000 | 15k|1000 | 998 | 15k| 0 | 634 |-3.214071e+02 |-1.010000e+02 | 218.22%
229.96/230.07 c 230s| 200 | 201 |954509 |3487.3 | 41M| 45 | 180 |1000 | 15k|1000 | 998 | 17k| 0 | 754 |-3.210394e+02 |-1.010000e+02 | 217.86%
236.36/236.49 c 236s| 300 | 301 |993738 |2452.1 | 41M| 56 | 350 |1000 | 15k|1000 |1161 | 29k| 0 | 823 |-3.210084e+02 |-1.010000e+02 | 217.83%
241.86/241.94 c 242s| 400 | 401 | 1027k|1922.6 | 42M| 57 | 3 |1000 | 15k|1000 | 998 | 38k| 0 | 897 |-3.210084e+02 |-1.010000e+02 | 217.83%
251.25/251.37 c 251s| 500 | 501 | 1083k|1649.2 | 42M| 58 | 333 |1000 | 15k|1000 |1146 | 49k| 0 |1017 |-3.209556e+02 |-1.010000e+02 | 217.78%
254.75/254.84 c 255s| 600 | 601 | 1106k|1413.1 | 43M| 58 | 12 |1000 | 15k|1000 | 998 | 60k| 0 |1105 |-3.209556e+02 |-1.010000e+02 | 217.78%
261.55/261.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.55/261.63 c 262s| 700 | 701 | 1147k|1268.7 | 43M| 65 | 8 |1000 | 15k|1000 |1158 | 69k| 0 |1224 |-3.209218e+02 |-1.010000e+02 | 217.74%
269.55/269.61 c 270s| 800 | 801 | 1193k|1167.9 | 44M| 65 | 175 |1000 | 15k|1000 |1161 | 80k| 0 |1350 |-3.208402e+02 |-1.010000e+02 | 217.66%
273.24/273.38 c 273s| 900 | 901 | 1218k|1065.8 | 44M| 65 | 391 |1000 | 15k|1000 |1140 | 90k| 0 |1431 |-3.208402e+02 |-1.010000e+02 | 217.66%
280.55/280.69 c 281s| 1000 | 1001 | 1265k|1005.6 | 45M| 65 | 374 |1000 | 15k|1000 |1653 | 100k| 0 |1527 |-3.207867e+02 |-1.010000e+02 | 217.61%
285.65/285.78 c 286s| 1100 | 1101 | 1301k| 947.4 | 45M| 65 | 241 |1000 | 15k|1000 |1154 | 110k| 0 |1568 |-3.207843e+02 |-1.010000e+02 | 217.61%
294.25/294.32 c 294s| 1200 | 1201 | 1350k| 909.0 | 46M| 65 | 491 |1000 | 15k|1000 |1806 | 121k| 0 |1628 |-3.206543e+02 |-1.010000e+02 | 217.48%
299.44/299.56 c 300s| 1300 | 1301 | 1386k| 866.6 | 46M| 65 | 45 |1000 | 15k|1000 |1161 | 130k| 0 |1646 |-3.206398e+02 |-1.010000e+02 | 217.47%
304.94/305.08 c 305s| 1400 | 1401 | 1421k| 830.0 | 47M| 65 | 392 |1000 | 15k|1000 |1154 | 141k| 0 |1690 |-3.206302e+02 |-1.010000e+02 | 217.46%
310.05/310.12 c 310s| 1500 | 1501 | 1456k| 797.8 | 47M| 65 | 351 |1000 | 15k|1000 |1597 | 149k| 0 |1723 |-3.205443e+02 |-1.010000e+02 | 217.37%
315.55/315.70 c 316s| 1600 | 1601 | 1504k| 777.8 | 48M| 65 | 367 |1000 | 15k|1000 |1152 | 159k| 0 |1736 |-3.204637e+02 |-1.010000e+02 | 217.29%
319.34/319.42 c 319s| 1700 | 1701 | 1540k| 753.3 | 48M| 65 | 317 |1000 | 15k|1000 |1146 | 171k| 0 |1738 |-3.204637e+02 |-1.010000e+02 | 217.29%
323.04/323.17 c 323s| 1800 | 1801 | 1575k| 730.8 | 48M| 67 | 22 |1000 | 15k|1000 | 998 | 180k| 0 |1739 |-3.204637e+02 |-1.010000e+02 | 217.29%
327.04/327.16 c 327s| 1900 | 1901 | 1610k| 711.0 | 49M| 67 | 287 |1000 | 15k|1000 |1152 | 191k| 0 |1791 |-3.204569e+02 |-1.010000e+02 | 217.28%
334.14/334.25 c 334s| 2000 | 2001 | 1653k| 697.0 | 49M| 67 | 417 |1000 | 15k|1000 | 998 | 199k| 0 |1867 |-3.204275e+02 |-1.010000e+02 | 217.25%
340.84/340.97 c 341s| 2100 | 2101 | 1696k| 684.1 | 50M| 67 | 318 |1000 | 15k|1000 |1147 | 208k| 0 |1926 |-3.204275e+02 |-1.010000e+02 | 217.25%
345.54/345.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.54/345.68 c 346s| 2200 | 2201 | 1730k| 668.3 | 50M| 71 | 194 |1000 | 15k|1000 |1152 | 217k| 0 |1995 |-3.204181e+02 |-1.010000e+02 | 217.25%
349.75/349.87 c 350s| 2300 | 2301 | 1759k| 652.0 | 51M| 71 | 70 |1000 | 15k|1000 | 998 | 226k| 0 |2072 |-3.204100e+02 |-1.010000e+02 | 217.24%
351.94/352.00 c 352s| 2400 | 2401 | 1781k| 634.2 | 51M| 71 | 331 |1000 | 15k|1000 |1149 | 236k| 0 |2074 |-3.204100e+02 |-1.010000e+02 | 217.24%
357.74/357.89 c 358s| 2500 | 2501 | 1813k| 621.6 | 52M| 71 | 26 |1000 | 15k|1000 | 998 | 246k| 0 |2124 |-3.203976e+02 |-1.010000e+02 | 217.23%
361.33/361.47 c 361s| 2600 | 2601 | 1837k| 606.9 | 52M| 71 | 101 |1000 | 15k|1000 | 998 | 257k| 0 |2180 |-3.203976e+02 |-1.010000e+02 | 217.23%
366.53/366.67 c 367s| 2700 | 2701 | 1869k| 596.1 | 53M| 71 | 29 |1000 | 15k|1000 |1147 | 267k| 0 |2217 |-3.203820e+02 |-1.010000e+02 | 217.21%
373.74/373.86 c 374s| 2800 | 2801 | 1918k| 592.3 | 53M| 71 | 333 |1000 | 15k|1000 |1573 | 278k| 0 |2262 |-3.203493e+02 |-1.010000e+02 | 217.18%
376.24/376.33 c 376s| 2900 | 2901 | 1943k| 580.6 | 53M| 71 | 250 |1000 | 15k|1000 |1152 | 290k| 0 |2262 |-3.203493e+02 |-1.010000e+02 | 217.18%
379.94/380.01 c 380s| 3000 | 3001 | 1976k| 572.2 | 54M| 71 | 345 |1000 | 15k|1000 |1591 | 300k| 0 |2267 |-3.203197e+02 |-1.010000e+02 | 217.15%
386.04/386.16 c 386s| 3100 | 3101 | 2031k| 571.4 | 54M| 71 | 221 |1000 | 15k|1000 |1141 | 308k| 0 |2269 |-3.203000e+02 |-1.010000e+02 | 217.13%
389.53/389.65 c 390s| 3200 | 3201 | 2064k| 564.0 | 55M| 71 | 353 |1000 | 15k|1000 |1158 | 316k| 0 |2270 |-3.202697e+02 |-1.010000e+02 | 217.10%
393.63/393.74 c 394s| 3300 | 3301 | 2100k| 557.8 | 55M| 71 | 247 |1000 | 15k|1000 |1146 | 322k| 0 |2271 |-3.202342e+02 |-1.010000e+02 | 217.06%
396.73/396.82 c 397s| 3400 | 3401 | 2129k| 549.9 | 56M| 71 | 245 |1000 | 15k|1000 |1143 | 334k| 0 |2291 |-3.202342e+02 |-1.010000e+02 | 217.06%
399.73/399.85 c 400s| 3500 | 3501 | 2154k| 541.3 | 56M| 71 | 130 |1000 | 15k|1000 | 998 | 345k| 0 |2361 |-3.202342e+02 |-1.010000e+02 | 217.06%
404.23/404.32 c 404s| 3600 | 3601 | 2186k| 535.0 | 57M| 71 | 17 |1000 | 15k|1000 | 998 | 355k| 0 |2456 |-3.202060e+02 |-1.010000e+02 | 217.04%
410.63/410.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.63/410.70 c 411s| 3700 | 3701 | 2228k| 532.1 | 57M| 71 | 367 |1000 | 15k|1000 |1617 | 365k| 0 |2561 |-3.201937e+02 |-1.010000e+02 | 217.02%
417.12/417.27 c 417s| 3800 | 3801 | 2272k| 529.6 | 58M| 71 | 198 |1000 | 15k|1000 |1149 | 372k| 0 |2619 |-3.201712e+02 |-1.010000e+02 | 217.00%
422.33/422.49 c 422s| 3900 | 3901 | 2308k| 525.2 | 58M| 71 | 53 |1000 | 15k|1000 |1138 | 383k| 0 |2679 |-3.201631e+02 |-1.010000e+02 | 216.99%
424.62/424.74 c 425s| 4000 | 4001 | 2328k| 517.2 | 58M| 71 | 4 |1000 | 15k|1000 |1141 | 392k| 0 |2706 |-3.201631e+02 |-1.010000e+02 | 216.99%
431.93/432.08 c 432s| 4100 | 4101 | 2370k| 514.7 | 59M| 71 | 65 |1000 | 15k|1000 |1168 | 401k| 0 |2755 |-3.200866e+02 |-1.010000e+02 | 216.92%
436.83/436.96 c 437s| 4200 | 4201 | 2405k| 510.8 | 59M| 71 | 316 |1000 | 15k|1000 |1629 | 412k| 0 |2780 |-3.200832e+02 |-1.010000e+02 | 216.91%
442.73/442.88 c 443s| 4300 | 4301 | 2445k| 508.2 | 60M| 71 | 324 |1000 | 15k|1000 |1153 | 419k| 0 |2822 |-3.200532e+02 |-1.010000e+02 | 216.88%
444.82/444.90 c 445s| 4400 | 4401 | 2467k| 501.7 | 60M| 71 | 158 |1000 | 15k|1000 |1146 | 430k| 0 |2823 |-3.200532e+02 |-1.010000e+02 | 216.88%
447.73/447.82 c 448s| 4500 | 4501 | 2497k| 497.1 | 61M| 71 | 133 |1000 | 15k|1000 |1138 | 439k| 0 |2826 |-3.200532e+02 |-1.010000e+02 | 216.88%
451.62/451.74 c 452s| 4600 | 4601 | 2534k| 494.4 | 61M| 71 | 313 |1000 | 15k|1000 |1140 | 450k| 0 |2833 |-3.200052e+02 |-1.010000e+02 | 216.84%
457.32/457.44 c 457s| 4700 | 4701 | 2585k| 494.9 | 62M| 71 | 8 |1000 | 15k|1000 | 998 | 456k| 0 |2835 |-3.199746e+02 |-1.010000e+02 | 216.81%
459.82/459.99 c 460s| 4800 | 4801 | 2612k| 490.1 | 62M| 71 | 21 |1000 | 15k|1000 | 998 | 466k| 0 |2836 |-3.199746e+02 |-1.010000e+02 | 216.81%
464.52/464.63 c 465s| 4900 | 4901 | 2656k| 489.0 | 63M| 71 | 370 |1000 | 15k|1000 |1154 | 476k| 0 |2836 |-3.199667e+02 |-1.010000e+02 | 216.80%
470.21/470.34 c 470s| 5000 | 5001 | 2704k| 488.8 | 63M| 71 | 213 |1000 | 15k|1000 |1126 | 482k| 0 |2860 |-3.199581e+02 |-1.010000e+02 | 216.79%
478.12/478.21 c 478s| 5100 | 5101 | 2754k| 489.1 | 64M| 71 | 6 |1000 | 15k|1000 | 998 | 490k| 0 |2926 |-3.198843e+02 |-1.010000e+02 | 216.72%
481.31/481.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.31/481.48 c 481s| 5200 | 5201 | 2780k| 484.7 | 64M| 71 | 5 |1000 | 15k|1000 | 998 | 499k| 0 |3001 |-3.198843e+02 |-1.010000e+02 | 216.72%
488.11/488.25 c 488s| 5300 | 5301 | 2824k| 483.8 | 65M| 71 | 381 |1000 | 15k|1000 |1677 | 509k| 0 |3062 |-3.198566e+02 |-1.010000e+02 | 216.69%
494.21/494.32 c 494s| 5400 | 5401 | 2866k| 482.6 | 65M| 71 | 16 |1000 | 15k|1000 | 998 | 517k| 0 |3117 |-3.198245e+02 |-1.010000e+02 | 216.66%
501.30/501.42 c 501s| 5500 | 5501 | 2910k| 481.9 | 66M| 71 | 356 |1000 | 15k|1000 |1635 | 527k| 0 |3192 |-3.198131e+02 |-1.010000e+02 | 216.65%
506.70/506.80 c 507s| 5600 | 5601 | 2951k| 480.6 | 66M| 71 | 378 |1000 | 15k|1000 |1157 | 537k| 0 |3225 |-3.197536e+02 |-1.010000e+02 | 216.59%
511.30/511.47 c 511s| 5700 | 5701 | 2983k| 477.8 | 67M| 71 | 10 |1000 | 15k|1000 | 998 | 546k| 0 |3256 |-3.197536e+02 |-1.010000e+02 | 216.59%
515.70/515.86 c 516s| 5800 | 5801 | 3017k| 475.5 | 67M| 71 | 394 |1000 | 15k|1000 |1159 | 556k| 0 |3296 |-3.197491e+02 |-1.010000e+02 | 216.58%
522.09/522.23 c 522s| 5900 | 5901 | 3061k| 474.8 | 67M| 71 | 31 |1000 | 15k|1000 |1150 | 565k| 0 |3345 |-3.197309e+02 |-1.010000e+02 | 216.57%
528.49/528.63 c 529s| 6000 | 6001 | 3116k| 476.0 | 68M| 71 | 210 |1000 | 15k|1000 |1142 | 572k| 0 |3371 |-3.197155e+02 |-1.010000e+02 | 216.55%
534.69/534.86 c 535s| 6100 | 6101 | 3172k| 477.5 | 68M| 71 | 558 |1000 | 15k|1000 | 998 | 581k| 0 |3375 |-3.196920e+02 |-1.010000e+02 | 216.53%
539.19/539.33 c 539s| 6200 | 6201 | 3214k| 476.5 | 69M| 71 | 412 |1000 | 15k|1000 |1683 | 590k| 0 |3375 |-3.196853e+02 |-1.010000e+02 | 216.52%
544.69/544.85 c 545s| 6300 | 6301 | 3265k| 477.0 | 69M| 71 | 231 |1000 | 15k|1000 |1144 | 597k| 0 |3375 |-3.196710e+02 |-1.010000e+02 | 216.51%
548.79/548.96 c 549s| 6400 | 6401 | 3304k| 475.7 | 70M| 71 | 386 |1000 | 15k|1000 |1146 | 605k| 0 |3375 |-3.196467e+02 |-1.010000e+02 | 216.48%
550.49/550.68 c 551s| 6500 | 6501 | 3323k| 471.3 | 70M| 71 | 36 |1000 | 15k|1000 |1153 | 615k| 0 |3375 |-3.196467e+02 |-1.010000e+02 | 216.48%
553.99/554.13 c 554s| 6600 | 6601 | 3357k| 469.4 | 71M| 71 | 83 |1000 | 15k|1000 |1144 | 625k| 0 |3375 |-3.196352e+02 |-1.010000e+02 | 216.47%
555.69/555.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.69/555.80 c 556s| 6700 | 6701 | 3376k| 465.2 | 71M| 71 | 387 |1000 | 15k|1000 |1667 | 634k| 0 |3375 |-3.196352e+02 |-1.010000e+02 | 216.47%
559.48/559.60 c 560s| 6800 | 6801 | 3403k| 462.2 | 72M| 71 | 378 |1000 | 15k|1000 |1712 | 643k| 0 |3482 |-3.196352e+02 |-1.010000e+02 | 216.47%
562.79/562.92 c 563s| 6900 | 6901 | 3429k| 459.3 | 72M| 71 | 45 |1000 | 15k|1000 | 998 | 653k| 0 |3499 |-3.196305e+02 |-1.010000e+02 | 216.47%
565.58/565.74 c 566s| 7000 | 7001 | 3453k| 456.2 | 72M| 71 | 95 |1000 | 15k|1000 |1139 | 663k| 0 |3530 |-3.196305e+02 |-1.010000e+02 | 216.47%
568.08/568.26 c 568s| 7100 | 7101 | 3474k| 452.8 | 73M| 71 | 149 |1000 | 15k|1000 |1153 | 672k| 0 |3597 |-3.196305e+02 |-1.010000e+02 | 216.47%
575.78/575.90 c 576s| 7200 | 7201 | 3527k| 453.9 | 73M| 71 | 45 |1000 | 15k|1000 | 998 | 678k| 0 |3659 |-3.196195e+02 |-1.010000e+02 | 216.45%
581.28/581.41 c 581s| 7300 | 7301 | 3568k| 453.2 | 74M| 71 | 32 |1000 | 15k|1000 | 998 | 686k| 0 |3708 |-3.195987e+02 |-1.010000e+02 | 216.43%
585.28/585.47 c 585s| 7400 | 7401 | 3599k| 451.3 | 74M| 71 | 209 |1000 | 15k|1000 |1137 | 695k| 0 |3760 |-3.195967e+02 |-1.010000e+02 | 216.43%
592.98/593.15 c 593s| 7500 | 7501 | 3652k| 452.4 | 75M| 71 | 16 |1000 | 15k|1000 | 998 | 704k| 0 |3852 |-3.195441e+02 |-1.010000e+02 | 216.38%
599.68/599.81 c 600s| 7600 | 7601 | 3699k| 452.5 | 75M| 71 | 376 |1000 | 15k|1000 |1147 | 712k| 0 |3897 |-3.195222e+02 |-1.010000e+02 | 216.36%
604.08/604.27 c 604s| 7700 | 7701 | 3733k| 451.1 | 76M| 71 | 50 |1000 | 15k|1000 | 998 | 720k| 0 |3921 |-3.195122e+02 |-1.010000e+02 | 216.35%
606.99/607.13 c 607s| 7800 | 7801 | 3758k| 448.5 | 76M| 71 | 716 |1000 | 15k|1000 | 998 | 730k| 0 |3937 |-3.195122e+02 |-1.010000e+02 | 216.35%
610.78/610.97 c 611s| 7900 | 7901 | 3794k| 447.4 | 77M| 71 | 430 |1000 | 15k|1000 |1758 | 739k| 0 |3948 |-3.195122e+02 |-1.010000e+02 | 216.35%
613.47/613.61 c 614s| 8000 | 8001 | 3820k| 445.0 | 77M| 71 | 172 |1000 | 15k|1000 |1145 | 747k| 0 |3950 |-3.194866e+02 |-1.010000e+02 | 216.32%
617.28/617.46 c 617s| 8100 | 8101 | 3857k| 444.1 | 78M| 71 | 211 |1000 | 15k|1000 |1139 | 756k| 0 |3952 |-3.194680e+02 |-1.010000e+02 | 216.30%
621.77/621.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.77/621.96 c 622s| 8200 | 8201 | 3898k| 443.8 | 78M| 71 | 191 |1000 | 15k|1000 |1151 | 765k| 0 |3955 |-3.194651e+02 |-1.010000e+02 | 216.30%
625.57/625.77 c 626s| 8300 | 8301 | 3936k| 442.9 | 79M| 71 | 54 |1000 | 15k|1000 |1144 | 774k| 0 |3956 |-3.194651e+02 |-1.010000e+02 | 216.30%
628.88/629.05 c 629s| 8400 | 8401 | 3969k| 441.6 | 79M| 71 | 226 |1000 | 15k|1000 |1141 | 784k| 0 |3956 |-3.194555e+02 |-1.010000e+02 | 216.29%
632.17/632.39 c 632s| 8500 | 8501 | 4003k| 440.4 | 80M| 71 | 214 |1000 | 15k|1000 |1157 | 794k| 0 |3956 |-3.194498e+02 |-1.010000e+02 | 216.29%
636.17/636.37 c 636s| 8600 | 8601 | 4041k| 439.7 | 80M| 71 | 227 |1000 | 15k|1000 |1132 | 802k| 0 |3956 |-3.194249e+02 |-1.010000e+02 | 216.26%
641.37/641.54 c 642s| 8700 | 8701 | 4089k| 440.1 | 81M| 71 | 54 |1000 | 15k|1000 | 998 | 810k| 0 |3956 |-3.193816e+02 |-1.010000e+02 | 216.22%
645.17/645.31 c 645s| 8800 | 8801 | 4121k| 438.7 | 81M| 71 | 8 |1000 | 15k|1000 | 998 | 819k| 0 |3994 |-3.193553e+02 |-1.010000e+02 | 216.19%
651.77/651.95 c 652s| 8900 | 8901 | 4168k| 439.2 | 81M| 71 | 260 |1000 | 15k|1000 |1151 | 827k| 0 |4066 |-3.193445e+02 |-1.010000e+02 | 216.18%
656.37/656.60 c 657s| 9000 | 9001 | 4203k| 438.1 | 82M| 71 | 42 |1000 | 15k|1000 | 998 | 836k| 0 |4099 |-3.193445e+02 |-1.010000e+02 | 216.18%
658.78/658.95 c 659s| 9100 | 9101 | 4223k| 435.5 | 82M| 71 | 5 |1000 | 15k|1000 | 998 | 847k| 0 |4143 |-3.193445e+02 |-1.010000e+02 | 216.18%
663.37/663.55 c 664s| 9200 | 9201 | 4259k| 434.7 | 83M| 71 | 232 |1000 | 15k|1000 |1143 | 855k| 0 |4175 |-3.193307e+02 |-1.010000e+02 | 216.17%
669.96/670.11 c 670s| 9300 | 9301 | 4306k| 435.1 | 83M| 71 | 167 |1000 | 15k|1000 |1145 | 862k| 0 |4213 |-3.192928e+02 |-1.010000e+02 | 216.13%
675.36/675.56 c 676s| 9400 | 9401 | 4349k| 435.0 | 84M| 71 | 384 |1000 | 15k|1000 |1681 | 872k| 0 |4274 |-3.192478e+02 |-1.010000e+02 | 216.09%
680.86/681.00 c 681s| 9500 | 9501 | 4387k| 434.4 | 84M| 71 | 250 |1000 | 15k|1000 |1139 | 881k| 0 |4298 |-3.192405e+02 |-1.010000e+02 | 216.08%
687.17/687.31 c 687s| 9600 | 9601 | 4434k| 434.8 | 85M| 71 | 65 |1000 | 15k|1000 |1135 | 887k| 0 |4346 |-3.192212e+02 |-1.010000e+02 | 216.06%
693.27/693.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.27/693.42 c 693s| 9700 | 9701 | 4477k| 434.8 | 85M| 71 | 269 |1000 | 15k|1000 |1153 | 895k| 0 |4424 |-3.192137e+02 |-1.010000e+02 | 216.05%
698.96/699.15 c 699s| 9800 | 9801 | 4518k| 434.5 | 86M| 71 | 40 |1000 | 15k|1000 | 998 | 902k| 0 |4451 |-3.192057e+02 |-1.010000e+02 | 216.05%
701.26/701.44 c 701s| 9900 | 9901 | 4542k| 432.5 | 86M| 71 | 179 |1000 | 15k|1000 |1150 | 915k| 0 |4470 |-3.192057e+02 |-1.010000e+02 | 216.05%
705.06/705.23 c 705s| 10000 | 10001 | 4567k| 430.8 | 87M| 71 | 336 |1000 | 15k|1000 |1147 | 925k| 0 |4509 |-3.192057e+02 |-1.010000e+02 | 216.05%
709.06/709.20 c 709s| 10100 | 10101 | 4594k| 429.2 | 87M| 71 | 222 |1000 | 15k|1000 |1155 | 934k| 0 |4530 |-3.191930e+02 |-1.010000e+02 | 216.03%
715.16/715.33 c 715s| 10200 | 10201 | 4644k| 429.8 | 88M| 71 | 425 |1000 | 15k|1000 |1735 | 942k| 0 |4555 |-3.191673e+02 |-1.010000e+02 | 216.01%
718.86/719.07 c 719s| 10300 | 10301 | 4680k| 429.1 | 88M| 71 | 279 |1000 | 15k|1000 |1138 | 953k| 0 |4559 |-3.191618e+02 |-1.010000e+02 | 216.00%
723.06/723.29 c 723s| 10400 | 10401 | 4721k| 428.9 | 89M| 71 | 132 |1000 | 15k|1000 |1144 | 962k| 0 |4560 |-3.191414e+02 |-1.010000e+02 | 215.98%
727.76/727.98 c 728s| 10500 | 10501 | 4766k| 429.1 | 89M| 71 | 110 |1000 | 15k|1000 |1155 | 971k| 0 |4560 |-3.191338e+02 |-1.010000e+02 | 215.97%
731.66/731.84 c 732s| 10600 | 10601 | 4804k| 428.7 | 90M| 71 | 273 |1000 | 15k|1000 |1147 | 982k| 0 |4560 |-3.191318e+02 |-1.010000e+02 | 215.97%
735.86/736.04 c 736s| 10700 | 10701 | 4844k| 428.4 | 90M| 71 | 21 |1000 | 15k|1000 | 998 | 990k| 0 |4560 |-3.191204e+02 |-1.010000e+02 | 215.96%
740.17/740.38 c 740s| 10800 | 10801 | 4886k| 428.4 | 91M| 71 | 351 |1000 | 15k|1000 |1157 |1000k| 0 |4560 |-3.191065e+02 |-1.010000e+02 | 215.95%
742.76/742.99 c 743s| 10900 | 10901 | 4914k| 427.0 | 91M| 71 | 471 |1000 | 15k|1000 |1786 |1012k| 0 |4560 |-3.191065e+02 |-1.010000e+02 | 215.95%
744.95/745.13 c 745s| 11000 | 11001 | 4938k| 425.3 | 91M| 71 | 225 |1000 | 15k|1000 |1155 |1023k| 0 |4560 |-3.191065e+02 |-1.010000e+02 | 215.95%
748.06/748.25 c 748s| 11100 | 11101 | 4970k| 424.3 | 92M| 71 | 348 |1000 | 15k|1000 |1148 |1033k| 0 |4560 |-3.191056e+02 |-1.010000e+02 | 215.95%
751.07/751.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
751.07/751.22 c 751s| 11200 | 11201 | 4997k| 423.0 | 92M| 71 | 253 |1000 | 15k|1000 |1151 |1042k| 0 |4571 |-3.190970e+02 |-1.010000e+02 | 215.94%
757.26/757.40 c 757s| 11300 | 11301 | 5044k| 423.4 | 93M| 71 | 105 |1000 | 15k|1000 | 998 |1050k| 0 |4613 |-3.190950e+02 |-1.010000e+02 | 215.94%
760.97/761.12 c 761s| 11400 | 11401 | 5072k| 422.2 | 93M| 71 | 369 |1000 | 15k|1000 |1649 |1058k| 0 |4648 |-3.190948e+02 |-1.010000e+02 | 215.94%
766.05/766.22 c 766s| 11500 | 11501 | 5112k| 421.9 | 94M| 71 | 31 |1000 | 15k|1000 |1151 |1067k| 0 |4684 |-3.190794e+02 |-1.010000e+02 | 215.92%
769.86/770.07 c 770s| 11600 | 11601 | 5141k| 420.8 | 94M| 71 | 10 |1000 | 15k|1000 | 998 |1077k| 0 |4734 |-3.190609e+02 |-1.010000e+02 | 215.90%
774.85/775.02 c 775s| 11700 | 11701 | 5178k| 420.4 | 95M| 73 | 28 |1000 | 15k|1000 | 998 |1086k| 0 |4757 |-3.190444e+02 |-1.010000e+02 | 215.89%
776.55/776.74 c 777s| 11800 | 11801 | 5195k| 418.2 | 95M| 73 | 266 |1000 | 15k|1000 |1140 |1096k| 0 |4807 |-3.190444e+02 |-1.010000e+02 | 215.89%
778.45/778.68 c 779s| 11900 | 11901 | 5213k| 416.3 | 95M| 73 | 14 |1000 | 15k|1000 | 998 |1107k| 0 |4874 |-3.190444e+02 |-1.010000e+02 | 215.89%
780.76/780.91 c 781s| 12000 | 12001 | 5233k| 414.4 | 96M| 73 | 389 |1000 | 15k|1000 |1713 |1118k| 0 |4905 |-3.190444e+02 |-1.010000e+02 | 215.89%
786.15/786.39 c 786s| 12100 | 12101 | 5272k| 414.2 | 96M| 73 | 338 |1000 | 15k|1000 |1157 |1127k| 0 |4951 |-3.190387e+02 |-1.010000e+02 | 215.88%
791.65/791.84 c 792s| 12200 | 12201 | 5315k| 414.4 | 97M| 73 | 324 |1000 | 15k|1000 |1521 |1135k| 0 |4981 |-3.190226e+02 |-1.010000e+02 | 215.86%
795.85/796.06 c 796s| 12300 | 12301 | 5348k| 413.7 | 97M| 73 | 76 |1000 | 15k|1000 |1133 |1142k| 0 |5024 |-3.190208e+02 |-1.010000e+02 | 215.86%
801.85/802.02 c 802s| 12400 | 12401 | 5394k| 414.1 | 98M| 73 | 12 |1000 | 15k|1000 | 998 |1149k| 0 |5059 |-3.190166e+02 |-1.010000e+02 | 215.86%
805.85/806.09 c 806s| 12500 | 12501 | 5426k| 413.3 | 98M| 73 | 327 |1000 | 15k|1000 |1504 |1161k| 0 |5104 |-3.190126e+02 |-1.010000e+02 | 215.85%
809.95/810.15 c 810s| 12600 | 12601 | 5457k| 412.5 | 99M| 73 | 358 |1000 | 15k|1000 |1553 |1171k| 0 |5131 |-3.190061e+02 |-1.010000e+02 | 215.85%
815.85/816.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
815.85/816.10 c 816s| 12700 | 12701 | 5506k| 413.1 | 99M| 73 | 338 |1000 | 15k|1000 |1134 |1178k| 0 |5152 |-3.189841e+02 |-1.010000e+02 | 215.83%
819.25/819.50 c 820s| 12800 | 12801 | 5538k| 412.3 | 100M| 73 | 366 |1000 | 15k|1000 |1152 |1187k| 0 |5154 |-3.189791e+02 |-1.010000e+02 | 215.82%
824.24/824.49 c 824s| 12900 | 12901 | 5585k| 412.8 | 100M| 73 | 27 |1000 | 15k|1000 | 998 |1195k| 0 |5155 |-3.189444e+02 |-1.010000e+02 | 215.79%
828.05/828.29 c 828s| 13000 | 13001 | 5623k| 412.6 | 101M| 73 | 28 |1000 | 15k|1000 |1141 |1204k| 0 |5156 |-3.189427e+02 |-1.010000e+02 | 215.78%
829.85/830.03 c 830s| 13100 | 13101 | 5644k| 411.0 | 101M| 73 | 341 |1000 | 15k|1000 |1560 |1216k| 0 |5156 |-3.189427e+02 |-1.010000e+02 | 215.78%
833.74/833.96 c 834s| 13200 | 13201 | 5681k| 410.7 | 101M| 73 | 297 |1000 | 15k|1000 |1155 |1224k| 0 |5157 |-3.189295e+02 |-1.010000e+02 | 215.77%
836.45/836.62 c 837s| 13300 | 13301 | 5709k| 409.7 | 102M| 73 | 74 |1000 | 15k|1000 |1162 |1233k| 0 |5157 |-3.189209e+02 |-1.010000e+02 | 215.76%
841.04/841.20 c 841s| 13400 | 13401 | 5751k| 409.8 | 102M| 73 | 9 |1000 | 15k|1000 | 998 |1243k| 0 |5160 |-3.189202e+02 |-1.010000e+02 | 215.76%
844.45/844.69 c 845s| 13500 | 13501 | 5786k| 409.4 | 103M| 73 | 256 |1000 | 15k|1000 |1194 |1253k| 0 |5160 |-3.189170e+02 |-1.010000e+02 | 215.76%
849.54/849.79 c 850s| 13600 | 13601 | 5835k| 410.0 | 103M| 73 | 14 |1000 | 15k|1000 | 998 |1261k| 0 |5160 |-3.189001e+02 |-1.010000e+02 | 215.74%
853.14/853.39 c 853s| 13700 | 13701 | 5871k| 409.6 | 104M| 73 | 64 |1000 | 15k|1000 |1144 |1271k| 0 |5160 |-3.188922e+02 |-1.010000e+02 | 215.73%
855.24/855.42 c 855s| 13800 | 13801 | 5894k| 408.3 | 104M| 73 | 267 |1000 | 15k|1000 |1147 |1282k| 0 |5160 |-3.188922e+02 |-1.010000e+02 | 215.73%
859.14/859.31 c 859s| 13900 | 13901 | 5932k| 408.1 | 105M| 73 | 281 |1000 | 15k|1000 |1151 |1291k| 0 |5160 |-3.188766e+02 |-1.010000e+02 | 215.72%
861.54/861.70 c 862s| 14000 | 14001 | 5957k| 407.0 | 105M| 73 | 50 |1000 | 15k|1000 |1145 |1301k| 0 |5160 |-3.188766e+02 |-1.010000e+02 | 215.72%
864.54/864.72 c 865s| 14100 | 14101 | 5988k| 406.3 | 106M| 73 | 99 |1000 | 15k|1000 |1147 |1309k| 0 |5160 |-3.188762e+02 |-1.010000e+02 | 215.72%
868.34/868.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.34/868.58 c 869s| 14200 | 14201 | 6025k| 406.0 | 106M| 73 | 244 |1000 | 15k|1000 |1225 |1318k| 0 |5160 |-3.188506e+02 |-1.010000e+02 | 215.69%
872.15/872.37 c 872s| 14300 | 14301 | 6063k| 405.9 | 106M| 73 | 139 |1000 | 15k|1000 |1141 |1327k| 0 |5160 |-3.188506e+02 |-1.010000e+02 | 215.69%
875.84/876.04 c 876s| 14400 | 14401 | 6102k| 405.7 | 107M| 73 | 163 |1000 | 15k|1000 |1149 |1336k| 0 |5160 |-3.188498e+02 |-1.010000e+02 | 215.69%
879.24/879.45 c 879s| 14500 | 14501 | 6137k| 405.3 | 107M| 73 | 446 |1000 | 15k|1000 |1808 |1347k| 0 |5160 |-3.188372e+02 |-1.010000e+02 | 215.68%
881.14/881.33 c 881s| 14600 | 14601 | 6157k| 403.9 | 108M| 73 | 71 |1000 | 15k|1000 | 998 |1357k| 0 |5175 |-3.188372e+02 |-1.010000e+02 | 215.68%
886.63/886.84 c 887s| 14700 | 14701 | 6196k| 403.9 | 108M| 73 | 559 |1000 | 15k|1000 | 998 |1366k| 0 |5236 |-3.188328e+02 |-1.010000e+02 | 215.68%
890.74/890.95 c 891s| 14800 | 14801 | 6232k| 403.5 | 109M| 73 | 292 |1000 | 15k|1000 |1154 |1375k| 0 |5282 |-3.188174e+02 |-1.010000e+02 | 215.66%
894.44/894.63 c 895s| 14900 | 14901 | 6262k| 402.9 | 109M| 73 | 267 |1000 | 15k|1000 |1242 |1385k| 0 |5323 |-3.188050e+02 |-1.010000e+02 | 215.65%
898.73/898.99 c 899s| 15000 | 15001 | 6292k| 402.2 | 110M| 73 | 9 |1000 | 15k|1000 | 998 |1393k| 0 |5347 |-3.188049e+02 |-1.010000e+02 | 215.65%
902.03/902.28 c 902s| 15100 | 15101 | 6321k| 401.4 | 110M| 73 | 10 |1000 | 15k|1000 |1148 |1401k| 0 |5358 |-3.187989e+02 |-1.010000e+02 | 215.64%
909.24/909.44 c 909s| 15200 | 15201 | 6374k| 402.3 | 110M| 73 | 488 |1000 | 15k|1000 |1850 |1411k| 0 |5393 |-3.187867e+02 |-1.010000e+02 | 215.63%
912.84/913.04 c 913s| 15300 | 15301 | 6403k| 401.6 | 111M| 73 | 357 |1000 | 15k|1000 |1662 |1419k| 0 |5446 |-3.187723e+02 |-1.010000e+02 | 215.62%
916.33/916.53 c 917s| 15400 | 15401 | 6433k| 400.8 | 111M| 73 | 14 |1000 | 15k|1000 | 998 |1428k| 0 |5505 |-3.187672e+02 |-1.010000e+02 | 215.61%
921.83/922.09 c 922s| 15500 | 15501 | 6474k| 400.9 | 112M| 73 | 14 |1000 | 15k|1000 |1149 |1437k| 0 |5548 |-3.187549e+02 |-1.010000e+02 | 215.60%
924.94/925.19 c 925s| 15600 | 15601 | 6501k| 400.1 | 112M| 73 | 377 |1000 | 15k|1000 |1695 |1448k| 0 |5580 |-3.187549e+02 |-1.010000e+02 | 215.60%
926.62/926.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.62/926.86 c 927s| 15700 | 15701 | 6519k| 398.7 | 113M| 73 | 310 |1000 | 15k|1000 |1218 |1458k| 0 |5599 |-3.187549e+02 |-1.010000e+02 | 215.60%
928.63/928.85 c 929s| 15800 | 15801 | 6539k| 397.4 | 113M| 73 | 9 |1000 | 15k|1000 | 998 |1470k| 0 |5641 |-3.187549e+02 |-1.010000e+02 | 215.60%
930.34/930.54 c 931s| 15900 | 15901 | 6559k| 396.2 | 113M| 73 | 110 |1000 | 15k|1000 |1152 |1481k| 0 |5642 |-3.187549e+02 |-1.010000e+02 | 215.60%
935.93/936.14 c 936s| 16000 | 16001 | 6599k| 396.2 | 114M| 73 | 332 |1000 | 15k|1000 |1151 |1491k| 0 |5701 |-3.187492e+02 |-1.010000e+02 | 215.59%
939.53/939.76 c 940s| 16100 | 16101 | 6632k| 395.8 | 114M| 73 | 76 |1000 | 15k|1000 | 998 |1498k| 0 |5711 |-3.187435e+02 |-1.010000e+02 | 215.59%
942.83/943.00 c 943s| 16200 | 16201 | 6663k| 395.3 | 115M| 73 | 34 |1000 | 15k|1000 |1139 |1506k| 0 |5714 |-3.187435e+02 |-1.010000e+02 | 215.59%
947.93/948.19 c 948s| 16300 | 16301 | 6711k| 395.8 | 115M| 73 | 402 |1000 | 15k|1000 |1146 |1514k| 0 |5717 |-3.187352e+02 |-1.010000e+02 | 215.58%
951.42/951.69 c 952s| 16400 | 16401 | 6746k| 395.5 | 116M| 73 | 218 |1000 | 15k|1000 |1146 |1523k| 0 |5717 |-3.187320e+02 |-1.010000e+02 | 215.58%
957.23/957.40 c 957s| 16500 | 16501 | 6798k| 396.3 | 116M| 73 | 375 |1000 | 15k|1000 |1148 |1533k| 0 |5720 |-3.187151e+02 |-1.010000e+02 | 215.56%
961.23/961.41 c 961s| 16600 | 16601 | 6838k| 396.3 | 117M| 73 | 245 |1000 | 15k|1000 |1151 |1542k| 0 |5720 |-3.187133e+02 |-1.010000e+02 | 215.56%
965.33/965.53 c 966s| 16700 | 16701 | 6879k| 396.3 | 117M| 73 | 345 |1000 | 15k|1000 |1212 |1551k| 0 |5720 |-3.187043e+02 |-1.010000e+02 | 215.55%
970.42/970.63 c 971s| 16800 | 16801 | 6926k| 396.8 | 118M| 73 | 26 |1000 | 15k|1000 | 998 |1559k| 0 |5720 |-3.186780e+02 |-1.010000e+02 | 215.52%
973.52/973.74 c 974s| 16900 | 16901 | 6957k| 396.3 | 118M| 73 | 227 |1000 | 15k|1000 |1140 |1570k| 0 |5720 |-3.186697e+02 |-1.010000e+02 | 215.51%
977.82/978.08 c 978s| 17000 | 17001 | 6998k| 396.4 | 119M| 73 | 219 |1000 | 15k|1000 |1155 |1578k| 0 |5720 |-3.186628e+02 |-1.010000e+02 | 215.51%
981.42/981.67 c 982s| 17100 | 17101 | 7035k| 396.2 | 119M| 73 | 182 |1000 | 15k|1000 |1143 |1587k| 0 |5720 |-3.186628e+02 |-1.010000e+02 | 215.51%
986.52/986.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.52/986.74 c 987s| 17200 | 17201 | 7074k| 396.2 | 120M| 73 | 178 |1000 | 15k|1000 |1143 |1596k| 0 |5761 |-3.186536e+02 |-1.010000e+02 | 215.50%
991.22/991.45 c 991s| 17300 | 17301 | 7112k| 396.1 | 120M| 73 | 317 |1000 | 15k|1000 |1157 |1604k| 0 |5802 |-3.186488e+02 |-1.010000e+02 | 215.49%
995.81/996.00 c 996s| 17400 | 17401 | 7150k| 396.0 | 121M| 73 | 376 |1000 | 15k|1000 |1644 |1612k| 0 |5832 |-3.186445e+02 |-1.010000e+02 | 215.49%
1000.02/1000.26 c 1000s| 17500 | 17501 | 7183k| 395.6 | 121M| 73 | 273 |1000 | 15k|1000 |1152 |1620k| 0 |5871 |-3.186423e+02 |-1.010000e+02 | 215.49%
1004.52/1004.73 c 1005s| 17600 | 17601 | 7218k| 395.3 | 122M| 73 | 407 |1000 | 15k|1000 |1651 |1627k| 0 |5895 |-3.186303e+02 |-1.010000e+02 | 215.48%
1008.22/1008.46 c 1008s| 17700 | 17701 | 7249k| 394.9 | 122M| 73 | 44 |1000 | 15k|1000 |1151 |1637k| 0 |5928 |-3.186158e+02 |-1.010000e+02 | 215.46%
1014.41/1014.69 c 1015s| 17800 | 17801 | 7293k| 395.1 | 122M| 73 | 37 |1000 | 15k|1000 |1144 |1644k| 0 |5957 |-3.186125e+02 |-1.010000e+02 | 215.46%
1018.22/1018.41 c 1018s| 17900 | 17901 | 7321k| 394.5 | 123M| 76 | 306 |1000 | 15k|1000 |1146 |1650k| 0 |5974 |-3.186078e+02 |-1.010000e+02 | 215.45%
1023.31/1023.55 c 1024s| 18000 | 18001 | 7364k| 394.7 | 123M| 76 | 114 |1000 | 15k|1000 |1146 |1661k| 0 |6002 |-3.186003e+02 |-1.010000e+02 | 215.45%
1027.92/1028.12 c 1028s| 18100 | 18101 | 7400k| 394.5 | 124M| 76 | 88 |1000 | 15k|1000 |1142 |1670k| 0 |6026 |-3.185745e+02 |-1.010000e+02 | 215.42%
1033.91/1034.14 c 1034s| 18200 | 18201 | 7446k| 394.9 | 124M| 76 | 332 |1000 | 15k|1000 |1132 |1679k| 0 |6069 |-3.185567e+02 |-1.010000e+02 | 215.40%
1037.41/1037.60 c 1038s| 18300 | 18301 | 7473k| 394.1 | 125M| 76 | 122 |1000 | 15k|1000 |1138 |1687k| 0 |6094 |-3.185559e+02 |-1.010000e+02 | 215.40%
1042.91/1043.17 c 1043s| 18400 | 18401 | 7516k| 394.4 | 125M| 76 | 300 |1000 | 15k|1000 |1148 |1695k| 0 |6124 |-3.185501e+02 |-1.010000e+02 | 215.40%
1046.61/1046.89 c 1047s| 18500 | 18501 | 7547k| 393.9 | 126M| 76 | 369 |1000 | 15k|1000 |1768 |1703k| 0 |6138 |-3.185486e+02 |-1.010000e+02 | 215.39%
1049.22/1049.45 c 1049s| 18600 | 18601 | 7569k| 393.0 | 126M| 76 | 312 |1000 | 15k|1000 |1153 |1713k| 0 |6161 |-3.185486e+02 |-1.010000e+02 | 215.39%
1053.21/1053.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.21/1053.47 c 1053s| 18700 | 18701 | 7602k| 392.6 | 127M| 76 | 401 |1000 | 15k|1000 |1720 |1723k| 0 |6180 |-3.185486e+02 |-1.010000e+02 | 215.39%
1055.61/1055.83 c 1056s| 18800 | 18801 | 7625k| 391.8 | 127M| 76 | 375 |1000 | 15k|1000 |1586 |1734k| 0 |6213 |-3.185486e+02 |-1.010000e+02 | 215.39%
1059.51/1059.72 c 1060s| 18900 | 18901 | 7655k| 391.3 | 127M| 76 | 321 |1000 | 15k|1000 |1519 |1744k| 0 |6240 |-3.185388e+02 |-1.010000e+02 | 215.38%
1065.61/1065.88 c 1066s| 19000 | 19001 | 7701k| 391.7 | 128M| 76 | 351 |1000 | 15k|1000 |1152 |1752k| 0 |6271 |-3.185266e+02 |-1.010000e+02 | 215.37%
1069.61/1069.87 c 1070s| 19100 | 19101 | 7735k| 391.4 | 128M| 76 | 302 |1000 | 15k|1000 |1150 |1763k| 0 |6285 |-3.185167e+02 |-1.010000e+02 | 215.36%
1071.50/1071.74 c 1072s| 19200 | 19201 | 7757k| 390.5 | 129M| 76 | 246 |1000 | 15k|1000 |1158 |1773k| 0 |6285 |-3.185167e+02 |-1.010000e+02 | 215.36%
1075.70/1075.90 c 1076s| 19300 | 19301 | 7795k| 390.4 | 129M| 76 | 328 |1000 | 15k|1000 |1600 |1783k| 0 |6294 |-3.185124e+02 |-1.010000e+02 | 215.36%
1077.60/1077.82 c 1078s| 19400 | 19401 | 7818k| 389.6 | 130M| 76 | 170 |1000 | 15k|1000 |1150 |1793k| 0 |6294 |-3.185124e+02 |-1.010000e+02 | 215.36%
1079.40/1079.65 c 1080s| 19500 | 19501 | 7839k| 388.7 | 130M| 76 | 42 |1000 | 15k|1000 |1144 |1803k| 0 |6294 |-3.185124e+02 |-1.010000e+02 | 215.36%
1083.21/1083.46 c 1083s| 19600 | 19601 | 7877k| 388.6 | 130M| 77 | 299 |1000 | 15k|1000 |1501 |1813k| 0 |6295 |-3.185084e+02 |-1.010000e+02 | 215.35%
1088.00/1088.24 c 1088s| 19700 | 19701 | 7922k| 388.9 | 131M| 77 | 367 |1000 | 15k|1000 |1580 |1819k| 0 |6298 |-3.184897e+02 |-1.010000e+02 | 215.34%
1092.01/1092.22 c 1092s| 19800 | 19801 | 7960k| 388.9 | 131M| 78 | 328 |1000 | 15k|1000 |1153 |1827k| 0 |6299 |-3.184856e+02 |-1.010000e+02 | 215.33%
1095.60/1095.87 c 1096s| 19900 | 19901 | 7996k| 388.8 | 132M| 78 | 342 |1000 | 15k|1000 |1578 |1836k| 0 |6299 |-3.184771e+02 |-1.010000e+02 | 215.32%
1097.40/1097.60 c 1098s| 20000 | 20001 | 8016k| 387.8 | 132M| 78 | 163 |1000 | 15k|1000 |1153 |1846k| 0 |6299 |-3.184771e+02 |-1.010000e+02 | 215.32%
1100.20/1100.46 c 1100s| 20100 | 20101 | 8045k| 387.3 | 133M| 78 | 364 |1000 | 15k|1000 |1151 |1856k| 0 |6299 |-3.184732e+02 |-1.010000e+02 | 215.32%
1102.01/1102.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.01/1102.24 c 1102s| 20200 | 20201 | 8066k| 386.5 | 133M| 78 | 20 |1000 | 15k|1000 | 998 |1866k| 0 |6299 |-3.184732e+02 |-1.010000e+02 | 215.32%
1106.60/1106.88 c 1107s| 20300 | 20301 | 8112k| 386.8 | 134M| 78 | 358 |1000 | 15k|1000 |1647 |1875k| 0 |6299 |-3.184729e+02 |-1.010000e+02 | 215.32%
1108.20/1108.47 c 1108s| 20400 | 20401 | 8130k| 385.8 | 134M| 78 | 295 |1000 | 15k|1000 |1247 |1885k| 0 |6299 |-3.184729e+02 |-1.010000e+02 | 215.32%
1109.80/1110.06 c 1110s| 20500 | 20501 | 8149k| 384.8 | 134M| 78 | 27 |1000 | 15k|1000 | 998 |1897k| 0 |6299 |-3.184729e+02 |-1.010000e+02 | 215.32%
1111.60/1111.86 c 1112s| 20600 | 20601 | 8169k| 384.0 | 135M| 78 | 8 |1000 | 15k|1000 |1146 |1907k| 0 |6299 |-3.184729e+02 |-1.010000e+02 | 215.32%
1115.20/1115.43 c 1115s| 20700 | 20701 | 8206k| 383.9 | 135M| 78 | 267 |1000 | 15k|1000 |1137 |1918k| 0 |6299 |-3.184658e+02 |-1.010000e+02 | 215.31%
1118.60/1118.86 c 1119s| 20800 | 20801 | 8239k| 383.6 | 136M| 78 | 377 |1000 | 15k|1000 |1153 |1928k| 0 |6308 |-3.184656e+02 |-1.010000e+02 | 215.31%
1122.10/1122.38 c 1122s| 20900 | 20901 | 8268k| 383.2 | 136M| 78 | 396 |1000 | 15k|1000 |1652 |1937k| 0 |6370 |-3.184607e+02 |-1.010000e+02 | 215.31%
1126.60/1126.81 c 1127s| 21000 | 21001 | 8303k| 383.0 | 137M| 78 | 340 |1000 | 15k|1000 |1144 |1947k| 0 |6390 |-3.184592e+02 |-1.010000e+02 | 215.31%
1128.60/1128.84 c 1129s| 21100 | 21101 | 8324k| 382.2 | 137M| 78 | 82 |1000 | 15k|1000 |1145 |1958k| 0 |6403 |-3.184592e+02 |-1.010000e+02 | 215.31%
1130.61/1130.85 c 1131s| 21200 | 21201 | 8343k| 381.3 | 137M| 78 | 32 |1000 | 15k|1000 |1141 |1968k| 0 |6475 |-3.184592e+02 |-1.010000e+02 | 215.31%
1132.81/1133.05 c 1133s| 21300 | 21301 | 8364k| 380.5 | 138M| 78 | 382 |1000 | 15k|1000 |1149 |1979k| 0 |6518 |-3.184592e+02 |-1.010000e+02 | 215.31%
1137.11/1137.38 c 1137s| 21400 | 21401 | 8399k| 380.3 | 138M| 78 | 74 |1000 | 15k|1000 | 998 |1988k| 0 |6578 |-3.184592e+02 |-1.010000e+02 | 215.31%
1142.30/1142.56 c 1143s| 21500 | 21501 | 8438k| 380.4 | 139M| 78 | 454 |1000 | 15k|1000 |1146 |1998k| 0 |6643 |-3.184592e+02 |-1.010000e+02 | 215.31%
1145.40/1145.64 c 1146s| 21600 | 21601 | 8465k| 379.9 | 139M| 78 | 274 |1000 | 15k|1000 |1156 |2007k| 0 |6656 |-3.184592e+02 |-1.010000e+02 | 215.31%
1149.70/1149.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.70/1149.91 c 1150s| 21700 | 21701 | 8501k| 379.8 | 140M| 78 | 347 |1000 | 15k|1000 |1154 |2016k| 0 |6695 |-3.184592e+02 |-1.010000e+02 | 215.31%
1152.99/1153.29 c 1153s| 21800 | 21801 | 8530k| 379.4 | 140M| 78 | 170 |1000 | 15k|1000 |1141 |2027k| 0 |6729 |-3.184592e+02 |-1.010000e+02 | 215.31%
1158.59/1158.85 c 1159s| 21900 | 21901 | 8573k| 379.6 | 141M| 78 | 360 |1000 | 15k|1000 |1145 |2037k| 0 |6750 |-3.184552e+02 |-1.010000e+02 | 215.30%
1161.79/1162.03 c 1162s| 22000 | 22001 | 8603k| 379.2 | 141M| 78 | 340 |1000 | 15k|1000 |1144 |2048k| 0 |6780 |-3.184552e+02 |-1.010000e+02 | 215.30%
1167.79/1168.09 c 1168s| 22100 | 22101 | 8646k| 379.5 | 141M| 78 | 434 |1000 | 15k|1000 |1746 |2059k| 0 |6807 |-3.184458e+02 |-1.010000e+02 | 215.29%
1170.20/1170.43 c 1170s| 22200 | 22201 | 8672k| 378.9 | 142M| 78 | 20 |1000 | 15k|1000 | 998 |2069k| 0 |6807 |-3.184458e+02 |-1.010000e+02 | 215.29%
1172.40/1172.64 c 1173s| 22300 | 22301 | 8697k| 378.3 | 142M| 78 | 132 |1000 | 15k|1000 |1155 |2080k| 0 |6807 |-3.184458e+02 |-1.010000e+02 | 215.29%
1179.49/1179.70 c 1180s| 22400 | 22401 | 8744k| 378.8 | 143M| 78 | 423 |1000 | 15k|1000 |1154 |2091k| 0 |6858 |-3.184354e+02 |-1.010000e+02 | 215.28%
1182.39/1182.61 c 1183s| 22500 | 22501 | 8775k| 378.5 | 143M| 78 | 8 |1000 | 15k|1000 | 998 |2102k| 0 |6858 |-3.184354e+02 |-1.010000e+02 | 215.28%
1186.29/1186.57 c 1187s| 22600 | 22601 | 8810k| 378.3 | 144M| 78 | 214 |1000 | 15k|1000 |1138 |2111k| 0 |6871 |-3.184342e+02 |-1.010000e+02 | 215.28%
1189.90/1190.13 c 1190s| 22700 | 22701 | 8845k| 378.2 | 144M| 78 | 28 |1000 | 15k|1000 |1141 |2121k| 0 |6871 |-3.184293e+02 |-1.010000e+02 | 215.28%
1193.79/1194.02 c 1194s| 22800 | 22801 | 8882k| 378.2 | 145M| 78 | 196 |1000 | 15k|1000 |1149 |2131k| 0 |6876 |-3.184204e+02 |-1.010000e+02 | 215.27%
1195.79/1196.06 c 1196s| 22900 | 22901 | 8905k| 377.5 | 145M| 78 | 280 |1000 | 15k|1000 |1143 |2142k| 0 |6876 |-3.184204e+02 |-1.010000e+02 | 215.27%
1200.19/1200.49 c 1200s| 23000 | 23001 | 8947k| 377.7 | 145M| 78 | 12 |1000 | 15k|1000 | 998 |2150k| 0 |6878 |-3.184054e+02 |-1.010000e+02 | 215.25%
1204.09/1204.34 c 1204s| 23100 | 23101 | 8985k| 377.7 | 146M| 78 | 242 |1000 | 15k|1000 |1155 |2159k| 0 |6878 |-3.184012e+02 |-1.010000e+02 | 215.25%
1209.29/1209.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.29/1209.54 c 1210s| 23200 | 23201 | 9030k| 378.0 | 146M| 78 | 13 |1000 | 15k|1000 | 998 |2167k| 0 |6885 |-3.183871e+02 |-1.010000e+02 | 215.23%
1211.69/1211.95 c 1212s| 23300 | 23301 | 9056k| 377.5 | 147M| 78 | 443 |1000 | 15k|1000 |1152 |2178k| 0 |6885 |-3.183871e+02 |-1.010000e+02 | 215.23%
1215.49/1215.76 c 1216s| 23400 | 23401 | 9095k| 377.6 | 147M| 78 | 434 |1000 | 15k|1000 |1154 |2190k| 0 |6885 |-3.183871e+02 |-1.010000e+02 | 215.23%
1218.88/1219.15 c 1219s| 23500 | 23501 | 9129k| 377.4 | 148M| 78 | 175 |1000 | 15k|1000 |1159 |2200k| 0 |6885 |-3.183858e+02 |-1.010000e+02 | 215.23%
1222.79/1223.05 c 1223s| 23600 | 23601 | 9168k| 377.5 | 148M| 78 | 97 |1000 | 15k|1000 |1134 |2210k| 0 |6885 |-3.183858e+02 |-1.010000e+02 | 215.23%
1225.09/1225.31 c 1225s| 23700 | 23701 | 9193k| 376.9 | 149M| 78 | 180 |1000 | 15k|1000 |1141 |2222k| 0 |6885 |-3.183858e+02 |-1.010000e+02 | 215.23%
1228.49/1228.78 c 1229s| 23800 | 23801 | 9228k| 376.8 | 149M| 78 | 228 |1000 | 15k|1000 |1147 |2233k| 0 |6885 |-3.183849e+02 |-1.010000e+02 | 215.23%
1230.48/1230.73 c 1231s| 23900 | 23901 | 9251k| 376.2 | 150M| 78 | 47 |1000 | 15k|1000 | 998 |2244k| 0 |6885 |-3.183849e+02 |-1.010000e+02 | 215.23%
1234.18/1234.40 c 1234s| 24000 | 24001 | 9286k| 376.1 | 150M| 78 | 14 |1000 | 15k|1000 | 998 |2251k| 0 |6885 |-3.183848e+02 |-1.010000e+02 | 215.23%
1236.49/1236.77 c 1237s| 24100 | 24101 | 9309k| 375.5 | 150M| 78 | 272 |1000 | 15k|1000 |1149 |2263k| 0 |6911 |-3.183848e+02 |-1.010000e+02 | 215.23%
1240.88/1241.12 c 1241s| 24200 | 24201 | 9346k| 375.4 | 151M| 78 | 16 |1000 | 15k|1000 | 998 |2271k| 0 |6937 |-3.183843e+02 |-1.010000e+02 | 215.23%
1242.89/1243.18 c 1243s| 24300 | 24301 | 9366k| 374.7 | 151M| 78 | 88 |1000 | 15k|1000 |1134 |2283k| 0 |6965 |-3.183843e+02 |-1.010000e+02 | 215.23%
1247.38/1247.64 c 1248s| 24400 | 24401 | 9402k| 374.7 | 152M| 81 | 370 |1000 | 15k|1000 |1579 |2292k| 0 |7000 |-3.183818e+02 |-1.010000e+02 | 215.23%
1250.98/1251.21 c 1251s| 24500 | 24501 | 9432k| 374.4 | 152M| 81 | 306 |1000 | 15k|1000 |1485 |2301k| 0 |7066 |-3.183805e+02 |-1.010000e+02 | 215.23%
1253.79/1254.02 c 1254s| 24600 | 24601 | 9457k| 373.9 | 153M| 81 | 246 |1000 | 15k|1000 |1142 |2309k| 0 |7099 |-3.183786e+02 |-1.010000e+02 | 215.23%
1256.28/1256.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.28/1256.59 c 1257s| 24700 | 24701 | 9480k| 373.3 | 153M| 81 | 371 |1000 | 15k|1000 |1666 |2319k| 0 |7137 |-3.183786e+02 |-1.010000e+02 | 215.23%
1259.98/1260.24 c 1260s| 24800 | 24801 | 9509k| 373.0 | 153M| 81 | 319 |1000 | 15k|1000 |1154 |2328k| 0 |7182 |-3.183703e+02 |-1.010000e+02 | 215.22%
1264.57/1264.83 c 1265s| 24900 | 24901 | 9545k| 372.9 | 154M| 81 | 28 |1000 | 15k|1000 | 998 |2339k| 0 |7237 |-3.183649e+02 |-1.010000e+02 | 215.21%
1267.48/1267.70 c 1268s| 25000 | 25001 | 9574k| 372.6 | 154M| 81 | 239 |1000 | 15k|1000 |1149 |2350k| 0 |7250 |-3.183649e+02 |-1.010000e+02 | 215.21%
1271.08/1271.39 c 1271s| 25100 | 25101 | 9604k| 372.3 | 155M| 81 | 297 |1000 | 15k|1000 |1148 |2360k| 0 |7278 |-3.183649e+02 |-1.010000e+02 | 215.21%
1275.08/1275.32 c 1275s| 25200 | 25201 | 9637k| 372.1 | 155M| 81 | 247 |1000 | 15k|1000 |1150 |2370k| 0 |7305 |-3.183616e+02 |-1.010000e+02 | 215.21%
1278.78/1279.07 c 1279s| 25300 | 25301 | 9667k| 371.8 | 156M| 81 | 312 |1000 | 15k|1000 |1231 |2378k| 0 |7335 |-3.183534e+02 |-1.010000e+02 | 215.20%
1282.17/1282.45 c 1282s| 25400 | 25401 | 9697k| 371.5 | 156M| 81 | 33 |1000 | 15k|1000 |1143 |2386k| 0 |7366 |-3.183534e+02 |-1.010000e+02 | 215.20%
1285.58/1285.84 c 1286s| 25500 | 25501 | 9722k| 371.1 | 157M| 81 | 290 |1000 | 15k|1000 |1551 |2395k| 0 |7409 |-3.183530e+02 |-1.010000e+02 | 215.20%
1289.07/1289.30 c 1289s| 25600 | 25601 | 9754k| 370.9 | 157M| 81 | 404 |1000 | 15k|1000 |1143 |2405k| 0 |7418 |-3.183414e+02 |-1.010000e+02 | 215.19%
1293.07/1293.30 c 1293s| 25700 | 25701 | 9782k| 370.5 | 157M| 81 | 352 |1000 | 15k|1000 |1146 |2414k| 0 |7470 |-3.183377e+02 |-1.010000e+02 | 215.19%
1295.68/1295.90 c 1296s| 25800 | 25801 | 9810k| 370.1 | 158M| 81 | 409 |1000 | 15k|1000 |1720 |2424k| 0 |7470 |-3.183313e+02 |-1.010000e+02 | 215.18%
1298.98/1299.26 c 1299s| 25900 | 25901 | 9841k| 369.9 | 158M| 81 | 314 |1000 | 15k|1000 |1138 |2431k| 0 |7476 |-3.183286e+02 |-1.010000e+02 | 215.18%
1300.57/1300.81 c 1301s| 26000 | 26001 | 9858k| 369.2 | 159M| 81 | 204 |1000 | 15k|1000 |1147 |2442k| 0 |7476 |-3.183286e+02 |-1.010000e+02 | 215.18%
1303.47/1303.70 c 1304s| 26100 | 26101 | 9887k| 368.9 | 159M| 81 | 16 |1000 | 15k|1000 | 998 |2452k| 0 |7480 |-3.183254e+02 |-1.010000e+02 | 215.17%
1306.58/1306.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.58/1306.82 c 1307s| 26200 | 26201 | 9919k| 368.7 | 160M| 81 | 40 |1000 | 15k|1000 | 998 |2461k| 0 |7481 |-3.183238e+02 |-1.010000e+02 | 215.17%
1308.17/1308.44 c 1308s| 26300 | 26301 | 9938k| 368.0 | 160M| 81 | 328 |1000 | 15k|1000 |1617 |2472k| 0 |7481 |-3.183238e+02 |-1.010000e+02 | 215.17%
1310.07/1310.33 c 1310s| 26400 | 26401 | 9958k| 367.4 | 160M| 81 | 207 |1000 | 15k|1000 |1207 |2481k| 0 |7481 |-3.183238e+02 |-1.010000e+02 | 215.17%
1313.37/1313.61 c 1314s| 26500 | 26501 | 9993k| 367.3 | 161M| 81 | 74 |1000 | 15k|1000 | 998 |2491k| 0 |7481 |-3.183238e+02 |-1.010000e+02 | 215.17%
1315.97/1316.21 c 1316s| 26600 | 26601 | 10021k| 366.9 | 161M| 81 | 346 |1000 | 15k|1000 |1138 |2500k| 0 |7481 |-3.183238e+02 |-1.010000e+02 | 215.17%
1318.77/1319.07 c 1319s| 26700 | 26701 | 10050k| 366.7 | 162M| 81 | 86 |1000 | 15k|1000 | 998 |2509k| 0 |7481 |-3.183223e+02 |-1.010000e+02 | 215.17%
1320.88/1321.19 c 1321s| 26800 | 26801 | 10073k| 366.2 | 162M| 81 | 290 |1000 | 15k|1000 |1147 |2518k| 0 |7481 |-3.183223e+02 |-1.010000e+02 | 215.17%
1324.67/1324.94 c 1325s| 26900 | 26901 | 10111k| 366.2 | 162M| 81 | 29 |1000 | 15k|1000 |1136 |2528k| 0 |7481 |-3.183192e+02 |-1.010000e+02 | 215.17%
1328.27/1328.50 c 1328s| 27000 | 27001 | 10147k| 366.2 | 163M| 81 | 50 |1000 | 15k|1000 | 998 |2537k| 0 |7481 |-3.183023e+02 |-1.010000e+02 | 215.15%
1332.36/1332.67 c 1333s| 27100 | 27101 | 10189k| 366.4 | 163M| 81 | 452 |1000 | 15k|1000 |1900 |2545k| 0 |7481 |-3.182899e+02 |-1.010000e+02 | 215.14%
1335.57/1335.86 c 1336s| 27200 | 27201 | 10222k| 366.2 | 164M| 81 | 447 |1000 | 15k|1000 |1137 |2555k| 0 |7481 |-3.182899e+02 |-1.010000e+02 | 215.14%
1338.57/1338.82 c 1339s| 27300 | 27301 | 10252k| 366.0 | 164M| 81 | 144 |1000 | 15k|1000 |1135 |2565k| 0 |7481 |-3.182899e+02 |-1.010000e+02 | 215.14%
1342.16/1342.40 c 1342s| 27400 | 27401 | 10289k| 366.0 | 165M| 81 | 293 |1000 | 15k|1000 |1153 |2574k| 0 |7481 |-3.182881e+02 |-1.010000e+02 | 215.14%
1345.66/1345.96 c 1346s| 27500 | 27501 | 10325k| 366.0 | 165M| 81 | 51 |1000 | 15k|1000 | 998 |2584k| 0 |7481 |-3.182881e+02 |-1.010000e+02 | 215.14%
1348.27/1348.52 c 1349s| 27600 | 27601 | 10353k| 365.7 | 166M| 85 | 59 |1000 | 15k|1000 |1154 |2595k| 0 |7481 |-3.182881e+02 |-1.010000e+02 | 215.14%
1352.36/1352.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.36/1352.63 c 1353s| 27700 | 27701 | 10388k| 365.6 | 166M| 86 | 66 |1000 | 15k|1000 |1147 |2606k| 0 |7508 |-3.182851e+02 |-1.010000e+02 | 215.13%
1356.26/1356.51 c 1357s| 27800 | 27801 | 10422k| 365.5 | 167M| 87 | 36 |1000 | 15k|1000 |1152 |2617k| 0 |7523 |-3.182834e+02 |-1.010000e+02 | 215.13%
1360.56/1360.81 c 1361s| 27900 | 27901 | 10457k| 365.5 | 167M| 87 | 351 |1000 | 15k|1000 |1150 |2627k| 0 |7548 |-3.182824e+02 |-1.010000e+02 | 215.13%
1364.16/1364.45 c 1364s| 28000 | 28001 | 10488k| 365.3 | 168M| 87 | 247 |1000 | 15k|1000 |1152 |2638k| 0 |7579 |-3.182788e+02 |-1.010000e+02 | 215.13%
1368.07/1368.36 c 1368s| 28100 | 28101 | 10522k| 365.2 | 168M| 87 | 403 |1000 | 15k|1000 |1766 |2646k| 0 |7597 |-3.182723e+02 |-1.010000e+02 | 215.12%
1370.37/1370.62 c 1371s| 28200 | 28201 | 10544k| 364.7 | 168M| 88 | 311 |1000 | 15k|1000 |1225 |2658k| 0 |7626 |-3.182723e+02 |-1.010000e+02 | 215.12%
1376.46/1376.77 c 1377s| 28300 | 28301 | 10590k| 365.0 | 169M| 88 | 330 |1000 | 15k|1000 |1547 |2664k| 0 |7658 |-3.182568e+02 |-1.010000e+02 | 215.11%
1380.56/1380.80 c 1381s| 28400 | 28401 | 10619k| 364.8 | 169M| 88 | 385 |1000 | 15k|1000 |1708 |2674k| 0 |7692 |-3.182562e+02 |-1.010000e+02 | 215.11%
1383.56/1383.87 c 1384s| 28500 | 28501 | 10651k| 364.6 | 170M| 88 | 400 |1000 | 15k|1000 |1690 |2682k| 0 |7692 |-3.182452e+02 |-1.010000e+02 | 215.09%
1385.46/1385.70 c 1386s| 28600 | 28601 | 10668k| 363.9 | 170M| 88 | 314 |1000 | 15k|1000 |1244 |2691k| 0 |7722 |-3.182452e+02 |-1.010000e+02 | 215.09%
1389.66/1389.96 c 1390s| 28700 | 28701 | 10696k| 363.6 | 171M| 88 | 21 |1000 | 15k|1000 |1137 |2700k| 0 |7749 |-3.182430e+02 |-1.010000e+02 | 215.09%
1392.66/1392.93 c 1393s| 28800 | 28801 | 10726k| 363.4 | 171M| 88 | 96 |1000 | 15k|1000 | 998 |2709k| 0 |7749 |-3.182290e+02 |-1.010000e+02 | 215.08%
1396.67/1396.95 c 1397s| 28900 | 28901 | 10763k| 363.4 | 171M| 88 | 135 |1000 | 15k|1000 | 998 |2720k| 0 |7768 |-3.182290e+02 |-1.010000e+02 | 215.08%
1401.35/1401.65 c 1402s| 29000 | 29001 | 10801k| 363.5 | 172M| 88 | 359 |1000 | 15k|1000 |1584 |2733k| 0 |7800 |-3.182290e+02 |-1.010000e+02 | 215.08%
1405.26/1405.52 c 1406s| 29100 | 29101 | 10838k| 363.5 | 172M| 88 | 357 |1000 | 15k|1000 |1730 |2742k| 0 |7816 |-3.182290e+02 |-1.010000e+02 | 215.08%
1409.86/1410.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.86/1410.17 c 1410s| 29200 | 29201 | 10875k| 363.6 | 173M| 89 | 365 |1000 | 15k|1000 |1629 |2753k| 0 |7845 |-3.182275e+02 |-1.010000e+02 | 215.08%
1412.16/1412.41 c 1412s| 29300 | 29301 | 10897k| 363.0 | 173M| 92 | 358 |1000 | 15k|1000 |1146 |2763k| 0 |7883 |-3.182275e+02 |-1.010000e+02 | 215.08%
1413.95/1414.25 c 1414s| 29400 | 29401 | 10915k| 362.4 | 174M| 92 | 409 |1000 | 15k|1000 |1164 |2773k| 0 |7911 |-3.182275e+02 |-1.010000e+02 | 215.08%
1423.65/1423.95 c 1424s| 29500 | 29501 | 10983k| 363.5 | 174M| 92 | 309 |1000 | 15k|1000 | 998 |2776k| 0 |7980 |-3.182149e+02 |-1.010000e+02 | 215.06%
1437.35/1437.67 c 1438s| 29600 | 29601 | 11088k| 365.8 | 175M| 92 | 289 |1000 | 15k|1000 | 998 |2776k| 0 |8046 |-3.181913e+02 |-1.010000e+02 | 215.04%
1449.24/1449.53 c 1450s| 29700 | 29701 | 11189k| 368.0 | 176M| 92 | 308 |1000 | 15k|1000 | 998 |2776k| 0 |8066 |-3.181443e+02 |-1.010000e+02 | 214.99%
1460.54/1460.82 c 1461s| 29800 | 29801 | 11288k| 370.1 | 177M| 92 | 245 |1000 | 15k|1000 | 998 |2776k| 0 |8067 |-3.181113e+02 |-1.010000e+02 | 214.96%
1470.44/1470.71 c 1471s| 29900 | 29901 | 11376k| 371.8 | 178M| 92 | 325 |1000 | 15k|1000 | 998 |2777k| 0 |8067 |-3.180799e+02 |-1.010000e+02 | 214.93%
1482.45/1482.78 c 1483s| 30000 | 30001 | 11481k| 374.1 | 178M| 92 | 199 |1000 | 15k|1000 | 998 |2777k| 0 |8069 |-3.180606e+02 |-1.010000e+02 | 214.91%
1494.23/1494.50 c 1495s| 30100 | 30101 | 11585k| 376.3 | 179M| 92 | 332 |1000 | 15k|1000 | 998 |2777k| 0 |8069 |-3.180295e+02 |-1.010000e+02 | 214.88%
1501.63/1501.93 c 1502s| 30200 | 30201 | 11654k| 377.3 | 180M| 92 | 110 |1000 | 15k|1000 | 998 |2782k| 0 |8069 |-3.180165e+02 |-1.010000e+02 | 214.87%
1510.13/1510.40 c 1510s| 30300 | 30301 | 11723k| 378.3 | 181M| 92 | 185 |1000 | 15k|1000 | 998 |2786k| 0 |8092 |-3.179951e+02 |-1.010000e+02 | 214.85%
1524.63/1524.94 c 1525s| 30400 | 30401 | 11822k| 380.3 | 181M| 92 | 302 |1000 | 15k|1000 | 998 |2786k| 0 |8169 |-3.179737e+02 |-1.010000e+02 | 214.83%
1537.43/1537.77 c 1538s| 30500 | 30501 | 11924k| 382.5 | 182M| 92 | 446 |1000 | 15k|1000 |1144 |2787k| 0 |8195 |-3.179381e+02 |-1.010000e+02 | 214.79%
1550.02/1550.33 c 1550s| 30600 | 30601 | 12019k| 384.3 | 183M| 92 | 389 |1000 | 15k|1000 | 998 |2787k| 0 |8283 |-3.179172e+02 |-1.010000e+02 | 214.77%
1562.12/1562.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.12/1562.47 c 1562s| 30700 | 30701 | 12107k| 385.9 | 184M| 92 | 394 |1000 | 15k|1000 |1136 |2791k| 0 |8354 |-3.178798e+02 |-1.010000e+02 | 214.73%
1565.42/1565.75 c 1566s| 30800 | 30801 | 12141k| 385.7 | 184M| 92 | 156 |1000 | 15k|1000 | 998 |2801k| 0 |8354 |-3.178798e+02 |-1.010000e+02 | 214.73%
1568.92/1569.22 c 1569s| 30900 | 30901 | 12170k| 385.4 | 185M| 92 | 466 |1000 | 15k|1000 |1821 |2813k| 0 |8389 |-3.178798e+02 |-1.010000e+02 | 214.73%
1571.82/1572.15 c 1572s| 31000 | 31001 | 12198k| 385.1 | 185M| 92 | 274 |1000 | 15k|1000 |1157 |2823k| 0 |8415 |-3.178798e+02 |-1.010000e+02 | 214.73%
1579.62/1579.91 c 1580s| 31100 | 31101 | 12255k| 385.7 | 186M| 92 | 62 |1000 | 15k|1000 | 998 |2828k| 0 |8459 |-3.178713e+02 |-1.010000e+02 | 214.72%
1587.32/1587.63 c 1588s| 31200 | 31201 | 12315k| 386.4 | 186M| 92 | 141 |1000 | 15k|1000 |1156 |2834k| 0 |8508 |-3.178667e+02 |-1.010000e+02 | 214.72%
1589.72/1590.03 c 1590s| 31300 | 31301 | 12340k| 385.9 | 187M| 92 | 20 |1000 | 15k|1000 | 998 |2844k| 0 |8508 |-3.178667e+02 |-1.010000e+02 | 214.72%
1601.12/1601.47 c 1601s| 31400 | 31401 | 12427k| 387.5 | 188M| 92 | 387 |1000 | 15k|1000 | 998 |2846k| 0 |8543 |-3.178453e+02 |-1.010000e+02 | 214.70%
1612.11/1612.48 c 1612s| 31500 | 31501 | 12510k| 388.9 | 188M| 92 | 69 |1000 | 15k|1000 | 998 |2849k| 0 |8588 |-3.178255e+02 |-1.010000e+02 | 214.68%
1616.31/1616.63 c 1617s| 31600 | 31601 | 12542k| 388.7 | 189M| 92 | 215 |1000 | 15k|1000 |1146 |2858k| 0 |8631 |-3.178255e+02 |-1.010000e+02 | 214.68%
1619.22/1619.50 c 1620s| 31700 | 31701 | 12569k| 388.3 | 189M| 92 | 191 |1000 | 15k|1000 |1142 |2867k| 0 |8657 |-3.178255e+02 |-1.010000e+02 | 214.68%
1621.62/1621.92 c 1622s| 31800 | 31801 | 12594k| 387.9 | 190M| 92 | 410 |1000 | 15k|1000 |1777 |2877k| 0 |8664 |-3.178255e+02 |-1.010000e+02 | 214.68%
1627.71/1628.07 c 1628s| 31900 | 31901 | 12648k| 388.3 | 190M| 92 | 321 |1000 | 15k|1000 | 998 |2883k| 0 |8677 |-3.178184e+02 |-1.010000e+02 | 214.67%
1632.61/1632.94 c 1633s| 32000 | 32001 | 12694k| 388.6 | 191M| 92 | 423 |1000 | 15k|1000 |1139 |2890k| 0 |8678 |-3.178137e+02 |-1.010000e+02 | 214.67%
1638.51/1638.89 c 1639s| 32100 | 32101 | 12750k| 389.1 | 192M| 92 | 217 |1000 | 15k|1000 | 998 |2895k| 0 |8678 |-3.178032e+02 |-1.010000e+02 | 214.66%
1649.41/1649.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.41/1649.70 c 1650s| 32200 | 32201 | 12845k| 390.9 | 192M| 92 | 330 |1000 | 15k|1000 | 998 |2895k| 0 |8678 |-3.177907e+02 |-1.010000e+02 | 214.64%
1661.01/1661.38 c 1661s| 32300 | 32301 | 12949k| 392.9 | 193M| 92 | 326 |1000 | 15k|1000 | 998 |2895k| 0 |8679 |-3.177573e+02 |-1.010000e+02 | 214.61%
1671.91/1672.23 c 1672s| 32400 | 32401 | 13045k| 394.6 | 194M| 92 | 330 |1000 | 15k|1000 | 998 |2896k| 0 |8679 |-3.177264e+02 |-1.010000e+02 | 214.58%
1682.40/1682.70 c 1683s| 32500 | 32501 | 13139k| 396.3 | 195M| 92 | 268 |1000 | 15k|1000 |1141 |2897k| 0 |8680 |-3.177046e+02 |-1.010000e+02 | 214.56%
1694.00/1694.31 c 1694s| 32600 | 32601 | 13236k| 398.1 | 196M| 92 | 181 |1000 | 15k|1000 | 998 |2897k| 0 |8705 |-3.176888e+02 |-1.010000e+02 | 214.54%
1709.19/1709.53 c 1710s| 32700 | 32701 | 13346k| 400.2 | 197M| 92 | 319 |1000 | 15k|1000 | 998 |2898k| 0 |8778 |-3.176559e+02 |-1.010000e+02 | 214.51%
1722.30/1722.61 c 1723s| 32800 | 32801 | 13447k| 402.1 | 197M| 92 | 298 |1000 | 15k|1000 | 998 |2898k| 0 |8814 |-3.176365e+02 |-1.010000e+02 | 214.49%
1729.29/1729.65 c 1730s| 32900 | 32901 | 13505k| 402.6 | 198M| 92 | 262 |1000 | 15k|1000 |1124 |2905k| 0 |8883 |-3.176230e+02 |-1.010000e+02 | 214.48%
1732.49/1732.86 c 1733s| 33000 | 33001 | 13534k| 402.2 | 198M| 92 | 418 |1000 | 15k|1000 |1153 |2915k| 0 |8929 |-3.176230e+02 |-1.010000e+02 | 214.48%
1735.29/1735.67 c 1736s| 33100 | 33101 | 13559k| 401.8 | 199M| 92 | 390 |1000 | 15k|1000 |1151 |2923k| 0 |8981 |-3.176230e+02 |-1.010000e+02 | 214.48%
1737.99/1738.32 c 1738s| 33200 | 33201 | 13584k| 401.3 | 199M| 92 | 311 |1000 | 15k|1000 |1543 |2932k| 0 |9024 |-3.176230e+02 |-1.010000e+02 | 214.48%
1741.49/1741.89 c 1742s| 33300 | 33301 | 13615k| 401.1 | 200M| 92 | 36 |1000 | 15k|1000 | 998 |2943k| 0 |9079 |-3.176230e+02 |-1.010000e+02 | 214.48%
1753.69/1754.10 c 1754s| 33400 | 33401 | 13705k| 402.5 | 201M| 92 | 360 |1000 | 15k|1000 | 998 |2944k| 0 |9131 |-3.176056e+02 |-1.010000e+02 | 214.46%
1767.69/1768.00 c 1768s| 33500 | 33501 | 13808k| 404.4 | 201M| 92 | 355 |1000 | 15k|1000 | 998 |2944k| 0 |9186 |-3.175878e+02 |-1.010000e+02 | 214.44%
1780.19/1780.51 c 1781s| 33600 | 33601 | 13905k| 406.1 | 202M| 92 | 254 |1000 | 15k|1000 | 998 |2945k| 0 |9232 |-3.175699e+02 |-1.010000e+02 | 214.43%
1792.59/1792.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.59/1792.96 c 1793s| 33700 | 33701 | 14004k| 407.9 | 203M| 92 | 259 |1000 | 15k|1000 | 998 |2945k| 0 |9282 |-3.175542e+02 |-1.010000e+02 | 214.41%
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 33736
1796.68/1797.00 c Primal Bound : -1.01000000000000e+02 (463 solutions)
1796.68/1797.00 c Dual Bound : -3.17549410939818e+02
1796.68/1797.00 c Gap : 214.41 %
1796.68/1797.00 s SATISFIABLE
1796.68/1797.00 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.68/1797.00 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.68/1797.00 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1796.68/1797.00 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.68/1797.00 v -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895
1796.68/1797.00 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1796.68/1797.00 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 x853
1796.68/1797.00 v -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1796.68/1797.00 v x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1796.68/1797.00 v x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1796.68/1797.00 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768
1796.68/1797.00 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747
1796.68/1797.00 v -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1796.68/1797.00 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1796.68/1797.00 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1796.68/1797.00 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1796.68/1797.00 v -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1796.68/1797.00 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 x623 -x622 -x621
1796.68/1797.00 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1796.68/1797.00 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579
1796.68/1797.00 v -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 x560 -x559 -x558
1796.68/1797.00 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537
1796.68/1797.00 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1796.68/1797.00 v -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1796.68/1797.00 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1796.68/1797.00 v -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1796.68/1797.00 v -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1796.68/1797.00 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1796.68/1797.00 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389
1796.68/1797.00 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368
1796.68/1797.00 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1796.68/1797.00 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1796.68/1797.00 v -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 -x305
1796.68/1797.00 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284
1796.68/1797.00 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1796.68/1797.00 v -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1796.68/1797.00 v x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1796.68/1797.00 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1796.68/1797.00 v -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178
1796.68/1797.00 v -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157
1796.68/1797.00 v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1796.68/1797.00 v x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115
1796.68/1797.00 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 x106 x105 -x104 x103 x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1796.68/1797.00 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1796.68/1797.00 v -x65 -x64 x63 x62 -x61 -x60 -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39
1796.68/1797.00 v -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30 x29 -x28 -x27 x26 x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 x17 -x16 x15 x14 x13 x12
1796.68/1797.00 v -x11 -x10 x9 x8 x7 -x6 -x5 x4 x3 x2 x1
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Total Time : 1797.00
1796.68/1797.00 c solving : 1797.00
1796.68/1797.00 c presolving : 0.62 (included in solving)
1796.68/1797.00 c reading : 0.02 (included in solving)
1796.68/1797.00 c copying : 0.26 (8 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.00 c Original Problem :
1796.68/1797.00 c Problem name : HOME/instance-3691465-1338020928.opb
1796.68/1797.00 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 1000 initial, 1000 maximal
1796.68/1797.00 c Objective sense : minimize
1796.68/1797.00 c Presolved Problem :
1796.68/1797.00 c Problem name : t_HOME/instance-3691465-1338020928.opb
1796.68/1797.00 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 15795 initial, 15795 maximal
1796.68/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c setppc : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c and : 0.31 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c linear : 0.06 0.00 15795 0 0 15795 0 1000 0 0 0
1796.68/1797.00 c logicor : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c root node : - - 0 - - 0 - - - - -
1796.68/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c integral : 0 0 0 0 38434 0 79793 0 0 0 0 0 67470
1796.68/1797.00 c setppc : 15795 15795 215 120000 4699 1 79789 0 0 625771 2946185 0 0
1796.68/1797.00 c countsols : 0 0 0 0 0 1 465 0 0 0 0 0 0
1796.68/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.00 c integral : 278.26 0.00 0.00 0.00 278.09 0.00 0.17 0.00
1796.68/1797.00 c setppc : 21.62 0.00 1.16 11.38 4.62 0.00 4.45 0.00
1796.68/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.00 c rootredcost : 1 0 0 0
1796.68/1797.00 c pseudoobj : 153685 0 0 0
1796.68/1797.00 c vbounds : 0 0 0 0
1796.68/1797.00 c redcost : 38648 0 0 0
1796.68/1797.00 c probing : 0 0 0 0
1796.68/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.00 c rootredcost : 0.10 0.00 0.00 0.10 0.00
1796.68/1797.00 c pseudoobj : 0.40 0.01 0.00 0.39 0.00
1796.68/1797.00 c vbounds : 0.10 0.00 0.00 0.10 0.00
1796.68/1797.00 c redcost : 0.81 0.00 0.00 0.81 0.00
1796.68/1797.00 c probing : 0.02 0.00 0.02 0.00 0.00
1796.68/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.00 c applied globally : - - - 0 0.0 - - -
1796.68/1797.00 c applied locally : - - - 0 0.0 - - -
1796.68/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.00 c cut pool : 0.23 214 - - 3070 - (maximal pool size: 8549)
1796.68/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c impliedbounds : 0.21 0.00 214 0 0 17190 0
1796.68/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c gomory : 0.10 0.00 10 0 0 500 0
1796.68/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c strongcg : 1.33 0.00 20 0 0 10000 0
1796.68/1797.00 c cmir : 0.35 0.00 10 0 0 0 0
1796.68/1797.00 c flowcover : 0.26 0.00 10 0 0 0 0
1796.68/1797.00 c clique : 5.21 0.00 214 0 0 1719 0
1796.68/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.68/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.00 c problem variables: 0.00 - 0 0
1796.68/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c relpscost : 277.98 0.00 33735 0 0 0 0 67470
1796.68/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c oneopt : 0.07 0.00 2 1
1796.68/1797.01 c crossover : 1.05 0.00 7 2
1796.68/1797.01 c objpscostdiving : 17.10 0.00 20 0
1796.68/1797.01 c rootsoldiving : 11.85 0.00 233 2
1796.68/1797.01 c pscostdiving : 20.79 0.00 607 42
1796.68/1797.01 c veclendiving : 28.38 0.00 607 34
1796.68/1797.01 c fracdiving : 22.62 0.00 608 9
1796.68/1797.01 c coefdiving : 21.86 0.00 608 34
1796.68/1797.01 c linesearchdiving : 21.09 0.00 608 13
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.01 0.00 2 1
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 3.60 0.00 33949 306
1796.68/1797.01 c zirounding : 0.36 0.00 1000 0
1796.68/1797.01 c rounding : 32.61 0.00 8444 1
1796.68/1797.01 c shifting : 12.78 0.00 2402 1
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.08 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c guideddiving : 20.46 0.00 608 17
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.05 0.00 0 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.03 0.00 0 0
1796.68/1797.01 c trysol : 0.06 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 2.54 4734 0 0.00 0.00 2.53 4734
1796.68/1797.01 c dual LP : 1257.61 38902 12413106 321.18 9870.38 0.15 253
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 145.32 39819 1625698 40.83 11186.95
1796.68/1797.01 c strong branching : 275.70 9286 2164154 233.06 7849.81
1796.68/1797.01 c (at root node) : - 23 22002 956.61 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 33736
1796.68/1797.01 c nodes (total) : 33736
1796.68/1797.01 c nodes left : 33737
1796.68/1797.01 c max depth : 92
1796.68/1797.01 c max depth (total): 92
1796.68/1797.01 c backtracks : 3961 (11.7%)
1796.68/1797.01 c delayed cutoffs : 0
1796.68/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.01 c avg switch length: 4.03
1796.68/1797.01 c switching time : 8.88
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 463 (4 improvements)
1796.68/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : -1.01000000000000e+02 (in run 1, after 1 nodes, 1.18 seconds, depth 0, found by <oneopt>)
1796.68/1797.01 c Dual Bound : -3.17549410939818e+02
1796.68/1797.01 c Gap : 214.41 %
1796.68/1797.01 c Root Dual Bound : -3.22999999999999e+02
1796.68/1797.01 c Root Iterations : 260546
1796.88/1797.23 c Time complete: 1796.92.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691465-1338020928/watcher-3691465-1338020928 -o /tmp/evaluation-result-3691465-1338020928/solver-3691465-1338020928 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691465-1338020928.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 30024
/proc/meminfo: memFree=27013920/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=10716 CPUtime=0 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 1437 0 0 0 0 0 0 0 20 0 1 0 268221206 10973184 1392 33554432000 4194304 10173063 140735449218576 140735449083912 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 2679 1392 417 1460 0 1210 0
[startup+0.0783749 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 30024
/proc/meminfo: memFree=27013920/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=38696 CPUtime=0.07 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 8144 0 0 0 6 1 0 0 20 0 1 0 268221206 39624704 8100 33554432000 4194304 10173063 140735449218576 140735449083912 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 9674 8140 522 1460 0 8205 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38696
[startup+0.100405 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 30024
/proc/meminfo: memFree=27013920/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=43484 CPUtime=0.09 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 9403 0 0 0 8 1 0 0 20 0 1 0 268221206 44527616 9358 33554432000 4194304 10173063 140735449218576 140735449083912 8827668 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 10871 9358 522 1460 0 9402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43484
[startup+0.300278 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 30024
/proc/meminfo: memFree=27013920/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=57476 CPUtime=0.29 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 13033 0 0 0 21 8 0 0 20 0 1 0 268221206 58855424 12635 33554432000 4194304 10173063 140735449218576 140735449083912 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 14369 12635 551 1460 0 12900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57476
[startup+0.70029 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 30024
/proc/meminfo: memFree=27013920/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=79128 CPUtime=0.69 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 19009 0 0 0 45 24 0 0 20 0 1 0 268221206 81027072 18027 33554432000 4194304 10173063 140735449218576 140735449215816 8794780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 19782 18027 706 1460 0 18313 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79128
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 30025
/proc/meminfo: memFree=26938636/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=87892 CPUtime=1.49 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 21860 0 0 0 120 29 0 0 20 0 1 0 268221206 90001408 20173 33554432000 4194304 10173063 140735449218576 140735449215816 5749688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 21973 20173 787 1460 0 20504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87892
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 30025
/proc/meminfo: memFree=26935412/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=90376 CPUtime=3.09 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 22440 0 0 0 276 33 0 0 20 0 1 0 268221206 92545024 20753 33554432000 4194304 10173063 140735449218576 140735449213528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 22594 20753 790 1460 0 21125 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90376
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 30025
/proc/meminfo: memFree=26925104/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=97304 CPUtime=6.29 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 24828 0 0 0 593 36 0 0 20 0 1 0 268221206 99639296 22876 33554432000 4194304 10173063 140735449218576 140735449213464 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 24326 22876 790 1460 0 22857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97304
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 30025
/proc/meminfo: memFree=26916588/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=105980 CPUtime=12.69 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 26865 0 0 0 1230 39 0 0 20 0 1 0 268221206 108523520 24904 33554432000 4194304 10173063 140735449218576 140735449211928 8632008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 26495 24904 790 1460 0 25026 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105980
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 30025
/proc/meminfo: memFree=26913464/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=109756 CPUtime=25.49 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 27745 0 0 0 2506 43 0 0 20 0 1 0 268221206 112390144 25724 33554432000 4194304 10173063 140735449218576 140735449214936 5749616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 27439 25724 793 1460 0 25970 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109756
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 30025
/proc/meminfo: memFree=26913308/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=110128 CPUtime=51.08 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 27853 0 0 0 5057 51 0 0 20 0 1 0 268221206 112771072 25832 33554432000 4194304 10173063 140735449218576 140735449211928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 27532 25832 793 1460 0 26063 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110128
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 30028
/proc/meminfo: memFree=26912972/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=109396 CPUtime=102.28 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 30503 0 0 0 10165 63 0 0 20 0 1 0 268221206 112021504 25482 33554432000 4194304 10173063 140735449218576 140735449212120 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 27349 25482 828 1460 0 25880 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 109396
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/175 30029
/proc/meminfo: memFree=26911180/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=109396 CPUtime=162.26 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 30503 0 0 0 16133 93 0 0 20 0 1 0 268221206 112021504 25482 33554432000 4194304 10173063 140735449218576 140735449211288 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 27349 25482 828 1460 0 25880 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 109396
[startup+222.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/175 30029
/proc/meminfo: memFree=26907640/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=109396 CPUtime=222.26 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 30506 0 0 0 22096 130 0 0 20 0 1 0 268221206 112021504 25485 33554432000 4194304 10173063 140735449218576 140735449211928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 27349 25485 831 1460 0 25880 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 109396
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/175 30029
/proc/meminfo: memFree=26902832/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=110524 CPUtime=282.24 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 44672 0 0 0 28045 179 0 0 20 0 1 0 268221206 113176576 25804 33554432000 4194304 10173063 140735449218576 140735449211880 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 27631 25804 845 1460 0 26162 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 110524
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 30029
/proc/meminfo: memFree=26896296/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=116176 CPUtime=342.24 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 60246 0 0 0 33998 226 0 0 20 0 1 0 268221206 118964224 27137 33554432000 4194304 10173063 140735449218576 140735449211928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 29044 27137 845 1460 0 27575 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 116176
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 30030
/proc/meminfo: memFree=26889744/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=121948 CPUtime=402.23 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 68092 0 0 0 39949 274 0 0 20 0 1 0 268221206 124874752 28597 33554432000 4194304 10173063 140735449218576 140735449211928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 30487 28597 846 1460 0 29018 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 121948
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 30031
/proc/meminfo: memFree=26885432/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=126720 CPUtime=462.22 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 76396 0 0 0 45898 324 0 0 20 0 1 0 268221206 129761280 29790 33554432000 4194304 10173063 140735449218576 140735449211832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 31680 29790 846 1460 0 30211 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 126720
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 30031
/proc/meminfo: memFree=26878892/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=132720 CPUtime=522.19 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 77830 0 0 0 51847 372 0 0 20 0 1 0 268221206 135905280 31390 33554432000 4194304 10173063 140735449218576 140735449211832 8056511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 33180 31390 846 1460 0 31711 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 132720
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 30031
/proc/meminfo: memFree=26867884/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=142260 CPUtime=582.18 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 80140 0 0 0 57795 423 0 0 20 0 1 0 268221206 145674240 34122 33554432000 4194304 10173063 140735449218576 140735449211832 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 35565 34122 846 1460 0 34096 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 142260
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26790120/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=205092 CPUtime=1122.1 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 102838 0 0 0 111349 861 0 0 20 0 1 0 268221206 210014208 49570 33554432000 4194304 10173063 140735449218576 140735449211832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 51273 49570 846 1460 0 49804 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 205092
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 30036
/proc/meminfo: memFree=26801548/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=212108 CPUtime=1182.09 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 104672 0 0 0 117301 908 0 0 20 0 1 0 268221206 217198592 51404 33554432000 4194304 10173063 140735449218576 140735449212216 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 53027 51404 846 1460 0 51558 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 212108
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 30036
/proc/meminfo: memFree=26791008/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=219184 CPUtime=1242.08 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 106375 0 0 0 123247 961 0 0 20 0 1 0 268221206 224444416 53106 33554432000 4194304 10173063 140735449218576 140735449211880 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 54796 53106 846 1460 0 53327 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 219184
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 30039
/proc/meminfo: memFree=26782196/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=227336 CPUtime=1302.08 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 108559 0 0 0 129193 1015 0 0 20 0 1 0 268221206 232792064 55265 33554432000 4194304 10173063 140735449218576 140735449212216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 56834 55265 846 1460 0 55365 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 227336
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 30040
/proc/meminfo: memFree=26772532/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=237100 CPUtime=1362.06 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 110989 0 0 0 135142 1064 0 0 20 0 1 0 268221206 242790400 57658 33554432000 4194304 10173063 140735449218576 140735449212120 8025646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 59275 57658 846 1460 0 57806 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 237100
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 30040
/proc/meminfo: memFree=26767160/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=242208 CPUtime=1422.06 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 112282 0 0 0 141089 1117 0 0 20 0 1 0 268221206 248020992 58948 33554432000 4194304 10173063 140735449218576 140735449212216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 60552 58948 846 1460 0 59083 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 242208
[startup+1482.3 s]
/proc/loadavg: 1.97 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28119472/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=248880 CPUtime=1482.04 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 113938 0 0 0 147045 1159 0 0 20 0 1 0 268221206 254853120 60703 33554432000 4194304 10173063 140735449218576 140735449211880 8023721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 62220 60703 846 1460 0 60751 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 248880
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28113148/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=252832 CPUtime=1542.03 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 114826 0 0 0 153003 1200 0 0 20 0 1 0 268221206 258899968 61591 33554432000 4194304 10173063 140735449218576 140735449211848 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 63208 61591 846 1460 0 61739 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 252832
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28109428/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=255684 CPUtime=1602.01 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 115724 0 0 0 158955 1246 0 0 20 0 1 0 268221206 261820416 62489 33554432000 4194304 10173063 140735449218576 140735449211832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 63921 62489 846 1460 0 62452 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 255684
[startup+1662.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/175 30078
/proc/meminfo: memFree=28103724/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=261860 CPUtime=1662.01 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 117093 0 0 0 164909 1292 0 0 20 0 1 0 268221206 268144640 63857 33554432000 4194304 10173063 140735449218576 140735449211880 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 65465 63857 846 1460 0 63996 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 261860
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28098808/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=266832 CPUtime=1721.99 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 118321 0 0 0 170866 1333 0 0 20 0 1 0 268221206 273235968 65147 33554432000 4194304 10173063 140735449218576 140735449211832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 66708 65147 846 1460 0 65239 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 266832
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/175 30383
/proc/meminfo: memFree=27929452/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=273568 CPUtime=1781.98 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 119939 0 0 0 176820 1378 0 0 20 0 1 0 268221206 280133632 66765 33554432000 4194304 10173063 140735449218576 140735449212216 7981135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 68392 66765 846 1460 0 66923 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 273568
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.08 2.02 1.95 3/175 30383
/proc/meminfo: memFree=27929700/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=273568 CPUtime=1785.18 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 119960 0 0 0 177138 1380 0 0 20 0 1 0 268221206 280133632 66786 33554432000 4194304 10173063 140735449218576 140735449212216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 68392 66786 846 1460 0 66923 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 273568
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 1.95 3/175 30383
/proc/meminfo: memFree=27929600/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=273568 CPUtime=1791.59 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 119994 0 0 0 177773 1386 0 0 20 0 1 0 268221206 280133632 66820 33554432000 4194304 10173063 140735449218576 140735449211832 4900585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 68392 66820 846 1460 0 66923 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 273568
[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 1.95 3/175 30383
/proc/meminfo: memFree=27929724/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=273568 CPUtime=1794.79 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 120015 0 0 0 178090 1389 0 0 20 0 1 0 268221206 280133632 66841 33554432000 4194304 10173063 140735449218576 140735449211832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 68392 66841 846 1460 0 66923 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 273568
[startup+1795.9 s]
/proc/loadavg: 2.06 2.02 1.95 3/175 30383
/proc/meminfo: memFree=27929724/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=273752 CPUtime=1795.58 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 120037 0 0 0 178169 1389 0 0 20 0 1 0 268221206 280322048 66863 33554432000 4194304 10173063 140735449218576 140735449211832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 68438 66863 846 1460 0 66969 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 273752
[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 1.95 3/175 30383
/proc/meminfo: memFree=27929600/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=273752 CPUtime=1796.38 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 120042 0 0 0 178249 1389 0 0 20 0 1 0 268221206 280322048 66868 33554432000 4194304 10173063 140735449218576 140735449211928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 68438 66868 846 1460 0 66969 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 273752
[startup+1797.1 s]
/proc/loadavg: 2.06 2.02 1.95 3/175 30383
/proc/meminfo: memFree=27929600/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=273752 CPUtime=1796.78 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 120047 0 0 0 178289 1389 0 0 20 0 1 0 268221206 280322048 66873 33554432000 4194304 10173063 140735449218576 140735449211928 7544969 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 68438 66873 850 1460 0 66969 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 273752
[startup+1797.2 s]
/proc/loadavg: 2.06 2.02 1.95 3/175 30383
/proc/meminfo: memFree=27929600/32873844 swapFree=6080/6080
[pid=30024] ppid=30022 vsize=271296 CPUtime=1796.88 cores=1,3,5,7
/proc/30024/stat : 30024 (scip-2.1.1.4fix) R 30022 30024 29432 0 -1 4202496 120047 0 0 0 178299 1389 0 0 20 0 1 0 268221206 277807104 66259 33554432000 4194304 10173063 140735449218576 140735449211928 5284596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30024/statm: 67824 66259 850 1460 0 66355 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 271296
Child status: 0
Real time (s): 1797.23
CPU time (s): 1796.93
CPU user time (s): 1783.02
CPU system time (s): 13.9019
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 273752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.02
system time used= 13.9019
maximum resident set size= 267492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120049
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= 40
involuntary context switches= 1848
runsolver used 5.65514 second user time and 14.2198 second system time
The end