0.00/0.00 c SCIP version 2.0.1.5 [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-3488432-1307778394.opb>
0.00/0.00 c original problem has 378 variables (378 bin, 0 int, 0 impl, 0 cont) and 274 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.01 c (round 1) 7 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 1584 impls, 0 clqs
0.00/0.01 c (round 2) 7 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 32 chg coeffs, 9 upgd conss, 1584 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 189/371 (50.9%) - 0 fixings, 0 aggregations, 45 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 7 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 32 changed coefficients
0.00/0.02 c 1684 implications, 0 cliques
0.00/0.02 c presolved problem has 371 variables (371 bin, 0 int, 0 impl, 0 cont) and 274 constraints
0.00/0.02 c 1 constraints of type <setppc>
0.00/0.02 c 251 constraints of type <and>
0.00/0.02 c 7 constraints of type <linear>
0.00/0.02 c 8 constraints of type <logicor>
0.00/0.02 c 7 constraints of type <pseudoboolean>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.0.1.5
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1797
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 12 | - |1774k| 0 | 4 | 371 | 305 | 371 | 518 | 0 | 31 | 0 | 2.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 222 | - |1842k| 0 | 20 | 371 | 350 | 371 | 524 | 6 | 71 | 0 | 2.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 244 | - |1903k| 0 | 31 | 371 | 350 | 371 | 565 | 47 | 71 | 0 | 2.000000e+00 | -- | Inf
0.09/0.16 c 0.2s| 1 | 0 | 262 | - |1954k| 0 | 40 | 371 | 350 | 371 | 576 | 58 | 71 | 0 | 2.000000e+00 | -- | Inf
0.09/0.17 c 0.2s| 1 | 0 | 301 | - |2014k| 0 | 52 | 371 | 350 | 371 | 591 | 73 | 71 | 0 | 2.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 339 | - |2067k| 0 | 56 | 371 | 350 | 371 | 613 | 95 | 71 | 0 | 2.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 400 | - |2129k| 0 | 80 | 371 | 350 | 371 | 634 | 116 | 71 | 0 | 2.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 2 | 400 | - |2130k| 0 | 80 | 371 | 350 | 371 | 634 | 116 | 71 | 10 | 2.000000e+00 | -- | Inf
1.69/1.74 o 3
1.69/1.74 c * 1.7s| 1023 | 278 | 12426 | 11.8 |2886k| 52 | - | 371 |1162 | 371 | 255 |3260 | 883 | 829 | 2.000000e+00 | 3.000000e+00 | 50.00%
7.39/7.42 c 7.4s| 10000 | 2555 | 62512 | 6.2 |7503k| 60 | - | 371 |3838 | 0 | 0 | 17k| 12k| 853 | 2.000000e+00 | 3.000000e+00 | 50.00%
13.20/13.26 c 13.3s| 20000 | 4556 |105980 | 5.3 | 10M| 61 | 4 | 371 |4328 | 371 | 252 | 30k| 23k| 959 | 2.000000e+00 | 3.000000e+00 | 50.00%
19.19/19.26 c 19.3s| 30000 | 6517 |151414 | 5.0 | 14M| 61 | 8 | 371 |4975 | 371 | 240 | 43k| 34k|1095 | 2.000000e+00 | 3.000000e+00 | 50.00%
25.00/25.02 c 25.0s| 40000 | 7200 |191475 | 4.8 | 17M| 61 | 2 | 371 |5650 | 371 | 252 | 54k| 47k|1164 | 2.000000e+00 | 3.000000e+00 | 50.00%
30.89/30.98 c 31.0s| 50000 | 8485 |235400 | 4.7 | 19M| 61 | - | 371 |6550 | 0 | 0 | 69k| 58k|1232 | 2.000000e+00 | 3.000000e+00 | 50.00%
36.79/36.88 c 36.9s| 60000 | 9192 |277715 | 4.6 | 21M| 61 | 1 | 371 |5654 | 371 | 233 | 82k| 70k|1368 | 2.000000e+00 | 3.000000e+00 | 50.00%
42.49/42.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.49/42.59 c 42.6s| 70000 | 10178 |318099 | 4.5 | 23M| 61 | 9 | 371 |5628 | 371 | 266 | 94k| 82k|1518 | 2.000000e+00 | 3.000000e+00 | 50.00%
48.19/48.28 c 48.3s| 80000 | 10892 |358893 | 4.5 | 25M| 61 | 8 | 371 |6184 | 371 | 253 | 106k| 94k|1606 | 2.000000e+00 | 3.000000e+00 | 50.00%
53.99/54.09 c 54.1s| 90000 | 11098 |397703 | 4.4 | 27M| 62 | 14 | 371 |5983 | 371 | 266 | 117k| 107k|1669 | 2.000000e+00 | 3.000000e+00 | 50.00%
59.89/59.95 c 59.9s|100000 | 11414 |437068 | 4.4 | 29M| 62 | 2 | 371 |7103 | 371 | 272 | 130k| 121k|1748 | 2.000000e+00 | 3.000000e+00 | 50.00%
65.79/65.84 c 65.8s|110000 | 11772 |477103 | 4.3 | 30M| 62 | 12 | 371 |6766 | 371 | 270 | 142k| 133k|1830 | 2.000000e+00 | 3.000000e+00 | 50.00%
71.79/71.81 c 71.8s|120000 | 11789 |519225 | 4.3 | 30M| 62 | 12 | 371 |5540 | 371 | 261 | 154k| 147k|1910 | 2.000000e+00 | 3.000000e+00 | 50.00%
77.59/77.64 c 77.6s|130000 | 11838 |559294 | 4.3 | 31M| 62 | 11 | 371 |5893 | 371 | 263 | 167k| 160k|1975 | 2.000000e+00 | 3.000000e+00 | 50.00%
83.40/83.42 c 83.4s|140000 | 12128 |599569 | 4.3 | 32M| 62 | - | 371 |5739 | 0 | 0 | 180k| 173k|2028 | 2.000000e+00 | 3.000000e+00 | 50.00%
89.40/89.41 c 89.4s|150000 | 12148 |640506 | 4.3 | 33M| 62 | - | 371 |6362 | 0 | 0 | 193k| 185k|2091 | 2.000000e+00 | 3.000000e+00 | 50.00%
95.60/95.67 c 95.7s|160000 | 12242 |682452 | 4.3 | 34M| 62 | - | 371 |6160 | 0 | 0 | 207k| 198k|2152 | 2.000000e+00 | 3.000000e+00 | 50.00%
101.70/101.79 c 102s|170000 | 13115 |723886 | 4.3 | 36M| 62 | 6 | 371 |5913 | 371 | 251 | 220k| 208k|2209 | 2.000000e+00 | 3.000000e+00 | 50.00%
107.50/107.59 c 108s|180000 | 13271 |762924 | 4.2 | 36M| 62 | 8 | 371 |5328 | 371 | 259 | 232k| 220k|2258 | 2.000000e+00 | 3.000000e+00 | 50.00%
113.59/113.61 c 114s|190000 | 13315 |804463 | 4.2 | 37M| 62 | 8 | 371 |5609 | 371 | 258 | 244k| 233k|2485 | 2.000000e+00 | 3.000000e+00 | 50.00%
119.30/119.33 c 119s|200000 | 13337 |845406 | 4.2 | 38M| 62 | 7 | 371 |6279 | 371 | 244 | 256k| 245k|2502 | 2.000000e+00 | 3.000000e+00 | 50.00%
125.20/125.22 c 125s|210000 | 14078 |887233 | 4.2 | 39M| 62 | 14 | 371 |5090 | 371 | 273 | 269k| 258k|2719 | 2.000000e+00 | 3.000000e+00 | 50.00%
130.90/130.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.90/130.98 c 131s|220000 | 14320 |928406 | 4.2 | 41M| 62 | 10 | 371 |5938 | 371 | 238 | 281k| 272k|2719 | 2.000000e+00 | 3.000000e+00 | 50.00%
136.59/136.68 c 137s|230000 | 14624 |969324 | 4.2 | 42M| 62 | 9 | 371 |6233 | 371 | 254 | 293k| 285k|2741 | 2.000000e+00 | 3.000000e+00 | 50.00%
142.50/142.56 c 143s|240000 | 15068 | 1013k| 4.2 | 44M| 62 | 20 | 371 |7218 | 371 | 261 | 306k| 296k|2747 | 2.000000e+00 | 3.000000e+00 | 50.00%
148.60/148.65 c 149s|250000 | 15396 | 1057k| 4.2 | 45M| 62 | 11 | 371 |6862 | 371 | 245 | 318k| 309k|3091 | 2.000000e+00 | 3.000000e+00 | 50.00%
154.59/154.67 c 155s|260000 | 15768 | 1100k| 4.2 | 46M| 62 | - | 371 |7383 | 0 | 0 | 329k| 321k|3091 | 2.000000e+00 | 3.000000e+00 | 50.00%
160.80/160.88 c 161s|270000 | 15902 | 1145k| 4.2 | 47M| 62 | 16 | 371 |9126 | 371 | 256 | 342k| 332k|3091 | 2.000000e+00 | 3.000000e+00 | 50.00%
167.00/167.08 c 167s|280000 | 15777 | 1184k| 4.2 | 46M| 62 | 16 | 371 |6319 | 371 | 225 | 353k| 344k|3565 | 2.000000e+00 | 3.000000e+00 | 50.00%
173.00/173.01 c 173s|290000 | 15937 | 1227k| 4.2 | 47M| 62 | 11 | 371 |6843 | 371 | 249 | 366k| 356k|3565 | 2.000000e+00 | 3.000000e+00 | 50.00%
179.09/179.11 c 179s|300000 | 15950 | 1271k| 4.2 | 48M| 62 | - | 371 |7694 | 0 | 0 | 378k| 370k|3565 | 2.000000e+00 | 3.000000e+00 | 50.00%
184.80/184.86 c 185s|310000 | 16575 | 1312k| 4.2 | 50M| 62 | 6 | 371 |8476 | 371 | 268 | 388k| 385k|3565 | 2.000000e+00 | 3.000000e+00 | 50.00%
190.79/190.88 c 191s|320000 | 16830 | 1353k| 4.2 | 50M| 62 | - | 371 |7051 | 0 | 0 | 400k| 399k|3565 | 2.000000e+00 | 3.000000e+00 | 50.00%
196.80/196.82 c 197s|330000 | 16704 | 1394k| 4.2 | 50M| 62 | 1 | 371 |6465 | 371 | 269 | 412k| 412k|3570 | 2.000000e+00 | 3.000000e+00 | 50.00%
202.70/202.70 c 203s|340000 | 17618 | 1435k| 4.2 | 52M| 62 | - | 371 |7395 | 0 | 0 | 424k| 425k|3573 | 2.000000e+00 | 3.000000e+00 | 50.00%
208.40/208.40 c 208s|350000 | 17861 | 1475k| 4.2 | 54M| 62 | - | 371 |8682 | 0 | 0 | 433k| 435k|3592 | 2.000000e+00 | 3.000000e+00 | 50.00%
214.20/214.21 c 214s|360000 | 17733 | 1516k| 4.2 | 54M| 62 | 5 | 371 |7570 | 371 | 255 | 444k| 447k|3608 | 2.000000e+00 | 3.000000e+00 | 50.00%
220.09/220.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.09/220.10 c 220s|370000 | 17746 | 1559k| 4.2 | 55M| 62 | - | 371 |7241 | 0 | 0 | 456k| 460k|3625 | 2.000000e+00 | 3.000000e+00 | 50.00%
226.09/226.14 c 226s|380000 | 17768 | 1600k| 4.2 | 55M| 62 | 9 | 371 |6143 | 371 | 260 | 468k| 473k|3721 | 2.000000e+00 | 3.000000e+00 | 50.00%
231.90/231.97 c 232s|390000 | 18046 | 1646k| 4.2 | 56M| 62 | - | 371 |8003 | 0 | 0 | 479k| 484k|3728 | 2.000000e+00 | 3.000000e+00 | 50.00%
237.99/238.05 c 238s|400000 | 18403 | 1685k| 4.2 | 58M| 62 | - | 371 | 10k| 0 | 0 | 491k| 494k|3739 | 2.000000e+00 | 3.000000e+00 | 50.00%
244.40/244.46 c 244s|410000 | 18492 | 1727k| 4.2 | 58M| 62 | 15 | 371 |8719 | 371 | 249 | 504k| 505k|3749 | 2.000000e+00 | 3.000000e+00 | 50.00%
250.40/250.46 c 250s|420000 | 18748 | 1770k| 4.2 | 58M| 62 | 12 | 371 |6831 | 371 | 261 | 516k| 517k|3770 | 2.000000e+00 | 3.000000e+00 | 50.00%
256.30/256.38 c 256s|430000 | 18878 | 1812k| 4.2 | 59M| 62 | - | 371 |6706 | 0 | 0 | 528k| 530k|3798 | 2.000000e+00 | 3.000000e+00 | 50.00%
262.50/262.59 c 263s|440000 | 19067 | 1853k| 4.2 | 60M| 62 | 6 | 371 |7929 | 371 | 278 | 540k| 542k|3880 | 2.000000e+00 | 3.000000e+00 | 50.00%
268.69/268.71 c 269s|450000 | 19151 | 1891k| 4.2 | 61M| 62 | 6 | 371 |9397 | 371 | 259 | 552k| 553k|3881 | 2.000000e+00 | 3.000000e+00 | 50.00%
274.59/274.62 c 275s|460000 | 19134 | 1932k| 4.2 | 61M| 62 | - | 371 |8263 | 0 | 0 | 562k| 566k|3906 | 2.000000e+00 | 3.000000e+00 | 50.00%
280.29/280.32 c 280s|470000 | 19336 | 1970k| 4.2 | 62M| 62 | - | 371 |9019 | 0 | 0 | 574k| 578k|3925 | 2.000000e+00 | 3.000000e+00 | 50.00%
286.40/286.43 c 286s|480000 | 19209 | 2008k| 4.2 | 61M| 62 | 10 | 371 |6773 | 371 | 255 | 586k| 591k|3947 | 2.000000e+00 | 3.000000e+00 | 50.00%
292.40/292.43 c 292s|490000 | 19326 | 2049k| 4.2 | 63M| 62 | 6 | 371 | 12k| 371 | 236 | 598k| 607k|3960 | 2.000000e+00 | 3.000000e+00 | 50.00%
298.60/298.66 c 299s|500000 | 19381 | 2090k| 4.2 | 62M| 62 | 7 | 371 |8009 | 371 | 267 | 611k| 621k|4032 | 2.000000e+00 | 3.000000e+00 | 50.00%
304.80/304.84 c 305s|510000 | 19439 | 2131k| 4.2 | 62M| 62 | - | 371 |7155 | 0 | 0 | 622k| 635k|4352 | 2.000000e+00 | 3.000000e+00 | 50.00%
310.70/310.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.70/310.74 c 311s|520000 | 19426 | 2173k| 4.2 | 63M| 62 | 12 | 371 |8961 | 371 | 239 | 633k| 646k|4352 | 2.000000e+00 | 3.000000e+00 | 50.00%
316.70/316.75 c 317s|530000 | 19427 | 2213k| 4.2 | 63M| 62 | - | 371 |8396 | 0 | 0 | 645k| 660k|4356 | 2.000000e+00 | 3.000000e+00 | 50.00%
322.90/322.91 c 323s|540000 | 20836 | 2259k| 4.2 | 65M| 62 | - | 371 |8603 | 0 | 0 | 659k| 672k|4356 | 2.000000e+00 | 3.000000e+00 | 50.00%
329.00/329.08 c 329s|550000 | 21179 | 2301k| 4.2 | 67M| 62 | - | 371 |9411 | 0 | 0 | 670k| 683k|4356 | 2.000000e+00 | 3.000000e+00 | 50.00%
335.10/335.16 c 335s|560000 | 21125 | 2344k| 4.2 | 68M| 62 | - | 371 | 10k| 0 | 0 | 681k| 696k|4356 | 2.000000e+00 | 3.000000e+00 | 50.00%
341.30/341.34 c 341s|570000 | 20506 | 2386k| 4.2 | 67M| 62 | - | 371 | 10k| 0 | 0 | 692k| 709k|4356 | 2.000000e+00 | 3.000000e+00 | 50.00%
347.50/347.60 c 348s|580000 | 20273 | 2428k| 4.2 | 68M| 62 | 13 | 371 | 11k| 371 | 259 | 705k| 721k|4382 | 2.000000e+00 | 3.000000e+00 | 50.00%
353.80/353.82 c 354s|590000 | 20330 | 2469k| 4.2 | 68M| 62 | 17 | 371 | 10k| 371 | 231 | 718k| 733k|4390 | 2.000000e+00 | 3.000000e+00 | 50.00%
359.90/359.95 c 360s|600000 | 20621 | 2511k| 4.2 | 70M| 62 | 11 | 371 | 11k| 371 | 259 | 730k| 745k|4403 | 2.000000e+00 | 3.000000e+00 | 50.00%
366.31/366.32 c 366s|610000 | 20680 | 2556k| 4.2 | 70M| 62 | - | 371 | 12k| 0 | 0 | 744k| 758k|4416 | 2.000000e+00 | 3.000000e+00 | 50.00%
372.60/372.68 c 373s|620000 | 20854 | 2596k| 4.2 | 71M| 62 | 9 | 371 | 12k| 371 | 246 | 756k| 772k|4432 | 2.000000e+00 | 3.000000e+00 | 50.00%
379.00/379.04 c 379s|630000 | 20832 | 2636k| 4.2 | 70M| 62 | 7 | 371 |9953 | 371 | 233 | 767k| 785k|4582 | 2.000000e+00 | 3.000000e+00 | 50.00%
385.01/385.04 c 385s|640000 | 20818 | 2678k| 4.2 | 71M| 62 | 11 | 371 |9946 | 371 | 262 | 778k| 799k|4620 | 2.000000e+00 | 3.000000e+00 | 50.00%
391.01/391.08 c 391s|650000 | 20754 | 2719k| 4.2 | 71M| 62 | 8 | 371 |9531 | 371 | 246 | 790k| 813k|4666 | 2.000000e+00 | 3.000000e+00 | 50.00%
397.00/397.02 c 397s|660000 | 20599 | 2760k| 4.2 | 71M| 62 | 5 | 371 | 10k| 371 | 254 | 800k| 825k|4678 | 2.000000e+00 | 3.000000e+00 | 50.00%
403.10/403.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.10/403.16 c 403s|670000 | 20781 | 2804k| 4.2 | 72M| 62 | 3 | 371 | 10k| 371 | 235 | 812k| 837k|4701 | 2.000000e+00 | 3.000000e+00 | 50.00%
409.00/409.09 c 409s|680000 | 20962 | 2847k| 4.2 | 72M| 62 | 27 | 371 |7361 | 371 | 254 | 824k| 849k|4717 | 2.000000e+00 | 3.000000e+00 | 50.00%
415.01/415.00 c 415s|690000 | 21593 | 2893k| 4.2 | 73M| 62 | 8 | 371 |9411 | 371 | 259 | 836k| 862k|4728 | 2.000000e+00 | 3.000000e+00 | 50.00%
421.40/421.40 c 421s|700000 | 22062 | 2938k| 4.2 | 76M| 62 | - | 371 | 10k| 0 | 0 | 849k| 873k|4730 | 2.000000e+00 | 3.000000e+00 | 50.00%
427.81/427.83 c 428s|710000 | 21081 | 2981k| 4.2 | 74M| 62 | 5 | 371 |9917 | 371 | 264 | 862k| 885k|4751 | 2.000000e+00 | 3.000000e+00 | 50.00%
433.60/433.61 c 434s|720000 | 21142 | 3021k| 4.2 | 74M| 62 | 16 | 371 |9328 | 371 | 249 | 873k| 897k|4770 | 2.000000e+00 | 3.000000e+00 | 50.00%
439.71/439.78 c 440s|730000 | 21332 | 3061k| 4.2 | 74M| 62 | - | 371 |9222 | 0 | 0 | 885k| 911k|4779 | 2.000000e+00 | 3.000000e+00 | 50.00%
445.60/445.63 c 446s|740000 | 21401 | 3101k| 4.2 | 74M| 62 | - | 371 |9100 | 0 | 0 | 897k| 924k|4794 | 2.000000e+00 | 3.000000e+00 | 50.00%
451.61/451.61 c 452s|750000 | 21440 | 3146k| 4.2 | 75M| 62 | - | 371 | 10k| 0 | 0 | 908k| 935k|4803 | 2.000000e+00 | 3.000000e+00 | 50.00%
457.71/457.76 c 458s|760000 | 21552 | 3185k| 4.2 | 77M| 62 | 2 | 371 | 12k| 371 | 257 | 920k| 948k|4818 | 2.000000e+00 | 3.000000e+00 | 50.00%
463.91/463.95 c 464s|770000 | 21668 | 3228k| 4.2 | 76M| 62 | 15 | 371 | 10k| 371 | 257 | 932k| 960k|4835 | 2.000000e+00 | 3.000000e+00 | 50.00%
469.90/469.94 c 470s|780000 | 21556 | 3268k| 4.2 | 76M| 62 | 18 | 371 |9829 | 371 | 238 | 943k| 973k|4845 | 2.000000e+00 | 3.000000e+00 | 50.00%
475.80/475.83 c 476s|790000 | 21471 | 3308k| 4.2 | 77M| 62 | - | 371 | 12k| 0 | 0 | 955k| 986k|4854 | 2.000000e+00 | 3.000000e+00 | 50.00%
482.10/482.18 c 482s|800000 | 21446 | 3351k| 4.2 | 76M| 62 | 6 | 371 |9250 | 371 | 248 | 967k| 999k|4865 | 2.000000e+00 | 3.000000e+00 | 50.00%
488.21/488.25 c 488s|810000 | 21342 | 3394k| 4.2 | 76M| 62 | 16 | 371 | 10k| 371 | 249 | 979k|1012k|4878 | 2.000000e+00 | 3.000000e+00 | 50.00%
494.30/494.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.30/494.32 c 494s|820000 | 21143 | 3431k| 4.2 | 76M| 62 | - | 371 |9457 | 0 | 0 | 990k|1026k|4889 | 2.000000e+00 | 3.000000e+00 | 50.00%
500.20/500.28 c 500s|830000 | 21358 | 3473k| 4.2 | 77M| 62 | 6 | 371 |9870 | 371 | 266 |1002k|1038k|4904 | 2.000000e+00 | 3.000000e+00 | 50.00%
506.50/506.55 c 507s|840000 | 21150 | 3517k| 4.2 | 77M| 62 | - | 371 |9895 | 0 | 0 |1014k|1048k|4915 | 2.000000e+00 | 3.000000e+00 | 50.00%
512.51/512.58 c 513s|850000 | 20819 | 3557k| 4.2 | 76M| 62 | - | 371 |8910 | 0 | 0 |1025k|1061k|4930 | 2.000000e+00 | 3.000000e+00 | 50.00%
518.50/518.59 c 519s|860000 | 20731 | 3600k| 4.2 | 77M| 62 | 7 | 371 | 10k| 371 | 288 |1036k|1073k|4938 | 2.000000e+00 | 3.000000e+00 | 50.00%
524.80/524.81 c 525s|870000 | 20906 | 3643k| 4.2 | 77M| 62 | - | 371 |8902 | 0 | 0 |1049k|1084k|4947 | 2.000000e+00 | 3.000000e+00 | 50.00%
531.10/531.13 c 531s|880000 | 20965 | 3689k| 4.2 | 77M| 62 | - | 371 |8592 | 0 | 0 |1062k|1096k|4956 | 2.000000e+00 | 3.000000e+00 | 50.00%
537.11/537.12 c 537s|890000 | 20640 | 3730k| 4.2 | 77M| 62 | 24 | 371 |8799 | 371 | 270 |1073k|1109k|4970 | 2.000000e+00 | 3.000000e+00 | 50.00%
543.41/543.48 c 543s|900000 | 20767 | 3768k| 4.2 | 78M| 62 | 20 | 371 | 10k| 371 | 260 |1086k|1121k|4974 | 2.000000e+00 | 3.000000e+00 | 50.00%
549.50/549.60 c 550s|910000 | 20741 | 3811k| 4.2 | 78M| 62 | - | 371 |9559 | 0 | 0 |1098k|1134k|5000 | 2.000000e+00 | 3.000000e+00 | 50.00%
555.52/555.55 c 556s|920000 | 20408 | 3851k| 4.2 | 77M| 62 | 3 | 371 |8824 | 371 | 277 |1109k|1146k|5010 | 2.000000e+00 | 3.000000e+00 | 50.00%
561.41/561.48 c 561s|930000 | 20264 | 3893k| 4.2 | 78M| 62 | 15 | 371 | 11k| 371 | 263 |1120k|1160k|5022 | 2.000000e+00 | 3.000000e+00 | 50.00%
567.91/567.92 c 568s|940000 | 20173 | 3935k| 4.2 | 78M| 62 | 16 | 371 | 11k| 371 | 252 |1131k|1173k|5034 | 2.000000e+00 | 3.000000e+00 | 50.00%
574.31/574.36 c 574s|950000 | 20335 | 3975k| 4.2 | 79M| 62 | 13 | 371 | 11k| 371 | 264 |1143k|1185k|5039 | 2.000000e+00 | 3.000000e+00 | 50.00%
580.91/580.95 c 581s|960000 | 20067 | 4017k| 4.2 | 78M| 62 | 1 | 371 | 11k| 371 | 242 |1157k|1198k|5049 | 2.000000e+00 | 3.000000e+00 | 50.00%
587.21/587.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.21/587.22 c 587s|970000 | 20061 | 4061k| 4.2 | 78M| 62 | - | 371 | 10k| 0 | 0 |1168k|1210k|5069 | 2.000000e+00 | 3.000000e+00 | 50.00%
593.30/593.33 c 593s|980000 | 19944 | 4103k| 4.2 | 79M| 62 | 10 | 371 | 10k| 371 | 269 |1180k|1223k|5119 | 2.000000e+00 | 3.000000e+00 | 50.00%
599.41/599.49 c 599s|990000 | 19669 | 4145k| 4.2 | 78M| 62 | 3 | 371 |9929 | 371 | 244 |1191k|1236k|5214 | 2.000000e+00 | 3.000000e+00 | 50.00%
605.51/605.53 c 606s| 1000k| 19855 | 4185k| 4.2 | 78M| 62 | 21 | 371 |8603 | 371 | 254 |1202k|1249k|5277 | 2.000000e+00 | 3.000000e+00 | 50.00%
611.52/611.52 c 612s| 1010k| 20074 | 4227k| 4.2 | 78M| 62 | - | 371 |8772 | 0 | 0 |1215k|1262k|5305 | 2.000000e+00 | 3.000000e+00 | 50.00%
617.61/617.60 c 618s| 1020k| 20077 | 4269k| 4.2 | 79M| 62 | - | 371 |9438 | 0 | 0 |1227k|1275k|5305 | 2.000000e+00 | 3.000000e+00 | 50.00%
623.72/623.77 c 624s| 1030k| 20020 | 4312k| 4.2 | 79M| 62 | 16 | 371 |8981 | 371 | 266 |1239k|1287k|5305 | 2.000000e+00 | 3.000000e+00 | 50.00%
629.90/629.99 c 630s| 1040k| 20164 | 4355k| 4.2 | 79M| 62 | - | 371 |9015 | 0 | 0 |1251k|1298k|5313 | 2.000000e+00 | 3.000000e+00 | 50.00%
636.11/636.15 c 636s| 1050k| 19914 | 4400k| 4.2 | 79M| 62 | - | 371 |9512 | 0 | 0 |1262k|1311k|5327 | 2.000000e+00 | 3.000000e+00 | 50.00%
642.42/642.48 c 642s| 1060k| 19876 | 4441k| 4.2 | 79M| 62 | 14 | 371 |9237 | 371 | 263 |1274k|1323k|5562 | 2.000000e+00 | 3.000000e+00 | 50.00%
648.81/648.84 c 649s| 1070k| 19762 | 4488k| 4.2 | 80M| 62 | 11 | 371 | 10k| 371 | 279 |1287k|1335k|5562 | 2.000000e+00 | 3.000000e+00 | 50.00%
655.31/655.34 c 655s| 1080k| 19740 | 4528k| 4.2 | 80M| 62 | 21 | 371 | 11k| 371 | 241 |1299k|1347k|5562 | 2.000000e+00 | 3.000000e+00 | 50.00%
661.71/661.76 c 662s| 1090k| 19602 | 4574k| 4.2 | 80M| 62 | 20 | 371 | 10k| 371 | 250 |1313k|1359k|5566 | 2.000000e+00 | 3.000000e+00 | 50.00%
668.21/668.21 c 668s| 1100k| 18892 | 4618k| 4.2 | 78M| 62 | - | 371 |8652 | 0 | 0 |1325k|1371k|5577 | 2.000000e+00 | 3.000000e+00 | 50.00%
674.51/674.59 c 675s| 1110k| 18804 | 4662k| 4.2 | 78M| 62 | 3 | 371 |9049 | 371 | 260 |1339k|1383k|5591 | 2.000000e+00 | 3.000000e+00 | 50.00%
680.82/680.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.82/680.83 c 681s| 1120k| 18303 | 4701k| 4.2 | 77M| 62 | 20 | 371 |8933 | 371 | 273 |1351k|1396k|5597 | 2.000000e+00 | 3.000000e+00 | 50.00%
687.01/687.00 c 687s| 1130k| 18311 | 4739k| 4.2 | 78M| 62 | 8 | 371 | 11k| 371 | 243 |1362k|1406k|5604 | 2.000000e+00 | 3.000000e+00 | 50.00%
693.02/693.09 c 693s| 1140k| 18170 | 4778k| 4.2 | 78M| 62 | - | 371 | 10k| 0 | 0 |1372k|1418k|5617 | 2.000000e+00 | 3.000000e+00 | 50.00%
699.81/699.84 c 700s| 1150k| 18264 | 4821k| 4.2 | 78M| 62 | - | 371 | 10k| 0 | 0 |1384k|1430k|5626 | 2.000000e+00 | 3.000000e+00 | 50.00%
706.22/706.21 c 706s| 1160k| 17844 | 4861k| 4.2 | 77M| 62 | 16 | 371 |9154 | 371 | 229 |1396k|1443k|5812 | 2.000000e+00 | 3.000000e+00 | 50.00%
712.31/712.35 c 712s| 1170k| 17672 | 4906k| 4.2 | 77M| 62 | - | 371 | 10k| 0 | 0 |1408k|1455k|5812 | 2.000000e+00 | 3.000000e+00 | 50.00%
718.81/718.89 c 719s| 1180k| 18674 | 4952k| 4.2 | 79M| 62 | - | 371 | 11k| 0 | 0 |1421k|1467k|5812 | 2.000000e+00 | 3.000000e+00 | 50.00%
725.81/725.85 c 726s| 1190k| 19302 | 4999k| 4.2 | 80M| 62 | 21 | 371 | 11k| 371 | 233 |1434k|1479k|5820 | 2.000000e+00 | 3.000000e+00 | 50.00%
732.81/732.82 c 733s| 1200k| 19244 | 5044k| 4.2 | 81M| 62 | 13 | 371 | 10k| 371 | 262 |1447k|1492k|6528 | 2.000000e+00 | 3.000000e+00 | 50.00%
739.22/739.25 c 739s| 1210k| 19224 | 5090k| 4.2 | 81M| 62 | - | 371 | 11k| 0 | 0 |1462k|1503k|6528 | 2.000000e+00 | 3.000000e+00 | 50.00%
745.82/745.87 c 746s| 1220k| 19363 | 5135k| 4.2 | 82M| 62 | - | 371 | 12k| 0 | 0 |1474k|1514k|6528 | 2.000000e+00 | 3.000000e+00 | 50.00%
752.42/752.49 c 752s| 1230k| 19525 | 5173k| 4.2 | 83M| 62 | 18 | 371 | 15k| 371 | 255 |1485k|1525k|6528 | 2.000000e+00 | 3.000000e+00 | 50.00%
759.52/759.54 c 760s| 1240k| 19437 | 5215k| 4.2 | 83M| 62 | 22 | 371 | 14k| 371 | 240 |1496k|1535k|6528 | 2.000000e+00 | 3.000000e+00 | 50.00%
766.02/766.00 c 766s| 1250k| 19267 | 5256k| 4.2 | 82M| 62 | 7 | 371 | 11k| 371 | 258 |1508k|1547k|6578 | 2.000000e+00 | 3.000000e+00 | 50.00%
772.41/772.45 c 772s| 1260k| 19613 | 5302k| 4.2 | 83M| 62 | - | 371 | 11k| 0 | 0 |1521k|1558k|7040 | 2.000000e+00 | 3.000000e+00 | 50.00%
778.72/778.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.72/778.78 c 779s| 1270k| 19710 | 5341k| 4.2 | 83M| 62 | 26 | 371 | 13k| 371 | 243 |1531k|1569k|7040 | 2.000000e+00 | 3.000000e+00 | 50.00%
785.42/785.46 c 785s| 1280k| 20326 | 5386k| 4.2 | 84M| 62 | 28 | 371 | 12k| 371 | 243 |1543k|1581k|7040 | 2.000000e+00 | 3.000000e+00 | 50.00%
792.41/792.42 c 792s| 1290k| 20463 | 5429k| 4.2 | 85M| 62 | 9 | 371 | 12k| 371 | 263 |1556k|1593k|7040 | 2.000000e+00 | 3.000000e+00 | 50.00%
799.21/799.28 c 799s| 1300k| 20286 | 5469k| 4.2 | 85M| 62 | 9 | 371 | 13k| 371 | 251 |1565k|1604k|7040 | 2.000000e+00 | 3.000000e+00 | 50.00%
805.71/805.76 c 806s| 1310k| 19930 | 5508k| 4.2 | 84M| 62 | - | 371 | 10k| 0 | 0 |1576k|1617k|7040 | 2.000000e+00 | 3.000000e+00 | 50.00%
812.11/812.10 c 812s| 1320k| 19798 | 5551k| 4.2 | 84M| 62 | 19 | 371 | 11k| 371 | 247 |1588k|1629k|7053 | 2.000000e+00 | 3.000000e+00 | 50.00%
818.22/818.29 c 818s| 1330k| 19641 | 5594k| 4.2 | 84M| 62 | - | 371 | 11k| 0 | 0 |1599k|1640k|7053 | 2.000000e+00 | 3.000000e+00 | 50.00%
824.62/824.60 c 825s| 1340k| 19372 | 5635k| 4.2 | 84M| 62 | - | 371 | 10k| 0 | 0 |1611k|1652k|7053 | 2.000000e+00 | 3.000000e+00 | 50.00%
830.81/830.85 c 831s| 1350k| 19568 | 5675k| 4.2 | 85M| 62 | 9 | 371 | 11k| 371 | 245 |1623k|1664k|7053 | 2.000000e+00 | 3.000000e+00 | 50.00%
837.02/837.09 c 837s| 1360k| 19293 | 5717k| 4.2 | 84M| 62 | - | 371 | 10k| 0 | 0 |1636k|1676k|7053 | 2.000000e+00 | 3.000000e+00 | 50.00%
843.41/843.48 c 843s| 1370k| 19014 | 5758k| 4.2 | 84M| 62 | 13 | 371 | 10k| 371 | 269 |1648k|1688k|7079 | 2.000000e+00 | 3.000000e+00 | 50.00%
849.31/849.39 c 849s| 1380k| 18820 | 5800k| 4.2 | 84M| 62 | 12 | 371 | 11k| 371 | 260 |1659k|1701k|7102 | 2.000000e+00 | 3.000000e+00 | 50.00%
855.72/855.75 c 856s| 1390k| 18770 | 5843k| 4.2 | 84M| 62 | 14 | 371 | 12k| 371 | 239 |1670k|1712k|7704 | 2.000000e+00 | 3.000000e+00 | 50.00%
862.02/862.04 c 862s| 1400k| 19442 | 5890k| 4.2 | 86M| 62 | 11 | 371 | 13k| 371 | 249 |1683k|1725k|7800 | 2.000000e+00 | 3.000000e+00 | 50.00%
868.72/868.71 c 869s| 1410k| 19232 | 5935k| 4.2 | 85M| 62 | 9 | 371 | 11k| 371 | 255 |1697k|1737k|7809 | 2.000000e+00 | 3.000000e+00 | 50.00%
874.92/874.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.92/874.93 c 875s| 1420k| 19090 | 5980k| 4.2 | 86M| 62 | 15 | 371 | 12k| 371 | 257 |1709k|1748k|7809 | 2.000000e+00 | 3.000000e+00 | 50.00%
881.51/881.51 c 882s| 1430k| 18962 | 6023k| 4.2 | 85M| 62 | 22 | 371 | 11k| 371 | 236 |1723k|1760k|7809 | 2.000000e+00 | 3.000000e+00 | 50.00%
887.72/887.70 c 888s| 1440k| 18748 | 6067k| 4.2 | 85M| 62 | 27 | 371 | 11k| 371 | 263 |1735k|1773k|7812 | 2.000000e+00 | 3.000000e+00 | 50.00%
894.11/894.11 c 894s| 1450k| 18297 | 6110k| 4.2 | 83M| 62 | 15 | 371 |8816 | 371 | 234 |1747k|1784k|7824 | 2.000000e+00 | 3.000000e+00 | 50.00%
900.42/900.45 c 900s| 1460k| 18149 | 6154k| 4.2 | 83M| 62 | 17 | 371 | 10k| 371 | 237 |1761k|1796k|7825 | 2.000000e+00 | 3.000000e+00 | 50.00%
906.82/906.86 c 907s| 1470k| 18019 | 6194k| 4.2 | 83M| 62 | 14 | 371 | 10k| 371 | 292 |1772k|1808k|7832 | 2.000000e+00 | 3.000000e+00 | 50.00%
913.22/913.28 c 913s| 1480k| 17739 | 6237k| 4.2 | 83M| 62 | 8 | 371 |9955 | 371 | 244 |1786k|1820k|7833 | 2.000000e+00 | 3.000000e+00 | 50.00%
919.72/919.76 c 920s| 1490k| 17811 | 6280k| 4.2 | 83M| 62 | 13 | 371 |9052 | 371 | 266 |1799k|1831k|7926 | 2.000000e+00 | 3.000000e+00 | 50.00%
925.72/925.72 c 926s| 1500k| 17859 | 6321k| 4.2 | 84M| 62 | - | 371 | 10k| 0 | 0 |1810k|1842k|7926 | 2.000000e+00 | 3.000000e+00 | 50.00%
932.22/932.25 c 932s| 1510k| 17913 | 6367k| 4.2 | 84M| 62 | - | 371 | 10k| 0 | 0 |1824k|1853k|7926 | 2.000000e+00 | 3.000000e+00 | 50.00%
938.62/938.62 c 939s| 1520k| 17853 | 6408k| 4.2 | 84M| 62 | - | 371 | 11k| 0 | 0 |1835k|1864k|7927 | 2.000000e+00 | 3.000000e+00 | 50.00%
945.02/945.04 c 945s| 1530k| 17849 | 6447k| 4.2 | 84M| 62 | - | 371 | 11k| 0 | 0 |1847k|1875k|7943 | 2.000000e+00 | 3.000000e+00 | 50.00%
951.22/951.26 c 951s| 1540k| 17721 | 6492k| 4.2 | 84M| 62 | 18 | 371 | 10k| 371 | 241 |1860k|1886k|7966 | 2.000000e+00 | 3.000000e+00 | 50.00%
957.61/957.61 c 958s| 1550k| 17755 | 6532k| 4.2 | 85M| 62 | 15 | 371 | 11k| 371 | 243 |1871k|1898k|7972 | 2.000000e+00 | 3.000000e+00 | 50.00%
964.52/964.58 c 965s| 1560k| 17847 | 6573k| 4.2 | 85M| 62 | 21 | 371 | 12k| 371 | 234 |1884k|1908k|7978 | 2.000000e+00 | 3.000000e+00 | 50.00%
971.42/971.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.42/971.48 c 971s| 1570k| 17680 | 6616k| 4.2 | 85M| 62 | 7 | 371 | 11k| 371 | 249 |1896k|1920k|7993 | 2.000000e+00 | 3.000000e+00 | 50.00%
978.01/978.06 c 978s| 1580k| 17394 | 6659k| 4.2 | 83M| 62 | 8 | 371 |9461 | 371 | 248 |1908k|1932k|8033 | 2.000000e+00 | 3.000000e+00 | 50.00%
984.43/984.43 c 984s| 1590k| 17361 | 6704k| 4.2 | 84M| 62 | - | 371 | 10k| 0 | 0 |1922k|1944k|8043 | 2.000000e+00 | 3.000000e+00 | 50.00%
990.52/990.58 c 991s| 1600k| 17171 | 6747k| 4.2 | 83M| 62 | 15 | 371 | 11k| 371 | 244 |1933k|1955k|8060 | 2.000000e+00 | 3.000000e+00 | 50.00%
996.92/996.95 c 997s| 1610k| 17094 | 6788k| 4.2 | 84M| 62 | - | 371 | 12k| 0 | 0 |1945k|1967k|8066 | 2.000000e+00 | 3.000000e+00 | 50.00%
1003.52/1003.57 c 1004s| 1620k| 16967 | 6831k| 4.2 | 83M| 62 | 14 | 371 | 11k| 371 | 253 |1957k|1978k|8076 | 2.000000e+00 | 3.000000e+00 | 50.00%
1010.42/1010.49 c 1010s| 1630k| 16907 | 6880k| 4.2 | 83M| 62 | - | 371 | 11k| 0 | 0 |1970k|1989k|8084 | 2.000000e+00 | 3.000000e+00 | 50.00%
1017.12/1017.12 c 1017s| 1640k| 16913 | 6925k| 4.2 | 83M| 62 | - | 371 | 11k| 0 | 0 |1982k|2001k|8105 | 2.000000e+00 | 3.000000e+00 | 50.00%
1023.52/1023.51 c 1024s| 1650k| 16556 | 6967k| 4.2 | 83M| 62 | 19 | 371 | 12k| 371 | 242 |1994k|2013k|8111 | 2.000000e+00 | 3.000000e+00 | 50.00%
1029.92/1029.94 c 1030s| 1660k| 16449 | 7004k| 4.2 | 83M| 62 | 19 | 371 | 12k| 371 | 258 |2004k|2023k|8123 | 2.000000e+00 | 3.000000e+00 | 50.00%
1036.23/1036.22 c 1036s| 1670k| 16100 | 7042k| 4.2 | 81M| 62 | 22 | 371 | 10k| 371 | 229 |2015k|2035k|8151 | 2.000000e+00 | 3.000000e+00 | 50.00%
1042.52/1042.58 c 1043s| 1680k| 15850 | 7083k| 4.2 | 81M| 62 | 17 | 371 | 10k| 371 | 241 |2028k|2047k|8294 | 2.000000e+00 | 3.000000e+00 | 50.00%
1049.12/1049.11 c 1049s| 1690k| 15879 | 7125k| 4.2 | 81M| 62 | 31 | 371 | 12k| 371 | 241 |2041k|2058k|8304 | 2.000000e+00 | 3.000000e+00 | 50.00%
1055.93/1055.95 c 1056s| 1700k| 17062 | 7168k| 4.2 | 83M| 62 | 37 | 371 | 13k| 371 | 229 |2051k|2069k|8304 | 2.000000e+00 | 3.000000e+00 | 50.00%
1062.52/1062.60 c 1063s| 1710k| 16976 | 7210k| 4.2 | 83M| 62 | - | 371 | 10k| 0 | 0 |2063k|2082k|8307 | 2.000000e+00 | 3.000000e+00 | 50.00%
1068.82/1068.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.82/1068.89 c 1069s| 1720k| 16875 | 7251k| 4.2 | 82M| 62 | - | 371 | 10k| 0 | 0 |2075k|2093k|8335 | 2.000000e+00 | 3.000000e+00 | 50.00%
1075.42/1075.45 c 1075s| 1730k| 17192 | 7291k| 4.2 | 84M| 62 | 14 | 371 | 14k| 371 | 234 |2087k|2105k|8335 | 2.000000e+00 | 3.000000e+00 | 50.00%
1082.72/1082.77 c 1083s| 1740k| 17186 | 7332k| 4.2 | 85M| 62 | 22 | 371 | 15k| 371 | 232 |2100k|2116k|8337 | 2.000000e+00 | 3.000000e+00 | 50.00%
1090.22/1090.21 c 1090s| 1750k| 17240 | 7383k| 4.2 | 86M| 62 | 17 | 371 | 17k| 371 | 227 |2114k|2126k|8348 | 2.000000e+00 | 3.000000e+00 | 50.00%
1097.73/1097.74 c 1098s| 1760k| 17124 | 7432k| 4.2 | 85M| 62 | 32 | 371 | 14k| 371 | 241 |2127k|2137k|8368 | 2.000000e+00 | 3.000000e+00 | 50.00%
1104.52/1104.54 c 1105s| 1770k| 16850 | 7475k| 4.2 | 84M| 62 | 17 | 371 | 11k| 371 | 256 |2139k|2148k|8418 | 2.000000e+00 | 3.000000e+00 | 50.00%
1111.12/1111.12 c 1111s| 1780k| 17167 | 7514k| 4.2 | 84M| 62 | - | 371 | 11k| 0 | 0 |2151k|2160k|8418 | 2.000000e+00 | 3.000000e+00 | 50.00%
1117.72/1117.74 c 1118s| 1790k| 16854 | 7557k| 4.2 | 83M| 62 | 33 | 371 | 10k| 371 | 228 |2163k|2172k|8450 | 2.000000e+00 | 3.000000e+00 | 50.00%
1124.13/1124.13 c 1124s| 1800k| 17060 | 7595k| 4.2 | 84M| 62 | - | 371 | 11k| 0 | 0 |2175k|2184k|8456 | 2.000000e+00 | 3.000000e+00 | 50.00%
1130.33/1130.30 c 1130s| 1810k| 17293 | 7641k| 4.2 | 85M| 62 | 27 | 371 | 10k| 371 | 242 |2187k|2196k|8480 | 2.000000e+00 | 3.000000e+00 | 50.00%
1136.83/1136.86 c 1137s| 1820k| 17308 | 7685k| 4.2 | 85M| 62 | 27 | 371 | 11k| 371 | 241 |2199k|2207k|8493 | 2.000000e+00 | 3.000000e+00 | 50.00%
1143.73/1143.77 c 1144s| 1830k| 17100 | 7728k| 4.2 | 85M| 62 | - | 371 | 11k| 0 | 0 |2213k|2219k|8501 | 2.000000e+00 | 3.000000e+00 | 50.00%
1150.53/1150.54 c 1151s| 1840k| 17083 | 7771k| 4.2 | 85M| 62 | 20 | 371 | 12k| 371 | 223 |2226k|2231k|8512 | 2.000000e+00 | 3.000000e+00 | 50.00%
1157.23/1157.26 c 1157s| 1850k| 16879 | 7812k| 4.2 | 84M| 62 | - | 371 | 10k| 0 | 0 |2237k|2243k|8528 | 2.000000e+00 | 3.000000e+00 | 50.00%
1163.43/1163.45 c 1163s| 1860k| 16847 | 7851k| 4.2 | 84M| 62 | 23 | 371 | 10k| 371 | 235 |2249k|2254k|8543 | 2.000000e+00 | 3.000000e+00 | 50.00%
1170.02/1170.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.02/1170.04 c 1170s| 1870k| 16597 | 7896k| 4.2 | 84M| 62 | - | 371 | 10k| 0 | 0 |2262k|2267k|8569 | 2.000000e+00 | 3.000000e+00 | 50.00%
1176.32/1176.39 c 1176s| 1880k| 16537 | 7939k| 4.2 | 84M| 62 | 24 | 371 | 11k| 371 | 237 |2274k|2278k|8579 | 2.000000e+00 | 3.000000e+00 | 50.00%
1183.12/1183.15 c 1183s| 1890k| 16487 | 7980k| 4.2 | 84M| 62 | 32 | 371 | 11k| 371 | 238 |2286k|2290k|8595 | 2.000000e+00 | 3.000000e+00 | 50.00%
1189.53/1189.59 c 1190s| 1900k| 16104 | 8024k| 4.2 | 83M| 62 | 33 | 371 |9910 | 371 | 241 |2298k|2302k|8619 | 2.000000e+00 | 3.000000e+00 | 50.00%
1196.02/1196.09 c 1196s| 1910k| 15880 | 8068k| 4.2 | 83M| 62 | 23 | 371 | 10k| 371 | 235 |2310k|2314k|8660 | 2.000000e+00 | 3.000000e+00 | 50.00%
1202.53/1202.52 c 1203s| 1920k| 15666 | 8109k| 4.2 | 82M| 62 | - | 371 | 10k| 0 | 0 |2322k|2325k|8687 | 2.000000e+00 | 3.000000e+00 | 50.00%
1208.83/1208.85 c 1209s| 1930k| 15500 | 8149k| 4.2 | 81M| 62 | - | 371 | 10k| 0 | 0 |2334k|2337k|8690 | 2.000000e+00 | 3.000000e+00 | 50.00%
1215.03/1215.07 c 1215s| 1940k| 15311 | 8189k| 4.2 | 81M| 62 | 25 | 371 | 10k| 371 | 239 |2345k|2349k|8704 | 2.000000e+00 | 3.000000e+00 | 50.00%
1221.73/1221.71 c 1222s| 1950k| 15059 | 8232k| 4.2 | 80M| 62 | 17 | 371 |9834 | 371 | 249 |2357k|2361k|8782 | 2.000000e+00 | 3.000000e+00 | 50.00%
1228.23/1228.27 c 1228s| 1960k| 14615 | 8274k| 4.2 | 78M| 62 | 30 | 371 |9584 | 371 | 237 |2370k|2373k|8800 | 2.000000e+00 | 3.000000e+00 | 50.00%
1234.83/1234.88 c 1235s| 1970k| 14073 | 8318k| 4.2 | 77M| 62 | 26 | 371 |9624 | 371 | 236 |2384k|2385k|8820 | 2.000000e+00 | 3.000000e+00 | 50.00%
1241.32/1241.35 c 1241s| 1980k| 13521 | 8362k| 4.2 | 76M| 62 | 26 | 371 | 10k| 371 | 229 |2396k|2397k|9305 | 2.000000e+00 | 3.000000e+00 | 50.00%
1247.52/1247.50 c 1248s| 1990k| 13433 | 8401k| 4.2 | 76M| 62 | - | 371 | 12k| 0 | 0 |2408k|2409k|9305 | 2.000000e+00 | 3.000000e+00 | 50.00%
1254.62/1254.63 c 1255s| 2000k| 13596 | 8458k| 4.2 | 75M| 62 | 14 | 371 | 10k| 371 | 280 |2422k|2421k|9372 | 2.000000e+00 | 3.000000e+00 | 50.00%
1261.73/1261.77 c 1262s| 2010k| 13775 | 8516k| 4.2 | 76M| 62 | 11 | 371 | 10k| 371 | 263 |2436k|2432k|9372 | 2.000000e+00 | 3.000000e+00 | 50.00%
1268.63/1268.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.63/1268.69 c 1269s| 2020k| 12952 | 8563k| 4.2 | 73M| 62 | 39 | 371 |8295 | 371 | 240 |2449k|2444k|9380 | 2.000000e+00 | 3.000000e+00 | 50.00%
1275.22/1275.21 c 1275s| 2030k| 12704 | 8609k| 4.2 | 72M| 62 | 51 | 371 |8584 | 371 | 246 |2462k|2456k|9496 | 2.000000e+00 | 3.000000e+00 | 50.00%
1282.32/1282.36 c 1282s| 2040k| 12695 | 8655k| 4.2 | 72M| 62 | - | 371 |9558 | 0 | 0 |2475k|2468k|9523 | 2.000000e+00 | 3.000000e+00 | 50.00%
1288.63/1288.62 c 1289s| 2050k| 12802 | 8706k| 4.2 | 73M| 62 | 18 | 371 | 10k| 371 | 236 |2489k|2481k|9545 | 2.000000e+00 | 3.000000e+00 | 50.00%
1295.33/1295.30 c 1295s| 2060k| 13229 | 8767k| 4.3 | 75M| 62 | 18 | 371 | 14k| 371 | 231 |2503k|2492k|9545 | 2.000000e+00 | 3.000000e+00 | 50.00%
1302.83/1302.81 c 1303s| 2070k| 13599 | 8834k| 4.3 | 76M| 62 | 35 | 371 | 13k| 371 | 222 |2517k|2504k|9545 | 2.000000e+00 | 3.000000e+00 | 50.00%
1310.23/1310.25 c 1310s| 2080k| 13718 | 8903k| 4.3 | 77M| 62 | 8 | 371 | 12k| 371 | 241 |2533k|2516k|9545 | 2.000000e+00 | 3.000000e+00 | 50.00%
1316.93/1316.97 c 1317s| 2090k| 13603 | 8963k| 4.3 | 77M| 62 | - | 371 | 12k| 0 | 0 |2547k|2528k|9545 | 2.000000e+00 | 3.000000e+00 | 50.00%
1323.13/1323.19 c 1323s| 2100k| 13786 | 9010k| 4.3 | 78M| 62 | - | 371 | 13k| 0 | 0 |2560k|2541k|9545 | 2.000000e+00 | 3.000000e+00 | 50.00%
1330.13/1330.11 c 1330s| 2110k| 13995 | 9065k| 4.3 | 79M| 62 | 31 | 371 | 13k| 371 | 244 |2574k|2553k|9545 | 2.000000e+00 | 3.000000e+00 | 50.00%
1338.03/1338.03 c 1338s| 2120k| 14710 | 9136k| 4.3 | 80M| 62 | 24 | 371 | 13k| 371 | 260 |2593k|2564k|9545 | 2.000000e+00 | 3.000000e+00 | 50.00%
1346.23/1346.22 c 1346s| 2130k| 14909 | 9211k| 4.3 | 82M| 62 | 15 | 371 | 13k| 371 | 264 |2612k|2576k|9546 | 2.000000e+00 | 3.000000e+00 | 50.00%
1353.83/1353.80 c 1354s| 2140k| 14362 | 9261k| 4.3 | 79M| 62 | 41 | 371 |8306 | 371 | 252 |2626k|2588k|9565 | 2.000000e+00 | 3.000000e+00 | 50.00%
1360.43/1360.41 c 1360s| 2150k| 14050 | 9308k| 4.3 | 78M| 62 | 33 | 371 |8269 | 371 | 224 |2639k|2599k|9568 | 2.000000e+00 | 3.000000e+00 | 50.00%
1366.83/1366.82 c 1367s| 2160k| 13613 | 9355k| 4.3 | 77M| 62 | 46 | 371 |9768 | 371 | 247 |2651k|2612k|9575 | 2.000000e+00 | 3.000000e+00 | 50.00%
1372.83/1372.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.83/1372.81 c 1373s| 2170k| 13724 | 9401k| 4.3 | 78M| 62 | 6 | 371 | 10k| 371 | 229 |2662k|2624k|9579 | 2.000000e+00 | 3.000000e+00 | 50.00%
1378.74/1378.78 c 1379s| 2180k| 13796 | 9447k| 4.3 | 79M| 62 | 28 | 371 | 10k| 371 | 243 |2674k|2636k|9581 | 2.000000e+00 | 3.000000e+00 | 50.00%
1385.13/1385.19 c 1385s| 2190k| 13667 | 9496k| 4.3 | 78M| 62 | 12 | 371 |9483 | 371 | 249 |2686k|2648k|9594 | 2.000000e+00 | 3.000000e+00 | 50.00%
1391.73/1391.74 c 1392s| 2200k| 13719 | 9552k| 4.3 | 79M| 62 | 16 | 371 | 11k| 371 | 242 |2700k|2659k|9601 | 2.000000e+00 | 3.000000e+00 | 50.00%
1398.43/1398.44 c 1398s| 2210k| 13846 | 9599k| 4.3 | 80M| 62 | 7 | 371 | 13k| 371 | 232 |2714k|2671k|9608 | 2.000000e+00 | 3.000000e+00 | 50.00%
1405.73/1405.73 c 1406s| 2220k| 13673 | 9643k| 4.3 | 79M| 62 | 41 | 371 | 11k| 371 | 229 |2728k|2683k|9616 | 2.000000e+00 | 3.000000e+00 | 50.00%
1412.84/1412.89 c 1413s| 2230k| 13168 | 9696k| 4.3 | 77M| 62 | - | 371 | 10k| 0 | 0 |2741k|2695k|9631 | 2.000000e+00 | 3.000000e+00 | 50.00%
1419.83/1419.81 c 1420s| 2240k| 13459 | 9744k| 4.4 | 78M| 62 | 40 | 371 |9809 | 371 | 267 |2754k|2708k|9637 | 2.000000e+00 | 3.000000e+00 | 50.00%
1426.33/1426.36 c 1426s| 2250k| 13267 | 9788k| 4.4 | 78M| 62 | 29 | 371 | 10k| 371 | 260 |2764k|2719k|9643 | 2.000000e+00 | 3.000000e+00 | 50.00%
1433.63/1433.60 c 1434s| 2260k| 13332 | 9837k| 4.4 | 79M| 62 | - | 371 | 12k| 0 | 0 |2776k|2730k|9646 | 2.000000e+00 | 3.000000e+00 | 50.00%
1440.13/1440.18 c 1440s| 2270k| 12973 | 9884k| 4.4 | 78M| 62 | - | 371 | 11k| 0 | 0 |2789k|2743k|9667 | 2.000000e+00 | 3.000000e+00 | 50.00%
1446.83/1446.88 c 1447s| 2280k| 12874 | 9930k| 4.4 | 77M| 62 | 21 | 371 | 11k| 371 | 242 |2801k|2755k|9675 | 2.000000e+00 | 3.000000e+00 | 50.00%
1453.63/1453.62 c 1454s| 2290k| 12606 | 9976k| 4.4 | 76M| 62 | - | 371 | 10k| 0 | 0 |2814k|2767k|9685 | 2.000000e+00 | 3.000000e+00 | 50.00%
1460.43/1460.42 c 1460s| 2300k| 12112 | 10022k| 4.4 | 74M| 62 | - | 371 |9480 | 0 | 0 |2827k|2779k|9699 | 2.000000e+00 | 3.000000e+00 | 50.00%
1466.24/1466.21 c 1466s| 2310k| 12259 | 10064k| 4.4 | 76M| 62 | - | 371 | 14k| 0 | 0 |2840k|2792k|9700 | 2.000000e+00 | 3.000000e+00 | 50.00%
1472.33/1472.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.33/1472.38 c 1472s| 2320k| 12329 | 10108k| 4.4 | 76M| 62 | 11 | 371 | 13k| 371 | 228 |2852k|2804k|9701 | 2.000000e+00 | 3.000000e+00 | 50.00%
1478.14/1478.19 c 1478s| 2330k| 12147 | 10151k| 4.4 | 75M| 62 | 29 | 371 | 11k| 371 | 219 |2863k|2816k|9711 | 2.000000e+00 | 3.000000e+00 | 50.00%
1484.73/1484.72 c 1485s| 2340k| 12238 | 10202k| 4.4 | 78M| 62 | 32 | 371 | 16k| 371 | 235 |2875k|2827k|9727 | 2.000000e+00 | 3.000000e+00 | 50.00%
1491.64/1491.69 c 1492s| 2350k| 11855 | 10251k| 4.4 | 76M| 62 | - | 371 | 13k| 0 | 0 |2888k|2838k|9809 | 2.000000e+00 | 3.000000e+00 | 50.00%
1498.33/1498.37 c 1498s| 2360k| 11904 | 10293k| 4.4 | 76M| 62 | 26 | 371 | 14k| 371 | 242 |2900k|2850k|9809 | 2.000000e+00 | 3.000000e+00 | 50.00%
1504.94/1504.90 c 1505s| 2370k| 11743 | 10341k| 4.4 | 74M| 62 | 15 | 371 | 11k| 371 | 255 |2913k|2862k|9935 | 2.000000e+00 | 3.000000e+00 | 50.00%
1511.14/1511.11 c 1511s| 2380k| 11835 | 10390k| 4.4 | 75M| 62 | - | 371 | 12k| 0 | 0 |2925k|2872k|9935 | 2.000000e+00 | 3.000000e+00 | 50.00%
1518.24/1518.22 c 1518s| 2390k| 12196 | 10439k| 4.4 | 76M| 62 | 36 | 371 | 13k| 371 | 233 |2937k|2884k|9940 | 2.000000e+00 | 3.000000e+00 | 50.00%
1525.43/1525.44 c 1525s| 2400k| 11889 | 10483k| 4.4 | 74M| 62 | 32 | 371 | 10k| 371 | 235 |2950k|2896k|9952 | 2.000000e+00 | 3.000000e+00 | 50.00%
1531.83/1531.83 c 1532s| 2410k| 11815 | 10526k| 4.4 | 75M| 62 | - | 371 | 12k| 0 | 0 |2962k|2908k|9962 | 2.000000e+00 | 3.000000e+00 | 50.00%
1539.03/1539.04 c 1539s| 2420k| 12397 | 10592k| 4.4 | 77M| 62 | - | 371 | 14k| 0 | 0 |2979k|2919k|9965 | 2.000000e+00 | 3.000000e+00 | 50.00%
1546.24/1546.20 c 1546s| 2430k| 13061 | 10635k| 4.4 | 79M| 62 | 20 | 371 | 16k| 371 | 264 |2994k|2931k|9966 | 2.000000e+00 | 3.000000e+00 | 50.00%
1553.53/1553.58 c 1554s| 2440k| 13194 | 10683k| 4.4 | 79M| 62 | 19 | 371 | 16k| 371 | 235 |3009k|2943k|9968 | 2.000000e+00 | 3.000000e+00 | 50.00%
1560.74/1560.76 c 1561s| 2450k| 12796 | 10733k| 4.4 | 80M| 62 | - | 371 | 19k| 0 | 0 |3026k|2957k|9976 | 2.000000e+00 | 3.000000e+00 | 50.00%
1568.14/1568.18 c 1568s| 2460k| 11791 | 10781k| 4.4 | 76M| 62 | 42 | 371 | 13k| 371 | 234 |3041k|2969k| 10k| 2.000000e+00 | 3.000000e+00 | 50.00%
1575.04/1575.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.04/1575.08 c 1575s| 2470k| 11513 | 10827k| 4.4 | 73M| 62 | 54 | 371 | 11k| 371 | 226 |3054k|2980k| 10k| 2.000000e+00 | 3.000000e+00 | 50.00%
1582.23/1582.29 c 1582s| 2480k| 11240 | 10874k| 4.4 | 72M| 62 | - | 371 | 11k| 0 | 0 |3068k|2992k| 10k| 2.000000e+00 | 3.000000e+00 | 50.00%
1589.13/1589.12 c 1589s| 2490k| 10754 | 10919k| 4.4 | 72M| 62 | 33 | 371 | 12k| 371 | 227 |3081k|3003k| 10k| 2.000000e+00 | 3.000000e+00 | 50.00%
1595.74/1595.76 c 1596s| 2500k| 9285 | 10966k| 4.4 | 65M| 62 | 26 | 371 | 10k| 371 | 226 |3095k|3015k| 10k| 2.000000e+00 | 3.000000e+00 | 50.00%
1602.54/1602.58 c 1603s| 2510k| 9334 | 11007k| 4.4 | 66M| 62 | - | 371 | 15k| 0 | 0 |3107k|3027k| 10k| 2.000000e+00 | 3.000000e+00 | 50.00%
1610.34/1610.31 c 1610s| 2520k| 5705 | 11054k| 4.4 | 45M| 62 | - | 371 | 10k| 0 | 0 |3122k|3043k| 10k| 2.000000e+00 | 3.000000e+00 | 50.00%
1617.05/1617.01 c 1617s| 2530k| 2379 | 11103k| 4.4 | 25M| 62 | 5 | 371 | 10k| 371 | 241 |3134k|3056k| 10k| 2.000000e+00 | 3.000000e+00 | 50.00%
1617.24/1617.23 o 2
1617.24/1617.23 c *1617s| 2530k| 0 | 11104k| 4.4 | 13M| 62 | - | 371 | 10k| 371 | 251 |3135k|3056k| 10k| 2.000000e+00 | 2.000000e+00 | 0.00%
1617.24/1617.24 c
1617.24/1617.24 c SCIP Status : problem is solved [optimal solution found]
1617.24/1617.24 c Solving Time (sec) : 1617.24
1617.24/1617.24 c Solving Nodes : 2530331
1617.24/1617.24 c Primal Bound : +2.00000000000000e+00 (2 solutions)
1617.24/1617.24 c Dual Bound : +2.00000000000000e+00
1617.24/1617.24 c Gap : 0.00 %
1617.24/1617.24 s OPTIMUM FOUND
1617.24/1617.24 v -x126 -x125 -x124 x123 x122 x121 -x120 -x119 x118 -x117 x116 -x115 x84 -x83 x82 -x81 x80 -x79 x114 -x113 x112 -x111 x110 -x109
1617.24/1617.24 v x78 x77 x76 x75 x74 -x73 -x108 x107 x106 -x105 -x104 x103 x72 x71 -x70 -x69 x68 -x67 -x102 x101 x100 x99 x98 x97 -x66 x65 x64
1617.24/1617.24 v x63 x62 -x61 x96 -x95 -x94 -x93 x92 -x91 x60 -x59 -x58 x57 x56 -x55 -x90 -x89 -x88 -x87 -x86 -x85 x54 x53 -x52 x51 x50 -x49
1617.24/1617.24 v -x48 -x47 x46 -x45 x44 x43 -x42 -x41 x40 -x39 x38 x37 x36 x35 -x34 x33 x32 x31 x30 x29 -x28 x27 x26 x25 x24 x23 -x22 x21 -x20
1617.24/1617.24 v x19 x18 -x17 x16 -x15 -x14 x13 -x12 x11 x10 -x9 x8 x7 -x6 -x5 -x4 -x3 x2 -x1
1617.24/1617.24 c SCIP Status : problem is solved [optimal solution found]
1617.24/1617.24 c Total Time : 1617.24
1617.24/1617.24 c solving : 1617.24
1617.24/1617.24 c presolving : 0.02 (included in solving)
1617.24/1617.24 c reading : 0.00 (included in solving)
1617.24/1617.24 c Original Problem :
1617.24/1617.24 c Problem name : HOME/instance-3488432-1307778394.opb
1617.24/1617.24 c Variables : 378 (378 binary, 0 integer, 0 implicit integer, 0 continuous)
1617.24/1617.24 c Constraints : 274 initial, 274 maximal
1617.24/1617.24 c Presolved Problem :
1617.24/1617.24 c Problem name : t_HOME/instance-3488432-1307778394.opb
1617.24/1617.24 c Variables : 371 (371 binary, 0 integer, 0 implicit integer, 0 continuous)
1617.24/1617.24 c Constraints : 274 initial, 20996 maximal
1617.24/1617.24 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1617.24/1617.24 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c implics : 0.00 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c probing : 0.01 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c and : 0.01 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c linear : 0.00 1 6 0 0 0 0 0 0 32
1617.24/1617.24 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1617.24/1617.24 c pseudoboolean : 0.00 0 0 0 0 0 1 0 0 0
1617.24/1617.24 c root node : - 76 - - 76 - - - - -
1617.24/1617.24 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1617.24/1617.24 c integral : 0 0 0 1785393 0 123 0 0 216 0 0 3570376
1617.24/1617.24 c setppc : 1 6 1246 0 0 5 9 3 17 0 0 0
1617.24/1617.24 c and : 251 3394989 10523092 2 0 0 58931572 160787 16538317 3135127 0 0
1617.24/1617.24 c linear : 7+ 7 10362305 2 0 119 14441474 1197136 8388689 0 0 0
1617.24/1617.24 c logicor : 8+ 6 5570490 2 0 117 12537783 105026 3375075 37 0 0
1617.24/1617.24 c pseudoboolean : 7 0 0 2 0 117 0 0 0 0 0 0
1617.24/1617.24 c countsols : 0 0 0 2 0 2 0 0 0 0 0 0
1617.24/1617.24 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1617.24/1617.24 c integral : 16.57 0.00 0.00 16.57 0.00 0.00 0.00
1617.24/1617.24 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1617.24/1617.24 c and : 85.21 26.96 48.11 0.00 0.00 0.00 10.14
1617.24/1617.24 c linear : 151.16 0.00 125.70 0.00 0.00 0.00 25.47
1617.24/1617.24 c logicor : 181.01 0.00 168.72 0.00 0.00 0.00 12.28
1617.24/1617.24 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1617.24/1617.24 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1617.24/1617.24 c Propagators : #Propagate #Resprop Cutoffs DomReds
1617.24/1617.24 c vbounds : 0 0 0 0
1617.24/1617.24 c rootredcost : 1 0 0 5
1617.24/1617.24 c pseudoobj : 10522704 0 0 1
1617.24/1617.24 c Propagator Timings : TotalTime Propagate Resprop
1617.24/1617.24 c vbounds : 1.42 1.42 0.00
1617.24/1617.24 c rootredcost : 1.56 1.56 0.00
1617.24/1617.24 c pseudoobj : 3.86 3.86 0.00
1617.24/1617.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1617.24/1617.24 c propagation : 99.27 1462952 1460256 13120732 37.9 195576 22.4 -
1617.24/1617.24 c infeasible LP : 0.40 5419 5409 30815 33.9 2201 8.5 0
1617.24/1617.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1617.24/1617.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1617.24/1617.24 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1617.24/1617.24 c applied globally : - - - 3050495 24.0 - - -
1617.24/1617.24 c applied locally : - - - 6059 39.2 - - -
1617.24/1617.24 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1617.24/1617.24 c cut pool : 0.00 5 - - 23 - (maximal pool size: 196)
1617.24/1617.24 c redcost : 18.44 3394989 0 0 0 0
1617.24/1617.24 c impliedbounds : 0.00 6 0 0 57 0
1617.24/1617.24 c intobj : 0.00 0 0 0 0 0
1617.24/1617.24 c gomory : 0.03 6 0 0 34 0
1617.24/1617.24 c cgmip : 0.00 0 0 0 0 0
1617.24/1617.24 c closecuts : 0.00 0 0 0 0 0
1617.24/1617.24 c strongcg : 0.02 6 0 0 209 0
1617.24/1617.24 c cmir : 0.01 6 0 0 63 0
1617.24/1617.24 c flowcover : 0.02 6 0 0 116 0
1617.24/1617.24 c clique : 0.00 1 0 0 0 0
1617.24/1617.24 c zerohalf : 0.00 0 0 0 0 0
1617.24/1617.24 c mcf : 0.00 1 0 0 0 0
1617.24/1617.24 c oddcycle : 0.00 0 0 0 0 0
1617.24/1617.24 c rapidlearning : 0.02 1 0 0 0 5
1617.24/1617.24 c Pricers : Time Calls Vars
1617.24/1617.24 c problem variables: 0.00 0 0
1617.24/1617.24 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1617.24/1617.24 c relpscost : 15.53 1785366 0 216 0 0 3570326
1617.24/1617.24 c pscost : 0.00 0 0 0 0 0 0
1617.24/1617.24 c inference : 0.00 25 0 0 0 0 50
1617.24/1617.24 c mostinf : 0.00 0 0 0 0 0 0
1617.24/1617.24 c leastinf : 0.00 0 0 0 0 0 0
1617.24/1617.24 c fullstrong : 0.00 0 0 0 0 0 0
1617.24/1617.24 c allfullstrong : 0.00 0 0 0 0 0 0
1617.24/1617.24 c random : 0.00 0 0 0 0 0 0
1617.24/1617.24 c Primal Heuristics : Time Calls Found
1617.24/1617.24 c LP solutions : 0.02 - 2
1617.24/1617.24 c pseudo solutions : 0.00 - 0
1617.24/1617.24 c crossover : 0.48 0 0
1617.24/1617.24 c intshifting : 0.01 0 0
1617.24/1617.24 c oneopt : 0.49 1 0
1617.24/1617.24 c pscostdiving : 2.73 1462 0
1617.24/1617.24 c linesearchdiving : 2.07 1462 0
1617.24/1617.24 c guideddiving : 2.48 1462 0
1617.24/1617.24 c feaspump : 2.58 731 0
1617.24/1617.24 c fracdiving : 2.65 1463 0
1617.24/1617.24 c coefdiving : 3.07 1463 0
1617.24/1617.24 c veclendiving : 2.09 1463 0
1617.24/1617.24 c objpscostdiving : 4.68 732 0
1617.24/1617.24 c rootsoldiving : 5.00 732 0
1617.24/1617.24 c trivial : 0.00 2 0
1617.24/1617.24 c shiftandpropagate: 0.00 1 0
1617.24/1617.24 c simplerounding : 0.67 0 0
1617.24/1617.24 c zirounding : 10.09 0 0
1617.24/1617.24 c rounding : 1.35 25909 0
1617.24/1617.24 c shifting : 3.56 8386 0
1617.24/1617.24 c twoopt : 0.00 0 0
1617.24/1617.24 c fixandinfer : 0.00 0 0
1617.24/1617.24 c clique : 0.00 0 0
1617.24/1617.24 c intdiving : 0.00 0 0
1617.24/1617.24 c actconsdiving : 0.00 0 0
1617.24/1617.24 c octane : 0.00 0 0
1617.24/1617.24 c rens : 0.01 1 0
1617.24/1617.24 c rins : 0.00 0 0
1617.24/1617.24 c localbranching : 0.00 0 0
1617.24/1617.24 c mutation : 0.00 0 0
1617.24/1617.24 c dins : 0.00 0 0
1617.24/1617.24 c vbounds : 0.00 0 0
1617.24/1617.24 c undercover : 0.08 1 0
1617.24/1617.24 c subnlp : 0.38 0 0
1617.24/1617.24 c trysol : 0.73 0 0
1617.24/1617.24 c LP : Time Calls Iterations Iter/call Iter/sec
1617.24/1617.24 c primal LP : 29.42 0 0 0.00 0.00
1617.24/1617.24 c dual LP : 624.51 3385356 10732502 3.17 17185.47
1617.24/1617.24 c lex dual LP : 0.00 0 0 0.00 -
1617.24/1617.24 c barrier LP : 0.00 0 0 0.00 -
1617.24/1617.24 c diving/probing LP: 15.87 90357 372441 4.12 23467.03
1617.24/1617.24 c strong branching : 5.06 10811 110880 10.26 21922.48
1617.24/1617.24 c (at root node) : - 10 912 91.20 -
1617.24/1617.24 c conflict analysis: 0.00 0 0 0.00 -
1617.24/1617.24 c B&B Tree :
1617.24/1617.24 c number of runs : 1
1617.24/1617.24 c nodes : 2530331
1617.24/1617.24 c nodes (total) : 2530331
1617.24/1617.24 c nodes left : 0
1617.24/1617.24 c max depth : 62
1617.24/1617.24 c max depth (total): 62
1617.24/1617.24 c backtracks : 793359 (31.4%)
1617.24/1617.24 c delayed cutoffs : 1037364
1617.24/1617.24 c repropagations : 2225147 (11904043 domain reductions, 697035 cutoffs)
1617.24/1617.24 c avg switch length: 4.41
1617.24/1617.24 c switching time : 218.62
1617.24/1617.24 c Solution :
1617.24/1617.24 c Solutions found : 2 (2 improvements)
1617.24/1617.24 c First Solution : +3.00000000000000e+00 (in run 1, after 1023 nodes, 1.74 seconds, depth 44, found by <relaxation>)
1617.24/1617.24 c Primal Bound : +2.00000000000000e+00 (in run 1, after 2530331 nodes, 1617.21 seconds, depth 49, found by <relaxation>)
1617.24/1617.24 c Dual Bound : +2.00000000000000e+00
1617.24/1617.24 c Gap : 0.00 %
1617.24/1617.24 c Root Dual Bound : +2.00000000000000e+00
1617.24/1617.24 c Root Iterations : 400
1617.24/1617.26 c Time complete: 1617.3.
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-3488432-1307778394/watcher-3488432-1307778394 -o /tmp/evaluation-result-3488432-1307778394/solver-3488432-1307778394 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488432-1307778394.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.84 1.10 2/177 25654
/proc/meminfo: memFree=30834780/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=12708 CPUtime=0 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 2164 0 0 0 0 0 0 0 25 0 1 0 889437157 13012992 2118 33554432000 4194304 9016284 140737390759280 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25654/statm: 3177 2119 369 1178 0 1995 0
[startup+0.0745969 s]
/proc/loadavg: 2.00 1.84 1.10 2/177 25654
/proc/meminfo: memFree=30834780/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=33140 CPUtime=0.07 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 9223 0 0 0 6 1 0 0 25 0 1 0 889437157 33935360 7265 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 8285 7265 693 1178 0 7103 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 33140
[startup+0.100593 s]
/proc/loadavg: 2.00 1.84 1.10 2/177 25654
/proc/meminfo: memFree=30834780/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=52784 CPUtime=0.09 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 13456 0 0 0 7 2 0 0 25 0 1 0 889437157 54050816 11497 33554432000 4194304 9016284 140737390759280 18446744073709551615 7870574 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 13196 11498 695 1178 0 12014 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52784
[startup+0.300554 s]
/proc/loadavg: 2.00 1.84 1.10 2/177 25654
/proc/meminfo: memFree=30834780/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=34252 CPUtime=0.29 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 14344 0 0 0 26 3 0 0 25 0 1 0 889437157 35074048 7505 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 8563 7505 715 1178 0 7381 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34252
[startup+0.70048 s]
/proc/loadavg: 2.00 1.84 1.10 2/177 25654
/proc/meminfo: memFree=30834780/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=34280 CPUtime=0.69 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 14348 0 0 0 60 9 0 0 25 0 1 0 889437157 35102720 7509 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 8570 7509 717 1178 0 7388 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34280
[startup+1.50034 s]
/proc/loadavg: 2.00 1.84 1.10 3/178 25655
/proc/meminfo: memFree=30808012/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=34280 CPUtime=1.49 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 14350 0 0 0 133 16 0 0 25 0 1 0 889437157 35102720 7511 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 8570 7511 718 1178 0 7388 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34280
[startup+3.10104 s]
/proc/loadavg: 2.00 1.84 1.10 3/178 25655
/proc/meminfo: memFree=30807660/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=34280 CPUtime=3.09 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 14352 0 0 0 281 28 0 0 25 0 1 0 889437157 35102720 7513 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 8570 7513 718 1178 0 7388 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34280
[startup+6.30048 s]
/proc/loadavg: 2.00 1.84 1.11 3/178 25655
/proc/meminfo: memFree=30807536/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=34280 CPUtime=6.29 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 14356 0 0 0 583 46 0 0 25 0 1 0 889437157 35102720 7517 33554432000 4194304 9016284 140737390759280 18446744073709551615 6422458 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 8570 7517 718 1178 0 7388 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34280
[startup+12.7003 s]
/proc/loadavg: 2.00 1.84 1.11 3/178 25656
/proc/meminfo: memFree=30807648/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=34280 CPUtime=12.69 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 14436 0 0 0 1186 83 0 0 25 0 1 0 889437157 35102720 7597 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 8570 7597 718 1178 0 7388 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34280
[startup+25.501 s]
/proc/loadavg: 2.00 1.85 1.13 3/178 25656
/proc/meminfo: memFree=30801448/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=41484 CPUtime=25.49 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 16262 0 0 0 2398 151 0 0 25 0 1 0 889437157 42479616 9416 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 10371 9416 718 1178 0 9189 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41484
[startup+51.1004 s]
/proc/loadavg: 2.00 1.86 1.15 3/178 25657
/proc/meminfo: memFree=30789256/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=54292 CPUtime=51.09 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 19453 0 0 0 4816 293 0 0 25 0 1 0 889437157 55595008 12576 33554432000 4194304 9016284 140737390759280 18446744073709551615 6469463 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 13573 12576 718 1178 0 12391 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 54292
[startup+102.306 s]
/proc/loadavg: 2.06 1.89 1.20 3/178 25658
/proc/meminfo: memFree=30775936/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=67016 CPUtime=102.3 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 22613 0 0 0 9672 558 0 0 25 0 1 0 889437157 68624384 15733 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 16754 15733 718 1178 0 15572 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 67016
[startup+162.3 s]
/proc/loadavg: 2.06 1.93 1.25 3/178 25660
/proc/meminfo: memFree=30761600/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=81316 CPUtime=162.3 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 26218 0 0 0 15358 872 0 0 25 0 1 0 889437157 83267584 19326 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 20329 19326 718 1178 0 19147 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 81316
[startup+222.301 s]
/proc/loadavg: 2.02 1.94 1.29 3/178 25661
/proc/meminfo: memFree=30744528/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=94524 CPUtime=222.3 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 29467 0 0 0 21049 1181 0 0 25 0 1 0 889437157 96792576 22575 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 23631 22575 718 1178 0 22449 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 94524
[startup+282.301 s]
/proc/loadavg: 2.01 1.95 1.33 3/178 25663
/proc/meminfo: memFree=30726576/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=100636 CPUtime=282.3 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 31010 0 0 0 26693 1537 0 0 25 0 1 0 889437157 103051264 24116 33554432000 4194304 9016284 140737390759280 18446744073709551615 6469459 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 25159 24116 718 1178 0 23977 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 100636
[startup+342.301 s]
/proc/loadavg: 2.00 1.95 1.37 3/178 25664
/proc/meminfo: memFree=30715820/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=109164 CPUtime=342.31 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 33048 0 0 0 32326 1905 0 0 25 0 1 0 889437157 111783936 26154 33554432000 4194304 9016284 140737390759280 18446744073709551615 4349783 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 27291 26154 718 1178 0 26109 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 109164
[startup+402.301 s]
/proc/loadavg: 2.00 1.96 1.41 3/178 25666
/proc/meminfo: memFree=30710668/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=112256 CPUtime=402.3 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 33871 0 0 0 37981 2249 0 0 25 0 1 0 889437157 114950144 26972 33554432000 4194304 9016284 140737390759280 18446744073709551615 6471864 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 28064 26972 718 1178 0 26882 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 112256
[startup+462.3 s]
/proc/loadavg: 2.00 1.96 1.44 3/178 25668
/proc/meminfo: memFree=30702916/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=119968 CPUtime=462.3 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 35809 0 0 0 43618 2612 0 0 25 0 1 0 889437157 122847232 28908 33554432000 4194304 9016284 140737390759280 18446744073709551615 5945688 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 29992 28908 718 1178 0 28810 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 119968
[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/178 25669
/proc/meminfo: memFree=30699144/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=122584 CPUtime=522.31 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 36441 0 0 0 49263 2968 0 0 25 0 1 0 889437157 125526016 29540 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 30646 29540 718 1178 0 29464 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 122584
[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.50 3/178 25671
/proc/meminfo: memFree=30695584/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=126152 CPUtime=582.3 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 37285 0 0 0 54917 3313 0 0 25 0 1 0 889437157 129179648 30384 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 31538 30384 718 1178 0 30356 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 126152
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30676928/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=136476 CPUtime=942.31 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 39851 0 0 0 88896 5335 0 0 25 0 1 0 889437157 139751424 32950 33554432000 4194304 9016284 140737390759280 18446744073709551615 7103824 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 34119 32950 718 1178 0 32937 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 136476
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/178 25691
/proc/meminfo: memFree=30676244/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=137304 CPUtime=1002.32 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 40005 0 0 0 94576 5656 0 0 25 0 1 0 889437157 140599296 33104 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 34326 33104 718 1178 0 33144 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 137304
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/178 25731
/proc/meminfo: memFree=31471704/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=137792 CPUtime=1062.32 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 40143 0 0 0 100313 5919 0 0 25 0 1 0 889437157 141099008 33242 33554432000 4194304 9016284 140737390759280 18446744073709551615 6469440 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 34448 33242 718 1178 0 33266 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 137792
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/178 25735
/proc/meminfo: memFree=31466864/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=140204 CPUtime=1122.32 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 40778 0 0 0 106118 6114 0 0 25 0 1 0 889437157 143568896 33877 33554432000 4194304 9016284 140737390759280 18446744073709551615 4654080 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 35051 33877 718 1178 0 33869 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 140204
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/178 25737
/proc/meminfo: memFree=31464816/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=140204 CPUtime=1182.32 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 40785 0 0 0 111922 6310 0 0 25 0 1 0 889437157 143568896 33884 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 35051 33884 718 1178 0 33869 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 140204
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 25738
/proc/meminfo: memFree=31462148/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=140204 CPUtime=1242.33 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 40785 0 0 0 117718 6515 0 0 25 0 1 0 889437157 143568896 33884 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 35051 33884 718 1178 0 33869 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 140204
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/178 25740
/proc/meminfo: memFree=31457008/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=140660 CPUtime=1302.34 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 40896 0 0 0 123489 6745 0 0 25 0 1 0 889437157 144035840 33995 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 35165 33995 718 1178 0 33983 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 140660
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/178 25742
/proc/meminfo: memFree=31450992/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=141460 CPUtime=1362.33 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41014 0 0 0 129252 6981 0 0 25 0 1 0 889437157 144855040 34113 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 35365 34113 718 1178 0 34183 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 141460
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.77 3/178 25743
/proc/meminfo: memFree=31444104/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=141772 CPUtime=1422.34 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41161 0 0 0 135034 7200 0 0 25 0 1 0 889437157 145174528 34260 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 35443 34260 718 1178 0 34261 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 141772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/178 25745
/proc/meminfo: memFree=31438476/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=141908 CPUtime=1482.34 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41177 0 0 0 140823 7411 0 0 25 0 1 0 889437157 145313792 34276 33554432000 4194304 9016284 140737390759280 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 35477 34276 718 1178 0 34295 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 141908
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/178 25746
/proc/meminfo: memFree=31429992/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=143556 CPUtime=1542.33 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41468 0 0 0 146608 7625 0 0 25 0 1 0 889437157 147001344 34567 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 35889 34567 718 1178 0 34707 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 143556
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/178 25748
/proc/meminfo: memFree=31421272/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=144696 CPUtime=1602.34 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41697 0 0 0 152402 7832 0 0 25 0 1 0 889437157 148168704 34796 33554432000 4194304 9016284 140737390759280 18446744073709551615 6464136 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 36174 34796 718 1178 0 34992 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 144696
Solver just ended. Dumping a history of the last processes samples
[startup+1606.3 s]
/proc/loadavg: 2.08 2.02 1.82 3/178 25748
/proc/meminfo: memFree=31421020/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=144696 CPUtime=1606.34 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41714 0 0 0 152789 7845 0 0 25 0 1 0 889437157 148168704 34813 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 36174 34813 718 1178 0 34992 0
Current children cumulated CPU time (s) 1606.34
Current children cumulated vsize (KiB) 144696
[startup+1612.7 s]
/proc/loadavg: 2.07 2.02 1.82 3/178 25748
/proc/meminfo: memFree=31419644/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=144696 CPUtime=1612.73 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41714 0 0 0 153407 7866 0 0 25 0 1 0 889437157 148168704 34813 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 36174 34813 718 1178 0 34992 0
Current children cumulated CPU time (s) 1612.73
Current children cumulated vsize (KiB) 144696
[startup+1614.3 s]
/proc/loadavg: 2.07 2.02 1.82 3/178 25748
/proc/meminfo: memFree=31419644/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=144696 CPUtime=1614.34 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41714 0 0 0 153558 7876 0 0 25 0 1 0 889437157 148168704 34813 33554432000 4194304 9016284 140737390759280 18446744073709551615 7082078 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 36174 34813 718 1178 0 34992 0
Current children cumulated CPU time (s) 1614.34
Current children cumulated vsize (KiB) 144696
[startup+1615.91 s]
/proc/loadavg: 2.07 2.02 1.82 3/178 25748
/proc/meminfo: memFree=31419260/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=144696 CPUtime=1615.95 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41714 0 0 0 153713 7882 0 0 25 0 1 0 889437157 148168704 34813 33554432000 4194304 9016284 140737390759280 18446744073709551615 6523746 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 36174 34813 718 1178 0 34992 0
Current children cumulated CPU time (s) 1615.95
Current children cumulated vsize (KiB) 144696
[startup+1616.7 s]
/proc/loadavg: 2.07 2.02 1.82 3/178 25748
/proc/meminfo: memFree=31419260/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=144696 CPUtime=1616.74 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41714 0 0 0 153789 7885 0 0 25 0 1 0 889437157 148168704 34813 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 36174 34813 718 1178 0 34992 0
Current children cumulated CPU time (s) 1616.74
Current children cumulated vsize (KiB) 144696
[startup+1617.1 s]
/proc/loadavg: 2.07 2.02 1.82 3/178 25748
/proc/meminfo: memFree=31419260/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=144696 CPUtime=1617.14 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41714 0 0 0 153827 7887 0 0 25 0 1 0 889437157 148168704 34813 33554432000 4194304 9016284 140737390759280 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 36174 34813 718 1178 0 34992 0
Current children cumulated CPU time (s) 1617.14
Current children cumulated vsize (KiB) 144696
[startup+1617.2 s]
/proc/loadavg: 2.07 2.02 1.82 3/178 25748
/proc/meminfo: memFree=31419260/32951124 swapFree=67053176/67111528
[pid=25654] ppid=25652 vsize=144696 CPUtime=1617.24 cores=1,3,5,7
/proc/25654/stat : 25654 (scip-2.0.1.4b_2) R 25652 25654 19126 0 -1 4202496 41714 0 0 0 153837 7887 0 0 25 0 1 0 889437157 148168704 34813 33554432000 4194304 9016284 140737390759280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25654/statm: 36174 34813 718 1178 0 34992 0
Current children cumulated CPU time (s) 1617.24
Current children cumulated vsize (KiB) 144696
Child status: 0
Real time (s): 1617.26
CPU time (s): 1617.31
CPU user time (s): 1538.42
CPU system time (s): 78.885
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 144696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1538.42
system time used= 78.885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41721
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= 9
involuntary context switches= 2217
runsolver used 2.32965 second user time and 5.75712 second system time
The end