0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3485347-1307775934.opb>
0.00/0.00 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c presolving (3 rounds):
0.00/0.00 c 1 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.00 c 5 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 2.0.1.4
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1797
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 13950
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # belongs reading time to solving time?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c timing/reading = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.00 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 27 | - | 254k| 0 | 5 | 40 | 19 | 40 | 5 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 91 | - | 297k| 0 | 8 | 40 | 33 | 40 | 9 | 4 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 98 | - | 322k| 0 | 11 | 40 | 33 | 40 | 14 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 105 | - | 341k| 0 | 12 | 40 | 33 | 40 | 17 | 12 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 111 | - | 360k| 0 | 14 | 40 | 33 | 40 | 20 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 120 | - | 377k| 0 | 17 | 40 | 33 | 40 | 24 | 19 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 130 | - | 384k| 0 | 15 | 40 | 33 | 40 | 27 | 22 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 2 | 130 | - | 385k| 0 | 15 | 40 | 33 | 40 | 27 | 22 | 14 | 9 | 0.000000e+00 | -- | Inf
1.49/1.50 c 1.5s| 10000 | 3978 | 20812 | 2.1 |3807k| 35 | 5 | 40 |3147 | 40 | 17 | 22 |4209 | 494 | 0.000000e+00 | -- | Inf
2.89/2.94 c 2.9s| 20000 | 7739 | 41081 | 2.0 |5618k| 35 | 5 | 40 |2167 | 40 | 17 | 22 |8433 | 653 | 0.000000e+00 | -- | Inf
4.19/4.28 c 4.3s| 30000 | 11278 | 61606 | 2.0 |7561k| 35 | 5 | 40 |2307 | 40 | 17 | 22 | 12k| 770 | 0.000000e+00 | -- | Inf
5.59/5.68 c 5.7s| 40000 | 14574 | 81879 | 2.0 |9550k| 35 | 5 | 40 |2646 | 40 | 17 | 22 | 17k| 880 | 0.000000e+00 | -- | Inf
7.09/7.13 c 7.1s| 50000 | 17666 |102234 | 2.0 | 11M| 35 | 5 | 40 |2660 | 40 | 17 | 22 | 21k| 979 | 0.000000e+00 | -- | Inf
8.50/8.55 c 8.6s| 60000 | 20831 |122781 | 2.0 | 13M| 35 | 5 | 40 |3390 | 40 | 17 | 22 | 26k|1062 | 0.000000e+00 | -- | Inf
10.09/10.13 c 10.1s| 70000 | 23533 |142900 | 2.0 | 14M| 35 | 5 | 40 |2951 | 40 | 17 | 22 | 31k|1145 | 0.000000e+00 | -- | Inf
11.59/11.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.63 c 11.6s| 80000 | 26402 |163157 | 2.0 | 16M| 35 | 5 | 40 |3165 | 40 | 17 | 22 | 36k|1216 | 0.000000e+00 | -- | Inf
13.09/13.19 c 13.2s| 90000 | 29148 |183537 | 2.0 | 18M| 35 | 5 | 40 |3308 | 40 | 17 | 22 | 41k|1287 | 0.000000e+00 | -- | Inf
14.69/14.73 c 14.7s|100000 | 31879 |204061 | 2.0 | 20M| 35 | 5 | 40 |3756 | 40 | 17 | 22 | 46k|1348 | 0.000000e+00 | -- | Inf
16.29/16.37 c 16.4s|110000 | 34486 |224587 | 2.0 | 21M| 35 | 5 | 40 |3250 | 40 | 17 | 22 | 51k|1411 | 0.000000e+00 | -- | Inf
17.89/17.91 c 17.9s|120000 | 37382 |245221 | 2.0 | 23M| 35 | - | 40 |3660 | 40 | 17 | 22 | 56k|1495 | 0.000000e+00 | -- | Inf
19.49/19.56 c 19.6s|130000 | 39856 |265599 | 2.0 | 25M| 35 | 5 | 40 |3908 | 40 | 17 | 22 | 61k|1553 | 0.000000e+00 | -- | Inf
21.09/21.20 c 21.2s|140000 | 42494 |286085 | 2.0 | 26M| 35 | 5 | 40 |4226 | 40 | 17 | 22 | 66k|1611 | 0.000000e+00 | -- | Inf
22.90/22.92 c 22.9s|150000 | 44744 |306317 | 2.0 | 28M| 35 | - | 40 |4051 | 0 | 0 | 22 | 71k|1662 | 0.000000e+00 | -- | Inf
24.49/24.57 c 24.6s|160000 | 47159 |326523 | 2.0 | 29M| 35 | 5 | 40 |4532 | 40 | 17 | 22 | 76k|1705 | 0.000000e+00 | -- | Inf
26.30/26.32 c 26.3s|170000 | 49409 |346959 | 2.0 | 31M| 35 | 5 | 40 |4522 | 40 | 17 | 22 | 81k|1758 | 0.000000e+00 | -- | Inf
27.99/28.03 c 28.0s|180000 | 52083 |367532 | 2.0 | 33M| 35 | - | 40 |5060 | 40 | 17 | 22 | 87k|1810 | 0.000000e+00 | -- | Inf
29.59/29.69 c 29.7s|190000 | 54534 |387674 | 2.0 | 34M| 35 | 5 | 40 |5059 | 40 | 17 | 22 | 92k|1855 | 0.000000e+00 | -- | Inf
31.39/31.45 c 31.5s|200000 | 56965 |408537 | 2.0 | 36M| 35 | 5 | 40 |5016 | 40 | 17 | 22 | 97k|1902 | 0.000000e+00 | -- | Inf
33.10/33.13 c 33.1s|210000 | 59875 |429246 | 2.0 | 38M| 35 | 5 | 40 |6115 | 40 | 17 | 22 | 102k|1938 | 0.000000e+00 | -- | Inf
34.99/35.09 c 35.1s|220000 | 62012 |449963 | 2.0 | 39M| 35 | 5 | 40 |5394 | 40 | 17 | 22 | 107k|1992 | 0.000000e+00 | -- | Inf
36.89/36.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.89/36.94 c 36.9s|230000 | 64215 |470580 | 2.0 | 41M| 35 | 5 | 40 |5954 | 40 | 17 | 22 | 113k|2043 | 0.000000e+00 | -- | Inf
38.79/38.87 c 38.9s|240000 | 66283 |491131 | 2.0 | 42M| 35 | 5 | 40 |5100 | 40 | 17 | 22 | 118k|2086 | 0.000000e+00 | -- | Inf
40.60/40.60 c 40.6s|250000 | 68521 |511630 | 2.0 | 44M| 35 | 5 | 40 |6417 | 40 | 17 | 22 | 124k|2130 | 0.000000e+00 | -- | Inf
42.59/42.60 c 42.6s|260000 | 70603 |532181 | 2.0 | 45M| 35 | 5 | 40 |6033 | 40 | 17 | 22 | 129k|2168 | 0.000000e+00 | -- | Inf
44.49/44.53 c 44.5s|270000 | 72665 |552823 | 2.0 | 47M| 35 | 5 | 40 |5740 | 40 | 17 | 22 | 135k|2217 | 0.000000e+00 | -- | Inf
46.29/46.36 c 46.4s|280000 | 75206 |573524 | 2.0 | 49M| 35 | 5 | 40 |7242 | 40 | 17 | 22 | 140k|2260 | 0.000000e+00 | -- | Inf
48.30/48.32 c 48.3s|290000 | 77569 |593823 | 2.0 | 51M| 35 | 5 | 40 |7668 | 40 | 17 | 22 | 145k|2308 | 0.000000e+00 | -- | Inf
50.40/50.47 c 50.5s|300000 | 79630 |614097 | 2.0 | 52M| 35 | - | 40 |6287 | 40 | 17 | 22 | 151k|2346 | 0.000000e+00 | -- | Inf
52.39/52.43 c 52.4s|310000 | 81683 |635442 | 2.0 | 53M| 35 | 5 | 40 |6047 | 40 | 17 | 22 | 156k|2383 | 0.000000e+00 | -- | Inf
54.29/54.35 c 54.4s|320000 | 83934 |656382 | 2.1 | 55M| 35 | 5 | 40 |7730 | 40 | 17 | 22 | 162k|2420 | 0.000000e+00 | -- | Inf
56.49/56.50 c 56.5s|330000 | 85977 |677712 | 2.1 | 57M| 35 | - | 40 |8284 | 40 | 17 | 22 | 167k|2457 | 0.000000e+00 | -- | Inf
58.69/58.75 c 58.7s|340000 | 87718 |698061 | 2.1 | 58M| 35 | 5 | 40 |6363 | 40 | 17 | 22 | 173k|2484 | 0.000000e+00 | -- | Inf
60.59/60.68 c 60.7s|350000 | 89816 |718875 | 2.1 | 59M| 35 | - | 40 |6522 | 40 | 17 | 22 | 179k|2525 | 0.000000e+00 | -- | Inf
62.40/62.48 c 62.5s|360000 | 92354 |739436 | 2.1 | 61M| 35 | 5 | 40 |8487 | 40 | 17 | 22 | 184k|2564 | 0.000000e+00 | -- | Inf
64.69/64.77 c 64.8s|370000 | 94163 |760434 | 2.1 | 62M| 35 | 5 | 40 |6887 | 40 | 17 | 22 | 190k|2602 | 0.000000e+00 | -- | Inf
66.80/66.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.80/66.86 c 66.9s|380000 | 96071 |781138 | 2.1 | 64M| 35 | - | 40 |6511 | 40 | 17 | 22 | 195k|2637 | 0.000000e+00 | -- | Inf
68.90/68.91 c 68.9s|390000 | 97775 |801781 | 2.1 | 65M| 35 | 5 | 40 |6605 | 40 | 17 | 22 | 201k|2684 | 0.000000e+00 | -- | Inf
70.89/70.97 c 71.0s|400000 | 99481 |822566 | 2.1 | 66M| 35 | - | 40 |7262 | 40 | 17 | 22 | 207k|2712 | 0.000000e+00 | -- | Inf
73.10/73.12 c 73.1s|410000 |101259 |843333 | 2.1 | 68M| 35 | - | 40 |6852 | 0 | 0 | 22 | 213k|2755 | 0.000000e+00 | -- | Inf
75.19/75.22 c 75.2s|420000 |103068 |864067 | 2.1 | 69M| 35 | - | 40 |7758 | 40 | 17 | 22 | 219k|2779 | 0.000000e+00 | -- | Inf
77.29/77.32 c 77.3s|430000 |105045 |884964 | 2.1 | 70M| 35 | 5 | 40 |6899 | 40 | 17 | 22 | 224k|2815 | 0.000000e+00 | -- | Inf
79.30/79.40 c 79.4s|440000 |106796 |905702 | 2.1 | 72M| 35 | 5 | 40 |7974 | 40 | 17 | 22 | 230k|2851 | 0.000000e+00 | -- | Inf
81.60/81.60 c 81.6s|450000 |108539 |926131 | 2.1 | 73M| 35 | - | 40 |6946 | 40 | 17 | 22 | 236k|2874 | 0.000000e+00 | -- | Inf
83.69/83.74 c 83.7s|460000 |110262 |946638 | 2.1 | 75M| 35 | 5 | 40 |7626 | 40 | 17 | 22 | 242k|2909 | 0.000000e+00 | -- | Inf
86.00/86.02 c 86.0s|470000 |111914 |967576 | 2.1 | 76M| 35 | 5 | 40 |6849 | 40 | 17 | 22 | 248k|2947 | 0.000000e+00 | -- | Inf
88.09/88.16 c 88.2s|480000 |113671 |988797 | 2.1 | 77M| 35 | - | 40 |6884 | 40 | 17 | 22 | 253k|2964 | 0.000000e+00 | -- | Inf
90.29/90.35 c 90.3s|490000 |115294 | 1009k| 2.1 | 78M| 35 | 5 | 40 |6895 | 40 | 17 | 22 | 259k|2997 | 0.000000e+00 | -- | Inf
92.41/92.42 c 92.4s|500000 |117254 | 1030k| 2.1 | 80M| 35 | 5 | 40 |7551 | 40 | 17 | 22 | 265k|3023 | 0.000000e+00 | -- | Inf
94.50/94.52 c 94.5s|510000 |119127 | 1051k| 2.1 | 82M| 35 | 5 | 40 |8997 | 40 | 17 | 22 | 271k|3059 | 0.000000e+00 | -- | Inf
96.80/96.82 c 96.8s|520000 |120896 | 1072k| 2.1 | 83M| 35 | - | 40 |8058 | 40 | 17 | 22 | 277k|3090 | 0.000000e+00 | -- | Inf
99.30/99.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.30/99.30 c 99.3s|530000 |122426 | 1093k| 2.1 | 84M| 35 | - | 40 |7207 | 40 | 17 | 22 | 283k|3113 | 0.000000e+00 | -- | Inf
101.60/101.62 c 102s|540000 |123858 | 1114k| 2.1 | 85M| 35 | - | 40 |6705 | 40 | 17 | 22 | 289k|3143 | 0.000000e+00 | -- | Inf
103.90/103.94 c 104s|550000 |125282 | 1135k| 2.1 | 86M| 35 | 5 | 40 |6857 | 40 | 17 | 22 | 295k|3188 | 0.000000e+00 | -- | Inf
106.00/106.05 c 106s|560000 |127113 | 1155k| 2.1 | 88M| 35 | 5 | 40 |8081 | 40 | 17 | 22 | 301k|3217 | 0.000000e+00 | -- | Inf
108.30/108.33 c 108s|570000 |128742 | 1177k| 2.1 | 89M| 35 | 5 | 40 |8466 | 40 | 17 | 22 | 307k|3250 | 0.000000e+00 | -- | Inf
110.59/110.69 c 111s|580000 |130374 | 1197k| 2.1 | 90M| 35 | - | 40 |7492 | 0 | 0 | 22 | 312k|3274 | 0.000000e+00 | -- | Inf
112.80/112.87 c 113s|590000 |132042 | 1218k| 2.1 | 92M| 35 | - | 40 |8354 | 0 | 0 | 22 | 318k|3302 | 0.000000e+00 | -- | Inf
115.10/115.15 c 115s|600000 |133785 | 1239k| 2.1 | 93M| 35 | - | 40 |7601 | 40 | 17 | 22 | 324k|3333 | 0.000000e+00 | -- | Inf
117.20/117.21 c 117s|610000 |135917 | 1261k| 2.1 | 95M| 35 | 5 | 40 |8517 | 40 | 17 | 22 | 330k|3517 | 0.000000e+00 | -- | Inf
119.30/119.30 c 119s|620000 |137948 | 1282k| 2.1 | 97M| 35 | 5 | 40 |9728 | 40 | 17 | 22 | 336k|3634 | 0.000000e+00 | -- | Inf
121.69/121.79 c 122s|630000 |139295 | 1304k| 2.1 | 98M| 35 | - | 40 | 10k| 40 | 17 | 22 | 342k|3634 | 0.000000e+00 | -- | Inf
124.40/124.49 c 124s|640000 |140685 | 1324k| 2.1 | 99M| 35 | - | 40 |8170 | 40 | 17 | 22 | 348k|3634 | 0.000000e+00 | -- | Inf
126.50/126.58 c 127s|650000 |142641 | 1345k| 2.1 | 101M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 354k|3634 | 0.000000e+00 | -- | Inf
129.10/129.15 c 129s|660000 |144056 | 1366k| 2.1 | 102M| 35 | 5 | 40 |9629 | 40 | 17 | 22 | 360k|3634 | 0.000000e+00 | -- | Inf
131.70/131.74 c 132s|670000 |145300 | 1387k| 2.1 | 102M| 35 | 5 | 40 |7556 | 40 | 17 | 22 | 366k|3645 | 0.000000e+00 | -- | Inf
134.10/134.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.10/134.18 c 134s|680000 |146565 | 1408k| 2.1 | 103M| 35 | - | 40 |7514 | 0 | 0 | 22 | 373k|3678 | 0.000000e+00 | -- | Inf
136.50/136.50 c 137s|690000 |147996 | 1429k| 2.1 | 105M| 35 | - | 40 |8088 | 0 | 0 | 22 | 379k|3711 | 0.000000e+00 | -- | Inf
139.00/139.05 c 139s|700000 |149211 | 1450k| 2.1 | 106M| 35 | - | 40 |7405 | 40 | 17 | 22 | 385k|3733 | 0.000000e+00 | -- | Inf
141.20/141.23 c 141s|710000 |151086 | 1470k| 2.1 | 107M| 35 | - | 40 |8414 | 40 | 17 | 22 | 391k|3763 | 0.000000e+00 | -- | Inf
143.50/143.53 c 144s|720000 |152714 | 1490k| 2.1 | 109M| 35 | - | 40 |8905 | 40 | 17 | 22 | 397k|3794 | 0.000000e+00 | -- | Inf
145.80/145.85 c 146s|730000 |154305 | 1512k| 2.1 | 110M| 35 | 5 | 40 |8587 | 40 | 17 | 22 | 403k|3822 | 0.000000e+00 | -- | Inf
148.40/148.41 c 148s|740000 |155624 | 1533k| 2.1 | 111M| 35 | - | 40 |8086 | 40 | 17 | 22 | 409k|3853 | 0.000000e+00 | -- | Inf
150.79/150.83 c 151s|750000 |156909 | 1554k| 2.1 | 112M| 35 | 5 | 40 |8639 | 40 | 17 | 22 | 415k|3877 | 0.000000e+00 | -- | Inf
153.10/153.16 c 153s|760000 |158619 | 1574k| 2.1 | 114M| 35 | 5 | 40 |8422 | 40 | 17 | 22 | 421k|3901 | 0.000000e+00 | -- | Inf
155.40/155.44 c 155s|770000 |160287 | 1595k| 2.1 | 115M| 35 | 5 | 40 |9972 | 40 | 17 | 22 | 427k|3936 | 0.000000e+00 | -- | Inf
158.00/158.09 c 158s|780000 |161590 | 1616k| 2.1 | 116M| 35 | 5 | 40 |7856 | 40 | 17 | 22 | 433k|3957 | 0.000000e+00 | -- | Inf
160.30/160.35 c 160s|790000 |163190 | 1637k| 2.1 | 118M| 35 | - | 40 |9614 | 0 | 0 | 22 | 439k|3973 | 0.000000e+00 | -- | Inf
162.70/162.75 c 163s|800000 |164807 | 1658k| 2.1 | 119M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 445k|3989 | 0.000000e+00 | -- | Inf
165.40/165.40 c 165s|810000 |166178 | 1679k| 2.1 | 120M| 35 | 5 | 40 |9809 | 40 | 17 | 22 | 451k|4003 | 0.000000e+00 | -- | Inf
167.80/167.86 c 168s|820000 |167893 | 1700k| 2.1 | 121M| 35 | - | 40 |8974 | 40 | 17 | 22 | 457k|4027 | 0.000000e+00 | -- | Inf
169.90/169.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.90/169.96 c 170s|830000 |169877 | 1720k| 2.1 | 124M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 463k|4044 | 0.000000e+00 | -- | Inf
172.70/172.75 c 173s|840000 |171241 | 1741k| 2.1 | 125M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 469k|4067 | 0.000000e+00 | -- | Inf
175.30/175.38 c 175s|850000 |172562 | 1762k| 2.1 | 126M| 35 | - | 40 |9379 | 40 | 17 | 22 | 475k|4088 | 0.000000e+00 | -- | Inf
177.70/177.77 c 178s|860000 |174153 | 1782k| 2.1 | 127M| 35 | 5 | 40 |8992 | 40 | 17 | 22 | 481k|4111 | 0.000000e+00 | -- | Inf
180.10/180.16 c 180s|870000 |175578 | 1803k| 2.1 | 128M| 35 | 5 | 40 |9903 | 40 | 17 | 22 | 487k|4142 | 0.000000e+00 | -- | Inf
182.90/182.94 c 183s|880000 |176896 | 1824k| 2.1 | 129M| 35 | 5 | 40 |8297 | 40 | 17 | 22 | 494k|4157 | 0.000000e+00 | -- | Inf
185.19/185.26 c 185s|890000 |178696 | 1844k| 2.1 | 130M| 35 | - | 40 |9115 | 40 | 17 | 22 | 499k|4175 | 0.000000e+00 | -- | Inf
187.60/187.65 c 188s|900000 |180335 | 1864k| 2.1 | 132M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 505k|4200 | 0.000000e+00 | -- | Inf
190.20/190.24 c 190s|910000 |181746 | 1885k| 2.1 | 133M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 511k|4219 | 0.000000e+00 | -- | Inf
192.90/192.94 c 193s|920000 |183079 | 1906k| 2.1 | 134M| 35 | 5 | 40 |9656 | 40 | 17 | 22 | 517k|4234 | 0.000000e+00 | -- | Inf
195.40/195.47 c 195s|930000 |184475 | 1926k| 2.1 | 136M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 523k|4243 | 0.000000e+00 | -- | Inf
198.20/198.27 c 198s|940000 |185562 | 1947k| 2.1 | 136M| 35 | - | 40 |8757 | 0 | 0 | 22 | 530k|4265 | 0.000000e+00 | -- | Inf
200.70/200.75 c 201s|950000 |187051 | 1967k| 2.1 | 138M| 35 | 5 | 40 |9301 | 40 | 17 | 22 | 536k|4286 | 0.000000e+00 | -- | Inf
203.41/203.45 c 203s|960000 |188219 | 1988k| 2.1 | 138M| 35 | - | 40 |8099 | 40 | 17 | 22 | 542k|4302 | 0.000000e+00 | -- | Inf
206.00/206.04 c 206s|970000 |189425 | 2009k| 2.1 | 140M| 35 | 5 | 40 |7849 | 40 | 17 | 22 | 549k|4333 | 0.000000e+00 | -- | Inf
208.30/208.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.30/208.39 c 208s|980000 |190927 | 2030k| 2.1 | 141M| 35 | - | 40 |9114 | 40 | 17 | 22 | 555k|4359 | 0.000000e+00 | -- | Inf
211.21/211.24 c 211s|990000 |191766 | 2051k| 2.1 | 142M| 35 | 5 | 40 |8376 | 40 | 17 | 22 | 561k|4377 | 0.000000e+00 | -- | Inf
213.80/213.88 c 214s| 1000k|192837 | 2071k| 2.1 | 143M| 35 | - | 40 |8354 | 40 | 17 | 22 | 568k|4409 | 0.000000e+00 | -- | Inf
216.30/216.31 c 216s| 1010k|194125 | 2092k| 2.1 | 144M| 35 | - | 40 |8292 | 40 | 17 | 22 | 574k|4436 | 0.000000e+00 | -- | Inf
218.91/218.91 c 219s| 1020k|195208 | 2113k| 2.1 | 145M| 35 | 5 | 40 |7636 | 40 | 17 | 22 | 580k|4457 | 0.000000e+00 | -- | Inf
221.30/221.30 c 221s| 1030k|196657 | 2133k| 2.1 | 146M| 35 | 5 | 40 |8722 | 40 | 17 | 22 | 586k|4472 | 0.000000e+00 | -- | Inf
224.00/224.01 c 224s| 1040k|197759 | 2154k| 2.1 | 147M| 35 | 5 | 40 |8196 | 40 | 17 | 22 | 593k|4491 | 0.000000e+00 | -- | Inf
226.60/226.68 c 227s| 1050k|198867 | 2175k| 2.1 | 148M| 35 | 5 | 40 |7976 | 40 | 17 | 22 | 599k|4512 | 0.000000e+00 | -- | Inf
229.10/229.10 c 229s| 1060k|200284 | 2195k| 2.1 | 150M| 35 | - | 40 |8917 | 40 | 17 | 22 | 605k|4532 | 0.000000e+00 | -- | Inf
231.50/231.59 c 232s| 1070k|201818 | 2216k| 2.1 | 151M| 36 | 5 | 40 |8794 | 40 | 17 | 22 | 611k|4546 | 0.000000e+00 | -- | Inf
233.90/233.98 c 234s| 1080k|203194 | 2237k| 2.1 | 153M| 36 | - | 40 | 10k| 40 | 17 | 22 | 618k|4566 | 0.000000e+00 | -- | Inf
236.70/236.78 c 237s| 1090k|204287 | 2258k| 2.1 | 153M| 36 | 5 | 40 |8485 | 40 | 17 | 22 | 624k|4580 | 0.000000e+00 | -- | Inf
239.10/239.15 c 239s| 1100k|205705 | 2279k| 2.1 | 155M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 630k|4598 | 0.000000e+00 | -- | Inf
241.80/241.86 c 242s| 1110k|206989 | 2299k| 2.1 | 156M| 36 | 5 | 40 |9884 | 40 | 17 | 22 | 636k|4618 | 0.000000e+00 | -- | Inf
244.71/244.70 c 245s| 1120k|208030 | 2320k| 2.1 | 157M| 36 | 5 | 40 |8920 | 40 | 17 | 22 | 643k|4634 | 0.000000e+00 | -- | Inf
247.21/247.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.21/247.23 c 247s| 1130k|209240 | 2341k| 2.1 | 158M| 36 | 5 | 40 |9634 | 40 | 17 | 22 | 649k|4655 | 0.000000e+00 | -- | Inf
249.70/249.78 c 250s| 1140k|210801 | 2361k| 2.1 | 159M| 36 | - | 40 |9937 | 40 | 17 | 22 | 655k|4673 | 0.000000e+00 | -- | Inf
252.40/252.41 c 252s| 1150k|211952 | 2382k| 2.1 | 161M| 36 | - | 40 | 10k| 40 | 17 | 22 | 661k|4686 | 0.000000e+00 | -- | Inf
255.10/255.11 c 255s| 1160k|213147 | 2402k| 2.1 | 162M| 36 | 5 | 40 |9624 | 40 | 17 | 22 | 667k|4701 | 0.000000e+00 | -- | Inf
257.31/257.35 c 257s| 1170k|215249 | 2423k| 2.1 | 163M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 673k|4714 | 0.000000e+00 | -- | Inf
259.70/259.77 c 260s| 1180k|217038 | 2443k| 2.1 | 165M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 679k|4729 | 0.000000e+00 | -- | Inf
262.40/262.42 c 262s| 1190k|218188 | 2464k| 2.1 | 166M| 36 | - | 40 | 11k| 40 | 17 | 22 | 685k|4749 | 0.000000e+00 | -- | Inf
264.80/264.83 c 265s| 1200k|220059 | 2485k| 2.1 | 168M| 36 | - | 40 | 13k| 0 | 0 | 22 | 691k|4765 | 0.000000e+00 | -- | Inf
267.90/267.94 c 268s| 1210k|221151 | 2505k| 2.1 | 169M| 36 | 5 | 40 | 13k| 40 | 17 | 22 | 697k|4779 | 0.000000e+00 | -- | Inf
270.80/270.83 c 271s| 1220k|222372 | 2525k| 2.1 | 170M| 36 | - | 40 | 14k| 0 | 0 | 22 | 703k|4794 | 0.000000e+00 | -- | Inf
273.81/273.81 c 274s| 1230k|223605 | 2546k| 2.1 | 171M| 36 | - | 40 | 11k| 40 | 17 | 22 | 709k|4815 | 0.000000e+00 | -- | Inf
276.70/276.70 c 277s| 1240k|224700 | 2567k| 2.1 | 172M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 716k|4829 | 0.000000e+00 | -- | Inf
279.70/279.72 c 280s| 1250k|225751 | 2587k| 2.1 | 172M| 36 | - | 40 | 10k| 40 | 17 | 22 | 722k|4849 | 0.000000e+00 | -- | Inf
282.11/282.19 c 282s| 1260k|227131 | 2608k| 2.1 | 174M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 728k|4866 | 0.000000e+00 | -- | Inf
284.70/284.80 c 285s| 1270k|228567 | 2628k| 2.1 | 175M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 734k|4882 | 0.000000e+00 | -- | Inf
287.40/287.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.40/287.46 c 287s| 1280k|230195 | 2648k| 2.1 | 176M| 36 | - | 40 | 11k| 0 | 0 | 22 | 740k|4903 | 0.000000e+00 | -- | Inf
290.20/290.27 c 290s| 1290k|231454 | 2669k| 2.1 | 177M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 746k|4914 | 0.000000e+00 | -- | Inf
293.40/293.43 c 293s| 1300k|232346 | 2690k| 2.1 | 178M| 36 | - | 40 |9098 | 40 | 17 | 22 | 753k|4932 | 0.000000e+00 | -- | Inf
296.10/296.16 c 296s| 1310k|233440 | 2711k| 2.1 | 179M| 36 | - | 40 |9467 | 40 | 17 | 22 | 759k|4956 | 0.000000e+00 | -- | Inf
299.00/299.08 c 299s| 1320k|234516 | 2731k| 2.1 | 180M| 36 | 5 | 40 |9058 | 40 | 17 | 22 | 766k|4971 | 0.000000e+00 | -- | Inf
301.31/301.39 c 301s| 1330k|236006 | 2751k| 2.1 | 182M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 772k|4991 | 0.000000e+00 | -- | Inf
304.20/304.26 c 304s| 1340k|237048 | 2771k| 2.1 | 183M| 36 | - | 40 | 10k| 0 | 0 | 22 | 778k|5004 | 0.000000e+00 | -- | Inf
307.30/307.32 c 307s| 1350k|238062 | 2791k| 2.1 | 183M| 36 | 5 | 40 |8903 | 40 | 17 | 22 | 784k|5017 | 0.000000e+00 | -- | Inf
309.80/309.88 c 310s| 1360k|239659 | 2812k| 2.1 | 184M| 36 | 5 | 40 |9662 | 40 | 17 | 22 | 790k|5033 | 0.000000e+00 | -- | Inf
312.41/312.42 c 312s| 1370k|240969 | 2833k| 2.1 | 186M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 796k|5045 | 0.000000e+00 | -- | Inf
315.10/315.19 c 315s| 1380k|242211 | 2853k| 2.1 | 187M| 36 | - | 40 | 10k| 40 | 17 | 22 | 803k|5060 | 0.000000e+00 | -- | Inf
317.70/317.71 c 318s| 1390k|243572 | 2874k| 2.1 | 189M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 809k|5075 | 0.000000e+00 | -- | Inf
320.71/320.76 c 321s| 1400k|244848 | 2894k| 2.1 | 189M| 36 | - | 40 | 11k| 40 | 17 | 22 | 815k|5084 | 0.000000e+00 | -- | Inf
324.00/324.04 c 324s| 1410k|245741 | 2915k| 2.1 | 190M| 36 | 5 | 40 |9126 | 40 | 17 | 22 | 821k|5106 | 0.000000e+00 | -- | Inf
326.71/326.71 c 327s| 1420k|246828 | 2936k| 2.1 | 191M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 828k|5117 | 0.000000e+00 | -- | Inf
329.60/329.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.60/329.68 c 330s| 1430k|247666 | 2957k| 2.1 | 192M| 36 | 5 | 40 |8705 | 40 | 17 | 22 | 834k|5131 | 0.000000e+00 | -- | Inf
332.00/332.05 c 332s| 1440k|249039 | 2978k| 2.1 | 194M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 841k|5155 | 0.000000e+00 | -- | Inf
334.91/334.97 c 335s| 1450k|250311 | 2998k| 2.1 | 195M| 36 | - | 40 | 10k| 40 | 17 | 22 | 847k|5169 | 0.000000e+00 | -- | Inf
337.80/337.87 c 338s| 1460k|251315 | 3018k| 2.1 | 196M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 854k|5181 | 0.000000e+00 | -- | Inf
340.71/340.78 c 341s| 1470k|252340 | 3040k| 2.1 | 196M| 36 | - | 40 | 10k| 40 | 17 | 22 | 860k|5191 | 0.000000e+00 | -- | Inf
343.41/343.45 c 343s| 1480k|253604 | 3061k| 2.1 | 198M| 36 | - | 40 | 10k| 40 | 17 | 22 | 866k|5204 | 0.000000e+00 | -- | Inf
346.41/346.44 c 346s| 1490k|254501 | 3082k| 2.1 | 198M| 36 | 5 | 40 |8581 | 40 | 17 | 22 | 873k|5217 | 0.000000e+00 | -- | Inf
349.21/349.28 c 349s| 1500k|255270 | 3102k| 2.1 | 199M| 36 | 5 | 40 |8233 | 40 | 17 | 22 | 880k|5231 | 0.000000e+00 | -- | Inf
351.91/351.97 c 352s| 1510k|256439 | 3123k| 2.1 | 200M| 36 | 5 | 40 |8055 | 40 | 17 | 22 | 886k|5247 | 0.000000e+00 | -- | Inf
354.41/354.48 c 354s| 1520k|257648 | 3144k| 2.1 | 201M| 36 | 5 | 40 |9162 | 40 | 17 | 22 | 892k|5265 | 0.000000e+00 | -- | Inf
357.00/357.02 c 357s| 1530k|258983 | 3165k| 2.1 | 203M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 899k|5281 | 0.000000e+00 | -- | Inf
359.61/359.68 c 360s| 1540k|260186 | 3185k| 2.1 | 204M| 36 | - | 40 | 10k| 0 | 0 | 22 | 905k|5289 | 0.000000e+00 | -- | Inf
362.51/362.56 c 363s| 1550k|261129 | 3206k| 2.1 | 205M| 36 | - | 40 |9105 | 40 | 17 | 22 | 911k|5304 | 0.000000e+00 | -- | Inf
365.31/365.36 c 365s| 1560k|262163 | 3227k| 2.1 | 206M| 36 | - | 40 |8704 | 40 | 17 | 22 | 918k|5316 | 0.000000e+00 | -- | Inf
368.11/368.19 c 368s| 1570k|263362 | 3247k| 2.1 | 207M| 36 | 5 | 40 |9229 | 40 | 17 | 22 | 924k|5332 | 0.000000e+00 | -- | Inf
370.81/370.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.81/370.88 c 371s| 1580k|264424 | 3268k| 2.1 | 208M| 36 | 5 | 40 |9796 | 40 | 17 | 22 | 930k|5346 | 0.000000e+00 | -- | Inf
373.70/373.72 c 374s| 1590k|265318 | 3289k| 2.1 | 209M| 36 | - | 40 |9700 | 40 | 17 | 22 | 937k|5364 | 0.000000e+00 | -- | Inf
376.51/376.55 c 377s| 1600k|266355 | 3310k| 2.1 | 210M| 36 | 5 | 40 |8688 | 40 | 17 | 22 | 944k|5377 | 0.000000e+00 | -- | Inf
379.10/379.17 c 379s| 1610k|267506 | 3331k| 2.1 | 211M| 36 | 5 | 40 |9891 | 40 | 17 | 22 | 950k|5392 | 0.000000e+00 | -- | Inf
381.71/381.73 c 382s| 1620k|268733 | 3351k| 2.1 | 212M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 956k|5404 | 0.000000e+00 | -- | Inf
384.80/384.81 c 385s| 1630k|269779 | 3372k| 2.1 | 213M| 36 | - | 40 |9626 | 40 | 17 | 22 | 963k|5411 | 0.000000e+00 | -- | Inf
387.50/387.59 c 388s| 1640k|270876 | 3392k| 2.1 | 214M| 36 | 5 | 40 |9274 | 40 | 17 | 22 | 969k|5428 | 0.000000e+00 | -- | Inf
390.31/390.31 c 390s| 1650k|272154 | 3413k| 2.1 | 216M| 36 | - | 40 | 10k| 40 | 17 | 22 | 976k|5442 | 0.000000e+00 | -- | Inf
393.11/393.16 c 393s| 1660k|273222 | 3434k| 2.1 | 217M| 36 | - | 40 |9515 | 40 | 17 | 22 | 982k|5460 | 0.000000e+00 | -- | Inf
395.91/395.97 c 396s| 1670k|274345 | 3454k| 2.1 | 218M| 36 | 5 | 40 |9542 | 40 | 17 | 22 | 988k|5471 | 0.000000e+00 | -- | Inf
398.11/398.20 c 398s| 1680k|275949 | 3475k| 2.1 | 220M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 994k|5484 | 0.000000e+00 | -- | Inf
401.01/401.09 c 401s| 1690k|276991 | 3494k| 2.1 | 220M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1001k|5506 | 0.000000e+00 | -- | Inf
403.50/403.59 c 404s| 1700k|278794 | 3516k| 2.1 | 222M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1006k|5523 | 0.000000e+00 | -- | Inf
406.00/406.07 c 406s| 1710k|280224 | 3537k| 2.1 | 224M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1012k|5536 | 0.000000e+00 | -- | Inf
409.01/409.08 c 409s| 1720k|281230 | 3558k| 2.1 | 225M| 36 | - | 40 | 14k| 0 | 0 | 22 |1019k|5556 | 0.000000e+00 | -- | Inf
412.80/412.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.80/412.80 c 413s| 1730k|282172 | 3578k| 2.1 | 225M| 36 | - | 40 | 12k| 40 | 17 | 22 |1025k|5571 | 0.000000e+00 | -- | Inf
416.01/416.02 c 416s| 1740k|283125 | 3598k| 2.1 | 226M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1032k|5591 | 0.000000e+00 | -- | Inf
418.81/418.87 c 419s| 1750k|284357 | 3618k| 2.1 | 227M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1039k|5602 | 0.000000e+00 | -- | Inf
421.60/421.64 c 422s| 1760k|285669 | 3640k| 2.1 | 229M| 36 | - | 40 | 12k| 40 | 17 | 22 |1045k|5623 | 0.000000e+00 | -- | Inf
424.81/424.84 c 425s| 1770k|286755 | 3660k| 2.1 | 229M| 36 | - | 40 | 10k| 40 | 17 | 22 |1051k|5642 | 0.000000e+00 | -- | Inf
428.11/428.12 c 428s| 1780k|287564 | 3681k| 2.1 | 230M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |1058k|5656 | 0.000000e+00 | -- | Inf
431.11/431.13 c 431s| 1790k|288511 | 3702k| 2.1 | 231M| 36 | 5 | 40 |9412 | 40 | 17 | 22 |1064k|5670 | 0.000000e+00 | -- | Inf
434.00/434.08 c 434s| 1800k|289421 | 3723k| 2.1 | 232M| 36 | - | 40 |9209 | 40 | 17 | 22 |1071k|5676 | 0.000000e+00 | -- | Inf
437.01/437.07 c 437s| 1810k|290121 | 3743k| 2.1 | 233M| 36 | - | 40 |8455 | 40 | 17 | 22 |1078k|5694 | 0.000000e+00 | -- | Inf
439.61/439.63 c 440s| 1820k|291177 | 3764k| 2.1 | 234M| 36 | 5 | 40 |9488 | 40 | 17 | 22 |1084k|5707 | 0.000000e+00 | -- | Inf
442.51/442.55 c 443s| 1830k|292088 | 3785k| 2.1 | 235M| 36 | 5 | 40 |9114 | 40 | 17 | 22 |1091k|5730 | 0.000000e+00 | -- | Inf
445.61/445.64 c 446s| 1840k|292857 | 3806k| 2.1 | 235M| 36 | 5 | 40 |8287 | 40 | 17 | 22 |1097k|5744 | 0.000000e+00 | -- | Inf
448.31/448.32 c 448s| 1850k|293897 | 3827k| 2.1 | 237M| 36 | 5 | 40 |9339 | 40 | 17 | 22 |1104k|5760 | 0.000000e+00 | -- | Inf
450.91/450.94 c 451s| 1860k|295165 | 3848k| 2.1 | 238M| 36 | 5 | 40 |9836 | 40 | 17 | 22 |1110k|5779 | 0.000000e+00 | -- | Inf
453.61/453.67 c 454s| 1870k|296238 | 3869k| 2.1 | 239M| 36 | - | 40 |9731 | 40 | 17 | 22 |1117k|5800 | 0.000000e+00 | -- | Inf
456.61/456.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.61/456.67 c 457s| 1880k|297104 | 3890k| 2.1 | 240M| 36 | - | 40 |8843 | 40 | 17 | 22 |1123k|5811 | 0.000000e+00 | -- | Inf
459.31/459.35 c 459s| 1890k|298207 | 3911k| 2.1 | 241M| 36 | - | 40 | 10k| 40 | 17 | 22 |1130k|5822 | 0.000000e+00 | -- | Inf
461.80/461.89 c 462s| 1900k|299368 | 3931k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1136k|5836 | 0.000000e+00 | -- | Inf
464.91/464.93 c 465s| 1910k|300280 | 3952k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1143k|5847 | 0.000000e+00 | -- | Inf
468.01/468.07 c 468s| 1920k|301293 | 3972k| 2.1 | 244M| 36 | - | 40 | 11k| 40 | 17 | 22 |1149k|5854 | 0.000000e+00 | -- | Inf
470.91/470.94 c 471s| 1930k|302614 | 3993k| 2.1 | 246M| 36 | - | 40 | 12k| 40 | 17 | 22 |1156k|5870 | 0.000000e+00 | -- | Inf
473.90/473.96 c 474s| 1940k|303803 | 4014k| 2.1 | 247M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1162k|5889 | 0.000000e+00 | -- | Inf
477.21/477.29 c 477s| 1950k|304566 | 4035k| 2.1 | 247M| 36 | 5 | 40 |9501 | 40 | 17 | 22 |1169k|5904 | 0.000000e+00 | -- | Inf
480.51/480.50 c 480s| 1960k|305231 | 4056k| 2.1 | 248M| 36 | - | 40 |8431 | 40 | 17 | 22 |1175k|5914 | 0.000000e+00 | -- | Inf
483.31/483.35 c 483s| 1970k|306127 | 4077k| 2.1 | 249M| 36 | - | 40 |8379 | 40 | 17 | 22 |1182k|5934 | 0.000000e+00 | -- | Inf
486.11/486.19 c 486s| 1980k|306966 | 4098k| 2.1 | 250M| 36 | 5 | 40 |8615 | 40 | 17 | 22 |1189k|5946 | 0.000000e+00 | -- | Inf
488.71/488.78 c 489s| 1990k|308178 | 4119k| 2.1 | 251M| 36 | - | 40 |9776 | 40 | 17 | 22 |1195k|5973 | 0.000000e+00 | -- | Inf
491.21/491.20 c 491s| 2000k|309787 | 4140k| 2.1 | 253M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1201k|5982 | 0.000000e+00 | -- | Inf
494.01/494.09 c 494s| 2010k|310825 | 4161k| 2.1 | 254M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1207k|5997 | 0.000000e+00 | -- | Inf
497.41/497.45 c 497s| 2020k|311686 | 4182k| 2.1 | 254M| 36 | - | 40 | 10k| 40 | 17 | 22 |1214k|6009 | 0.000000e+00 | -- | Inf
500.31/500.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.31/500.37 c 500s| 2030k|312713 | 4203k| 2.1 | 256M| 36 | - | 40 | 11k| 40 | 17 | 22 |1221k|6021 | 0.000000e+00 | -- | Inf
503.41/503.47 c 503s| 2040k|313903 | 4225k| 2.1 | 257M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1227k|6031 | 0.000000e+00 | -- | Inf
506.51/506.51 c 507s| 2050k|315085 | 4245k| 2.1 | 257M| 36 | - | 40 |9630 | 40 | 17 | 22 |1233k|6053 | 0.000000e+00 | -- | Inf
509.00/509.01 c 509s| 2060k|316468 | 4266k| 2.1 | 259M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1239k|6063 | 0.000000e+00 | -- | Inf
512.21/512.21 c 512s| 2070k|317450 | 4287k| 2.1 | 260M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1246k|6083 | 0.000000e+00 | -- | Inf
515.31/515.35 c 515s| 2080k|318394 | 4307k| 2.1 | 260M| 36 | 5 | 40 |8884 | 40 | 17 | 22 |1252k|6093 | 0.000000e+00 | -- | Inf
518.01/518.06 c 518s| 2090k|319460 | 4329k| 2.1 | 262M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1259k|6112 | 0.000000e+00 | -- | Inf
520.61/520.62 c 521s| 2100k|321096 | 4349k| 2.1 | 264M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1265k|6120 | 0.000000e+00 | -- | Inf
523.91/523.99 c 524s| 2110k|321925 | 4370k| 2.1 | 264M| 36 | - | 40 | 11k| 0 | 0 | 22 |1272k|6135 | 0.000000e+00 | -- | Inf
527.31/527.38 c 527s| 2120k|322879 | 4391k| 2.1 | 265M| 36 | - | 40 | 11k| 40 | 17 | 22 |1278k|6146 | 0.000000e+00 | -- | Inf
530.81/530.85 c 531s| 2130k|323552 | 4412k| 2.1 | 266M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1285k|6165 | 0.000000e+00 | -- | Inf
533.41/533.42 c 533s| 2140k|325119 | 4433k| 2.1 | 268M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1291k|6176 | 0.000000e+00 | -- | Inf
536.51/536.56 c 537s| 2150k|326092 | 4453k| 2.1 | 268M| 36 | - | 40 | 10k| 40 | 17 | 22 |1298k|6185 | 0.000000e+00 | -- | Inf
539.31/539.39 c 539s| 2160k|327166 | 4473k| 2.1 | 270M| 36 | - | 40 | 11k| 40 | 17 | 22 |1304k|6194 | 0.000000e+00 | -- | Inf
542.91/542.99 c 543s| 2170k|327840 | 4494k| 2.1 | 270M| 36 | - | 40 |9921 | 40 | 17 | 22 |1311k|6203 | 0.000000e+00 | -- | Inf
545.81/545.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.81/545.88 c 546s| 2180k|329187 | 4514k| 2.1 | 271M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1317k|6220 | 0.000000e+00 | -- | Inf
548.31/548.39 c 548s| 2190k|330491 | 4534k| 2.1 | 273M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1323k|6229 | 0.000000e+00 | -- | Inf
550.81/550.86 c 551s| 2200k|332070 | 4554k| 2.1 | 274M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1329k|6239 | 0.000000e+00 | -- | Inf
553.82/553.83 c 554s| 2210k|332974 | 4573k| 2.1 | 275M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1336k|6265 | 0.000000e+00 | -- | Inf
557.11/557.10 c 557s| 2220k|333618 | 4593k| 2.1 | 276M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1343k|6274 | 0.000000e+00 | -- | Inf
561.01/561.07 c 561s| 2230k|334185 | 4614k| 2.1 | 277M| 36 | - | 40 | 11k| 40 | 17 | 22 |1350k|6288 | 0.000000e+00 | -- | Inf
564.32/564.31 c 564s| 2240k|335048 | 4634k| 2.1 | 277M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1356k|6289 | 0.000000e+00 | -- | Inf
566.81/566.89 c 567s| 2250k|336824 | 4654k| 2.1 | 279M| 36 | - | 40 | 10k| 40 | 17 | 22 |1362k|6299 | 0.000000e+00 | -- | Inf
569.31/569.38 c 569s| 2260k|338538 | 4673k| 2.1 | 280M| 36 | 5 | 40 |9998 | 40 | 17 | 22 |1368k|6304 | 0.000000e+00 | -- | Inf
571.81/571.80 c 572s| 2270k|340389 | 4691k| 2.1 | 282M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1373k|6307 | 0.000000e+00 | -- | Inf
574.42/574.46 c 574s| 2280k|342063 | 4710k| 2.1 | 283M| 36 | - | 40 | 12k| 40 | 17 | 22 |1379k|6317 | 0.000000e+00 | -- | Inf
577.42/577.43 c 577s| 2290k|343099 | 4728k| 2.1 | 284M| 36 | - | 40 | 10k| 40 | 17 | 22 |1385k|6321 | 0.000000e+00 | -- | Inf
580.42/580.42 c 580s| 2300k|343924 | 4747k| 2.1 | 285M| 36 | - | 40 | 10k| 40 | 17 | 22 |1391k|6330 | 0.000000e+00 | -- | Inf
583.12/583.17 c 583s| 2310k|345220 | 4766k| 2.1 | 286M| 36 | - | 40 | 11k| 0 | 0 | 22 |1398k|6346 | 0.000000e+00 | -- | Inf
586.02/586.07 c 586s| 2320k|346134 | 4785k| 2.1 | 287M| 36 | - | 40 | 12k| 40 | 17 | 22 |1404k|6354 | 0.000000e+00 | -- | Inf
589.31/589.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.31/589.30 c 589s| 2330k|346863 | 4804k| 2.1 | 288M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1411k|6360 | 0.000000e+00 | -- | Inf
592.51/592.53 c 593s| 2340k|347497 | 4823k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1417k|6374 | 0.000000e+00 | -- | Inf
595.61/595.65 c 596s| 2350k|348199 | 4842k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1424k|6382 | 0.000000e+00 | -- | Inf
599.62/599.65 c 600s| 2360k|348578 | 4863k| 2.1 | 289M| 36 | - | 40 |9480 | 40 | 17 | 22 |1431k|6401 | 0.000000e+00 | -- | Inf
602.82/602.86 c 603s| 2370k|349325 | 4884k| 2.1 | 290M| 36 | - | 40 |9332 | 40 | 17 | 22 |1438k|6417 | 0.000000e+00 | -- | Inf
605.92/605.92 c 606s| 2380k|350182 | 4904k| 2.1 | 291M| 36 | - | 40 |9727 | 0 | 0 | 22 |1444k|6418 | 0.000000e+00 | -- | Inf
609.11/609.15 c 609s| 2390k|350977 | 4925k| 2.1 | 292M| 36 | - | 40 |9527 | 40 | 17 | 22 |1451k|6428 | 0.000000e+00 | -- | Inf
612.01/612.00 c 612s| 2400k|352170 | 4946k| 2.1 | 293M| 36 | 5 | 40 |9176 | 40 | 17 | 22 |1458k|6435 | 0.000000e+00 | -- | Inf
614.51/614.57 c 615s| 2410k|353296 | 4966k| 2.1 | 294M| 36 | - | 40 |9509 | 40 | 17 | 22 |1464k|6446 | 0.000000e+00 | -- | Inf
617.02/617.02 c 617s| 2420k|354306 | 4987k| 2.1 | 296M| 36 | - | 40 | 11k| 40 | 17 | 22 |1471k|6457 | 0.000000e+00 | -- | Inf
620.11/620.12 c 620s| 2430k|355112 | 5008k| 2.1 | 296M| 36 | 5 | 40 |9687 | 40 | 17 | 22 |1478k|6470 | 0.000000e+00 | -- | Inf
622.81/622.89 c 623s| 2440k|356245 | 5028k| 2.1 | 298M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1485k|6479 | 0.000000e+00 | -- | Inf
625.82/625.84 c 626s| 2450k|357283 | 5049k| 2.1 | 299M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1491k|6492 | 0.000000e+00 | -- | Inf
628.51/628.57 c 629s| 2460k|358513 | 5070k| 2.1 | 300M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1498k|6506 | 0.000000e+00 | -- | Inf
631.51/631.55 c 632s| 2470k|359504 | 5091k| 2.1 | 301M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1504k|6513 | 0.000000e+00 | -- | Inf
635.01/635.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.01/635.06 c 635s| 2480k|360189 | 5112k| 2.1 | 302M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1511k|6525 | 0.000000e+00 | -- | Inf
638.61/638.61 c 639s| 2490k|360823 | 5132k| 2.1 | 302M| 36 | - | 40 |9127 | 40 | 17 | 22 |1518k|6546 | 0.000000e+00 | -- | Inf
641.62/641.68 c 642s| 2500k|361596 | 5153k| 2.1 | 303M| 36 | 5 | 40 |8641 | 40 | 17 | 22 |1524k|6551 | 0.000000e+00 | -- | Inf
644.71/644.70 c 645s| 2510k|362273 | 5173k| 2.1 | 304M| 36 | 5 | 40 |9173 | 40 | 17 | 22 |1531k|6566 | 0.000000e+00 | -- | Inf
647.31/647.35 c 647s| 2520k|363429 | 5193k| 2.1 | 305M| 36 | - | 40 |9959 | 0 | 0 | 22 |1537k|6572 | 0.000000e+00 | -- | Inf
649.92/649.99 c 650s| 2530k|364244 | 5212k| 2.1 | 306M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1544k|6576 | 0.000000e+00 | -- | Inf
652.81/652.86 c 653s| 2540k|365440 | 5232k| 2.1 | 307M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1550k|6590 | 0.000000e+00 | -- | Inf
655.52/655.53 c 656s| 2550k|366903 | 5252k| 2.1 | 309M| 36 | - | 40 | 12k| 40 | 17 | 22 |1556k|6608 | 0.000000e+00 | -- | Inf
658.92/658.92 c 659s| 2560k|367785 | 5272k| 2.1 | 310M| 36 | - | 40 | 12k| 40 | 17 | 22 |1563k|6616 | 0.000000e+00 | -- | Inf
662.31/662.35 c 662s| 2570k|368520 | 5293k| 2.1 | 310M| 36 | - | 40 |9995 | 40 | 17 | 22 |1570k|6635 | 0.000000e+00 | -- | Inf
665.52/665.57 c 666s| 2580k|369259 | 5314k| 2.1 | 311M| 36 | 5 | 40 |9686 | 40 | 17 | 22 |1577k|6645 | 0.000000e+00 | -- | Inf
668.82/668.82 c 669s| 2590k|369989 | 5335k| 2.1 | 312M| 36 | 5 | 40 |9057 | 40 | 17 | 22 |1583k|6653 | 0.000000e+00 | -- | Inf
671.91/671.95 c 672s| 2600k|370646 | 5355k| 2.1 | 312M| 36 | 5 | 40 |8895 | 40 | 17 | 22 |1590k|6675 | 0.000000e+00 | -- | Inf
675.02/675.02 c 675s| 2610k|371421 | 5376k| 2.1 | 313M| 36 | - | 40 |9692 | 40 | 17 | 22 |1596k|6689 | 0.000000e+00 | -- | Inf
677.42/677.45 c 677s| 2620k|373185 | 5397k| 2.1 | 315M| 36 | - | 40 | 11k| 0 | 0 | 22 |1602k|6700 | 0.000000e+00 | -- | Inf
680.42/680.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.42/680.49 c 680s| 2630k|373938 | 5418k| 2.1 | 317M| 36 | - | 40 | 12k| 40 | 17 | 22 |1609k|6718 | 0.000000e+00 | -- | Inf
684.31/684.33 c 684s| 2640k|374533 | 5439k| 2.1 | 317M| 36 | - | 40 | 10k| 40 | 17 | 22 |1616k|6735 | 0.000000e+00 | -- | Inf
687.61/687.66 c 688s| 2650k|375200 | 5459k| 2.1 | 317M| 36 | 5 | 40 |9294 | 40 | 17 | 22 |1622k|6747 | 0.000000e+00 | -- | Inf
690.72/690.77 c 691s| 2660k|376053 | 5480k| 2.1 | 318M| 36 | 5 | 40 |9894 | 40 | 17 | 22 |1629k|6758 | 0.000000e+00 | -- | Inf
693.61/693.65 c 694s| 2670k|377079 | 5501k| 2.1 | 320M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1636k|6769 | 0.000000e+00 | -- | Inf
696.62/696.64 c 697s| 2680k|378059 | 5522k| 2.1 | 321M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1642k|6779 | 0.000000e+00 | -- | Inf
699.41/699.44 c 699s| 2690k|379085 | 5542k| 2.1 | 322M| 36 | - | 40 | 12k| 40 | 17 | 22 |1649k|6790 | 0.000000e+00 | -- | Inf
702.52/702.57 c 703s| 2700k|380468 | 5564k| 2.1 | 323M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1655k|6805 | 0.000000e+00 | -- | Inf
705.32/705.37 c 705s| 2710k|382030 | 5585k| 2.1 | 325M| 36 | - | 40 | 13k| 40 | 17 | 22 |1661k|6819 | 0.000000e+00 | -- | Inf
708.72/708.71 c 709s| 2720k|382863 | 5607k| 2.1 | 326M| 36 | - | 40 | 14k| 40 | 17 | 22 |1668k|6825 | 0.000000e+00 | -- | Inf
711.73/711.78 c 712s| 2730k|384260 | 5627k| 2.1 | 327M| 36 | - | 40 | 15k| 40 | 17 | 22 |1674k|6838 | 0.000000e+00 | -- | Inf
714.92/714.96 c 715s| 2740k|385690 | 5647k| 2.1 | 329M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1680k|6854 | 0.000000e+00 | -- | Inf
718.33/718.33 c 718s| 2750k|387186 | 5669k| 2.1 | 330M| 36 | - | 40 | 17k| 40 | 17 | 22 |1686k|6863 | 0.000000e+00 | -- | Inf
722.21/722.23 c 722s| 2760k|388006 | 5690k| 2.1 | 332M| 36 | - | 40 | 18k| 40 | 17 | 22 |1692k|6880 | 0.000000e+00 | -- | Inf
725.72/725.79 c 726s| 2770k|389255 | 5712k| 2.1 | 333M| 36 | - | 40 | 19k| 40 | 17 | 22 |1699k|6890 | 0.000000e+00 | -- | Inf
729.62/729.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
729.62/729.62 c 730s| 2780k|390425 | 5733k| 2.1 | 334M| 36 | - | 40 | 18k| 40 | 17 | 22 |1705k|6900 | 0.000000e+00 | -- | Inf
733.62/733.69 c 734s| 2790k|391345 | 5752k| 2.1 | 334M| 36 | - | 40 | 16k| 40 | 17 | 22 |1712k|6913 | 0.000000e+00 | -- | Inf
737.72/737.75 c 738s| 2800k|392104 | 5773k| 2.1 | 335M| 36 | - | 40 | 14k| 40 | 17 | 22 |1719k|6925 | 0.000000e+00 | -- | Inf
740.92/740.96 c 741s| 2810k|393142 | 5793k| 2.1 | 336M| 36 | - | 40 | 15k| 40 | 17 | 22 |1725k|6931 | 0.000000e+00 | -- | Inf
744.12/744.15 c 744s| 2820k|394674 | 5814k| 2.1 | 338M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1731k|6939 | 0.000000e+00 | -- | Inf
747.72/747.71 c 748s| 2830k|395703 | 5834k| 2.1 | 339M| 36 | - | 40 | 16k| 40 | 17 | 22 |1738k|6955 | 0.000000e+00 | -- | Inf
751.92/751.99 c 752s| 2840k|396443 | 5855k| 2.1 | 339M| 36 | - | 40 | 13k| 40 | 17 | 22 |1744k|6966 | 0.000000e+00 | -- | Inf
755.52/755.59 c 756s| 2850k|397380 | 5876k| 2.1 | 339M| 36 | - | 40 | 12k| 40 | 17 | 22 |1751k|6982 | 0.000000e+00 | -- | Inf
758.42/758.48 c 758s| 2860k|398698 | 5897k| 2.1 | 341M| 36 | - | 40 | 14k| 40 | 17 | 22 |1757k|6989 | 0.000000e+00 | -- | Inf
762.02/762.03 c 762s| 2870k|399473 | 5917k| 2.1 | 342M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1764k|7003 | 0.000000e+00 | -- | Inf
766.02/766.05 c 766s| 2880k|400162 | 5938k| 2.1 | 342M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1771k|7011 | 0.000000e+00 | -- | Inf
769.52/769.56 c 770s| 2890k|400887 | 5958k| 2.1 | 343M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1778k|7020 | 0.000000e+00 | -- | Inf
772.13/772.17 c 772s| 2900k|403110 | 5980k| 2.1 | 344M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1783k|7031 | 0.000000e+00 | -- | Inf
774.62/774.60 c 775s| 2910k|405263 | 6000k| 2.1 | 346M| 36 | - | 40 | 12k| 40 | 17 | 22 |1789k|7046 | 0.000000e+00 | -- | Inf
777.22/777.22 c 777s| 2920k|407270 | 6021k| 2.1 | 348M| 36 | - | 40 | 12k| 40 | 17 | 22 |1794k|7056 | 0.000000e+00 | -- | Inf
779.62/779.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.62/779.63 c 780s| 2930k|409668 | 6042k| 2.1 | 350M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1800k|7064 | 0.000000e+00 | -- | Inf
782.82/782.88 c 783s| 2940k|411221 | 6063k| 2.1 | 351M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1806k|7078 | 0.000000e+00 | -- | Inf
786.02/786.02 c 786s| 2950k|412646 | 6084k| 2.1 | 352M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1812k|7085 | 0.000000e+00 | -- | Inf
789.32/789.31 c 789s| 2960k|413851 | 6104k| 2.1 | 353M| 36 | - | 40 | 13k| 40 | 17 | 22 |1818k|7101 | 0.000000e+00 | -- | Inf
792.42/792.40 c 792s| 2970k|415226 | 6125k| 2.1 | 355M| 36 | - | 40 | 13k| 40 | 17 | 22 |1824k|7105 | 0.000000e+00 | -- | Inf
795.62/795.65 c 796s| 2980k|416460 | 6145k| 2.1 | 356M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1831k|7120 | 0.000000e+00 | -- | Inf
798.72/798.79 c 799s| 2990k|417832 | 6165k| 2.1 | 357M| 36 | - | 40 | 15k| 40 | 17 | 22 |1837k|7131 | 0.000000e+00 | -- | Inf
801.72/801.74 c 802s| 3000k|419784 | 6186k| 2.1 | 359M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1843k|7142 | 0.000000e+00 | -- | Inf
805.23/805.20 c 805s| 3010k|421103 | 6207k| 2.1 | 361M| 36 | - | 40 | 18k| 0 | 0 | 22 |1849k|7158 | 0.000000e+00 | -- | Inf
808.92/808.93 c 809s| 3020k|422179 | 6228k| 2.1 | 362M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1856k|7165 | 0.000000e+00 | -- | Inf
812.83/812.82 c 813s| 3030k|423353 | 6250k| 2.1 | 364M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1863k|7173 | 0.000000e+00 | -- | Inf
817.02/817.05 c 817s| 3040k|424410 | 6271k| 2.1 | 364M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1870k|7186 | 0.000000e+00 | -- | Inf
820.62/820.63 c 821s| 3050k|425920 | 6291k| 2.1 | 365M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1876k|7198 | 0.000000e+00 | -- | Inf
824.82/824.81 c 825s| 3060k|426772 | 6312k| 2.1 | 366M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1883k|7204 | 0.000000e+00 | -- | Inf
829.32/829.31 c 829s| 3070k|427309 | 6333k| 2.1 | 367M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1889k|7218 | 0.000000e+00 | -- | Inf
832.92/832.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.92/832.94 c 833s| 3080k|428289 | 6354k| 2.1 | 368M| 36 | - | 40 | 16k| 40 | 17 | 22 |1896k|7230 | 0.000000e+00 | -- | Inf
837.23/837.22 c 837s| 3090k|428901 | 6374k| 2.1 | 368M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1903k|7243 | 0.000000e+00 | -- | Inf
840.83/840.80 c 841s| 3100k|429906 | 6395k| 2.1 | 370M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1910k|7252 | 0.000000e+00 | -- | Inf
844.72/844.80 c 845s| 3110k|431146 | 6416k| 2.1 | 371M| 36 | - | 40 | 15k| 0 | 0 | 22 |1916k|7267 | 0.000000e+00 | -- | Inf
847.82/847.87 c 848s| 3120k|433029 | 6436k| 2.1 | 372M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1922k|7276 | 0.000000e+00 | -- | Inf
851.02/851.01 c 851s| 3130k|434804 | 6457k| 2.1 | 374M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1928k|7284 | 0.000000e+00 | -- | Inf
854.93/854.92 c 855s| 3140k|436274 | 6477k| 2.1 | 375M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1934k|7299 | 0.000000e+00 | -- | Inf
858.92/858.99 c 859s| 3150k|437303 | 6498k| 2.1 | 376M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1941k|7311 | 0.000000e+00 | -- | Inf
862.92/862.94 c 863s| 3160k|438269 | 6519k| 2.1 | 377M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1948k|7321 | 0.000000e+00 | -- | Inf
867.53/867.50 c 868s| 3170k|438988 | 6539k| 2.1 | 378M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1954k|7329 | 0.000000e+00 | -- | Inf
871.72/871.75 c 872s| 3180k|440050 | 6559k| 2.1 | 379M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1961k|7338 | 0.000000e+00 | -- | Inf
874.92/874.99 c 875s| 3190k|441454 | 6580k| 2.1 | 381M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1967k|7347 | 0.000000e+00 | -- | Inf
879.02/879.07 c 879s| 3200k|442447 | 6601k| 2.1 | 382M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1974k|7361 | 0.000000e+00 | -- | Inf
883.92/883.98 c 884s| 3210k|443196 | 6621k| 2.1 | 382M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1980k|7374 | 0.000000e+00 | -- | Inf
887.73/887.78 c 888s| 3220k|444770 | 6642k| 2.1 | 383M| 36 | - | 40 | 17k| 40 | 17 | 22 |1986k|7389 | 0.000000e+00 | -- | Inf
891.23/891.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.23/891.22 c 891s| 3230k|446536 | 6662k| 2.1 | 385M| 36 | - | 40 | 18k| 40 | 17 | 22 |1992k|7392 | 0.000000e+00 | -- | Inf
894.93/894.98 c 895s| 3240k|447792 | 6682k| 2.1 | 386M| 36 | - | 40 | 19k| 40 | 17 | 22 |1999k|7399 | 0.000000e+00 | -- | Inf
898.93/898.92 c 899s| 3250k|448951 | 6702k| 2.1 | 388M| 36 | - | 40 | 21k| 40 | 17 | 22 |2005k|7412 | 0.000000e+00 | -- | Inf
902.82/902.85 c 903s| 3260k|450405 | 6723k| 2.1 | 389M| 36 | 5 | 40 | 22k| 40 | 17 | 22 |2011k|7426 | 0.000000e+00 | -- | Inf
907.13/907.12 c 907s| 3270k|451723 | 6743k| 2.1 | 391M| 36 | - | 40 | 23k| 40 | 17 | 22 |2018k|7432 | 0.000000e+00 | -- | Inf
913.62/913.61 c 914s| 3280k|452271 | 6764k| 2.1 | 390M| 36 | - | 40 | 15k| 40 | 17 | 22 |2025k|7445 | 0.000000e+00 | -- | Inf
917.52/917.56 c 918s| 3290k|453035 | 6784k| 2.1 | 390M| 36 | - | 40 | 14k| 0 | 0 | 22 |2031k|7458 | 0.000000e+00 | -- | Inf
921.83/921.85 c 922s| 3300k|453643 | 6805k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2038k|7462 | 0.000000e+00 | -- | Inf
925.52/925.51 c 926s| 3310k|454588 | 6826k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2045k|7474 | 0.000000e+00 | -- | Inf
929.32/929.39 c 929s| 3320k|455172 | 6846k| 2.1 | 392M| 36 | - | 40 |9860 | 40 | 17 | 22 |2052k|7486 | 0.000000e+00 | -- | Inf
932.63/932.64 c 933s| 3330k|456019 | 6867k| 2.1 | 393M| 36 | - | 40 | 10k| 40 | 17 | 22 |2058k|7494 | 0.000000e+00 | -- | Inf
936.53/936.50 c 936s| 3340k|456601 | 6888k| 2.1 | 394M| 36 | - | 40 | 10k| 40 | 17 | 22 |2065k|7510 | 0.000000e+00 | -- | Inf
939.43/939.46 c 939s| 3350k|457771 | 6911k| 2.1 | 395M| 36 | - | 40 | 11k| 40 | 17 | 22 |2072k|7521 | 0.000000e+00 | -- | Inf
942.93/942.90 c 943s| 3360k|458635 | 6932k| 2.1 | 396M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2079k|7528 | 0.000000e+00 | -- | Inf
946.83/946.82 c 947s| 3370k|459161 | 6953k| 2.1 | 396M| 36 | 5 | 40 |9616 | 40 | 17 | 22 |2086k|7542 | 0.000000e+00 | -- | Inf
950.52/950.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.52/950.52 c 951s| 3380k|459736 | 6974k| 2.1 | 397M| 36 | 5 | 40 |9470 | 40 | 17 | 22 |2093k|7551 | 0.000000e+00 | -- | Inf
953.43/953.48 c 953s| 3390k|460561 | 6994k| 2.1 | 398M| 36 | - | 40 | 10k| 40 | 17 | 22 |2099k|7561 | 0.000000e+00 | -- | Inf
957.53/957.54 c 958s| 3400k|460926 | 7015k| 2.1 | 399M| 36 | - | 40 |9710 | 40 | 17 | 22 |2106k|7571 | 0.000000e+00 | -- | Inf
960.82/960.81 c 961s| 3410k|461767 | 7035k| 2.1 | 400M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2113k|7580 | 0.000000e+00 | -- | Inf
963.23/963.23 c 963s| 3420k|463615 | 7056k| 2.1 | 402M| 36 | - | 40 | 12k| 0 | 0 | 22 |2119k|7592 | 0.000000e+00 | -- | Inf
966.23/966.21 c 966s| 3430k|464529 | 7077k| 2.1 | 403M| 36 | - | 40 | 12k| 0 | 0 | 22 |2125k|7612 | 0.000000e+00 | -- | Inf
970.23/970.29 c 970s| 3440k|465099 | 7097k| 2.1 | 403M| 36 | - | 40 | 10k| 40 | 17 | 22 |2132k|7625 | 0.000000e+00 | -- | Inf
973.92/973.99 c 974s| 3450k|465599 | 7118k| 2.1 | 403M| 36 | - | 40 |8739 | 0 | 0 | 22 |2139k|7632 | 0.000000e+00 | -- | Inf
977.33/977.35 c 977s| 3460k|466134 | 7139k| 2.1 | 404M| 36 | - | 40 |8920 | 0 | 0 | 22 |2146k|7641 | 0.000000e+00 | -- | Inf
980.73/980.78 c 981s| 3470k|466683 | 7160k| 2.1 | 405M| 36 | 5 | 40 |9938 | 40 | 17 | 22 |2153k|7644 | 0.000000e+00 | -- | Inf
984.53/984.53 c 985s| 3480k|467067 | 7180k| 2.1 | 406M| 36 | 5 | 40 |8983 | 40 | 17 | 22 |2160k|7653 | 0.000000e+00 | -- | Inf
987.03/987.06 c 987s| 3490k|468651 | 7201k| 2.1 | 407M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2166k|7663 | 0.000000e+00 | -- | Inf
990.12/990.17 c 990s| 3500k|469247 | 7222k| 2.1 | 408M| 36 | - | 40 | 11k| 0 | 0 | 22 |2173k|7677 | 0.000000e+00 | -- | Inf
994.13/994.16 c 994s| 3510k|469670 | 7242k| 2.1 | 409M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2180k|7694 | 0.000000e+00 | -- | Inf
997.63/997.64 c 998s| 3520k|470370 | 7263k| 2.1 | 410M| 36 | - | 40 | 10k| 40 | 17 | 22 |2187k|7705 | 0.000000e+00 | -- | Inf
1000.63/1000.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.63/1000.67 c 1001s| 3530k|471217 | 7283k| 2.1 | 411M| 36 | - | 40 | 11k| 40 | 17 | 22 |2194k|7713 | 0.000000e+00 | -- | Inf
1004.72/1004.76 c 1005s| 3540k|471562 | 7304k| 2.1 | 411M| 36 | - | 40 |9315 | 40 | 17 | 22 |2201k|7730 | 0.000000e+00 | -- | Inf
1007.64/1007.65 c 1008s| 3550k|473276 | 7324k| 2.1 | 412M| 36 | 5 | 40 |9920 | 40 | 17 | 22 |2207k|7733 | 0.000000e+00 | -- | Inf
1010.13/1010.17 c 1010s| 3560k|475223 | 7345k| 2.1 | 414M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2213k|7746 | 0.000000e+00 | -- | Inf
1012.83/1012.81 c 1013s| 3570k|477150 | 7365k| 2.1 | 416M| 36 | - | 40 | 13k| 40 | 17 | 22 |2219k|7753 | 0.000000e+00 | -- | Inf
1015.83/1015.85 c 1016s| 3580k|478690 | 7386k| 2.1 | 418M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2225k|7759 | 0.000000e+00 | -- | Inf
1019.12/1019.12 c 1019s| 3590k|480030 | 7406k| 2.1 | 419M| 36 | - | 40 | 14k| 40 | 17 | 22 |2231k|7764 | 0.000000e+00 | -- | Inf
1022.13/1022.16 c 1022s| 3600k|481584 | 7427k| 2.1 | 420M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2237k|7772 | 0.000000e+00 | -- | Inf
1025.62/1025.67 c 1026s| 3610k|482786 | 7447k| 2.1 | 422M| 36 | - | 40 | 15k| 40 | 17 | 22 |2243k|7778 | 0.000000e+00 | -- | Inf
1029.64/1029.62 c 1030s| 3620k|483744 | 7467k| 2.1 | 422M| 36 | - | 40 | 14k| 0 | 0 | 22 |2250k|7791 | 0.000000e+00 | -- | Inf
1033.03/1033.05 c 1033s| 3630k|484863 | 7488k| 2.1 | 424M| 36 | - | 40 | 15k| 0 | 0 | 22 |2256k|7795 | 0.000000e+00 | -- | Inf
1036.83/1036.80 c 1037s| 3640k|485877 | 7509k| 2.1 | 425M| 36 | - | 40 | 15k| 40 | 17 | 22 |2263k|7797 | 0.000000e+00 | -- | Inf
1040.03/1040.03 c 1040s| 3650k|487197 | 7529k| 2.1 | 426M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2269k|7812 | 0.000000e+00 | -- | Inf
1044.23/1044.20 c 1044s| 3660k|488118 | 7550k| 2.1 | 427M| 36 | - | 40 | 17k| 40 | 17 | 22 |2276k|7817 | 0.000000e+00 | -- | Inf
1048.62/1048.64 c 1049s| 3670k|488896 | 7571k| 2.1 | 428M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2283k|7822 | 0.000000e+00 | -- | Inf
1052.23/1052.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.23/1052.22 c 1052s| 3680k|490509 | 7591k| 2.1 | 430M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2289k|7836 | 0.000000e+00 | -- | Inf
1056.53/1056.57 c 1057s| 3690k|491303 | 7612k| 2.1 | 431M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |2296k|7847 | 0.000000e+00 | -- | Inf
1061.63/1061.63 c 1062s| 3700k|491889 | 7631k| 2.1 | 432M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2302k|7866 | 0.000000e+00 | -- | Inf
1066.23/1066.28 c 1066s| 3710k|492500 | 7652k| 2.1 | 433M| 36 | - | 40 | 18k| 40 | 17 | 22 |2309k|7887 | 0.000000e+00 | -- | Inf
1071.63/1071.65 c 1072s| 3720k|493075 | 7673k| 2.1 | 432M| 36 | - | 40 | 13k| 40 | 17 | 22 |2316k|7893 | 0.000000e+00 | -- | Inf
1076.03/1076.06 c 1076s| 3730k|493831 | 7693k| 2.1 | 432M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2323k|7905 | 0.000000e+00 | -- | Inf
1079.33/1079.35 c 1079s| 3740k|495057 | 7714k| 2.1 | 433M| 36 | - | 40 | 11k| 40 | 17 | 22 |2329k|7918 | 0.000000e+00 | -- | Inf
1082.44/1082.48 c 1082s| 3750k|496532 | 7735k| 2.1 | 434M| 36 | - | 40 | 11k| 40 | 17 | 22 |2336k|7930 | 0.000000e+00 | -- | Inf
1085.23/1085.21 c 1085s| 3760k|498317 | 7756k| 2.1 | 436M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2341k|7944 | 0.000000e+00 | -- | Inf
1088.33/1088.39 c 1088s| 3770k|499681 | 7776k| 2.1 | 438M| 36 | - | 40 | 13k| 40 | 17 | 22 |2348k|7948 | 0.000000e+00 | -- | Inf
1091.73/1091.70 c 1092s| 3780k|500777 | 7797k| 2.1 | 439M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2354k|7962 | 0.000000e+00 | -- | Inf
1095.13/1095.10 c 1095s| 3790k|501775 | 7817k| 2.1 | 440M| 36 | - | 40 | 14k| 40 | 17 | 22 |2361k|7980 | 0.000000e+00 | -- | Inf
1098.73/1098.79 c 1099s| 3800k|502666 | 7838k| 2.1 | 441M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2367k|7985 | 0.000000e+00 | -- | Inf
1102.54/1102.51 c 1103s| 3810k|503396 | 7859k| 2.1 | 443M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2374k|7990 | 0.000000e+00 | -- | Inf
1106.73/1106.78 c 1107s| 3820k|504125 | 7879k| 2.1 | 443M| 36 | - | 40 | 14k| 40 | 17 | 22 |2381k|8003 | 0.000000e+00 | -- | Inf
1110.83/1110.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.83/1110.82 c 1111s| 3830k|504962 | 7900k| 2.1 | 443M| 36 | - | 40 | 13k| 40 | 17 | 22 |2388k|8011 | 0.000000e+00 | -- | Inf
1114.13/1114.16 c 1114s| 3840k|506236 | 7921k| 2.1 | 445M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2394k|8023 | 0.000000e+00 | -- | Inf
1118.04/1118.03 c 1118s| 3850k|506823 | 7941k| 2.1 | 446M| 36 | - | 40 | 14k| 0 | 0 | 22 |2401k|8029 | 0.000000e+00 | -- | Inf
1120.94/1120.96 c 1121s| 3860k|509248 | 7962k| 2.1 | 447M| 36 | - | 40 | 14k| 40 | 17 | 22 |2407k|8039 | 0.000000e+00 | -- | Inf
1124.24/1124.25 c 1124s| 3870k|510863 | 7983k| 2.1 | 449M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2413k|8048 | 0.000000e+00 | -- | Inf
1127.83/1127.87 c 1128s| 3880k|512077 | 8004k| 2.1 | 450M| 36 | - | 40 | 16k| 40 | 17 | 22 |2419k|8053 | 0.000000e+00 | -- | Inf
1131.63/1131.61 c 1132s| 3890k|513219 | 8025k| 2.1 | 451M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2426k|8061 | 0.000000e+00 | -- | Inf
1135.73/1135.74 c 1136s| 3900k|514093 | 8046k| 2.1 | 453M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2433k|8075 | 0.000000e+00 | -- | Inf
1139.93/1139.93 c 1140s| 3910k|514852 | 8067k| 2.1 | 454M| 36 | - | 40 | 17k| 40 | 17 | 22 |2439k|8084 | 0.000000e+00 | -- | Inf
1144.04/1144.02 c 1144s| 3920k|515545 | 8088k| 2.1 | 455M| 36 | - | 40 | 17k| 40 | 17 | 22 |2446k|8090 | 0.000000e+00 | -- | Inf
1148.74/1148.72 c 1149s| 3930k|515905 | 8109k| 2.1 | 455M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2453k|8107 | 0.000000e+00 | -- | Inf
1153.33/1153.31 c 1153s| 3940k|516530 | 8129k| 2.1 | 456M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2460k|8121 | 0.000000e+00 | -- | Inf
1157.74/1157.76 c 1158s| 3950k|517267 | 8150k| 2.1 | 456M| 36 | - | 40 | 13k| 40 | 17 | 22 |2467k|8129 | 0.000000e+00 | -- | Inf
1160.44/1160.47 c 1160s| 3960k|518847 | 8171k| 2.1 | 458M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2473k|8137 | 0.000000e+00 | -- | Inf
1163.74/1163.73 c 1164s| 3970k|520321 | 8193k| 2.1 | 459M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2479k|8144 | 0.000000e+00 | -- | Inf
1167.83/1167.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.83/1167.84 c 1168s| 3980k|520878 | 8214k| 2.1 | 460M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2486k|8153 | 0.000000e+00 | -- | Inf
1172.73/1172.71 c 1173s| 3990k|521493 | 8235k| 2.1 | 460M| 36 | - | 40 | 13k| 40 | 17 | 22 |2493k|8162 | 0.000000e+00 | -- | Inf
1176.13/1176.13 c 1176s| 4000k|522493 | 8255k| 2.1 | 461M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2499k|8170 | 0.000000e+00 | -- | Inf
1179.63/1179.60 c 1180s| 4010k|523918 | 8277k| 2.1 | 462M| 36 | - | 40 | 14k| 0 | 0 | 22 |2506k|8180 | 0.000000e+00 | -- | Inf
1182.94/1182.93 c 1183s| 4020k|524759 | 8298k| 2.1 | 464M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2512k|8194 | 0.000000e+00 | -- | Inf
1187.73/1187.79 c 1188s| 4030k|525229 | 8318k| 2.1 | 464M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2519k|8207 | 0.000000e+00 | -- | Inf
1191.34/1191.39 c 1191s| 4040k|526126 | 8339k| 2.1 | 465M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2526k|8217 | 0.000000e+00 | -- | Inf
1195.44/1195.49 c 1195s| 4050k|526720 | 8359k| 2.1 | 465M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2533k|8221 | 0.000000e+00 | -- | Inf
1199.23/1199.20 c 1199s| 4060k|527351 | 8379k| 2.1 | 465M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2540k|8234 | 0.000000e+00 | -- | Inf
1202.73/1202.78 c 1203s| 4070k|528059 | 8400k| 2.1 | 466M| 36 | 5 | 40 |9727 | 40 | 17 | 22 |2546k|8243 | 0.000000e+00 | -- | Inf
1206.44/1206.45 c 1206s| 4080k|528632 | 8421k| 2.1 | 467M| 36 | - | 40 |9670 | 40 | 17 | 22 |2553k|8255 | 0.000000e+00 | -- | Inf
1209.73/1209.76 c 1210s| 4090k|529392 | 8442k| 2.1 | 468M| 36 | - | 40 | 10k| 40 | 17 | 22 |2560k|8324 | 0.000000e+00 | -- | Inf
1212.43/1212.47 c 1212s| 4100k|530411 | 8463k| 2.1 | 470M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2567k|8324 | 0.000000e+00 | -- | Inf
1216.44/1216.49 c 1216s| 4110k|531017 | 8484k| 2.1 | 470M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2573k|8326 | 0.000000e+00 | -- | Inf
1219.85/1219.83 c 1220s| 4120k|531747 | 8504k| 2.1 | 471M| 36 | - | 40 | 12k| 40 | 17 | 22 |2580k|8326 | 0.000000e+00 | -- | Inf
1223.74/1223.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1223.74/1223.74 c 1224s| 4130k|532241 | 8525k| 2.1 | 472M| 36 | - | 40 | 10k| 40 | 17 | 22 |2587k|8389 | 0.000000e+00 | -- | Inf
1227.34/1227.34 c 1227s| 4140k|532827 | 8545k| 2.1 | 473M| 36 | - | 40 | 11k| 40 | 17 | 22 |2594k|8389 | 0.000000e+00 | -- | Inf
1231.04/1231.03 c 1231s| 4150k|533439 | 8566k| 2.1 | 473M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2601k|8389 | 0.000000e+00 | -- | Inf
1235.03/1235.04 c 1235s| 4160k|533794 | 8586k| 2.1 | 473M| 36 | 5 | 40 |9295 | 40 | 17 | 22 |2608k|8393 | 0.000000e+00 | -- | Inf
1238.65/1238.69 c 1239s| 4170k|534257 | 8607k| 2.1 | 474M| 36 | 5 | 40 |9128 | 40 | 17 | 22 |2615k|8393 | 0.000000e+00 | -- | Inf
1242.24/1242.23 c 1242s| 4180k|534866 | 8628k| 2.1 | 475M| 36 | 5 | 40 |9921 | 40 | 17 | 22 |2621k|8393 | 0.000000e+00 | -- | Inf
1245.34/1245.32 c 1245s| 4190k|535758 | 8649k| 2.1 | 476M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2628k|8403 | 0.000000e+00 | -- | Inf
1248.84/1248.81 c 1249s| 4200k|536562 | 8669k| 2.1 | 477M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2635k|8411 | 0.000000e+00 | -- | Inf
1252.24/1252.20 c 1252s| 4210k|537708 | 8690k| 2.1 | 478M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2641k|8418 | 0.000000e+00 | -- | Inf
1255.04/1255.09 c 1255s| 4220k|539073 | 8710k| 2.1 | 480M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2647k|8421 | 0.000000e+00 | -- | Inf
1258.24/1258.29 c 1258s| 4230k|540169 | 8731k| 2.1 | 481M| 36 | - | 40 | 15k| 40 | 17 | 22 |2653k|8425 | 0.000000e+00 | -- | Inf
1262.64/1262.60 c 1263s| 4240k|540765 | 8751k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2660k|8430 | 0.000000e+00 | -- | Inf
1266.34/1266.33 c 1266s| 4250k|541439 | 8771k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2667k|8439 | 0.000000e+00 | -- | Inf
1270.34/1270.33 c 1270s| 4260k|542061 | 8792k| 2.1 | 483M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2674k|8452 | 0.000000e+00 | -- | Inf
1273.94/1273.98 c 1274s| 4270k|542827 | 8813k| 2.1 | 483M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2680k|8466 | 0.000000e+00 | -- | Inf
1277.84/1277.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.84/1277.84 c 1278s| 4280k|543351 | 8835k| 2.1 | 484M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2688k|8471 | 0.000000e+00 | -- | Inf
1281.14/1281.18 c 1281s| 4290k|544211 | 8855k| 2.1 | 485M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2695k|8478 | 0.000000e+00 | -- | Inf
1284.64/1284.67 c 1285s| 4300k|544908 | 8876k| 2.1 | 486M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2701k|8479 | 0.000000e+00 | -- | Inf
1288.83/1288.82 c 1289s| 4310k|545286 | 8897k| 2.1 | 486M| 36 | - | 40 |9486 | 0 | 0 | 22 |2708k|8488 | 0.000000e+00 | -- | Inf
1291.63/1291.69 c 1292s| 4320k|546288 | 8918k| 2.1 | 488M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2715k|8500 | 0.000000e+00 | -- | Inf
1294.84/1294.87 c 1295s| 4330k|547196 | 8938k| 2.1 | 489M| 36 | - | 40 | 13k| 40 | 17 | 22 |2721k|8512 | 0.000000e+00 | -- | Inf
1299.04/1299.10 c 1299s| 4340k|547608 | 8959k| 2.1 | 489M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2729k|8525 | 0.000000e+00 | -- | Inf
1302.64/1302.62 c 1303s| 4350k|548160 | 8980k| 2.1 | 490M| 36 | - | 40 | 10k| 40 | 17 | 22 |2735k|8531 | 0.000000e+00 | -- | Inf
1305.75/1305.76 c 1306s| 4360k|548972 | 9001k| 2.1 | 491M| 36 | - | 40 | 11k| 40 | 17 | 22 |2742k|8535 | 0.000000e+00 | -- | Inf
1309.74/1309.74 c 1310s| 4370k|549366 | 9022k| 2.1 | 491M| 36 | 5 | 40 |9896 | 40 | 17 | 22 |2749k|8548 | 0.000000e+00 | -- | Inf
1313.24/1313.27 c 1313s| 4380k|549900 | 9042k| 2.1 | 492M| 36 | 5 | 40 |9689 | 40 | 17 | 22 |2756k|8563 | 0.000000e+00 | -- | Inf
1316.84/1316.82 c 1317s| 4390k|550472 | 9063k| 2.1 | 493M| 36 | - | 40 |9998 | 40 | 17 | 22 |2763k|8576 | 0.000000e+00 | -- | Inf
1320.24/1320.21 c 1320s| 4400k|551228 | 9084k| 2.1 | 494M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2770k|8585 | 0.000000e+00 | -- | Inf
1323.64/1323.67 c 1324s| 4410k|551900 | 9105k| 2.1 | 495M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2776k|8655 | 0.000000e+00 | -- | Inf
1327.14/1327.12 c 1327s| 4420k|552679 | 9125k| 2.1 | 495M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2783k|8655 | 0.000000e+00 | -- | Inf
1329.95/1329.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.95/1329.93 c 1330s| 4430k|553668 | 9146k| 2.1 | 497M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2789k|8655 | 0.000000e+00 | -- | Inf
1333.24/1333.26 c 1333s| 4440k|554684 | 9167k| 2.1 | 499M| 36 | - | 40 | 14k| 40 | 17 | 22 |2796k|8655 | 0.000000e+00 | -- | Inf
1337.14/1337.19 c 1337s| 4450k|555524 | 9188k| 2.1 | 499M| 36 | - | 40 | 13k| 40 | 17 | 22 |2803k|8659 | 0.000000e+00 | -- | Inf
1341.24/1341.24 c 1341s| 4460k|556114 | 9209k| 2.1 | 499M| 36 | - | 40 | 11k| 40 | 17 | 22 |2810k|8659 | 0.000000e+00 | -- | Inf
1344.54/1344.59 c 1345s| 4470k|557117 | 9231k| 2.1 | 501M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2816k|8663 | 0.000000e+00 | -- | Inf
1348.44/1348.46 c 1348s| 4480k|557615 | 9251k| 2.1 | 501M| 36 | - | 40 | 11k| 0 | 0 | 22 |2823k|8676 | 0.000000e+00 | -- | Inf
1352.14/1352.16 c 1352s| 4490k|558270 | 9272k| 2.1 | 502M| 36 | - | 40 | 11k| 40 | 17 | 22 |2830k|8685 | 0.000000e+00 | -- | Inf
1356.14/1356.15 c 1356s| 4500k|558732 | 9292k| 2.1 | 502M| 36 | 5 | 40 |9297 | 40 | 17 | 22 |2837k|8691 | 0.000000e+00 | -- | Inf
1359.74/1359.71 c 1360s| 4510k|559292 | 9313k| 2.1 | 503M| 36 | 5 | 40 |9755 | 40 | 17 | 22 |2844k|8700 | 0.000000e+00 | -- | Inf
1363.24/1363.25 c 1363s| 4520k|559883 | 9334k| 2.1 | 504M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2851k|8705 | 0.000000e+00 | -- | Inf
1366.64/1366.63 c 1367s| 4530k|560570 | 9355k| 2.1 | 505M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2857k|8711 | 0.000000e+00 | -- | Inf
1369.35/1369.35 c 1369s| 4540k|561801 | 9376k| 2.1 | 507M| 36 | - | 40 | 12k| 40 | 17 | 22 |2864k|8716 | 0.000000e+00 | -- | Inf
1373.05/1373.04 c 1373s| 4550k|562599 | 9397k| 2.1 | 507M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2871k|8724 | 0.000000e+00 | -- | Inf
1376.54/1376.51 c 1377s| 4560k|563473 | 9417k| 2.1 | 508M| 36 | - | 40 | 12k| 40 | 17 | 22 |2877k|8728 | 0.000000e+00 | -- | Inf
1379.65/1379.63 c 1380s| 4570k|564622 | 9439k| 2.1 | 510M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2884k|8733 | 0.000000e+00 | -- | Inf
1382.85/1382.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.85/1382.81 c 1383s| 4580k|565370 | 9460k| 2.1 | 511M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2891k|8740 | 0.000000e+00 | -- | Inf
1386.25/1386.25 c 1386s| 4590k|566247 | 9481k| 2.1 | 512M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2897k|8747 | 0.000000e+00 | -- | Inf
1390.14/1390.14 c 1390s| 4600k|566962 | 9501k| 2.1 | 512M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2904k|8761 | 0.000000e+00 | -- | Inf
1394.04/1394.03 c 1394s| 4610k|567642 | 9522k| 2.1 | 513M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2911k|8767 | 0.000000e+00 | -- | Inf
1396.75/1396.75 c 1397s| 4620k|569174 | 9542k| 2.1 | 515M| 36 | - | 40 | 15k| 40 | 17 | 22 |2917k|8771 | 0.000000e+00 | -- | Inf
1400.54/1400.59 c 1401s| 4630k|569834 | 9562k| 2.1 | 516M| 36 | - | 40 | 14k| 40 | 17 | 22 |2924k|8775 | 0.000000e+00 | -- | Inf
1405.04/1405.09 c 1405s| 4640k|570258 | 9583k| 2.1 | 516M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2931k|8783 | 0.000000e+00 | -- | Inf
1408.74/1408.71 c 1409s| 4650k|570967 | 9603k| 2.1 | 516M| 36 | - | 40 | 11k| 40 | 17 | 22 |2938k|8786 | 0.000000e+00 | -- | Inf
1412.85/1412.87 c 1413s| 4660k|571362 | 9624k| 2.1 | 517M| 36 | - | 40 | 10k| 40 | 17 | 22 |2944k|8800 | 0.000000e+00 | -- | Inf
1416.64/1416.66 c 1417s| 4670k|571931 | 9645k| 2.1 | 517M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |2951k|8804 | 0.000000e+00 | -- | Inf
1419.54/1419.56 c 1420s| 4680k|573062 | 9665k| 2.1 | 519M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2958k|8814 | 0.000000e+00 | -- | Inf
1422.64/1422.67 c 1423s| 4690k|573809 | 9684k| 2.1 | 520M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2965k|8823 | 0.000000e+00 | -- | Inf
1426.64/1426.66 c 1427s| 4700k|574194 | 9704k| 2.1 | 520M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2972k|8833 | 0.000000e+00 | -- | Inf
1430.05/1430.04 c 1430s| 4710k|575419 | 9725k| 2.1 | 521M| 36 | - | 40 | 11k| 40 | 17 | 22 |2978k|8842 | 0.000000e+00 | -- | Inf
1432.84/1432.86 c 1433s| 4720k|576976 | 9748k| 2.1 | 523M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2984k|8854 | 0.000000e+00 | -- | Inf
1435.94/1435.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.94/1435.96 c 1436s| 4730k|578354 | 9770k| 2.1 | 525M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2991k|8857 | 0.000000e+00 | -- | Inf
1439.45/1439.40 c 1439s| 4740k|579284 | 9792k| 2.1 | 526M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2998k|8867 | 0.000000e+00 | -- | Inf
1442.94/1442.99 c 1443s| 4750k|580074 | 9813k| 2.1 | 527M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3005k|8873 | 0.000000e+00 | -- | Inf
1446.74/1446.74 c 1447s| 4760k|580767 | 9834k| 2.1 | 528M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3012k|8885 | 0.000000e+00 | -- | Inf
1450.95/1450.96 c 1451s| 4770k|581187 | 9856k| 2.1 | 529M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3020k|8891 | 0.000000e+00 | -- | Inf
1455.75/1455.73 c 1456s| 4780k|581718 | 9877k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3026k|8895 | 0.000000e+00 | -- | Inf
1460.04/1460.08 c 1460s| 4790k|582323 | 9897k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3033k|8905 | 0.000000e+00 | -- | Inf
1464.15/1464.11 c 1464s| 4800k|583037 | 9918k| 2.1 | 530M| 36 | - | 40 | 13k| 40 | 17 | 22 |3040k|8914 | 0.000000e+00 | -- | Inf
1467.85/1467.81 c 1468s| 4810k|583973 | 9939k| 2.1 | 531M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3047k|8917 | 0.000000e+00 | -- | Inf
1471.15/1471.19 c 1471s| 4820k|584907 | 9959k| 2.1 | 532M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3053k|8926 | 0.000000e+00 | -- | Inf
1474.75/1474.73 c 1475s| 4830k|585829 | 9980k| 2.1 | 533M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3060k|8935 | 0.000000e+00 | -- | Inf
1479.04/1479.00 c 1479s| 4840k|586507 | 10001k| 2.1 | 534M| 36 | - | 40 | 12k| 40 | 17 | 22 |3067k|8939 | 0.000000e+00 | -- | Inf
1481.95/1481.97 c 1482s| 4850k|588306 | 10021k| 2.1 | 535M| 36 | - | 40 | 13k| 40 | 17 | 22 |3072k|8945 | 0.000000e+00 | -- | Inf
1485.14/1485.12 c 1485s| 4860k|589650 | 10041k| 2.1 | 537M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3079k|8952 | 0.000000e+00 | -- | Inf
1488.54/1488.58 c 1489s| 4870k|590723 | 10061k| 2.1 | 538M| 36 | - | 40 | 15k| 0 | 0 | 22 |3085k|8960 | 0.000000e+00 | -- | Inf
1492.25/1492.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.25/1492.25 c 1492s| 4880k|591699 | 10081k| 2.1 | 540M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |3092k|8965 | 0.000000e+00 | -- | Inf
1496.95/1496.94 c 1497s| 4890k|592096 | 10101k| 2.1 | 540M| 36 | - | 40 | 16k| 40 | 17 | 22 |3099k|8971 | 0.000000e+00 | -- | Inf
1501.55/1501.51 c 1502s| 4900k|592712 | 10122k| 2.1 | 541M| 36 | - | 40 | 14k| 40 | 17 | 22 |3106k|8976 | 0.000000e+00 | -- | Inf
1505.54/1505.56 c 1506s| 4910k|593599 | 10143k| 2.1 | 541M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3113k|8976 | 0.000000e+00 | -- | Inf
1509.84/1509.83 c 1510s| 4920k|594233 | 10164k| 2.1 | 541M| 36 | - | 40 | 11k| 40 | 17 | 22 |3120k|8981 | 0.000000e+00 | -- | Inf
1513.55/1513.52 c 1514s| 4930k|594977 | 10184k| 2.1 | 542M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3126k|9008 | 0.000000e+00 | -- | Inf
1516.65/1516.61 c 1517s| 4940k|596251 | 10204k| 2.1 | 544M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3133k|9008 | 0.000000e+00 | -- | Inf
1519.74/1519.79 c 1520s| 4950k|597491 | 10226k| 2.1 | 545M| 36 | - | 40 | 14k| 40 | 17 | 22 |3139k|9008 | 0.000000e+00 | -- | Inf
1523.74/1523.70 c 1524s| 4960k|598324 | 10246k| 2.1 | 546M| 36 | - | 40 | 13k| 40 | 17 | 22 |3146k|9008 | 0.000000e+00 | -- | Inf
1527.65/1527.65 c 1528s| 4970k|598944 | 10267k| 2.1 | 547M| 36 | - | 40 | 14k| 40 | 17 | 22 |3153k|9014 | 0.000000e+00 | -- | Inf
1531.25/1531.20 c 1531s| 4980k|599828 | 10287k| 2.1 | 548M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3160k|9021 | 0.000000e+00 | -- | Inf
1535.56/1535.57 c 1536s| 4990k|600312 | 10308k| 2.1 | 548M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3166k|9022 | 0.000000e+00 | -- | Inf
1539.95/1539.95 c 1540s| 5000k|600711 | 10328k| 2.1 | 548M| 36 | - | 40 | 10k| 0 | 0 | 22 |3174k|9030 | 0.000000e+00 | -- | Inf
1543.75/1543.78 c 1544s| 5010k|601209 | 10348k| 2.1 | 549M| 36 | - | 40 | 10k| 0 | 0 | 22 |3180k|9037 | 0.000000e+00 | -- | Inf
1547.65/1547.68 c 1548s| 5020k|601685 | 10369k| 2.1 | 550M| 36 | 5 | 40 |9766 | 40 | 17 | 22 |3187k|9048 | 0.000000e+00 | -- | Inf
1551.35/1551.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.35/1551.38 c 1551s| 5030k|602158 | 10390k| 2.1 | 550M| 36 | 5 | 40 |9603 | 40 | 17 | 22 |3194k|9059 | 0.000000e+00 | -- | Inf
1555.05/1555.01 c 1555s| 5040k|602820 | 10410k| 2.1 | 551M| 36 | 5 | 40 |9641 | 40 | 17 | 22 |3201k|9069 | 0.000000e+00 | -- | Inf
1558.76/1558.78 c 1559s| 5050k|603209 | 10431k| 2.1 | 552M| 36 | 5 | 40 |9666 | 40 | 17 | 22 |3208k|9074 | 0.000000e+00 | -- | Inf
1562.84/1562.82 c 1563s| 5060k|603496 | 10451k| 2.1 | 552M| 36 | 5 | 40 |8668 | 40 | 17 | 22 |3215k|9084 | 0.000000e+00 | -- | Inf
1566.54/1566.58 c 1567s| 5070k|603884 | 10472k| 2.1 | 553M| 36 | 5 | 40 |8724 | 40 | 17 | 22 |3222k|9109 | 0.000000e+00 | -- | Inf
1569.15/1569.13 c 1569s| 5080k|605364 | 10492k| 2.1 | 554M| 36 | - | 40 | 10k| 40 | 17 | 22 |3228k|9109 | 0.000000e+00 | -- | Inf
1572.75/1572.74 c 1573s| 5090k|605667 | 10512k| 2.1 | 555M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3235k|9119 | 0.000000e+00 | -- | Inf
1576.45/1576.48 c 1576s| 5100k|606196 | 10532k| 2.1 | 556M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3242k|9123 | 0.000000e+00 | -- | Inf
1579.45/1579.45 c 1579s| 5110k|607282 | 10553k| 2.1 | 557M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3248k|9136 | 0.000000e+00 | -- | Inf
1583.25/1583.24 c 1583s| 5120k|607851 | 10574k| 2.1 | 558M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3255k|9145 | 0.000000e+00 | -- | Inf
1587.26/1587.22 c 1587s| 5130k|608432 | 10595k| 2.1 | 558M| 36 | - | 40 | 11k| 40 | 17 | 22 |3262k|9151 | 0.000000e+00 | -- | Inf
1591.35/1591.32 c 1591s| 5140k|608898 | 10615k| 2.1 | 559M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3269k|9158 | 0.000000e+00 | -- | Inf
1595.25/1595.24 c 1595s| 5150k|609338 | 10636k| 2.1 | 560M| 36 | - | 40 | 10k| 0 | 0 | 22 |3276k|9165 | 0.000000e+00 | -- | Inf
1598.15/1598.11 c 1598s| 5160k|610621 | 10657k| 2.1 | 561M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3282k|9172 | 0.000000e+00 | -- | Inf
1601.05/1601.06 c 1601s| 5170k|611374 | 10678k| 2.1 | 562M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3289k|9177 | 0.000000e+00 | -- | Inf
1604.96/1604.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.96/1604.94 c 1605s| 5180k|611977 | 10699k| 2.1 | 563M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3296k|9183 | 0.000000e+00 | -- | Inf
1608.35/1608.32 c 1608s| 5190k|612868 | 10720k| 2.1 | 564M| 36 | - | 40 | 12k| 40 | 17 | 22 |3302k|9196 | 0.000000e+00 | -- | Inf
1612.55/1612.55 c 1613s| 5200k|613287 | 10740k| 2.1 | 564M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3309k|9206 | 0.000000e+00 | -- | Inf
1616.45/1616.42 c 1616s| 5210k|613714 | 10760k| 2.1 | 564M| 36 | - | 40 |9495 | 40 | 17 | 22 |3316k|9218 | 0.000000e+00 | -- | Inf
1620.15/1620.12 c 1620s| 5220k|614233 | 10781k| 2.1 | 565M| 36 | 5 | 40 |9743 | 40 | 17 | 22 |3323k|9225 | 0.000000e+00 | -- | Inf
1623.56/1623.52 c 1624s| 5230k|614829 | 10802k| 2.1 | 566M| 36 | - | 40 |9792 | 40 | 17 | 22 |3330k|9235 | 0.000000e+00 | -- | Inf
1627.35/1627.32 c 1627s| 5240k|615212 | 10822k| 2.1 | 566M| 36 | 5 | 40 |9271 | 40 | 17 | 22 |3337k|9243 | 0.000000e+00 | -- | Inf
1630.26/1630.26 c 1630s| 5250k|616181 | 10843k| 2.1 | 568M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3344k|9253 | 0.000000e+00 | -- | Inf
1633.95/1634.00 c 1634s| 5260k|616749 | 10864k| 2.1 | 568M| 36 | - | 40 | 10k| 40 | 17 | 22 |3350k|9259 | 0.000000e+00 | -- | Inf
1637.96/1637.97 c 1638s| 5270k|617251 | 10884k| 2.1 | 569M| 36 | 5 | 40 |9725 | 40 | 17 | 22 |3357k|9263 | 0.000000e+00 | -- | Inf
1641.05/1641.00 c 1641s| 5280k|618173 | 10904k| 2.1 | 570M| 36 | - | 40 | 11k| 0 | 0 | 22 |3364k|9265 | 0.000000e+00 | -- | Inf
1644.85/1644.88 c 1645s| 5290k|618678 | 10925k| 2.1 | 571M| 36 | - | 40 | 10k| 40 | 17 | 22 |3371k|9270 | 0.000000e+00 | -- | Inf
1648.96/1648.91 c 1649s| 5300k|618921 | 10946k| 2.1 | 571M| 36 | 5 | 40 |9274 | 40 | 17 | 22 |3378k|9298 | 0.000000e+00 | -- | Inf
1652.55/1652.57 c 1653s| 5310k|619395 | 10967k| 2.1 | 572M| 36 | - | 40 |9759 | 40 | 17 | 22 |3385k|9298 | 0.000000e+00 | -- | Inf
1656.15/1656.10 c 1656s| 5320k|620126 | 10988k| 2.1 | 573M| 36 | - | 40 |9863 | 40 | 17 | 22 |3392k|9301 | 0.000000e+00 | -- | Inf
1658.95/1658.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1658.95/1658.91 c 1659s| 5330k|621226 | 11008k| 2.1 | 575M| 36 | - | 40 | 12k| 40 | 17 | 22 |3398k|9310 | 0.000000e+00 | -- | Inf
1662.55/1662.59 c 1663s| 5340k|621817 | 11028k| 2.1 | 575M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3405k|9315 | 0.000000e+00 | -- | Inf
1666.65/1666.66 c 1667s| 5350k|622238 | 11049k| 2.1 | 575M| 36 | - | 40 | 10k| 40 | 17 | 22 |3412k|9319 | 0.000000e+00 | -- | Inf
1670.45/1670.44 c 1670s| 5360k|622690 | 11069k| 2.1 | 576M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3419k|9325 | 0.000000e+00 | -- | Inf
1673.35/1673.32 c 1673s| 5370k|623818 | 11089k| 2.1 | 577M| 36 | - | 40 | 11k| 40 | 17 | 22 |3425k|9332 | 0.000000e+00 | -- | Inf
1676.36/1676.38 c 1676s| 5380k|624680 | 11110k| 2.1 | 579M| 36 | - | 40 | 13k| 0 | 0 | 22 |3432k|9337 | 0.000000e+00 | -- | Inf
1679.45/1679.44 c 1679s| 5390k|625782 | 11131k| 2.1 | 581M| 36 | - | 40 | 15k| 40 | 17 | 22 |3439k|9343 | 0.000000e+00 | -- | Inf
1684.25/1684.25 c 1684s| 5400k|626058 | 11151k| 2.1 | 580M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3446k|9354 | 0.000000e+00 | -- | Inf
1687.96/1687.96 c 1688s| 5410k|626865 | 11172k| 2.1 | 581M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3452k|9358 | 0.000000e+00 | -- | Inf
1691.25/1691.20 c 1691s| 5420k|627774 | 11192k| 2.1 | 582M| 36 | - | 40 | 13k| 40 | 17 | 22 |3459k|9364 | 0.000000e+00 | -- | Inf
1695.45/1695.42 c 1695s| 5430k|628114 | 11212k| 2.1 | 582M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3466k|9369 | 0.000000e+00 | -- | Inf
1698.56/1698.56 c 1699s| 5440k|628896 | 11233k| 2.1 | 583M| 36 | - | 40 | 11k| 40 | 17 | 22 |3473k|9376 | 0.000000e+00 | -- | Inf
1702.05/1702.03 c 1702s| 5450k|629681 | 11253k| 2.1 | 584M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3479k|9380 | 0.000000e+00 | -- | Inf
1706.06/1706.09 c 1706s| 5460k|630208 | 11274k| 2.1 | 584M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3486k|9387 | 0.000000e+00 | -- | Inf
1709.75/1709.73 c 1710s| 5470k|630805 | 11295k| 2.1 | 585M| 36 | - | 40 | 10k| 0 | 0 | 22 |3493k|9396 | 0.000000e+00 | -- | Inf
1713.15/1713.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.15/1713.16 c 1713s| 5480k|631545 | 11315k| 2.1 | 586M| 36 | - | 40 | 10k| 40 | 17 | 22 |3500k|9403 | 0.000000e+00 | -- | Inf
1716.55/1716.54 c 1717s| 5490k|632199 | 11336k| 2.1 | 587M| 36 | - | 40 | 12k| 40 | 17 | 22 |3506k|9405 | 0.000000e+00 | -- | Inf
1720.85/1720.87 c 1721s| 5500k|632537 | 11357k| 2.1 | 587M| 36 | 5 | 40 |9625 | 40 | 17 | 22 |3513k|9414 | 0.000000e+00 | -- | Inf
1724.26/1724.27 c 1724s| 5510k|633129 | 11377k| 2.1 | 588M| 36 | - | 40 | 10k| 0 | 0 | 22 |3520k|9426 | 0.000000e+00 | -- | Inf
1728.06/1728.01 c 1728s| 5520k|633607 | 11398k| 2.1 | 589M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3527k|9430 | 0.000000e+00 | -- | Inf
1731.46/1731.45 c 1731s| 5530k|634245 | 11419k| 2.1 | 590M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3534k|9436 | 0.000000e+00 | -- | Inf
1735.15/1735.10 c 1735s| 5540k|634883 | 11439k| 2.1 | 591M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3541k|9438 | 0.000000e+00 | -- | Inf
1739.06/1739.02 c 1739s| 5550k|635529 | 11460k| 2.1 | 592M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3548k|9450 | 0.000000e+00 | -- | Inf
1742.46/1742.42 c 1742s| 5560k|636240 | 11481k| 2.1 | 593M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3554k|9455 | 0.000000e+00 | -- | Inf
1746.15/1746.16 c 1746s| 5570k|636920 | 11501k| 2.1 | 593M| 36 | - | 40 | 11k| 0 | 0 | 22 |3561k|9460 | 0.000000e+00 | -- | Inf
1750.25/1750.28 c 1750s| 5580k|637244 | 11522k| 2.1 | 593M| 36 | - | 40 |9793 | 40 | 17 | 22 |3568k|9468 | 0.000000e+00 | -- | Inf
1753.96/1753.92 c 1754s| 5590k|637828 | 11543k| 2.1 | 594M| 36 | - | 40 | 10k| 40 | 17 | 22 |3575k|9479 | 0.000000e+00 | -- | Inf
1757.26/1757.27 c 1757s| 5600k|638542 | 11564k| 2.1 | 595M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3582k|9484 | 0.000000e+00 | -- | Inf
1760.35/1760.38 c 1760s| 5610k|639556 | 11584k| 2.1 | 597M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3588k|9492 | 0.000000e+00 | -- | Inf
1764.16/1764.16 c 1764s| 5620k|640103 | 11604k| 2.1 | 597M| 36 | - | 40 | 10k| 0 | 0 | 22 |3595k|9502 | 0.000000e+00 | -- | Inf
1767.77/1767.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.77/1767.79 c 1768s| 5630k|640540 | 11625k| 2.1 | 598M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3602k|9512 | 0.000000e+00 | -- | Inf
1771.56/1771.55 c 1772s| 5640k|640987 | 11646k| 2.1 | 598M| 36 | - | 40 | 10k| 0 | 0 | 22 |3609k|9513 | 0.000000e+00 | -- | Inf
1775.36/1775.35 c 1775s| 5650k|641363 | 11666k| 2.1 | 599M| 36 | - | 40 | 10k| 0 | 0 | 22 |3616k|9520 | 0.000000e+00 | -- | Inf
1779.26/1779.21 c 1779s| 5660k|641773 | 11687k| 2.1 | 599M| 36 | - | 40 |9623 | 40 | 17 | 22 |3623k|9524 | 0.000000e+00 | -- | Inf
1782.76/1782.75 c 1783s| 5670k|642310 | 11707k| 2.1 | 600M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3630k|9528 | 0.000000e+00 | -- | Inf
1786.36/1786.38 c 1786s| 5680k|642992 | 11728k| 2.1 | 601M| 36 | - | 40 | 10k| 40 | 17 | 22 |3637k|9542 | 0.000000e+00 | -- | Inf
1789.86/1789.87 c 1790s| 5690k|643687 | 11749k| 2.1 | 602M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3643k|9549 | 0.000000e+00 | -- | Inf
1793.95/1793.96 c 1794s| 5700k|644020 | 11769k| 2.1 | 603M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3650k|9570 | 0.000000e+00 | -- | Inf
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 5707496
1797.05/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 s UNKNOWN
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.00 (included in solving)
1797.05/1797.00 c reading : 0.00 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485347-1307775934.opb
1797.05/1797.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 11 initial, 11 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485347-1307775934.opb
1797.05/1797.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 5 initial, 24450 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1797.05/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 3305837 0 4 0 1217 4284 0 0 6601488
1797.05/1797.00 c linear : 5+ 7 13814049 0 1 3 6110140 616359 7258278 0 0 0
1797.05/1797.00 c logicor : 0+ 6 6541343 0 0 0 4688913 21007 2427056 0 0 0
1797.05/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 18.85 0.00 0.00 18.85 0.00 0.00 0.00
1797.05/1797.00 c linear : 108.23 0.00 96.56 0.00 0.00 0.00 11.67
1797.05/1797.00 c logicor : 564.28 0.00 558.89 0.00 0.00 0.00 5.39
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 0 0 0 0
1797.05/1797.00 c pseudoobj : 0 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 1.92 1.92 0.00
1797.05/1797.00 c rootredcost : 1.96 1.96 0.00
1797.05/1797.00 c pseudoobj : 1.47 1.47 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 17.70 637366 484913 1372555 28.5 130 24.3 -
1797.05/1797.00 c infeasible LP : 47.06 2006221 2006094 3648879 19.6 33323 24.7 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 3629135 19.5 - - -
1797.05/1797.00 c applied locally : - - - 26785 31.5 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.00 5 - - 20 - (maximal pool size: 87)
1797.05/1797.00 c redcost : 3.04 3305837 0 0 0 0
1797.05/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 0.00 6 0 0 0 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.00 6 0 0 18 0
1797.05/1797.00 c cmir : 0.01 6 0 0 44 0
1797.05/1797.00 c flowcover : 0.01 6 0 0 55 0
1797.05/1797.00 c clique : 0.00 1 0 0 0 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.01 1 0 0 0 14
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 16.94 3305837 1217 4284 0 0 6601488
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.00 - 0
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c oneopt : 1.54 0 0
1797.05/1797.00 c crossover : 0.96 0 0
1797.05/1797.00 c guideddiving : 0.17 0 0
1797.05/1797.00 c coefdiving : 0.16 148 0
1797.05/1797.00 c veclendiving : 0.16 148 0
1797.05/1797.00 c fracdiving : 0.15 148 0
1797.05/1797.00 c feaspump : 0.13 74 0
1797.05/1797.00 c linesearchdiving : 0.16 149 0
1797.05/1797.00 c pscostdiving : 0.17 149 0
1797.05/1797.00 c rootsoldiving : 0.15 75 0
1797.05/1797.00 c objpscostdiving : 0.13 75 0
1797.05/1797.00 c trivial : 0.00 2 0
1797.05/1797.00 c shiftandpropagate: 0.00 1 0
1797.05/1797.00 c simplerounding : 0.61 0 0
1797.05/1797.00 c zirounding : 7.51 0 0
1797.05/1797.00 c rounding : 1.18 25777 0
1797.05/1797.00 c shifting : 1.65 7011 0
1797.05/1797.00 c intshifting : 0.08 0 0
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.01 1 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.71 0 0
1797.05/1797.00 c trysol : 0.96 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.00 c dual LP : 228.69 5127009 11781660 2.30 51518.54
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 0.11 2220 3630 1.64 31981.82
1797.05/1797.00 c strong branching : 0.77 9570 37689 3.94 48821.91
1797.05/1797.00 c (at root node) : - 9 311 34.56 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 5707496
1797.05/1797.00 c nodes (total) : 5707496
1797.05/1797.00 c nodes left : 644311
1797.05/1797.00 c max depth : 36
1797.05/1797.00 c max depth (total): 36
1797.05/1797.00 c backtracks : 1165040 (20.4%)
1797.05/1797.00 c delayed cutoffs : 249684
1797.05/1797.00 c repropagations : 4327567 (4435264 domain reductions, 236242 cutoffs)
1797.05/1797.00 c avg switch length: 5.47
1797.05/1797.00 c switching time : 517.85
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 0 (0 improvements)
1797.05/1797.00 c Primal Bound : -
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Root Iterations : 130
1799.15/1799.15 c Time complete: 1799.21.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3485347-1307775934/watcher-3485347-1307775934 -o /tmp/evaluation-result-3485347-1307775934/solver-3485347-1307775934 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485347-1307775934.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 1.66 1.92 1.93 3/174 3697
/proc/meminfo: memFree=31368304/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=13624 CPUtime=0 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 2238 0 0 0 0 0 0 0 23 0 1 0 967824135 13950976 2193 33554432000 4194304 8979876 140735788624864 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 3406 2206 422 1169 0 2233 0
[startup+0.093197 s]
/proc/loadavg: 1.66 1.92 1.93 3/174 3697
/proc/meminfo: memFree=31368304/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=27164 CPUtime=0.09 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 6068 0 0 0 8 1 0 0 18 0 1 0 967824135 27815936 5413 33554432000 4194304 8979876 140735788624864 18446744073709551615 5905398 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 6791 5413 704 1169 0 5618 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27164
[startup+0.101194 s]
/proc/loadavg: 1.66 1.92 1.93 3/174 3697
/proc/meminfo: memFree=31368304/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=27164 CPUtime=0.09 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 6068 0 0 0 8 1 0 0 18 0 1 0 967824135 27815936 5413 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 6791 5413 704 1169 0 5618 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27164
[startup+0.301157 s]
/proc/loadavg: 1.66 1.92 1.93 3/174 3697
/proc/meminfo: memFree=31368304/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=27164 CPUtime=0.29 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 6069 0 0 0 28 1 0 0 18 0 1 0 967824135 27815936 5414 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 6791 5414 704 1169 0 5618 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27164
[startup+0.701081 s]
/proc/loadavg: 1.66 1.92 1.93 3/174 3697
/proc/meminfo: memFree=31368304/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=27164 CPUtime=0.69 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 6076 0 0 0 67 2 0 0 18 0 1 0 967824135 27815936 5421 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 6791 5421 704 1169 0 5618 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27164
[startup+1.50092 s]
/proc/loadavg: 1.66 1.92 1.93 4/178 3701
/proc/meminfo: memFree=31333104/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=27164 CPUtime=1.49 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 6081 0 0 0 144 5 0 0 20 0 1 0 967824135 27815936 5426 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 6791 5426 704 1169 0 5618 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27164
[startup+3.10062 s]
/proc/loadavg: 1.66 1.92 1.93 4/178 3701
/proc/meminfo: memFree=31332272/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=27164 CPUtime=3.09 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 6097 0 0 0 300 9 0 0 25 0 1 0 967824135 27815936 5442 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 6791 5442 704 1169 0 5618 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27164
[startup+6.30103 s]
/proc/loadavg: 1.69 1.92 1.93 4/178 3701
/proc/meminfo: memFree=31324852/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=28880 CPUtime=6.3 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 6826 0 0 0 612 18 0 0 25 0 1 0 967824135 29573120 6171 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 7220 6171 704 1169 0 6047 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 28880
[startup+12.7008 s]
/proc/loadavg: 1.71 1.92 1.93 4/178 3702
/proc/meminfo: memFree=31304692/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=37372 CPUtime=12.7 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 8995 0 0 0 1237 33 0 0 25 0 1 0 967824135 38268928 8340 33554432000 4194304 8979876 140735788624864 18446744073709551615 4687567 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 9343 8340 704 1169 0 8170 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 37372
[startup+25.5004 s]
/proc/loadavg: 1.77 1.92 1.93 3/178 3702
/proc/meminfo: memFree=31266960/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=50200 CPUtime=25.49 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 12266 0 0 0 2486 63 0 0 25 0 1 0 967824135 51404800 11611 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 12550 11611 704 1169 0 11377 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50200
[startup+51.1006 s]
/proc/loadavg: 1.85 1.93 1.93 4/178 3703
/proc/meminfo: memFree=31198924/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=77988 CPUtime=51.1 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 18717 0 0 0 4993 117 0 0 25 0 1 0 967824135 79859712 18062 33554432000 4194304 8979876 140735788624864 18446744073709551615 4347557 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 19497 18062 704 1169 0 18324 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 77988
[startup+102.307 s]
/proc/loadavg: 1.94 1.94 1.93 4/178 3704
/proc/meminfo: memFree=31085964/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=113128 CPUtime=102.3 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 27628 0 0 0 10017 213 0 0 25 0 1 0 967824135 115843072 26973 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 28282 26973 704 1169 0 27109 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 113128
[startup+162.301 s]
/proc/loadavg: 1.97 1.95 1.93 4/178 3706
/proc/meminfo: memFree=30964568/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=147044 CPUtime=162.29 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 36201 0 0 0 15915 314 0 0 25 0 1 0 967824135 150573056 35546 33554432000 4194304 8979876 140735788624864 18446744073709551615 5382320 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 36761 35546 704 1169 0 35588 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 147044
[startup+222.3 s]
/proc/loadavg: 2.05 1.98 1.94 3/178 3707
/proc/meminfo: memFree=30855504/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=179516 CPUtime=222.3 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 43388 0 0 0 21821 409 0 0 25 0 1 0 967824135 183824384 42733 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 44879 42733 704 1169 0 43706 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 179516
[startup+282.301 s]
/proc/loadavg: 2.02 1.98 1.94 4/178 3709
/proc/meminfo: memFree=30748180/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=207784 CPUtime=282.3 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 50466 0 0 0 27731 499 0 0 25 0 1 0 967824135 212770816 49811 33554432000 4194304 8979876 140735788624864 18446744073709551615 4347557 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 51946 49811 704 1169 0 50773 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 207784
[startup+342.301 s]
/proc/loadavg: 2.00 1.98 1.94 4/178 3710
/proc/meminfo: memFree=30645444/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=230840 CPUtime=342.3 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 56286 0 0 0 33642 588 0 0 25 0 1 0 967824135 236380160 55631 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 57710 55631 704 1169 0 56537 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 230840
[startup+402.3 s]
/proc/loadavg: 2.00 1.98 1.94 4/178 3712
/proc/meminfo: memFree=30538744/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=256972 CPUtime=402.3 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 62888 0 0 0 39556 674 0 0 25 0 1 0 967824135 263139328 62233 33554432000 4194304 8979876 140735788624864 18446744073709551615 4990250 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 64243 62233 704 1169 0 63070 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 256972
[startup+462.301 s]
/proc/loadavg: 2.00 1.98 1.94 3/178 3714
/proc/meminfo: memFree=30439592/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=278256 CPUtime=462.31 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 68372 0 0 0 45466 765 0 0 25 0 1 0 967824135 284934144 67717 33554432000 4194304 8979876 140735788624864 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 69564 67717 704 1169 0 68391 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 278256
[startup+522.301 s]
/proc/loadavg: 2.00 1.98 1.94 4/178 3715
/proc/meminfo: memFree=30345280/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=299800 CPUtime=522.31 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 73752 0 0 0 51380 851 0 0 25 0 1 0 967824135 306995200 73097 33554432000 4194304 8979876 140735788624864 18446744073709551615 5381855 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 74950 73097 704 1169 0 73777 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 299800
[startup+582.301 s]
/proc/loadavg: 2.00 1.98 1.94 4/178 3717
/proc/meminfo: memFree=30249964/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=318684 CPUtime=582.31 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 78591 0 0 0 57300 931 0 0 25 0 1 0 967824135 326332416 77936 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 79671 77936 704 1169 0 78498 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 318684
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29524144/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=478888 CPUtime=1062.33 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 116881 0 0 0 104727 1506 0 0 25 0 1 0 967824135 490381312 116226 33554432000 4194304 8979876 140735788624864 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 119722 116226 704 1169 0 118549 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 478888
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 3731
/proc/meminfo: memFree=29440884/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=493020 CPUtime=1122.33 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 120515 0 0 0 110661 1572 0 0 25 0 1 0 967824135 504852480 119860 33554432000 4194304 8979876 140735788624864 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 123255 119860 704 1169 0 122082 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 493020
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 3733
/proc/meminfo: memFree=29351296/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=508976 CPUtime=1182.34 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 124592 0 0 0 116596 1638 0 0 25 0 1 0 967824135 521191424 123937 33554432000 4194304 8979876 140735788624864 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 127244 123937 704 1169 0 126071 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 508976
[startup+1242.3 s]
/proc/loadavg: 2.15 2.03 1.96 3/178 3734
/proc/meminfo: memFree=29268652/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=519400 CPUtime=1242.34 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 127262 0 0 0 122530 1704 0 0 25 0 1 0 967824135 531865600 126607 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 129850 126607 704 1169 0 128677 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 519400
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 1.96 4/178 3736
/proc/meminfo: memFree=29191700/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=535528 CPUtime=1302.34 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 131378 0 0 0 128460 1774 0 0 25 0 1 0 967824135 548380672 130723 33554432000 4194304 8979876 140735788624864 18446744073709551615 6492557 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 133882 130723 704 1169 0 132709 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 535528
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.96 4/178 3738
/proc/meminfo: memFree=29107940/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=551996 CPUtime=1362.34 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 135381 0 0 0 134394 1840 0 0 25 0 1 0 967824135 565243904 134726 33554432000 4194304 8979876 140735788624864 18446744073709551615 5381831 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 137999 134726 704 1169 0 136826 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 551996
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.96 4/178 3739
/proc/meminfo: memFree=29026132/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=565860 CPUtime=1422.35 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 138939 0 0 0 140321 1914 0 0 25 0 1 0 967824135 579440640 138284 33554432000 4194304 8979876 140735788624864 18446744073709551615 4319232 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 141465 138284 704 1169 0 140292 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 565860
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/178 3741
/proc/meminfo: memFree=28950924/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=579624 CPUtime=1482.35 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 142503 0 0 0 146255 1980 0 0 25 0 1 0 967824135 593534976 141848 33554432000 4194304 8979876 140735788624864 18446744073709551615 4355656 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 144906 141848 704 1169 0 143733 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 579624
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 3742
/proc/meminfo: memFree=28866288/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=593964 CPUtime=1542.34 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 146198 0 0 0 152196 2038 0 0 25 0 1 0 967824135 608219136 145543 33554432000 4194304 8979876 140735788624864 18446744073709551615 6443806 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 148491 145543 704 1169 0 147318 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 593964
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3744
/proc/meminfo: memFree=28789700/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=604972 CPUtime=1602.35 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 148986 0 0 0 158126 2109 0 0 25 0 1 0 967824135 619491328 148331 33554432000 4194304 8979876 140735788624864 18446744073709551615 4857196 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 151243 148331 704 1169 0 150070 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 604972
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 3746
/proc/meminfo: memFree=28712512/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=617560 CPUtime=1662.35 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 152200 0 0 0 164059 2176 0 0 25 0 1 0 967824135 632381440 151545 33554432000 4194304 8979876 140735788624864 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 154390 151545 704 1169 0 153217 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 617560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 3747
/proc/meminfo: memFree=28632104/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=631748 CPUtime=1722.36 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 155590 0 0 0 169991 2245 0 0 25 0 1 0 967824135 646909952 154935 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 157937 154935 704 1169 0 156764 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 631748
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3749
/proc/meminfo: memFree=28554180/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=643520 CPUtime=1782.35 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 158597 0 0 0 175927 2308 0 0 25 0 1 0 967824135 658964480 157942 33554432000 4194304 8979876 140735788624864 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 160880 157942 704 1169 0 159707 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 643520
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 3749
/proc/meminfo: memFree=28543748/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=644864 CPUtime=1791.97 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 158978 0 0 0 176878 2319 0 0 25 0 1 0 967824135 660340736 158323 33554432000 4194304 8979876 140735788624864 18446744073709551615 6492571 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 161216 158323 704 1169 0 160043 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 644864
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 3749
/proc/meminfo: memFree=28539656/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=644864 CPUtime=1795.17 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 158981 0 0 0 177195 2322 0 0 25 0 1 0 967824135 660340736 158326 33554432000 4194304 8979876 140735788624864 18446744073709551615 4347639 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 161216 158326 704 1169 0 160043 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 644864
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 3749
/proc/meminfo: memFree=28538536/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=645376 CPUtime=1796.76 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 159075 0 0 0 177353 2323 0 0 25 0 1 0 967824135 660865024 158420 33554432000 4194304 8979876 140735788624864 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3697/statm: 161344 158420 704 1169 0 160171 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 645376
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 3749
/proc/meminfo: memFree=28537668/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=645376 CPUtime=1798.35 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 159078 0 0 0 177512 2323 0 0 19 0 1 0 967824135 660865024 158423 33554432000 4194304 8979876 140735788624864 18446744073709551615 6778290 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3697/statm: 161344 158423 707 1169 0 160171 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 645376
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3749
/proc/meminfo: memFree=28537788/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=645376 CPUtime=1798.75 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 159078 0 0 0 177552 2323 0 0 20 0 1 0 967824135 660865024 158423 33554432000 4194304 8979876 140735788624864 18446744073709551615 6778240 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3697/statm: 161344 158423 707 1169 0 160171 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (KiB) 645376
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3749
/proc/meminfo: memFree=28537788/32950928 swapFree=67054844/67111528
[pid=3697] ppid=3694 vsize=645376 CPUtime=1799.15 cores=0,2,4,6
/proc/3697/stat : 3697 (scip-2.0.1.4_2.) R 3694 3697 32526 0 -1 4202496 159078 0 0 0 177592 2323 0 0 21 0 1 0 967824135 660865024 158423 33554432000 4194304 8979876 140735788624864 18446744073709551615 4840918 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3697/statm: 161344 158423 707 1169 0 160171 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 645376
Child status: 0
Real time (s): 1799.15
CPU time (s): 1799.22
CPU user time (s): 1775.95
CPU system time (s): 23.2645
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 645376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.95
system time used= 23.2645
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159083
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= 8
involuntary context switches= 1713
runsolver used 2.99154 second user time and 6.81496 second system time
The end