0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3734987-1338702804.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.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.01 c 5 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 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 | 24 | - | 235k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 90 | - | 319k| 0 | 9 | 40 | 36 | 40 | 9 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 92 | - | 341k| 0 | 11 | 40 | 36 | 40 | 12 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 97 | - | 355k| 0 | 13 | 40 | 36 | 40 | 15 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 107 | - | 378k| 0 | 13 | 40 | 36 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 118 | - | 400k| 0 | 15 | 40 | 36 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 128 | - | 410k| 0 | 19 | 40 | 36 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.08 c 0.1s| 1 | 2 | 128 | - | 410k| 0 | 19 | 40 | 36 | 40 | 23 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
1.69/1.75 c 1.7s| 10000 | 3629 | 21893 | 2.2 |3897k| 36 | 5 | 40 |3377 | 40 | 19 | 18 |4671 | 419 | 0.000000e+00 | -- | Inf
3.39/3.41 c 3.4s| 20000 | 6878 | 43456 | 2.2 |5762k| 36 | 5 | 40 |2532 | 40 | 19 | 18 |9566 | 546 | 0.000000e+00 | -- | Inf
4.99/5.06 c 5.1s| 30000 | 10117 | 65380 | 2.2 |7892k| 36 | 5 | 40 |3008 | 40 | 19 | 18 | 14k| 663 | 0.000000e+00 | -- | Inf
6.69/6.76 c 6.8s| 40000 | 13316 | 86708 | 2.2 |9926k| 36 | 5 | 40 |3243 | 40 | 19 | 18 | 19k| 751 | 0.000000e+00 | -- | Inf
8.49/8.50 c 8.5s| 50000 | 16419 |107965 | 2.2 | 12M| 36 | 5 | 40 |3638 | 40 | 19 | 18 | 24k| 798 | 0.000000e+00 | -- | Inf
10.08/10.17 c 10.2s| 60000 | 19973 |129583 | 2.2 | 14M| 36 | 5 | 40 |4462 | 40 | 19 | 18 | 29k| 848 | 0.000000e+00 | -- | Inf
11.99/12.00 c 12.0s| 70000 | 22957 |150062 | 2.1 | 16M| 36 | - | 40 |4341 | 40 | 19 | 18 | 34k| 884 | 0.000000e+00 | -- | Inf
13.88/13.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.88/13.91 c 13.9s| 80000 | 25806 |171303 | 2.1 | 18M| 36 | 5 | 40 |4518 | 40 | 19 | 18 | 39k| 916 | 0.000000e+00 | -- | Inf
15.68/15.78 c 15.8s| 90000 | 28969 |193191 | 2.1 | 20M| 36 | 5 | 40 |4855 | 40 | 19 | 18 | 44k| 960 | 0.000000e+00 | -- | Inf
17.68/17.71 c 17.7s|100000 | 31990 |214040 | 2.1 | 22M| 36 | 5 | 40 |5252 | 40 | 19 | 18 | 50k| 994 | 0.000000e+00 | -- | Inf
19.68/19.71 c 19.7s|110000 | 34729 |234596 | 2.1 | 24M| 36 | - | 40 |5423 | 0 | 0 | 18 | 55k|1037 | 0.000000e+00 | -- | Inf
21.68/21.73 c 21.7s|120000 | 37386 |255250 | 2.1 | 26M| 36 | 5 | 40 |5517 | 40 | 19 | 18 | 60k|1064 | 0.000000e+00 | -- | Inf
23.68/23.71 c 23.7s|130000 | 40313 |277033 | 2.1 | 28M| 36 | - | 40 |6097 | 40 | 19 | 18 | 66k|1098 | 0.000000e+00 | -- | Inf
25.79/25.81 c 25.8s|140000 | 42943 |298504 | 2.1 | 30M| 36 | 5 | 40 |5683 | 40 | 19 | 18 | 71k|1152 | 0.000000e+00 | -- | Inf
27.68/27.76 c 27.8s|150000 | 45744 |319843 | 2.1 | 32M| 36 | - | 40 |6525 | 40 | 19 | 18 | 77k|1181 | 0.000000e+00 | -- | Inf
29.88/29.90 c 29.9s|160000 | 48055 |340589 | 2.1 | 34M| 36 | 5 | 40 |7269 | 40 | 19 | 18 | 82k|1195 | 0.000000e+00 | -- | Inf
31.98/32.06 c 32.1s|170000 | 50546 |361473 | 2.1 | 36M| 36 | 5 | 40 |7502 | 40 | 19 | 18 | 88k|1220 | 0.000000e+00 | -- | Inf
34.48/34.51 c 34.5s|180000 | 52543 |381650 | 2.1 | 37M| 36 | 5 | 40 |7123 | 40 | 19 | 18 | 94k|1248 | 0.000000e+00 | -- | Inf
36.48/36.53 c 36.5s|190000 | 54980 |402580 | 2.1 | 39M| 36 | - | 40 |8462 | 40 | 19 | 18 | 100k|1263 | 0.000000e+00 | -- | Inf
38.57/38.65 c 38.6s|200000 | 57500 |422770 | 2.1 | 42M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 105k|1285 | 0.000000e+00 | -- | Inf
40.97/41.02 c 41.0s|210000 | 59538 |443959 | 2.1 | 43M| 36 | - | 40 |8430 | 40 | 19 | 18 | 111k|1306 | 0.000000e+00 | -- | Inf
43.38/43.47 c 43.5s|220000 | 61308 |464471 | 2.1 | 44M| 36 | - | 40 |7994 | 40 | 19 | 18 | 117k|1324 | 0.000000e+00 | -- | Inf
45.68/45.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.68/45.78 c 45.8s|230000 | 63131 |485432 | 2.1 | 46M| 36 | - | 40 |7734 | 40 | 19 | 18 | 123k|1345 | 0.000000e+00 | -- | Inf
47.88/47.99 c 48.0s|240000 | 65223 |506783 | 2.1 | 48M| 36 | 5 | 40 |9120 | 40 | 19 | 18 | 129k|1376 | 0.000000e+00 | -- | Inf
50.28/50.33 c 50.3s|250000 | 67105 |527304 | 2.1 | 49M| 36 | - | 40 |8323 | 40 | 19 | 18 | 135k|1393 | 0.000000e+00 | -- | Inf
52.57/52.65 c 52.6s|260000 | 69039 |548273 | 2.1 | 51M| 36 | 5 | 40 |9694 | 40 | 19 | 18 | 142k|1407 | 0.000000e+00 | -- | Inf
55.07/55.19 c 55.2s|270000 | 70882 |569013 | 2.1 | 52M| 36 | 5 | 40 |8551 | 40 | 19 | 18 | 148k|1426 | 0.000000e+00 | -- | Inf
57.48/57.57 c 57.6s|280000 | 72684 |589696 | 2.1 | 54M| 36 | 5 | 40 |8839 | 40 | 19 | 18 | 154k|1446 | 0.000000e+00 | -- | Inf
59.67/59.74 c 59.7s|290000 | 74667 |610102 | 2.1 | 56M| 36 | - | 40 | 10k| 40 | 19 | 18 | 160k|1459 | 0.000000e+00 | -- | Inf
62.37/62.44 c 62.4s|300000 | 76338 |630521 | 2.1 | 57M| 36 | 5 | 40 |8689 | 40 | 19 | 18 | 167k|1475 | 0.000000e+00 | -- | Inf
64.98/65.06 c 65.1s|310000 | 78022 |651357 | 2.1 | 59M| 36 | 5 | 40 |8949 | 40 | 19 | 18 | 173k|1507 | 0.000000e+00 | -- | Inf
67.57/67.64 c 67.6s|320000 | 79793 |672049 | 2.1 | 60M| 36 | - | 40 |8734 | 40 | 19 | 18 | 179k|1532 | 0.000000e+00 | -- | Inf
69.88/69.90 c 69.9s|330000 | 81620 |692359 | 2.1 | 62M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 186k|1559 | 0.000000e+00 | -- | Inf
72.07/72.14 c 72.1s|340000 | 83864 |713731 | 2.1 | 64M| 36 | - | 40 | 12k| 40 | 19 | 18 | 192k|1576 | 0.000000e+00 | -- | Inf
74.68/74.79 c 74.8s|350000 | 85719 |733595 | 2.1 | 66M| 36 | - | 40 | 12k| 40 | 19 | 18 | 197k|1594 | 0.000000e+00 | -- | Inf
77.27/77.33 c 77.3s|360000 | 87889 |754470 | 2.1 | 67M| 36 | - | 40 | 11k| 40 | 19 | 18 | 203k|1609 | 0.000000e+00 | -- | Inf
79.97/80.09 c 80.1s|370000 | 89493 |775478 | 2.1 | 69M| 36 | - | 40 | 10k| 40 | 19 | 18 | 210k|1632 | 0.000000e+00 | -- | Inf
82.77/82.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.77/82.84 c 82.8s|380000 | 91215 |795784 | 2.1 | 70M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 216k|1653 | 0.000000e+00 | -- | Inf
85.57/85.62 c 85.6s|390000 | 92990 |816279 | 2.1 | 72M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 223k|1666 | 0.000000e+00 | -- | Inf
88.07/88.16 c 88.2s|400000 | 94812 |836492 | 2.1 | 73M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 229k|1677 | 0.000000e+00 | -- | Inf
90.37/90.48 c 90.5s|410000 | 96977 |855948 | 2.1 | 75M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 234k|1689 | 0.000000e+00 | -- | Inf
93.48/93.54 c 93.5s|420000 | 98514 |876119 | 2.1 | 76M| 36 | - | 40 | 10k| 40 | 19 | 18 | 241k|1706 | 0.000000e+00 | -- | Inf
96.37/96.42 c 96.4s|430000 | 99944 |896534 | 2.1 | 77M| 36 | 5 | 40 |9421 | 40 | 19 | 18 | 247k|1725 | 0.000000e+00 | -- | Inf
99.07/99.16 c 99.2s|440000 |101518 |917773 | 2.1 | 79M| 36 | 5 | 40 |9903 | 40 | 19 | 18 | 254k|1739 | 0.000000e+00 | -- | Inf
101.77/101.81 c 102s|450000 |103153 |938099 | 2.1 | 81M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 260k|1755 | 0.000000e+00 | -- | Inf
104.07/104.14 c 104s|460000 |105111 |959415 | 2.1 | 82M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 266k|1766 | 0.000000e+00 | -- | Inf
107.06/107.12 c 107s|470000 |106454 |979567 | 2.1 | 83M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 273k|1778 | 0.000000e+00 | -- | Inf
109.47/109.53 c 110s|480000 |108393 | 1000k| 2.1 | 85M| 36 | - | 40 | 11k| 40 | 19 | 18 | 279k|1791 | 0.000000e+00 | -- | Inf
112.56/112.64 c 113s|490000 |109716 | 1020k| 2.1 | 86M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 286k|1809 | 0.000000e+00 | -- | Inf
115.37/115.49 c 115s|500000 |111282 | 1041k| 2.1 | 88M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 292k|1827 | 0.000000e+00 | -- | Inf
118.26/118.31 c 118s|510000 |112779 | 1062k| 2.1 | 89M| 36 | - | 40 | 10k| 40 | 19 | 18 | 299k|1848 | 0.000000e+00 | -- | Inf
121.17/121.22 c 121s|520000 |114255 | 1082k| 2.1 | 91M| 36 | - | 40 | 11k| 40 | 19 | 18 | 305k|1856 | 0.000000e+00 | -- | Inf
124.06/124.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.06/124.14 c 124s|530000 |115750 | 1102k| 2.1 | 92M| 36 | - | 40 | 11k| 40 | 19 | 18 | 312k|1877 | 0.000000e+00 | -- | Inf
127.16/127.29 c 127s|540000 |116945 | 1123k| 2.1 | 93M| 36 | - | 40 | 11k| 40 | 19 | 18 | 319k|1887 | 0.000000e+00 | -- | Inf
130.17/130.20 c 130s|550000 |118376 | 1143k| 2.1 | 95M| 36 | - | 40 | 10k| 40 | 19 | 18 | 325k|1904 | 0.000000e+00 | -- | Inf
132.76/132.81 c 133s|560000 |120046 | 1163k| 2.1 | 97M| 36 | - | 40 | 12k| 40 | 19 | 18 | 331k|1916 | 0.000000e+00 | -- | Inf
135.47/135.58 c 136s|570000 |121590 | 1184k| 2.1 | 98M| 36 | - | 40 | 12k| 40 | 19 | 18 | 338k|1926 | 0.000000e+00 | -- | Inf
138.76/138.80 c 139s|580000 |122846 | 1205k| 2.1 | 99M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 345k|1942 | 0.000000e+00 | -- | Inf
141.46/141.53 c 142s|590000 |124427 | 1225k| 2.1 | 101M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 351k|1952 | 0.000000e+00 | -- | Inf
144.76/144.83 c 145s|600000 |125657 | 1246k| 2.1 | 102M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 358k|1964 | 0.000000e+00 | -- | Inf
147.86/147.98 c 148s|610000 |127126 | 1266k| 2.1 | 103M| 36 | - | 40 | 12k| 40 | 19 | 18 | 364k|1984 | 0.000000e+00 | -- | Inf
151.37/151.47 c 151s|620000 |128241 | 1286k| 2.1 | 104M| 36 | - | 40 | 10k| 40 | 19 | 18 | 371k|1997 | 0.000000e+00 | -- | Inf
154.16/154.29 c 154s|630000 |129774 | 1307k| 2.1 | 106M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 378k|2012 | 0.000000e+00 | -- | Inf
157.36/157.47 c 157s|640000 |130956 | 1327k| 2.1 | 107M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 385k|2033 | 0.000000e+00 | -- | Inf
161.05/161.15 c 161s|650000 |132062 | 1348k| 2.1 | 108M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 392k|2047 | 0.000000e+00 | -- | Inf
164.35/164.47 c 164s|660000 |133241 | 1369k| 2.1 | 109M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 398k|2063 | 0.000000e+00 | -- | Inf
167.36/167.44 c 167s|670000 |134531 | 1388k| 2.1 | 111M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 405k|2075 | 0.000000e+00 | -- | Inf
170.26/170.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.26/170.35 c 170s|680000 |136257 | 1409k| 2.1 | 113M| 36 | 5 | 40 | 13k| 40 | 19 | 18 | 411k|2093 | 0.000000e+00 | -- | Inf
172.66/172.79 c 173s|690000 |138383 | 1430k| 2.1 | 115M| 36 | - | 40 | 15k| 40 | 19 | 18 | 417k|2101 | 0.000000e+00 | -- | Inf
175.56/175.65 c 176s|700000 |139901 | 1450k| 2.1 | 116M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 423k|2116 | 0.000000e+00 | -- | Inf
178.45/178.55 c 179s|710000 |141541 | 1471k| 2.1 | 117M| 36 | - | 40 | 15k| 0 | 0 | 18 | 430k|2122 | 0.000000e+00 | -- | Inf
181.36/181.43 c 181s|720000 |142961 | 1491k| 2.1 | 119M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 436k|2133 | 0.000000e+00 | -- | Inf
184.45/184.54 c 185s|730000 |144152 | 1511k| 2.1 | 120M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 442k|2144 | 0.000000e+00 | -- | Inf
188.55/188.69 c 189s|740000 |145218 | 1531k| 2.1 | 120M| 36 | - | 40 | 12k| 40 | 19 | 18 | 449k|2161 | 0.000000e+00 | -- | Inf
191.65/191.72 c 192s|750000 |146655 | 1552k| 2.1 | 122M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 455k|2176 | 0.000000e+00 | -- | Inf
194.95/195.01 c 195s|760000 |147985 | 1572k| 2.1 | 124M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 462k|2187 | 0.000000e+00 | -- | Inf
197.55/197.65 c 198s|770000 |149990 | 1594k| 2.1 | 126M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 468k|2200 | 0.000000e+00 | -- | Inf
200.35/200.40 c 200s|780000 |152161 | 1615k| 2.1 | 128M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 474k|2209 | 0.000000e+00 | -- | Inf
203.35/203.48 c 203s|790000 |153975 | 1636k| 2.1 | 130M| 36 | - | 40 | 19k| 40 | 19 | 18 | 481k|2215 | 0.000000e+00 | -- | Inf
206.85/206.93 c 207s|800000 |155498 | 1658k| 2.1 | 131M| 36 | - | 40 | 19k| 40 | 19 | 18 | 487k|2232 | 0.000000e+00 | -- | Inf
210.16/210.28 c 210s|810000 |157026 | 1678k| 2.1 | 132M| 36 | - | 40 | 20k| 40 | 19 | 18 | 493k|2241 | 0.000000e+00 | -- | Inf
213.85/213.95 c 214s|820000 |158415 | 1699k| 2.1 | 133M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 500k|2251 | 0.000000e+00 | -- | Inf
217.95/218.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.95/218.05 c 218s|830000 |159733 | 1719k| 2.1 | 134M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 507k|2262 | 0.000000e+00 | -- | Inf
221.55/221.61 c 222s|840000 |161091 | 1739k| 2.1 | 135M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 513k|2276 | 0.000000e+00 | -- | Inf
225.55/225.64 c 226s|850000 |162209 | 1760k| 2.1 | 136M| 36 | - | 40 | 13k| 40 | 19 | 18 | 520k|2293 | 0.000000e+00 | -- | Inf
228.35/228.46 c 228s|860000 |163752 | 1781k| 2.1 | 138M| 36 | - | 40 | 16k| 0 | 0 | 18 | 527k|2310 | 0.000000e+00 | -- | Inf
232.24/232.36 c 232s|870000 |164984 | 1801k| 2.1 | 139M| 36 | - | 40 | 15k| 0 | 0 | 18 | 534k|2318 | 0.000000e+00 | -- | Inf
236.05/236.14 c 236s|880000 |166253 | 1821k| 2.1 | 140M| 36 | - | 40 | 15k| 40 | 19 | 18 | 540k|2332 | 0.000000e+00 | -- | Inf
239.45/239.50 c 239s|890000 |167918 | 1842k| 2.1 | 142M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 547k|2340 | 0.000000e+00 | -- | Inf
242.65/242.74 c 243s|900000 |169307 | 1863k| 2.1 | 144M| 36 | - | 40 | 16k| 40 | 19 | 18 | 554k|2343 | 0.000000e+00 | -- | Inf
246.95/247.06 c 247s|910000 |170479 | 1883k| 2.1 | 144M| 36 | - | 40 | 14k| 0 | 0 | 18 | 560k|2353 | 0.000000e+00 | -- | Inf
249.84/249.95 c 250s|920000 |172004 | 1904k| 2.1 | 146M| 36 | - | 40 | 16k| 40 | 19 | 18 | 567k|2373 | 0.000000e+00 | -- | Inf
253.64/253.74 c 254s|930000 |173374 | 1925k| 2.1 | 147M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 574k|2387 | 0.000000e+00 | -- | Inf
256.85/256.99 c 257s|940000 |174754 | 1945k| 2.1 | 149M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 581k|2396 | 0.000000e+00 | -- | Inf
260.94/261.07 c 261s|950000 |175817 | 1966k| 2.1 | 150M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 588k|2412 | 0.000000e+00 | -- | Inf
264.54/264.68 c 265s|960000 |177101 | 1986k| 2.1 | 151M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 594k|2422 | 0.000000e+00 | -- | Inf
268.25/268.38 c 268s|970000 |178283 | 2007k| 2.1 | 152M| 36 | - | 40 | 14k| 0 | 0 | 18 | 601k|2436 | 0.000000e+00 | -- | Inf
272.05/272.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.05/272.18 c 272s|980000 |179497 | 2028k| 2.1 | 153M| 36 | 5 | 40 | 13k| 40 | 19 | 18 | 608k|2450 | 0.000000e+00 | -- | Inf
276.14/276.28 c 276s|990000 |180570 | 2048k| 2.1 | 154M| 36 | - | 40 | 13k| 40 | 19 | 18 | 615k|2462 | 0.000000e+00 | -- | Inf
279.64/279.77 c 280s| 1000k|181825 | 2068k| 2.1 | 156M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 621k|2470 | 0.000000e+00 | -- | Inf
282.74/282.84 c 283s| 1010k|183032 | 2088k| 2.1 | 158M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 628k|2480 | 0.000000e+00 | -- | Inf
286.74/286.87 c 287s| 1020k|184167 | 2108k| 2.1 | 159M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 635k|2489 | 0.000000e+00 | -- | Inf
290.54/290.60 c 291s| 1030k|185490 | 2128k| 2.1 | 160M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 641k|2497 | 0.000000e+00 | -- | Inf
294.54/294.64 c 295s| 1040k|186449 | 2148k| 2.1 | 161M| 36 | - | 40 | 15k| 0 | 0 | 18 | 648k|2507 | 0.000000e+00 | -- | Inf
297.74/297.87 c 298s| 1050k|187641 | 2169k| 2.1 | 163M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 655k|2518 | 0.000000e+00 | -- | Inf
301.54/301.69 c 302s| 1060k|188977 | 2189k| 2.1 | 164M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 662k|2533 | 0.000000e+00 | -- | Inf
305.24/305.34 c 305s| 1070k|190276 | 2210k| 2.1 | 165M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 668k|2541 | 0.000000e+00 | -- | Inf
309.63/309.77 c 310s| 1080k|191230 | 2231k| 2.1 | 166M| 36 | - | 40 | 15k| 40 | 19 | 18 | 675k|2551 | 0.000000e+00 | -- | Inf
313.24/313.34 c 313s| 1090k|192461 | 2251k| 2.1 | 168M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 682k|2565 | 0.000000e+00 | -- | Inf
317.93/318.09 c 318s| 1100k|193384 | 2271k| 2.1 | 168M| 36 | - | 40 | 14k| 40 | 19 | 18 | 689k|2574 | 0.000000e+00 | -- | Inf
321.73/321.84 c 322s| 1110k|194607 | 2292k| 2.1 | 170M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 696k|2583 | 0.000000e+00 | -- | Inf
326.04/326.10 c 326s| 1120k|195640 | 2312k| 2.1 | 170M| 36 | - | 40 | 13k| 40 | 19 | 18 | 703k|2590 | 0.000000e+00 | -- | Inf
329.94/330.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.94/330.09 c 330s| 1130k|196650 | 2333k| 2.1 | 172M| 36 | - | 40 | 14k| 40 | 19 | 18 | 710k|2602 | 0.000000e+00 | -- | Inf
333.43/333.57 c 334s| 1140k|197748 | 2353k| 2.1 | 174M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 717k|2616 | 0.000000e+00 | -- | Inf
336.23/336.37 c 336s| 1150k|199206 | 2373k| 2.1 | 176M| 36 | 5 | 40 | 19k| 40 | 19 | 18 | 723k|2629 | 0.000000e+00 | -- | Inf
341.03/341.15 c 341s| 1160k|200154 | 2394k| 2.1 | 176M| 36 | - | 40 | 16k| 40 | 19 | 18 | 730k|2637 | 0.000000e+00 | -- | Inf
344.93/345.00 c 345s| 1170k|201367 | 2416k| 2.1 | 177M| 36 | - | 40 | 17k| 40 | 19 | 18 | 737k|2647 | 0.000000e+00 | -- | Inf
347.92/348.05 c 348s| 1180k|202726 | 2438k| 2.1 | 179M| 36 | 5 | 40 | 19k| 40 | 19 | 18 | 744k|2657 | 0.000000e+00 | -- | Inf
351.52/351.70 c 352s| 1190k|203997 | 2459k| 2.1 | 181M| 36 | - | 40 | 20k| 40 | 19 | 18 | 751k|2672 | 0.000000e+00 | -- | Inf
356.42/356.57 c 357s| 1200k|205042 | 2480k| 2.1 | 181M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 758k|2684 | 0.000000e+00 | -- | Inf
361.02/361.15 c 361s| 1210k|205958 | 2500k| 2.1 | 182M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 765k|2694 | 0.000000e+00 | -- | Inf
364.82/364.90 c 365s| 1220k|207029 | 2521k| 2.1 | 184M| 36 | - | 40 | 17k| 40 | 19 | 18 | 772k|2706 | 0.000000e+00 | -- | Inf
369.10/369.20 c 369s| 1230k|208075 | 2541k| 2.1 | 185M| 36 | - | 40 | 16k| 40 | 19 | 18 | 779k|2715 | 0.000000e+00 | -- | Inf
373.01/373.19 c 373s| 1240k|209185 | 2562k| 2.1 | 186M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 786k|2726 | 0.000000e+00 | -- | Inf
376.12/376.24 c 376s| 1250k|211044 | 2583k| 2.1 | 188M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 792k|2734 | 0.000000e+00 | -- | Inf
379.10/379.25 c 379s| 1260k|213033 | 2605k| 2.1 | 190M| 36 | 5 | 40 | 19k| 40 | 19 | 18 | 798k|2742 | 0.000000e+00 | -- | Inf
382.50/382.68 c 383s| 1270k|214477 | 2627k| 2.1 | 191M| 36 | - | 40 | 20k| 0 | 0 | 18 | 805k|2749 | 0.000000e+00 | -- | Inf
386.20/386.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.20/386.33 c 386s| 1280k|215779 | 2649k| 2.1 | 193M| 36 | - | 40 | 20k| 40 | 19 | 18 | 811k|2757 | 0.000000e+00 | -- | Inf
390.09/390.27 c 390s| 1290k|216690 | 2670k| 2.1 | 194M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 818k|2768 | 0.000000e+00 | -- | Inf
393.79/393.90 c 394s| 1300k|218159 | 2692k| 2.1 | 195M| 36 | 5 | 40 | 21k| 40 | 19 | 18 | 825k|2778 | 0.000000e+00 | -- | Inf
397.10/397.25 c 397s| 1310k|220046 | 2714k| 2.1 | 197M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 831k|2788 | 0.000000e+00 | -- | Inf
400.59/400.70 c 401s| 1320k|222083 | 2735k| 2.1 | 199M| 36 | - | 40 | 23k| 40 | 19 | 18 | 837k|2797 | 0.000000e+00 | -- | Inf
404.38/404.58 c 405s| 1330k|223581 | 2756k| 2.1 | 200M| 36 | 5 | 40 | 23k| 40 | 19 | 18 | 843k|2808 | 0.000000e+00 | -- | Inf
408.49/408.61 c 409s| 1340k|224914 | 2777k| 2.1 | 201M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 850k|2817 | 0.000000e+00 | -- | Inf
412.48/412.68 c 413s| 1350k|226166 | 2799k| 2.1 | 203M| 36 | - | 40 | 23k| 40 | 19 | 18 | 856k|2824 | 0.000000e+00 | -- | Inf
416.38/416.52 c 417s| 1360k|227427 | 2820k| 2.1 | 204M| 36 | 5 | 40 | 23k| 40 | 19 | 18 | 863k|2831 | 0.000000e+00 | -- | Inf
420.88/421.04 c 421s| 1370k|228246 | 2841k| 2.1 | 205M| 36 | 5 | 40 | 21k| 40 | 19 | 18 | 870k|2840 | 0.000000e+00 | -- | Inf
424.67/424.86 c 425s| 1380k|229284 | 2861k| 2.1 | 206M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 877k|2845 | 0.000000e+00 | -- | Inf
429.98/430.16 c 430s| 1390k|230181 | 2882k| 2.1 | 206M| 36 | - | 40 | 18k| 0 | 0 | 18 | 884k|2855 | 0.000000e+00 | -- | Inf
434.17/434.35 c 434s| 1400k|231325 | 2902k| 2.1 | 207M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 891k|2867 | 0.000000e+00 | -- | Inf
437.96/438.15 c 438s| 1410k|232527 | 2923k| 2.1 | 208M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 898k|2878 | 0.000000e+00 | -- | Inf
441.56/441.75 c 442s| 1420k|233698 | 2943k| 2.1 | 210M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 904k|2889 | 0.000000e+00 | -- | Inf
445.76/445.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.76/445.92 c 446s| 1430k|234848 | 2963k| 2.1 | 211M| 36 | - | 40 | 19k| 0 | 0 | 18 | 911k|2897 | 0.000000e+00 | -- | Inf
449.45/449.65 c 450s| 1440k|235975 | 2983k| 2.1 | 212M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 918k|2909 | 0.000000e+00 | -- | Inf
452.06/452.28 c 452s| 1450k|238046 | 3005k| 2.1 | 214M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 924k|2919 | 0.000000e+00 | -- | Inf
455.16/455.32 c 455s| 1460k|239465 | 3025k| 2.1 | 216M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 931k|2924 | 0.000000e+00 | -- | Inf
458.45/458.66 c 459s| 1470k|240545 | 3045k| 2.1 | 217M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 938k|2932 | 0.000000e+00 | -- | Inf
461.34/461.59 c 462s| 1480k|242454 | 3066k| 2.1 | 219M| 36 | - | 40 | 23k| 0 | 0 | 18 | 944k|2944 | 0.000000e+00 | -- | Inf
464.94/465.15 c 465s| 1490k|243634 | 3086k| 2.1 | 220M| 36 | - | 40 | 24k| 40 | 19 | 18 | 951k|2951 | 0.000000e+00 | -- | Inf
468.84/469.03 c 469s| 1500k|244652 | 3106k| 2.1 | 221M| 36 | - | 40 | 23k| 40 | 19 | 18 | 958k|2958 | 0.000000e+00 | -- | Inf
472.43/472.64 c 473s| 1510k|245832 | 3127k| 2.1 | 223M| 36 | - | 40 | 24k| 40 | 19 | 18 | 965k|2969 | 0.000000e+00 | -- | Inf
476.54/476.73 c 477s| 1520k|246724 | 3147k| 2.1 | 224M| 36 | - | 40 | 24k| 40 | 19 | 18 | 972k|2975 | 0.000000e+00 | -- | Inf
480.93/481.12 c 481s| 1530k|247466 | 3166k| 2.1 | 225M| 36 | 5 | 40 | 23k| 40 | 19 | 18 | 979k|2982 | 0.000000e+00 | -- | Inf
485.63/485.85 c 486s| 1540k|248262 | 3186k| 2.1 | 225M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 986k|2992 | 0.000000e+00 | -- | Inf
490.62/490.81 c 491s| 1550k|249098 | 3207k| 2.1 | 225M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 993k|3003 | 0.000000e+00 | -- | Inf
494.62/494.90 c 495s| 1560k|250035 | 3227k| 2.1 | 226M| 36 | 5 | 40 | 16k| 40 | 19 | 18 |1000k|3014 | 0.000000e+00 | -- | Inf
499.23/499.46 c 499s| 1570k|250705 | 3247k| 2.1 | 227M| 36 | 5 | 40 | 15k| 40 | 19 | 18 |1008k|3021 | 0.000000e+00 | -- | Inf
504.22/504.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.22/504.41 c 504s| 1580k|251307 | 3268k| 2.1 | 228M| 36 | 5 | 40 | 15k| 40 | 19 | 18 |1015k|3034 | 0.000000e+00 | -- | Inf
506.93/507.15 c 507s| 1590k|252609 | 3289k| 2.1 | 230M| 36 | - | 40 | 18k| 40 | 19 | 18 |1022k|3041 | 0.000000e+00 | -- | Inf
511.52/511.75 c 512s| 1600k|253315 | 3309k| 2.1 | 230M| 36 | - | 40 | 16k| 40 | 19 | 18 |1029k|3054 | 0.000000e+00 | -- | Inf
516.12/516.32 c 516s| 1610k|253998 | 3330k| 2.1 | 231M| 36 | 5 | 40 | 15k| 40 | 19 | 18 |1036k|3067 | 0.000000e+00 | -- | Inf
520.52/520.79 c 521s| 1620k|254721 | 3350k| 2.1 | 232M| 36 | 5 | 40 | 15k| 40 | 19 | 18 |1043k|3074 | 0.000000e+00 | -- | Inf
524.61/524.89 c 525s| 1630k|255610 | 3370k| 2.1 | 233M| 36 | - | 40 | 15k| 40 | 19 | 18 |1050k|3078 | 0.000000e+00 | -- | Inf
529.21/529.40 c 529s| 1640k|256237 | 3390k| 2.1 | 234M| 36 | 5 | 40 | 16k| 40 | 19 | 18 |1057k|3083 | 0.000000e+00 | -- | Inf
532.61/532.85 c 533s| 1650k|257553 | 3411k| 2.1 | 236M| 36 | - | 40 | 17k| 40 | 19 | 18 |1064k|3095 | 0.000000e+00 | -- | Inf
536.71/536.90 c 537s| 1660k|258680 | 3432k| 2.1 | 237M| 36 | 5 | 40 | 17k| 40 | 19 | 18 |1071k|3101 | 0.000000e+00 | -- | Inf
539.21/539.44 c 539s| 1670k|260631 | 3453k| 2.1 | 239M| 36 | 5 | 40 | 19k| 40 | 19 | 18 |1077k|3104 | 0.000000e+00 | -- | Inf
542.31/542.58 c 543s| 1680k|262181 | 3474k| 2.1 | 241M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1083k|3109 | 0.000000e+00 | -- | Inf
545.42/545.62 c 546s| 1690k|264062 | 3494k| 2.1 | 243M| 36 | - | 40 | 22k| 40 | 19 | 18 |1089k|3116 | 0.000000e+00 | -- | Inf
549.12/549.32 c 549s| 1700k|265157 | 3515k| 2.1 | 243M| 36 | - | 40 | 21k| 40 | 19 | 18 |1095k|3120 | 0.000000e+00 | -- | Inf
552.91/553.10 c 553s| 1710k|266080 | 3535k| 2.1 | 244M| 36 | - | 40 | 20k| 40 | 19 | 18 |1102k|3125 | 0.000000e+00 | -- | Inf
556.81/557.08 c 557s| 1720k|266691 | 3556k| 2.1 | 245M| 36 | - | 40 | 20k| 40 | 19 | 18 |1109k|3132 | 0.000000e+00 | -- | Inf
560.41/560.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.41/560.64 c 561s| 1730k|267769 | 3577k| 2.1 | 247M| 36 | - | 40 | 22k| 40 | 19 | 18 |1115k|3135 | 0.000000e+00 | -- | Inf
564.71/564.91 c 565s| 1740k|268643 | 3597k| 2.1 | 248M| 36 | - | 40 | 21k| 40 | 19 | 18 |1122k|3141 | 0.000000e+00 | -- | Inf
569.31/569.53 c 570s| 1750k|269604 | 3618k| 2.1 | 248M| 36 | - | 40 | 18k| 40 | 19 | 18 |1129k|3153 | 0.000000e+00 | -- | Inf
573.71/573.90 c 574s| 1760k|270627 | 3639k| 2.1 | 249M| 36 | - | 40 | 17k| 40 | 19 | 18 |1136k|3163 | 0.000000e+00 | -- | Inf
576.61/576.85 c 577s| 1770k|271790 | 3660k| 2.1 | 251M| 36 | 5 | 40 | 19k| 40 | 19 | 18 |1142k|3168 | 0.000000e+00 | -- | Inf
579.81/580.00 c 580s| 1780k|273074 | 3681k| 2.1 | 252M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1149k|3178 | 0.000000e+00 | -- | Inf
584.11/584.30 c 584s| 1790k|273828 | 3701k| 2.1 | 253M| 36 | - | 40 | 19k| 40 | 19 | 18 |1156k|3184 | 0.000000e+00 | -- | Inf
589.21/589.44 c 589s| 1800k|274637 | 3722k| 2.1 | 253M| 36 | 5 | 40 | 17k| 40 | 19 | 18 |1164k|3193 | 0.000000e+00 | -- | Inf
594.21/594.41 c 594s| 1810k|275329 | 3742k| 2.1 | 254M| 36 | - | 40 | 16k| 40 | 19 | 18 |1171k|3202 | 0.000000e+00 | -- | Inf
599.21/599.48 c 599s| 1820k|275948 | 3762k| 2.1 | 255M| 36 | - | 40 | 15k| 40 | 19 | 18 |1178k|3214 | 0.000000e+00 | -- | Inf
603.21/603.42 c 603s| 1830k|276866 | 3783k| 2.1 | 257M| 36 | 5 | 40 | 17k| 40 | 19 | 18 |1185k|3223 | 0.000000e+00 | -- | Inf
607.11/607.34 c 607s| 1840k|277853 | 3803k| 2.1 | 258M| 36 | - | 40 | 19k| 40 | 19 | 18 |1192k|3231 | 0.000000e+00 | -- | Inf
611.20/611.42 c 611s| 1850k|278857 | 3823k| 2.1 | 259M| 36 | - | 40 | 19k| 40 | 19 | 18 |1199k|3236 | 0.000000e+00 | -- | Inf
615.20/615.42 c 615s| 1860k|279969 | 3843k| 2.1 | 261M| 36 | 5 | 40 | 19k| 40 | 19 | 18 |1205k|3245 | 0.000000e+00 | -- | Inf
618.80/619.00 c 619s| 1870k|280928 | 3864k| 2.1 | 262M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1212k|3256 | 0.000000e+00 | -- | Inf
623.80/624.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.80/624.04 c 624s| 1880k|281677 | 3884k| 2.1 | 262M| 36 | 5 | 40 | 19k| 40 | 19 | 18 |1219k|3263 | 0.000000e+00 | -- | Inf
629.01/629.21 c 629s| 1890k|282474 | 3904k| 2.1 | 263M| 36 | - | 40 | 18k| 40 | 19 | 18 |1226k|3270 | 0.000000e+00 | -- | Inf
633.60/633.81 c 634s| 1900k|283363 | 3923k| 2.1 | 264M| 36 | 5 | 40 | 18k| 40 | 19 | 18 |1233k|3279 | 0.000000e+00 | -- | Inf
638.10/638.30 c 638s| 1910k|284177 | 3944k| 2.1 | 266M| 36 | - | 40 | 18k| 0 | 0 | 18 |1240k|3286 | 0.000000e+00 | -- | Inf
641.70/641.93 c 642s| 1920k|285447 | 3964k| 2.1 | 267M| 36 | - | 40 | 21k| 0 | 0 | 18 |1247k|3293 | 0.000000e+00 | -- | Inf
646.40/646.68 c 647s| 1930k|286014 | 3984k| 2.1 | 268M| 36 | - | 40 | 19k| 40 | 19 | 18 |1254k|3300 | 0.000000e+00 | -- | Inf
650.39/650.64 c 651s| 1940k|286971 | 4005k| 2.1 | 269M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1261k|3308 | 0.000000e+00 | -- | Inf
654.80/655.09 c 655s| 1950k|288094 | 4025k| 2.1 | 270M| 36 | 5 | 40 | 19k| 40 | 19 | 18 |1268k|3316 | 0.000000e+00 | -- | Inf
657.90/658.10 c 658s| 1960k|289920 | 4046k| 2.1 | 272M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1274k|3326 | 0.000000e+00 | -- | Inf
661.30/661.50 c 661s| 1970k|291097 | 4067k| 2.1 | 273M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1280k|3334 | 0.000000e+00 | -- | Inf
665.50/665.76 c 666s| 1980k|291955 | 4087k| 2.1 | 274M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1287k|3341 | 0.000000e+00 | -- | Inf
668.60/668.82 c 669s| 1990k|293444 | 4109k| 2.1 | 276M| 36 | - | 40 | 22k| 40 | 19 | 18 |1294k|3348 | 0.000000e+00 | -- | Inf
672.30/672.56 c 673s| 2000k|294130 | 4129k| 2.1 | 277M| 36 | - | 40 | 23k| 0 | 0 | 18 |1301k|3356 | 0.000000e+00 | -- | Inf
676.29/676.55 c 677s| 2010k|295259 | 4151k| 2.1 | 278M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1308k|3363 | 0.000000e+00 | -- | Inf
679.60/679.89 c 680s| 2020k|297307 | 4173k| 2.1 | 281M| 36 | 5 | 40 | 25k| 40 | 19 | 18 |1314k|3369 | 0.000000e+00 | -- | Inf
683.69/683.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.69/683.90 c 684s| 2030k|298821 | 4194k| 2.1 | 282M| 36 | - | 40 | 25k| 40 | 19 | 18 |1321k|3377 | 0.000000e+00 | -- | Inf
687.99/688.24 c 688s| 2040k|299847 | 4216k| 2.1 | 284M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |1328k|3384 | 0.000000e+00 | -- | Inf
692.49/692.70 c 693s| 2050k|300875 | 4236k| 2.1 | 285M| 36 | - | 40 | 27k| 40 | 19 | 18 |1336k|3393 | 0.000000e+00 | -- | Inf
696.69/696.90 c 697s| 2060k|302145 | 4257k| 2.1 | 286M| 36 | 5 | 40 | 28k| 40 | 19 | 18 |1342k|3399 | 0.000000e+00 | -- | Inf
701.39/701.69 c 702s| 2070k|303042 | 4278k| 2.1 | 288M| 36 | - | 40 | 28k| 40 | 19 | 18 |1350k|3406 | 0.000000e+00 | -- | Inf
706.58/706.84 c 707s| 2080k|303573 | 4298k| 2.1 | 288M| 36 | - | 40 | 28k| 40 | 19 | 18 |1357k|3406 | 0.000000e+00 | -- | Inf
713.88/714.19 c 714s| 2090k|304268 | 4318k| 2.1 | 288M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1365k|3417 | 0.000000e+00 | -- | Inf
719.28/719.59 c 720s| 2100k|304939 | 4339k| 2.1 | 288M| 36 | - | 40 | 19k| 40 | 19 | 18 |1372k|3426 | 0.000000e+00 | -- | Inf
724.08/724.31 c 724s| 2110k|305785 | 4360k| 2.1 | 290M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1379k|3435 | 0.000000e+00 | -- | Inf
729.68/729.98 c 730s| 2120k|306483 | 4380k| 2.1 | 290M| 36 | 5 | 40 | 19k| 40 | 19 | 18 |1386k|3442 | 0.000000e+00 | -- | Inf
734.78/735.01 c 735s| 2130k|307209 | 4400k| 2.1 | 291M| 36 | - | 40 | 19k| 40 | 19 | 18 |1393k|3448 | 0.000000e+00 | -- | Inf
739.38/739.68 c 740s| 2140k|308027 | 4421k| 2.1 | 292M| 36 | 5 | 40 | 19k| 40 | 19 | 18 |1400k|3457 | 0.000000e+00 | -- | Inf
743.39/743.63 c 744s| 2150k|309018 | 4440k| 2.1 | 294M| 36 | - | 40 | 20k| 40 | 19 | 18 |1407k|3460 | 0.000000e+00 | -- | Inf
748.08/748.39 c 748s| 2160k|309871 | 4461k| 2.1 | 295M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1414k|3468 | 0.000000e+00 | -- | Inf
753.18/753.47 c 753s| 2170k|310657 | 4481k| 2.1 | 296M| 36 | - | 40 | 20k| 40 | 19 | 18 |1421k|3474 | 0.000000e+00 | -- | Inf
757.98/758.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.98/758.29 c 758s| 2180k|311489 | 4502k| 2.1 | 297M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1428k|3480 | 0.000000e+00 | -- | Inf
762.48/762.77 c 763s| 2190k|312486 | 4523k| 2.1 | 298M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1435k|3491 | 0.000000e+00 | -- | Inf
766.58/766.86 c 767s| 2200k|313364 | 4544k| 2.1 | 299M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1442k|3502 | 0.000000e+00 | -- | Inf
770.68/770.92 c 771s| 2210k|314295 | 4565k| 2.1 | 301M| 36 | - | 40 | 21k| 40 | 19 | 18 |1449k|3510 | 0.000000e+00 | -- | Inf
776.78/777.07 c 777s| 2220k|314879 | 4586k| 2.1 | 301M| 36 | 5 | 40 | 19k| 40 | 19 | 18 |1457k|3515 | 0.000000e+00 | -- | Inf
781.38/781.65 c 782s| 2230k|316101 | 4607k| 2.1 | 302M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1463k|3528 | 0.000000e+00 | -- | Inf
784.67/784.91 c 785s| 2240k|317789 | 4628k| 2.1 | 304M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1469k|3536 | 0.000000e+00 | -- | Inf
788.28/788.59 c 789s| 2250k|318781 | 4649k| 2.1 | 306M| 36 | - | 40 | 22k| 40 | 19 | 18 |1476k|3546 | 0.000000e+00 | -- | Inf
792.97/793.25 c 793s| 2260k|319683 | 4670k| 2.1 | 306M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1483k|3554 | 0.000000e+00 | -- | Inf
796.47/796.72 c 797s| 2270k|321004 | 4690k| 2.1 | 308M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1489k|3560 | 0.000000e+00 | -- | Inf
802.18/802.42 c 802s| 2280k|321708 | 4710k| 2.1 | 309M| 36 | - | 40 | 21k| 40 | 19 | 18 |1496k|3567 | 0.000000e+00 | -- | Inf
806.57/806.88 c 807s| 2290k|322686 | 4731k| 2.1 | 310M| 36 | - | 40 | 22k| 0 | 0 | 18 |1503k|3579 | 0.000000e+00 | -- | Inf
812.17/812.43 c 812s| 2300k|323412 | 4750k| 2.1 | 311M| 36 | 5 | 40 | 22k| 40 | 19 | 18 |1511k|3587 | 0.000000e+00 | -- | Inf
816.97/817.23 c 817s| 2310k|324316 | 4772k| 2.1 | 312M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1518k|3592 | 0.000000e+00 | -- | Inf
822.37/822.69 c 823s| 2320k|325204 | 4792k| 2.1 | 313M| 36 | - | 40 | 21k| 40 | 19 | 18 |1525k|3597 | 0.000000e+00 | -- | Inf
825.97/826.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.97/826.24 c 826s| 2330k|326343 | 4812k| 2.1 | 315M| 36 | - | 40 | 23k| 40 | 19 | 18 |1531k|3598 | 0.000000e+00 | -- | Inf
831.57/831.81 c 832s| 2340k|327089 | 4833k| 2.1 | 315M| 36 | - | 40 | 21k| 40 | 19 | 18 |1539k|3605 | 0.000000e+00 | -- | Inf
836.96/837.25 c 837s| 2350k|327852 | 4854k| 2.1 | 316M| 36 | - | 40 | 22k| 40 | 19 | 18 |1546k|3619 | 0.000000e+00 | -- | Inf
842.28/842.51 c 843s| 2360k|328658 | 4875k| 2.1 | 317M| 36 | 5 | 40 | 22k| 40 | 19 | 18 |1553k|3630 | 0.000000e+00 | -- | Inf
847.17/847.47 c 847s| 2370k|329508 | 4895k| 2.1 | 318M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1560k|3634 | 0.000000e+00 | -- | Inf
852.47/852.77 c 853s| 2380k|330196 | 4916k| 2.1 | 319M| 36 | - | 40 | 21k| 40 | 19 | 18 |1567k|3643 | 0.000000e+00 | -- | Inf
857.26/857.51 c 858s| 2390k|331142 | 4936k| 2.1 | 321M| 36 | - | 40 | 22k| 40 | 19 | 18 |1574k|3649 | 0.000000e+00 | -- | Inf
863.17/863.48 c 863s| 2400k|331894 | 4957k| 2.1 | 321M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1581k|3660 | 0.000000e+00 | -- | Inf
869.56/869.82 c 870s| 2410k|332434 | 4977k| 2.1 | 322M| 36 | - | 40 | 20k| 0 | 0 | 18 |1588k|3668 | 0.000000e+00 | -- | Inf
874.86/875.11 c 875s| 2420k|333179 | 4997k| 2.1 | 323M| 36 | - | 40 | 19k| 40 | 19 | 18 |1595k|3679 | 0.000000e+00 | -- | Inf
879.05/879.39 c 879s| 2430k|334010 | 5018k| 2.1 | 325M| 36 | 5 | 40 | 22k| 40 | 19 | 18 |1603k|3690 | 0.000000e+00 | -- | Inf
885.05/885.38 c 885s| 2440k|334742 | 5038k| 2.1 | 325M| 36 | - | 40 | 19k| 40 | 19 | 18 |1610k|3695 | 0.000000e+00 | -- | Inf
889.75/890.00 c 890s| 2450k|335431 | 5059k| 2.1 | 326M| 36 | - | 40 | 21k| 40 | 19 | 18 |1617k|3703 | 0.000000e+00 | -- | Inf
895.44/895.71 c 896s| 2460k|336052 | 5078k| 2.1 | 327M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1624k|3709 | 0.000000e+00 | -- | Inf
900.93/901.26 c 901s| 2470k|336885 | 5098k| 2.1 | 328M| 36 | - | 40 | 20k| 40 | 19 | 18 |1631k|3716 | 0.000000e+00 | -- | Inf
903.73/904.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.73/904.06 c 904s| 2480k|338561 | 5120k| 2.1 | 330M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1638k|3719 | 0.000000e+00 | -- | Inf
907.24/907.51 c 908s| 2490k|339422 | 5142k| 2.1 | 331M| 36 | - | 40 | 22k| 40 | 19 | 18 |1645k|3721 | 0.000000e+00 | -- | Inf
910.73/911.04 c 911s| 2500k|340081 | 5164k| 2.1 | 332M| 36 | - | 40 | 23k| 40 | 19 | 18 |1652k|3727 | 0.000000e+00 | -- | Inf
914.73/915.01 c 915s| 2510k|341327 | 5184k| 2.1 | 334M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1659k|3731 | 0.000000e+00 | -- | Inf
919.23/919.53 c 920s| 2520k|341878 | 5205k| 2.1 | 334M| 36 | 5 | 40 | 22k| 40 | 19 | 18 |1666k|3735 | 0.000000e+00 | -- | Inf
923.52/923.82 c 924s| 2530k|342862 | 5225k| 2.1 | 335M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1673k|3746 | 0.000000e+00 | -- | Inf
928.32/928.68 c 929s| 2540k|343672 | 5245k| 2.1 | 337M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1680k|3752 | 0.000000e+00 | -- | Inf
933.02/933.30 c 933s| 2550k|344569 | 5265k| 2.1 | 338M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1687k|3761 | 0.000000e+00 | -- | Inf
938.52/938.81 c 939s| 2560k|345224 | 5286k| 2.1 | 338M| 36 | 5 | 40 | 22k| 40 | 19 | 18 |1694k|3768 | 0.000000e+00 | -- | Inf
944.72/945.06 c 945s| 2570k|345715 | 5306k| 2.1 | 339M| 36 | - | 40 | 21k| 40 | 19 | 18 |1701k|3775 | 0.000000e+00 | -- | Inf
950.42/950.78 c 951s| 2580k|346376 | 5327k| 2.1 | 340M| 36 | 5 | 40 | 20k| 40 | 19 | 18 |1709k|3779 | 0.000000e+00 | -- | Inf
953.11/953.49 c 953s| 2590k|347301 | 5348k| 2.1 | 342M| 36 | - | 40 | 24k| 40 | 19 | 18 |1716k|3784 | 0.000000e+00 | -- | Inf
960.02/960.37 c 960s| 2600k|347878 | 5368k| 2.1 | 342M| 36 | 5 | 40 | 22k| 40 | 19 | 18 |1723k|3789 | 0.000000e+00 | -- | Inf
966.52/966.86 c 967s| 2610k|348280 | 5389k| 2.1 | 343M| 36 | 5 | 40 | 21k| 40 | 19 | 18 |1731k|3795 | 0.000000e+00 | -- | Inf
971.61/971.94 c 972s| 2620k|348986 | 5409k| 2.1 | 344M| 36 | 5 | 40 | 22k| 40 | 19 | 18 |1738k|3802 | 0.000000e+00 | -- | Inf
978.01/978.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.01/978.38 c 978s| 2630k|349581 | 5430k| 2.1 | 345M| 36 | - | 40 | 21k| 40 | 19 | 18 |1745k|3811 | 0.000000e+00 | -- | Inf
981.11/981.46 c 981s| 2640k|351317 | 5451k| 2.1 | 347M| 36 | - | 40 | 23k| 40 | 19 | 18 |1752k|3818 | 0.000000e+00 | -- | Inf
984.91/985.22 c 985s| 2650k|352042 | 5471k| 2.1 | 348M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |1759k|3825 | 0.000000e+00 | -- | Inf
989.11/989.41 c 989s| 2660k|352976 | 5491k| 2.1 | 349M| 36 | 5 | 40 | 25k| 40 | 19 | 18 |1765k|3830 | 0.000000e+00 | -- | Inf
993.31/993.65 c 994s| 2670k|353679 | 5510k| 2.1 | 351M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |1772k|3835 | 0.000000e+00 | -- | Inf
999.62/999.94 c 1000s| 2680k|354291 | 5530k| 2.1 | 351M| 36 | - | 40 | 23k| 40 | 19 | 18 |1779k|3841 | 0.000000e+00 | -- | Inf
1005.20/1005.51 c 1006s| 2690k|354885 | 5550k| 2.1 | 351M| 36 | - | 40 | 22k| 0 | 0 | 18 |1787k|3847 | 0.000000e+00 | -- | Inf
1010.41/1010.74 c 1011s| 2700k|355531 | 5570k| 2.1 | 353M| 36 | - | 40 | 23k| 40 | 19 | 18 |1794k|3853 | 0.000000e+00 | -- | Inf
1015.91/1016.20 c 1016s| 2710k|356346 | 5590k| 2.1 | 354M| 36 | - | 40 | 23k| 40 | 19 | 18 |1801k|3860 | 0.000000e+00 | -- | Inf
1019.31/1019.69 c 1020s| 2720k|357966 | 5612k| 2.1 | 356M| 36 | - | 40 | 25k| 40 | 19 | 18 |1807k|3864 | 0.000000e+00 | -- | Inf
1023.71/1024.03 c 1024s| 2730k|358721 | 5632k| 2.1 | 357M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |1814k|3872 | 0.000000e+00 | -- | Inf
1028.30/1028.69 c 1029s| 2740k|359238 | 5653k| 2.1 | 358M| 36 | 5 | 40 | 27k| 40 | 19 | 18 |1821k|3878 | 0.000000e+00 | -- | Inf
1035.41/1035.78 c 1036s| 2750k|359830 | 5673k| 2.1 | 358M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1828k|3881 | 0.000000e+00 | -- | Inf
1040.60/1040.95 c 1041s| 2760k|360834 | 5694k| 2.1 | 359M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |1835k|3885 | 0.000000e+00 | -- | Inf
1045.60/1045.98 c 1046s| 2770k|361800 | 5714k| 2.1 | 360M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |1842k|3894 | 0.000000e+00 | -- | Inf
1049.50/1049.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.50/1049.80 c 1050s| 2780k|362342 | 5734k| 2.1 | 361M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |1849k|3900 | 0.000000e+00 | -- | Inf
1055.90/1056.26 c 1056s| 2790k|362890 | 5754k| 2.1 | 361M| 36 | 5 | 40 | 22k| 40 | 19 | 18 |1857k|3909 | 0.000000e+00 | -- | Inf
1061.21/1061.59 c 1062s| 2800k|363681 | 5774k| 2.1 | 363M| 36 | - | 40 | 22k| 40 | 19 | 18 |1864k|3921 | 0.000000e+00 | -- | Inf
1066.50/1066.80 c 1067s| 2810k|364478 | 5795k| 2.1 | 364M| 36 | - | 40 | 23k| 40 | 19 | 18 |1871k|3930 | 0.000000e+00 | -- | Inf
1072.30/1072.62 c 1073s| 2820k|365010 | 5815k| 2.1 | 365M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1878k|3937 | 0.000000e+00 | -- | Inf
1078.20/1078.57 c 1079s| 2830k|365717 | 5835k| 2.1 | 366M| 36 | - | 40 | 23k| 40 | 19 | 18 |1886k|3941 | 0.000000e+00 | -- | Inf
1081.90/1082.24 c 1082s| 2840k|366867 | 5856k| 2.1 | 368M| 36 | - | 40 | 26k| 40 | 19 | 18 |1893k|3951 | 0.000000e+00 | -- | Inf
1086.00/1086.38 c 1086s| 2850k|368006 | 5876k| 2.1 | 369M| 36 | - | 40 | 27k| 0 | 0 | 18 |1900k|3959 | 0.000000e+00 | -- | Inf
1092.40/1092.76 c 1093s| 2860k|368697 | 5897k| 2.1 | 370M| 36 | - | 40 | 25k| 40 | 19 | 18 |1907k|3966 | 0.000000e+00 | -- | Inf
1096.60/1096.98 c 1097s| 2870k|369509 | 5917k| 2.1 | 371M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |1914k|3974 | 0.000000e+00 | -- | Inf
1103.90/1104.20 c 1104s| 2880k|369944 | 5937k| 2.1 | 371M| 36 | - | 40 | 23k| 0 | 0 | 18 |1922k|3982 | 0.000000e+00 | -- | Inf
1108.89/1109.25 c 1109s| 2890k|370692 | 5958k| 2.1 | 372M| 36 | - | 40 | 24k| 40 | 19 | 18 |1929k|3986 | 0.000000e+00 | -- | Inf
1114.70/1115.04 c 1115s| 2900k|371419 | 5977k| 2.1 | 373M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |1936k|3994 | 0.000000e+00 | -- | Inf
1118.00/1118.35 c 1118s| 2910k|373598 | 6000k| 2.1 | 375M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |1942k|3996 | 0.000000e+00 | -- | Inf
1121.60/1121.93 c 1122s| 2920k|374938 | 6021k| 2.1 | 377M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |1948k|4002 | 0.000000e+00 | -- | Inf
1125.69/1126.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.69/1126.09 c 1126s| 2930k|375639 | 6042k| 2.1 | 378M| 36 | - | 40 | 26k| 40 | 19 | 18 |1955k|4007 | 0.000000e+00 | -- | Inf
1129.69/1130.03 c 1130s| 2940k|376309 | 6065k| 2.1 | 379M| 36 | - | 40 | 28k| 40 | 19 | 18 |1963k|4017 | 0.000000e+00 | -- | Inf
1134.19/1134.53 c 1135s| 2950k|376933 | 6087k| 2.1 | 380M| 36 | 5 | 40 | 27k| 40 | 19 | 18 |1970k|4025 | 0.000000e+00 | -- | Inf
1141.19/1141.51 c 1142s| 2960k|377408 | 6108k| 2.1 | 380M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |1978k|4032 | 0.000000e+00 | -- | Inf
1146.29/1146.69 c 1147s| 2970k|378167 | 6129k| 2.1 | 381M| 36 | - | 40 | 24k| 40 | 19 | 18 |1985k|4035 | 0.000000e+00 | -- | Inf
1152.68/1153.02 c 1153s| 2980k|378865 | 6150k| 2.1 | 382M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |1992k|4036 | 0.000000e+00 | -- | Inf
1158.88/1159.30 c 1159s| 2990k|379502 | 6170k| 2.1 | 383M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |2000k|4048 | 0.000000e+00 | -- | Inf
1164.49/1164.89 c 1165s| 3000k|380120 | 6191k| 2.1 | 384M| 36 | - | 40 | 23k| 40 | 19 | 18 |2007k|4053 | 0.000000e+00 | -- | Inf
1170.59/1170.93 c 1171s| 3010k|380824 | 6212k| 2.1 | 385M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |2014k|4059 | 0.000000e+00 | -- | Inf
1176.29/1176.65 c 1177s| 3020k|381426 | 6232k| 2.1 | 386M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |2021k|4062 | 0.000000e+00 | -- | Inf
1181.98/1182.37 c 1182s| 3030k|382075 | 6252k| 2.1 | 387M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |2029k|4070 | 0.000000e+00 | -- | Inf
1186.28/1186.60 c 1187s| 3040k|382952 | 6273k| 2.1 | 388M| 36 | - | 40 | 25k| 40 | 19 | 18 |2035k|4083 | 0.000000e+00 | -- | Inf
1192.88/1193.29 c 1193s| 3050k|383471 | 6293k| 2.1 | 389M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |2043k|4093 | 0.000000e+00 | -- | Inf
1199.38/1199.70 c 1200s| 3060k|384042 | 6313k| 2.1 | 390M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |2050k|4097 | 0.000000e+00 | -- | Inf
1205.58/1205.94 c 1206s| 3070k|384731 | 6333k| 2.1 | 391M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |2057k|4103 | 0.000000e+00 | -- | Inf
1211.48/1211.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.48/1211.84 c 1212s| 3080k|385300 | 6353k| 2.1 | 392M| 36 | - | 40 | 24k| 40 | 19 | 18 |2064k|4109 | 0.000000e+00 | -- | Inf
1218.08/1218.40 c 1218s| 3090k|385801 | 6373k| 2.1 | 392M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |2072k|4115 | 0.000000e+00 | -- | Inf
1225.08/1225.41 c 1225s| 3100k|386161 | 6393k| 2.1 | 393M| 36 | 5 | 40 | 23k| 40 | 19 | 18 |2079k|4121 | 0.000000e+00 | -- | Inf
1230.67/1231.09 c 1231s| 3110k|386867 | 6413k| 2.1 | 394M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |2086k|4128 | 0.000000e+00 | -- | Inf
1236.78/1237.10 c 1237s| 3120k|388034 | 6433k| 2.1 | 395M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |2093k|4137 | 0.000000e+00 | -- | Inf
1240.07/1240.42 c 1240s| 3130k|389815 | 6454k| 2.1 | 397M| 36 | 5 | 40 | 25k| 40 | 19 | 18 |2099k|4141 | 0.000000e+00 | -- | Inf
1243.88/1244.21 c 1244s| 3140k|391091 | 6474k| 2.1 | 398M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |2106k|4143 | 0.000000e+00 | -- | Inf
1247.57/1247.95 c 1248s| 3150k|392317 | 6494k| 2.1 | 400M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |2112k|4143 | 0.000000e+00 | -- | Inf
1251.87/1252.22 c 1252s| 3160k|393182 | 6513k| 2.1 | 401M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |2119k|4143 | 0.000000e+00 | -- | Inf
1256.27/1256.68 c 1257s| 3170k|393921 | 6532k| 2.1 | 402M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |2126k|4143 | 0.000000e+00 | -- | Inf
1260.87/1261.25 c 1261s| 3180k|394561 | 6552k| 2.1 | 403M| 36 | 5 | 40 | 28k| 40 | 19 | 18 |2133k|4143 | 0.000000e+00 | -- | Inf
1265.27/1265.65 c 1266s| 3190k|395368 | 6571k| 2.1 | 404M| 36 | 5 | 40 | 28k| 40 | 19 | 18 |2140k|4144 | 0.000000e+00 | -- | Inf
1270.27/1270.61 c 1271s| 3200k|395763 | 6590k| 2.1 | 404M| 36 | - | 40 | 27k| 40 | 19 | 18 |2147k|4144 | 0.000000e+00 | -- | Inf
1274.76/1275.19 c 1275s| 3210k|396353 | 6609k| 2.1 | 406M| 36 | - | 40 | 29k| 40 | 19 | 18 |2154k|4145 | 0.000000e+00 | -- | Inf
1281.37/1281.77 c 1282s| 3220k|396675 | 6628k| 2.1 | 406M| 36 | - | 40 | 26k| 40 | 19 | 18 |2162k|4145 | 0.000000e+00 | -- | Inf
1286.17/1286.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.17/1286.50 c 1286s| 3230k|398108 | 6649k| 2.1 | 408M| 36 | - | 40 | 28k| 40 | 19 | 18 |2168k|4150 | 0.000000e+00 | -- | Inf
1293.07/1293.43 c 1293s| 3240k|398588 | 6670k| 2.1 | 408M| 36 | - | 40 | 26k| 0 | 0 | 18 |2176k|4159 | 0.000000e+00 | -- | Inf
1300.57/1300.92 c 1301s| 3250k|398989 | 6691k| 2.1 | 408M| 36 | 5 | 40 | 24k| 40 | 19 | 18 |2183k|4167 | 0.000000e+00 | -- | Inf
1306.46/1306.83 c 1307s| 3260k|399588 | 6711k| 2.1 | 409M| 36 | 5 | 40 | 25k| 40 | 19 | 18 |2190k|4172 | 0.000000e+00 | -- | Inf
1311.66/1312.01 c 1312s| 3270k|400454 | 6731k| 2.1 | 411M| 36 | - | 40 | 27k| 40 | 19 | 18 |2197k|4180 | 0.000000e+00 | -- | Inf
1318.16/1318.56 c 1319s| 3280k|401006 | 6752k| 2.1 | 411M| 36 | 5 | 40 | 25k| 40 | 19 | 18 |2205k|4190 | 0.000000e+00 | -- | Inf
1322.86/1323.27 c 1323s| 3290k|402062 | 6772k| 2.1 | 413M| 36 | - | 40 | 26k| 40 | 19 | 18 |2211k|4193 | 0.000000e+00 | -- | Inf
1326.76/1327.16 c 1327s| 3300k|403230 | 6793k| 2.1 | 414M| 36 | - | 40 | 28k| 40 | 19 | 18 |2218k|4193 | 0.000000e+00 | -- | Inf
1331.15/1331.58 c 1332s| 3310k|403849 | 6814k| 2.1 | 415M| 36 | - | 40 | 29k| 40 | 19 | 18 |2226k|4193 | 0.000000e+00 | -- | Inf
1335.76/1336.13 c 1336s| 3320k|404551 | 6834k| 2.1 | 417M| 36 | - | 40 | 31k| 40 | 19 | 18 |2233k|4193 | 0.000000e+00 | -- | Inf
1342.46/1342.81 c 1343s| 3330k|404587 | 6854k| 2.1 | 416M| 36 | 5 | 40 | 27k| 40 | 19 | 18 |2240k|4193 | 0.000000e+00 | -- | Inf
1347.16/1347.51 c 1348s| 3340k|405697 | 6876k| 2.1 | 418M| 36 | - | 40 | 29k| 40 | 19 | 18 |2247k|4193 | 0.000000e+00 | -- | Inf
1351.06/1351.47 c 1351s| 3350k|406336 | 6897k| 2.1 | 419M| 36 | 5 | 40 | 31k| 40 | 19 | 18 |2255k|4193 | 0.000000e+00 | -- | Inf
1358.06/1358.45 c 1358s| 3360k|407098 | 6918k| 2.1 | 419M| 36 | - | 40 | 27k| 40 | 19 | 18 |2262k|4193 | 0.000000e+00 | -- | Inf
1365.15/1365.51 c 1366s| 3370k|408102 | 6938k| 2.1 | 420M| 36 | - | 40 | 26k| 40 | 19 | 18 |2269k|4193 | 0.000000e+00 | -- | Inf
1368.24/1368.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.24/1368.62 c 1369s| 3380k|409781 | 6959k| 2.1 | 422M| 36 | - | 40 | 28k| 40 | 19 | 18 |2276k|4193 | 0.000000e+00 | -- | Inf
1371.64/1372.00 c 1372s| 3390k|411049 | 6980k| 2.1 | 424M| 36 | - | 40 | 29k| 0 | 0 | 18 |2282k|4193 | 0.000000e+00 | -- | Inf
1375.35/1375.79 c 1376s| 3400k|411959 | 7000k| 2.1 | 425M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2289k|4193 | 0.000000e+00 | -- | Inf
1379.24/1379.63 c 1380s| 3410k|412928 | 7021k| 2.1 | 426M| 36 | 5 | 40 | 30k| 40 | 19 | 18 |2296k|4193 | 0.000000e+00 | -- | Inf
1382.94/1383.39 c 1383s| 3420k|414061 | 7042k| 2.1 | 427M| 36 | 5 | 40 | 30k| 40 | 19 | 18 |2303k|4193 | 0.000000e+00 | -- | Inf
1386.54/1386.95 c 1387s| 3430k|415785 | 7063k| 2.1 | 429M| 36 | 5 | 40 | 31k| 40 | 19 | 18 |2309k|4194 | 0.000000e+00 | -- | Inf
1390.53/1390.98 c 1391s| 3440k|416842 | 7084k| 2.1 | 430M| 36 | 5 | 40 | 31k| 40 | 19 | 18 |2316k|4198 | 0.000000e+00 | -- | Inf
1394.83/1395.23 c 1395s| 3450k|417694 | 7104k| 2.1 | 431M| 36 | - | 40 | 31k| 40 | 19 | 18 |2322k|4202 | 0.000000e+00 | -- | Inf
1399.53/1399.96 c 1400s| 3460k|418084 | 7125k| 2.1 | 432M| 36 | - | 40 | 31k| 40 | 19 | 18 |2330k|4208 | 0.000000e+00 | -- | Inf
1403.43/1403.86 c 1404s| 3470k|419002 | 7146k| 2.1 | 433M| 36 | - | 40 | 32k| 0 | 0 | 18 |2337k|4213 | 0.000000e+00 | -- | Inf
1410.72/1411.15 c 1411s| 3480k|419253 | 7166k| 2.1 | 433M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2344k|4219 | 0.000000e+00 | -- | Inf
1414.92/1415.34 c 1415s| 3490k|420263 | 7187k| 2.1 | 435M| 36 | - | 40 | 31k| 40 | 19 | 18 |2351k|4225 | 0.000000e+00 | -- | Inf
1421.71/1422.15 c 1422s| 3500k|420938 | 7208k| 2.1 | 436M| 36 | - | 40 | 30k| 0 | 0 | 18 |2358k|4229 | 0.000000e+00 | -- | Inf
1428.62/1429.05 c 1429s| 3510k|421543 | 7228k| 2.1 | 436M| 36 | 5 | 40 | 28k| 40 | 19 | 18 |2365k|4234 | 0.000000e+00 | -- | Inf
1434.31/1434.70 c 1435s| 3520k|422626 | 7249k| 2.1 | 437M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2372k|4241 | 0.000000e+00 | -- | Inf
1439.71/1440.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.71/1440.16 c 1440s| 3530k|423276 | 7269k| 2.1 | 438M| 36 | - | 40 | 28k| 40 | 19 | 18 |2379k|4248 | 0.000000e+00 | -- | Inf
1445.11/1445.51 c 1446s| 3540k|424320 | 7289k| 2.1 | 439M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2386k|4255 | 0.000000e+00 | -- | Inf
1448.91/1449.34 c 1449s| 3550k|425376 | 7310k| 2.1 | 441M| 36 | 5 | 40 | 31k| 40 | 19 | 18 |2393k|4260 | 0.000000e+00 | -- | Inf
1453.11/1453.54 c 1454s| 3560k|426710 | 7331k| 2.1 | 443M| 36 | 5 | 40 | 33k| 40 | 19 | 18 |2400k|4270 | 0.000000e+00 | -- | Inf
1459.70/1460.19 c 1460s| 3570k|427237 | 7352k| 2.1 | 443M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2408k|4278 | 0.000000e+00 | -- | Inf
1464.10/1464.53 c 1465s| 3580k|428348 | 7372k| 2.1 | 444M| 36 | - | 40 | 31k| 40 | 19 | 18 |2415k|4283 | 0.000000e+00 | -- | Inf
1471.51/1471.90 c 1472s| 3590k|428886 | 7392k| 2.1 | 445M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2422k|4291 | 0.000000e+00 | -- | Inf
1478.30/1478.79 c 1479s| 3600k|429509 | 7413k| 2.1 | 445M| 36 | - | 40 | 27k| 40 | 19 | 18 |2430k|4295 | 0.000000e+00 | -- | Inf
1486.41/1486.89 c 1487s| 3610k|429964 | 7433k| 2.1 | 446M| 36 | 5 | 40 | 25k| 40 | 19 | 18 |2437k|4303 | 0.000000e+00 | -- | Inf
1491.40/1491.82 c 1492s| 3620k|430748 | 7452k| 2.1 | 447M| 36 | - | 40 | 28k| 40 | 19 | 18 |2444k|4310 | 0.000000e+00 | -- | Inf
1499.40/1499.82 c 1500s| 3630k|431218 | 7472k| 2.1 | 448M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |2451k|4318 | 0.000000e+00 | -- | Inf
1504.10/1504.55 c 1505s| 3640k|432326 | 7492k| 2.1 | 449M| 36 | - | 40 | 28k| 40 | 19 | 18 |2458k|4327 | 0.000000e+00 | -- | Inf
1508.50/1508.90 c 1509s| 3650k|433493 | 7511k| 2.1 | 451M| 36 | 5 | 40 | 28k| 40 | 19 | 18 |2464k|4327 | 0.000000e+00 | -- | Inf
1512.30/1512.72 c 1513s| 3660k|434838 | 7532k| 2.1 | 452M| 36 | - | 40 | 29k| 40 | 19 | 18 |2470k|4330 | 0.000000e+00 | -- | Inf
1517.20/1517.65 c 1518s| 3670k|435335 | 7552k| 2.1 | 453M| 36 | - | 40 | 29k| 40 | 19 | 18 |2478k|4334 | 0.000000e+00 | -- | Inf
1522.00/1522.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.00/1522.49 c 1522s| 3680k|435966 | 7571k| 2.1 | 453M| 36 | - | 40 | 29k| 40 | 19 | 18 |2484k|4338 | 0.000000e+00 | -- | Inf
1526.90/1527.36 c 1527s| 3690k|436674 | 7591k| 2.1 | 454M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2491k|4340 | 0.000000e+00 | -- | Inf
1531.49/1531.91 c 1532s| 3700k|437290 | 7611k| 2.1 | 455M| 36 | - | 40 | 31k| 0 | 0 | 18 |2498k|4340 | 0.000000e+00 | -- | Inf
1536.80/1537.28 c 1537s| 3710k|438116 | 7630k| 2.1 | 456M| 36 | - | 40 | 30k| 40 | 19 | 18 |2505k|4341 | 0.000000e+00 | -- | Inf
1544.59/1545.06 c 1545s| 3720k|438540 | 7650k| 2.1 | 456M| 36 | - | 40 | 27k| 40 | 19 | 18 |2512k|4348 | 0.000000e+00 | -- | Inf
1550.60/1551.08 c 1551s| 3730k|439206 | 7670k| 2.1 | 457M| 36 | 5 | 40 | 28k| 40 | 19 | 18 |2519k|4352 | 0.000000e+00 | -- | Inf
1557.60/1558.06 c 1558s| 3740k|439626 | 7691k| 2.1 | 458M| 36 | 5 | 40 | 27k| 40 | 19 | 18 |2527k|4355 | 0.000000e+00 | -- | Inf
1566.29/1566.79 c 1567s| 3750k|439897 | 7711k| 2.1 | 458M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |2534k|4359 | 0.000000e+00 | -- | Inf
1570.79/1571.29 c 1571s| 3760k|441269 | 7731k| 2.1 | 460M| 36 | 5 | 40 | 28k| 40 | 19 | 18 |2541k|4363 | 0.000000e+00 | -- | Inf
1574.99/1575.45 c 1575s| 3770k|441947 | 7751k| 2.1 | 461M| 36 | - | 40 | 29k| 40 | 19 | 18 |2548k|4366 | 0.000000e+00 | -- | Inf
1582.59/1583.07 c 1583s| 3780k|442425 | 7771k| 2.1 | 461M| 36 | - | 40 | 27k| 40 | 19 | 18 |2555k|4372 | 0.000000e+00 | -- | Inf
1590.78/1591.21 c 1591s| 3790k|442713 | 7791k| 2.1 | 462M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |2562k|4382 | 0.000000e+00 | -- | Inf
1598.19/1598.66 c 1599s| 3800k|443123 | 7811k| 2.1 | 463M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |2570k|4393 | 0.000000e+00 | -- | Inf
1606.69/1607.16 c 1607s| 3810k|443468 | 7831k| 2.1 | 463M| 36 | 5 | 40 | 25k| 40 | 19 | 18 |2578k|4398 | 0.000000e+00 | -- | Inf
1610.48/1610.91 c 1611s| 3820k|444315 | 7851k| 2.1 | 465M| 36 | 5 | 40 | 28k| 40 | 19 | 18 |2585k|4404 | 0.000000e+00 | -- | Inf
1614.09/1614.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.09/1614.52 c 1615s| 3830k|445898 | 7873k| 2.1 | 466M| 36 | - | 40 | 29k| 40 | 19 | 18 |2592k|4410 | 0.000000e+00 | -- | Inf
1617.59/1618.02 c 1618s| 3840k|446839 | 7893k| 2.1 | 468M| 36 | 5 | 40 | 30k| 40 | 19 | 18 |2599k|4417 | 0.000000e+00 | -- | Inf
1621.58/1622.01 c 1622s| 3850k|447119 | 7914k| 2.1 | 468M| 36 | - | 40 | 29k| 40 | 19 | 18 |2606k|4428 | 0.000000e+00 | -- | Inf
1628.68/1629.16 c 1629s| 3860k|447593 | 7934k| 2.1 | 468M| 36 | - | 40 | 27k| 40 | 19 | 18 |2614k|4432 | 0.000000e+00 | -- | Inf
1632.88/1633.37 c 1633s| 3870k|448514 | 7955k| 2.1 | 470M| 36 | - | 40 | 29k| 40 | 19 | 18 |2620k|4441 | 0.000000e+00 | -- | Inf
1640.69/1641.12 c 1641s| 3880k|449097 | 7974k| 2.1 | 470M| 36 | 5 | 40 | 28k| 40 | 19 | 18 |2628k|4449 | 0.000000e+00 | -- | Inf
1648.58/1649.00 c 1649s| 3890k|449508 | 7994k| 2.1 | 470M| 36 | - | 40 | 25k| 40 | 19 | 18 |2635k|4449 | 0.000000e+00 | -- | Inf
1655.08/1655.57 c 1656s| 3900k|450071 | 8015k| 2.1 | 472M| 36 | - | 40 | 27k| 40 | 19 | 18 |2642k|4451 | 0.000000e+00 | -- | Inf
1661.58/1662.05 c 1662s| 3910k|450800 | 8035k| 2.1 | 473M| 36 | 5 | 40 | 27k| 40 | 19 | 18 |2649k|4457 | 0.000000e+00 | -- | Inf
1664.98/1665.49 c 1665s| 3920k|452460 | 8057k| 2.1 | 475M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2656k|4459 | 0.000000e+00 | -- | Inf
1668.97/1669.47 c 1669s| 3930k|453790 | 8078k| 2.1 | 476M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2663k|4464 | 0.000000e+00 | -- | Inf
1673.07/1673.51 c 1674s| 3940k|454841 | 8100k| 2.1 | 478M| 36 | 5 | 40 | 30k| 40 | 19 | 18 |2670k|4472 | 0.000000e+00 | -- | Inf
1677.97/1678.43 c 1678s| 3950k|455326 | 8122k| 2.1 | 479M| 36 | - | 40 | 30k| 40 | 19 | 18 |2677k|4478 | 0.000000e+00 | -- | Inf
1682.48/1683.00 c 1683s| 3960k|456010 | 8143k| 2.1 | 479M| 36 | - | 40 | 30k| 40 | 19 | 18 |2685k|4479 | 0.000000e+00 | -- | Inf
1687.27/1687.70 c 1688s| 3970k|456524 | 8164k| 2.1 | 480M| 36 | 5 | 40 | 30k| 40 | 19 | 18 |2693k|4486 | 0.000000e+00 | -- | Inf
1694.77/1695.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.77/1695.27 c 1695s| 3980k|457153 | 8184k| 2.1 | 481M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2700k|4491 | 0.000000e+00 | -- | Inf
1702.07/1702.57 c 1703s| 3990k|457579 | 8204k| 2.1 | 481M| 36 | - | 40 | 27k| 40 | 19 | 18 |2707k|4495 | 0.000000e+00 | -- | Inf
1706.87/1707.30 c 1707s| 4000k|458426 | 8225k| 2.1 | 483M| 36 | 5 | 40 | 30k| 40 | 19 | 18 |2714k|4499 | 0.000000e+00 | -- | Inf
1716.06/1716.59 c 1717s| 4010k|458631 | 8245k| 2.1 | 483M| 36 | - | 40 | 28k| 40 | 19 | 18 |2721k|4506 | 0.000000e+00 | -- | Inf
1726.16/1726.64 c 1727s| 4020k|458834 | 8265k| 2.1 | 483M| 36 | 5 | 40 | 26k| 40 | 19 | 18 |2729k|4513 | 0.000000e+00 | -- | Inf
1731.46/1731.97 c 1732s| 4030k|459552 | 8285k| 2.1 | 485M| 36 | - | 40 | 29k| 40 | 19 | 18 |2736k|4521 | 0.000000e+00 | -- | Inf
1736.86/1737.37 c 1737s| 4040k|460251 | 8306k| 2.1 | 486M| 36 | - | 40 | 30k| 40 | 19 | 18 |2744k|4528 | 0.000000e+00 | -- | Inf
1744.17/1744.61 c 1745s| 4050k|460962 | 8327k| 2.1 | 486M| 36 | 5 | 40 | 27k| 40 | 19 | 18 |2751k|4530 | 0.000000e+00 | -- | Inf
1747.86/1748.36 c 1748s| 4060k|462101 | 8348k| 2.1 | 488M| 36 | - | 40 | 29k| 0 | 0 | 18 |2759k|4538 | 0.000000e+00 | -- | Inf
1752.26/1752.71 c 1753s| 4070k|462662 | 8369k| 2.1 | 490M| 36 | - | 40 | 30k| 40 | 19 | 18 |2767k|4552 | 0.000000e+00 | -- | Inf
1758.96/1759.43 c 1759s| 4080k|463213 | 8390k| 2.1 | 490M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2775k|4559 | 0.000000e+00 | -- | Inf
1768.26/1768.75 c 1769s| 4090k|463522 | 8410k| 2.1 | 490M| 36 | 5 | 40 | 27k| 40 | 19 | 18 |2782k|4562 | 0.000000e+00 | -- | Inf
1774.76/1775.30 c 1775s| 4100k|464218 | 8431k| 2.1 | 491M| 36 | - | 40 | 27k| 40 | 19 | 18 |2789k|4569 | 0.000000e+00 | -- | Inf
1780.96/1781.43 c 1781s| 4110k|464918 | 8451k| 2.1 | 493M| 36 | 5 | 40 | 29k| 40 | 19 | 18 |2796k|4576 | 0.000000e+00 | -- | Inf
1786.36/1786.85 c 1787s| 4120k|465610 | 8472k| 2.1 | 494M| 36 | 5 | 40 | 30k| 40 | 19 | 18 |2804k|4580 | 0.000000e+00 | -- | Inf
1789.56/1790.01 c
1789.56/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.01 c Solving Time (sec) : 1790.00
1789.56/1790.01 c Solving Nodes : 4127324
1789.56/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.56/1790.01 c Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Gap : infinite
1789.56/1790.01 s UNKNOWN
1789.56/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.01 c Solving Time : 1790.00
1789.56/1790.01 c Original Problem :
1789.56/1790.01 c Problem name : HOME/instance-3734987-1338702804.opb
1789.56/1790.01 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.01 c Constraints : 11 initial, 11 maximal
1789.56/1790.01 c Presolved Problem :
1789.56/1790.01 c Problem name : t_HOME/instance-3734987-1338702804.opb
1789.56/1790.01 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.01 c Constraints : 5 initial, 33503 maximal
1789.56/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.56/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.56/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c linear : 0.00 0 0 0 0 0 6 0 0
1789.56/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c root node : - 0 - - 0 - - - -
1789.56/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.56/1790.01 c integral : 0 0 0 2390655 0 747 1939 0 0 4775978
1789.56/1790.01 c linear : 5+ 7 10277897 0 2 404864 3993681 0 0 0
1789.56/1790.01 c logicor : 0+ 0 5111075 0 0 18071 2099264 0 0 0
1789.56/1790.01 c countsols : 0 0 0 0 2 0 0 0 0 0
1789.56/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.56/1790.01 c integral : 13.25 0.00 0.00 13.25 0.00
1789.56/1790.01 c linear : 131.66 0.00 131.66 0.00 0.00
1789.56/1790.01 c logicor : 662.56 0.00 662.56 0.00 0.00
1789.56/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.56/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.56/1790.01 c vbounds : 1.36 2 0 0
1789.56/1790.01 c rootredcost : 1.25 0 0 0
1789.56/1790.01 c pseudoobj : 0.96 0 0 0
1789.56/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.56/1790.01 c propagation : 12.42 422935 342732 1169602 29.1 87 24.1 -
1789.56/1790.01 c infeasible LP : 35.50 1478450 1478401 2921667 19.5 24824 23.7 0
1789.56/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.56/1790.01 c applied globally : - - - 2786895 19.2 - - -
1789.56/1790.01 c applied locally : - - - 21989 31.4 - - -
1789.56/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.56/1790.01 c cut pool : 0.00 5 - - 67 - (maximal pool size: 93)
1789.56/1790.01 c redcost : 2.15 2390660 0 0 0 0
1789.56/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.56/1790.01 c intobj : 0.00 0 0 0 0 0
1789.56/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.56/1790.01 c gomory : 0.00 6 0 0 0 0
1789.56/1790.01 c strongcg : 0.00 6 0 0 16 0
1789.56/1790.01 c cmir : 0.01 6 0 0 44 0
1789.56/1790.01 c flowcover : 0.01 6 0 0 55 0
1789.56/1790.01 c clique : 0.00 1 0 0 0 0
1789.56/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.56/1790.01 c mcf : 0.00 1 0 0 0 0
1789.56/1790.01 c rapidlearning : 0.03 1 0 0 0 31
1789.56/1790.01 c Pricers : Time Calls Vars
1789.56/1790.01 c problem variables: 0.00 0 0
1789.56/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.56/1790.01 c relpscost : 12.10 2390655 747 1939 0 0 4775978
1789.56/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.56/1790.01 c inference : 0.00 2 0 0 0 0 4
1789.56/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.56/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.56/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.01 c random : 0.00 0 0 0 0 0 0
1789.56/1790.01 c Primal Heuristics : Time Calls Found
1789.56/1790.01 c LP solutions : 0.00 - 0
1789.56/1790.01 c pseudo solutions : 0.00 - 0
1789.56/1790.01 c oneopt : 0.87 0 0
1789.56/1790.01 c crossover : 0.55 0 0
1789.56/1790.01 c guideddiving : 0.13 0 0
1789.56/1790.01 c intshifting : 0.06 0 0
1789.56/1790.01 c coefdiving : 0.12 92 0
1789.56/1790.01 c linesearchdiving : 0.12 93 0
1789.56/1790.01 c fracdiving : 0.09 93 0
1789.56/1790.01 c pscostdiving : 0.11 93 0
1789.56/1790.01 c veclendiving : 0.11 93 0
1789.56/1790.01 c objpscostdiving : 0.09 47 0
1789.56/1790.01 c rootsoldiving : 0.11 47 0
1789.56/1790.01 c feaspump : 0.09 48 0
1789.56/1790.01 c trivial : 0.00 2 0
1789.56/1790.01 c simplerounding : 0.39 0 0
1789.56/1790.01 c zirounding : 0.58 1000 0
1789.56/1790.01 c rounding : 0.83 21864 0
1789.56/1790.01 c shifting : 1.39 6722 0
1789.56/1790.01 c twoopt : 0.00 0 0
1789.56/1790.01 c fixandinfer : 0.00 0 0
1789.56/1790.01 c intdiving : 0.00 0 0
1789.56/1790.01 c actconsdiving : 0.00 0 0
1789.56/1790.01 c octane : 0.00 0 0
1789.56/1790.01 c rens : 0.02 1 0
1789.56/1790.01 c rins : 0.00 0 0
1789.56/1790.01 c localbranching : 0.00 0 0
1789.56/1790.01 c mutation : 0.00 0 0
1789.56/1790.01 c dins : 0.00 0 0
1789.56/1790.01 c undercover : 0.00 0 0
1789.56/1790.01 c nlp : 0.47 0 0
1789.56/1790.01 c trysol : 0.67 0 0
1789.56/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.56/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.56/1790.01 c dual LP : 156.07 3706093 8485352 2.29 54367.35
1789.56/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.56/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.56/1790.01 c diving/probing LP: 0.07 1264 2216 1.75 33783.06
1789.56/1790.01 c strong branching : 0.35 4582 17661 3.85 50360.14
1789.56/1790.01 c (at root node) : - 9 460 51.11 -
1789.56/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.56/1790.01 c B&B Tree :
1789.56/1790.01 c number of runs : 1
1789.56/1790.01 c nodes : 4127324
1789.56/1790.01 c nodes (total) : 4127324
1789.56/1790.01 c nodes left : 466628
1789.56/1790.01 c max depth : 36
1789.56/1790.01 c max depth (total): 36
1789.56/1790.01 c backtracks : 832560 (20.2%)
1789.56/1790.01 c delayed cutoffs : 182031
1789.56/1790.01 c repropagations : 3648063 (3083024 domain reductions, 161696 cutoffs)
1789.56/1790.01 c avg switch length: 5.55
1789.56/1790.01 c switching time : 507.50
1789.56/1790.01 c Solution :
1789.56/1790.01 c Solutions found : 0 (0 improvements)
1789.56/1790.01 c Primal Bound : -
1789.56/1790.01 c Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Gap : infinite
1789.56/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Root Iterations : 128
1790.86/1791.33 c Time complete: 1790.89.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734987-1338702804/watcher-3734987-1338702804 -o /tmp/evaluation-result-3734987-1338702804/solver-3734987-1338702804 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734987-1338702804.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: 2.02 2.02 2.00 3/176 7766
/proc/meminfo: memFree=24213144/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=6096 CPUtime=0 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 844 0 0 0 0 0 0 0 20 0 1 0 336407630 6242304 792 33554432000 4194304 8395647 140733789269408 140735948184904 7355228 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 1524 793 351 1026 0 494 0
[startup+0.096147 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 7766
/proc/meminfo: memFree=24213144/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=23000 CPUtime=0.09 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 5066 0 0 0 8 1 0 0 20 0 1 0 336407630 23552000 4659 33554432000 4194304 8395647 140733789269408 140735948184904 6036988 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 5750 4659 621 1026 0 4720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23000
[startup+0.100209 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 7766
/proc/meminfo: memFree=24213144/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=23000 CPUtime=0.09 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 5067 0 0 0 8 1 0 0 20 0 1 0 336407630 23552000 4660 33554432000 4194304 8395647 140733789269408 140735948184904 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 5750 4660 622 1026 0 4720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23000
[startup+0.300176 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 7766
/proc/meminfo: memFree=24213144/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=23000 CPUtime=0.29 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 5070 0 0 0 27 2 0 0 20 0 1 0 336407630 23552000 4663 33554432000 4194304 8395647 140733789269408 140735948184904 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 5750 4663 622 1026 0 4720 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23000
[startup+0.700176 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 7766
/proc/meminfo: memFree=24213144/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=23000 CPUtime=0.69 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 5074 0 0 0 66 3 0 0 20 0 1 0 336407630 23552000 4667 33554432000 4194304 8395647 140733789269408 140733789265016 6119719 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 5750 4667 622 1026 0 4720 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23000
[startup+1.50018 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 7767
/proc/meminfo: memFree=24196024/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=23000 CPUtime=1.49 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 5079 0 0 0 144 5 0 0 20 0 1 0 336407630 23552000 4672 33554432000 4194304 8395647 140733789269408 140733789265016 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 5750 4672 622 1026 0 4720 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23000
[startup+3.10018 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 7767
/proc/meminfo: memFree=24193288/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=23000 CPUtime=3.09 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 5288 0 0 0 300 9 0 0 20 0 1 0 336407630 23552000 4881 33554432000 4194304 8395647 140733789269408 140733789265016 4995709 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 5750 4881 622 1026 0 4720 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23000
[startup+6.30018 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 7767
/proc/meminfo: memFree=24189328/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=24976 CPUtime=6.28 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 5820 0 0 0 610 18 0 0 20 0 1 0 336407630 25575424 5413 33554432000 4194304 8395647 140733789269408 140733789265016 4995143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 6244 5413 622 1026 0 5214 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24976
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 7767
/proc/meminfo: memFree=24171308/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=33964 CPUtime=12.68 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 8061 0 0 0 1233 35 0 0 20 0 1 0 336407630 34779136 7654 33554432000 4194304 8395647 140733789269408 140733789265016 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 8491 7654 622 1026 0 7461 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33964
[startup+25.5002 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 7767
/proc/meminfo: memFree=24147404/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=48040 CPUtime=25.48 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 11603 0 0 0 2484 64 0 0 20 0 1 0 336407630 49192960 11196 33554432000 4194304 8395647 140733789269408 140733789265016 7489566 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 12010 11196 622 1026 0 10980 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48040
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 7767
/proc/meminfo: memFree=24102716/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=74136 CPUtime=51.08 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 17751 0 0 0 4993 115 0 0 20 0 1 0 336407630 75915264 17344 33554432000 4194304 8395647 140733789269408 140733789265016 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 18534 17344 622 1026 0 17504 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74136
[startup+102.307 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 7767
/proc/meminfo: memFree=24032988/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=105644 CPUtime=102.27 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 25667 0 0 0 10026 201 0 0 20 0 1 0 336407630 108179456 25260 33554432000 4194304 8395647 140733789269408 140733789264840 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 26411 25260 622 1026 0 25381 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 105644
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 7767
/proc/meminfo: memFree=23954652/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=133720 CPUtime=162.26 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 32799 0 0 0 15939 287 0 0 20 0 1 0 336407630 136929280 32392 33554432000 4194304 8395647 140733789269408 140733789265016 4218186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 33430 32392 622 1026 0 32400 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 133720
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 7768
/proc/meminfo: memFree=23882768/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=164852 CPUtime=222.25 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 40471 0 0 0 21855 370 0 0 20 0 1 0 336407630 168808448 40064 33554432000 4194304 8395647 140733789269408 140733789264840 5083730 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 41213 40064 622 1026 0 40183 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 164852
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 7768
/proc/meminfo: memFree=23820680/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=188472 CPUtime=282.24 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 46300 0 0 0 27785 439 0 0 20 0 1 0 336407630 192995328 45893 33554432000 4194304 8395647 140733789269408 140733789265016 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 47118 45893 622 1026 0 46088 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 188472
[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 7844
/proc/meminfo: memFree=25103220/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=210540 CPUtime=342.23 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 50955 0 0 0 33715 508 0 0 20 0 1 0 336407630 215592960 50548 33554432000 4194304 8395647 140733789269408 140733789265016 5085342 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 52635 50548 622 1026 0 51605 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 210540
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/178 7847
/proc/meminfo: memFree=25011176/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=233204 CPUtime=402.19 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 56687 0 0 0 39639 580 0 0 20 0 1 0 336407630 238800896 56362 33554432000 4194304 8395647 140733789269408 140733789265016 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 58301 56362 622 1026 0 57271 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 233204
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 7870
/proc/meminfo: memFree=24996768/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=254924 CPUtime=462.14 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 62149 0 0 0 45563 651 0 0 20 0 1 0 336407630 261042176 62072 33554432000 4194304 8395647 140733789269408 140733789264840 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 63731 62072 622 1026 0 62701 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 254924
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 7871
/proc/meminfo: memFree=24972276/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=270092 CPUtime=522.12 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 65975 0 0 0 51499 713 0 0 20 0 1 0 336407630 276574208 66284 33554432000 4194304 8395647 140733789269408 140733789265016 5083879 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 67523 66284 622 1026 0 66493 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 270092
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 7871
/proc/meminfo: memFree=24941372/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=290056 CPUtime=582.11 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 71050 0 0 0 57425 786 0 0 20 0 1 0 336407630 297017344 71359 33554432000 4194304 8395647 140733789269408 140733789265016 5085381 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 72514 71359 622 1026 0 71484 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 290056
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24846208/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=389316 CPUtime=1002.01 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 95870 0 0 0 99017 1184 0 0 20 0 1 0 336407630 398659584 96406 33554432000 4194304 8395647 140733789269408 140733789265016 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 97329 96406 622 1026 0 96299 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 389316
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7876
/proc/meminfo: memFree=24833384/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=401988 CPUtime=1062 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 98884 0 0 0 104966 1234 0 0 20 0 1 0 336407630 411635712 99420 33554432000 4194304 8395647 140733789269408 140733789265016 4218233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 100497 99420 622 1026 0 99467 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 401988
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7877
/proc/meminfo: memFree=24817424/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=415484 CPUtime=1121.99 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 102160 0 0 0 110912 1287 0 0 20 0 1 0 336407630 425455616 102696 33554432000 4194304 8395647 140733789269408 140733789265016 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 103871 102696 622 1026 0 102841 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 415484
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7877
/proc/meminfo: memFree=24813400/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=423804 CPUtime=1181.98 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 104318 0 0 0 116866 1332 0 0 20 0 1 0 336407630 433975296 104854 33554432000 4194304 8395647 140733789269408 140733789265016 4215470 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 105951 104854 622 1026 0 104921 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 423804
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7877
/proc/meminfo: memFree=24785428/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=436988 CPUtime=1241.97 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 107666 0 0 0 122819 1378 0 0 20 0 1 0 336407630 447475712 108202 33554432000 4194304 8395647 140733789269408 140733789265016 6028423 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 109247 108202 622 1026 0 108217 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 436988
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7877
/proc/meminfo: memFree=24773896/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=448460 CPUtime=1301.97 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 110464 0 0 0 128769 1428 0 0 20 0 1 0 336407630 459223040 111000 33554432000 4194304 8395647 140733789269408 140733789265016 6068924 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 112115 111000 622 1026 0 111085 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 448460
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7877
/proc/meminfo: memFree=24763664/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=460556 CPUtime=1361.95 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 112978 0 0 0 134718 1477 0 0 20 0 1 0 336407630 471609344 113513 33554432000 4194304 8395647 140733789269408 140733789265016 4218186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 115139 113513 622 1026 0 114109 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 460556
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7878
/proc/meminfo: memFree=24745284/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=476320 CPUtime=1421.92 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 117044 0 0 0 140660 1532 0 0 20 0 1 0 336407630 487751680 118085 33554432000 4194304 8395647 140733789269408 140733789265016 4216931 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 119080 118085 622 1026 0 118050 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 476320
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7878
/proc/meminfo: memFree=24732260/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=485920 CPUtime=1481.91 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 119493 0 0 0 146615 1576 0 0 20 0 1 0 336407630 497582080 120534 33554432000 4194304 8395647 140733789269408 140733789265016 7185576 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 121480 120534 622 1026 0 120450 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 485920
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7878
/proc/meminfo: memFree=24723952/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=494176 CPUtime=1541.9 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 121608 0 0 0 152566 1624 0 0 20 0 1 0 336407630 506036224 122649 33554432000 4194304 8395647 140733789269408 140733789265016 5085579 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 123544 122649 622 1026 0 122514 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 494176
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 7881
/proc/meminfo: memFree=24716540/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=500708 CPUtime=1601.88 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 123304 0 0 0 158526 1662 0 0 20 0 1 0 336407630 512724992 124345 33554432000 4194304 8395647 140733789269408 140733789265016 4212588 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 125177 124345 622 1026 0 124147 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 500708
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7881
/proc/meminfo: memFree=24706804/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=510932 CPUtime=1661.88 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 125873 0 0 0 164479 1709 0 0 20 0 1 0 336407630 523194368 126914 33554432000 4194304 8395647 140733789269408 140733789265016 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 127733 126914 622 1026 0 126703 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 510932
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 7881
/proc/meminfo: memFree=24694784/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=531528 CPUtime=1721.87 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 129025 0 0 0 170428 1759 0 0 20 0 1 0 336407630 544284672 130066 33554432000 4194304 8395647 140733789269408 140733789265016 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 132882 130066 622 1026 0 131852 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 531528
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7882
/proc/meminfo: memFree=24684360/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=541616 CPUtime=1781.86 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 131596 0 0 0 176386 1800 0 0 20 0 1 0 336407630 554614784 132637 33554432000 4194304 8395647 140733789269408 140733789264536 4471457 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 135404 132637 622 1026 0 134374 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 541616
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7882
/proc/meminfo: memFree=24683988/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=542000 CPUtime=1785.05 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 131692 0 0 0 176704 1801 0 0 20 0 1 0 336407630 555008000 132733 33554432000 4194304 8395647 140733789269408 140733789265016 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 135500 132733 622 1026 0 134470 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 542000
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7882
/proc/meminfo: memFree=24683368/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=543164 CPUtime=1788.26 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 131766 0 0 0 177021 1805 0 0 20 0 1 0 336407630 556199936 132807 33554432000 4194304 8395647 140733789269408 140733789265016 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 135791 132807 622 1026 0 134761 0
Current children cumulated CPU time (s) 1788.26
Current children cumulated vsize (KiB) 543164
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7882
/proc/meminfo: memFree=24682624/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=544328 CPUtime=1789.86 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 132045 0 0 0 177180 1806 0 0 20 0 1 0 336407630 557391872 133086 33554432000 4194304 8395647 140733789269408 140733789265016 6345203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 136082 133086 625 1026 0 135052 0
Current children cumulated CPU time (s) 1789.86
Current children cumulated vsize (KiB) 544328
[startup+1791.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7882
/proc/meminfo: memFree=24682128/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=544328 CPUtime=1790.66 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 132045 0 0 0 177260 1806 0 0 20 0 1 0 336407630 557391872 133086 33554432000 4194304 8395647 140733789269408 140733789267528 6345370 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 136082 133086 625 1026 0 135052 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (KiB) 544328
[startup+1791.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7882
/proc/meminfo: memFree=24682128/32873648 swapFree=6852/6852
[pid=7766] ppid=7764 vsize=544328 CPUtime=1790.86 cores=0,2,4,6
/proc/7766/stat : 7766 (pbscip.linux.x8) R 7764 7766 4046 0 -1 4202496 132045 0 0 0 177280 1806 0 0 20 0 1 0 336407630 557391872 133086 33554432000 4194304 8395647 140733789269408 140733789267528 5083232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7766/statm: 136082 133086 625 1026 0 135052 0
Current children cumulated CPU time (s) 1790.86
Current children cumulated vsize (KiB) 544328
Child status: 0
Real time (s): 1791.34
CPU time (s): 1790.9
CPU user time (s): 1772.83
CPU system time (s): 18.0673
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 544328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.83
system time used= 18.0673
maximum resident set size= 532344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132048
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= 207
involuntary context switches= 2432
runsolver used 2.53161 second user time and 7.2629 second system time
The end