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-3734800-1338701262.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 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) 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, 7 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, 7 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 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c 6 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 | 30 | - | 274k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 103 | - | 303k| 0 | 9 | 50 | 6 | 50 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 107 | - | 322k| 0 | 10 | 50 | 6 | 50 | 13 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.1s| 1 | 0 | 114 | - | 345k| 0 | 13 | 50 | 6 | 50 | 18 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 124 | - | 364k| 0 | 15 | 50 | 6 | 50 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 128 | - | 370k| 0 | 16 | 50 | 6 | 50 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 131 | - | 375k| 0 | 18 | 50 | 6 | 50 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 2 | 131 | - | 376k| 0 | 18 | 50 | 6 | 50 | 24 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
1.79/1.81 c 1.8s| 10000 | 4265 | 27385 | 2.7 |4045k| 44 | 6 | 50 |3052 | 50 | 18 | 18 |4084 | 581 | 0.000000e+00 | -- | Inf
3.49/3.59 c 3.6s| 20000 | 7418 | 53456 | 2.7 |6062k| 44 | 6 | 50 |2273 | 50 | 18 | 18 |8917 | 780 | 0.000000e+00 | -- | Inf
5.28/5.32 c 5.3s| 30000 | 10243 | 79148 | 2.6 |8185k| 44 | - | 50 |2580 | 50 | 18 | 18 | 13k| 925 | 0.000000e+00 | -- | Inf
6.99/7.08 c 7.1s| 40000 | 13188 |104975 | 2.6 | 10M| 44 | 6 | 50 |3360 | 50 | 18 | 18 | 18k|1044 | 0.000000e+00 | -- | Inf
8.79/8.88 c 8.9s| 50000 | 15988 |130991 | 2.6 | 12M| 44 | 6 | 50 |3359 | 50 | 18 | 18 | 23k|1149 | 0.000000e+00 | -- | Inf
10.68/10.75 c 10.7s| 60000 | 18413 |156047 | 2.6 | 14M| 44 | 6 | 50 |3659 | 50 | 18 | 18 | 29k|1218 | 0.000000e+00 | -- | Inf
12.59/12.60 c 12.6s| 70000 | 21018 |181800 | 2.6 | 16M| 44 | 6 | 50 |4253 | 50 | 18 | 18 | 34k|1301 | 0.000000e+00 | -- | Inf
14.39/14.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.39/14.47 c 14.5s| 80000 | 23985 |207868 | 2.6 | 18M| 44 | - | 50 |4620 | 50 | 18 | 18 | 39k|1378 | 0.000000e+00 | -- | Inf
16.39/16.44 c 16.4s| 90000 | 26510 |233873 | 2.6 | 20M| 44 | 6 | 50 |4653 | 50 | 18 | 18 | 45k|1447 | 0.000000e+00 | -- | Inf
18.38/18.43 c 18.4s|100000 | 28971 |259596 | 2.6 | 22M| 44 | 6 | 50 |4614 | 50 | 18 | 18 | 50k|1517 | 0.000000e+00 | -- | Inf
20.28/20.37 c 20.4s|110000 | 31532 |285082 | 2.6 | 24M| 44 | 6 | 50 |4926 | 50 | 18 | 18 | 55k|1571 | 0.000000e+00 | -- | Inf
22.29/22.30 c 22.3s|120000 | 34234 |309962 | 2.6 | 26M| 44 | 6 | 50 |4889 | 50 | 18 | 18 | 60k|1612 | 0.000000e+00 | -- | Inf
24.19/24.28 c 24.3s|130000 | 36814 |335101 | 2.6 | 28M| 44 | - | 50 |4866 | 50 | 18 | 18 | 66k|1664 | 0.000000e+00 | -- | Inf
26.18/26.20 c 26.2s|140000 | 39501 |360631 | 2.6 | 30M| 44 | 6 | 50 |4904 | 50 | 18 | 18 | 71k|1716 | 0.000000e+00 | -- | Inf
28.19/28.21 c 28.2s|150000 | 41854 |386222 | 2.6 | 32M| 44 | - | 50 |5353 | 0 | 0 | 18 | 76k|1779 | 0.000000e+00 | -- | Inf
30.18/30.20 c 30.2s|160000 | 44466 |411861 | 2.6 | 34M| 44 | 6 | 50 |5151 | 50 | 18 | 18 | 81k|1829 | 0.000000e+00 | -- | Inf
32.18/32.25 c 32.2s|170000 | 46826 |437065 | 2.6 | 36M| 44 | 6 | 50 |5088 | 50 | 18 | 18 | 87k|1855 | 0.000000e+00 | -- | Inf
34.09/34.18 c 34.2s|180000 | 49328 |463524 | 2.6 | 38M| 44 | 6 | 50 |5715 | 50 | 18 | 18 | 92k|1899 | 0.000000e+00 | -- | Inf
36.18/36.28 c 36.3s|190000 | 51770 |489229 | 2.6 | 40M| 45 | 6 | 50 |5222 | 50 | 18 | 18 | 97k|1953 | 0.000000e+00 | -- | Inf
38.18/38.27 c 38.3s|200000 | 54305 |514919 | 2.6 | 42M| 45 | 6 | 50 |5748 | 50 | 18 | 18 | 103k|1990 | 0.000000e+00 | -- | Inf
40.27/40.33 c 40.3s|210000 | 56709 |540378 | 2.6 | 44M| 45 | - | 50 |5764 | 50 | 18 | 18 | 108k|2030 | 0.000000e+00 | -- | Inf
42.27/42.37 c 42.4s|220000 | 59142 |565126 | 2.6 | 46M| 45 | 6 | 50 |5598 | 50 | 18 | 18 | 113k|2074 | 0.000000e+00 | -- | Inf
44.27/44.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.27/44.38 c 44.4s|230000 | 61708 |590192 | 2.6 | 48M| 45 | 6 | 50 |5880 | 50 | 18 | 18 | 119k|2109 | 0.000000e+00 | -- | Inf
46.27/46.36 c 46.4s|240000 | 64413 |616430 | 2.6 | 50M| 45 | - | 50 |6663 | 50 | 18 | 18 | 124k|2151 | 0.000000e+00 | -- | Inf
48.38/48.50 c 48.5s|250000 | 66885 |641783 | 2.6 | 52M| 45 | - | 50 |6011 | 50 | 18 | 18 | 129k|2192 | 0.000000e+00 | -- | Inf
50.46/50.57 c 50.6s|260000 | 69358 |667671 | 2.6 | 54M| 45 | 6 | 50 |6373 | 50 | 18 | 18 | 135k|2225 | 0.000000e+00 | -- | Inf
52.56/52.62 c 52.6s|270000 | 71964 |693602 | 2.6 | 56M| 45 | 6 | 50 |6511 | 50 | 18 | 18 | 140k|2258 | 0.000000e+00 | -- | Inf
54.66/54.75 c 54.8s|280000 | 74392 |718841 | 2.6 | 58M| 45 | 6 | 50 |6011 | 50 | 18 | 18 | 145k|2292 | 0.000000e+00 | -- | Inf
56.67/56.77 c 56.8s|290000 | 76913 |744029 | 2.6 | 60M| 45 | - | 50 |6354 | 0 | 0 | 18 | 151k|2328 | 0.000000e+00 | -- | Inf
58.76/58.88 c 58.9s|300000 | 79300 |770229 | 2.6 | 62M| 45 | - | 50 |6602 | 0 | 0 | 18 | 156k|2361 | 0.000000e+00 | -- | Inf
60.96/61.04 c 61.0s|310000 | 81564 |795625 | 2.6 | 64M| 45 | - | 50 |6789 | 0 | 0 | 18 | 162k|2375 | 0.000000e+00 | -- | Inf
63.06/63.18 c 63.2s|320000 | 83838 |820702 | 2.6 | 65M| 45 | - | 50 |6505 | 50 | 18 | 18 | 167k|2398 | 0.000000e+00 | -- | Inf
65.25/65.32 c 65.3s|330000 | 86139 |846563 | 2.6 | 67M| 45 | - | 50 |6676 | 50 | 18 | 18 | 173k|2429 | 0.000000e+00 | -- | Inf
67.36/67.41 c 67.4s|340000 | 88632 |872187 | 2.6 | 69M| 45 | 6 | 50 |6919 | 50 | 18 | 18 | 178k|2473 | 0.000000e+00 | -- | Inf
69.35/69.49 c 69.5s|350000 | 91175 |897903 | 2.6 | 71M| 45 | 6 | 50 |7419 | 50 | 18 | 18 | 184k|2498 | 0.000000e+00 | -- | Inf
71.55/71.63 c 71.6s|360000 | 93647 |922865 | 2.6 | 73M| 45 | 6 | 50 |7559 | 50 | 18 | 18 | 189k|2525 | 0.000000e+00 | -- | Inf
73.65/73.74 c 73.7s|370000 | 96080 |948609 | 2.6 | 75M| 45 | - | 50 |7566 | 50 | 18 | 18 | 194k|2550 | 0.000000e+00 | -- | Inf
75.85/75.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.85/75.98 c 76.0s|380000 | 98327 |974307 | 2.6 | 77M| 45 | 6 | 50 |7079 | 50 | 18 | 18 | 200k|2590 | 0.000000e+00 | -- | Inf
77.94/78.04 c 78.0s|390000 |100933 |999845 | 2.6 | 79M| 45 | - | 50 |7827 | 50 | 18 | 18 | 205k|2615 | 0.000000e+00 | -- | Inf
80.15/80.23 c 80.2s|400000 |103487 | 1025k| 2.6 | 81M| 45 | 6 | 50 |7903 | 50 | 18 | 18 | 211k|2647 | 0.000000e+00 | -- | Inf
82.44/82.50 c 82.5s|410000 |105755 | 1050k| 2.6 | 83M| 45 | - | 50 |7006 | 50 | 18 | 18 | 216k|2673 | 0.000000e+00 | -- | Inf
84.44/84.55 c 84.5s|420000 |108398 | 1076k| 2.6 | 85M| 45 | - | 50 |8184 | 50 | 18 | 18 | 222k|2705 | 0.000000e+00 | -- | Inf
86.63/86.78 c 86.8s|430000 |110656 | 1102k| 2.6 | 87M| 45 | - | 50 |7314 | 50 | 18 | 18 | 227k|2729 | 0.000000e+00 | -- | Inf
88.94/89.01 c 89.0s|440000 |113043 | 1128k| 2.6 | 89M| 45 | 6 | 50 |7125 | 50 | 18 | 18 | 232k|2751 | 0.000000e+00 | -- | Inf
91.03/91.18 c 91.2s|450000 |115334 | 1153k| 2.6 | 91M| 45 | - | 50 |7419 | 50 | 18 | 18 | 238k|2781 | 0.000000e+00 | -- | Inf
93.23/93.34 c 93.3s|460000 |117651 | 1178k| 2.6 | 93M| 45 | - | 50 |7588 | 50 | 18 | 18 | 244k|2810 | 0.000000e+00 | -- | Inf
95.53/95.62 c 95.6s|470000 |119797 | 1204k| 2.6 | 94M| 45 | - | 50 |7361 | 0 | 0 | 18 | 249k|2847 | 0.000000e+00 | -- | Inf
97.73/97.82 c 97.8s|480000 |122265 | 1230k| 2.6 | 96M| 45 | 6 | 50 |7467 | 50 | 18 | 18 | 254k|2864 | 0.000000e+00 | -- | Inf
99.93/100.03 c 100s|490000 |124524 | 1255k| 2.6 | 98M| 45 | - | 50 |7214 | 50 | 18 | 18 | 260k|2900 | 0.000000e+00 | -- | Inf
102.03/102.17 c 102s|500000 |126766 | 1281k| 2.6 | 100M| 45 | - | 50 |7616 | 50 | 18 | 18 | 265k|2931 | 0.000000e+00 | -- | Inf
104.13/104.25 c 104s|510000 |129184 | 1307k| 2.6 | 102M| 45 | 6 | 50 |9037 | 50 | 18 | 18 | 271k|2954 | 0.000000e+00 | -- | Inf
106.52/106.63 c 107s|520000 |131333 | 1332k| 2.6 | 104M| 45 | 6 | 50 |8213 | 50 | 18 | 18 | 277k|2982 | 0.000000e+00 | -- | Inf
108.62/108.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.62/108.78 c 109s|530000 |133869 | 1357k| 2.6 | 106M| 45 | - | 50 |8378 | 50 | 18 | 18 | 282k|3000 | 0.000000e+00 | -- | Inf
110.92/111.09 c 111s|540000 |136073 | 1383k| 2.6 | 108M| 45 | 6 | 50 |7878 | 50 | 18 | 18 | 287k|3038 | 0.000000e+00 | -- | Inf
113.23/113.36 c 113s|550000 |138265 | 1408k| 2.6 | 109M| 45 | - | 50 |7850 | 0 | 0 | 18 | 293k|3063 | 0.000000e+00 | -- | Inf
115.62/115.71 c 116s|560000 |140403 | 1434k| 2.6 | 111M| 45 | - | 50 |7583 | 50 | 18 | 18 | 298k|3086 | 0.000000e+00 | -- | Inf
117.73/117.88 c 118s|570000 |142807 | 1458k| 2.6 | 113M| 45 | 6 | 50 |7875 | 50 | 18 | 18 | 304k|3102 | 0.000000e+00 | -- | Inf
120.03/120.17 c 120s|580000 |145065 | 1484k| 2.6 | 115M| 45 | 6 | 50 |7965 | 50 | 18 | 18 | 309k|3123 | 0.000000e+00 | -- | Inf
122.32/122.44 c 122s|590000 |147403 | 1509k| 2.6 | 117M| 45 | - | 50 |7849 | 50 | 18 | 18 | 315k|3145 | 0.000000e+00 | -- | Inf
124.52/124.65 c 125s|600000 |149638 | 1534k| 2.6 | 119M| 45 | - | 50 |8294 | 50 | 18 | 18 | 320k|3166 | 0.000000e+00 | -- | Inf
126.82/126.94 c 127s|610000 |152010 | 1560k| 2.6 | 121M| 45 | - | 50 |8238 | 50 | 18 | 18 | 326k|3191 | 0.000000e+00 | -- | Inf
128.92/129.02 c 129s|620000 |154908 | 1586k| 2.6 | 123M| 45 | 6 | 50 |8931 | 50 | 18 | 18 | 331k|3210 | 0.000000e+00 | -- | Inf
131.13/131.28 c 131s|630000 |157333 | 1612k| 2.6 | 125M| 45 | - | 50 |9388 | 50 | 18 | 18 | 336k|3232 | 0.000000e+00 | -- | Inf
133.62/133.79 c 134s|640000 |159418 | 1637k| 2.6 | 127M| 45 | - | 50 |8611 | 0 | 0 | 18 | 342k|3246 | 0.000000e+00 | -- | Inf
136.12/136.21 c 136s|650000 |161484 | 1662k| 2.6 | 128M| 45 | 6 | 50 |8336 | 50 | 18 | 18 | 347k|3266 | 0.000000e+00 | -- | Inf
138.32/138.47 c 138s|660000 |163783 | 1687k| 2.6 | 130M| 45 | - | 50 |8821 | 50 | 18 | 18 | 353k|3279 | 0.000000e+00 | -- | Inf
140.72/140.86 c 141s|670000 |166141 | 1713k| 2.6 | 132M| 45 | 6 | 50 |8732 | 50 | 18 | 18 | 358k|3298 | 0.000000e+00 | -- | Inf
143.02/143.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.02/143.19 c 143s|680000 |168407 | 1738k| 2.6 | 134M| 45 | 6 | 50 |9352 | 50 | 18 | 18 | 364k|3326 | 0.000000e+00 | -- | Inf
145.51/145.60 c 146s|690000 |170677 | 1764k| 2.6 | 136M| 45 | - | 50 |9785 | 50 | 18 | 18 | 369k|3345 | 0.000000e+00 | -- | Inf
147.71/147.81 c 148s|700000 |173462 | 1789k| 2.6 | 138M| 45 | - | 50 |9982 | 0 | 0 | 18 | 374k|3361 | 0.000000e+00 | -- | Inf
150.31/150.46 c 150s|710000 |175531 | 1815k| 2.6 | 140M| 45 | 6 | 50 |8577 | 50 | 18 | 18 | 380k|3377 | 0.000000e+00 | -- | Inf
152.71/152.80 c 153s|720000 |177727 | 1840k| 2.6 | 142M| 45 | 6 | 50 |9152 | 50 | 18 | 18 | 386k|3396 | 0.000000e+00 | -- | Inf
154.81/154.91 c 155s|730000 |180558 | 1866k| 2.6 | 144M| 45 | 6 | 50 |9998 | 50 | 18 | 18 | 391k|3409 | 0.000000e+00 | -- | Inf
157.32/157.43 c 157s|740000 |182685 | 1892k| 2.6 | 146M| 45 | - | 50 |8958 | 50 | 18 | 18 | 396k|3422 | 0.000000e+00 | -- | Inf
159.81/159.95 c 160s|750000 |184703 | 1917k| 2.6 | 148M| 45 | 6 | 50 |8906 | 50 | 18 | 18 | 402k|3438 | 0.000000e+00 | -- | Inf
162.11/162.27 c 162s|760000 |187167 | 1943k| 2.6 | 150M| 45 | 6 | 50 |9487 | 50 | 18 | 18 | 407k|3453 | 0.000000e+00 | -- | Inf
164.61/164.70 c 165s|770000 |189429 | 1969k| 2.6 | 151M| 45 | 6 | 50 |9196 | 50 | 18 | 18 | 413k|3478 | 0.000000e+00 | -- | Inf
167.12/167.20 c 167s|780000 |191516 | 1994k| 2.6 | 153M| 45 | 6 | 50 |8890 | 50 | 18 | 18 | 419k|3495 | 0.000000e+00 | -- | Inf
169.32/169.44 c 169s|790000 |193991 | 2020k| 2.6 | 155M| 45 | 6 | 50 |9656 | 50 | 18 | 18 | 424k|3506 | 0.000000e+00 | -- | Inf
171.81/171.97 c 172s|800000 |196102 | 2046k| 2.6 | 157M| 45 | - | 50 |9360 | 0 | 0 | 18 | 430k|3526 | 0.000000e+00 | -- | Inf
174.41/174.59 c 175s|810000 |198101 | 2071k| 2.6 | 159M| 45 | - | 50 |8879 | 50 | 18 | 18 | 435k|3548 | 0.000000e+00 | -- | Inf
177.12/177.22 c 177s|820000 |200098 | 2096k| 2.6 | 160M| 45 | 6 | 50 |8664 | 50 | 18 | 18 | 441k|3569 | 0.000000e+00 | -- | Inf
179.61/179.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.61/179.70 c 180s|830000 |202191 | 2122k| 2.6 | 162M| 45 | 6 | 50 |8967 | 50 | 18 | 18 | 447k|3582 | 0.000000e+00 | -- | Inf
182.10/182.26 c 182s|840000 |204094 | 2147k| 2.6 | 164M| 45 | - | 50 |9026 | 0 | 0 | 18 | 453k|3598 | 0.000000e+00 | -- | Inf
184.72/184.82 c 185s|850000 |206096 | 2173k| 2.6 | 166M| 45 | - | 50 |9398 | 50 | 18 | 18 | 458k|3620 | 0.000000e+00 | -- | Inf
187.11/187.27 c 187s|860000 |208362 | 2198k| 2.6 | 168M| 45 | 6 | 50 |9507 | 50 | 18 | 18 | 464k|3635 | 0.000000e+00 | -- | Inf
189.61/189.76 c 190s|870000 |210494 | 2223k| 2.6 | 170M| 45 | - | 50 |9685 | 0 | 0 | 18 | 470k|3650 | 0.000000e+00 | -- | Inf
192.10/192.24 c 192s|880000 |212780 | 2249k| 2.6 | 171M| 45 | 6 | 50 |9643 | 50 | 18 | 18 | 475k|3670 | 0.000000e+00 | -- | Inf
194.31/194.47 c 194s|890000 |215620 | 2275k| 2.6 | 174M| 45 | - | 50 | 10k| 50 | 18 | 18 | 480k|3689 | 0.000000e+00 | -- | Inf
196.60/196.71 c 197s|900000 |218567 | 2299k| 2.6 | 176M| 45 | - | 50 | 10k| 50 | 18 | 18 | 485k|3711 | 0.000000e+00 | -- | Inf
199.11/199.23 c 199s|910000 |221068 | 2325k| 2.6 | 178M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 490k|3730 | 0.000000e+00 | -- | Inf
201.70/201.84 c 202s|920000 |223206 | 2350k| 2.6 | 179M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 496k|3750 | 0.000000e+00 | -- | Inf
204.40/204.54 c 205s|930000 |225378 | 2377k| 2.6 | 181M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 502k|3766 | 0.000000e+00 | -- | Inf
207.10/207.25 c 207s|940000 |227499 | 2402k| 2.6 | 183M| 45 | 6 | 50 |9718 | 50 | 18 | 18 | 507k|3788 | 0.000000e+00 | -- | Inf
209.29/209.49 c 209s|950000 |230506 | 2428k| 2.6 | 185M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 512k|3803 | 0.000000e+00 | -- | Inf
211.50/211.65 c 212s|960000 |233360 | 2454k| 2.6 | 187M| 45 | - | 50 | 11k| 50 | 18 | 18 | 518k|3824 | 0.000000e+00 | -- | Inf
214.50/214.61 c 215s|970000 |235329 | 2480k| 2.6 | 189M| 45 | - | 50 |9668 | 50 | 18 | 18 | 523k|3837 | 0.000000e+00 | -- | Inf
216.99/217.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.99/217.15 c 217s|980000 |237537 | 2505k| 2.6 | 191M| 45 | - | 50 |9752 | 0 | 0 | 18 | 529k|3847 | 0.000000e+00 | -- | Inf
219.59/219.73 c 220s|990000 |239773 | 2530k| 2.6 | 193M| 45 | - | 50 | 10k| 50 | 18 | 18 | 534k|3863 | 0.000000e+00 | -- | Inf
221.99/222.11 c 222s| 1000k|242152 | 2555k| 2.6 | 195M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 540k|3883 | 0.000000e+00 | -- | Inf
224.69/224.83 c 225s| 1010k|244207 | 2581k| 2.6 | 196M| 45 | 6 | 50 |9620 | 50 | 18 | 18 | 545k|3892 | 0.000000e+00 | -- | Inf
227.08/227.27 c 227s| 1020k|246815 | 2606k| 2.6 | 198M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 551k|3903 | 0.000000e+00 | -- | Inf
229.68/229.87 c 230s| 1030k|249116 | 2632k| 2.6 | 200M| 45 | - | 50 | 10k| 50 | 18 | 18 | 556k|3918 | 0.000000e+00 | -- | Inf
232.47/232.63 c 233s| 1040k|251157 | 2658k| 2.6 | 202M| 45 | 6 | 50 |9487 | 50 | 18 | 18 | 562k|3936 | 0.000000e+00 | -- | Inf
235.18/235.38 c 235s| 1050k|253216 | 2683k| 2.6 | 203M| 45 | - | 50 |9348 | 50 | 18 | 18 | 568k|3956 | 0.000000e+00 | -- | Inf
237.78/237.97 c 238s| 1060k|255402 | 2708k| 2.6 | 205M| 45 | 6 | 50 |9636 | 50 | 18 | 18 | 573k|3975 | 0.000000e+00 | -- | Inf
240.47/240.68 c 241s| 1070k|257469 | 2733k| 2.6 | 207M| 45 | - | 50 |9533 | 50 | 18 | 18 | 579k|3995 | 0.000000e+00 | -- | Inf
243.17/243.35 c 243s| 1080k|259518 | 2759k| 2.6 | 209M| 45 | - | 50 |9203 | 50 | 18 | 18 | 585k|4018 | 0.000000e+00 | -- | Inf
245.68/245.87 c 246s| 1090k|261656 | 2784k| 2.6 | 211M| 45 | 6 | 50 |9516 | 50 | 18 | 18 | 590k|4030 | 0.000000e+00 | -- | Inf
248.27/248.48 c 248s| 1100k|263827 | 2809k| 2.6 | 212M| 45 | - | 50 |9426 | 50 | 18 | 18 | 596k|4050 | 0.000000e+00 | -- | Inf
250.47/250.69 c 251s| 1110k|266447 | 2835k| 2.6 | 215M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 601k|4070 | 0.000000e+00 | -- | Inf
252.97/253.11 c 253s| 1120k|268882 | 2862k| 2.6 | 217M| 45 | - | 50 | 11k| 50 | 18 | 18 | 607k|4083 | 0.000000e+00 | -- | Inf
255.66/255.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.66/255.83 c 256s| 1130k|270802 | 2887k| 2.6 | 218M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 612k|4102 | 0.000000e+00 | -- | Inf
258.26/258.48 c 258s| 1140k|272938 | 2912k| 2.6 | 220M| 45 | - | 50 | 11k| 50 | 18 | 18 | 618k|4113 | 0.000000e+00 | -- | Inf
260.76/260.97 c 261s| 1150k|275231 | 2938k| 2.6 | 222M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 624k|4125 | 0.000000e+00 | -- | Inf
263.66/263.86 c 264s| 1160k|277453 | 2964k| 2.6 | 224M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 629k|4142 | 0.000000e+00 | -- | Inf
266.36/266.59 c 267s| 1170k|279408 | 2990k| 2.6 | 226M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 635k|4158 | 0.000000e+00 | -- | Inf
269.15/269.33 c 269s| 1180k|281618 | 3016k| 2.6 | 228M| 45 | - | 50 | 10k| 50 | 18 | 18 | 641k|4178 | 0.000000e+00 | -- | Inf
271.95/272.18 c 272s| 1190k|283521 | 3042k| 2.6 | 229M| 45 | - | 50 | 11k| 0 | 0 | 18 | 646k|4190 | 0.000000e+00 | -- | Inf
274.66/274.85 c 275s| 1200k|285625 | 3068k| 2.6 | 231M| 45 | - | 50 | 11k| 50 | 18 | 18 | 652k|4211 | 0.000000e+00 | -- | Inf
277.06/277.22 c 277s| 1210k|288328 | 3093k| 2.6 | 233M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 657k|4224 | 0.000000e+00 | -- | Inf
279.55/279.79 c 280s| 1220k|290635 | 3119k| 2.6 | 235M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 663k|4244 | 0.000000e+00 | -- | Inf
282.04/282.28 c 282s| 1230k|292965 | 3144k| 2.6 | 237M| 45 | - | 50 | 11k| 50 | 18 | 18 | 668k|4256 | 0.000000e+00 | -- | Inf
284.85/285.01 c 285s| 1240k|295114 | 3169k| 2.6 | 239M| 45 | - | 50 | 11k| 50 | 18 | 18 | 674k|4270 | 0.000000e+00 | -- | Inf
287.64/287.83 c 288s| 1250k|297108 | 3195k| 2.6 | 240M| 45 | - | 50 | 11k| 50 | 18 | 18 | 680k|4284 | 0.000000e+00 | -- | Inf
290.45/290.64 c 291s| 1260k|299218 | 3220k| 2.6 | 242M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 685k|4296 | 0.000000e+00 | -- | Inf
293.14/293.39 c 293s| 1270k|301232 | 3245k| 2.6 | 244M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 691k|4311 | 0.000000e+00 | -- | Inf
295.75/295.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.75/295.92 c 296s| 1280k|303712 | 3271k| 2.6 | 246M| 45 | - | 50 | 10k| 0 | 0 | 18 | 696k|4326 | 0.000000e+00 | -- | Inf
298.44/298.62 c 299s| 1290k|306115 | 3296k| 2.6 | 248M| 45 | - | 50 | 10k| 50 | 18 | 18 | 702k|4342 | 0.000000e+00 | -- | Inf
301.14/301.33 c 301s| 1300k|308235 | 3321k| 2.6 | 250M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 707k|4357 | 0.000000e+00 | -- | Inf
304.04/304.20 c 304s| 1310k|310275 | 3347k| 2.6 | 251M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 713k|4367 | 0.000000e+00 | -- | Inf
306.64/306.83 c 307s| 1320k|312731 | 3372k| 2.6 | 253M| 45 | - | 50 | 10k| 50 | 18 | 18 | 718k|4385 | 0.000000e+00 | -- | Inf
309.43/309.61 c 310s| 1330k|314825 | 3398k| 2.6 | 255M| 45 | - | 50 | 10k| 50 | 18 | 18 | 724k|4396 | 0.000000e+00 | -- | Inf
312.24/312.42 c 312s| 1340k|316947 | 3423k| 2.6 | 257M| 45 | - | 50 | 10k| 0 | 0 | 18 | 729k|4411 | 0.000000e+00 | -- | Inf
315.04/315.23 c 315s| 1350k|318987 | 3448k| 2.6 | 258M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 735k|4423 | 0.000000e+00 | -- | Inf
317.23/317.47 c 317s| 1360k|321674 | 3473k| 2.6 | 261M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 740k|4433 | 0.000000e+00 | -- | Inf
319.94/320.16 c 320s| 1370k|323872 | 3498k| 2.6 | 263M| 45 | - | 50 | 12k| 50 | 18 | 18 | 745k|4447 | 0.000000e+00 | -- | Inf
322.93/323.14 c 323s| 1380k|325976 | 3523k| 2.6 | 264M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 751k|4458 | 0.000000e+00 | -- | Inf
326.03/326.22 c 326s| 1390k|327920 | 3549k| 2.6 | 266M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 757k|4485 | 0.000000e+00 | -- | Inf
328.54/328.74 c 329s| 1400k|330104 | 3575k| 2.6 | 268M| 45 | - | 50 | 12k| 50 | 18 | 18 | 762k|4508 | 0.000000e+00 | -- | Inf
331.63/331.84 c 332s| 1410k|332141 | 3601k| 2.6 | 270M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 768k|4523 | 0.000000e+00 | -- | Inf
334.63/334.81 c 335s| 1420k|334085 | 3626k| 2.6 | 271M| 45 | - | 50 | 11k| 0 | 0 | 18 | 774k|4539 | 0.000000e+00 | -- | Inf
337.54/337.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.54/337.76 c 338s| 1430k|336080 | 3651k| 2.6 | 273M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 779k|4551 | 0.000000e+00 | -- | Inf
340.43/340.64 c 341s| 1440k|338045 | 3676k| 2.6 | 275M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 785k|4566 | 0.000000e+00 | -- | Inf
343.03/343.28 c 343s| 1450k|340259 | 3701k| 2.6 | 277M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 791k|4584 | 0.000000e+00 | -- | Inf
345.92/346.19 c 346s| 1460k|342334 | 3726k| 2.6 | 279M| 45 | - | 50 | 11k| 50 | 18 | 18 | 796k|4596 | 0.000000e+00 | -- | Inf
348.83/349.03 c 349s| 1470k|344427 | 3752k| 2.6 | 280M| 45 | - | 50 | 11k| 0 | 0 | 18 | 802k|4615 | 0.000000e+00 | -- | Inf
351.62/351.86 c 352s| 1480k|346504 | 3778k| 2.6 | 282M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 808k|4626 | 0.000000e+00 | -- | Inf
354.23/354.49 c 354s| 1490k|348915 | 3803k| 2.6 | 284M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 813k|4639 | 0.000000e+00 | -- | Inf
357.33/357.55 c 358s| 1500k|351114 | 3829k| 2.6 | 286M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 819k|4660 | 0.000000e+00 | -- | Inf
360.32/360.51 c 361s| 1510k|353347 | 3855k| 2.6 | 288M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 824k|4676 | 0.000000e+00 | -- | Inf
363.13/363.34 c 363s| 1520k|355372 | 3881k| 2.6 | 290M| 45 | - | 50 | 12k| 50 | 18 | 18 | 830k|4685 | 0.000000e+00 | -- | Inf
366.42/366.60 c 367s| 1530k|357328 | 3906k| 2.6 | 291M| 45 | - | 50 | 11k| 50 | 18 | 18 | 836k|4702 | 0.000000e+00 | -- | Inf
369.22/369.43 c 369s| 1540k|359640 | 3931k| 2.6 | 293M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 841k|4718 | 0.000000e+00 | -- | Inf
371.82/372.06 c 372s| 1550k|361993 | 3958k| 2.6 | 295M| 45 | - | 50 | 12k| 50 | 18 | 18 | 847k|4732 | 0.000000e+00 | -- | Inf
375.22/375.49 c 375s| 1560k|363805 | 3984k| 2.6 | 297M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 853k|4746 | 0.000000e+00 | -- | Inf
377.82/378.07 c 378s| 1570k|366140 | 4009k| 2.6 | 299M| 45 | - | 50 | 13k| 50 | 18 | 18 | 859k|4762 | 0.000000e+00 | -- | Inf
380.32/380.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
380.32/380.52 c 381s| 1580k|368955 | 4035k| 2.6 | 301M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 864k|4781 | 0.000000e+00 | -- | Inf
383.12/383.34 c 383s| 1590k|371390 | 4061k| 2.6 | 303M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 869k|4793 | 0.000000e+00 | -- | Inf
385.92/386.17 c 386s| 1600k|373565 | 4087k| 2.6 | 305M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 875k|4806 | 0.000000e+00 | -- | Inf
389.02/389.21 c 389s| 1610k|375678 | 4114k| 2.6 | 306M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 881k|4821 | 0.000000e+00 | -- | Inf
392.32/392.51 c 393s| 1620k|377675 | 4139k| 2.6 | 308M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 887k|4832 | 0.000000e+00 | -- | Inf
395.21/395.44 c 395s| 1630k|379984 | 4165k| 2.6 | 310M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 892k|4841 | 0.000000e+00 | -- | Inf
398.12/398.33 c 398s| 1640k|382140 | 4191k| 2.6 | 312M| 45 | - | 50 | 13k| 50 | 18 | 18 | 898k|4853 | 0.000000e+00 | -- | Inf
401.62/401.84 c 402s| 1650k|383959 | 4217k| 2.6 | 313M| 45 | - | 50 | 11k| 50 | 18 | 18 | 904k|4865 | 0.000000e+00 | -- | Inf
404.72/404.90 c 405s| 1660k|385920 | 4243k| 2.6 | 315M| 45 | - | 50 | 12k| 0 | 0 | 18 | 909k|4879 | 0.000000e+00 | -- | Inf
407.81/408.08 c 408s| 1670k|387870 | 4268k| 2.6 | 317M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 915k|4888 | 0.000000e+00 | -- | Inf
411.12/411.34 c 411s| 1680k|389754 | 4294k| 2.6 | 318M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 921k|4908 | 0.000000e+00 | -- | Inf
414.21/414.47 c 414s| 1690k|391753 | 4319k| 2.6 | 320M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 927k|4920 | 0.000000e+00 | -- | Inf
417.21/417.47 c 417s| 1700k|393761 | 4344k| 2.6 | 322M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 932k|4928 | 0.000000e+00 | -- | Inf
420.11/420.38 c 420s| 1710k|395802 | 4369k| 2.6 | 324M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 938k|4938 | 0.000000e+00 | -- | Inf
423.11/423.35 c 423s| 1720k|398308 | 4395k| 2.6 | 326M| 45 | - | 50 | 13k| 50 | 18 | 18 | 943k|4946 | 0.000000e+00 | -- | Inf
425.81/426.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.81/426.01 c 426s| 1730k|400695 | 4419k| 2.6 | 328M| 45 | 6 | 50 | 14k| 50 | 18 | 18 | 949k|4957 | 0.000000e+00 | -- | Inf
429.21/429.47 c 429s| 1740k|402769 | 4445k| 2.6 | 330M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 954k|4963 | 0.000000e+00 | -- | Inf
431.80/432.07 c 432s| 1750k|405310 | 4470k| 2.6 | 332M| 45 | 6 | 50 | 14k| 50 | 18 | 18 | 959k|4974 | 0.000000e+00 | -- | Inf
434.31/434.58 c 435s| 1760k|407642 | 4496k| 2.6 | 334M| 45 | 6 | 50 | 14k| 50 | 18 | 18 | 965k|4988 | 0.000000e+00 | -- | Inf
438.01/438.22 c 438s| 1770k|409714 | 4521k| 2.6 | 335M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 971k|4997 | 0.000000e+00 | -- | Inf
441.61/441.89 c 442s| 1780k|411562 | 4547k| 2.6 | 337M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 976k|5007 | 0.000000e+00 | -- | Inf
444.90/445.11 c 445s| 1790k|413603 | 4571k| 2.6 | 338M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 982k|5017 | 0.000000e+00 | -- | Inf
448.21/448.40 c 448s| 1800k|415315 | 4596k| 2.6 | 340M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 988k|5026 | 0.000000e+00 | -- | Inf
451.51/451.71 c 452s| 1810k|417276 | 4622k| 2.6 | 342M| 45 | - | 50 | 11k| 50 | 18 | 18 | 994k|5043 | 0.000000e+00 | -- | Inf
454.51/454.78 c 455s| 1820k|419490 | 4647k| 2.6 | 344M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 999k|5055 | 0.000000e+00 | -- | Inf
457.50/457.71 c 458s| 1830k|421570 | 4673k| 2.6 | 346M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1005k|5067 | 0.000000e+00 | -- | Inf
460.00/460.25 c 460s| 1840k|424103 | 4699k| 2.6 | 348M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1010k|5081 | 0.000000e+00 | -- | Inf
463.40/463.61 c 464s| 1850k|426173 | 4724k| 2.6 | 350M| 45 | - | 50 | 13k| 0 | 0 | 18 |1016k|5089 | 0.000000e+00 | -- | Inf
466.69/466.93 c 467s| 1860k|428195 | 4750k| 2.6 | 351M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1021k|5104 | 0.000000e+00 | -- | Inf
469.99/470.25 c 470s| 1870k|430330 | 4775k| 2.6 | 353M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1027k|5115 | 0.000000e+00 | -- | Inf
473.09/473.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.09/473.30 c 473s| 1880k|432714 | 4801k| 2.6 | 355M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1033k|5128 | 0.000000e+00 | -- | Inf
475.60/475.82 c 476s| 1890k|435309 | 4826k| 2.6 | 357M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1038k|5136 | 0.000000e+00 | -- | Inf
478.69/478.99 c 479s| 1900k|437417 | 4851k| 2.6 | 359M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1043k|5148 | 0.000000e+00 | -- | Inf
481.99/482.26 c 482s| 1910k|439473 | 4877k| 2.6 | 360M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1049k|5160 | 0.000000e+00 | -- | Inf
485.09/485.39 c 485s| 1920k|441464 | 4902k| 2.6 | 362M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1055k|5169 | 0.000000e+00 | -- | Inf
487.99/488.27 c 488s| 1930k|443680 | 4928k| 2.6 | 364M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1061k|5181 | 0.000000e+00 | -- | Inf
491.18/491.45 c 491s| 1940k|445819 | 4953k| 2.6 | 366M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1066k|5196 | 0.000000e+00 | -- | Inf
494.19/494.41 c 494s| 1950k|447981 | 4979k| 2.6 | 368M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1072k|5204 | 0.000000e+00 | -- | Inf
496.98/497.21 c 497s| 1960k|450334 | 5004k| 2.6 | 370M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1077k|5219 | 0.000000e+00 | -- | Inf
500.38/500.66 c 501s| 1970k|452547 | 5031k| 2.6 | 372M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1083k|5229 | 0.000000e+00 | -- | Inf
504.18/504.42 c 504s| 1980k|454382 | 5056k| 2.6 | 373M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1089k|5242 | 0.000000e+00 | -- | Inf
507.18/507.40 c 507s| 1990k|456592 | 5081k| 2.6 | 375M| 45 | - | 50 | 13k| 0 | 0 | 18 |1094k|5256 | 0.000000e+00 | -- | Inf
509.58/509.84 c 510s| 2000k|459128 | 5108k| 2.6 | 377M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1100k|5265 | 0.000000e+00 | -- | Inf
512.07/512.37 c 512s| 2010k|461443 | 5135k| 2.6 | 380M| 45 | - | 50 | 15k| 50 | 18 | 18 |1105k|5276 | 0.000000e+00 | -- | Inf
515.28/515.56 c 516s| 2020k|463741 | 5161k| 2.6 | 381M| 45 | - | 50 | 14k| 50 | 18 | 18 |1111k|5284 | 0.000000e+00 | -- | Inf
518.27/518.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.27/518.53 c 519s| 2030k|466208 | 5186k| 2.6 | 383M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1116k|5295 | 0.000000e+00 | -- | Inf
521.67/521.90 c 522s| 2040k|468613 | 5212k| 2.6 | 385M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1122k|5310 | 0.000000e+00 | -- | Inf
525.17/525.49 c 525s| 2050k|470469 | 5237k| 2.6 | 387M| 45 | - | 50 | 13k| 50 | 18 | 18 |1128k|5322 | 0.000000e+00 | -- | Inf
528.87/529.10 c 529s| 2060k|472309 | 5263k| 2.6 | 388M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1134k|5334 | 0.000000e+00 | -- | Inf
532.17/532.41 c 532s| 2070k|474365 | 5288k| 2.6 | 390M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1139k|5349 | 0.000000e+00 | -- | Inf
534.66/534.93 c 535s| 2080k|477061 | 5314k| 2.6 | 392M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1145k|5361 | 0.000000e+00 | -- | Inf
538.05/538.31 c 538s| 2090k|479261 | 5339k| 2.6 | 394M| 45 | - | 50 | 13k| 50 | 18 | 18 |1150k|5371 | 0.000000e+00 | -- | Inf
540.96/541.22 c 541s| 2100k|481516 | 5365k| 2.6 | 396M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1156k|5381 | 0.000000e+00 | -- | Inf
544.15/544.41 c 544s| 2110k|483707 | 5390k| 2.6 | 397M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1161k|5390 | 0.000000e+00 | -- | Inf
547.15/547.43 c 547s| 2120k|485732 | 5416k| 2.6 | 399M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1167k|5405 | 0.000000e+00 | -- | Inf
549.55/549.88 c 550s| 2130k|488538 | 5441k| 2.6 | 402M| 45 | - | 50 | 16k| 50 | 18 | 18 |1172k|5414 | 0.000000e+00 | -- | Inf
552.44/552.71 c 553s| 2140k|491487 | 5467k| 2.6 | 404M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1177k|5422 | 0.000000e+00 | -- | Inf
554.84/555.13 c 555s| 2150k|494596 | 5494k| 2.6 | 406M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1182k|5432 | 0.000000e+00 | -- | Inf
557.94/558.27 c 558s| 2160k|496987 | 5520k| 2.6 | 407M| 45 | - | 50 | 15k| 50 | 18 | 18 |1187k|5446 | 0.000000e+00 | -- | Inf
561.24/561.54 c 562s| 2170k|499320 | 5546k| 2.6 | 409M| 45 | - | 50 | 14k| 50 | 18 | 18 |1193k|5457 | 0.000000e+00 | -- | Inf
564.14/564.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
564.14/564.44 c 564s| 2180k|501695 | 5572k| 2.6 | 411M| 45 | - | 50 | 14k| 50 | 18 | 18 |1198k|5472 | 0.000000e+00 | -- | Inf
567.64/567.94 c 568s| 2190k|503412 | 5597k| 2.6 | 412M| 45 | - | 50 | 13k| 50 | 18 | 18 |1204k|5480 | 0.000000e+00 | -- | Inf
570.93/571.24 c 571s| 2200k|505343 | 5622k| 2.6 | 414M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1210k|5491 | 0.000000e+00 | -- | Inf
573.63/573.93 c 574s| 2210k|507624 | 5648k| 2.6 | 416M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1215k|5500 | 0.000000e+00 | -- | Inf
576.73/577.08 c 577s| 2220k|509552 | 5674k| 2.6 | 418M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1221k|5510 | 0.000000e+00 | -- | Inf
579.92/580.21 c 580s| 2230k|511569 | 5699k| 2.6 | 419M| 45 | - | 50 | 13k| 50 | 18 | 18 |1227k|5520 | 0.000000e+00 | -- | Inf
583.03/583.31 c 583s| 2240k|513692 | 5724k| 2.6 | 421M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1233k|5533 | 0.000000e+00 | -- | Inf
586.13/586.44 c 586s| 2250k|515623 | 5750k| 2.6 | 423M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1238k|5547 | 0.000000e+00 | -- | Inf
589.22/589.57 c 590s| 2260k|517610 | 5775k| 2.6 | 425M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1244k|5553 | 0.000000e+00 | -- | Inf
592.41/592.75 c 593s| 2270k|519489 | 5800k| 2.6 | 426M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1250k|5568 | 0.000000e+00 | -- | Inf
595.42/595.70 c 596s| 2280k|521609 | 5825k| 2.6 | 428M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1255k|5579 | 0.000000e+00 | -- | Inf
598.31/598.61 c 599s| 2290k|523654 | 5852k| 2.6 | 430M| 45 | - | 50 | 13k| 50 | 18 | 18 |1261k|5593 | 0.000000e+00 | -- | Inf
601.52/601.81 c 602s| 2300k|525479 | 5878k| 2.6 | 432M| 45 | - | 50 | 13k| 50 | 18 | 18 |1267k|5607 | 0.000000e+00 | -- | Inf
604.51/604.84 c 605s| 2310k|527601 | 5903k| 2.6 | 434M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1273k|5618 | 0.000000e+00 | -- | Inf
607.52/607.80 c 608s| 2320k|529709 | 5929k| 2.6 | 435M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1279k|5626 | 0.000000e+00 | -- | Inf
610.52/610.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.52/610.89 c 611s| 2330k|531900 | 5955k| 2.6 | 437M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1284k|5642 | 0.000000e+00 | -- | Inf
613.31/613.60 c 614s| 2340k|534269 | 5981k| 2.6 | 439M| 45 | - | 50 | 15k| 50 | 18 | 18 |1290k|5651 | 0.000000e+00 | -- | Inf
617.01/617.34 c 617s| 2350k|536109 | 6006k| 2.6 | 441M| 45 | - | 50 | 13k| 50 | 18 | 18 |1296k|5659 | 0.000000e+00 | -- | Inf
619.91/620.23 c 620s| 2360k|538186 | 6031k| 2.6 | 443M| 45 | - | 50 | 14k| 50 | 18 | 18 |1301k|5670 | 0.000000e+00 | -- | Inf
622.91/623.21 c 623s| 2370k|540379 | 6058k| 2.6 | 444M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1307k|5686 | 0.000000e+00 | -- | Inf
626.61/627.00 c 627s| 2380k|542160 | 6083k| 2.6 | 446M| 45 | - | 50 | 12k| 50 | 18 | 18 |1313k|5696 | 0.000000e+00 | -- | Inf
629.51/629.80 c 630s| 2390k|544405 | 6109k| 2.6 | 448M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1318k|5707 | 0.000000e+00 | -- | Inf
632.61/632.94 c 633s| 2400k|546283 | 6135k| 2.6 | 449M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1324k|5718 | 0.000000e+00 | -- | Inf
635.31/635.66 c 636s| 2410k|548516 | 6161k| 2.6 | 451M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1329k|5731 | 0.000000e+00 | -- | Inf
638.00/638.33 c 638s| 2420k|551043 | 6186k| 2.6 | 454M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1335k|5750 | 0.000000e+00 | -- | Inf
640.41/640.70 c 641s| 2430k|553708 | 6211k| 2.6 | 456M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1340k|5759 | 0.000000e+00 | -- | Inf
643.21/643.60 c 644s| 2440k|555933 | 6236k| 2.6 | 457M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1346k|5768 | 0.000000e+00 | -- | Inf
646.41/646.75 c 647s| 2450k|558406 | 6262k| 2.6 | 459M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1351k|5781 | 0.000000e+00 | -- | Inf
648.81/649.16 c 649s| 2460k|561145 | 6288k| 2.6 | 461M| 45 | - | 50 | 16k| 50 | 18 | 18 |1356k|5792 | 0.000000e+00 | -- | Inf
651.51/651.85 c 652s| 2470k|563418 | 6314k| 2.6 | 463M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1362k|5802 | 0.000000e+00 | -- | Inf
654.90/655.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.90/655.21 c 655s| 2480k|565489 | 6339k| 2.6 | 465M| 45 | - | 50 | 15k| 50 | 18 | 18 |1367k|5810 | 0.000000e+00 | -- | Inf
658.00/658.33 c 658s| 2490k|567581 | 6364k| 2.6 | 467M| 45 | - | 50 | 15k| 50 | 18 | 18 |1373k|5822 | 0.000000e+00 | -- | Inf
660.81/661.13 c 661s| 2500k|570138 | 6389k| 2.6 | 469M| 45 | - | 50 | 16k| 50 | 18 | 18 |1378k|5836 | 0.000000e+00 | -- | Inf
664.30/664.69 c 665s| 2510k|572120 | 6415k| 2.6 | 470M| 45 | - | 50 | 14k| 50 | 18 | 18 |1384k|5853 | 0.000000e+00 | -- | Inf
668.30/668.60 c 669s| 2520k|573868 | 6440k| 2.6 | 471M| 45 | - | 50 | 14k| 50 | 18 | 18 |1390k|5858 | 0.000000e+00 | -- | Inf
671.81/672.20 c 672s| 2530k|575690 | 6466k| 2.6 | 473M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1396k|5868 | 0.000000e+00 | -- | Inf
674.40/674.72 c 675s| 2540k|577759 | 6493k| 2.6 | 475M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1402k|5876 | 0.000000e+00 | -- | Inf
677.80/678.16 c 678s| 2550k|579764 | 6518k| 2.6 | 477M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1408k|5881 | 0.000000e+00 | -- | Inf
681.20/681.57 c 682s| 2560k|581793 | 6544k| 2.6 | 479M| 45 | - | 50 | 14k| 50 | 18 | 18 |1414k|5889 | 0.000000e+00 | -- | Inf
684.70/685.02 c 685s| 2570k|583686 | 6570k| 2.6 | 480M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1420k|5898 | 0.000000e+00 | -- | Inf
687.60/687.98 c 688s| 2580k|585977 | 6596k| 2.6 | 482M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1425k|5905 | 0.000000e+00 | -- | Inf
691.10/691.49 c 691s| 2590k|587870 | 6622k| 2.6 | 484M| 45 | - | 50 | 14k| 50 | 18 | 18 |1431k|5918 | 0.000000e+00 | -- | Inf
694.50/694.89 c 695s| 2600k|589770 | 6648k| 2.6 | 485M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1437k|5930 | 0.000000e+00 | -- | Inf
698.10/698.45 c 698s| 2610k|591603 | 6673k| 2.6 | 487M| 45 | - | 50 | 13k| 50 | 18 | 18 |1442k|5936 | 0.000000e+00 | -- | Inf
701.29/701.62 c 702s| 2620k|593425 | 6698k| 2.6 | 489M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1448k|5947 | 0.000000e+00 | -- | Inf
704.69/705.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.69/705.00 c 705s| 2630k|595384 | 6724k| 2.6 | 491M| 45 | - | 50 | 14k| 0 | 0 | 18 |1454k|5957 | 0.000000e+00 | -- | Inf
707.90/708.21 c 708s| 2640k|597481 | 6749k| 2.6 | 492M| 45 | - | 50 | 14k| 0 | 0 | 18 |1460k|5967 | 0.000000e+00 | -- | Inf
711.40/711.79 c 712s| 2650k|599454 | 6774k| 2.6 | 494M| 45 | - | 50 | 13k| 50 | 18 | 18 |1465k|5975 | 0.000000e+00 | -- | Inf
714.59/714.97 c 715s| 2660k|601641 | 6800k| 2.6 | 496M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1471k|5985 | 0.000000e+00 | -- | Inf
717.89/718.20 c 718s| 2670k|603765 | 6826k| 2.6 | 498M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1476k|5994 | 0.000000e+00 | -- | Inf
721.30/721.61 c 722s| 2680k|605690 | 6851k| 2.6 | 499M| 45 | - | 50 | 14k| 50 | 18 | 18 |1482k|6004 | 0.000000e+00 | -- | Inf
724.60/724.96 c 725s| 2690k|607603 | 6877k| 2.6 | 501M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1488k|6012 | 0.000000e+00 | -- | Inf
728.09/728.45 c 728s| 2700k|609422 | 6903k| 2.6 | 503M| 45 | - | 50 | 14k| 50 | 18 | 18 |1494k|6022 | 0.000000e+00 | -- | Inf
730.99/731.33 c 731s| 2710k|611860 | 6929k| 2.6 | 505M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1499k|6028 | 0.000000e+00 | -- | Inf
734.19/734.51 c 735s| 2720k|613871 | 6955k| 2.6 | 507M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1505k|6037 | 0.000000e+00 | -- | Inf
737.19/737.51 c 738s| 2730k|616204 | 6981k| 2.6 | 509M| 45 | - | 50 | 16k| 50 | 18 | 18 |1511k|6047 | 0.000000e+00 | -- | Inf
740.00/740.37 c 740s| 2740k|618185 | 7007k| 2.6 | 511M| 45 | - | 50 | 16k| 50 | 18 | 18 |1516k|6057 | 0.000000e+00 | -- | Inf
743.99/744.34 c 744s| 2750k|620026 | 7032k| 2.6 | 512M| 45 | - | 50 | 14k| 50 | 18 | 18 |1522k|6068 | 0.000000e+00 | -- | Inf
747.89/748.20 c 748s| 2760k|621842 | 7057k| 2.6 | 513M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1528k|6077 | 0.000000e+00 | -- | Inf
750.69/751.07 c 751s| 2770k|624140 | 7083k| 2.6 | 516M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1534k|6086 | 0.000000e+00 | -- | Inf
754.48/754.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.48/754.82 c 755s| 2780k|626003 | 7108k| 2.6 | 517M| 45 | - | 50 | 14k| 50 | 18 | 18 |1539k|6094 | 0.000000e+00 | -- | Inf
758.29/758.65 c 759s| 2790k|627779 | 7134k| 2.6 | 519M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1545k|6111 | 0.000000e+00 | -- | Inf
761.89/762.30 c 762s| 2800k|629692 | 7159k| 2.6 | 520M| 45 | - | 50 | 14k| 50 | 18 | 18 |1551k|6120 | 0.000000e+00 | -- | Inf
764.98/765.35 c 765s| 2810k|631778 | 7185k| 2.6 | 522M| 45 | - | 50 | 15k| 50 | 18 | 18 |1557k|6129 | 0.000000e+00 | -- | Inf
768.39/768.77 c 769s| 2820k|633800 | 7210k| 2.6 | 524M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1562k|6136 | 0.000000e+00 | -- | Inf
771.89/772.28 c 772s| 2830k|635805 | 7236k| 2.6 | 526M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1568k|6146 | 0.000000e+00 | -- | Inf
774.79/775.14 c 775s| 2840k|638131 | 7261k| 2.6 | 528M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1574k|6150 | 0.000000e+00 | -- | Inf
777.88/778.27 c 778s| 2850k|640324 | 7286k| 2.6 | 530M| 45 | - | 50 | 16k| 50 | 18 | 18 |1579k|6157 | 0.000000e+00 | -- | Inf
781.28/781.62 c 782s| 2860k|642530 | 7312k| 2.6 | 531M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1585k|6167 | 0.000000e+00 | -- | Inf
784.28/784.62 c 785s| 2870k|645064 | 7337k| 2.6 | 534M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1590k|6179 | 0.000000e+00 | -- | Inf
787.88/788.24 c 788s| 2880k|647251 | 7363k| 2.6 | 535M| 45 | - | 50 | 16k| 50 | 18 | 18 |1595k|6189 | 0.000000e+00 | -- | Inf
791.88/792.25 c 792s| 2890k|649208 | 7388k| 2.6 | 537M| 45 | - | 50 | 15k| 50 | 18 | 18 |1601k|6198 | 0.000000e+00 | -- | Inf
795.28/795.64 c 796s| 2900k|651335 | 7414k| 2.6 | 539M| 45 | - | 50 | 15k| 50 | 18 | 18 |1607k|6207 | 0.000000e+00 | -- | Inf
798.07/798.43 c 798s| 2910k|653873 | 7440k| 2.6 | 541M| 45 | - | 50 | 17k| 50 | 18 | 18 |1612k|6218 | 0.000000e+00 | -- | Inf
801.08/801.48 c 801s| 2920k|656223 | 7466k| 2.6 | 543M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |1618k|6228 | 0.000000e+00 | -- | Inf
803.88/804.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.88/804.28 c 804s| 2930k|658554 | 7494k| 2.6 | 545M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |1623k|6239 | 0.000000e+00 | -- | Inf
807.68/808.04 c 808s| 2940k|660483 | 7520k| 2.6 | 546M| 45 | - | 50 | 17k| 50 | 18 | 18 |1629k|6252 | 0.000000e+00 | -- | Inf
811.87/812.28 c 812s| 2950k|662278 | 7546k| 2.6 | 548M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1635k|6259 | 0.000000e+00 | -- | Inf
815.07/815.41 c 815s| 2960k|664722 | 7572k| 2.6 | 550M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1641k|6267 | 0.000000e+00 | -- | Inf
818.18/818.58 c 819s| 2970k|666977 | 7598k| 2.6 | 552M| 45 | - | 50 | 17k| 0 | 0 | 18 |1646k|6280 | 0.000000e+00 | -- | Inf
822.67/823.03 c 823s| 2980k|668712 | 7624k| 2.6 | 553M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1652k|6291 | 0.000000e+00 | -- | Inf
826.47/826.89 c 827s| 2990k|670535 | 7649k| 2.6 | 555M| 45 | - | 50 | 14k| 50 | 18 | 18 |1658k|6306 | 0.000000e+00 | -- | Inf
829.18/829.58 c 830s| 3000k|673157 | 7676k| 2.6 | 557M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1663k|6315 | 0.000000e+00 | -- | Inf
832.87/833.28 c 833s| 3010k|675066 | 7702k| 2.6 | 558M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1669k|6327 | 0.000000e+00 | -- | Inf
836.78/837.13 c 837s| 3020k|677051 | 7728k| 2.6 | 560M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1675k|6337 | 0.000000e+00 | -- | Inf
840.28/840.67 c 841s| 3030k|679106 | 7754k| 2.6 | 562M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1680k|6347 | 0.000000e+00 | -- | Inf
844.27/844.65 c 845s| 3040k|680794 | 7781k| 2.6 | 563M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1686k|6357 | 0.000000e+00 | -- | Inf
846.68/847.05 c 847s| 3050k|683930 | 7806k| 2.6 | 566M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1691k|6374 | 0.000000e+00 | -- | Inf
850.28/850.64 c 851s| 3060k|685844 | 7832k| 2.6 | 567M| 45 | - | 50 | 14k| 50 | 18 | 18 |1697k|6383 | 0.000000e+00 | -- | Inf
853.87/854.20 c 854s| 3070k|687665 | 7858k| 2.6 | 569M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1703k|6396 | 0.000000e+00 | -- | Inf
856.97/857.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.97/857.38 c 857s| 3080k|689715 | 7883k| 2.6 | 571M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1708k|6404 | 0.000000e+00 | -- | Inf
860.17/860.51 c 861s| 3090k|692016 | 7908k| 2.6 | 572M| 45 | - | 50 | 15k| 50 | 18 | 18 |1714k|6411 | 0.000000e+00 | -- | Inf
864.27/864.61 c 865s| 3100k|693704 | 7934k| 2.6 | 574M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1720k|6427 | 0.000000e+00 | -- | Inf
867.77/868.17 c 868s| 3110k|695625 | 7960k| 2.6 | 576M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1725k|6436 | 0.000000e+00 | -- | Inf
871.77/872.12 c 872s| 3120k|697269 | 7985k| 2.6 | 577M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1731k|6445 | 0.000000e+00 | -- | Inf
875.07/875.41 c 875s| 3130k|699246 | 8011k| 2.6 | 579M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1737k|6452 | 0.000000e+00 | -- | Inf
878.77/879.17 c 879s| 3140k|701123 | 8036k| 2.6 | 581M| 45 | - | 50 | 14k| 50 | 18 | 18 |1743k|6459 | 0.000000e+00 | -- | Inf
882.16/882.53 c 883s| 3150k|703248 | 8062k| 2.6 | 583M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1748k|6474 | 0.000000e+00 | -- | Inf
885.97/886.38 c 886s| 3160k|705129 | 8088k| 2.6 | 584M| 45 | - | 50 | 15k| 0 | 0 | 18 |1754k|6483 | 0.000000e+00 | -- | Inf
890.46/890.86 c 891s| 3170k|706765 | 8114k| 2.6 | 586M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1760k|6489 | 0.000000e+00 | -- | Inf
893.56/893.93 c 894s| 3180k|709100 | 8138k| 2.6 | 588M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1766k|6500 | 0.000000e+00 | -- | Inf
897.16/897.53 c 898s| 3190k|711247 | 8163k| 2.6 | 590M| 45 | - | 50 | 15k| 50 | 18 | 18 |1771k|6510 | 0.000000e+00 | -- | Inf
900.96/901.38 c 901s| 3200k|713240 | 8188k| 2.6 | 592M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1777k|6522 | 0.000000e+00 | -- | Inf
904.66/905.02 c 905s| 3210k|715174 | 8214k| 2.6 | 593M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1783k|6529 | 0.000000e+00 | -- | Inf
908.37/908.72 c 909s| 3220k|717071 | 8240k| 2.6 | 595M| 45 | - | 50 | 15k| 0 | 0 | 18 |1789k|6536 | 0.000000e+00 | -- | Inf
911.86/912.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.86/912.27 c 912s| 3230k|719342 | 8265k| 2.6 | 597M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1794k|6546 | 0.000000e+00 | -- | Inf
915.16/915.51 c 916s| 3240k|721578 | 8291k| 2.6 | 599M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1800k|6556 | 0.000000e+00 | -- | Inf
918.36/918.71 c 919s| 3250k|723824 | 8316k| 2.6 | 600M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1805k|6560 | 0.000000e+00 | -- | Inf
921.57/921.96 c 922s| 3260k|726060 | 8343k| 2.6 | 602M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1811k|6571 | 0.000000e+00 | -- | Inf
924.16/924.59 c 925s| 3270k|728567 | 8370k| 2.6 | 605M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |1816k|6580 | 0.000000e+00 | -- | Inf
927.46/927.80 c 928s| 3280k|730662 | 8396k| 2.6 | 606M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |1822k|6588 | 0.000000e+00 | -- | Inf
931.95/932.34 c 932s| 3290k|732456 | 8421k| 2.6 | 607M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1828k|6597 | 0.000000e+00 | -- | Inf
936.06/936.42 c 936s| 3300k|734150 | 8448k| 2.6 | 609M| 45 | - | 50 | 15k| 0 | 0 | 18 |1834k|6609 | 0.000000e+00 | -- | Inf
939.35/939.70 c 940s| 3310k|736304 | 8474k| 2.6 | 611M| 45 | - | 50 | 16k| 50 | 18 | 18 |1839k|6614 | 0.000000e+00 | -- | Inf
942.25/942.68 c 943s| 3320k|738687 | 8500k| 2.6 | 613M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1845k|6624 | 0.000000e+00 | -- | Inf
946.25/946.69 c 947s| 3330k|740636 | 8526k| 2.6 | 614M| 45 | - | 50 | 16k| 50 | 18 | 18 |1851k|6635 | 0.000000e+00 | -- | Inf
950.35/950.74 c 951s| 3340k|742580 | 8551k| 2.6 | 616M| 45 | - | 50 | 15k| 50 | 18 | 18 |1856k|6649 | 0.000000e+00 | -- | Inf
952.74/953.12 c 953s| 3350k|745323 | 8577k| 2.6 | 619M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |1862k|6657 | 0.000000e+00 | -- | Inf
955.95/956.39 c 956s| 3360k|747428 | 8603k| 2.6 | 620M| 45 | - | 50 | 17k| 50 | 18 | 18 |1867k|6669 | 0.000000e+00 | -- | Inf
960.33/960.70 c 961s| 3370k|749188 | 8629k| 2.6 | 621M| 45 | - | 50 | 15k| 50 | 18 | 18 |1873k|6680 | 0.000000e+00 | -- | Inf
964.23/964.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.23/964.63 c 965s| 3380k|751157 | 8654k| 2.6 | 623M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1879k|6688 | 0.000000e+00 | -- | Inf
967.84/968.29 c 968s| 3390k|753226 | 8680k| 2.6 | 625M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1884k|6696 | 0.000000e+00 | -- | Inf
971.43/971.80 c 972s| 3400k|755241 | 8706k| 2.6 | 627M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1890k|6712 | 0.000000e+00 | -- | Inf
974.42/974.87 c 975s| 3410k|757484 | 8732k| 2.6 | 629M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |1896k|6725 | 0.000000e+00 | -- | Inf
978.52/978.91 c 979s| 3420k|759419 | 8758k| 2.6 | 631M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1901k|6737 | 0.000000e+00 | -- | Inf
982.72/983.18 c 983s| 3430k|761028 | 8783k| 2.6 | 632M| 45 | - | 50 | 16k| 0 | 0 | 18 |1907k|6747 | 0.000000e+00 | -- | Inf
986.33/986.71 c 987s| 3440k|763073 | 8809k| 2.6 | 634M| 45 | - | 50 | 16k| 50 | 18 | 18 |1913k|6758 | 0.000000e+00 | -- | Inf
988.92/989.30 c 989s| 3450k|765716 | 8836k| 2.6 | 636M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |1919k|6768 | 0.000000e+00 | -- | Inf
991.52/991.98 c 992s| 3460k|768682 | 8862k| 2.6 | 639M| 45 | - | 50 | 19k| 50 | 18 | 18 |1924k|6776 | 0.000000e+00 | -- | Inf
994.61/995.09 c 995s| 3470k|770934 | 8888k| 2.6 | 640M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |1929k|6789 | 0.000000e+00 | -- | Inf
997.62/998.07 c 998s| 3480k|773140 | 8914k| 2.6 | 642M| 45 | - | 50 | 18k| 50 | 18 | 18 |1935k|6799 | 0.000000e+00 | -- | Inf
1000.51/1000.92 c 1001s| 3490k|775295 | 8942k| 2.6 | 644M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |1941k|6807 | 0.000000e+00 | -- | Inf
1003.72/1004.15 c 1004s| 3500k|777118 | 8968k| 2.6 | 646M| 45 | - | 50 | 18k| 0 | 0 | 18 |1947k|6815 | 0.000000e+00 | -- | Inf
1007.81/1008.25 c 1008s| 3510k|779121 | 8994k| 2.6 | 647M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |1953k|6825 | 0.000000e+00 | -- | Inf
1010.71/1011.16 c 1011s| 3520k|781493 | 9019k| 2.6 | 649M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |1958k|6831 | 0.000000e+00 | -- | Inf
1015.21/1015.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.21/1015.67 c 1016s| 3530k|783204 | 9045k| 2.6 | 651M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |1964k|6845 | 0.000000e+00 | -- | Inf
1019.40/1019.88 c 1020s| 3540k|784971 | 9070k| 2.6 | 652M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1970k|6853 | 0.000000e+00 | -- | Inf
1023.70/1024.16 c 1024s| 3550k|786697 | 9096k| 2.6 | 653M| 45 | - | 50 | 15k| 50 | 18 | 18 |1976k|6863 | 0.000000e+00 | -- | Inf
1027.49/1027.91 c 1028s| 3560k|788455 | 9122k| 2.6 | 655M| 45 | - | 50 | 15k| 50 | 18 | 18 |1982k|6872 | 0.000000e+00 | -- | Inf
1031.18/1031.66 c 1032s| 3570k|790508 | 9147k| 2.6 | 657M| 45 | - | 50 | 15k| 50 | 18 | 18 |1988k|6883 | 0.000000e+00 | -- | Inf
1034.29/1034.77 c 1035s| 3580k|792585 | 9173k| 2.6 | 659M| 45 | - | 50 | 17k| 50 | 18 | 18 |1993k|6889 | 0.000000e+00 | -- | Inf
1038.28/1038.70 c 1039s| 3590k|794442 | 9199k| 2.6 | 661M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1999k|6896 | 0.000000e+00 | -- | Inf
1041.39/1041.89 c 1042s| 3600k|796671 | 9224k| 2.6 | 663M| 45 | - | 50 | 17k| 50 | 18 | 18 |2005k|6903 | 0.000000e+00 | -- | Inf
1045.28/1045.79 c 1046s| 3610k|798572 | 9249k| 2.6 | 664M| 45 | - | 50 | 16k| 50 | 18 | 18 |2011k|6911 | 0.000000e+00 | -- | Inf
1048.28/1048.71 c 1049s| 3620k|800802 | 9275k| 2.6 | 667M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2016k|6919 | 0.000000e+00 | -- | Inf
1051.78/1052.26 c 1052s| 3630k|802532 | 9301k| 2.6 | 668M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2022k|6925 | 0.000000e+00 | -- | Inf
1056.18/1056.69 c 1057s| 3640k|804385 | 9327k| 2.6 | 669M| 45 | - | 50 | 16k| 0 | 0 | 18 |2028k|6937 | 0.000000e+00 | -- | Inf
1060.37/1060.89 c 1061s| 3650k|806063 | 9353k| 2.6 | 671M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2034k|6946 | 0.000000e+00 | -- | Inf
1063.28/1063.77 c 1064s| 3660k|808499 | 9378k| 2.6 | 673M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2039k|6957 | 0.000000e+00 | -- | Inf
1066.87/1067.37 c 1067s| 3670k|810763 | 9403k| 2.6 | 675M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2045k|6962 | 0.000000e+00 | -- | Inf
1069.37/1069.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.37/1069.85 c 1070s| 3680k|813340 | 9429k| 2.6 | 677M| 45 | - | 50 | 18k| 50 | 18 | 18 |2050k|6967 | 0.000000e+00 | -- | Inf
1072.66/1073.10 c 1073s| 3690k|815491 | 9455k| 2.6 | 679M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2056k|6978 | 0.000000e+00 | -- | Inf
1076.58/1077.05 c 1077s| 3700k|817314 | 9480k| 2.6 | 680M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2061k|6986 | 0.000000e+00 | -- | Inf
1080.56/1081.06 c 1081s| 3710k|818923 | 9506k| 2.6 | 682M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |2068k|6996 | 0.000000e+00 | -- | Inf
1083.76/1084.29 c 1084s| 3720k|821023 | 9531k| 2.6 | 684M| 45 | - | 50 | 16k| 0 | 0 | 18 |2073k|7009 | 0.000000e+00 | -- | Inf
1087.67/1088.15 c 1088s| 3730k|822800 | 9557k| 2.6 | 685M| 45 | - | 50 | 16k| 50 | 18 | 18 |2079k|7018 | 0.000000e+00 | -- | Inf
1091.56/1092.07 c 1092s| 3740k|824647 | 9583k| 2.6 | 687M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |2085k|7028 | 0.000000e+00 | -- | Inf
1095.46/1095.91 c 1096s| 3750k|826543 | 9609k| 2.6 | 688M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2091k|7034 | 0.000000e+00 | -- | Inf
1098.66/1099.17 c 1099s| 3760k|828465 | 9635k| 2.6 | 691M| 45 | - | 50 | 17k| 50 | 18 | 18 |2096k|7042 | 0.000000e+00 | -- | Inf
1101.46/1101.93 c 1102s| 3770k|831116 | 9661k| 2.6 | 693M| 45 | - | 50 | 19k| 50 | 18 | 18 |2102k|7052 | 0.000000e+00 | -- | Inf
1104.07/1104.53 c 1105s| 3780k|833828 | 9687k| 2.6 | 695M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2107k|7064 | 0.000000e+00 | -- | Inf
1106.86/1107.35 c 1107s| 3790k|836271 | 9713k| 2.6 | 697M| 45 | - | 50 | 21k| 0 | 0 | 18 |2113k|7073 | 0.000000e+00 | -- | Inf
1110.16/1110.68 c 1111s| 3800k|838395 | 9739k| 2.6 | 699M| 45 | - | 50 | 20k| 50 | 18 | 18 |2118k|7082 | 0.000000e+00 | -- | Inf
1114.66/1115.13 c 1115s| 3810k|839986 | 9764k| 2.6 | 700M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2124k|7089 | 0.000000e+00 | -- | Inf
1118.15/1118.60 c 1119s| 3820k|841970 | 9789k| 2.6 | 701M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2130k|7098 | 0.000000e+00 | -- | Inf
1121.96/1122.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1121.96/1122.44 c 1122s| 3830k|843877 | 9814k| 2.6 | 703M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2136k|7104 | 0.000000e+00 | -- | Inf
1125.76/1126.28 c 1126s| 3840k|845789 | 9840k| 2.6 | 705M| 45 | - | 50 | 16k| 50 | 18 | 18 |2141k|7111 | 0.000000e+00 | -- | Inf
1129.27/1129.73 c 1130s| 3850k|847777 | 9865k| 2.6 | 707M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2147k|7118 | 0.000000e+00 | -- | Inf
1131.56/1132.09 c 1132s| 3860k|850944 | 9892k| 2.6 | 709M| 45 | - | 50 | 19k| 50 | 18 | 18 |2152k|7125 | 0.000000e+00 | -- | Inf
1134.15/1134.69 c 1135s| 3870k|853844 | 9918k| 2.6 | 711M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2157k|7134 | 0.000000e+00 | -- | Inf
1137.06/1137.59 c 1138s| 3880k|856089 | 9945k| 2.6 | 713M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2163k|7139 | 0.000000e+00 | -- | Inf
1140.16/1140.63 c 1141s| 3890k|858221 | 9971k| 2.6 | 715M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2169k|7145 | 0.000000e+00 | -- | Inf
1142.95/1143.42 c 1143s| 3900k|860663 | 9997k| 2.6 | 717M| 45 | 6 | 50 | 21k| 50 | 18 | 18 |2175k|7153 | 0.000000e+00 | -- | Inf
1146.16/1146.68 c 1147s| 3910k|862689 | 10022k| 2.6 | 719M| 45 | - | 50 | 20k| 0 | 0 | 18 |2180k|7158 | 0.000000e+00 | -- | Inf
1149.65/1150.14 c 1150s| 3920k|864842 | 10049k| 2.6 | 720M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2186k|7167 | 0.000000e+00 | -- | Inf
1154.45/1154.95 c 1155s| 3930k|866631 | 10075k| 2.6 | 722M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2192k|7173 | 0.000000e+00 | -- | Inf
1158.35/1158.84 c 1159s| 3940k|868492 | 10100k| 2.6 | 723M| 45 | - | 50 | 16k| 50 | 18 | 18 |2198k|7178 | 0.000000e+00 | -- | Inf
1161.85/1162.30 c 1162s| 3950k|870545 | 10126k| 2.6 | 725M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2203k|7185 | 0.000000e+00 | -- | Inf
1165.15/1165.62 c 1166s| 3960k|872895 | 10153k| 2.6 | 727M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2209k|7200 | 0.000000e+00 | -- | Inf
1169.75/1170.25 c 1170s| 3970k|874483 | 10179k| 2.6 | 728M| 45 | - | 50 | 16k| 50 | 18 | 18 |2215k|7209 | 0.000000e+00 | -- | Inf
1173.95/1174.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.95/1174.40 c 1174s| 3980k|876248 | 10204k| 2.6 | 730M| 45 | - | 50 | 16k| 50 | 18 | 18 |2221k|7219 | 0.000000e+00 | -- | Inf
1177.75/1178.26 c 1178s| 3990k|878362 | 10229k| 2.6 | 732M| 45 | - | 50 | 16k| 50 | 18 | 18 |2226k|7227 | 0.000000e+00 | -- | Inf
1182.16/1182.66 c 1183s| 4000k|880077 | 10255k| 2.6 | 733M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2232k|7244 | 0.000000e+00 | -- | Inf
1185.94/1186.47 c 1186s| 4010k|881873 | 10280k| 2.6 | 735M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2238k|7252 | 0.000000e+00 | -- | Inf
1189.05/1189.54 c 1190s| 4020k|883945 | 10305k| 2.6 | 737M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2244k|7259 | 0.000000e+00 | -- | Inf
1193.16/1193.69 c 1194s| 4030k|885901 | 10330k| 2.6 | 739M| 45 | - | 50 | 16k| 50 | 18 | 18 |2249k|7265 | 0.000000e+00 | -- | Inf
1196.95/1197.45 c 1197s| 4040k|887896 | 10356k| 2.6 | 740M| 45 | - | 50 | 17k| 50 | 18 | 18 |2255k|7277 | 0.000000e+00 | -- | Inf
1201.35/1201.84 c 1202s| 4050k|889699 | 10381k| 2.6 | 742M| 45 | - | 50 | 16k| 0 | 0 | 18 |2261k|7287 | 0.000000e+00 | -- | Inf
1205.25/1205.79 c 1206s| 4060k|891567 | 10407k| 2.6 | 744M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |2267k|7300 | 0.000000e+00 | -- | Inf
1208.64/1209.14 c 1209s| 4070k|893717 | 10433k| 2.6 | 746M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2272k|7309 | 0.000000e+00 | -- | Inf
1211.85/1212.31 c 1212s| 4080k|896102 | 10458k| 2.6 | 748M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2278k|7316 | 0.000000e+00 | -- | Inf
1215.74/1216.23 c 1216s| 4090k|897815 | 10484k| 2.6 | 749M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2283k|7329 | 0.000000e+00 | -- | Inf
1219.65/1220.14 c 1220s| 4100k|899576 | 10509k| 2.6 | 751M| 45 | - | 50 | 17k| 50 | 18 | 18 |2289k|7340 | 0.000000e+00 | -- | Inf
1223.74/1224.27 c 1224s| 4110k|901512 | 10535k| 2.6 | 753M| 45 | - | 50 | 17k| 50 | 18 | 18 |2295k|7349 | 0.000000e+00 | -- | Inf
1227.74/1228.27 c 1228s| 4120k|903407 | 10560k| 2.6 | 754M| 45 | - | 50 | 17k| 0 | 0 | 18 |2301k|7355 | 0.000000e+00 | -- | Inf
1231.65/1232.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.65/1232.12 c 1232s| 4130k|905203 | 10586k| 2.6 | 756M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2307k|7361 | 0.000000e+00 | -- | Inf
1235.44/1235.91 c 1236s| 4140k|907096 | 10612k| 2.6 | 758M| 45 | - | 50 | 18k| 50 | 18 | 18 |2313k|7368 | 0.000000e+00 | -- | Inf
1239.04/1239.52 c 1240s| 4150k|909114 | 10637k| 2.6 | 760M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2318k|7377 | 0.000000e+00 | -- | Inf
1242.84/1243.37 c 1243s| 4160k|911008 | 10663k| 2.6 | 762M| 45 | - | 50 | 18k| 50 | 18 | 18 |2324k|7384 | 0.000000e+00 | -- | Inf
1247.53/1248.07 c 1248s| 4170k|912643 | 10689k| 2.6 | 763M| 45 | - | 50 | 17k| 50 | 18 | 18 |2330k|7391 | 0.000000e+00 | -- | Inf
1251.84/1252.30 c 1252s| 4180k|914449 | 10715k| 2.6 | 765M| 45 | - | 50 | 17k| 0 | 0 | 18 |2336k|7403 | 0.000000e+00 | -- | Inf
1255.94/1256.41 c 1256s| 4190k|916175 | 10740k| 2.6 | 766M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2342k|7411 | 0.000000e+00 | -- | Inf
1259.24/1259.71 c 1260s| 4200k|918184 | 10764k| 2.6 | 768M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2348k|7421 | 0.000000e+00 | -- | Inf
1263.74/1264.24 c 1264s| 4210k|919956 | 10790k| 2.6 | 770M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2354k|7427 | 0.000000e+00 | -- | Inf
1267.33/1267.84 c 1268s| 4220k|921979 | 10816k| 2.6 | 772M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2359k|7433 | 0.000000e+00 | -- | Inf
1270.83/1271.38 c 1271s| 4230k|924457 | 10843k| 2.6 | 774M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2365k|7439 | 0.000000e+00 | -- | Inf
1275.43/1275.99 c 1276s| 4240k|926106 | 10869k| 2.6 | 775M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2371k|7448 | 0.000000e+00 | -- | Inf
1280.14/1280.60 c 1281s| 4250k|927754 | 10895k| 2.6 | 776M| 45 | - | 50 | 16k| 50 | 18 | 18 |2377k|7454 | 0.000000e+00 | -- | Inf
1283.43/1283.98 c 1284s| 4260k|929550 | 10921k| 2.6 | 779M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2383k|7458 | 0.000000e+00 | -- | Inf
1287.03/1287.52 c 1288s| 4270k|931703 | 10946k| 2.6 | 780M| 45 | - | 50 | 18k| 0 | 0 | 18 |2388k|7467 | 0.000000e+00 | -- | Inf
1291.83/1292.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.83/1292.37 c 1292s| 4280k|933176 | 10973k| 2.6 | 782M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2395k|7475 | 0.000000e+00 | -- | Inf
1294.83/1295.35 c 1295s| 4290k|935612 | 10999k| 2.6 | 784M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2400k|7485 | 0.000000e+00 | -- | Inf
1297.64/1298.10 c 1298s| 4300k|937886 | 11026k| 2.6 | 786M| 45 | - | 50 | 21k| 50 | 18 | 18 |2406k|7497 | 0.000000e+00 | -- | Inf
1300.43/1300.94 c 1301s| 4310k|940314 | 11052k| 2.6 | 789M| 45 | 6 | 50 | 22k| 50 | 18 | 18 |2411k|7510 | 0.000000e+00 | -- | Inf
1303.53/1304.09 c 1304s| 4320k|942503 | 11079k| 2.6 | 790M| 45 | 6 | 50 | 22k| 50 | 18 | 18 |2417k|7521 | 0.000000e+00 | -- | Inf
1308.03/1308.57 c 1309s| 4330k|944293 | 11104k| 2.6 | 792M| 45 | - | 50 | 20k| 50 | 18 | 18 |2423k|7533 | 0.000000e+00 | -- | Inf
1312.32/1312.88 c 1313s| 4340k|946312 | 11130k| 2.6 | 793M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2429k|7543 | 0.000000e+00 | -- | Inf
1316.82/1317.38 c 1317s| 4350k|947964 | 11155k| 2.6 | 795M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2435k|7549 | 0.000000e+00 | -- | Inf
1319.72/1320.24 c 1320s| 4360k|950728 | 11180k| 2.6 | 797M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2440k|7558 | 0.000000e+00 | -- | Inf
1323.63/1324.16 c 1324s| 4370k|952595 | 11206k| 2.6 | 798M| 45 | - | 50 | 19k| 50 | 18 | 18 |2446k|7564 | 0.000000e+00 | -- | Inf
1328.22/1328.71 c 1329s| 4380k|954298 | 11232k| 2.6 | 800M| 45 | - | 50 | 18k| 0 | 0 | 18 |2451k|7571 | 0.000000e+00 | -- | Inf
1332.43/1332.91 c 1333s| 4390k|956298 | 11257k| 2.6 | 802M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2457k|7581 | 0.000000e+00 | -- | Inf
1335.32/1335.89 c 1336s| 4400k|958328 | 11283k| 2.6 | 804M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2463k|7588 | 0.000000e+00 | -- | Inf
1339.62/1340.14 c 1340s| 4410k|960325 | 11308k| 2.6 | 805M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2468k|7599 | 0.000000e+00 | -- | Inf
1343.43/1343.91 c 1344s| 4420k|962325 | 11334k| 2.6 | 807M| 45 | - | 50 | 19k| 50 | 18 | 18 |2474k|7606 | 0.000000e+00 | -- | Inf
1347.82/1348.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.82/1348.37 c 1348s| 4430k|964035 | 11360k| 2.6 | 808M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2480k|7617 | 0.000000e+00 | -- | Inf
1352.72/1353.25 c 1353s| 4440k|965691 | 11386k| 2.6 | 810M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2486k|7630 | 0.000000e+00 | -- | Inf
1356.62/1357.17 c 1357s| 4450k|967612 | 11411k| 2.6 | 812M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2492k|7636 | 0.000000e+00 | -- | Inf
1360.52/1361.09 c 1361s| 4460k|969883 | 11437k| 2.6 | 814M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2497k|7642 | 0.000000e+00 | -- | Inf
1363.62/1364.12 c 1364s| 4470k|972429 | 11462k| 2.6 | 816M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2502k|7651 | 0.000000e+00 | -- | Inf
1368.51/1369.03 c 1369s| 4480k|974183 | 11488k| 2.6 | 817M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2508k|7658 | 0.000000e+00 | -- | Inf
1373.21/1373.77 c 1374s| 4490k|975824 | 11514k| 2.6 | 819M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2514k|7668 | 0.000000e+00 | -- | Inf
1377.32/1377.80 c 1378s| 4500k|977795 | 11539k| 2.6 | 821M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2520k|7675 | 0.000000e+00 | -- | Inf
1382.71/1383.21 c 1383s| 4510k|979160 | 11565k| 2.6 | 822M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2526k|7687 | 0.000000e+00 | -- | Inf
1387.12/1387.67 c 1388s| 4520k|980852 | 11591k| 2.6 | 824M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2532k|7691 | 0.000000e+00 | -- | Inf
1390.11/1390.68 c 1391s| 4530k|982818 | 11617k| 2.6 | 826M| 45 | - | 50 | 20k| 50 | 18 | 18 |2538k|7699 | 0.000000e+00 | -- | Inf
1394.42/1394.99 c 1395s| 4540k|984617 | 11643k| 2.6 | 827M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2544k|7708 | 0.000000e+00 | -- | Inf
1399.12/1399.62 c 1400s| 4550k|986475 | 11669k| 2.6 | 829M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2550k|7714 | 0.000000e+00 | -- | Inf
1403.62/1404.13 c 1404s| 4560k|988233 | 11695k| 2.6 | 831M| 45 | - | 50 | 19k| 0 | 0 | 18 |2556k|7724 | 0.000000e+00 | -- | Inf
1408.81/1409.34 c 1409s| 4570k|989888 | 11721k| 2.6 | 832M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2562k|7736 | 0.000000e+00 | -- | Inf
1412.72/1413.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.72/1413.26 c 1413s| 4580k|991776 | 11747k| 2.6 | 834M| 45 | - | 50 | 19k| 50 | 18 | 18 |2568k|7742 | 0.000000e+00 | -- | Inf
1417.91/1418.46 c 1418s| 4590k|993407 | 11772k| 2.6 | 835M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2574k|7759 | 0.000000e+00 | -- | Inf
1422.81/1423.34 c 1423s| 4600k|994796 | 11798k| 2.6 | 837M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2580k|7764 | 0.000000e+00 | -- | Inf
1426.51/1427.04 c 1427s| 4610k|996680 | 11824k| 2.6 | 839M| 45 | - | 50 | 18k| 50 | 18 | 18 |2586k|7775 | 0.000000e+00 | -- | Inf
1430.91/1431.47 c 1431s| 4620k|998320 | 11849k| 2.6 | 840M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2592k|7782 | 0.000000e+00 | -- | Inf
1435.81/1436.31 c 1436s| 4630k| 1000k| 11874k| 2.6 | 842M| 45 | - | 50 | 18k| 50 | 18 | 18 |2598k|7789 | 0.000000e+00 | -- | Inf
1438.91/1439.44 c 1439s| 4640k| 1002k| 11900k| 2.6 | 844M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2603k|7797 | 0.000000e+00 | -- | Inf
1443.11/1443.61 c 1444s| 4650k| 1004k| 11926k| 2.6 | 846M| 45 | - | 50 | 20k| 0 | 0 | 18 |2609k|7803 | 0.000000e+00 | -- | Inf
1446.81/1447.34 c 1447s| 4660k| 1006k| 11951k| 2.6 | 848M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2615k|7809 | 0.000000e+00 | -- | Inf
1451.11/1451.64 c 1452s| 4670k| 1007k| 11978k| 2.6 | 849M| 45 | - | 50 | 19k| 50 | 18 | 18 |2621k|7817 | 0.000000e+00 | -- | Inf
1455.61/1456.12 c 1456s| 4680k| 1009k| 12004k| 2.6 | 850M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2627k|7829 | 0.000000e+00 | -- | Inf
1459.50/1460.00 c 1460s| 4690k| 1011k| 12030k| 2.6 | 852M| 45 | - | 50 | 19k| 50 | 18 | 18 |2633k|7841 | 0.000000e+00 | -- | Inf
1464.41/1464.99 c 1465s| 4700k| 1013k| 12056k| 2.6 | 854M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2639k|7853 | 0.000000e+00 | -- | Inf
1468.40/1468.91 c 1469s| 4710k| 1015k| 12081k| 2.6 | 855M| 45 | - | 50 | 18k| 50 | 18 | 18 |2645k|7858 | 0.000000e+00 | -- | Inf
1472.80/1473.34 c 1473s| 4720k| 1016k| 12106k| 2.6 | 857M| 45 | - | 50 | 18k| 50 | 18 | 18 |2650k|7862 | 0.000000e+00 | -- | Inf
1477.59/1478.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.59/1478.17 c 1478s| 4730k| 1018k| 12132k| 2.6 | 859M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2657k|7870 | 0.000000e+00 | -- | Inf
1482.20/1482.80 c 1483s| 4740k| 1020k| 12157k| 2.6 | 860M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2662k|7879 | 0.000000e+00 | -- | Inf
1486.39/1486.97 c 1487s| 4750k| 1021k| 12182k| 2.6 | 862M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2669k|7889 | 0.000000e+00 | -- | Inf
1490.01/1490.52 c 1491s| 4760k| 1023k| 12208k| 2.6 | 864M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2674k|7900 | 0.000000e+00 | -- | Inf
1493.40/1493.93 c 1494s| 4770k| 1026k| 12234k| 2.6 | 866M| 45 | 6 | 50 | 21k| 50 | 18 | 18 |2680k|7905 | 0.000000e+00 | -- | Inf
1496.10/1496.61 c 1497s| 4780k| 1028k| 12257k| 2.6 | 868M| 45 | 6 | 50 | 22k| 50 | 18 | 18 |2685k|7915 | 0.000000e+00 | -- | Inf
1500.20/1500.75 c 1501s| 4790k| 1030k| 12283k| 2.6 | 870M| 45 | 6 | 50 | 21k| 50 | 18 | 18 |2691k|7921 | 0.000000e+00 | -- | Inf
1503.99/1504.56 c 1505s| 4800k| 1032k| 12310k| 2.6 | 872M| 45 | 6 | 50 | 21k| 50 | 18 | 18 |2697k|7930 | 0.000000e+00 | -- | Inf
1507.49/1508.09 c 1508s| 4810k| 1034k| 12337k| 2.6 | 874M| 45 | - | 50 | 23k| 50 | 18 | 18 |2703k|7935 | 0.000000e+00 | -- | Inf
1512.59/1513.17 c 1513s| 4820k| 1036k| 12363k| 2.6 | 875M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2709k|7941 | 0.000000e+00 | -- | Inf
1517.90/1518.47 c 1518s| 4830k| 1037k| 12389k| 2.6 | 876M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2715k|7949 | 0.000000e+00 | -- | Inf
1521.79/1522.35 c 1522s| 4840k| 1039k| 12415k| 2.6 | 878M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2721k|7957 | 0.000000e+00 | -- | Inf
1526.90/1527.40 c 1527s| 4850k| 1041k| 12441k| 2.6 | 879M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2727k|7965 | 0.000000e+00 | -- | Inf
1530.39/1530.98 c 1531s| 4860k| 1043k| 12467k| 2.6 | 881M| 45 | - | 50 | 18k| 50 | 18 | 18 |2732k|7971 | 0.000000e+00 | -- | Inf
1535.49/1536.08 c 1536s| 4870k| 1045k| 12493k| 2.6 | 882M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2739k|7981 | 0.000000e+00 | -- | Inf
1540.19/1540.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1540.19/1540.79 c 1541s| 4880k| 1046k| 12518k| 2.6 | 884M| 45 | - | 50 | 18k| 0 | 0 | 18 |2744k|7987 | 0.000000e+00 | -- | Inf
1543.69/1544.29 c 1544s| 4890k| 1048k| 12543k| 2.6 | 886M| 45 | - | 50 | 19k| 50 | 18 | 18 |2750k|7991 | 0.000000e+00 | -- | Inf
1548.29/1548.83 c 1549s| 4900k| 1050k| 12569k| 2.6 | 888M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2756k|7998 | 0.000000e+00 | -- | Inf
1553.28/1553.86 c 1554s| 4910k| 1052k| 12595k| 2.6 | 889M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2762k|8009 | 0.000000e+00 | -- | Inf
1556.68/1557.24 c 1557s| 4920k| 1054k| 12620k| 2.6 | 891M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2767k|8017 | 0.000000e+00 | -- | Inf
1560.39/1560.96 c 1561s| 4930k| 1056k| 12646k| 2.6 | 893M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2773k|8025 | 0.000000e+00 | -- | Inf
1564.29/1564.86 c 1565s| 4940k| 1058k| 12672k| 2.6 | 895M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2779k|8032 | 0.000000e+00 | -- | Inf
1569.38/1569.95 c 1570s| 4950k| 1060k| 12698k| 2.6 | 896M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2785k|8038 | 0.000000e+00 | -- | Inf
1572.88/1573.45 c 1573s| 4960k| 1062k| 12724k| 2.6 | 898M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2790k|8054 | 0.000000e+00 | -- | Inf
1575.37/1575.93 c 1576s| 4970k| 1065k| 12749k| 2.6 | 901M| 45 | 6 | 50 | 21k| 50 | 18 | 18 |2795k|8063 | 0.000000e+00 | -- | Inf
1578.18/1578.71 c 1579s| 4980k| 1067k| 12774k| 2.6 | 903M| 45 | 6 | 50 | 22k| 50 | 18 | 18 |2801k|8071 | 0.000000e+00 | -- | Inf
1583.37/1583.93 c 1584s| 4990k| 1069k| 12800k| 2.6 | 904M| 45 | - | 50 | 19k| 50 | 18 | 18 |2807k|8076 | 0.000000e+00 | -- | Inf
1586.57/1587.16 c 1587s| 5000k| 1071k| 12826k| 2.6 | 906M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2812k|8084 | 0.000000e+00 | -- | Inf
1589.66/1590.20 c 1590s| 5010k| 1074k| 12852k| 2.6 | 908M| 45 | 6 | 50 | 21k| 50 | 18 | 18 |2818k|8095 | 0.000000e+00 | -- | Inf
1593.56/1594.12 c 1594s| 5020k| 1075k| 12878k| 2.6 | 910M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2824k|8102 | 0.000000e+00 | -- | Inf
1597.87/1598.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.87/1598.42 c 1598s| 5030k| 1077k| 12903k| 2.6 | 911M| 45 | - | 50 | 19k| 50 | 18 | 18 |2830k|8107 | 0.000000e+00 | -- | Inf
1602.75/1603.31 c 1603s| 5040k| 1079k| 12928k| 2.6 | 912M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2836k|8112 | 0.000000e+00 | -- | Inf
1608.16/1608.74 c 1609s| 5050k| 1080k| 12954k| 2.6 | 914M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2842k|8119 | 0.000000e+00 | -- | Inf
1613.05/1613.63 c 1614s| 5060k| 1082k| 12980k| 2.6 | 915M| 45 | - | 50 | 18k| 50 | 18 | 18 |2848k|8125 | 0.000000e+00 | -- | Inf
1618.15/1618.73 c 1619s| 5070k| 1083k| 13006k| 2.6 | 917M| 45 | 6 | 50 | 17k| 50 | 18 | 18 |2854k|8129 | 0.000000e+00 | -- | Inf
1622.45/1623.04 c 1623s| 5080k| 1085k| 13031k| 2.6 | 919M| 45 | - | 50 | 18k| 0 | 0 | 18 |2860k|8138 | 0.000000e+00 | -- | Inf
1626.94/1627.56 c 1628s| 5090k| 1087k| 13057k| 2.6 | 920M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |2866k|8146 | 0.000000e+00 | -- | Inf
1632.13/1632.72 c 1633s| 5100k| 1089k| 13083k| 2.6 | 922M| 45 | - | 50 | 18k| 50 | 18 | 18 |2872k|8153 | 0.000000e+00 | -- | Inf
1636.63/1637.20 c 1637s| 5110k| 1090k| 13109k| 2.6 | 924M| 45 | - | 50 | 18k| 50 | 18 | 18 |2878k|8159 | 0.000000e+00 | -- | Inf
1639.53/1640.13 c 1640s| 5120k| 1093k| 13134k| 2.6 | 926M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2883k|8171 | 0.000000e+00 | -- | Inf
1643.13/1643.78 c 1644s| 5130k| 1095k| 13160k| 2.6 | 928M| 45 | 6 | 50 | 21k| 50 | 18 | 18 |2889k|8177 | 0.000000e+00 | -- | Inf
1647.63/1648.21 c 1648s| 5140k| 1096k| 13186k| 2.6 | 929M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2895k|8191 | 0.000000e+00 | -- | Inf
1650.53/1651.16 c 1651s| 5150k| 1099k| 13212k| 2.6 | 932M| 45 | 6 | 50 | 22k| 50 | 18 | 18 |2900k|8195 | 0.000000e+00 | -- | Inf
1654.83/1655.49 c 1655s| 5160k| 1101k| 13238k| 2.6 | 933M| 45 | - | 50 | 20k| 50 | 18 | 18 |2905k|8203 | 0.000000e+00 | -- | Inf
1657.82/1658.42 c 1658s| 5170k| 1103k| 13265k| 2.6 | 935M| 45 | - | 50 | 21k| 50 | 18 | 18 |2911k|8208 | 0.000000e+00 | -- | Inf
1660.92/1661.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.92/1661.58 c 1662s| 5180k| 1105k| 13290k| 2.6 | 937M| 45 | - | 50 | 22k| 50 | 18 | 18 |2917k|8216 | 0.000000e+00 | -- | Inf
1665.42/1666.04 c 1666s| 5190k| 1107k| 13317k| 2.6 | 938M| 45 | 6 | 50 | 21k| 50 | 18 | 18 |2923k|8222 | 0.000000e+00 | -- | Inf
1671.52/1672.19 c 1672s| 5200k| 1109k| 13343k| 2.6 | 940M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2929k|8226 | 0.000000e+00 | -- | Inf
1676.21/1676.83 c 1677s| 5210k| 1111k| 13368k| 2.6 | 941M| 45 | - | 50 | 19k| 50 | 18 | 18 |2934k|8232 | 0.000000e+00 | -- | Inf
1681.21/1681.90 c 1682s| 5220k| 1112k| 13394k| 2.6 | 943M| 45 | - | 50 | 19k| 50 | 18 | 18 |2940k|8242 | 0.000000e+00 | -- | Inf
1684.21/1684.86 c 1685s| 5230k| 1115k| 13419k| 2.6 | 945M| 45 | - | 50 | 20k| 50 | 18 | 18 |2945k|8247 | 0.000000e+00 | -- | Inf
1687.01/1687.65 c 1688s| 5240k| 1118k| 13445k| 2.6 | 947M| 45 | 6 | 50 | 22k| 50 | 18 | 18 |2951k|8253 | 0.000000e+00 | -- | Inf
1690.21/1690.88 c 1691s| 5250k| 1119k| 13470k| 2.6 | 949M| 45 | - | 50 | 21k| 50 | 18 | 18 |2956k|8259 | 0.000000e+00 | -- | Inf
1693.10/1693.78 c 1694s| 5260k| 1122k| 13496k| 2.6 | 951M| 45 | 6 | 50 | 22k| 50 | 18 | 18 |2962k|8268 | 0.000000e+00 | -- | Inf
1696.71/1697.35 c 1697s| 5270k| 1123k| 13521k| 2.6 | 952M| 45 | - | 50 | 22k| 50 | 18 | 18 |2968k|8273 | 0.000000e+00 | -- | Inf
1701.90/1702.56 c 1703s| 5280k| 1125k| 13548k| 2.6 | 954M| 45 | - | 50 | 21k| 50 | 18 | 18 |2974k|8280 | 0.000000e+00 | -- | Inf
1707.40/1708.03 c 1708s| 5290k| 1126k| 13574k| 2.6 | 955M| 45 | - | 50 | 20k| 50 | 18 | 18 |2980k|8287 | 0.000000e+00 | -- | Inf
1712.49/1713.16 c 1713s| 5300k| 1128k| 13599k| 2.6 | 957M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |2986k|8293 | 0.000000e+00 | -- | Inf
1716.50/1717.15 c 1717s| 5310k| 1130k| 13624k| 2.6 | 959M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |2992k|8297 | 0.000000e+00 | -- | Inf
1720.09/1720.73 c 1721s| 5320k| 1132k| 13650k| 2.6 | 961M| 45 | 6 | 50 | 22k| 50 | 18 | 18 |2997k|8302 | 0.000000e+00 | -- | Inf
1725.18/1725.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.18/1725.82 c 1726s| 5330k| 1133k| 13675k| 2.6 | 962M| 45 | - | 50 | 20k| 50 | 18 | 18 |3003k|8308 | 0.000000e+00 | -- | Inf
1729.88/1730.53 c 1731s| 5340k| 1135k| 13701k| 2.6 | 963M| 45 | - | 50 | 20k| 50 | 18 | 18 |3009k|8310 | 0.000000e+00 | -- | Inf
1735.08/1735.78 c 1736s| 5350k| 1137k| 13726k| 2.6 | 965M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |3015k|8316 | 0.000000e+00 | -- | Inf
1739.08/1739.75 c 1740s| 5360k| 1138k| 13752k| 2.6 | 967M| 45 | - | 50 | 20k| 50 | 18 | 18 |3021k|8321 | 0.000000e+00 | -- | Inf
1743.88/1744.58 c 1745s| 5370k| 1140k| 13777k| 2.6 | 968M| 45 | - | 50 | 19k| 50 | 18 | 18 |3027k|8328 | 0.000000e+00 | -- | Inf
1749.18/1749.85 c 1750s| 5380k| 1142k| 13803k| 2.6 | 969M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |3033k|8336 | 0.000000e+00 | -- | Inf
1753.58/1754.29 c 1754s| 5390k| 1143k| 13829k| 2.6 | 971M| 45 | 6 | 50 | 18k| 50 | 18 | 18 |3039k|8348 | 0.000000e+00 | -- | Inf
1757.48/1758.16 c 1758s| 5400k| 1145k| 13855k| 2.6 | 973M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |3045k|8354 | 0.000000e+00 | -- | Inf
1762.18/1762.85 c 1763s| 5410k| 1147k| 13881k| 2.6 | 974M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |3051k|8362 | 0.000000e+00 | -- | Inf
1766.37/1767.07 c 1767s| 5420k| 1149k| 13906k| 2.6 | 976M| 45 | 6 | 50 | 19k| 50 | 18 | 18 |3057k|8371 | 0.000000e+00 | -- | Inf
1770.07/1770.74 c 1771s| 5430k| 1150k| 13932k| 2.6 | 978M| 45 | - | 50 | 21k| 0 | 0 | 18 |3063k|8376 | 0.000000e+00 | -- | Inf
1773.68/1774.40 c 1774s| 5440k| 1153k| 13958k| 2.6 | 980M| 45 | - | 50 | 21k| 50 | 18 | 18 |3068k|8387 | 0.000000e+00 | -- | Inf
1777.87/1778.51 c 1779s| 5450k| 1155k| 13985k| 2.6 | 981M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |3074k|8398 | 0.000000e+00 | -- | Inf
1782.27/1782.95 c 1783s| 5460k| 1157k| 14011k| 2.6 | 983M| 45 | 6 | 50 | 20k| 50 | 18 | 18 |3080k|8407 | 0.000000e+00 | -- | Inf
1786.88/1787.55 c 1788s| 5470k| 1159k| 14037k| 2.6 | 985M| 45 | - | 50 | 20k| 50 | 18 | 18 |3086k|8417 | 0.000000e+00 | -- | Inf
1789.36/1790.00 c
1789.36/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.36/1790.00 c Solving Time (sec) : 1790.00
1789.36/1790.00 c Solving Nodes : 5475952
1789.36/1790.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.36/1790.00 c Dual Bound : +0.00000000000000e+00
1789.36/1790.00 c Gap : infinite
1789.36/1790.00 s UNKNOWN
1789.36/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.36/1790.00 c Solving Time : 1790.00
1789.36/1790.00 c Original Problem :
1789.36/1790.00 c Problem name : HOME/instance-3734800-1338701262.opb
1789.36/1790.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.36/1790.00 c Constraints : 13 initial, 13 maximal
1789.36/1790.00 c Presolved Problem :
1789.36/1790.00 c Problem name : t_HOME/instance-3734800-1338701262.opb
1789.36/1790.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.36/1790.00 c Constraints : 6 initial, 23482 maximal
1789.36/1790.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.36/1790.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.36/1790.00 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.36/1790.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.36/1790.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.36/1790.00 c implics : 0.00 0 0 0 0 0 0 0 0
1789.36/1790.00 c probing : 0.00 0 0 0 0 0 0 0 0
1789.36/1790.00 c linear : 0.00 0 0 0 0 0 7 0 0
1789.36/1790.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.36/1790.00 c root node : - 0 - - 0 - - - -
1789.36/1790.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.36/1790.00 c integral : 0 0 0 3382382 0 947 3717 0 0 6755712
1789.36/1790.00 c linear : 6 6 12816349 0 1 396329 6165392 0 0 0
1789.36/1790.00 c logicor : 0+ 0 5856673 0 0 11309 2036798 0 0 0
1789.36/1790.00 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.36/1790.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.36/1790.00 c integral : 19.66 0.00 0.00 19.66 0.00
1789.36/1790.00 c linear : 208.69 0.00 208.69 0.00 0.00
1789.36/1790.00 c logicor : 544.87 0.00 544.87 0.00 0.00
1789.36/1790.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.36/1790.00 c Propagators : Time Calls Cutoffs DomReds
1789.36/1790.00 c vbounds : 1.70 2 0 0
1789.36/1790.00 c rootredcost : 1.51 0 0 0
1789.36/1790.00 c pseudoobj : 1.21 0 0 0
1789.36/1790.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.36/1790.00 c propagation : 18.30 407638 324738 1181109 35.9 47 28.3 -
1789.36/1790.00 c infeasible LP : 48.40 1787398 1787355 3404174 23.5 22596 28.0 0
1789.36/1790.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.36/1790.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.36/1790.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.36/1790.00 c applied globally : - - - 2703614 21.0 - - -
1789.36/1790.00 c applied locally : - - - 386157 33.9 - - -
1789.36/1790.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.36/1790.00 c cut pool : 0.00 5 - - 12 - (maximal pool size: 70)
1789.36/1790.00 c redcost : 3.55 3382385 0 0 0 0
1789.36/1790.00 c impliedbounds : 0.00 6 0 0 0 0
1789.36/1790.00 c intobj : 0.00 0 0 0 0 0
1789.36/1790.00 c cgmip : 0.00 0 0 0 0 0
1789.36/1790.00 c gomory : 0.00 6 0 0 0 0
1789.36/1790.00 c strongcg : 0.00 6 0 0 22 0
1789.36/1790.00 c cmir : 0.01 6 0 0 26 0
1789.36/1790.00 c flowcover : 0.01 6 0 0 34 0
1789.36/1790.00 c clique : 0.00 1 0 0 0 0
1789.36/1790.00 c zerohalf : 0.00 0 0 0 0 0
1789.36/1790.00 c mcf : 0.00 1 0 0 0 0
1789.36/1790.00 c rapidlearning : 0.03 1 0 0 0 0
1789.36/1790.00 c Pricers : Time Calls Vars
1789.36/1790.00 c problem variables: 0.00 0 0
1789.36/1790.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.36/1790.00 c relpscost : 18.02 3382382 947 3717 0 0 6755712
1789.36/1790.00 c pscost : 0.00 0 0 0 0 0 0
1789.36/1790.00 c inference : 0.00 1 0 0 0 0 2
1789.36/1790.00 c mostinf : 0.00 0 0 0 0 0 0
1789.36/1790.00 c leastinf : 0.00 0 0 0 0 0 0
1789.36/1790.00 c fullstrong : 0.00 0 0 0 0 0 0
1789.36/1790.00 c allfullstrong : 0.00 0 0 0 0 0 0
1789.36/1790.00 c random : 0.00 0 0 0 0 0 0
1789.36/1790.00 c Primal Heuristics : Time Calls Found
1789.36/1790.00 c LP solutions : 0.00 - 0
1789.36/1790.00 c pseudo solutions : 0.00 - 0
1789.36/1790.00 c oneopt : 1.14 0 0
1789.36/1790.00 c crossover : 0.71 0 0
1789.36/1790.00 c guideddiving : 0.14 0 0
1789.36/1790.00 c pscostdiving : 0.11 71 0
1789.36/1790.00 c veclendiving : 0.12 71 0
1789.36/1790.00 c linesearchdiving : 0.12 71 0
1789.36/1790.00 c fracdiving : 0.10 72 0
1789.36/1790.00 c coefdiving : 0.13 72 0
1789.36/1790.00 c feaspump : 0.10 37 0
1789.36/1790.00 c objpscostdiving : 0.10 37 0
1789.36/1790.00 c rootsoldiving : 0.12 37 0
1789.36/1790.00 c trivial : 0.00 2 0
1789.36/1790.00 c simplerounding : 0.53 0 0
1789.36/1790.00 c zirounding : 0.77 1000 0
1789.36/1790.00 c rounding : 1.20 26075 0
1789.36/1790.00 c shifting : 2.41 8195 0
1789.36/1790.00 c intshifting : 0.07 0 0
1789.36/1790.00 c twoopt : 0.00 0 0
1789.36/1790.00 c fixandinfer : 0.00 0 0
1789.36/1790.00 c intdiving : 0.00 0 0
1789.36/1790.00 c actconsdiving : 0.00 0 0
1789.36/1790.00 c octane : 0.00 0 0
1789.36/1790.00 c rens : 0.02 1 0
1789.36/1790.00 c rins : 0.00 0 0
1789.36/1790.00 c localbranching : 0.00 0 0
1789.36/1790.00 c mutation : 0.00 0 0
1789.36/1790.00 c dins : 0.00 0 0
1789.36/1790.00 c undercover : 0.00 0 0
1789.36/1790.00 c nlp : 0.62 0 0
1789.36/1790.00 c trysol : 0.85 0 0
1789.36/1790.00 c LP : Time Calls Iterations Iter/call Iter/sec
1789.36/1790.00 c primal LP : 0.00 0 0 0.00 -
1789.36/1790.00 c dual LP : 247.05 5047964 14049487 2.78 56867.96
1789.36/1790.00 c lex dual LP : 0.00 0 0 0.00 -
1789.36/1790.00 c barrier LP : 0.00 0 0 0.00 -
1789.36/1790.00 c diving/probing LP: 0.08 1470 2881 1.96 36569.27
1789.36/1790.00 c strong branching : 0.72 8419 32085 3.81 44771.25
1789.36/1790.00 c (at root node) : - 9 292 32.44 -
1789.36/1790.00 c conflict analysis: 0.00 0 0 0.00 -
1789.36/1790.00 c B&B Tree :
1789.36/1790.00 c number of runs : 1
1789.36/1790.00 c nodes : 5475952
1789.36/1790.00 c nodes (total) : 5475952
1789.36/1790.00 c nodes left : 1160012
1789.36/1790.00 c max depth : 45
1789.36/1790.00 c max depth (total): 45
1789.36/1790.00 c backtracks : 842290 (15.4%)
1789.36/1790.00 c delayed cutoffs : 119751
1789.36/1790.00 c repropagations : 4687388 (2837359 domain reductions, 97041 cutoffs)
1789.36/1790.00 c avg switch length: 5.86
1789.36/1790.00 c switching time : 434.48
1789.36/1790.00 c Solution :
1789.36/1790.00 c Solutions found : 0 (0 improvements)
1789.36/1790.00 c Primal Bound : -
1789.36/1790.00 c Dual Bound : +0.00000000000000e+00
1789.36/1790.00 c Gap : infinite
1789.36/1790.00 c Root Dual Bound : +0.00000000000000e+00
1789.36/1790.00 c Root Iterations : 131
1792.26/1792.97 c Time complete: 1792.34.
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-3734800-1338701262/watcher-3734800-1338701262 -o /tmp/evaluation-result-3734800-1338701262/solver-3734800-1338701262 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734800-1338701262.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.00 2.00 2.00 2/176 24343
/proc/meminfo: memFree=28445960/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=8944 CPUtime=0 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 1470 0 0 0 0 0 0 0 20 0 1 0 336250713 9158656 1416 33554432000 4194304 8395647 140736406936144 140734591852152 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 2236 1419 374 1026 0 1206 0
[startup+0.0115529 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 24343
/proc/meminfo: memFree=28445960/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=13488 CPUtime=0 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 2728 0 0 0 0 0 0 0 20 0 1 0 336250713 13811712 2321 33554432000 4194304 8395647 140736406936144 140734591852152 5029575 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 3372 2321 479 1026 0 2342 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13488
[startup+0.100212 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 24343
/proc/meminfo: memFree=28445960/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=22300 CPUtime=0.09 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 5097 0 0 0 8 1 0 0 20 0 1 0 336250713 22835200 4690 33554432000 4194304 8395647 140736406936144 140734591852152 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 5575 4690 621 1026 0 4545 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22300
[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 24343
/proc/meminfo: memFree=28445960/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=22300 CPUtime=0.29 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 5102 0 0 0 27 2 0 0 20 0 1 0 336250713 22835200 4695 33554432000 4194304 8395647 140736406936144 140734591852152 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 5575 4695 622 1026 0 4545 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22300
[startup+0.700189 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 24343
/proc/meminfo: memFree=28445960/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=22300 CPUtime=0.69 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 5106 0 0 0 66 3 0 0 20 0 1 0 336250713 22835200 4699 33554432000 4194304 8395647 140736406936144 140736406931608 4216953 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 5575 4699 622 1026 0 4545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22300
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24344
/proc/meminfo: memFree=28429552/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=22300 CPUtime=1.49 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 5114 0 0 0 143 6 0 0 20 0 1 0 336250713 22835200 4707 33554432000 4194304 8395647 140736406936144 140736406931752 6021636 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 5575 4707 622 1026 0 4545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22300
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24344
/proc/meminfo: memFree=28428932/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=22300 CPUtime=3.09 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 5125 0 0 0 299 10 0 0 20 0 1 0 336250713 22835200 4718 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 5575 4718 622 1026 0 4545 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22300
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24344
/proc/meminfo: memFree=28427072/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=25344 CPUtime=6.29 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 5901 0 0 0 610 19 0 0 20 0 1 0 336250713 25952256 5494 33554432000 4194304 8395647 140736406936144 140736406931752 6068889 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 6336 5494 622 1026 0 5306 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25344
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24344
/proc/meminfo: memFree=28418672/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=34056 CPUtime=12.69 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 8091 0 0 0 1233 36 0 0 20 0 1 0 336250713 34873344 7684 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 8514 7684 622 1026 0 7484 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34056
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24344
/proc/meminfo: memFree=28402828/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=48664 CPUtime=25.48 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 11776 0 0 0 2481 67 0 0 20 0 1 0 336250713 49831936 11369 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 12166 11369 622 1026 0 11136 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48664
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24344
/proc/meminfo: memFree=28373840/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=78020 CPUtime=51.07 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 18833 0 0 0 4978 129 0 0 20 0 1 0 336250713 79892480 18641 33554432000 4194304 8395647 140736406936144 140736406931000 6070602 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 19505 18641 622 1026 0 18475 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78020
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24344
/proc/meminfo: memFree=28325040/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=125060 CPUtime=102.24 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 30694 0 0 0 9979 245 0 0 20 0 1 0 336250713 128061440 30645 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 31265 30645 622 1026 0 30235 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 125060
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24347
/proc/meminfo: memFree=28271108/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=178716 CPUtime=162.21 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 44055 0 0 0 15851 370 0 0 20 0 1 0 336250713 183005184 44006 33554432000 4194304 8395647 140736406936144 140736406931752 5085210 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 44679 44006 622 1026 0 43649 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 178716
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24348
/proc/meminfo: memFree=28221980/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=227000 CPUtime=222.19 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 55301 0 0 0 21736 483 0 0 20 0 1 0 336250713 232448000 55378 33554432000 4194304 8395647 140736406936144 140736406931752 6262422 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 56750 55378 622 1026 0 55720 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 227000
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24348
/proc/meminfo: memFree=28171984/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=270668 CPUtime=282.15 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 66411 0 0 0 27615 600 0 0 20 0 1 0 336250713 277164032 66553 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 67667 66553 622 1026 0 66637 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 270668
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 24348
/proc/meminfo: memFree=28119356/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=311180 CPUtime=342.13 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 76631 0 0 0 33503 710 0 0 20 0 1 0 336250713 318648320 76899 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 77795 76899 622 1026 0 76765 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 311180
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 24348
/proc/meminfo: memFree=28075344/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=348544 CPUtime=402.11 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 85919 0 0 0 39402 809 0 0 20 0 1 0 336250713 356909056 86187 33554432000 4194304 8395647 140736406936144 140736406931752 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 87136 86187 622 1026 0 86106 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 348544
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 24348
/proc/meminfo: memFree=28037532/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=384436 CPUtime=462.09 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 94894 0 0 0 45307 902 0 0 20 0 1 0 336250713 393662464 95162 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 96109 95162 622 1026 0 95079 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 384436
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24349
/proc/meminfo: memFree=27997412/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=428596 CPUtime=522.06 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 104168 0 0 0 51212 994 0 0 20 0 1 0 336250713 438882304 104459 33554432000 4194304 8395647 140736406936144 140736406931272 6068924 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24343/statm: 107149 104459 622 1026 0 106119 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 428596
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24349
/proc/meminfo: memFree=27953796/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=464904 CPUtime=582.03 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 113362 0 0 0 57114 1089 0 0 20 0 1 0 336250713 476061696 113806 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 116226 113806 622 1026 0 115196 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 464904
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27665436/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=742660 CPUtime=1121.86 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 183305 0 0 0 110329 1857 0 0 20 0 1 0 336250713 760483840 184798 33554432000 4194304 8395647 140736406936144 140736406931752 5085342 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 185665 184798 622 1026 0 184635 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 742660
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 24354
/proc/meminfo: memFree=27636000/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=775272 CPUtime=1181.84 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 191300 0 0 0 116246 1938 0 0 20 0 1 0 336250713 793878528 192793 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 193818 192793 622 1026 0 192788 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 775272
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 24354
/proc/meminfo: memFree=27607900/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=802816 CPUtime=1241.84 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 198302 0 0 0 122172 2012 0 0 20 0 1 0 336250713 822083584 199795 33554432000 4194304 8395647 140736406936144 140736406931704 5085381 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 200704 199795 622 1026 0 199674 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 802816
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 24392
/proc/meminfo: memFree=27634300/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=830752 CPUtime=1301.83 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 205339 0 0 0 128098 2085 0 0 20 0 1 0 336250713 850690048 206832 33554432000 4194304 8395647 140736406936144 140736406931608 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 207688 206832 622 1026 0 206658 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 830752
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 24395
/proc/meminfo: memFree=27605180/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=851428 CPUtime=1361.82 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 210679 0 0 0 134024 2158 0 0 20 0 1 0 336250713 871862272 212172 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 212857 212172 622 1026 0 211827 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 851428
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24395
/proc/meminfo: memFree=27578780/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=895792 CPUtime=1421.82 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 217810 0 0 0 139962 2220 0 0 20 0 1 0 336250713 917291008 219303 33554432000 4194304 8395647 140736406936144 140736406931752 5085356 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 223948 219303 622 1026 0 222918 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 895792
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24396
/proc/meminfo: memFree=27556964/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=918704 CPUtime=1481.8 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 223361 0 0 0 145886 2294 0 0 20 0 1 0 336250713 940752896 224854 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 229676 224854 622 1026 0 228646 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 918704
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24396
/proc/meminfo: memFree=27531296/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=942580 CPUtime=1541.79 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 229524 0 0 0 151816 2363 0 0 20 0 1 0 336250713 965201920 231017 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 235645 231017 622 1026 0 234615 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 942580
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24396
/proc/meminfo: memFree=27496884/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=970704 CPUtime=1601.75 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 236712 0 0 0 157740 2435 0 0 20 0 1 0 336250713 994000896 238693 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 242676 238693 622 1026 0 241646 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 970704
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24396
/proc/meminfo: memFree=27466532/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=993940 CPUtime=1661.73 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 242635 0 0 0 163663 2510 0 0 20 0 1 0 336250713 1017794560 244666 33554432000 4194304 8395647 140736406936144 140736406931576 5085320 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 248485 244666 622 1026 0 247455 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 993940
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 24396
/proc/meminfo: memFree=27430044/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=1017276 CPUtime=1721.68 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 248578 0 0 0 169594 2574 0 0 20 0 1 0 336250713 1041690624 251079 33554432000 4194304 8395647 140736406936144 140736406931752 5086861 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 254319 251079 622 1026 0 253289 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1017276
[startup+1782.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 24397
/proc/meminfo: memFree=27404612/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=1039616 CPUtime=1781.67 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 254255 0 0 0 175532 2635 0 0 20 0 1 0 336250713 1064566784 256883 33554432000 4194304 8395647 140736406936144 140736406931752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 259904 256883 622 1026 0 258874 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1039616
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 24397
/proc/meminfo: memFree=27403748/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=1040964 CPUtime=1784.97 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 254564 0 0 0 175857 2640 0 0 20 0 1 0 336250713 1065947136 257192 33554432000 4194304 8395647 140736406936144 140736406931752 5085381 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 260241 257192 622 1026 0 259211 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 1040964
[startup+1788.8 s]
/proc/loadavg: 2.18 2.07 2.01 3/177 24397
/proc/meminfo: memFree=27403376/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=1040964 CPUtime=1788.17 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 254565 0 0 0 176174 2643 0 0 20 0 1 0 336250713 1065947136 257193 33554432000 4194304 8395647 140736406936144 140736406931752 6021586 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 260241 257193 622 1026 0 259211 0
Current children cumulated CPU time (s) 1788.17
Current children cumulated vsize (KiB) 1040964
[startup+1790.4 s]
/proc/loadavg: 2.18 2.07 2.01 3/177 24397
/proc/meminfo: memFree=27402756/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=1041476 CPUtime=1789.76 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 254730 0 0 0 176332 2644 0 0 20 0 1 0 336250713 1066471424 257358 33554432000 4194304 8395647 140736406936144 140736406932008 4653837 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 260369 257358 625 1026 0 259339 0
Current children cumulated CPU time (s) 1789.76
Current children cumulated vsize (KiB) 1041476
[startup+1792.01 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 24397
/proc/meminfo: memFree=27402880/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=1041476 CPUtime=1791.37 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 254730 0 0 0 176493 2644 0 0 20 0 1 0 336250713 1066471424 257358 33554432000 4194304 8395647 140736406936144 140736406931976 4723491 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 260369 257358 625 1026 0 259339 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 1041476
[startup+1792.4 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 24397
/proc/meminfo: memFree=27402880/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=1041476 CPUtime=1791.76 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 254730 0 0 0 176532 2644 0 0 20 0 1 0 336250713 1066471424 257358 33554432000 4194304 8395647 140736406936144 140736406931976 4723491 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 260369 257358 625 1026 0 259339 0
Current children cumulated CPU time (s) 1791.76
Current children cumulated vsize (KiB) 1041476
[startup+1792.8 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 24397
/proc/meminfo: memFree=27402880/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=1041476 CPUtime=1792.16 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 254730 0 0 0 176572 2644 0 0 20 0 1 0 336250713 1066471424 257358 33554432000 4194304 8395647 140736406936144 140736406931976 6345173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 260369 257358 625 1026 0 259339 0
Current children cumulated CPU time (s) 1792.16
Current children cumulated vsize (KiB) 1041476
[startup+1792.9 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 24397
/proc/meminfo: memFree=27402880/32873648 swapFree=7388/7388
[pid=24343] ppid=24341 vsize=1041476 CPUtime=1792.26 cores=0,2,4,6
/proc/24343/stat : 24343 (pbscip.linux.x8) R 24341 24343 21664 0 -1 4202496 254730 0 0 0 176582 2644 0 0 20 0 1 0 336250713 1066471424 257358 33554432000 4194304 8395647 140736406936144 140736406931976 4723516 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 260369 257358 625 1026 0 259339 0
Current children cumulated CPU time (s) 1792.26
Current children cumulated vsize (KiB) 1041476
Child status: 0
Real time (s): 1792.97
CPU time (s): 1792.35
CPU user time (s): 1765.9
CPU system time (s): 26.457
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 1041476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.9
system time used= 26.457
maximum resident set size= 1029432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254733
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= 423
involuntary context switches= 2838
runsolver used 5.08323 second user time and 13.223 second system time
The end