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-3693796-1338035811.opb>
0.01/0.02 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.01/0.02 c problem read in 0.02
0.09/0.11 o 0
0.09/0.11 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.11 c presolving:
0.19/0.28 c (round 1) 15796 del vars, 1000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63184 impls, 0 clqs
0.29/0.38 c (round 2) 15796 del vars, 1000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 31592 upgd conss, 94776 impls, 0 clqs
0.39/0.42 c (0.4s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.42 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.39/0.42 c presolving (3 rounds):
0.39/0.42 c 15796 deleted vars, 1000 deleted constraints, 0 added constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42 c 94776 implications, 0 cliques
0.39/0.42 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints
0.39/0.42 c 15796 constraints of type <setppc>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.39
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 2.1.1.4
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1797
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 13950
0.39/0.42 c
0.39/0.42 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.42 c # [type: int, range: [1,2], default: 1]
0.39/0.42 c timing/clocktype = 2
0.39/0.42 c
0.39/0.42 c # belongs reading time to solving time?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c timing/reading = TRUE
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.43 c
0.59/0.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.62 c t 0.6s| 1 | 0 | 1035 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
0.59/0.66 o -1
0.59/0.66 c R 0.7s| 1 | 0 | 1035 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
0.59/0.69 o -2
0.59/0.69 c s 0.7s| 1 | 0 | 1035 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
0.89/0.91 c 0.9s| 1 | 0 | 1257 | - | 35M| 0 | 987 |1000 | 15k|1000 | 15k| 15 | 0 | 0 |-4.935000e+02 |-2.000000e+00 | Large
0.89/0.92 o -98
0.89/0.92 c b 0.9s| 1 | 0 | 1257 | - | 35M| 0 | 987 |1000 | 15k|1000 | 15k| 15 | 0 | 0 |-4.935000e+02 |-9.800000e+01 | 403.57%
1.09/1.16 c 1.2s| 1 | 0 | 1380 | - | 35M| 0 | 979 |1000 | 15k|1000 | 15k| 27 | 0 | 0 |-4.895000e+02 |-9.800000e+01 | 399.49%
1.38/1.46 c 1.5s| 1 | 0 | 1577 | - | 35M| 0 | 973 |1000 | 15k|1000 | 15k| 41 | 0 | 0 |-4.865000e+02 |-9.800000e+01 | 396.43%
1.69/1.77 c 1.8s| 1 | 0 | 1820 | - | 35M| 0 | 964 |1000 | 15k|1000 | 15k| 58 | 0 | 0 |-4.818333e+02 |-9.800000e+01 | 391.67%
2.10/2.12 c 2.1s| 1 | 0 | 2234 | - | 35M| 0 | 957 |1000 | 15k|1000 | 15k| 72 | 0 | 0 |-4.775000e+02 |-9.800000e+01 | 387.24%
2.49/2.50 c 2.5s| 1 | 0 | 2573 | - | 36M| 0 | 947 |1000 | 15k|1000 | 15k| 84 | 0 | 0 |-4.730000e+02 |-9.800000e+01 | 382.65%
2.89/2.95 c 3.0s| 1 | 0 | 3009 | - | 36M| 0 | 944 |1000 | 15k|1000 | 15k| 98 | 0 | 0 |-4.705000e+02 |-9.800000e+01 | 380.10%
3.39/3.42 c 3.4s| 1 | 0 | 3517 | - | 37M| 0 | 937 |1000 | 15k|1000 | 15k| 112 | 0 | 0 |-4.675000e+02 |-9.800000e+01 | 377.04%
3.89/3.95 c 4.0s| 1 | 0 | 4180 | - | 37M| 0 | 937 |1000 | 15k|1000 | 15k| 126 | 0 | 0 |-4.647500e+02 |-9.800000e+01 | 374.23%
4.29/4.40 c 4.4s| 1 | 0 | 4704 | - | 38M| 0 | 927 |1000 | 15k|1000 | 15k| 140 | 0 | 0 |-4.617500e+02 |-9.800000e+01 | 371.17%
5.19/5.22 c 5.2s| 1 | 0 | 6308 | - | 38M| 0 | 916 |1000 | 15k|1000 |1707 | 154 | 0 | 0 |-4.580000e+02 |-9.800000e+01 | 367.35%
5.29/5.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.39 c 5.4s| 1 | 0 | 6806 | - | 38M| 0 | 904 |1000 | 15k|1000 |1717 | 164 | 0 | 0 |-4.570000e+02 |-9.800000e+01 | 366.33%
5.49/5.57 c 5.6s| 1 | 0 | 7185 | - | 38M| 0 | 907 |1000 | 15k|1000 |1867 | 314 | 0 | 0 |-4.563750e+02 |-9.800000e+01 | 365.69%
5.79/5.81 c 5.8s| 1 | 0 | 8185 | - | 39M| 0 | 895 |1000 | 15k|1000 |2178 | 625 | 0 | 0 |-4.545000e+02 |-9.800000e+01 | 363.78%
5.99/6.07 c 6.1s| 1 | 0 | 9123 | - | 39M| 0 | 905 |1000 | 15k|1000 |2374 | 821 | 0 | 0 |-4.540000e+02 |-9.800000e+01 | 363.27%
6.19/6.24 c 6.2s| 1 | 0 | 9521 | - | 39M| 0 | 893 |1000 | 15k|1000 |2441 | 888 | 0 | 0 |-4.525000e+02 |-9.800000e+01 | 361.73%
6.49/6.52 c 6.5s| 1 | 0 | 10677 | - | 39M| 0 | 902 |1000 | 15k|1000 |2186 |1056 | 0 | 0 |-4.505000e+02 |-9.800000e+01 | 359.69%
6.69/6.72 c 6.7s| 1 | 0 | 11289 | - | 39M| 0 | 923 |1000 | 15k|1000 |2251 |1121 | 0 | 0 |-4.490000e+02 |-9.800000e+01 | 358.16%
7.08/7.11 c 7.1s| 1 | 0 | 12459 | - | 41M| 0 | 924 |1000 | 15k|1000 |3159 |2029 | 0 | 0 |-4.483125e+02 |-9.800000e+01 | 357.46%
7.38/7.43 c 7.4s| 1 | 0 | 13163 | - | 42M| 0 | 891 |1000 | 15k|1000 |3567 |2437 | 0 | 0 |-4.475000e+02 |-9.800000e+01 | 356.63%
7.48/7.57 c 7.6s| 1 | 0 | 13492 | - | 42M| 0 | 891 |1000 | 15k|1000 |3615 |2485 | 0 | 0 |-4.465000e+02 |-9.800000e+01 | 355.61%
7.70/7.75 c 7.8s| 1 | 0 | 14126 | - | 42M| 0 | 882 |1000 | 15k|1000 |3648 |2518 | 0 | 0 |-4.450000e+02 |-9.800000e+01 | 354.08%
7.99/8.04 c 8.0s| 1 | 0 | 15553 | - | 42M| 0 | 884 |1000 | 15k|1000 |3274 |2618 | 0 | 0 |-4.440000e+02 |-9.800000e+01 | 353.06%
8.09/8.15 c 8.2s| 1 | 0 | 15729 | - | 42M| 0 | 887 |1000 | 15k|1000 |3322 |2666 | 0 | 0 |-4.435000e+02 |-9.800000e+01 | 352.55%
8.19/8.26 c 8.3s| 1 | 0 | 15980 | - | 42M| 0 | 901 |1000 | 15k|1000 |3328 |2672 | 0 | 0 |-4.430000e+02 |-9.800000e+01 | 352.04%
8.39/8.45 c 8.4s| 1 | 0 | 16643 | - | 42M| 0 | 879 |1000 | 15k|1000 |3437 |2781 | 0 | 0 |-4.415000e+02 |-9.800000e+01 | 350.51%
8.59/8.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.59/8.69 c 8.7s| 1 | 0 | 17863 | - | 42M| 0 | 902 |1000 | 15k|1000 |3488 |2832 | 0 | 0 |-4.406667e+02 |-9.800000e+01 | 349.66%
8.98/9.03 c 9.0s| 1 | 0 | 19233 | - | 42M| 0 | 880 |1000 | 15k|1000 |3855 |3199 | 0 | 0 |-4.392500e+02 |-9.800000e+01 | 348.21%
9.18/9.26 c 9.3s| 1 | 0 | 20202 | - | 42M| 0 | 905 |1000 | 15k|1000 |2303 |3219 | 0 | 0 |-4.378125e+02 |-9.800000e+01 | 346.75%
9.39/9.45 c 9.5s| 1 | 0 | 21000 | - | 42M| 0 | 892 |1000 | 15k|1000 |2550 |3466 | 0 | 0 |-4.357000e+02 |-9.800000e+01 | 344.59%
9.69/9.78 c 9.8s| 1 | 0 | 22673 | - | 42M| 0 | 857 |1000 | 15k|1000 |2865 |3781 | 0 | 0 |-4.325000e+02 |-9.800000e+01 | 341.33%
9.79/9.88 c 9.9s| 1 | 0 | 22868 | - | 42M| 0 | 862 |1000 | 15k|1000 |2958 |3874 | 0 | 0 |-4.320000e+02 |-9.800000e+01 | 340.82%
9.99/10.03 c 10.0s| 1 | 0 | 23427 | - | 42M| 0 | 857 |1000 | 15k|1000 |2988 |3904 | 0 | 0 |-4.305000e+02 |-9.800000e+01 | 339.29%
10.09/10.15 c 10.1s| 1 | 0 | 23697 | - | 42M| 0 | 857 |1000 | 15k|1000 |3048 |3964 | 0 | 0 |-4.305000e+02 |-9.800000e+01 | 339.29%
10.29/10.38 c 10.4s| 1 | 0 | 24907 | - | 43M| 0 | 856 |1000 | 15k|1000 |2445 |4027 | 0 | 0 |-4.290000e+02 |-9.800000e+01 | 337.76%
10.49/10.52 c 10.5s| 1 | 0 | 25340 | - | 43M| 0 | 861 |1000 | 15k|1000 |2482 |4064 | 0 | 0 |-4.285000e+02 |-9.800000e+01 | 337.24%
10.69/10.78 c 10.8s| 1 | 0 | 27060 | - | 43M| 0 | 843 |1000 | 15k|1000 |2608 |4190 | 0 | 0 |-4.265000e+02 |-9.800000e+01 | 335.20%
10.99/11.02 c 11.0s| 1 | 0 | 28446 | - | 43M| 0 | 868 |1000 | 15k|1000 |2732 |4314 | 0 | 0 |-4.256667e+02 |-9.800000e+01 | 334.35%
11.08/11.19 c 11.2s| 1 | 0 | 29047 | - | 43M| 0 | 857 |1000 | 15k|1000 |3104 |4686 | 0 | 0 |-4.236667e+02 |-9.800000e+01 | 332.31%
11.18/11.27 c 11.3s| 1 | 0 | 29065 | - | 43M| 0 | 853 |1000 | 15k|1000 |3132 |4714 | 0 | 0 |-4.236667e+02 |-9.800000e+01 | 332.31%
11.28/11.37 c 11.4s| 1 | 0 | 29247 | - | 43M| 0 | 855 |1000 | 15k|1000 |2033 |4756 | 0 | 0 |-4.231667e+02 |-9.800000e+01 | 331.80%
11.38/11.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.38/11.45 c 11.5s| 1 | 0 | 29310 | - | 43M| 0 | 852 |1000 | 15k|1000 |2079 |4802 | 0 | 0 |-4.226667e+02 |-9.800000e+01 | 331.29%
11.48/11.57 c 11.6s| 1 | 0 | 29662 | - | 43M| 0 | 844 |1000 | 15k|1000 |2137 |4860 | 0 | 0 |-4.211667e+02 |-9.800000e+01 | 329.76%
11.58/11.66 c 11.7s| 1 | 0 | 29771 | - | 43M| 0 | 848 |1000 | 15k|1000 |2309 |5032 | 0 | 0 |-4.201667e+02 |-9.800000e+01 | 328.74%
11.68/11.75 c 11.8s| 1 | 0 | 29960 | - | 43M| 0 | 851 |1000 | 15k|1000 |2359 |5082 | 0 | 0 |-4.191667e+02 |-9.800000e+01 | 327.72%
11.78/11.87 c 11.9s| 1 | 0 | 30303 | - | 43M| 0 | 843 |1000 | 15k|1000 |2469 |5192 | 0 | 0 |-4.176667e+02 |-9.800000e+01 | 326.19%
11.89/11.99 c 12.0s| 1 | 0 | 30697 | - | 43M| 0 | 845 |1000 | 15k|1000 |2098 |5240 | 0 | 0 |-4.166667e+02 |-9.800000e+01 | 325.17%
12.10/12.17 c 12.2s| 1 | 0 | 31434 | - | 43M| 0 | 885 |1000 | 15k|1000 |2244 |5386 | 0 | 0 |-4.162500e+02 |-9.800000e+01 | 324.74%
12.39/12.48 c 12.5s| 1 | 0 | 31629 | - | 44M| 0 | 841 |1000 | 15k|1000 |4233 |7375 | 0 | 0 |-4.161667e+02 |-9.800000e+01 | 324.66%
12.49/12.57 c 12.6s| 1 | 0 | 31750 | - | 44M| 0 | 856 |1000 | 15k|1000 |4259 |7401 | 0 | 0 |-4.161667e+02 |-9.800000e+01 | 324.66%
12.69/12.71 c 12.7s| 1 | 0 | 32175 | - | 44M| 0 | 853 |1000 | 15k|1000 |4266 |7408 | 0 | 0 |-4.146667e+02 |-9.800000e+01 | 323.13%
12.79/12.82 c 12.8s| 1 | 0 | 32370 | - | 44M| 0 | 841 |1000 | 15k|1000 |4315 |7457 | 0 | 0 |-4.141667e+02 |-9.800000e+01 | 322.62%
12.89/12.92 c 12.9s| 1 | 0 | 32491 | - | 44M| 0 | 839 |1000 | 15k|1000 |3718 |7463 | 0 | 0 |-4.136667e+02 |-9.800000e+01 | 322.11%
12.99/13.01 c 13.0s| 1 | 0 | 32637 | - | 44M| 0 | 830 |1000 | 15k|1000 |3723 |7468 | 0 | 0 |-4.131667e+02 |-9.800000e+01 | 321.60%
13.19/13.21 c 13.2s| 1 | 0 | 33359 | - | 44M| 0 | 836 |1000 | 15k|1000 |3798 |7543 | 0 | 0 |-4.126667e+02 |-9.800000e+01 | 321.09%
13.19/13.28 c 13.3s| 1 | 0 | 33381 | - | 44M| 0 | 836 |1000 | 15k|1000 |3804 |7549 | 0 | 0 |-4.126667e+02 |-9.800000e+01 | 321.09%
13.29/13.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.29/13.39 c 13.4s| 1 | 0 | 33628 | - | 44M| 0 | 833 |1000 | 15k|1000 |3810 |7555 | 0 | 0 |-4.121667e+02 |-9.800000e+01 | 320.58%
13.48/13.57 c 13.6s| 1 | 0 | 34217 | - | 44M| 0 | 816 |1000 | 15k|1000 |3949 |7694 | 0 | 0 |-4.111667e+02 |-9.800000e+01 | 319.56%
13.58/13.68 c 13.7s| 1 | 0 | 34469 | - | 44M| 0 | 830 |1000 | 15k|1000 |2609 |7889 | 0 | 0 |-4.106667e+02 |-9.800000e+01 | 319.05%
13.68/13.77 c 13.8s| 1 | 0 | 34611 | - | 44M| 0 | 839 |1000 | 15k|1000 |2615 |7895 | 0 | 0 |-4.104167e+02 |-9.800000e+01 | 318.79%
13.89/13.90 c 13.9s| 1 | 0 | 35058 | - | 44M| 0 | 815 |1000 | 15k|1000 |2624 |7904 | 0 | 0 |-4.096667e+02 |-9.800000e+01 | 318.03%
13.99/14.05 c 14.1s| 1 | 0 | 35653 | - | 44M| 0 | 832 |1000 | 15k|1000 |2749 |8029 | 0 | 0 |-4.089167e+02 |-9.800000e+01 | 317.26%
14.09/14.19 c 14.2s| 1 | 0 | 36078 | - | 44M| 0 | 826 |1000 | 15k|1000 |2900 |8180 | 0 | 0 |-4.081667e+02 |-9.800000e+01 | 316.50%
14.19/14.26 c 14.3s| 1 | 0 | 36132 | - | 44M| 0 | 825 |1000 | 15k|1000 |2906 |8186 | 0 | 0 |-4.081667e+02 |-9.800000e+01 | 316.50%
14.39/14.40 c 14.4s| 1 | 0 | 36556 | - | 44M| 0 | 830 |1000 | 15k|1000 |2649 |8216 | 0 | 0 |-4.071667e+02 |-9.800000e+01 | 315.48%
14.58/14.60 c 14.6s| 1 | 0 | 37626 | - | 44M| 0 | 798 |1000 | 15k|1000 |2679 |8246 | 0 | 0 |-4.060000e+02 |-9.800000e+01 | 314.29%
14.68/14.76 c 14.8s| 1 | 0 | 38321 | - | 44M| 0 | 818 |1000 | 15k|1000 |2850 |8417 | 0 | 0 |-4.055000e+02 |-9.800000e+01 | 313.78%
14.99/15.01 c 15.0s| 1 | 0 | 39904 | - | 44M| 0 | 840 |1000 | 15k|1000 |2950 |8517 | 0 | 0 |-4.047500e+02 |-9.800000e+01 | 313.01%
15.29/15.30 c 15.3s| 1 | 0 | 41803 | - | 45M| 0 | 811 |1000 | 15k|1000 |3193 |8760 | 0 | 0 |-4.040000e+02 |-9.800000e+01 | 312.24%
15.58/15.69 c 15.7s| 1 | 0 | 44392 | - | 45M| 0 | 815 |1000 | 15k|1000 |3266 |8833 | 0 | 0 |-4.032500e+02 |-9.800000e+01 | 311.48%
15.99/16.02 c 16.0s| 1 | 0 | 46357 | - | 45M| 0 | 899 |1000 | 15k|1000 |2948 |8873 | 0 | 0 |-4.022555e+02 |-9.800000e+01 | 310.46%
16.69/16.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.69/16.74 c 16.7s| 1 | 0 | 46786 | - | 46M| 0 | 801 |1000 | 15k|1000 |4948 | 10k| 0 | 0 |-4.015000e+02 |-9.800000e+01 | 309.69%
16.89/16.95 c 16.9s| 1 | 0 | 47620 | - | 46M| 0 | 818 |1000 | 15k|1000 |4979 | 10k| 0 | 0 |-4.005000e+02 |-9.800000e+01 | 308.67%
16.98/17.07 c 17.1s| 1 | 0 | 47831 | - | 46M| 0 | 820 |1000 | 15k|1000 |5018 | 10k| 0 | 0 |-4.000000e+02 |-9.800000e+01 | 308.16%
17.08/17.14 c 17.1s| 1 | 0 | 47846 | - | 46M| 0 | 820 |1000 | 15k|1000 |5024 | 10k| 0 | 0 |-4.000000e+02 |-9.800000e+01 | 308.16%
17.18/17.26 c 17.3s| 1 | 0 | 48105 | - | 46M| 0 | 803 |1000 | 15k|1000 |5029 | 10k| 0 | 0 |-3.995000e+02 |-9.800000e+01 | 307.65%
17.28/17.37 c 17.4s| 1 | 0 | 48286 | - | 46M| 0 | 801 |1000 | 15k|1000 |4617 | 10k| 0 | 0 |-3.990000e+02 |-9.800000e+01 | 307.14%
17.49/17.53 c 17.5s| 1 | 0 | 48800 | - | 46M| 0 | 808 |1000 | 15k|1000 |4645 | 10k| 0 | 0 |-3.983333e+02 |-9.800000e+01 | 306.46%
17.59/17.65 c 17.7s| 1 | 0 | 49076 | - | 46M| 0 | 800 |1000 | 15k|1000 |4652 | 10k| 0 | 0 |-3.982500e+02 |-9.800000e+01 | 306.38%
17.88/17.96 c 18.0s| 1 | 0 | 50182 | - | 46M| 0 | 798 |1000 | 15k|1000 |4705 | 11k| 0 | 0 |-3.967500e+02 |-9.800000e+01 | 304.85%
17.98/18.07 c 18.1s| 1 | 0 | 50416 | - | 46M| 0 | 790 |1000 | 15k|1000 |4732 | 11k| 0 | 0 |-3.960000e+02 |-9.800000e+01 | 304.08%
18.08/18.17 c 18.2s| 1 | 0 | 50553 | - | 46M| 0 | 787 |1000 | 15k|1000 |4762 | 11k| 0 | 0 |-3.955000e+02 |-9.800000e+01 | 303.57%
18.18/18.29 c 18.3s| 1 | 0 | 50780 | - | 46M| 0 | 813 |1000 | 15k|1000 |3273 | 11k| 0 | 0 |-3.950000e+02 |-9.800000e+01 | 303.06%
18.38/18.41 c 18.4s| 1 | 0 | 51063 | - | 46M| 0 | 802 |1000 | 15k|1000 |3281 | 11k| 0 | 0 |-3.950000e+02 |-9.800000e+01 | 303.06%
18.59/18.63 c 18.6s| 1 | 0 | 52146 | - | 46M| 0 | 781 |1000 | 15k|1000 |3320 | 11k| 0 | 0 |-3.935000e+02 |-9.800000e+01 | 301.53%
18.79/18.87 c 18.9s| 1 | 0 | 53238 | - | 46M| 0 | 803 |1000 | 15k|1000 |3396 | 11k| 0 | 0 |-3.925000e+02 |-9.800000e+01 | 300.51%
18.98/19.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.98/19.07 c 19.1s| 1 | 0 | 53994 | - | 46M| 0 | 809 |1000 | 15k|1000 |3445 | 11k| 0 | 0 |-3.912500e+02 |-9.800000e+01 | 299.23%
19.18/19.23 c 19.2s| 1 | 0 | 54565 | - | 46M| 0 | 825 |1000 | 15k|1000 |3571 | 11k| 0 | 0 |-3.907500e+02 |-9.800000e+01 | 298.72%
19.29/19.38 c 19.4s| 1 | 0 | 55094 | - | 46M| 0 | 814 |1000 | 15k|1000 |3484 | 11k| 0 | 0 |-3.902500e+02 |-9.800000e+01 | 298.21%
19.49/19.53 c 19.5s| 1 | 0 | 55671 | - | 46M| 0 | 773 |1000 | 15k|1000 |3525 | 11k| 0 | 0 |-3.895000e+02 |-9.800000e+01 | 297.45%
19.69/19.71 c 19.7s| 1 | 0 | 56336 | - | 46M| 0 | 816 |1000 | 15k|1000 |3596 | 11k| 0 | 0 |-3.880000e+02 |-9.800000e+01 | 295.92%
19.99/20.00 c 20.0s| 1 | 0 | 57974 | - | 46M| 0 | 831 |1000 | 15k|1000 |3718 | 11k| 0 | 0 |-3.870000e+02 |-9.800000e+01 | 294.90%
20.38/20.45 c 20.5s| 1 | 0 | 60978 | - | 46M| 0 | 869 |1000 | 15k|1000 |3818 | 11k| 0 | 0 |-3.853750e+02 |-9.800000e+01 | 293.24%
20.68/20.74 c 20.7s| 1 | 0 | 62334 | - | 46M| 0 | 862 |1000 | 15k|1000 |3992 | 11k| 0 | 0 |-3.850625e+02 |-9.800000e+01 | 292.92%
20.98/21.03 c 21.0s| 1 | 0 | 63435 | - | 46M| 0 | 832 |1000 | 15k|1000 |3877 | 12k| 0 | 0 |-3.840000e+02 |-9.800000e+01 | 291.84%
21.18/21.24 c 21.2s| 1 | 0 | 64335 | - | 46M| 0 | 845 |1000 | 15k|1000 |3896 | 12k| 0 | 0 |-3.835000e+02 |-9.800000e+01 | 291.33%
21.38/21.44 c 21.4s| 1 | 0 | 65061 | - | 46M| 0 | 875 |1000 | 15k|1000 |3951 | 12k| 0 | 0 |-3.829545e+02 |-9.800000e+01 | 290.77%
21.69/21.75 c 21.8s| 1 | 0 | 66611 | - | 46M| 0 | 852 |1000 | 15k|1000 |4209 | 12k| 0 | 0 |-3.823750e+02 |-9.800000e+01 | 290.18%
21.99/22.03 c 22.0s| 1 | 0 | 67616 | - | 46M| 0 | 873 |1000 | 15k|1000 |4289 | 12k| 0 | 0 |-3.820000e+02 |-9.800000e+01 | 289.80%
22.38/22.49 c 22.5s| 1 | 0 | 69822 | - | 46M| 0 | 898 |1000 | 15k|1000 |4360 | 12k| 0 | 0 |-3.814231e+02 |-9.800000e+01 | 289.21%
22.78/22.82 c 22.8s| 1 | 0 | 71025 | - | 46M| 0 | 900 |1000 | 15k|1000 |4082 | 12k| 0 | 0 |-3.805179e+02 |-9.800000e+01 | 288.28%
23.18/23.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.18/23.20 c 23.2s| 1 | 0 | 72536 | - | 46M| 0 | 875 |1000 | 15k|1000 |4174 | 12k| 0 | 0 |-3.793529e+02 |-9.800000e+01 | 287.09%
23.39/23.49 c 23.5s| 1 | 0 | 73608 | - | 46M| 0 | 904 |1000 | 15k|1000 |4282 | 12k| 0 | 0 |-3.782893e+02 |-9.800000e+01 | 286.01%
23.79/23.86 c 23.9s| 1 | 0 | 75012 | - | 46M| 0 | 924 |1000 | 15k|1000 |4356 | 12k| 0 | 0 |-3.775000e+02 |-9.800000e+01 | 285.20%
24.49/24.53 c 24.5s| 1 | 0 | 78499 | - | 46M| 0 | 893 |1000 | 15k|1000 |4581 | 13k| 0 | 0 |-3.767500e+02 |-9.800000e+01 | 284.44%
24.69/24.72 c 24.7s| 1 | 0 | 79007 | - | 46M| 0 | 898 |1000 | 15k|1000 |4612 | 13k| 0 | 0 |-3.759152e+02 |-9.800000e+01 | 283.59%
24.99/25.07 c 25.1s| 1 | 0 | 80259 | - | 46M| 0 | 886 |1000 | 15k|1000 |4293 | 13k| 0 | 0 |-3.749577e+02 |-9.800000e+01 | 282.61%
25.29/25.38 c 25.4s| 1 | 0 | 81353 | - | 45M| 0 | 910 |1000 | 15k|1000 |4338 | 13k| 0 | 0 |-3.740769e+02 |-9.800000e+01 | 281.71%
25.88/25.94 c 25.9s| 1 | 0 | 83674 | - | 45M| 0 | 893 |1000 | 15k|1000 |4391 | 13k| 0 | 0 |-3.730926e+02 |-9.800000e+01 | 280.71%
26.59/26.63 c 26.6s| 1 | 0 | 86555 | - | 45M| 0 | 914 |1000 | 15k|1000 |4438 | 13k| 0 | 0 |-3.721142e+02 |-9.800000e+01 | 279.71%
26.79/26.86 c 26.9s| 1 | 0 | 87212 | - | 44M| 0 | 901 |1000 | 15k|1000 |4606 | 13k| 0 | 0 |-3.714916e+02 |-9.800000e+01 | 279.07%
27.08/27.18 c 27.2s| 1 | 0 | 88335 | - | 44M| 0 | 910 |1000 | 15k|1000 |4647 | 13k| 0 | 0 |-3.711871e+02 |-9.800000e+01 | 278.76%
27.89/27.92 c 27.9s| 1 | 0 | 91319 | - | 44M| 0 | 916 |1000 | 15k|1000 |4307 | 13k| 0 | 0 |-3.699112e+02 |-9.800000e+01 | 277.46%
28.28/28.35 c 28.4s| 1 | 0 | 92898 | - | 44M| 0 | 905 |1000 | 15k|1000 |4354 | 13k| 0 | 0 |-3.682733e+02 |-9.800000e+01 | 275.79%
28.59/28.67 c 28.7s| 1 | 0 | 94007 | - | 44M| 0 | 922 |1000 | 15k|1000 |4421 | 13k| 0 | 0 |-3.676769e+02 |-9.800000e+01 | 275.18%
29.09/29.20 c 29.2s| 1 | 0 | 96186 | - | 44M| 0 | 914 |1000 | 15k|1000 |4508 | 13k| 0 | 0 |-3.671473e+02 |-9.800000e+01 | 274.64%
29.78/29.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.78/29.87 c 29.9s| 1 | 0 | 98897 | - | 44M| 0 | 909 |1000 | 15k|1000 |4635 | 13k| 0 | 0 |-3.662736e+02 |-9.800000e+01 | 273.75%
30.18/30.25 c 30.2s| 1 | 0 |100217 | - | 44M| 0 | 926 |1000 | 15k|1000 |4662 | 14k| 0 | 0 |-3.655395e+02 |-9.800000e+01 | 273.00%
30.58/30.66 c 30.7s| 1 | 0 |101609 | - | 44M| 0 | 909 |1000 | 15k|1000 |4540 | 14k| 0 | 0 |-3.652114e+02 |-9.800000e+01 | 272.66%
31.39/31.43 c 31.4s| 1 | 0 |104429 | - | 42M| 0 | 932 |1000 | 15k|1000 |4592 | 14k| 0 | 0 |-3.646155e+02 |-9.800000e+01 | 272.06%
32.09/32.15 c 32.1s| 1 | 0 |107029 | - | 42M| 0 | 945 |1000 | 15k|1000 |4641 | 14k| 0 | 0 |-3.637275e+02 |-9.800000e+01 | 271.15%
32.69/32.72 c 32.7s| 1 | 0 |109048 | - | 42M| 0 | 942 |1000 | 15k|1000 |4665 | 14k| 0 | 0 |-3.626276e+02 |-9.800000e+01 | 270.03%
33.28/33.34 c 33.3s| 1 | 0 |111379 | - | 42M| 0 | 941 |1000 | 15k|1000 |4720 | 14k| 0 | 0 |-3.618710e+02 |-9.800000e+01 | 269.26%
33.78/33.83 c 33.8s| 1 | 0 |113124 | - | 42M| 0 | 945 |1000 | 15k|1000 |4829 | 14k| 0 | 0 |-3.613792e+02 |-9.800000e+01 | 268.75%
34.38/34.46 c 34.5s| 1 | 0 |115261 | - | 42M| 0 | 951 |1000 | 15k|1000 |4714 | 14k| 0 | 0 |-3.604461e+02 |-9.800000e+01 | 267.80%
34.78/34.86 c 34.9s| 1 | 0 |116499 | - | 42M| 0 | 952 |1000 | 15k|1000 |4761 | 14k| 0 | 0 |-3.600101e+02 |-9.800000e+01 | 267.36%
35.88/35.98 c 36.0s| 1 | 0 |120671 | - | 42M| 0 | 960 |1000 | 15k|1000 |4820 | 14k| 0 | 0 |-3.590078e+02 |-9.800000e+01 | 266.33%
36.69/36.72 c 36.7s| 1 | 0 |123135 | - | 42M| 0 | 956 |1000 | 15k|1000 |4857 | 14k| 0 | 0 |-3.582404e+02 |-9.800000e+01 | 265.55%
37.88/37.95 c 37.9s| 1 | 0 |127399 | - | 42M| 0 | 956 |1000 | 15k|1000 |4946 | 14k| 0 | 0 |-3.571557e+02 |-9.800000e+01 | 264.44%
38.69/38.72 c 38.7s| 1 | 0 |130001 | - | 41M| 0 | 953 |1000 | 15k|1000 |4973 | 14k| 0 | 0 |-3.563730e+02 |-9.800000e+01 | 263.65%
39.59/39.62 c 39.6s| 1 | 0 |133063 | - | 41M| 0 | 959 |1000 | 15k|1000 |4883 | 14k| 0 | 0 |-3.552766e+02 |-9.800000e+01 | 262.53%
40.28/40.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.28/40.30 c 40.3s| 1 | 0 |135376 | - | 42M| 0 | 969 |1000 | 15k|1000 |4979 | 14k| 0 | 0 |-3.546500e+02 |-9.800000e+01 | 261.89%
40.89/40.93 c 40.9s| 1 | 0 |137455 | - | 42M| 0 | 959 |1000 | 15k|1000 |5094 | 14k| 0 | 0 |-3.538723e+02 |-9.800000e+01 | 261.09%
41.48/41.58 c 41.6s| 1 | 0 |139558 | - | 42M| 0 | 972 |1000 | 15k|1000 |5136 | 15k| 0 | 0 |-3.533283e+02 |-9.800000e+01 | 260.54%
42.38/42.43 c 42.4s| 1 | 0 |142507 | - | 42M| 0 | 964 |1000 | 15k|1000 |5176 | 15k| 0 | 0 |-3.521815e+02 |-9.800000e+01 | 259.37%
43.29/43.38 c 43.4s| 1 | 0 |145554 | - | 41M| 0 | 976 |1000 | 15k|1000 |5265 | 15k| 0 | 0 |-3.509370e+02 |-9.800000e+01 | 258.10%
44.18/44.21 c 44.2s| 1 | 0 |148372 | - | 41M| 0 | 971 |1000 | 15k|1000 |5173 | 15k| 0 | 0 |-3.494068e+02 |-9.800000e+01 | 256.54%
44.89/44.96 c 45.0s| 1 | 0 |150940 | - | 41M| 0 | 971 |1000 | 15k|1000 |5225 | 15k| 0 | 0 |-3.487239e+02 |-9.800000e+01 | 255.84%
45.78/45.81 c 45.8s| 1 | 0 |153696 | - | 41M| 0 | 975 |1000 | 15k|1000 |5292 | 15k| 0 | 0 |-3.475287e+02 |-9.800000e+01 | 254.62%
46.19/46.28 c 46.3s| 1 | 0 |155067 | - | 41M| 0 | 975 |1000 | 15k|1000 |5317 | 15k| 0 | 0 |-3.467979e+02 |-9.800000e+01 | 253.88%
47.19/47.28 c 47.3s| 1 | 0 |158305 | - | 41M| 0 | 977 |1000 | 15k|1000 |5349 | 15k| 0 | 0 |-3.457073e+02 |-9.800000e+01 | 252.76%
47.88/47.95 c 47.9s| 1 | 0 |160394 | - | 41M| 0 | 978 |1000 | 15k|1000 |5406 | 15k| 0 | 0 |-3.446835e+02 |-9.800000e+01 | 251.72%
48.49/48.59 c 48.6s| 1 | 0 |162376 | - | 41M| 0 | 980 |1000 | 15k|1000 |5271 | 15k| 0 | 0 |-3.442500e+02 |-9.800000e+01 | 251.28%
49.38/49.49 c 49.5s| 1 | 0 |165214 | - | 41M| 0 | 982 |1000 | 15k|1000 |5308 | 15k| 0 | 0 |-3.431583e+02 |-9.800000e+01 | 250.16%
49.98/50.02 c 50.0s| 1 | 0 |166954 | - | 41M| 0 | 985 |1000 | 15k|1000 |5395 | 15k| 0 | 0 |-3.427490e+02 |-9.800000e+01 | 249.74%
50.68/50.72 c 50.7s| 1 | 0 |169382 | - | 41M| 0 | 986 |1000 | 15k|1000 |5462 | 15k| 0 | 0 |-3.419582e+02 |-9.800000e+01 | 248.94%
51.58/51.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.58/51.69 c 51.7s| 1 | 0 |172619 | - | 41M| 0 | 987 |1000 | 15k|1000 |5523 | 15k| 0 | 0 |-3.412999e+02 |-9.800000e+01 | 248.27%
52.08/52.14 c 52.1s| 1 | 0 |173998 | - | 41M| 0 | 989 |1000 | 15k|1000 |5564 | 15k| 0 | 0 |-3.409419e+02 |-9.800000e+01 | 247.90%
52.58/52.70 c 52.7s| 1 | 0 |175703 | - | 41M| 0 | 989 |1000 | 15k|1000 |5443 | 15k| 0 | 0 |-3.404964e+02 |-9.800000e+01 | 247.45%
53.08/53.15 c 53.2s| 1 | 0 |176965 | - | 41M| 0 | 990 |1000 | 15k|1000 |5461 | 15k| 0 | 0 |-3.401926e+02 |-9.800000e+01 | 247.14%
53.79/53.84 c 53.8s| 1 | 0 |179084 | - | 41M| 0 | 993 |1000 | 15k|1000 |5479 | 15k| 0 | 0 |-3.398054e+02 |-9.800000e+01 | 246.74%
54.48/54.55 c 54.6s| 1 | 0 |181063 | - | 41M| 0 | 993 |1000 | 15k|1000 |5511 | 15k| 0 | 0 |-3.394193e+02 |-9.800000e+01 | 246.35%
55.18/55.23 c 55.2s| 1 | 0 |183010 | - | 41M| 0 | 988 |1000 | 15k|1000 |5527 | 15k| 0 | 0 |-3.389499e+02 |-9.800000e+01 | 245.87%
55.88/55.94 c 55.9s| 1 | 0 |185058 | - | 41M| 0 | 987 |1000 | 15k|1000 |5547 | 15k| 0 | 0 |-3.383220e+02 |-9.800000e+01 | 245.23%
56.88/56.96 c 57.0s| 1 | 0 |188125 | - | 41M| 0 | 992 |1000 | 15k|1000 |5523 | 15k| 0 | 0 |-3.372939e+02 |-9.800000e+01 | 244.18%
57.78/57.81 c 57.8s| 1 | 0 |190561 | - | 41M| 0 | 994 |1000 | 15k|1000 |5569 | 16k| 0 | 0 |-3.367308e+02 |-9.800000e+01 | 243.60%
58.58/58.64 c 58.6s| 1 | 0 |192906 | - | 41M| 0 | 991 |1000 | 15k|1000 |5601 | 16k| 0 | 0 |-3.359540e+02 |-9.800000e+01 | 242.81%
59.48/59.52 c 59.5s| 1 | 0 |195504 | - | 41M| 0 | 992 |1000 | 15k|1000 |5639 | 16k| 0 | 0 |-3.351805e+02 |-9.800000e+01 | 242.02%
60.18/60.21 c 60.2s| 1 | 0 |197658 | - | 41M| 0 | 992 |1000 | 15k|1000 |5670 | 16k| 0 | 0 |-3.347375e+02 |-9.800000e+01 | 241.57%
60.97/61.03 c 61.0s| 1 | 0 |200245 | - | 41M| 0 | 992 |1000 | 15k|1000 |5719 | 16k| 0 | 0 |-3.342579e+02 |-9.800000e+01 | 241.08%
61.88/61.94 c 61.9s| 1 | 0 |203033 | - | 41M| 0 | 994 |1000 | 15k|1000 |5594 | 16k| 0 | 0 |-3.339345e+02 |-9.800000e+01 | 240.75%
62.38/62.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.38/62.48 c 62.5s| 1 | 0 |204458 | - | 41M| 0 | 992 |1000 | 15k|1000 |5614 | 16k| 0 | 0 |-3.334980e+02 |-9.800000e+01 | 240.30%
62.98/63.05 c 63.1s| 1 | 0 |206033 | - | 41M| 0 | 993 |1000 | 15k|1000 |5640 | 16k| 0 | 0 |-3.332463e+02 |-9.800000e+01 | 240.05%
63.58/63.69 c 63.7s| 1 | 0 |207669 | - | 41M| 0 | 989 |1000 | 15k|1000 |5666 | 16k| 0 | 0 |-3.328659e+02 |-9.800000e+01 | 239.66%
64.67/64.71 c 64.7s| 1 | 0 |210575 | - | 41M| 0 | 992 |1000 | 15k|1000 |5695 | 16k| 0 | 0 |-3.322565e+02 |-9.800000e+01 | 239.04%
65.38/65.45 c 65.4s| 1 | 0 |212477 | - | 41M| 0 | 994 |1000 | 15k|1000 |5719 | 16k| 0 | 0 |-3.317319e+02 |-9.800000e+01 | 238.50%
66.18/66.28 c 66.3s| 1 | 0 |214701 | - | 41M| 0 | 993 |1000 | 15k|1000 |5665 | 16k| 0 | 0 |-3.312342e+02 |-9.800000e+01 | 237.99%
67.09/67.14 c 67.1s| 1 | 0 |217143 | - | 41M| 0 | 996 |1000 | 15k|1000 |5690 | 16k| 0 | 0 |-3.308744e+02 |-9.800000e+01 | 237.63%
68.08/68.15 c 68.1s| 1 | 0 |220113 | - | 41M| 0 | 997 |1000 | 15k|1000 |5715 | 16k| 0 | 0 |-3.302922e+02 |-9.800000e+01 | 237.03%
68.78/68.83 c 68.8s| 1 | 0 |221891 | - | 41M| 0 | 996 |1000 | 15k|1000 |5740 | 16k| 0 | 0 |-3.299218e+02 |-9.800000e+01 | 236.65%
69.18/69.22 c 69.2s| 1 | 0 |222772 | - | 41M| 0 | 996 |1000 | 15k|1000 |5756 | 16k| 0 | 0 |-3.297753e+02 |-9.800000e+01 | 236.51%
69.68/69.70 c 69.7s| 1 | 0 |223977 | - | 41M| 0 | 996 |1000 | 15k|1000 |5770 | 16k| 0 | 0 |-3.295286e+02 |-9.800000e+01 | 236.25%
70.68/70.77 c 70.8s| 1 | 0 |226909 | - | 40M| 0 | 996 |1000 | 15k|1000 |5719 | 16k| 0 | 0 |-3.289340e+02 |-9.800000e+01 | 235.65%
71.38/71.40 c 71.4s| 1 | 0 |228501 | - | 40M| 0 | 995 |1000 | 15k|1000 |5741 | 16k| 0 | 0 |-3.285435e+02 |-9.800000e+01 | 235.25%
72.08/72.10 c 72.1s| 1 | 0 |230307 | - | 40M| 0 | 997 |1000 | 15k|1000 |5758 | 16k| 0 | 0 |-3.281378e+02 |-9.800000e+01 | 234.83%
72.58/72.64 c 72.6s| 1 | 0 |231662 | - | 40M| 0 | 995 |1000 | 15k|1000 |5773 | 16k| 0 | 0 |-3.279109e+02 |-9.800000e+01 | 234.60%
72.98/73.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.98/73.01 c 73.0s| 1 | 0 |232440 | - | 40M| 0 | 996 |1000 | 15k|1000 |5793 | 16k| 0 | 0 |-3.277427e+02 |-9.800000e+01 | 234.43%
73.69/73.77 c 73.8s| 1 | 0 |234403 | - | 40M| 0 | 995 |1000 | 15k|1000 |5812 | 16k| 0 | 0 |-3.273556e+02 |-9.800000e+01 | 234.04%
74.68/74.78 c 74.8s| 1 | 0 |237165 | - | 40M| 0 | 996 |1000 | 15k|1000 |5772 | 16k| 0 | 0 |-3.267108e+02 |-9.800000e+01 | 233.38%
75.48/75.54 c 75.5s| 1 | 0 |239169 | - | 40M| 0 | 994 |1000 | 15k|1000 |5791 | 16k| 0 | 0 |-3.263575e+02 |-9.800000e+01 | 233.02%
75.98/76.03 c 76.0s| 1 | 0 |240336 | - | 40M| 0 | 993 |1000 | 15k|1000 |5809 | 16k| 0 | 0 |-3.261925e+02 |-9.800000e+01 | 232.85%
76.48/76.53 c 76.5s| 1 | 0 |241516 | - | 40M| 0 | 994 |1000 | 15k|1000 |5824 | 16k| 0 | 0 |-3.259965e+02 |-9.800000e+01 | 232.65%
76.98/77.04 c 77.0s| 1 | 0 |242748 | - | 40M| 0 | 996 |1000 | 15k|1000 |5842 | 16k| 0 | 0 |-3.257547e+02 |-9.800000e+01 | 232.40%
77.57/77.60 c 77.6s| 1 | 0 |244053 | - | 40M| 0 | 995 |1000 | 15k|1000 |5855 | 16k| 0 | 0 |-3.255591e+02 |-9.800000e+01 | 232.20%
78.18/78.28 c 78.3s| 1 | 0 |245687 | - | 40M| 0 | 998 |1000 | 15k|1000 |5816 | 16k| 0 | 0 |-3.251709e+02 |-9.800000e+01 | 231.81%
78.98/79.01 c 79.0s| 1 | 0 |247548 | - | 40M| 0 | 994 |1000 | 15k|1000 |5837 | 16k| 0 | 0 |-3.248398e+02 |-9.800000e+01 | 231.47%
79.28/79.31 c 79.3s| 1 | 0 |248106 | - | 40M| 0 | 995 |1000 | 15k|1000 |5849 | 16k| 0 | 0 |-3.247195e+02 |-9.800000e+01 | 231.35%
79.77/79.84 c 79.8s| 1 | 0 |249343 | - | 40M| 0 | 996 |1000 | 15k|1000 |5860 | 16k| 0 | 0 |-3.244858e+02 |-9.800000e+01 | 231.11%
80.47/80.57 c 80.6s| 1 | 0 |251164 | - | 40M| 0 | 996 |1000 | 15k|1000 |5874 | 16k| 0 | 0 |-3.241779e+02 |-9.800000e+01 | 230.79%
81.07/81.18 c 81.2s| 1 | 0 |252738 | - | 40M| 0 | 997 |1000 | 15k|1000 |5890 | 16k| 0 | 0 |-3.240338e+02 |-9.800000e+01 | 230.65%
81.58/81.62 c 81.6s| 1 | 0 |253696 | - | 40M| 0 | 998 |1000 | 15k|1000 |5857 | 16k| 0 | 0 |-3.238430e+02 |-9.800000e+01 | 230.45%
81.98/82.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.98/82.04 c 82.0s| 1 | 0 |254645 | - | 40M| 0 | 997 |1000 | 15k|1000 |5873 | 16k| 0 | 0 |-3.236986e+02 |-9.800000e+01 | 230.30%
82.38/82.49 c 82.5s| 1 | 0 |255807 | - | 40M| 0 | 997 |1000 | 15k|1000 |5890 | 16k| 0 | 0 |-3.235620e+02 |-9.800000e+01 | 230.17%
82.88/82.97 c 83.0s| 1 | 0 |257007 | - | 40M| 0 | 997 |1000 | 15k|1000 |5904 | 16k| 0 | 0 |-3.234464e+02 |-9.800000e+01 | 230.05%
83.38/83.40 c 83.4s| 1 | 0 |258161 | - | 40M| 0 | 996 |1000 | 15k|1000 |5916 | 16k| 0 | 0 |-3.232792e+02 |-9.800000e+01 | 229.88%
83.67/83.75 c 83.8s| 1 | 0 |258995 | - | 40M| 0 | 997 |1000 | 15k|1000 |5929 | 16k| 0 | 0 |-3.231878e+02 |-9.800000e+01 | 229.78%
84.08/84.15 c 84.2s| 1 | 0 |259898 | - | 40M| 0 | 997 |1000 | 15k|1000 |5883 | 16k| 0 | 0 |-3.230743e+02 |-9.800000e+01 | 229.67%
84.48/84.53 c 84.5s| 1 | 0 |260728 | - | 40M| 0 | 997 |1000 | 15k|1000 |5895 | 16k| 0 | 0 |-3.229671e+02 |-9.800000e+01 | 229.56%
84.88/84.93 c 84.9s| 1 | 0 |261655 | - | 40M| 0 | 998 |1000 | 15k|1000 |5908 | 16k| 0 | 0 |-3.229205e+02 |-9.800000e+01 | 229.51%
85.37/85.46 c 85.5s| 1 | 0 |263090 | - | 40M| 0 | 996 |1000 | 15k|1000 |5919 | 16k| 0 | 0 |-3.227891e+02 |-9.800000e+01 | 229.38%
85.68/85.78 c 85.8s| 1 | 0 |263786 | - | 40M| 0 | 997 |1000 | 15k|1000 |5928 | 16k| 0 | 0 |-3.227208e+02 |-9.800000e+01 | 229.31%
85.97/86.01 c 86.0s| 1 | 0 |264168 | - | 40M| 0 | 965 |1000 | 15k|1000 |5936 | 16k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 229.25%
86.08/86.12 c 86.1s| 1 | 0 |264172 | - | 39M| 0 | 967 |1000 | 15k|1000 |5890 | 16k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 229.25%
92.88/92.96 c 93.0s| 1 | 2 |264172 | - | 39M| 0 | 967 |1000 | 15k|1000 |5890 | 16k| 0 | 23 |-3.226667e+02 |-9.800000e+01 | 229.25%
169.04/169.13 c 169s| 100 | 101 |602478 |3417.2 | 40M| 37 | 407 |1000 | 15k|1000 |1143 | 17k| 0 | 642 |-3.223134e+02 |-9.800000e+01 | 228.89%
184.54/184.67 c 185s| 200 | 201 |699527 |2187.7 | 41M| 45 | 176 |1000 | 15k|1000 | 995 | 24k| 0 | 715 |-3.222537e+02 |-9.800000e+01 | 228.83%
192.74/192.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.74/192.84 c 193s| 300 | 301 |753711 |1637.3 | 42M| 48 | 52 |1000 | 15k|1000 | 995 | 34k| 0 | 809 |-3.220681e+02 |-9.800000e+01 | 228.64%
203.04/203.17 c 203s| 400 | 401 |820319 |1393.9 | 42M| 51 | 28 |1000 | 15k|1000 | 995 | 47k| 0 | 917 |-3.220681e+02 |-9.800000e+01 | 228.64%
210.73/210.87 c 211s| 500 | 501 |867577 |1209.2 | 43M| 51 | 317 |1000 | 15k|1000 |1146 | 57k| 0 | 988 |-3.220106e+02 |-9.800000e+01 | 228.58%
218.64/218.72 c 219s| 600 | 601 |918953 |1093.1 | 43M| 54 | 286 |1000 | 15k|1000 |1158 | 70k| 0 |1087 |-3.219170e+02 |-9.800000e+01 | 228.49%
227.74/227.81 c 228s| 700 | 701 |974848 |1016.7 | 44M| 54 | 308 |1000 | 15k|1000 |1148 | 79k| 0 |1189 |-3.216674e+02 |-9.800000e+01 | 228.23%
238.64/238.77 c 239s| 800 | 801 | 1042k| 973.9 | 45M| 54 | 411 |1000 | 15k|1000 |1794 | 90k| 0 |1289 |-3.215441e+02 |-9.800000e+01 | 228.11%
245.73/245.80 c 246s| 900 | 901 | 1085k| 914.1 | 45M| 54 | 11 |1000 | 15k|1000 | 995 | 99k| 0 |1379 |-3.215441e+02 |-9.800000e+01 | 228.11%
255.13/255.28 c 255s| 1000 | 1001 | 1143k| 880.5 | 46M| 54 | 141 |1000 | 15k|1000 | 995 | 110k| 0 |1507 |-3.214825e+02 |-9.800000e+01 | 228.04%
262.93/263.02 c 263s| 1100 | 1101 | 1193k| 845.4 | 46M| 54 | 65 |1000 | 15k|1000 | 995 | 119k| 0 |1599 |-3.211880e+02 |-9.800000e+01 | 227.74%
269.23/269.30 c 269s| 1200 | 1201 | 1239k| 813.8 | 47M| 56 | 379 |1000 | 15k|1000 |1142 | 130k| 0 |1663 |-3.209272e+02 |-9.800000e+01 | 227.48%
283.42/283.56 c 284s| 1300 | 1301 | 1319k| 812.6 | 47M| 56 | 126 |1000 | 15k|1000 | 995 | 140k| 0 |1740 |-3.207114e+02 |-9.800000e+01 | 227.26%
295.32/295.42 c 295s| 1400 | 1401 | 1392k| 806.7 | 48M| 56 | 309 |1000 | 15k|1000 |1151 | 151k| 0 |1806 |-3.205992e+02 |-9.800000e+01 | 227.14%
305.32/305.45 c 305s| 1500 | 1501 | 1478k| 810.4 | 49M| 56 | 372 |1000 | 15k|1000 |1139 | 162k| 0 |1816 |-3.205274e+02 |-9.800000e+01 | 227.07%
309.33/309.42 c 309s| 1600 | 1601 | 1518k| 784.5 | 49M| 64 | 188 |1000 | 15k|1000 |1147 | 174k| 0 |1816 |-3.205274e+02 |-9.800000e+01 | 227.07%
315.82/315.95 c 316s| 1700 | 1701 | 1577k| 773.2 | 50M| 64 | 34 |1000 | 15k|1000 | 995 | 184k| 0 |1831 |-3.204783e+02 |-9.800000e+01 | 227.02%
323.92/324.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.92/324.03 c 324s| 1800 | 1801 | 1629k| 758.8 | 50M| 65 | 516 |1000 | 15k|1000 |1142 | 194k| 0 |1920 |-3.204654e+02 |-9.800000e+01 | 227.01%
332.03/332.11 c 332s| 1900 | 1901 | 1679k| 745.5 | 51M| 65 | 395 |1000 | 15k|1000 |1154 | 204k| 0 |2039 |-3.204654e+02 |-9.800000e+01 | 227.01%
342.41/342.56 c 343s| 2000 | 2001 | 1746k| 741.5 | 51M| 66 | 85 |1000 | 15k|1000 | 995 | 214k| 0 |2141 |-3.204595e+02 |-9.800000e+01 | 227.00%
347.72/347.82 c 348s| 2100 | 2101 | 1792k| 728.0 | 52M| 67 | 373 |1000 | 15k|1000 |1140 | 226k| 0 |2178 |-3.204595e+02 |-9.800000e+01 | 227.00%
358.52/358.69 c 359s| 2200 | 2201 | 1848k| 720.5 | 52M| 69 | 389 |1000 | 15k|1000 |1149 | 236k| 0 |2256 |-3.204017e+02 |-9.800000e+01 | 226.94%
367.81/367.99 c 368s| 2300 | 2301 | 1905k| 713.8 | 53M| 69 | 427 |1000 | 15k|1000 |1148 | 245k| 0 |2307 |-3.203605e+02 |-9.800000e+01 | 226.90%
378.51/378.66 c 379s| 2400 | 2401 | 1975k| 713.5 | 53M| 69 | 504 |1000 | 15k|1000 |1819 | 254k| 0 |2363 |-3.203280e+02 |-9.800000e+01 | 226.87%
386.01/386.12 c 386s| 2500 | 2501 | 2040k| 710.9 | 54M| 69 | 248 |1000 | 15k|1000 |1140 | 264k| 0 |2369 |-3.203280e+02 |-9.800000e+01 | 226.87%
389.91/390.09 c 390s| 2600 | 2601 | 2080k| 698.7 | 55M| 69 | 292 |1000 | 15k|1000 |1129 | 275k| 0 |2369 |-3.203280e+02 |-9.800000e+01 | 226.87%
394.91/395.04 c 395s| 2700 | 2701 | 2127k| 690.3 | 55M| 71 | 289 |1000 | 15k|1000 |1154 | 287k| 0 |2371 |-3.203280e+02 |-9.800000e+01 | 226.87%
397.60/397.74 c 398s| 2800 | 2801 | 2155k| 675.8 | 56M| 71 | 276 |1000 | 15k|1000 |1150 | 295k| 0 |2371 |-3.203280e+02 |-9.800000e+01 | 226.87%
405.51/405.62 c 406s| 2900 | 2901 | 2217k| 673.7 | 56M| 71 | 9 |1000 | 15k|1000 | 995 | 303k| 0 |2401 |-3.203122e+02 |-9.800000e+01 | 226.85%
410.90/411.01 c 411s| 3000 | 3001 | 2256k| 664.4 | 57M| 71 | 264 |1000 | 15k|1000 |1143 | 313k| 0 |2449 |-3.203122e+02 |-9.800000e+01 | 226.85%
418.81/418.96 c 419s| 3100 | 3101 | 2314k| 661.6 | 57M| 71 | 348 |1000 | 15k|1000 |1150 | 322k| 0 |2534 |-3.202197e+02 |-9.800000e+01 | 226.75%
427.00/427.11 c 427s| 3200 | 3201 | 2370k| 658.4 | 58M| 71 | 222 |1000 | 15k|1000 |1158 | 332k| 0 |2630 |-3.202108e+02 |-9.800000e+01 | 226.75%
432.80/432.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.80/432.94 c 433s| 3300 | 3301 | 2409k| 650.3 | 58M| 71 | 260 |1000 | 15k|1000 |1134 | 342k| 0 |2718 |-3.202049e+02 |-9.800000e+01 | 226.74%
442.20/442.33 c 442s| 3400 | 3401 | 2470k| 649.2 | 59M| 71 | 233 |1000 | 15k|1000 |1130 | 352k| 0 |2795 |-3.201843e+02 |-9.800000e+01 | 226.72%
450.00/450.14 c 450s| 3500 | 3501 | 2522k| 645.5 | 59M| 71 | 250 |1000 | 15k|1000 |1158 | 361k| 0 |2867 |-3.201761e+02 |-9.800000e+01 | 226.71%
458.29/458.43 c 458s| 3600 | 3601 | 2584k| 644.7 | 60M| 71 | 389 |1000 | 15k|1000 |1645 | 371k| 0 |2917 |-3.201675e+02 |-9.800000e+01 | 226.70%
464.00/464.20 c 464s| 3700 | 3701 | 2624k| 638.2 | 60M| 71 | 362 |1000 | 15k|1000 |1601 | 381k| 0 |2940 |-3.201675e+02 |-9.800000e+01 | 226.70%
467.30/467.48 c 467s| 3800 | 3801 | 2656k| 629.7 | 61M| 71 | 424 |1000 | 15k|1000 |1799 | 391k| 0 |2940 |-3.201675e+02 |-9.800000e+01 | 226.70%
475.39/475.55 c 476s| 3900 | 3901 | 2705k| 626.0 | 61M| 71 | 348 |1000 | 15k|1000 |1151 | 399k| 0 |2994 |-3.201271e+02 |-9.800000e+01 | 226.66%
478.69/478.88 c 479s| 4000 | 4001 | 2738k| 618.9 | 62M| 71 | 378 |1000 | 15k|1000 |1144 | 410k| 0 |2994 |-3.201271e+02 |-9.800000e+01 | 226.66%
482.19/482.33 c 482s| 4100 | 4101 | 2774k| 612.4 | 62M| 71 | 433 |1000 | 15k|1000 |1143 | 423k| 0 |2994 |-3.201271e+02 |-9.800000e+01 | 226.66%
486.89/487.00 c 487s| 4200 | 4201 | 2816k| 607.8 | 63M| 71 | 341 |1000 | 15k|1000 |1154 | 430k| 0 |2997 |-3.201271e+02 |-9.800000e+01 | 226.66%
490.99/491.12 c 491s| 4300 | 4301 | 2855k| 602.7 | 63M| 71 | 257 |1000 | 15k|1000 |1145 | 439k| 0 |2997 |-3.201271e+02 |-9.800000e+01 | 226.66%
495.59/495.76 c 496s| 4400 | 4401 | 2898k| 598.9 | 64M| 71 | 306 |1000 | 15k|1000 |1148 | 448k| 0 |2997 |-3.201104e+02 |-9.800000e+01 | 226.64%
498.29/498.45 c 498s| 4500 | 4501 | 2926k| 591.9 | 64M| 71 | 127 |1000 | 15k|1000 |1153 | 458k| 0 |2997 |-3.201104e+02 |-9.800000e+01 | 226.64%
502.49/502.69 c 503s| 4600 | 4601 | 2965k| 587.3 | 65M| 71 | 411 |1000 | 15k|1000 |1694 | 468k| 0 |3012 |-3.201090e+02 |-9.800000e+01 | 226.64%
508.88/509.08 c 509s| 4700 | 4701 | 3006k| 583.5 | 65M| 71 | 62 |1000 | 15k|1000 | 995 | 478k| 0 |3107 |-3.201090e+02 |-9.800000e+01 | 226.64%
512.19/512.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.19/512.32 c 512s| 4800 | 4801 | 3031k| 576.6 | 66M| 71 | 333 |1000 | 15k|1000 |1148 | 489k| 0 |3149 |-3.201090e+02 |-9.800000e+01 | 226.64%
515.89/516.03 c 516s| 4900 | 4901 | 3063k| 571.3 | 66M| 71 | 355 |1000 | 15k|1000 |1138 | 501k| 0 |3186 |-3.201090e+02 |-9.800000e+01 | 226.64%
523.39/523.52 c 524s| 5000 | 5001 | 3114k| 570.2 | 67M| 71 | 139 |1000 | 15k|1000 |1152 | 511k| 0 |3239 |-3.200460e+02 |-9.800000e+01 | 226.58%
527.28/527.48 c 527s| 5100 | 5101 | 3147k| 565.4 | 67M| 72 | 272 |1000 | 15k|1000 |1155 | 521k| 0 |3292 |-3.200460e+02 |-9.800000e+01 | 226.58%
535.99/536.13 c 536s| 5200 | 5201 | 3201k| 565.1 | 68M| 72 | 379 |1000 | 15k|1000 |1793 | 529k| 0 |3391 |-3.200368e+02 |-9.800000e+01 | 226.57%
540.28/540.46 c 540s| 5300 | 5301 | 3233k| 560.3 | 68M| 72 | 56 |1000 | 15k|1000 | 995 | 541k| 0 |3451 |-3.200368e+02 |-9.800000e+01 | 226.57%
546.49/546.70 c 547s| 5400 | 5401 | 3280k| 558.7 | 69M| 72 | 108 |1000 | 15k|1000 | 995 | 549k| 0 |3496 |-3.200195e+02 |-9.800000e+01 | 226.55%
553.28/553.46 c 553s| 5500 | 5501 | 3332k| 558.0 | 69M| 72 | 354 |1000 | 15k|1000 |1144 | 559k| 0 |3526 |-3.200195e+02 |-9.800000e+01 | 226.55%
560.18/560.38 c 560s| 5600 | 5601 | 3376k| 555.9 | 70M| 72 | 163 |1000 | 15k|1000 | 995 | 568k| 0 |3573 |-3.199748e+02 |-9.800000e+01 | 226.50%
566.48/566.69 c 567s| 5700 | 5701 | 3420k| 553.8 | 70M| 72 | 289 |1000 | 15k|1000 |1138 | 576k| 0 |3603 |-3.199564e+02 |-9.800000e+01 | 226.49%
572.17/572.37 c 572s| 5800 | 5801 | 3465k| 552.1 | 71M| 72 | 391 |1000 | 15k|1000 |1581 | 585k| 0 |3627 |-3.199257e+02 |-9.800000e+01 | 226.45%
577.08/577.29 c 577s| 5900 | 5901 | 3511k| 550.6 | 71M| 72 | 39 |1000 | 15k|1000 |1144 | 594k| 0 |3627 |-3.199244e+02 |-9.800000e+01 | 226.45%
582.18/582.30 c 582s| 6000 | 6001 | 3558k| 549.2 | 72M| 72 | 342 |1000 | 15k|1000 |1159 | 604k| 0 |3629 |-3.199222e+02 |-9.800000e+01 | 226.45%
587.18/587.36 c 587s| 6100 | 6101 | 3605k| 547.9 | 72M| 72 | 94 |1000 | 15k|1000 | 995 | 613k| 0 |3629 |-3.199007e+02 |-9.800000e+01 | 226.43%
590.98/591.19 c 591s| 6200 | 6201 | 3642k| 545.0 | 73M| 72 | 370 |1000 | 15k|1000 |1138 | 623k| 0 |3629 |-3.199007e+02 |-9.800000e+01 | 226.43%
594.77/594.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.77/594.90 c 595s| 6300 | 6301 | 3677k| 541.9 | 74M| 72 | 344 |1000 | 15k|1000 |1143 | 631k| 0 |3629 |-3.198806e+02 |-9.800000e+01 | 226.41%
599.38/599.54 c 600s| 6400 | 6401 | 3721k| 540.2 | 74M| 72 | 501 |1000 | 15k|1000 |1896 | 642k| 0 |3629 |-3.198806e+02 |-9.800000e+01 | 226.41%
605.47/605.61 c 606s| 6500 | 6501 | 3771k| 539.6 | 75M| 72 | 320 |1000 | 15k|1000 |1141 | 652k| 0 |3651 |-3.198574e+02 |-9.800000e+01 | 226.39%
613.87/614.06 c 614s| 6600 | 6601 | 3829k| 540.2 | 75M| 72 | 387 |1000 | 15k|1000 |1154 | 660k| 0 |3778 |-3.198574e+02 |-9.800000e+01 | 226.39%
619.87/620.06 c 620s| 6700 | 6701 | 3872k| 538.6 | 76M| 72 | 397 |1000 | 15k|1000 |1150 | 668k| 0 |3838 |-3.198435e+02 |-9.800000e+01 | 226.37%
624.17/624.36 c 624s| 6800 | 6801 | 3906k| 535.7 | 76M| 72 | 94 |1000 | 15k|1000 | 995 | 676k| 0 |3878 |-3.198313e+02 |-9.800000e+01 | 226.36%
628.57/628.73 c 629s| 6900 | 6901 | 3939k| 532.7 | 77M| 72 | 363 |1000 | 15k|1000 |1634 | 684k| 0 |3938 |-3.198313e+02 |-9.800000e+01 | 226.36%
633.96/634.18 c 634s| 7000 | 7001 | 3979k| 530.9 | 77M| 72 | 15 |1000 | 15k|1000 | 995 | 695k| 0 |4006 |-3.198313e+02 |-9.800000e+01 | 226.36%
639.56/639.75 c 640s| 7100 | 7101 | 4019k| 529.0 | 78M| 72 | 20 |1000 | 15k|1000 | 995 | 708k| 0 |4077 |-3.198193e+02 |-9.800000e+01 | 226.35%
643.47/643.61 c 644s| 7200 | 7201 | 4051k| 526.1 | 78M| 72 | 298 |1000 | 15k|1000 |1136 | 716k| 0 |4113 |-3.198188e+02 |-9.800000e+01 | 226.35%
652.26/652.47 c 652s| 7300 | 7301 | 4105k| 526.3 | 79M| 72 | 409 |1000 | 15k|1000 |1729 | 724k| 0 |4166 |-3.197669e+02 |-9.800000e+01 | 226.29%
658.26/658.44 c 658s| 7400 | 7401 | 4148k| 525.0 | 79M| 72 | 254 |1000 | 15k|1000 |1143 | 733k| 0 |4189 |-3.197469e+02 |-9.800000e+01 | 226.27%
665.86/666.07 c 666s| 7500 | 7501 | 4206k| 525.7 | 80M| 72 | 322 |1000 | 15k|1000 |1151 | 743k| 0 |4222 |-3.197450e+02 |-9.800000e+01 | 226.27%
671.06/671.21 c 671s| 7600 | 7601 | 4251k| 524.7 | 80M| 72 | 7 |1000 | 15k|1000 | 995 | 752k| 0 |4235 |-3.196967e+02 |-9.800000e+01 | 226.22%
673.96/674.10 c 674s| 7700 | 7701 | 4281k| 521.8 | 81M| 72 | 199 |1000 | 15k|1000 |1132 | 763k| 0 |4235 |-3.196967e+02 |-9.800000e+01 | 226.22%
677.56/677.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.56/677.76 c 678s| 7800 | 7801 | 4318k| 519.8 | 81M| 72 | 299 |1000 | 15k|1000 |1148 | 773k| 0 |4236 |-3.196967e+02 |-9.800000e+01 | 226.22%
683.26/683.40 c 683s| 7900 | 7901 | 4369k| 519.8 | 82M| 72 | 34 |1000 | 15k|1000 | 995 | 781k| 0 |4236 |-3.196920e+02 |-9.800000e+01 | 226.22%
687.46/687.60 c 688s| 8000 | 8001 | 4411k| 518.5 | 82M| 79 | 385 |1000 | 15k|1000 |1144 | 792k| 0 |4236 |-3.196903e+02 |-9.800000e+01 | 226.21%
690.45/690.68 c 691s| 8100 | 8101 | 4443k| 516.1 | 83M| 82 | 131 |1000 | 15k|1000 |1143 | 802k| 0 |4236 |-3.196903e+02 |-9.800000e+01 | 226.21%
694.06/694.25 c 694s| 8200 | 8201 | 4479k| 514.1 | 83M| 86 | 321 |1000 | 15k|1000 |1492 | 812k| 0 |4236 |-3.196854e+02 |-9.800000e+01 | 226.21%
697.36/697.54 c 698s| 8300 | 8301 | 4512k| 511.9 | 84M| 87 | 176 |1000 | 15k|1000 |1138 | 821k| 0 |4236 |-3.196368e+02 |-9.800000e+01 | 226.16%
700.45/700.61 c 701s| 8400 | 8401 | 4543k| 509.5 | 84M| 88 | 21 |1000 | 15k|1000 |1151 | 830k| 0 |4236 |-3.196353e+02 |-9.800000e+01 | 226.16%
702.86/703.08 c 703s| 8500 | 8501 | 4570k| 506.7 | 85M| 91 | 281 |1000 | 15k|1000 |1154 | 841k| 0 |4236 |-3.196353e+02 |-9.800000e+01 | 226.16%
709.95/710.14 c 710s| 8600 | 8601 | 4620k| 506.6 | 85M| 91 | 295 |1000 | 15k|1000 | 995 | 847k| 0 |4307 |-3.196001e+02 |-9.800000e+01 | 226.12%
727.05/727.20 c 727s| 8700 | 8701 | 4733k| 513.8 | 86M| 91 | 302 |1000 | 15k|1000 | 995 | 847k| 0 |4412 |-3.195442e+02 |-9.800000e+01 | 226.07%
744.45/744.60 c 745s| 8800 | 8801 | 4848k| 521.0 | 87M| 91 | 322 |1000 | 15k|1000 | 995 | 847k| 0 |4499 |-3.194472e+02 |-9.800000e+01 | 225.97%
761.14/761.32 c 761s| 8900 | 8901 | 4959k| 527.7 | 88M| 91 | 306 |1000 | 15k|1000 | 995 | 847k| 0 |4587 |-3.193982e+02 |-9.800000e+01 | 225.92%
778.95/779.12 c 779s| 9000 | 9001 | 5081k| 535.3 | 89M| 91 | 521 |1000 | 15k|1000 |1134 | 848k| 0 |4690 |-3.193190e+02 |-9.800000e+01 | 225.84%
793.84/794.05 c 794s| 9100 | 9101 | 5180k| 540.3 | 90M| 91 | 180 |1000 | 15k|1000 | 995 | 849k| 0 |4785 |-3.192353e+02 |-9.800000e+01 | 225.75%
808.25/808.49 c 808s| 9200 | 9201 | 5290k| 546.4 | 90M| 91 | 242 |1000 | 15k|1000 | 995 | 849k| 0 |4838 |-3.192149e+02 |-9.800000e+01 | 225.73%
819.43/819.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.43/819.68 c 820s| 9300 | 9301 | 5384k| 550.7 | 91M| 91 | 188 |1000 | 15k|1000 | 995 | 852k| 0 |4842 |-3.191402e+02 |-9.800000e+01 | 225.65%
832.44/832.65 c 833s| 9400 | 9401 | 5496k| 556.6 | 92M| 91 | 338 |1000 | 15k|1000 | 995 | 852k| 0 |4843 |-3.190867e+02 |-9.800000e+01 | 225.60%
844.74/844.98 c 845s| 9500 | 9501 | 5602k| 562.0 | 93M| 91 | 303 |1000 | 15k|1000 | 995 | 852k| 0 |4843 |-3.190232e+02 |-9.800000e+01 | 225.53%
851.83/852.01 c 852s| 9600 | 9601 | 5662k| 562.4 | 94M| 91 | 448 |1000 | 15k|1000 |1888 | 859k| 0 |4848 |-3.189978e+02 |-9.800000e+01 | 225.51%
866.03/866.24 c 866s| 9700 | 9701 | 5757k| 566.4 | 94M| 91 | 313 |1000 | 15k|1000 | 995 | 860k| 0 |4949 |-3.189501e+02 |-9.800000e+01 | 225.46%
876.53/876.71 c 877s| 9800 | 9801 | 5834k| 568.5 | 95M| 91 | 203 |1000 | 15k|1000 |1150 | 864k| 0 |4983 |-3.189157e+02 |-9.800000e+01 | 225.42%
881.13/881.36 c 881s| 9900 | 9901 | 5866k| 566.0 | 96M| 91 | 327 |1000 | 15k|1000 |1139 | 873k| 0 |5029 |-3.189157e+02 |-9.800000e+01 | 225.42%
884.72/884.99 c 885s| 10000 | 10001 | 5899k| 563.6 | 96M| 91 | 391 |1000 | 15k|1000 |1144 | 885k| 0 |5055 |-3.189157e+02 |-9.800000e+01 | 225.42%
888.72/888.95 c 889s| 10100 | 10101 | 5930k| 561.0 | 97M| 91 | 479 |1000 | 15k|1000 |1133 | 893k| 0 |5126 |-3.189157e+02 |-9.800000e+01 | 225.42%
892.03/892.21 c 892s| 10200 | 10201 | 5958k| 558.3 | 97M| 91 | 428 |1000 | 15k|1000 |1140 | 903k| 0 |5175 |-3.189157e+02 |-9.800000e+01 | 225.42%
895.43/895.64 c 896s| 10300 | 10301 | 5985k| 555.5 | 97M| 91 | 20 |1000 | 15k|1000 | 995 | 913k| 0 |5220 |-3.189157e+02 |-9.800000e+01 | 225.42%
911.52/911.79 c 912s| 10400 | 10401 | 6090k| 560.3 | 98M| 91 | 217 |1000 | 15k|1000 | 995 | 913k| 0 |5291 |-3.188383e+02 |-9.800000e+01 | 225.35%
928.92/929.16 c 929s| 10500 | 10501 | 6211k| 566.5 | 99M| 91 | 201 |1000 | 15k|1000 | 995 | 914k| 0 |5381 |-3.187719e+02 |-9.800000e+01 | 225.28%
943.71/943.95 c 944s| 10600 | 10601 | 6309k| 570.4 | 100M| 91 | 313 |1000 | 15k|1000 | 995 | 916k| 0 |5462 |-3.187241e+02 |-9.800000e+01 | 225.23%
957.01/957.29 c 957s| 10700 | 10701 | 6417k| 575.1 | 101M| 91 | 206 |1000 | 15k|1000 | 995 | 916k| 0 |5495 |-3.186713e+02 |-9.800000e+01 | 225.17%
969.81/970.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.81/970.01 c 970s| 10800 | 10801 | 6527k| 579.9 | 102M| 91 | 330 |1000 | 15k|1000 | 995 | 917k| 0 |5495 |-3.186374e+02 |-9.800000e+01 | 225.14%
982.41/982.68 c 983s| 10900 | 10901 | 6635k| 584.6 | 103M| 91 | 376 |1000 | 15k|1000 | 995 | 917k| 0 |5498 |-3.186167e+02 |-9.800000e+01 | 225.12%
994.41/994.60 c 995s| 11000 | 11001 | 6739k| 588.7 | 104M| 91 | 218 |1000 | 15k|1000 | 995 | 917k| 0 |5498 |-3.185529e+02 |-9.800000e+01 | 225.05%
1006.10/1006.37 c 1006s| 11100 | 11101 | 6842k| 592.7 | 104M| 91 | 350 |1000 | 15k|1000 | 995 | 917k| 0 |5498 |-3.185328e+02 |-9.800000e+01 | 225.03%
1017.81/1018.00 c 1018s| 11200 | 11201 | 6943k| 596.5 | 105M| 91 | 236 |1000 | 15k|1000 | 995 | 917k| 0 |5498 |-3.184996e+02 |-9.800000e+01 | 225.00%
1026.90/1027.17 c 1027s| 11300 | 11301 | 7025k| 598.4 | 106M| 91 | 319 |1000 | 15k|1000 |1564 | 919k| 0 |5498 |-3.184693e+02 |-9.800000e+01 | 224.97%
1029.91/1030.15 c 1030s| 11400 | 11401 | 7055k| 595.8 | 107M| 91 | 459 |1000 | 15k|1000 |1160 | 928k| 0 |5498 |-3.184693e+02 |-9.800000e+01 | 224.97%
1032.90/1033.13 c 1033s| 11500 | 11501 | 7080k| 592.8 | 107M| 91 | 285 |1000 | 15k|1000 |1159 | 937k| 0 |5568 |-3.184693e+02 |-9.800000e+01 | 224.97%
1036.20/1036.41 c 1036s| 11600 | 11601 | 7107k| 590.0 | 107M| 91 | 122 |1000 | 15k|1000 | 995 | 946k| 0 |5595 |-3.184693e+02 |-9.800000e+01 | 224.97%
1042.20/1042.44 c 1042s| 11700 | 11701 | 7148k| 588.4 | 108M| 91 | 258 |1000 | 15k|1000 | 995 | 952k| 0 |5653 |-3.184609e+02 |-9.800000e+01 | 224.96%
1057.40/1057.65 c 1058s| 11800 | 11801 | 7258k| 592.8 | 109M| 91 | 275 |1000 | 15k|1000 | 995 | 952k| 0 |5702 |-3.184058e+02 |-9.800000e+01 | 224.90%
1073.59/1073.83 c 1074s| 11900 | 11901 | 7368k| 597.0 | 110M| 91 | 322 |1000 | 15k|1000 | 995 | 952k| 0 |5793 |-3.183792e+02 |-9.800000e+01 | 224.88%
1087.59/1087.87 c 1088s| 12000 | 12001 | 7467k| 600.3 | 111M| 91 | 211 |1000 | 15k|1000 | 995 | 952k| 0 |5884 |-3.183465e+02 |-9.800000e+01 | 224.84%
1101.49/1101.77 c 1102s| 12100 | 12101 | 7565k| 603.5 | 111M| 91 | 206 |1000 | 15k|1000 | 995 | 952k| 0 |5959 |-3.183224e+02 |-9.800000e+01 | 224.82%
1116.39/1116.63 c 1117s| 12200 | 12201 | 7665k| 606.7 | 112M| 91 | 135 |1000 | 15k|1000 | 995 | 952k| 0 |6056 |-3.182908e+02 |-9.800000e+01 | 224.79%
1131.38/1131.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.38/1131.61 c 1132s| 12300 | 12301 | 7771k| 610.4 | 113M| 91 | 204 |1000 | 15k|1000 | 995 | 952k| 0 |6153 |-3.182404e+02 |-9.800000e+01 | 224.74%
1143.69/1143.97 c 1144s| 12400 | 12401 | 7876k| 613.9 | 114M| 91 | 229 |1000 | 15k|1000 | 995 | 952k| 0 |6165 |-3.182103e+02 |-9.800000e+01 | 224.70%
1155.08/1155.34 c 1155s| 12500 | 12501 | 7975k| 616.9 | 115M| 91 | 127 |1000 | 15k|1000 | 995 | 952k| 0 |6166 |-3.181825e+02 |-9.800000e+01 | 224.68%
1166.68/1166.93 c 1167s| 12600 | 12601 | 8077k| 620.1 | 116M| 91 | 264 |1000 | 15k|1000 | 995 | 952k| 0 |6166 |-3.181453e+02 |-9.800000e+01 | 224.64%
1178.68/1178.97 c 1179s| 12700 | 12701 | 8181k| 623.5 | 117M| 91 | 309 |1000 | 15k|1000 | 995 | 952k| 0 |6167 |-3.181078e+02 |-9.800000e+01 | 224.60%
1187.57/1187.80 c 1188s| 12800 | 12801 | 8260k| 624.7 | 117M| 91 | 263 |1000 | 15k|1000 | 995 | 955k| 0 |6167 |-3.180971e+02 |-9.800000e+01 | 224.59%
1200.77/1201.07 c 1201s| 12900 | 12901 | 8359k| 627.6 | 118M| 91 | 332 |1000 | 15k|1000 | 995 | 955k| 0 |6242 |-3.180381e+02 |-9.800000e+01 | 224.53%
1207.38/1207.60 c 1208s| 13000 | 13001 | 8413k| 626.9 | 119M| 91 | 158 |1000 | 15k|1000 |1156 | 961k| 0 |6284 |-3.180290e+02 |-9.800000e+01 | 224.52%
1210.58/1210.84 c 1211s| 13100 | 13101 | 8439k| 624.1 | 119M| 91 | 139 |1000 | 15k|1000 | 995 | 969k| 0 |6344 |-3.180290e+02 |-9.800000e+01 | 224.52%
1216.17/1216.45 c 1216s| 13200 | 13201 | 8480k| 622.5 | 120M| 91 | 254 |1000 | 15k|1000 | 995 | 976k| 0 |6405 |-3.180227e+02 |-9.800000e+01 | 224.51%
1230.68/1230.94 c 1231s| 13300 | 13301 | 8583k| 625.5 | 121M| 91 | 393 |1000 | 15k|1000 | 995 | 977k| 0 |6486 |-3.179960e+02 |-9.800000e+01 | 224.49%
1235.37/1235.64 c 1236s| 13400 | 13401 | 8623k| 623.8 | 121M| 91 | 264 |1000 | 15k|1000 |1256 | 989k| 0 |6534 |-3.179950e+02 |-9.800000e+01 | 224.48%
1238.97/1239.28 c 1239s| 13500 | 13501 | 8651k| 621.4 | 122M| 91 | 49 |1000 | 15k|1000 |1141 |1000k| 0 |6578 |-3.179950e+02 |-9.800000e+01 | 224.48%
1241.57/1241.82 c 1242s| 13600 | 13601 | 8674k| 618.4 | 122M| 91 | 24 |1000 | 15k|1000 |1146 |1009k| 0 |6606 |-3.179950e+02 |-9.800000e+01 | 224.48%
1244.36/1244.67 c 1245s| 13700 | 13701 | 8699k| 615.8 | 122M| 91 | 397 |1000 | 15k|1000 |1135 |1019k| 0 |6628 |-3.179950e+02 |-9.800000e+01 | 224.48%
1246.96/1247.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1246.96/1247.25 c 1247s| 13800 | 13801 | 8722k| 613.0 | 123M| 91 | 12 |1000 | 15k|1000 | 995 |1028k| 0 |6673 |-3.179950e+02 |-9.800000e+01 | 224.48%
1260.66/1260.90 c 1261s| 13900 | 13901 | 8818k| 615.5 | 124M| 91 | 304 |1000 | 15k|1000 | 995 |1028k| 0 |6743 |-3.179723e+02 |-9.800000e+01 | 224.46%
1273.46/1273.80 c 1274s| 14000 | 14001 | 8908k| 617.5 | 124M| 91 | 214 |1000 | 15k|1000 | 995 |1028k| 0 |6811 |-3.179481e+02 |-9.800000e+01 | 224.44%
1287.26/1287.54 c 1288s| 14100 | 14101 | 9010k| 620.3 | 125M| 91 | 346 |1000 | 15k|1000 | 995 |1028k| 0 |6876 |-3.179256e+02 |-9.800000e+01 | 224.41%
1297.76/1298.02 c 1298s| 14200 | 14201 | 9101k| 622.4 | 126M| 91 | 38 |1000 | 15k|1000 | 995 |1029k| 0 |6880 |-3.178704e+02 |-9.800000e+01 | 224.36%
1300.66/1300.99 c 1301s| 14300 | 14301 | 9132k| 620.2 | 127M| 91 | 373 |1000 | 15k|1000 |1237 |1041k| 0 |6880 |-3.178704e+02 |-9.800000e+01 | 224.36%
1303.26/1303.55 c 1304s| 14400 | 14401 | 9159k| 617.8 | 127M| 91 | 88 |1000 | 15k|1000 | 995 |1052k| 0 |6880 |-3.178704e+02 |-9.800000e+01 | 224.36%
1305.95/1306.28 c 1306s| 14500 | 14501 | 9188k| 615.5 | 128M| 91 | 29 |1000 | 15k|1000 | 995 |1062k| 0 |6880 |-3.178704e+02 |-9.800000e+01 | 224.36%
1308.55/1308.80 c 1309s| 14600 | 14601 | 9215k| 613.1 | 128M| 91 | 8 |1000 | 15k|1000 | 995 |1073k| 0 |6880 |-3.178704e+02 |-9.800000e+01 | 224.36%
1319.15/1319.40 c 1319s| 14700 | 14701 | 9309k| 615.4 | 129M| 91 | 74 |1000 | 15k|1000 | 995 |1074k| 0 |6880 |-3.178570e+02 |-9.800000e+01 | 224.34%
1329.86/1330.11 c 1330s| 14800 | 14801 | 9403k| 617.5 | 130M| 91 | 285 |1000 | 15k|1000 | 995 |1074k| 0 |6880 |-3.178109e+02 |-9.800000e+01 | 224.30%
1341.25/1341.56 c 1342s| 14900 | 14901 | 9503k| 620.2 | 131M| 91 | 287 |1000 | 15k|1000 | 995 |1074k| 0 |6881 |-3.177903e+02 |-9.800000e+01 | 224.28%
1354.35/1354.65 c 1355s| 15000 | 15001 | 9603k| 622.7 | 131M| 91 | 318 |1000 | 15k|1000 | 995 |1074k| 0 |6920 |-3.177674e+02 |-9.800000e+01 | 224.25%
1367.85/1368.17 c 1368s| 15100 | 15101 | 9703k| 625.1 | 132M| 91 | 277 |1000 | 15k|1000 | 995 |1074k| 0 |6994 |-3.177352e+02 |-9.800000e+01 | 224.22%
1377.84/1378.20 c 1378s| 15200 | 15201 | 9779k| 626.0 | 133M| 91 | 399 |1000 | 15k|1000 |1729 |1079k| 0 |7045 |-3.177243e+02 |-9.800000e+01 | 224.21%
1382.25/1382.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.25/1382.59 c 1383s| 15300 | 15301 | 9817k| 624.4 | 133M| 91 | 412 |1000 | 15k|1000 |1134 |1091k| 0 |7094 |-3.177243e+02 |-9.800000e+01 | 224.21%
1386.14/1386.49 c 1386s| 15400 | 15401 | 9850k| 622.5 | 134M| 91 | 424 |1000 | 15k|1000 |1710 |1104k| 0 |7131 |-3.177243e+02 |-9.800000e+01 | 224.21%
1391.44/1391.79 c 1392s| 15500 | 15501 | 9890k| 621.1 | 134M| 91 | 304 |1000 | 15k|1000 | 995 |1112k| 0 |7170 |-3.177066e+02 |-9.800000e+01 | 224.19%
1405.94/1406.21 c 1406s| 15600 | 15601 | 9994k| 623.8 | 135M| 91 | 317 |1000 | 15k|1000 | 995 |1113k| 0 |7234 |-3.176702e+02 |-9.800000e+01 | 224.15%
1419.54/1419.89 c 1420s| 15700 | 15701 | 10091k| 626.0 | 136M| 91 | 206 |1000 | 15k|1000 | 995 |1113k| 0 |7315 |-3.176363e+02 |-9.800000e+01 | 224.12%
1432.63/1432.98 c 1433s| 15800 | 15801 | 10188k| 628.2 | 137M| 91 | 333 |1000 | 15k|1000 |1249 |1118k| 0 |7361 |-3.176199e+02 |-9.800000e+01 | 224.10%
1436.43/1436.74 c 1437s| 15900 | 15901 | 10220k| 626.2 | 137M| 91 | 89 |1000 | 15k|1000 |1150 |1129k| 0 |7418 |-3.176199e+02 |-9.800000e+01 | 224.10%
1441.94/1442.22 c 1442s| 16000 | 16001 | 10258k| 624.7 | 138M| 91 | 212 |1000 | 15k|1000 | 995 |1137k| 0 |7509 |-3.176025e+02 |-9.800000e+01 | 224.08%
1447.74/1448.02 c 1448s| 16100 | 16101 | 10308k| 623.9 | 139M| 91 | 213 |1000 | 15k|1000 |1150 |1145k| 0 |7540 |-3.175994e+02 |-9.800000e+01 | 224.08%
1450.43/1450.74 c 1451s| 16200 | 16201 | 10336k| 621.8 | 139M| 91 | 343 |1000 | 15k|1000 |1153 |1158k| 0 |7547 |-3.175994e+02 |-9.800000e+01 | 224.08%
1459.13/1459.43 c 1459s| 16300 | 16301 | 10403k| 622.1 | 140M| 91 | 315 |1000 | 15k|1000 | 995 |1161k| 0 |7574 |-3.175828e+02 |-9.800000e+01 | 224.06%
1470.44/1470.70 c 1471s| 16400 | 16401 | 10502k| 624.4 | 140M| 91 | 284 |1000 | 15k|1000 | 995 |1161k| 0 |7574 |-3.175585e+02 |-9.800000e+01 | 224.04%
1480.53/1480.88 c 1481s| 16500 | 16501 | 10591k| 625.9 | 141M| 91 | 71 |1000 | 15k|1000 |1150 |1162k| 0 |7575 |-3.175252e+02 |-9.800000e+01 | 224.01%
1484.22/1484.50 c 1485s| 16600 | 16601 | 10627k| 624.3 | 142M| 91 | 38 |1000 | 15k|1000 | 995 |1173k| 0 |7575 |-3.175252e+02 |-9.800000e+01 | 224.01%
1487.53/1487.86 c 1488s| 16700 | 16701 | 10664k| 622.8 | 142M| 91 | 423 |1000 | 15k|1000 |1849 |1187k| 0 |7575 |-3.175252e+02 |-9.800000e+01 | 224.01%
1495.92/1496.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.92/1496.23 c 1496s| 16800 | 16801 | 10739k| 623.6 | 143M| 91 | 543 |1000 | 15k|1000 |1157 |1192k| 0 |7575 |-3.175178e+02 |-9.800000e+01 | 224.00%
1504.53/1504.87 c 1505s| 16900 | 16901 | 10816k| 624.5 | 144M| 91 | 300 |1000 | 15k|1000 | 995 |1194k| 0 |7575 |-3.174997e+02 |-9.800000e+01 | 223.98%
1515.92/1516.23 c 1516s| 17000 | 17001 | 10918k| 626.7 | 145M| 91 | 249 |1000 | 15k|1000 | 995 |1194k| 0 |7575 |-3.174744e+02 |-9.800000e+01 | 223.95%
1528.12/1528.41 c 1528s| 17100 | 17101 | 11012k| 628.6 | 145M| 91 | 38 |1000 | 15k|1000 | 995 |1194k| 0 |7645 |-3.174496e+02 |-9.800000e+01 | 223.93%
1541.22/1541.58 c 1542s| 17200 | 17201 | 11108k| 630.5 | 146M| 91 | 296 |1000 | 15k|1000 | 995 |1194k| 0 |7693 |-3.174384e+02 |-9.800000e+01 | 223.92%
1552.22/1552.58 c 1553s| 17300 | 17301 | 11188k| 631.5 | 147M| 91 | 344 |1000 | 15k|1000 |1135 |1200k| 0 |7771 |-3.174206e+02 |-9.800000e+01 | 223.90%
1554.92/1555.30 c 1555s| 17400 | 17401 | 11216k| 629.5 | 147M| 91 | 3 |1000 | 15k|1000 | 995 |1210k| 0 |7771 |-3.174206e+02 |-9.800000e+01 | 223.90%
1567.62/1567.97 c 1568s| 17500 | 17501 | 11310k| 631.2 | 148M| 91 | 210 |1000 | 15k|1000 | 995 |1212k| 0 |7832 |-3.174068e+02 |-9.800000e+01 | 223.88%
1581.41/1581.74 c 1582s| 17600 | 17601 | 11405k| 633.1 | 149M| 91 | 276 |1000 | 15k|1000 | 995 |1212k| 0 |7922 |-3.173890e+02 |-9.800000e+01 | 223.87%
1594.41/1594.74 c 1595s| 17700 | 17701 | 11499k| 634.8 | 150M| 91 | 307 |1000 | 15k|1000 | 995 |1212k| 0 |7986 |-3.173681e+02 |-9.800000e+01 | 223.84%
1601.01/1601.33 c 1601s| 17800 | 17801 | 11552k| 634.2 | 151M| 91 | 262 |1000 | 15k|1000 | 995 |1218k| 0 |8013 |-3.173655e+02 |-9.800000e+01 | 223.84%
1613.51/1613.89 c 1614s| 17900 | 17901 | 11644k| 635.8 | 151M| 91 | 190 |1000 | 15k|1000 | 995 |1218k| 0 |8065 |-3.173456e+02 |-9.800000e+01 | 223.82%
1627.50/1627.82 c 1628s| 18000 | 18001 | 11745k| 637.9 | 152M| 91 | 291 |1000 | 15k|1000 | 995 |1218k| 0 |8133 |-3.173234e+02 |-9.800000e+01 | 223.80%
1641.20/1641.51 c 1642s| 18100 | 18101 | 11844k| 639.9 | 153M| 91 | 206 |1000 | 15k|1000 | 995 |1218k| 0 |8197 |-3.172917e+02 |-9.800000e+01 | 223.77%
1651.60/1651.97 c 1652s| 18200 | 18201 | 11931k| 641.1 | 154M| 91 | 188 |1000 | 15k|1000 | 995 |1219k| 0 |8232 |-3.172766e+02 |-9.800000e+01 | 223.75%
1663.10/1663.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.10/1663.44 c 1663s| 18300 | 18301 | 12031k| 643.1 | 155M| 91 | 314 |1000 | 15k|1000 | 995 |1219k| 0 |8233 |-3.172479e+02 |-9.800000e+01 | 223.72%
1675.20/1675.53 c 1676s| 18400 | 18401 | 12136k| 645.3 | 156M| 91 | 456 |1000 | 15k|1000 |1907 |1220k| 0 |8233 |-3.172269e+02 |-9.800000e+01 | 223.70%
1680.90/1681.20 c 1681s| 18500 | 18501 | 12190k| 644.7 | 156M| 91 | 45 |1000 | 15k|1000 | 995 |1225k| 0 |8233 |-3.172200e+02 |-9.800000e+01 | 223.69%
1685.10/1685.40 c 1685s| 18600 | 18601 | 12232k| 643.5 | 157M| 91 | 252 |1000 | 15k|1000 | 995 |1236k| 0 |8233 |-3.172194e+02 |-9.800000e+01 | 223.69%
1696.69/1697.07 c 1697s| 18700 | 18701 | 12334k| 645.5 | 158M| 91 | 56 |1000 | 15k|1000 | 995 |1237k| 0 |8233 |-3.171960e+02 |-9.800000e+01 | 223.67%
1706.99/1707.32 c 1707s| 18800 | 18801 | 12424k| 646.9 | 159M| 91 | 90 |1000 | 15k|1000 | 995 |1237k| 0 |8233 |-3.171810e+02 |-9.800000e+01 | 223.65%
1718.89/1719.24 c 1719s| 18900 | 18901 | 12530k| 649.1 | 159M| 91 | 272 |1000 | 15k|1000 | 995 |1238k| 0 |8233 |-3.171614e+02 |-9.800000e+01 | 223.63%
1723.59/1723.99 c 1724s| 19000 | 19001 | 12572k| 647.8 | 160M| 91 | 329 |1000 | 15k|1000 |1140 |1249k| 0 |8285 |-3.171564e+02 |-9.800000e+01 | 223.63%
1727.49/1727.89 c 1728s| 19100 | 19101 | 12606k| 646.2 | 160M| 91 | 382 |1000 | 15k|1000 |1138 |1261k| 0 |8334 |-3.171564e+02 |-9.800000e+01 | 223.63%
1729.90/1730.25 c 1730s| 19200 | 19201 | 12630k| 644.1 | 161M| 91 | 10 |1000 | 15k|1000 | 995 |1271k| 0 |8345 |-3.171564e+02 |-9.800000e+01 | 223.63%
1742.59/1742.96 c 1743s| 19300 | 19301 | 12724k| 645.6 | 162M| 91 | 266 |1000 | 15k|1000 | 995 |1273k| 0 |8398 |-3.171391e+02 |-9.800000e+01 | 223.61%
1755.79/1756.13 c 1756s| 19400 | 19401 | 12819k| 647.2 | 162M| 91 | 36 |1000 | 15k|1000 | 995 |1274k| 0 |8468 |-3.171273e+02 |-9.800000e+01 | 223.60%
1765.98/1766.37 c 1766s| 19500 | 19501 | 12898k| 648.0 | 163M| 91 | 169 |1000 | 15k|1000 | 995 |1276k| 0 |8502 |-3.171118e+02 |-9.800000e+01 | 223.58%
1778.98/1779.30 c 1779s| 19600 | 19601 | 12994k| 649.5 | 164M| 91 | 275 |1000 | 15k|1000 | 995 |1277k| 0 |8589 |-3.171050e+02 |-9.800000e+01 | 223.58%
1790.57/1790.93 c 1791s| 19700 | 19701 | 13077k| 650.5 | 165M| 91 | 359 |1000 | 15k|1000 |1133 |1280k| 0 |8656 |-3.170960e+02 |-9.800000e+01 | 223.57%
1795.28/1795.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.28/1795.66 c 1796s| 19800 | 19801 | 13118k| 649.2 | 165M| 91 | 272 |1000 | 15k|1000 | 995 |1287k| 0 |8682 |-3.170934e+02 |-9.800000e+01 | 223.56%
1796.68/1797.02 c
1796.68/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.02 c Solving Time (sec) : 1797.02
1796.68/1797.02 c Solving Nodes : 19812
1796.68/1797.02 c Primal Bound : -9.80000000000000e+01 (390 solutions)
1796.68/1797.02 c Dual Bound : -3.17092203289114e+02
1796.68/1797.02 c Gap : 223.56 %
1796.68/1797.02 s SATISFIABLE
1796.68/1797.02 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.02 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.02 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1796.68/1797.02 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.68/1797.02 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.02 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1796.68/1797.02 v x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1796.68/1797.02 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1796.68/1797.02 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1796.68/1797.02 v -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1796.68/1797.02 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769
1796.68/1797.02 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748
1796.68/1797.02 v -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1796.68/1797.02 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1796.68/1797.02 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1796.68/1797.02 v -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664
1796.68/1797.02 v -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1796.68/1797.02 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1796.68/1797.02 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601
1796.68/1797.02 v -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580
1796.68/1797.02 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1796.68/1797.02 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538
1796.68/1797.02 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517
1796.68/1797.02 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1796.68/1797.02 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1796.68/1797.02 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1796.68/1797.02 v -x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433
1796.68/1797.02 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412
1796.68/1797.02 v -x411 -x410 -x409 x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1796.68/1797.02 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369
1796.68/1797.02 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1796.68/1797.02 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.02 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1796.68/1797.02 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1796.68/1797.02 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1796.68/1797.02 v -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1796.68/1797.02 v -x242 x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1796.68/1797.02 v -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
1796.68/1797.02 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180
1796.68/1797.02 v -x179 -x178 x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159 -x158
1796.68/1797.02 v -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1796.68/1797.02 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116
1796.68/1797.02 v -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1796.68/1797.02 v x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 x72 -x71 x70 -x69 -x68
1796.68/1797.02 v -x67 -x66 -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
1796.68/1797.02 v -x40 x39 -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
1796.68/1797.02 v x12 x11 -x10 x9 -x8 -x7 x6 x5 x4 x3 x2 x1
1796.68/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.02 c Total Time : 1797.02
1796.68/1797.02 c solving : 1797.02
1796.68/1797.02 c presolving : 0.39 (included in solving)
1796.68/1797.02 c reading : 0.02 (included in solving)
1796.68/1797.02 c copying : 0.29 (11 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.02 c Original Problem :
1796.68/1797.02 c Problem name : HOME/instance-3693796-1338035811.opb
1796.68/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 1000 initial, 1000 maximal
1796.68/1797.02 c Objective sense : minimize
1796.68/1797.02 c Presolved Problem :
1796.68/1797.02 c Problem name : t_HOME/instance-3693796-1338035811.opb
1796.68/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 15796 initial, 15796 maximal
1796.68/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c setppc : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c and : 0.15 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c linear : 0.04 0.00 15796 0 0 15796 0 1000 0 0 0
1796.68/1797.02 c logicor : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c root node : - - 0 - - 0 - - - - -
1796.68/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c integral : 0 0 0 0 21565 0 51328 0 0 0 0 0 39624
1796.68/1797.02 c setppc : 15796 15796 204 71329 1753 0 51324 0 0 448865 1287123 0 0
1796.68/1797.02 c countsols : 0 0 0 0 0 0 392 0 0 0 0 0 0
1796.68/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.02 c integral : 297.35 0.00 0.00 0.00 297.30 0.00 0.05 0.00
1796.68/1797.02 c setppc : 12.53 0.00 0.78 7.48 1.57 0.00 2.70 0.00
1796.68/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.02 c rootredcost : 1 0 0 0
1796.68/1797.02 c pseudoobj : 91090 0 0 0
1796.68/1797.02 c vbounds : 0 0 0 0
1796.68/1797.02 c redcost : 21767 0 0 0
1796.68/1797.02 c probing : 0 0 0 0
1796.68/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.02 c rootredcost : 0.03 0.00 0.00 0.03 0.00
1796.68/1797.02 c pseudoobj : 0.19 0.01 0.00 0.19 0.00
1796.68/1797.02 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.68/1797.02 c redcost : 0.41 0.00 0.00 0.41 0.00
1796.68/1797.02 c probing : 0.02 0.00 0.02 0.00 0.00
1796.68/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c applied globally : - - - 0 0.0 - - -
1796.68/1797.02 c applied locally : - - - 0 0.0 - - -
1796.68/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.02 c cut pool : 0.21 203 - - 4530 - (maximal pool size: 11554)
1796.68/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c impliedbounds : 0.18 0.00 204 0 0 25572 0
1796.68/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c gomory : 0.08 0.00 10 0 0 500 0
1796.68/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c strongcg : 1.19 0.00 20 0 0 10000 0
1796.68/1797.02 c cmir : 0.38 0.00 10 0 0 0 0
1796.68/1797.02 c flowcover : 0.29 0.00 10 0 0 0 0
1796.68/1797.02 c clique : 5.03 0.00 202 0 0 1671 0
1796.68/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c mcf : 0.01 0.00 1 0 0 0 0
1796.68/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.02 c problem variables: 0.00 - 0 0
1796.68/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c relpscost : 297.28 0.00 19812 0 0 0 0 39624
1796.68/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.02 c LP solutions : 0.00 - - 0
1796.68/1797.02 c pseudo solutions : 0.00 - - 0
1796.68/1797.02 c oneopt : 0.02 0.00 2 1
1796.68/1797.02 c crossover : 1.00 0.00 10 2
1796.68/1797.02 c pscostdiving : 18.75 0.00 333 9
1796.68/1797.02 c fracdiving : 16.94 0.00 333 7
1796.68/1797.02 c guideddiving : 12.78 0.00 333 8
1796.68/1797.02 c rootsoldiving : 6.11 0.00 167 4
1796.68/1797.02 c veclendiving : 18.39 0.00 334 25
1796.68/1797.02 c coefdiving : 16.18 0.00 334 10
1796.68/1797.02 c smallcard : 0.00 0.00 0 0
1796.68/1797.02 c trivial : 0.01 0.00 2 1
1796.68/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.02 c simplerounding : 2.25 0.00 20015 301
1796.68/1797.02 c zirounding : 0.27 0.00 1000 0
1796.68/1797.02 c rounding : 30.77 0.00 6337 1
1796.68/1797.02 c shifting : 11.94 0.00 1691 1
1796.68/1797.02 c intshifting : 0.00 0.00 0 0
1796.68/1797.02 c twoopt : 0.00 0.00 0 0
1796.68/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.02 c indoneopt : 0.01 0.00 0 0
1796.68/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.02 c feaspump : 0.00 0.00 0 0
1796.68/1797.02 c clique : 0.00 0.00 0 0
1796.68/1797.02 c indrounding : 0.00 0.00 0 0
1796.68/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.02 c intdiving : 0.00 0.00 0 0
1796.68/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.02 c objpscostdiving : 18.13 0.00 41 11
1796.68/1797.02 c linesearchdiving : 12.98 0.00 334 9
1796.68/1797.02 c octane : 0.00 0.00 0 0
1796.68/1797.02 c rens : 0.04 0.00 0 0
1796.68/1797.02 c rins : 0.00 0.00 0 0
1796.68/1797.02 c localbranching : 0.00 0.00 0 0
1796.68/1797.02 c mutation : 0.00 0.00 0 0
1796.68/1797.02 c dins : 0.00 0.00 0 0
1796.68/1797.02 c vbounds : 0.00 0.00 0 0
1796.68/1797.02 c undercover : 0.00 0.00 0 0
1796.68/1797.02 c subnlp : 0.01 0.00 0 0
1796.68/1797.02 c trysol : 0.01 0.00 0 0
1796.68/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.02 c primal LP : 1.03 1787 0 0.00 0.00 1.03 1787
1796.68/1797.02 c dual LP : 1305.44 21976 11915152 547.37 9127.34 0.12 208
1796.68/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.02 c diving/probing LP: 109.18 24979 1214961 48.64 11127.80
1796.68/1797.02 c strong branching : 295.66 8682 2316983 266.87 7836.54
1796.68/1797.02 c (at root node) : - 23 19508 848.17 -
1796.68/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.02 c B&B Tree :
1796.68/1797.02 c number of runs : 1
1796.68/1797.02 c nodes : 19812
1796.68/1797.02 c nodes (total) : 19812
1796.68/1797.02 c nodes left : 19813
1796.68/1797.02 c max depth : 91
1796.68/1797.02 c max depth (total): 91
1796.68/1797.02 c backtracks : 2211 (11.2%)
1796.68/1797.02 c delayed cutoffs : 0
1796.68/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.02 c avg switch length: 4.33
1796.68/1797.02 c switching time : 3.93
1796.68/1797.02 c Solution :
1796.68/1797.02 c Solutions found : 390 (4 improvements)
1796.68/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.11 seconds, depth 0, found by <trivial>)
1796.68/1797.02 c Primal Bound : -9.80000000000000e+01 (in run 1, after 1 nodes, 0.91 seconds, depth 0, found by <oneopt>)
1796.68/1797.02 c Dual Bound : -3.17092203289114e+02
1796.68/1797.02 c Gap : 223.56 %
1796.68/1797.02 c Root Dual Bound : -3.22666666666665e+02
1796.68/1797.02 c Root Iterations : 264172
1796.78/1797.16 c Time complete: 1796.84.
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-3693796-1338035811/watcher-3693796-1338035811 -o /tmp/evaluation-result-3693796-1338035811/solver-3693796-1338035811 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693796-1338035811.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 2.00 3/176 516
/proc/meminfo: memFree=28512516/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=8128 CPUtime=0 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 825 0 0 0 0 0 0 0 20 0 1 0 269707117 8323072 780 33554432000 4194304 10169799 140734772279600 140733578877640 8844157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 2032 790 387 1459 0 564 0
[startup+0.0184919 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 516
/proc/meminfo: memFree=28512516/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=12580 CPUtime=0.01 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 1888 0 0 0 1 0 0 0 20 0 1 0 269707117 12881920 1842 33554432000 4194304 10169799 140734772279600 140733578877640 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 3145 1842 413 1459 0 1677 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12580
[startup+0.100153 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 516
/proc/meminfo: memFree=28512516/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=46024 CPUtime=0.09 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 10032 0 0 0 8 1 0 0 20 0 1 0 269707117 47128576 9986 33554432000 4194304 10169799 140734772279600 140733578877640 4635983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 11506 9986 509 1459 0 10038 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46024
[startup+0.300154 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 516
/proc/meminfo: memFree=28512516/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=59324 CPUtime=0.29 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 13569 0 0 0 24 5 0 0 20 0 1 0 269707117 60747776 13084 33554432000 4194304 10169799 140734772279600 140733578877640 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 14831 13084 560 1459 0 13363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59324
[startup+0.700168 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 516
/proc/meminfo: memFree=28512516/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=87012 CPUtime=0.68 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 20835 0 0 0 61 7 0 0 20 0 1 0 269707117 89100288 19566 33554432000 4194304 10169799 140734772279600 140734772274392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 21753 19566 756 1459 0 20285 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87012
[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 517
/proc/meminfo: memFree=28435992/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=88584 CPUtime=1.48 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 21513 0 0 0 140 8 0 0 20 0 1 0 269707117 90710016 20205 33554432000 4194304 10169799 140734772279600 140734772274392 8629272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 22146 20205 783 1459 0 20678 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88584
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 517
/proc/meminfo: memFree=28432768/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=96412 CPUtime=3.09 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 23624 0 0 0 299 10 0 0 20 0 1 0 269707117 98725888 22125 33554432000 4194304 10169799 140734772279600 140734772276792 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 24103 22125 785 1459 0 22635 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96412
[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 517
/proc/meminfo: memFree=28421980/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=99320 CPUtime=6.29 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 25617 0 0 0 617 12 0 0 20 0 1 0 269707117 101703680 23212 33554432000 4194304 10169799 140734772279600 140734772277112 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 24830 23212 785 1459 0 23362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99320
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 517
/proc/meminfo: memFree=28415356/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=107676 CPUtime=12.69 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 27904 0 0 0 1254 15 0 0 20 0 1 0 269707117 110260224 25302 33554432000 4194304 10169799 140734772279600 140734772276680 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 26919 25302 785 1459 0 25451 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107676
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 517
/proc/meminfo: memFree=28411420/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=111260 CPUtime=25.48 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 28802 0 0 0 2525 23 0 0 20 0 1 0 269707117 113930240 26130 33554432000 4194304 10169799 140734772279600 140734772274104 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 27815 26130 785 1459 0 26347 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 111260
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 517
/proc/meminfo: memFree=28410936/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=112740 CPUtime=51.08 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 29007 0 0 0 5066 42 0 0 20 0 1 0 269707117 115445760 26335 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 28185 26335 785 1459 0 26717 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 112740
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 517
/proc/meminfo: memFree=28409816/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=112280 CPUtime=102.27 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 31976 0 0 0 10158 69 0 0 20 0 1 0 269707117 114974720 26382 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 28070 26382 820 1459 0 26602 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 112280
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 518
/proc/meminfo: memFree=28408560/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=112280 CPUtime=162.25 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 31996 0 0 0 16092 133 0 0 20 0 1 0 269707117 114974720 26714 33554432000 4194304 10169799 140734772279600 140734772276792 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 28070 26714 822 1459 0 26602 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 112280
[startup+222.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 521
/proc/meminfo: memFree=28409432/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=112000 CPUtime=222.24 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 38646 0 0 0 22026 198 0 0 20 0 1 0 269707117 114688000 26658 33554432000 4194304 10169799 140734772279600 140734772273688 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 28000 26658 834 1459 0 26532 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 112000
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 521
/proc/meminfo: memFree=28406712/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=114572 CPUtime=282.23 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 46393 0 0 0 27965 258 0 0 20 0 1 0 269707117 117321728 27325 33554432000 4194304 10169799 140734772279600 140734772274104 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 28643 27325 834 1459 0 27175 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 114572
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 521
/proc/meminfo: memFree=28401380/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=120148 CPUtime=342.22 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 54878 0 0 0 33900 322 0 0 20 0 1 0 269707117 123031552 28651 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 30037 28651 834 1459 0 28569 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 120148
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 521
/proc/meminfo: memFree=28402996/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=122264 CPUtime=402.21 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 62492 0 0 0 39839 382 0 0 20 0 1 0 269707117 125198336 29133 33554432000 4194304 10169799 140734772279600 140734772274392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 30566 29133 834 1459 0 29098 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 122264
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 522
/proc/meminfo: memFree=28393756/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=125692 CPUtime=462.19 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 70375 0 0 0 45774 445 0 0 20 0 1 0 269707117 128708608 30008 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 31423 30008 834 1459 0 29955 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 125692
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 522
/proc/meminfo: memFree=28380984/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=134320 CPUtime=522.19 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 86607 0 0 0 51703 516 0 0 20 0 1 0 269707117 137543680 32086 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 33580 32086 834 1459 0 32112 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 134320
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 522
/proc/meminfo: memFree=28374032/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=137148 CPUtime=582.18 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 94456 0 0 0 57635 583 0 0 20 0 1 0 269707117 140439552 32891 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 34287 32891 834 1459 0 32819 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 137148
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28322836/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=177256 CPUtime=1062.09 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 110851 0 0 0 105124 1085 0 0 20 0 1 0 269707117 181510144 42827 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 44314 42827 834 1459 0 42846 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 177256
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 527
/proc/meminfo: memFree=28324448/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=181388 CPUtime=1122.08 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 111709 0 0 0 111058 1150 0 0 20 0 1 0 269707117 185741312 43685 33554432000 4194304 10169799 140734772279600 140734772274248 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 45347 43685 834 1459 0 43879 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 181388
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 565
/proc/meminfo: memFree=28388340/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=186804 CPUtime=1182.08 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 113032 0 0 0 117000 1208 0 0 20 0 1 0 269707117 191287296 45007 33554432000 4194304 10169799 140734772279600 140734772274056 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 46701 45007 834 1459 0 45233 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 186804
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 565
/proc/meminfo: memFree=28383992/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=190728 CPUtime=1242.07 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 114128 0 0 0 122939 1268 0 0 20 0 1 0 269707117 195305472 46096 33554432000 4194304 10169799 140734772279600 140734772276424 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 47682 46096 834 1459 0 46214 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 190728
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 565
/proc/meminfo: memFree=28378932/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=194308 CPUtime=1302.06 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 121896 0 0 0 128879 1327 0 0 20 0 1 0 269707117 198971392 47044 33554432000 4194304 10169799 140734772279600 140734772274392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 48577 47044 834 1459 0 47109 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 194308
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 566
/proc/meminfo: memFree=28373592/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=198380 CPUtime=1362.05 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 122953 0 0 0 134822 1383 0 0 20 0 1 0 269707117 203141120 48101 33554432000 4194304 10169799 140734772279600 140734772274584 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 49595 48101 834 1459 0 48127 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 198380
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 569
/proc/meminfo: memFree=28370664/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=201624 CPUtime=1422.05 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 123737 0 0 0 140765 1440 0 0 20 0 1 0 269707117 206462976 48885 33554432000 4194304 10169799 140734772279600 140734772277224 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 50406 48885 834 1459 0 48938 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 201624
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 592
/proc/meminfo: memFree=28363200/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=208560 CPUtime=1482.02 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 125216 0 0 0 146702 1500 0 0 20 0 1 0 269707117 213565440 50787 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 52140 50787 834 1459 0 50672 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 208560
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 592
/proc/meminfo: memFree=28356552/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=216292 CPUtime=1542.02 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 126843 0 0 0 152639 1563 0 0 20 0 1 0 269707117 221483008 52414 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 54073 52414 834 1459 0 52605 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 216292
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 592
/proc/meminfo: memFree=28353700/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=219016 CPUtime=1602 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 127614 0 0 0 158579 1621 0 0 20 0 1 0 269707117 224272384 53185 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 54754 53185 834 1459 0 53286 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 219016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 593
/proc/meminfo: memFree=28349540/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=222792 CPUtime=1662 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 128601 0 0 0 164519 1681 0 0 20 0 1 0 269707117 228139008 54177 33554432000 4194304 10169799 140734772279600 140734772274008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 55698 54177 834 1459 0 54230 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 222792
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 593
/proc/meminfo: memFree=28342968/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=229872 CPUtime=1721.99 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 130323 0 0 0 170455 1744 0 0 20 0 1 0 269707117 235388928 55899 33554432000 4194304 10169799 140734772279600 140734772274104 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 57468 55899 834 1459 0 56000 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 229872
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 593
/proc/meminfo: memFree=28340240/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=231916 CPUtime=1781.98 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 130884 0 0 0 176398 1800 0 0 20 0 1 0 269707117 237481984 56460 33554432000 4194304 10169799 140734772279600 140734772274056 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 57979 56460 834 1459 0 56511 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 231916
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 593
/proc/meminfo: memFree=28340364/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=231916 CPUtime=1785.18 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 130897 0 0 0 176715 1803 0 0 20 0 1 0 269707117 237481984 56473 33554432000 4194304 10169799 140734772279600 140734772274104 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 57979 56473 834 1459 0 56511 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 231916
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 593
/proc/meminfo: memFree=28339248/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=233016 CPUtime=1791.58 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 131188 0 0 0 177349 1809 0 0 20 0 1 0 269707117 238608384 56764 33554432000 4194304 10169799 140734772279600 140734772275784 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 58254 56764 834 1459 0 56786 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 233016
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 593
/proc/meminfo: memFree=28339124/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=233156 CPUtime=1794.78 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 131218 0 0 0 177667 1811 0 0 20 0 1 0 269707117 238751744 56794 33554432000 4194304 10169799 140734772279600 140734772274104 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 58289 56794 834 1459 0 56821 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 233156
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 593
/proc/meminfo: memFree=28339124/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=233156 CPUtime=1795.58 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 131222 0 0 0 177746 1812 0 0 20 0 1 0 269707117 238751744 56798 33554432000 4194304 10169799 140734772279600 140734772274104 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 58289 56798 834 1459 0 56821 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 233156
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 593
/proc/meminfo: memFree=28339124/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=233156 CPUtime=1796.38 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 131225 0 0 0 177825 1813 0 0 20 0 1 0 269707117 238751744 56801 33554432000 4194304 10169799 140734772279600 140734772273272 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 58289 56801 834 1459 0 56821 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 233156
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 593
/proc/meminfo: memFree=28339124/32873648 swapFree=7372/7372
[pid=516] ppid=514 vsize=233156 CPUtime=1796.78 cores=1,3,5,7
/proc/516/stat : 516 (scip-2.1.1.4sfi) R 514 516 31092 0 -1 4202496 131228 0 0 0 177865 1813 0 0 20 0 1 0 269707117 238751744 56804 33554432000 4194304 10169799 140734772279600 140734772273272 7547375 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/516/statm: 58289 56804 836 1459 0 56821 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 233156
Child status: 0
Real time (s): 1797.16
CPU time (s): 1796.85
CPU user time (s): 1778.71
CPU system time (s): 18.1392
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 233156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.71
system time used= 18.1392
maximum resident set size= 227216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131230
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= 46
involuntary context switches= 1846
runsolver used 2.6076 second user time and 7.2249 second system time
The end