0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
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-2693732-1277891038.wbo>
0.00/0.01 c original problem has 5380 variables (5240 bin, 0 int, 0 impl, 140 cont) and 343 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 140 impls, 29 clqs
0.00/0.03 c (round 2) 0 del vars, 1 del conss, 140 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 140 impls, 29 clqs
0.00/0.04 c (round 3) 0 del vars, 1 del conss, 140 chg bounds, 0 chg sides, 0 chg coeffs, 33 upgd conss, 140 impls, 29 clqs
0.03/0.04 c (round 4) 0 del vars, 1 del conss, 140 chg bounds, 0 chg sides, 0 chg coeffs, 62 upgd conss, 140 impls, 29 clqs
0.03/0.07 c (0.1s) probing: 101/5240 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.07 c presolving (5 rounds):
0.03/0.07 c 0 deleted vars, 1 deleted constraints, 140 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.07 c 140 implications, 29 cliques
0.03/0.07 c presolved problem has 5380 variables (5240 bin, 0 int, 0 impl, 140 cont) and 342 constraints
0.03/0.07 c 140 constraints of type <indicator>
0.03/0.07 c 29 constraints of type <setppc>
0.03/0.07 c 140 constraints of type <linear>
0.03/0.07 c 33 constraints of type <logicor>
0.03/0.07 c transformed objective value is always integral (scale: 1)
0.03/0.07 c Presolving Time: 0.04
0.03/0.07 c - non default parameters ----------------------------------------------------------------------
0.03/0.07 c # SCIP version 1.2.1.2
0.03/0.07 c
0.03/0.07 c # frequency for displaying node information lines
0.03/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.07 c display/freq = 10000
0.03/0.07 c
0.03/0.07 c # maximal time in seconds to run
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/time = 1799.99
0.03/0.07 c
0.03/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/memory = 3420
0.03/0.07 c
0.03/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.03/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.07 c lp/solvefreq = -1
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify inequalities
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/linear/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify knapsacks
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.07 c separating/rapidlearning/freq = 0
0.03/0.07 c
0.03/0.07 c -----------------------------------------------------------------------------------------------
0.03/0.07 c start solving
0.03/0.07 c
0.03/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.08 c 0.1s| 1 | 2 | 0 | - |9985k| 0 | - |5380 | 342 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.09/3.13 c 3.0s| 10000 | 9984 | 0 | 0.0 | 13M|4107 | - |5380 | 412 | 0 | 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf
6.89/6.92 c 6.8s| 20000 | 19945 | 0 | 0.0 | 16M|4107 | - |5380 | 432 | 0 | 0 | 0 | 285 | 0 | 0.000000e+00 | -- | Inf
10.79/10.80 c 10.6s| 30000 | 29909 | 0 | 0.0 | 19M|4107 | - |5380 | 421 | 0 | 0 | 0 | 465 | 0 | 0.000000e+00 | -- | Inf
14.69/14.75 c 14.5s| 40000 | 39885 | 0 | 0.0 | 22M|4107 | - |5380 | 411 | 0 | 0 | 0 | 585 | 0 | 0.000000e+00 | -- | Inf
18.60/18.68 c 18.4s| 50000 | 49845 | 0 | 0.0 | 25M|4107 | - |5380 | 489 | 0 | 0 | 0 | 785 | 0 | 0.000000e+00 | -- | Inf
22.49/22.58 c 22.2s| 60000 | 59816 | 0 | 0.0 | 28M|4107 | - |5380 | 509 | 0 | 0 | 0 | 935 | 0 | 0.000000e+00 | -- | Inf
26.49/26.52 c 26.1s| 70000 | 69782 | 0 | 0.0 | 31M|4107 | - |5380 | 562 | 0 | 0 | 0 |1105 | 0 | 0.000000e+00 | -- | Inf
30.39/30.49 c 30.0s| 80000 | 79752 | 0 | 0.0 | 33M|4107 | - |5380 | 570 | 0 | 0 | 0 |1255 | 0 | 0.000000e+00 | -- | Inf
34.39/34.41 c 33.9s| 90000 | 89728 | 0 | 0.0 | 36M|4107 | - |5380 | 582 | 0 | 0 | 0 |1375 | 0 | 0.000000e+00 | -- | Inf
38.29/38.35 c 37.8s|100000 | 99708 | 0 | 0.0 | 39M|4107 | - |5380 | 599 | 0 | 0 | 0 |1467 | 0 | 0.000000e+00 | -- | Inf
42.29/42.32 c 41.7s|110000 |109684 | 0 | 0.0 | 42M|4107 | - |5380 | 620 | 0 | 0 | 0 |1585 | 0 | 0.000000e+00 | -- | Inf
46.20/46.29 c 45.6s|120000 |119656 | 0 | 0.0 | 44M|4107 | - |5380 | 636 | 0 | 0 | 0 |1725 | 0 | 0.000000e+00 | -- | Inf
50.19/50.27 c 49.5s|130000 |129620 | 0 | 0.0 | 47M|4107 | - |5380 | 657 | 0 | 0 | 0 |1905 | 0 | 0.000000e+00 | -- | Inf
54.28/54.30 c 53.5s|140000 |139588 | 0 | 0.0 | 50M|4107 | - |5380 | 684 | 0 | 0 | 0 |2065 | 0 | 0.000000e+00 | -- | Inf
58.29/58.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.29/58.32 c 57.5s|150000 |149562 | 0 | 0.0 | 53M|4107 | - |5380 | 676 | 0 | 0 | 0 |2195 | 0 | 0.000000e+00 | -- | Inf
62.29/62.33 c 61.4s|160000 |159532 | 0 | 0.0 | 55M|4107 | - |5380 | 700 | 0 | 0 | 0 |2345 | 0 | 0.000000e+00 | -- | Inf
66.29/66.32 c 65.4s|170000 |169506 | 0 | 0.0 | 58M|4107 | - |5380 | 702 | 0 | 0 | 0 |2475 | 0 | 0.000000e+00 | -- | Inf
70.30/70.36 c 69.4s|180000 |179472 | 0 | 0.0 | 61M|4107 | - |5380 | 741 | 0 | 0 | 0 |2645 | 0 | 0.000000e+00 | -- | Inf
74.28/74.39 c 73.3s|190000 |189434 | 0 | 0.0 | 63M|4107 | - |5380 | 786 | 0 | 0 | 0 |2835 | 0 | 0.000000e+00 | -- | Inf
78.29/78.36 c 77.2s|200000 |199404 | 0 | 0.0 | 66M|4107 | - |5380 | 794 | 0 | 0 | 0 |2985 | 0 | 0.000000e+00 | -- | Inf
82.29/82.34 c 81.2s|210000 |209370 | 0 | 0.0 | 69M|4107 | - |5380 | 836 | 0 | 0 | 0 |3155 | 0 | 0.000000e+00 | -- | Inf
86.29/86.31 c 85.0s|220000 |219350 | 0 | 0.0 | 72M|4107 | - |5380 | 807 | 0 | 0 | 0 |3255 | 0 | 0.000000e+00 | -- | Inf
90.29/90.36 c 89.0s|230000 |229318 | 0 | 0.0 | 74M|4107 | - |5380 | 822 | 0 | 0 | 0 |3415 | 0 | 0.000000e+00 | -- | Inf
94.19/94.29 c 92.9s|240000 |239292 | 0 | 0.0 | 77M|4107 | - |5380 | 817 | 0 | 0 | 0 |3545 | 0 | 0.000000e+00 | -- | Inf
98.19/98.28 c 96.9s|250000 |249266 | 0 | 0.0 | 80M|4107 | - |5380 | 839 | 0 | 0 | 0 |3675 | 0 | 0.000000e+00 | -- | Inf
102.20/102.26 c 101s|260000 |259238 | 0 | 0.0 | 82M|4107 | - |5380 | 858 | 0 | 0 | 0 |3815 | 0 | 0.000000e+00 | -- | Inf
106.19/106.22 c 105s|270000 |269212 | 0 | 0.0 | 85M|4107 | - |5380 | 872 | 0 | 0 | 0 |3945 | 0 | 0.000000e+00 | -- | Inf
110.19/110.21 c 109s|280000 |279180 | 0 | 0.0 | 88M|4107 | - |5380 | 891 | 0 | 0 | 0 |4105 | 0 | 0.000000e+00 | -- | Inf
114.19/114.22 c 113s|290000 |289146 | 0 | 0.0 | 91M|4107 | - |5380 | 931 | 0 | 0 | 0 |4275 | 0 | 0.000000e+00 | -- | Inf
118.10/118.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.10/118.14 c 116s|300000 |299122 | 0 | 0.0 | 93M|4107 | - |5380 | 860 | 0 | 0 | 0 |4395 | 0 | 0.000000e+00 | -- | Inf
122.09/122.13 c 120s|310000 |309088 | 0 | 0.0 | 96M|4107 | - |5380 | 868 | 0 | 0 | 0 |4565 | 0 | 0.000000e+00 | -- | Inf
126.09/126.12 c 124s|320000 |319052 | 0 | 0.0 | 99M|4107 | - |5380 | 852 | 0 | 0 | 0 |4745 | 0 | 0.000000e+00 | -- | Inf
129.99/130.05 c 128s|330000 |329014 | 0 | 0.0 | 101M|4107 | - |5380 | 866 | 0 | 0 | 0 |4935 | 0 | 0.000000e+00 | -- | Inf
133.99/134.03 c 132s|340000 |338986 | 0 | 0.0 | 104M|4107 | - |5380 | 845 | 0 | 0 | 0 |5075 | 0 | 0.000000e+00 | -- | Inf
137.89/137.95 c 136s|350000 |348960 | 0 | 0.0 | 107M|4107 | - |5380 | 832 | 0 | 0 | 0 |5205 | 0 | 0.000000e+00 | -- | Inf
141.79/141.89 c 140s|360000 |358934 | 0 | 0.0 | 109M|4107 | - |5380 | 835 | 0 | 0 | 0 |5335 | 0 | 0.000000e+00 | -- | Inf
145.69/145.79 c 144s|370000 |368908 | 0 | 0.0 | 112M|4107 | - |5380 | 859 | 0 | 0 | 0 |5465 | 0 | 0.000000e+00 | -- | Inf
149.60/149.67 c 148s|380000 |378880 | 0 | 0.0 | 115M|4107 | - |5380 | 836 | 0 | 0 | 0 |5605 | 0 | 0.000000e+00 | -- | Inf
153.49/153.59 c 151s|390000 |388846 | 0 | 0.0 | 118M|4107 | - |5380 | 851 | 0 | 0 | 0 |5775 | 0 | 0.000000e+00 | -- | Inf
157.49/157.56 c 155s|400000 |398814 | 0 | 0.0 | 120M|4107 | - |5380 | 876 | 0 | 0 | 0 |5935 | 0 | 0.000000e+00 | -- | Inf
161.40/161.49 c 159s|410000 |408786 | 0 | 0.0 | 123M|4107 | - |5380 | 872 | 0 | 0 | 0 |6075 | 0 | 0.000000e+00 | -- | Inf
165.29/165.38 c 163s|420000 |418756 | 0 | 0.0 | 126M|4107 | - |5380 | 869 | 0 | 0 | 0 |6225 | 0 | 0.000000e+00 | -- | Inf
169.20/169.30 c 167s|430000 |428724 | 0 | 0.0 | 129M|4107 | - |5380 | 847 | 0 | 0 | 0 |6385 | 0 | 0.000000e+00 | -- | Inf
173.19/173.22 c 171s|440000 |438678 | 0 | 0.0 | 131M|4107 | - |5380 | 875 | 0 | 0 | 0 |6615 | 0 | 0.000000e+00 | -- | Inf
177.10/177.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.10/177.11 c 175s|450000 |448650 | 0 | 0.0 | 134M|4107 | - |5380 | 833 | 0 | 0 | 0 |6755 | 0 | 0.000000e+00 | -- | Inf
180.89/180.94 c 178s|460000 |458618 | 0 | 0.0 | 137M|4107 | - |5380 | 854 | 0 | 0 | 0 |6915 | 0 | 0.000000e+00 | -- | Inf
184.80/184.85 c 182s|470000 |468582 | 0 | 0.0 | 139M|4107 | - |5380 | 860 | 0 | 0 | 0 |7095 | 0 | 0.000000e+00 | -- | Inf
188.69/188.74 c 186s|480000 |478554 | 0 | 0.0 | 142M|4107 | - |5380 | 863 | 0 | 0 | 0 |7235 | 0 | 0.000000e+00 | -- | Inf
192.50/192.51 c 190s|490000 |488524 | 0 | 0.0 | 145M|4107 | - |5380 | 842 | 0 | 0 | 0 |7385 | 0 | 0.000000e+00 | -- | Inf
196.29/196.31 c 194s|500000 |498496 | 0 | 0.0 | 148M|4107 | - |5380 | 879 | 0 | 0 | 0 |7525 | 0 | 0.000000e+00 | -- | Inf
199.99/200.10 c 197s|510000 |508472 | 0 | 0.0 | 150M|4107 | - |5380 | 881 | 0 | 0 | 0 |7645 | 0 | 0.000000e+00 | -- | Inf
203.80/203.88 c 201s|520000 |518440 | 0 | 0.0 | 153M|4107 | - |5380 | 861 | 0 | 0 | 0 |7805 | 0 | 0.000000e+00 | -- | Inf
207.69/207.71 c 205s|530000 |528402 | 0 | 0.0 | 156M|4107 | - |5380 | 875 | 0 | 0 | 0 |7995 | 0 | 0.000000e+00 | -- | Inf
211.49/211.53 c 208s|540000 |538362 | 0 | 0.0 | 159M|4107 | - |5380 | 868 | 0 | 0 | 0 |8195 | 0 | 0.000000e+00 | -- | Inf
215.30/215.34 c 212s|550000 |548334 | 0 | 0.0 | 161M|4107 | - |5380 | 843 | 0 | 0 | 0 |8335 | 0 | 0.000000e+00 | -- | Inf
219.09/219.17 c 216s|560000 |558298 | 0 | 0.0 | 164M|4107 | - |5380 | 857 | 0 | 0 | 0 |8515 | 0 | 0.000000e+00 | -- | Inf
222.89/222.93 c 220s|570000 |568274 | 0 | 0.0 | 167M|4107 | - |5380 | 835 | 0 | 0 | 0 |8635 | 0 | 0.000000e+00 | -- | Inf
226.70/226.80 c 224s|580000 |578244 | 0 | 0.0 | 170M|4107 | - |5380 | 825 | 0 | 0 | 0 |8785 | 0 | 0.000000e+00 | -- | Inf
230.59/230.60 c 227s|590000 |588206 | 0 | 0.0 | 172M|4107 | - |5380 | 859 | 0 | 0 | 0 |8975 | 0 | 0.000000e+00 | -- | Inf
234.30/234.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.30/234.39 c 231s|600000 |598180 | 0 | 0.0 | 175M|4107 | - |5380 | 829 | 0 | 0 | 0 |9105 | 0 | 0.000000e+00 | -- | Inf
238.19/238.26 c 235s|610000 |608142 | 0 | 0.0 | 178M|4107 | - |5380 | 860 | 0 | 0 | 0 |9295 | 0 | 0.000000e+00 | -- | Inf
241.90/242.00 c 239s|620000 |618108 | 0 | 0.0 | 181M|4107 | - |5380 | 850 | 0 | 0 | 0 |9465 | 0 | 0.000000e+00 | -- | Inf
245.80/245.82 c 242s|630000 |628074 | 0 | 0.0 | 183M|4107 | - |5380 | 855 | 0 | 0 | 0 |9635 | 0 | 0.000000e+00 | -- | Inf
249.60/249.60 c 246s|640000 |638044 | 0 | 0.0 | 186M|4107 | - |5380 | 833 | 0 | 0 | 0 |9785 | 0 | 0.000000e+00 | -- | Inf
253.30/253.38 c 250s|650000 |648004 | 0 | 0.0 | 189M|4107 | - |5380 | 852 | 0 | 0 | 0 |9985 | 0 | 0.000000e+00 | -- | Inf
257.10/257.16 c 253s|660000 |657980 | 0 | 0.0 | 192M|4107 | - |5380 | 816 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
260.89/260.91 c 257s|670000 |667944 | 0 | 0.0 | 194M|4107 | - |5380 | 830 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
264.59/264.69 c 261s|680000 |677902 | 0 | 0.0 | 197M|4107 | - |5380 | 831 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
268.40/268.42 c 265s|690000 |687872 | 0 | 0.0 | 200M|4107 | - |5380 | 828 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
272.09/272.14 c 268s|700000 |697844 | 0 | 0.0 | 203M|4107 | - |5380 | 825 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
275.80/275.89 c 272s|710000 |707810 | 0 | 0.0 | 205M|4107 | - |5380 | 803 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
279.50/279.59 c 276s|720000 |717780 | 0 | 0.0 | 208M|4107 | - |5380 | 810 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
283.29/283.32 c 279s|730000 |727748 | 0 | 0.0 | 211M|4107 | - |5380 | 813 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
287.00/287.01 c 283s|740000 |737720 | 0 | 0.0 | 214M|4107 | - |5380 | 802 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
290.79/290.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.79/290.84 c 287s|750000 |747672 | 0 | 0.0 | 216M|4107 | - |5380 | 860 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
294.49/294.53 c 290s|760000 |757642 | 0 | 0.0 | 219M|4107 | - |5380 | 806 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
298.20/298.26 c 294s|770000 |767610 | 0 | 0.0 | 222M|4107 | - |5380 | 809 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
301.89/301.96 c 298s|780000 |777576 | 0 | 0.0 | 225M|4107 | - |5380 | 817 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
305.59/305.64 c 301s|790000 |787548 | 0 | 0.0 | 227M|4107 | - |5380 | 807 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
309.30/309.37 c 305s|800000 |797512 | 0 | 0.0 | 230M|4107 | - |5380 | 810 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
313.00/313.08 c 309s|810000 |807474 | 0 | 0.0 | 233M|4107 | - |5380 | 820 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
316.80/316.82 c 312s|820000 |817430 | 0 | 0.0 | 236M|4107 | - |5380 | 855 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
320.39/320.48 c 316s|830000 |827394 | 0 | 0.0 | 238M|4107 | - |5380 | 831 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
324.09/324.15 c 319s|840000 |837362 | 0 | 0.0 | 241M|4107 | - |5380 | 825 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
327.80/327.80 c 323s|850000 |847332 | 0 | 0.0 | 244M|4107 | - |5380 | 839 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
331.40/331.46 c 327s|860000 |857290 | 0 | 0.0 | 247M|4107 | - |5380 | 878 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
335.09/335.15 c 330s|870000 |867254 | 0 | 0.0 | 250M|4107 | - |5380 | 861 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
338.71/338.77 c 334s|880000 |877220 | 0 | 0.0 | 252M|4107 | - |5380 | 862 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
342.39/342.40 c 337s|890000 |887182 | 0 | 0.0 | 255M|4107 | - |5380 | 860 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
346.00/346.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.00/346.05 c 341s|900000 |897144 | 0 | 0.0 | 258M|4107 | - |5380 | 870 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
349.59/349.64 c 345s|910000 |907111 | 0 | 0.0 | 261M|4107 | - |5380 | 852 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
353.20/353.27 c 348s|920000 |917072 | 0 | 0.0 | 263M|4107 | - |5380 | 892 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
356.89/356.92 c 352s|930000 |927034 | 0 | 0.0 | 266M|4107 | - |5380 | 846 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
360.50/360.51 c 355s|940000 |937002 | 0 | 0.0 | 269M|4107 | - |5380 | 848 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
364.10/364.11 c 359s|950000 |946964 | 0 | 0.0 | 272M|4107 | - |5380 | 881 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
367.60/367.66 c 362s|960000 |956927 | 0 | 0.0 | 275M|4107 | - |5380 | 890 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
371.20/371.28 c 366s|970000 |966895 | 0 | 0.0 | 277M|4107 | - |5380 | 870 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
374.80/374.87 c 369s|980000 |976865 | 0 | 0.0 | 280M|4107 | - |5380 | 864 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
378.40/378.42 c 373s|990000 |986837 | 0 | 0.0 | 283M|4107 | - |5380 | 861 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
381.90/381.97 c 376s| 1000k|996807 | 0 | 0.0 | 286M|4107 | - |5380 | 868 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
385.50/385.50 c 380s| 1010k| 1006k| 0 | 0.0 | 288M|4107 | - |5380 | 871 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
389.10/389.11 c 383s| 1020k| 1016k| 0 | 0.0 | 291M|4107 | - |5380 | 884 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
392.60/392.62 c 387s| 1030k| 1026k| 0 | 0.0 | 294M|4107 | - |5380 | 862 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
396.10/396.14 c 390s| 1040k| 1036k| 0 | 0.0 | 297M|4107 | - |5380 | 852 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
399.59/399.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.59/399.67 c 394s| 1050k| 1046k| 0 | 0.0 | 300M|4107 | - |5380 | 853 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
403.19/403.22 c 397s| 1060k| 1056k| 0 | 0.0 | 302M|4107 | - |5380 | 876 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
406.70/406.72 c 401s| 1070k| 1066k| 0 | 0.0 | 305M|4107 | - |5380 | 858 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
410.20/410.23 c 404s| 1080k| 1076k| 0 | 0.0 | 308M|4107 | - |5380 | 854 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
413.70/413.72 c 408s| 1090k| 1086k| 0 | 0.0 | 311M|4107 | - |5380 | 862 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
417.20/417.23 c 411s| 1100k| 1096k| 0 | 0.0 | 314M|4107 | - |5380 | 874 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
420.80/420.80 c 415s| 1110k| 1106k| 0 | 0.0 | 317M|4107 | - |5380 | 900 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
424.30/424.31 c 418s| 1120k| 1116k| 0 | 0.0 | 319M|4107 | - |5380 | 842 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
427.80/427.82 c 421s| 1130k| 1126k| 0 | 0.0 | 322M|4107 | - |5380 | 894 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
431.30/431.33 c 425s| 1140k| 1136k| 0 | 0.0 | 325M|4107 | - |5380 | 889 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
434.79/434.82 c 428s| 1150k| 1146k| 0 | 0.0 | 328M|4107 | - |5380 | 867 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
438.20/438.29 c 432s| 1160k| 1156k| 0 | 0.0 | 331M|4107 | - |5380 | 871 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
441.80/441.84 c 435s| 1170k| 1166k| 0 | 0.0 | 333M|4107 | - |5380 | 883 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
445.29/445.30 c 439s| 1180k| 1176k| 0 | 0.0 | 336M|4107 | - |5380 | 882 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
448.70/448.77 c 442s| 1190k| 1186k| 0 | 0.0 | 339M|4107 | - |5380 | 890 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
452.20/452.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.20/452.27 c 446s| 1200k| 1196k| 0 | 0.0 | 342M|4107 | - |5380 | 909 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
455.70/455.71 c 449s| 1210k| 1205k| 0 | 0.0 | 345M|4107 | - |5380 | 928 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
459.20/459.20 c 452s| 1220k| 1215k| 0 | 0.0 | 348M|4107 | - |5380 | 919 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
462.70/462.73 c 456s| 1230k| 1225k| 0 | 0.0 | 351M|4107 | - |5380 | 943 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
466.10/466.17 c 459s| 1240k| 1235k| 0 | 0.0 | 353M|4107 | - |5380 | 913 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
469.50/469.60 c 463s| 1250k| 1245k| 0 | 0.0 | 356M|4107 | - |5380 | 927 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
473.01/473.05 c 466s| 1260k| 1255k| 0 | 0.0 | 359M|4107 | - |5380 | 925 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
476.40/476.43 c 469s| 1270k| 1265k| 0 | 0.0 | 362M|4107 | - |5380 | 924 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
479.80/479.81 c 473s| 1280k| 1275k| 0 | 0.0 | 365M|4107 | - |5380 | 973 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
483.10/483.16 c 476s| 1290k| 1285k| 0 | 0.0 | 368M|4107 | - |5380 | 938 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
486.50/486.53 c 479s| 1300k| 1295k| 0 | 0.0 | 370M|4107 | - |5380 | 917 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
489.90/489.91 c 483s| 1310k| 1305k| 0 | 0.0 | 373M|4107 | - |5380 | 897 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
493.20/493.29 c 486s| 1320k| 1315k| 0 | 0.0 | 376M|4107 | - |5380 | 895 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
496.60/496.66 c 489s| 1330k| 1325k| 0 | 0.0 | 379M|4107 | - |5380 | 916 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
500.00/500.04 c 493s| 1340k| 1335k| 0 | 0.0 | 382M|4107 | - |5380 | 931 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
503.40/503.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.40/503.41 c 496s| 1350k| 1345k| 0 | 0.0 | 385M|4107 | - |5380 | 921 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
506.70/506.76 c 499s| 1360k| 1355k| 0 | 0.0 | 388M|4107 | - |5380 | 929 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
510.10/510.12 c 502s| 1370k| 1365k| 0 | 0.0 | 391M|4107 | - |5380 | 951 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
513.40/513.46 c 506s| 1380k| 1375k| 0 | 0.0 | 394M|4107 | - |5380 | 960 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
516.70/516.79 c 509s| 1390k| 1385k| 0 | 0.0 | 396M|4107 | - |5380 | 939 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
520.60/520.66 c 513s| 1400k| 1394k| 0 | 0.0 | 400M|4107 | - |5380 | 935 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
525.00/525.01 c 517s| 1410k| 1404k| 0 | 0.0 | 406M|4107 | - |5380 | 944 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
529.30/529.31 c 521s| 1420k| 1414k| 0 | 0.0 | 411M|4107 | - |5380 | 944 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
533.41/533.49 c 525s| 1430k| 1423k| 0 | 0.0 | 416M|4107 | - |5380 | 929 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
537.50/537.56 c 529s| 1440k| 1433k| 0 | 0.0 | 421M|4107 | - |5380 | 944 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
541.50/541.53 c 533s| 1450k| 1442k| 0 | 0.0 | 426M|4107 | - |5380 | 935 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
545.40/545.41 c 537s| 1460k| 1452k| 0 | 0.0 | 431M|4107 | - |5380 | 939 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
549.10/549.19 c 541s| 1470k| 1461k| 0 | 0.0 | 436M|4107 | - |5380 | 912 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
552.80/552.81 c 544s| 1480k| 1471k| 0 | 0.0 | 441M|4107 | - |5380 | 909 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
556.30/556.34 c 548s| 1490k| 1481k| 0 | 0.0 | 446M|4107 | - |5380 | 927 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
559.70/559.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.70/559.78 c 551s| 1500k| 1490k| 0 | 0.0 | 451M|4107 | - |5380 | 918 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
563.21/563.21 c 555s| 1510k| 1500k| 0 | 0.0 | 455M|4107 | - |5380 | 932 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
566.51/566.51 c 558s| 1520k| 1509k| 0 | 0.0 | 460M|4107 | - |5380 | 926 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
569.71/569.72 c 561s| 1530k| 1519k| 0 | 0.0 | 465M|4107 | - |5380 | 932 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
572.81/572.83 c 564s| 1540k| 1529k| 0 | 0.0 | 470M|4107 | - |5380 | 926 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
575.80/575.88 c 567s| 1550k| 1538k| 0 | 0.0 | 475M|4107 | - |5380 | 910 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
578.80/578.81 c 570s| 1560k| 1548k| 0 | 0.0 | 480M|4107 | - |5380 | 918 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
581.60/581.65 c 573s| 1570k| 1557k| 0 | 0.0 | 485M|4107 | - |5380 | 921 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
584.30/584.39 c 575s| 1580k| 1567k| 0 | 0.0 | 489M|4107 | - |5380 | 912 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
587.00/587.05 c 578s| 1590k| 1577k| 0 | 0.0 | 494M|4107 | - |5380 | 920 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
589.51/589.59 c 580s| 1600k| 1586k| 0 | 0.0 | 499M|4107 | - |5380 | 953 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
592.00/592.05 c 583s| 1610k| 1596k| 0 | 0.0 | 504M|4107 | - |5380 | 936 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
594.30/594.39 c 585s| 1620k| 1605k| 0 | 0.0 | 509M|4107 | - |5380 | 916 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
596.60/596.63 c 587s| 1630k| 1615k| 0 | 0.0 | 514M|4107 | - |5380 | 935 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
598.90/598.90 c 590s| 1640k| 1624k| 0 | 0.0 | 520M|4107 | - |5380 |1728 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
602.71/602.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.71/602.73 c 593s| 1650k| 1634k| 0 | 0.0 | 524M|4107 | - |5380 |2107 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
606.40/606.44 c 597s| 1660k| 1644k| 0 | 0.0 | 526M|4107 | - |5380 |1388 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
610.20/610.30 c 601s| 1670k| 1654k| 0 | 0.0 | 528M|4107 | - |5380 | 888 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
614.10/614.11 c 604s| 1680k| 1664k| 0 | 0.0 | 531M|4107 | - |5380 | 858 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
617.90/617.95 c 608s| 1690k| 1674k| 0 | 0.0 | 534M|4107 | - |5380 | 851 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
621.70/621.78 c 612s| 1700k| 1684k| 0 | 0.0 | 537M|4107 | - |5380 | 871 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
625.60/625.65 c 616s| 1710k| 1694k| 0 | 0.0 | 539M|4107 | - |5380 | 905 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
629.40/629.48 c 620s| 1720k| 1704k| 0 | 0.0 | 542M|4107 | - |5380 | 939 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
633.30/633.36 c 623s| 1730k| 1714k| 0 | 0.0 | 545M|4107 | - |5380 | 895 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
637.20/637.24 c 627s| 1740k| 1724k| 0 | 0.0 | 548M|4107 | - |5380 | 913 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
641.00/641.09 c 631s| 1750k| 1734k| 0 | 0.0 | 550M|4107 | - |5380 | 950 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
644.90/644.96 c 635s| 1760k| 1744k| 0 | 0.0 | 553M|4107 | - |5380 | 891 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
648.80/648.80 c 639s| 1770k| 1753k| 0 | 0.0 | 556M|4107 | - |5380 | 899 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
652.61/652.63 c 642s| 1780k| 1763k| 0 | 0.0 | 559M|4107 | - |5380 | 888 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
656.50/656.52 c 646s| 1790k| 1773k| 0 | 0.0 | 561M|4107 | - |5380 | 881 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
660.30/660.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.30/660.39 c 650s| 1800k| 1783k| 0 | 0.0 | 564M|4107 | - |5380 | 887 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
664.20/664.23 c 654s| 1810k| 1793k| 0 | 0.0 | 567M|4107 | - |5380 | 879 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
668.11/668.16 c 658s| 1820k| 1803k| 0 | 0.0 | 570M|4107 | - |5380 | 916 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
672.01/672.02 c 662s| 1830k| 1813k| 0 | 0.0 | 572M|4107 | - |5380 | 867 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
675.80/675.86 c 665s| 1840k| 1823k| 0 | 0.0 | 575M|4107 | - |5380 | 846 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
679.61/679.68 c 669s| 1850k| 1833k| 0 | 0.0 | 578M|4107 | - |5380 | 839 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
683.40/683.49 c 673s| 1860k| 1843k| 0 | 0.0 | 580M|4107 | - |5380 | 847 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
687.41/687.41 c 677s| 1870k| 1853k| 0 | 0.0 | 583M|4107 | - |5380 | 907 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
691.20/691.27 c 681s| 1880k| 1863k| 0 | 0.0 | 586M|4107 | - |5380 | 891 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
695.00/695.08 c 684s| 1890k| 1873k| 0 | 0.0 | 588M|4107 | - |5380 | 865 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
698.90/698.97 c 688s| 1900k| 1883k| 0 | 0.0 | 591M|4107 | - |5380 | 822 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
702.80/702.83 c 692s| 1910k| 1893k| 0 | 0.0 | 594M|4107 | - |5380 | 809 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
706.61/706.64 c 696s| 1920k| 1903k| 0 | 0.0 | 597M|4107 | - |5380 | 801 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
710.51/710.50 c 699s| 1930k| 1913k| 0 | 0.0 | 599M|4107 | - |5380 | 804 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
714.31/714.36 c 703s| 1940k| 1923k| 0 | 0.0 | 602M|4107 | - |5380 | 820 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
718.21/718.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.21/718.22 c 707s| 1950k| 1933k| 0 | 0.0 | 605M|4107 | - |5380 | 794 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
722.00/722.08 c 711s| 1960k| 1943k| 0 | 0.0 | 607M|4107 | - |5380 | 783 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
725.91/725.99 c 715s| 1970k| 1953k| 0 | 0.0 | 610M|4107 | - |5380 | 806 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
729.81/729.87 c 719s| 1980k| 1963k| 0 | 0.0 | 613M|4107 | - |5380 | 777 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
733.71/733.73 c 722s| 1990k| 1973k| 0 | 0.0 | 615M|4107 | - |5380 | 754 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
737.50/737.54 c 726s| 2000k| 1983k| 0 | 0.0 | 618M|4107 | - |5380 | 732 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
741.41/741.45 c 730s| 2010k| 1993k| 0 | 0.0 | 621M|4107 | - |5380 | 756 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
745.30/745.33 c 734s| 2020k| 2003k| 0 | 0.0 | 624M|4107 | - |5380 | 727 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
749.20/749.23 c 738s| 2030k| 2013k| 0 | 0.0 | 626M|4107 | - |5380 | 758 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
753.00/753.06 c 741s| 2040k| 2023k| 0 | 0.0 | 629M|4107 | - |5380 | 729 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
756.90/756.99 c 745s| 2050k| 2033k| 0 | 0.0 | 632M|4107 | - |5380 | 750 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
760.80/760.84 c 749s| 2060k| 2043k| 0 | 0.0 | 634M|4107 | - |5380 | 731 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
764.60/764.68 c 753s| 2070k| 2053k| 0 | 0.0 | 637M|4107 | - |5380 | 731 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
768.50/768.55 c 757s| 2080k| 2063k| 0 | 0.0 | 640M|4107 | - |5380 | 740 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
772.40/772.42 c 760s| 2090k| 2073k| 0 | 0.0 | 643M|4107 | - |5380 | 755 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
776.20/776.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.20/776.29 c 764s| 2100k| 2082k| 0 | 0.0 | 645M|4107 | - |5380 | 750 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
780.20/780.21 c 768s| 2110k| 2092k| 0 | 0.0 | 648M|4107 | - |5380 | 738 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
784.00/784.06 c 772s| 2120k| 2102k| 0 | 0.0 | 651M|4107 | - |5380 | 706 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
787.90/787.91 c 776s| 2130k| 2112k| 0 | 0.0 | 653M|4107 | - |5380 | 705 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
791.71/791.72 c 779s| 2140k| 2122k| 0 | 0.0 | 656M|4107 | - |5380 | 670 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
795.50/795.59 c 783s| 2150k| 2132k| 0 | 0.0 | 659M|4107 | - |5380 | 716 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
799.40/799.50 c 787s| 2160k| 2142k| 0 | 0.0 | 661M|4107 | - |5380 | 715 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
803.30/803.39 c 791s| 2170k| 2152k| 0 | 0.0 | 664M|4107 | - |5380 | 753 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
807.21/807.24 c 795s| 2180k| 2162k| 0 | 0.0 | 667M|4107 | - |5380 | 729 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
811.10/811.11 c 799s| 2190k| 2172k| 0 | 0.0 | 670M|4107 | - |5380 | 779 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
814.91/814.97 c 802s| 2200k| 2182k| 0 | 0.0 | 672M|4107 | - |5380 | 732 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
818.81/818.83 c 806s| 2210k| 2192k| 0 | 0.0 | 675M|4107 | - |5380 | 751 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
822.60/822.69 c 810s| 2220k| 2202k| 0 | 0.0 | 678M|4107 | - |5380 | 763 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
826.50/826.50 c 814s| 2230k| 2212k| 0 | 0.0 | 680M|4107 | - |5380 | 732 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
830.30/830.37 c 818s| 2240k| 2222k| 0 | 0.0 | 683M|4107 | - |5380 | 753 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
834.20/834.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.20/834.23 c 821s| 2250k| 2232k| 0 | 0.0 | 686M|4107 | - |5380 | 759 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
838.00/838.08 c 825s| 2260k| 2242k| 0 | 0.0 | 688M|4107 | - |5380 | 760 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
841.90/841.94 c 829s| 2270k| 2252k| 0 | 0.0 | 691M|4107 | - |5380 | 785 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
845.70/845.80 c 833s| 2280k| 2262k| 0 | 0.0 | 694M|4107 | - |5380 | 764 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
849.60/849.68 c 837s| 2290k| 2272k| 0 | 0.0 | 697M|4107 | - |5380 | 758 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
853.51/853.55 c 840s| 2300k| 2282k| 0 | 0.0 | 699M|4107 | - |5380 | 791 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
857.40/857.45 c 844s| 2310k| 2292k| 0 | 0.0 | 702M|4107 | - |5380 | 777 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
861.21/861.29 c 848s| 2320k| 2302k| 0 | 0.0 | 705M|4107 | - |5380 | 764 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
865.10/865.17 c 852s| 2330k| 2312k| 0 | 0.0 | 707M|4107 | - |5380 | 779 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
869.01/869.05 c 856s| 2340k| 2322k| 0 | 0.0 | 710M|4107 | - |5380 | 760 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
872.80/872.89 c 859s| 2350k| 2332k| 0 | 0.0 | 713M|4107 | - |5380 | 778 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
876.71/876.75 c 863s| 2360k| 2342k| 0 | 0.0 | 715M|4107 | - |5380 | 756 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
880.50/880.53 c 867s| 2370k| 2352k| 0 | 0.0 | 718M|4107 | - |5380 | 761 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
884.31/884.39 c 871s| 2380k| 2362k| 0 | 0.0 | 721M|4107 | - |5380 | 793 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
888.20/888.27 c 875s| 2390k| 2372k| 0 | 0.0 | 723M|4107 | - |5380 | 819 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
892.11/892.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.11/892.12 c 878s| 2400k| 2382k| 0 | 0.0 | 726M|4107 | - |5380 | 792 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
896.00/896.03 c 882s| 2410k| 2392k| 0 | 0.0 | 729M|4107 | - |5380 | 836 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
899.81/899.89 c 886s| 2420k| 2401k| 0 | 0.0 | 731M|4107 | - |5380 | 800 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
903.70/903.71 c 890s| 2430k| 2411k| 0 | 0.0 | 734M|4107 | - |5380 | 807 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
907.51/907.55 c 894s| 2440k| 2421k| 0 | 0.0 | 737M|4107 | - |5380 | 801 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
911.31/911.39 c 897s| 2450k| 2431k| 0 | 0.0 | 740M|4107 | - |5380 | 782 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
915.21/915.25 c 901s| 2460k| 2441k| 0 | 0.0 | 742M|4107 | - |5380 | 812 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
919.00/919.09 c 905s| 2470k| 2451k| 0 | 0.0 | 745M|4107 | - |5380 | 772 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
922.91/922.98 c 909s| 2480k| 2461k| 0 | 0.0 | 748M|4107 | - |5380 | 775 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
926.80/926.85 c 913s| 2490k| 2471k| 0 | 0.0 | 750M|4107 | - |5380 | 784 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
930.70/930.72 c 916s| 2500k| 2481k| 0 | 0.0 | 753M|4107 | - |5380 | 779 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
934.51/934.59 c 920s| 2510k| 2491k| 0 | 0.0 | 756M|4107 | - |5380 | 791 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
938.41/938.46 c 924s| 2520k| 2501k| 0 | 0.0 | 758M|4107 | - |5380 | 772 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
942.30/942.37 c 928s| 2530k| 2511k| 0 | 0.0 | 761M|4107 | - |5380 | 769 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
946.21/946.23 c 932s| 2540k| 2521k| 0 | 0.0 | 764M|4107 | - |5380 | 817 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
950.01/950.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.01/950.06 c 936s| 2550k| 2531k| 0 | 0.0 | 766M|4107 | - |5380 | 758 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
953.90/953.90 c 939s| 2560k| 2541k| 0 | 0.0 | 769M|4107 | - |5380 | 759 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
957.70/957.76 c 943s| 2570k| 2551k| 0 | 0.0 | 772M|4107 | - |5380 | 776 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
961.60/961.62 c 947s| 2580k| 2561k| 0 | 0.0 | 775M|4107 | - |5380 | 811 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
965.41/965.46 c 951s| 2590k| 2571k| 0 | 0.0 | 777M|4107 | - |5380 | 808 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
969.20/969.29 c 954s| 2600k| 2581k| 0 | 0.0 | 780M|4107 | - |5380 | 809 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
973.10/973.12 c 958s| 2610k| 2591k| 0 | 0.0 | 783M|4107 | - |5380 | 817 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
976.90/976.92 c 962s| 2620k| 2601k| 0 | 0.0 | 785M|4107 | - |5380 | 811 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
980.80/980.80 c 966s| 2630k| 2611k| 0 | 0.0 | 788M|4107 | - |5380 | 804 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
984.61/984.67 c 970s| 2640k| 2621k| 0 | 0.0 | 791M|4107 | - |5380 | 799 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
988.40/988.47 c 973s| 2650k| 2631k| 0 | 0.0 | 793M|4107 | - |5380 | 778 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
992.31/992.37 c 977s| 2660k| 2641k| 0 | 0.0 | 796M|4107 | - |5380 | 788 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
996.20/996.28 c 981s| 2670k| 2651k| 0 | 0.0 | 799M|4107 | - |5380 | 812 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1000.10/1000.15 c 985s| 2680k| 2661k| 0 | 0.0 | 802M|4107 | - |5380 | 785 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1004.00/1004.02 c 989s| 2690k| 2671k| 0 | 0.0 | 804M|4107 | - |5380 | 825 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1007.80/1007.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.80/1007.88 c 993s| 2700k| 2681k| 0 | 0.0 | 807M|4107 | - |5380 | 791 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1011.60/1011.69 c 996s| 2710k| 2691k| 0 | 0.0 | 810M|4107 | - |5380 | 780 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1015.51/1015.53 c 1000s| 2720k| 2701k| 0 | 0.0 | 812M|4107 | - |5380 | 799 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1019.40/1019.43 c 1004s| 2730k| 2711k| 0 | 0.0 | 815M|4107 | - |5380 | 800 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1023.30/1023.32 c 1008s| 2740k| 2721k| 0 | 0.0 | 818M|4107 | - |5380 | 784 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1027.21/1027.20 c 1012s| 2750k| 2730k| 0 | 0.0 | 821M|4107 | - |5380 | 812 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1030.90/1030.99 c 1015s| 2760k| 2740k| 0 | 0.0 | 823M|4107 | - |5380 | 781 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1034.80/1034.83 c 1019s| 2770k| 2750k| 0 | 0.0 | 826M|4107 | - |5380 | 797 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1038.70/1038.70 c 1023s| 2780k| 2760k| 0 | 0.0 | 829M|4107 | - |5380 | 790 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1042.61/1042.60 c 1027s| 2790k| 2770k| 0 | 0.0 | 831M|4107 | - |5380 | 825 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1046.51/1046.50 c 1031s| 2800k| 2780k| 0 | 0.0 | 834M|4107 | - |5380 | 824 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1050.31/1050.35 c 1034s| 2810k| 2790k| 0 | 0.0 | 837M|4107 | - |5380 | 821 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1054.11/1054.18 c 1038s| 2820k| 2800k| 0 | 0.0 | 839M|4107 | - |5380 | 782 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1058.00/1058.05 c 1042s| 2830k| 2810k| 0 | 0.0 | 842M|4107 | - |5380 | 825 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1061.80/1061.89 c 1046s| 2840k| 2820k| 0 | 0.0 | 845M|4107 | - |5380 | 784 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1065.71/1065.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.71/1065.76 c 1050s| 2850k| 2830k| 0 | 0.0 | 847M|4107 | - |5380 | 802 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1069.60/1069.68 c 1053s| 2860k| 2840k| 0 | 0.0 | 850M|4107 | - |5380 | 805 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1073.51/1073.59 c 1057s| 2870k| 2850k| 0 | 0.0 | 853M|4107 | - |5380 | 783 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1077.50/1077.53 c 1061s| 2880k| 2860k| 0 | 0.0 | 856M|4107 | - |5380 | 785 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1081.31/1081.36 c 1065s| 2890k| 2870k| 0 | 0.0 | 858M|4107 | - |5380 | 780 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1085.21/1085.23 c 1069s| 2900k| 2880k| 0 | 0.0 | 861M|4107 | - |5380 | 781 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1089.11/1089.11 c 1073s| 2910k| 2890k| 0 | 0.0 | 864M|4107 | - |5380 | 816 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1092.91/1092.95 c 1076s| 2920k| 2900k| 0 | 0.0 | 866M|4107 | - |5380 | 777 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1096.81/1096.83 c 1080s| 2930k| 2910k| 0 | 0.0 | 869M|4107 | - |5380 | 800 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1100.71/1100.76 c 1084s| 2940k| 2920k| 0 | 0.0 | 872M|4107 | - |5380 | 802 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1104.61/1104.67 c 1088s| 2950k| 2930k| 0 | 0.0 | 874M|4107 | - |5380 | 788 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1108.51/1108.50 c 1092s| 2960k| 2940k| 0 | 0.0 | 877M|4107 | - |5380 | 787 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1112.31/1112.34 c 1095s| 2970k| 2950k| 0 | 0.0 | 880M|4107 | - |5380 | 806 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1116.21/1116.23 c 1099s| 2980k| 2960k| 0 | 0.0 | 882M|4107 | - |5380 | 804 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1120.00/1120.07 c 1103s| 2990k| 2970k| 0 | 0.0 | 885M|4107 | - |5380 | 825 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1123.91/1123.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.91/1123.96 c 1107s| 3000k| 2980k| 0 | 0.0 | 888M|4107 | - |5380 | 831 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1127.81/1127.85 c 1111s| 3010k| 2990k| 0 | 0.0 | 890M|4107 | - |5380 | 801 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1131.70/1131.74 c 1115s| 3020k| 3000k| 0 | 0.0 | 893M|4107 | - |5380 | 801 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1135.60/1135.60 c 1118s| 3030k| 3010k| 0 | 0.0 | 896M|4107 | - |5380 | 799 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1139.41/1139.46 c 1122s| 3040k| 3020k| 0 | 0.0 | 899M|4107 | - |5380 | 801 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1143.30/1143.30 c 1126s| 3050k| 3030k| 0 | 0.0 | 901M|4107 | - |5380 | 797 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1147.11/1147.20 c 1130s| 3060k| 3040k| 0 | 0.0 | 904M|4107 | - |5380 | 807 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1151.01/1151.09 c 1134s| 3070k| 3049k| 0 | 0.0 | 907M|4107 | - |5380 | 797 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1154.92/1154.97 c 1138s| 3080k| 3059k| 0 | 0.0 | 909M|4107 | - |5380 | 776 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1158.81/1158.84 c 1141s| 3090k| 3069k| 0 | 0.0 | 912M|4107 | - |5380 | 776 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1162.62/1162.69 c 1145s| 3100k| 3079k| 0 | 0.0 | 915M|4107 | - |5380 | 798 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1166.51/1166.55 c 1149s| 3110k| 3089k| 0 | 0.0 | 917M|4107 | - |5380 | 802 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1170.41/1170.48 c 1153s| 3120k| 3099k| 0 | 0.0 | 920M|4107 | - |5380 | 801 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1174.31/1174.35 c 1157s| 3130k| 3109k| 0 | 0.0 | 923M|4107 | - |5380 | 785 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1178.21/1178.22 c 1160s| 3140k| 3119k| 0 | 0.0 | 925M|4107 | - |5380 | 822 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1182.01/1182.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.01/1182.08 c 1164s| 3150k| 3129k| 0 | 0.0 | 928M|4107 | - |5380 | 822 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1186.01/1186.03 c 1168s| 3160k| 3139k| 0 | 0.0 | 931M|4107 | - |5380 | 832 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1189.91/1189.93 c 1172s| 3170k| 3149k| 0 | 0.0 | 933M|4107 | - |5380 | 823 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1193.71/1193.78 c 1176s| 3180k| 3159k| 0 | 0.0 | 936M|4107 | - |5380 | 829 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1197.61/1197.62 c 1180s| 3190k| 3169k| 0 | 0.0 | 939M|4107 | - |5380 | 819 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1201.41/1201.46 c 1183s| 3200k| 3179k| 0 | 0.0 | 942M|4107 | - |5380 | 809 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1205.31/1205.32 c 1187s| 3210k| 3189k| 0 | 0.0 | 944M|4107 | - |5380 | 793 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1209.21/1209.20 c 1191s| 3220k| 3199k| 0 | 0.0 | 947M|4107 | - |5380 | 829 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1213.12/1213.11 c 1195s| 3230k| 3209k| 0 | 0.0 | 950M|4107 | - |5380 | 805 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1216.91/1216.97 c 1199s| 3240k| 3219k| 0 | 0.0 | 952M|4107 | - |5380 | 803 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1220.81/1220.84 c 1202s| 3250k| 3229k| 0 | 0.0 | 955M|4107 | - |5380 | 796 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1224.61/1224.67 c 1206s| 3260k| 3239k| 0 | 0.0 | 958M|4107 | - |5380 | 851 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1228.51/1228.58 c 1210s| 3270k| 3249k| 0 | 0.0 | 960M|4107 | - |5380 | 845 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1232.41/1232.43 c 1214s| 3280k| 3259k| 0 | 0.0 | 963M|4107 | - |5380 | 802 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1236.32/1236.35 c 1218s| 3290k| 3269k| 0 | 0.0 | 966M|4107 | - |5380 | 828 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1240.21/1240.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.21/1240.22 c 1221s| 3300k| 3279k| 0 | 0.0 | 968M|4107 | - |5380 | 802 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1244.02/1244.08 c 1225s| 3310k| 3289k| 0 | 0.0 | 971M|4107 | - |5380 | 814 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1247.91/1247.98 c 1229s| 3320k| 3299k| 0 | 0.0 | 974M|4107 | - |5380 | 848 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1251.81/1251.81 c 1233s| 3330k| 3309k| 0 | 0.0 | 977M|4107 | - |5380 | 797 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1255.71/1255.71 c 1237s| 3340k| 3319k| 0 | 0.0 | 979M|4107 | - |5380 | 826 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1259.61/1259.62 c 1241s| 3350k| 3329k| 0 | 0.0 | 982M|4107 | - |5380 | 801 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1263.51/1263.50 c 1244s| 3360k| 3339k| 0 | 0.0 | 985M|4107 | - |5380 | 799 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1267.32/1267.38 c 1248s| 3370k| 3349k| 0 | 0.0 | 987M|4107 | - |5380 | 819 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1271.21/1271.21 c 1252s| 3380k| 3359k| 0 | 0.0 | 990M|4107 | - |5380 | 819 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1275.11/1275.13 c 1256s| 3390k| 3369k| 0 | 0.0 | 993M|4107 | - |5380 | 838 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1279.01/1279.02 c 1260s| 3400k| 3378k| 0 | 0.0 | 995M|4107 | - |5380 | 853 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1282.92/1282.93 c 1264s| 3410k| 3388k| 0 | 0.0 | 998M|4107 | - |5380 | 837 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1286.72/1286.77 c 1267s| 3420k| 3398k| 0 | 0.0 |1001M|4107 | - |5380 | 818 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1290.61/1290.63 c 1271s| 3430k| 3408k| 0 | 0.0 |1004M|4107 | - |5380 | 823 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1294.52/1294.52 c 1275s| 3440k| 3418k| 0 | 0.0 |1006M|4107 | - |5380 | 840 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1298.41/1298.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.41/1298.46 c 1279s| 3450k| 3428k| 0 | 0.0 |1009M|4107 | - |5380 | 845 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1302.32/1302.35 c 1283s| 3460k| 3438k| 0 | 0.0 |1012M|4107 | - |5380 | 813 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1306.21/1306.23 c 1287s| 3470k| 3448k| 0 | 0.0 |1014M|4107 | - |5380 | 824 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1310.12/1310.14 c 1290s| 3480k| 3458k| 0 | 0.0 |1017M|4107 | - |5380 | 807 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1314.01/1314.03 c 1294s| 3490k| 3468k| 0 | 0.0 |1020M|4107 | - |5380 | 813 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1317.91/1317.99 c 1298s| 3500k| 3478k| 0 | 0.0 |1022M|4107 | - |5380 | 796 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1321.81/1321.89 c 1302s| 3510k| 3488k| 0 | 0.0 |1025M|4107 | - |5380 | 813 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1325.71/1325.79 c 1306s| 3520k| 3498k| 0 | 0.0 |1028M|4107 | - |5380 | 783 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1329.61/1329.61 c 1310s| 3530k| 3508k| 0 | 0.0 |1030M|4107 | - |5380 | 796 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1333.52/1333.56 c 1313s| 3540k| 3518k| 0 | 0.0 |1033M|4107 | - |5380 | 832 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1337.42/1337.45 c 1317s| 3550k| 3528k| 0 | 0.0 |1036M|4107 | - |5380 | 843 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1341.31/1341.31 c 1321s| 3560k| 3538k| 0 | 0.0 |1039M|4107 | - |5380 | 814 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1345.22/1345.21 c 1325s| 3570k| 3548k| 0 | 0.0 |1041M|4107 | - |5380 | 827 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1349.01/1349.07 c 1329s| 3580k| 3558k| 0 | 0.0 |1044M|4107 | - |5380 | 826 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1352.92/1352.97 c 1333s| 3590k| 3568k| 0 | 0.0 |1047M|4107 | - |5380 | 797 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1356.82/1356.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.82/1356.88 c 1336s| 3600k| 3578k| 0 | 0.0 |1049M|4107 | - |5380 | 786 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1360.72/1360.76 c 1340s| 3610k| 3588k| 0 | 0.0 |1052M|4107 | - |5380 | 806 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1364.61/1364.63 c 1344s| 3620k| 3598k| 0 | 0.0 |1055M|4107 | - |5380 | 774 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1368.52/1368.55 c 1348s| 3630k| 3608k| 0 | 0.0 |1057M|4107 | - |5380 | 778 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1372.41/1372.44 c 1352s| 3640k| 3618k| 0 | 0.0 |1060M|4107 | - |5380 | 790 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1376.31/1376.33 c 1356s| 3650k| 3628k| 0 | 0.0 |1063M|4107 | - |5380 | 806 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1380.21/1380.26 c 1359s| 3660k| 3638k| 0 | 0.0 |1065M|4107 | - |5380 | 804 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1384.21/1384.21 c 1363s| 3670k| 3648k| 0 | 0.0 |1068M|4107 | - |5380 | 810 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1388.12/1388.10 c 1367s| 3680k| 3658k| 0 | 0.0 |1071M|4107 | - |5380 | 758 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1391.91/1391.97 c 1371s| 3690k| 3668k| 0 | 0.0 |1073M|4107 | - |5380 | 773 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1395.82/1395.89 c 1375s| 3700k| 3678k| 0 | 0.0 |1076M|4107 | - |5380 | 810 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1399.71/1399.74 c 1379s| 3710k| 3688k| 0 | 0.0 |1079M|4107 | - |5380 | 771 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1403.62/1403.60 c 1382s| 3720k| 3698k| 0 | 0.0 |1082M|4107 | - |5380 | 756 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1407.51/1407.55 c 1386s| 3730k| 3707k| 0 | 0.0 |1084M|4107 | - |5380 | 786 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1411.41/1411.47 c 1390s| 3740k| 3717k| 0 | 0.0 |1087M|4107 | - |5380 | 814 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1415.32/1415.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.32/1415.38 c 1394s| 3750k| 3727k| 0 | 0.0 |1090M|4107 | - |5380 | 781 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1419.22/1419.26 c 1398s| 3760k| 3737k| 0 | 0.0 |1092M|4107 | - |5380 | 785 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1423.11/1423.13 c 1402s| 3770k| 3747k| 0 | 0.0 |1095M|4107 | - |5380 | 800 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1427.11/1427.10 c 1406s| 3780k| 3757k| 0 | 0.0 |1098M|4107 | - |5380 | 768 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1431.02/1431.01 c 1409s| 3790k| 3767k| 0 | 0.0 |1100M|4107 | - |5380 | 792 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1434.92/1434.93 c 1413s| 3800k| 3777k| 0 | 0.0 |1103M|4107 | - |5380 | 814 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1438.82/1438.81 c 1417s| 3810k| 3787k| 0 | 0.0 |1106M|4107 | - |5380 | 763 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1442.72/1442.71 c 1421s| 3820k| 3797k| 0 | 0.0 |1108M|4107 | - |5380 | 775 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1446.52/1446.58 c 1425s| 3830k| 3807k| 0 | 0.0 |1111M|4107 | - |5380 | 748 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1450.41/1450.50 c 1429s| 3840k| 3817k| 0 | 0.0 |1114M|4107 | - |5380 | 756 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1454.42/1454.43 c 1433s| 3850k| 3827k| 0 | 0.0 |1117M|4107 | - |5380 | 786 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1458.32/1458.34 c 1436s| 3860k| 3837k| 0 | 0.0 |1119M|4107 | - |5380 | 776 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1462.22/1462.26 c 1440s| 3870k| 3847k| 0 | 0.0 |1122M|4107 | - |5380 | 757 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1466.12/1466.14 c 1444s| 3880k| 3857k| 0 | 0.0 |1125M|4107 | - |5380 | 783 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1470.12/1470.14 c 1448s| 3890k| 3867k| 0 | 0.0 |1127M|4107 | - |5380 | 835 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1474.02/1474.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.02/1474.05 c 1452s| 3900k| 3877k| 0 | 0.0 |1130M|4107 | - |5380 | 772 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1477.91/1477.98 c 1456s| 3910k| 3887k| 0 | 0.0 |1133M|4107 | - |5380 | 795 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1481.81/1481.85 c 1460s| 3920k| 3897k| 0 | 0.0 |1135M|4107 | - |5380 | 778 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1485.72/1485.75 c 1463s| 3930k| 3907k| 0 | 0.0 |1138M|4107 | - |5380 | 779 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1489.61/1489.64 c 1467s| 3940k| 3917k| 0 | 0.0 |1141M|4107 | - |5380 | 800 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1493.52/1493.58 c 1471s| 3950k| 3927k| 0 | 0.0 |1144M|4107 | - |5380 | 823 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1497.51/1497.52 c 1475s| 3960k| 3937k| 0 | 0.0 |1146M|4107 | - |5380 | 794 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1501.42/1501.42 c 1479s| 3970k| 3947k| 0 | 0.0 |1149M|4107 | - |5380 | 783 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1505.31/1505.33 c 1483s| 3980k| 3957k| 0 | 0.0 |1152M|4107 | - |5380 | 817 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1509.12/1509.20 c 1487s| 3990k| 3967k| 0 | 0.0 |1154M|4107 | - |5380 | 793 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1513.12/1513.15 c 1490s| 4000k| 3977k| 0 | 0.0 |1157M|4107 | - |5380 | 831 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1517.02/1517.08 c 1494s| 4010k| 3987k| 0 | 0.0 |1160M|4107 | - |5380 | 817 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1520.92/1520.97 c 1498s| 4020k| 3997k| 0 | 0.0 |1162M|4107 | - |5380 | 853 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1524.81/1524.85 c 1502s| 4030k| 4007k| 0 | 0.0 |1165M|4107 | - |5380 | 821 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1528.72/1528.76 c 1506s| 4040k| 4017k| 0 | 0.0 |1168M|4107 | - |5380 | 863 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1532.62/1532.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.62/1532.69 c 1510s| 4050k| 4027k| 0 | 0.0 |1170M|4107 | - |5380 | 873 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1536.62/1536.64 c 1514s| 4060k| 4036k| 0 | 0.0 |1173M|4107 | - |5380 | 868 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1540.52/1540.54 c 1517s| 4070k| 4046k| 0 | 0.0 |1176M|4107 | - |5380 | 832 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1544.42/1544.43 c 1521s| 4080k| 4056k| 0 | 0.0 |1179M|4107 | - |5380 | 821 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1548.32/1548.34 c 1525s| 4090k| 4066k| 0 | 0.0 |1181M|4107 | - |5380 | 821 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1552.22/1552.26 c 1529s| 4100k| 4076k| 0 | 0.0 |1184M|4107 | - |5380 | 874 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1556.11/1556.19 c 1533s| 4110k| 4086k| 0 | 0.0 |1187M|4107 | - |5380 | 854 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1560.12/1560.11 c 1537s| 4120k| 4096k| 0 | 0.0 |1189M|4107 | - |5380 | 850 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1564.02/1564.06 c 1541s| 4130k| 4106k| 0 | 0.0 |1192M|4107 | - |5380 | 846 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1567.92/1567.97 c 1544s| 4140k| 4116k| 0 | 0.0 |1195M|4107 | - |5380 | 822 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1571.92/1571.91 c 1548s| 4150k| 4126k| 0 | 0.0 |1197M|4107 | - |5380 | 838 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1575.82/1575.86 c 1552s| 4160k| 4136k| 0 | 0.0 |1200M|4107 | - |5380 | 875 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1579.72/1579.78 c 1556s| 4170k| 4146k| 0 | 0.0 |1203M|4107 | - |5380 | 884 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1583.61/1583.67 c 1560s| 4180k| 4156k| 0 | 0.0 |1205M|4107 | - |5380 | 863 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1587.52/1587.56 c 1564s| 4190k| 4166k| 0 | 0.0 |1208M|4107 | - |5380 | 854 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1591.42/1591.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.42/1591.47 c 1568s| 4200k| 4176k| 0 | 0.0 |1211M|4107 | - |5380 | 866 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1595.32/1595.34 c 1571s| 4210k| 4186k| 0 | 0.0 |1214M|4107 | - |5380 | 856 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1599.22/1599.26 c 1575s| 4220k| 4196k| 0 | 0.0 |1216M|4107 | - |5380 | 858 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1603.12/1603.15 c 1579s| 4230k| 4206k| 0 | 0.0 |1219M|4107 | - |5380 | 844 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1607.02/1607.04 c 1583s| 4240k| 4216k| 0 | 0.0 |1222M|4107 | - |5380 | 832 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1610.92/1610.94 c 1587s| 4250k| 4226k| 0 | 0.0 |1224M|4107 | - |5380 | 860 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1614.83/1614.85 c 1591s| 4260k| 4236k| 0 | 0.0 |1227M|4107 | - |5380 | 831 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1618.72/1618.75 c 1594s| 4270k| 4246k| 0 | 0.0 |1230M|4107 | - |5380 | 829 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1622.72/1622.71 c 1598s| 4280k| 4256k| 0 | 0.0 |1232M|4107 | - |5380 | 819 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1626.62/1626.63 c 1602s| 4290k| 4266k| 0 | 0.0 |1235M|4107 | - |5380 | 804 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1630.52/1630.54 c 1606s| 4300k| 4276k| 0 | 0.0 |1238M|4107 | - |5380 | 801 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1634.42/1634.41 c 1610s| 4310k| 4286k| 0 | 0.0 |1240M|4107 | - |5380 | 799 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1638.22/1638.28 c 1614s| 4320k| 4296k| 0 | 0.0 |1243M|4107 | - |5380 | 770 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1642.22/1642.20 c 1618s| 4330k| 4306k| 0 | 0.0 |1246M|4107 | - |5380 | 818 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1646.12/1646.14 c 1621s| 4340k| 4316k| 0 | 0.0 |1249M|4107 | - |5380 | 815 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1650.12/1650.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.12/1650.10 c 1625s| 4350k| 4326k| 0 | 0.0 |1251M|4107 | - |5380 | 799 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1654.02/1654.02 c 1629s| 4360k| 4336k| 0 | 0.0 |1254M|4107 | - |5380 | 773 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1657.92/1657.97 c 1633s| 4370k| 4346k| 0 | 0.0 |1257M|4107 | - |5380 | 791 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1661.92/1661.94 c 1637s| 4380k| 4356k| 0 | 0.0 |1259M|4107 | - |5380 | 829 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1665.82/1665.82 c 1641s| 4390k| 4365k| 0 | 0.0 |1262M|4107 | - |5380 | 814 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1669.72/1669.76 c 1645s| 4400k| 4375k| 0 | 0.0 |1265M|4107 | - |5380 | 794 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1673.63/1673.64 c 1649s| 4410k| 4385k| 0 | 0.0 |1267M|4107 | - |5380 | 761 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1677.52/1677.53 c 1652s| 4420k| 4395k| 0 | 0.0 |1270M|4107 | - |5380 | 758 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1681.43/1681.43 c 1656s| 4430k| 4405k| 0 | 0.0 |1273M|4107 | - |5380 | 753 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1685.23/1685.29 c 1660s| 4440k| 4415k| 0 | 0.0 |1275M|4107 | - |5380 | 767 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1689.12/1689.17 c 1664s| 4450k| 4425k| 0 | 0.0 |1278M|4107 | - |5380 | 778 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1693.02/1693.09 c 1668s| 4460k| 4435k| 0 | 0.0 |1281M|4107 | - |5380 | 772 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1697.03/1697.04 c 1672s| 4470k| 4445k| 0 | 0.0 |1284M|4107 | - |5380 | 751 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1700.92/1700.94 c 1675s| 4480k| 4455k| 0 | 0.0 |1286M|4107 | - |5380 | 787 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1704.92/1704.91 c 1679s| 4490k| 4465k| 0 | 0.0 |1289M|4107 | - |5380 | 776 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1708.82/1708.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.82/1708.81 c 1683s| 4500k| 4475k| 0 | 0.0 |1292M|4107 | - |5380 | 747 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1712.63/1712.69 c 1687s| 4510k| 4485k| 0 | 0.0 |1294M|4107 | - |5380 | 757 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1716.62/1716.62 c 1691s| 4520k| 4495k| 0 | 0.0 |1297M|4107 | - |5380 | 761 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1720.53/1720.55 c 1695s| 4530k| 4505k| 0 | 0.0 |1300M|4107 | - |5380 | 768 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1724.42/1724.44 c 1699s| 4540k| 4515k| 0 | 0.0 |1302M|4107 | - |5380 | 767 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1728.23/1728.28 c 1702s| 4550k| 4525k| 0 | 0.0 |1305M|4107 | - |5380 | 785 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1732.12/1732.16 c 1706s| 4560k| 4535k| 0 | 0.0 |1308M|4107 | - |5380 | 775 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1736.12/1736.10 c 1710s| 4570k| 4545k| 0 | 0.0 |1310M|4107 | - |5380 | 761 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1740.03/1740.02 c 1714s| 4580k| 4555k| 0 | 0.0 |1313M|4107 | - |5380 | 755 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1743.93/1743.95 c 1718s| 4590k| 4565k| 0 | 0.0 |1316M|4107 | - |5380 | 790 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1747.83/1747.88 c 1722s| 4600k| 4575k| 0 | 0.0 |1319M|4107 | - |5380 | 818 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1751.72/1751.79 c 1726s| 4610k| 4585k| 0 | 0.0 |1321M|4107 | - |5380 | 788 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1755.63/1755.67 c 1729s| 4620k| 4595k| 0 | 0.0 |1324M|4107 | - |5380 | 795 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1759.42/1759.49 c 1733s| 4630k| 4605k| 0 | 0.0 |1327M|4107 | - |5380 | 765 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1763.42/1763.44 c 1737s| 4640k| 4615k| 0 | 0.0 |1329M|4107 | - |5380 | 787 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1767.33/1767.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.33/1767.35 c 1741s| 4650k| 4625k| 0 | 0.0 |1332M|4107 | - |5380 | 780 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1771.22/1771.29 c 1745s| 4660k| 4635k| 0 | 0.0 |1335M|4107 | - |5380 | 813 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1775.22/1775.22 c 1749s| 4670k| 4645k| 0 | 0.0 |1337M|4107 | - |5380 | 809 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1779.03/1779.08 c 1752s| 4680k| 4655k| 0 | 0.0 |1340M|4107 | - |5380 | 768 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1783.03/1783.05 c 1756s| 4690k| 4665k| 0 | 0.0 |1343M|4107 | - |5380 | 799 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1786.92/1786.98 c 1760s| 4700k| 4675k| 0 | 0.0 |1345M|4107 | - |5380 | 784 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1790.83/1790.87 c 1764s| 4710k| 4685k| 0 | 0.0 |1348M|4107 | - |5380 | 781 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1794.72/1794.74 c 1768s| 4720k| 4695k| 0 | 0.0 |1351M|4107 | - |5380 | 795 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1798.63/1798.65 c 1772s| 4730k| 4704k| 0 | 0.0 |1354M|4107 | - |5380 | 842 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1773.09
1800.03/1800.00 c Solving Nodes : 4733514
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1773.09
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693732-1277891038.wbo
1800.03/1800.00 c Variables : 5380 (5240 binary, 0 integer, 0 implicit integer, 140 continuous)
1800.03/1800.00 c Constraints : 343 initial, 343 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693732-1277891038.wbo
1800.03/1800.00 c Variables : 5380 (5240 binary, 0 integer, 0 implicit integer, 140 continuous)
1800.03/1800.00 c Constraints : 342 initial, 2403 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 140 0 1 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 140 0 4685 0 4380 0 225 0 0 0
1800.03/1800.00 c setppc : 29 0 4985924 0 4722746 7857 2131174 0 0 0
1800.03/1800.00 c linear : 140 0 4978067 0 4722746 5233 1227478 0 0 0
1800.03/1800.00 c logicor : 33+ 0 560994 0 4722746 1091 97961 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 4722746 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c setppc : 105.55 0.00 11.29 0.00 94.26
1800.03/1800.00 c linear : 55.03 0.00 52.91 0.00 2.12
1800.03/1800.00 c logicor : 93.92 0.00 7.76 0.00 86.16
1800.03/1800.00 c countsols : 0.88 0.00 0.00 0.00 0.88
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.30 2 0 0
1800.03/1800.00 c rootredcost : 1.06 0 0 0
1800.03/1800.00 c pseudoobj : 20.28 4985724 0 0
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 39.07 14181 14181 239187 413.5 211240 46.3 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 139979 68.3 - - -
1800.03/1800.00 c applied locally : - - - 4 549.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 1417.95 4722746 0 0 0 0 9445492
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 1.28 0 0
1800.03/1800.00 c trivial : 0.01 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 1.38 0 0
1800.03/1800.00 c trysol : 1.08 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 4733514
1800.03/1800.00 c nodes (total) : 4733514
1800.03/1800.00 c nodes left : 4708496
1800.03/1800.00 c max depth : 4107
1800.03/1800.00 c max depth (total): 4107
1800.03/1800.00 c backtracks : 6083 (0.1%)
1800.03/1800.00 c delayed cutoffs : 3483
1800.03/1800.00 c repropagations : 7036 (248328 domain reductions, 3413 cutoffs)
1800.03/1800.00 c avg switch length: 2.22
1800.03/1800.00 c switching time : 20.35
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693732-1277891038/watcher-2693732-1277891038 -o /tmp/evaluation-result-2693732-1277891038/solver-2693732-1277891038 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693732-1277891038.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.05 2.46 4/178 8882
/proc/meminfo: memFree=29160140/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=9168 CPUtime=0
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 1744 0 0 0 0 0 0 0 25 0 1 0 130401311 9388032 1667 4089446400 4194304 7136930 140735309177360 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8882/statm: 2292 1683 275 719 0 1571 0
[startup+0.0418711 s]
/proc/loadavg: 2.02 2.05 2.46 4/178 8882
/proc/meminfo: memFree=29160140/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=23476 CPUtime=0.03
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 6265 0 0 0 3 0 0 0 25 0 1 0 130401311 24039424 5062 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 5869 5063 358 719 0 5148 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23476
[startup+0.100861 s]
/proc/loadavg: 2.02 2.05 2.46 4/178 8882
/proc/meminfo: memFree=29160140/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=25400 CPUtime=0.09
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 7315 0 0 0 9 0 0 0 18 0 1 0 130401311 26009600 5598 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 6350 5598 390 719 0 5629 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25400
[startup+0.300829 s]
/proc/loadavg: 2.02 2.05 2.46 4/178 8882
/proc/meminfo: memFree=29160140/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=26060 CPUtime=0.29
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 7455 0 0 0 28 1 0 0 18 0 1 0 130401311 26685440 5738 4089446400 4194304 7136930 140735309177360 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 6515 5738 390 719 0 5794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26060
[startup+0.700772 s]
/proc/loadavg: 2.02 2.05 2.46 4/178 8882
/proc/meminfo: memFree=29160140/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=26788 CPUtime=0.69
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 7642 0 0 0 67 2 0 0 18 0 1 0 130401311 27430912 5925 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 6697 5925 390 719 0 5976 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26788
[startup+1.50059 s]
/proc/loadavg: 2.02 2.05 2.46 3/179 8883
/proc/meminfo: memFree=29135636/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=28344 CPUtime=1.49
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 8047 0 0 0 146 3 0 0 19 0 1 0 130401311 29024256 6330 4089446400 4194304 7136930 140735309177360 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 7086 6330 394 719 0 6365 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28344
[startup+3.10032 s]
/proc/loadavg: 2.02 2.05 2.46 3/179 8883
/proc/meminfo: memFree=29132536/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=30808 CPUtime=3.09
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 8693 0 0 0 303 6 0 0 25 0 1 0 130401311 31547392 6976 4089446400 4194304 7136930 140735309177360 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 7702 6976 394 719 0 6981 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30808
[startup+6.30076 s]
/proc/loadavg: 2.02 2.05 2.45 3/179 8883
/proc/meminfo: memFree=29122236/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=33820 CPUtime=6.29
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 9461 0 0 0 619 10 0 0 25 0 1 0 130401311 34631680 7744 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 8455 7744 394 719 0 7734 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33820
[startup+12.7006 s]
/proc/loadavg: 2.02 2.05 2.45 3/179 8884
/proc/meminfo: memFree=29106784/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=39304 CPUtime=12.69
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 10915 0 0 0 1250 19 0 0 25 0 1 0 130401311 40247296 9198 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 9826 9198 394 719 0 9105 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39304
[startup+25.5004 s]
/proc/loadavg: 2.02 2.05 2.44 3/179 8884
/proc/meminfo: memFree=29075168/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=51064 CPUtime=25.49
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 13440 0 0 0 2511 38 0 0 25 0 1 0 130401311 52289536 11723 4089446400 4194304 7136930 140735309177360 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 12766 11723 394 719 0 12045 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51064
[startup+51.1009 s]
/proc/loadavg: 2.01 2.04 2.43 3/179 8884
/proc/meminfo: memFree=29012564/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=70152 CPUtime=51.09
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 18481 0 0 0 5035 74 0 0 25 0 1 0 130401311 71835648 16764 4089446400 4194304 7136930 140735309177360 18446744073709551615 4436471 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 17538 16764 394 719 0 16817 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 70152
[startup+102.306 s]
/proc/loadavg: 2.00 2.03 2.41 3/179 8886
/proc/meminfo: memFree=28878112/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=111748 CPUtime=102.3
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 28347 0 0 0 10085 145 0 0 25 0 1 0 130401311 114429952 26630 4089446400 4194304 7136930 140735309177360 18446744073709551615 4436499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 27937 26630 394 719 0 27216 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 111748
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.38 3/179 8888
/proc/meminfo: memFree=28695396/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=154608 CPUtime=162.29
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 39602 0 0 0 15998 231 0 0 25 0 1 0 130401311 158318592 37885 4089446400 4194304 7136930 140735309177360 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 38652 37885 394 719 0 37931 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 154608
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.35 3/179 8889
/proc/meminfo: memFree=28551000/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=206800 CPUtime=222.29
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 51209 0 0 0 21910 319 0 0 25 0 1 0 130401311 211763200 49492 4089446400 4194304 7136930 140735309177360 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 51700 49492 394 719 0 50979 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 206800
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.33 3/179 8890
/proc/meminfo: memFree=28359984/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=252612 CPUtime=282.3
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 63239 0 0 0 27826 404 0 0 25 0 1 0 130401311 258674688 61522 4089446400 4194304 7136930 140735309177360 18446744073709551615 4643234 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 63153 61522 394 719 0 62432 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 252612
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.30 3/179 8892
/proc/meminfo: memFree=28115908/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=300284 CPUtime=342.29
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 75795 0 0 0 33729 500 0 0 25 0 1 0 130401311 307490816 74078 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 75071 74078 394 719 0 74350 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 300284
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.28 3/179 8894
/proc/meminfo: memFree=27919316/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=363512 CPUtime=402.3
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 88133 0 0 0 39637 593 0 0 25 0 1 0 130401311 372236288 86416 4089446400 4194304 7136930 140735309177360 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 90878 86416 394 719 0 90157 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 363512
[startup+462.301 s]
/proc/loadavg: 2.03 2.01 2.27 3/179 8896
/proc/meminfo: memFree=27719992/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=414356 CPUtime=462.29
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 101475 0 0 0 45538 691 0 0 25 0 1 0 130401311 424300544 99758 4089446400 4194304 7136930 140735309177360 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 103589 99758 394 719 0 102868 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 414356
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.25 3/179 8897
/proc/meminfo: memFree=27517704/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=473408 CPUtime=522.29
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 116858 0 0 0 51442 787 0 0 25 0 1 0 130401311 484769792 115141 4089446400 4194304 7136930 140735309177360 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 118352 115141 394 719 0 117631 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 473408
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.23 3/179 8898
/proc/meminfo: memFree=27265560/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=560612 CPUtime=582.3
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 139117 0 0 0 57338 892 0 0 25 0 1 0 130401311 574066688 137400 4089446400 4194304 7136930 140735309177360 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 140153 137400 394 719 0 139432 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 560612
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.21 3/179 8900
/proc/meminfo: memFree=27014152/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=629052 CPUtime=642.31
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 156779 0 0 0 63225 1006 0 0 25 0 1 0 130401311 644149248 155062 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8882/statm: 157263 155062 394 719 0 156542 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 629052
[startup+702.301 s]
################
# More data... #
################
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 224035 0 0 0 98702 1528 0 0 25 0 1 0 130401311 938573824 222318 4089446400 4194304 7136930 140735309177360 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 229144 222318 394 719 0 228423 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 916576
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.13 3/179 9049
/proc/meminfo: memFree=28620424/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=958564 CPUtime=1062.31
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 235140 0 0 0 104617 1614 0 0 25 0 1 0 130401311 981569536 233423 4089446400 4194304 7136930 140735309177360 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 239641 233423 394 719 0 238920 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 958564
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 9050
/proc/meminfo: memFree=28272040/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=999396 CPUtime=1122.31
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 245949 0 0 0 110531 1700 0 0 25 0 1 0 130401311 1023381504 244232 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 249849 244232 394 719 0 249128 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 999396
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 9051
/proc/meminfo: memFree=27936812/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1043952 CPUtime=1182.31
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 257667 0 0 0 116442 1789 0 0 25 0 1 0 130401311 1069006848 255950 4089446400 4194304 7136930 140735309177360 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 260988 255950 394 719 0 260267 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1043952
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 9053
/proc/meminfo: memFree=27589056/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1086028 CPUtime=1242.31
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 268815 0 0 0 122355 1876 0 0 25 0 1 0 130401311 1112092672 267098 4089446400 4194304 7136930 140735309177360 18446744073709551615 4642107 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 271507 267098 394 719 0 270786 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1086028
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 9055
/proc/meminfo: memFree=27261008/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1124856 CPUtime=1302.32
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 279127 0 0 0 128266 1966 0 0 25 0 1 0 130401311 1151852544 277410 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 281214 277410 394 719 0 280493 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1124856
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 9057
/proc/meminfo: memFree=27104588/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1168552 CPUtime=1362.31
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 290634 0 0 0 134178 2053 0 0 25 0 1 0 130401311 1196597248 288917 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 292138 288917 394 719 0 291417 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1168552
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 9058
/proc/meminfo: memFree=27049348/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1208804 CPUtime=1422.32
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 301298 0 0 0 140087 2145 0 0 25 0 1 0 130401311 1237815296 299581 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 302201 299581 394 719 0 301480 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1208804
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 9059
/proc/meminfo: memFree=27002916/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1249100 CPUtime=1482.32
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 311981 0 0 0 146001 2231 0 0 25 0 1 0 130401311 1279078400 310264 4089446400 4194304 7136930 140735309177360 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 312275 310264 394 719 0 311554 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1249100
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 9061
/proc/meminfo: memFree=26952772/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1289120 CPUtime=1542.32
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 322582 0 0 0 151917 2315 0 0 25 0 1 0 130401311 1320058880 320865 4089446400 4194304 7136930 140735309177360 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 322280 320865 394 719 0 321559 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1289120
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 9063
/proc/meminfo: memFree=26906828/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1395592 CPUtime=1602.32
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 333404 0 0 0 157827 2405 0 0 25 0 1 0 130401311 1429086208 331687 4089446400 4194304 7136930 140735309177360 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 348898 331687 394 719 0 348177 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1395592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 9065
/proc/meminfo: memFree=26862016/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1437680 CPUtime=1662.32
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 344503 0 0 0 163741 2491 0 0 25 0 1 0 130401311 1472184320 342786 4089446400 4194304 7136930 140735309177360 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 359420 342786 394 719 0 358699 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1437680
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 9066
/proc/meminfo: memFree=26817940/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1479212 CPUtime=1722.33
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 355505 0 0 0 169652 2581 0 0 25 0 1 0 130401311 1514713088 353788 4089446400 4194304 7136930 140735309177360 18446744073709551615 4642107 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 369803 353788 394 719 0 369082 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1479212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 9067
/proc/meminfo: memFree=26770148/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1520152 CPUtime=1782.32
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 366307 0 0 0 175567 2665 0 0 25 0 1 0 130401311 1556635648 364590 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 380038 364590 394 719 0 379317 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1520152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 9068
/proc/meminfo: memFree=26757236/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1532064 CPUtime=1800.03
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 369467 0 0 0 177310 2693 0 0 25 0 1 0 130401311 1568833536 367750 4089446400 4194304 7136930 140735309177360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/8882/statm: 383016 367750 394 719 0 382295 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1532064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8882
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 9069
/proc/meminfo: memFree=26757104/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1531612 CPUtime=1801.43
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 369503 0 0 0 177450 2693 0 0 20 0 1 0 130401311 1568370688 367657 4089446400 4194304 7136930 140735309177360 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/8882/statm: 382903 367657 399 719 0 382182 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1531612
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 9069
/proc/meminfo: memFree=26757104/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1531612 CPUtime=1801.83
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 369503 0 0 0 177490 2693 0 0 20 0 1 0 130401311 1568370688 367657 4089446400 4194304 7136930 140735309177360 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/8882/statm: 382903 367657 399 719 0 382182 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 1531612
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 9069
/proc/meminfo: memFree=26757104/32951124 swapFree=67111528/67111528
[pid=8882] ppid=8880 vsize=1531612 CPUtime=1802.03
/proc/8882/stat : 8882 (pbscip.linux.x8) R 8880 8882 7632 0 -1 4202496 369503 0 0 0 177510 2693 0 0 21 0 1 0 130401311 1568370688 367657 4089446400 4194304 7136930 140735309177360 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/8882/statm: 382903 367657 399 719 0 382182 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1531612
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.09
CPU user time (s): 1775.11
CPU system time (s): 26.9799
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1532128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.11
system time used= 26.9799
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369503
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= 3
involuntary context switches= 2290
runsolver used 2.66859 second user time and 5.96609 second system time
The end
Begin job on node107 at 2010-06-30 11:43:58
IDJOB=2693732
IDBENCH=78692
IDSOLVER=1206
FILE ID=node107/2693732-1277891038
PBS_JOBID= 11197139
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693732-1277891038/watcher-2693732-1277891038 -o /tmp/evaluation-result-2693732-1277891038/solver-2693732-1277891038 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693732-1277891038.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fc69cf5fb8ed09269ce87a121862dce7
RANDOM SEED=1904254652
node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.81
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29160668 kB
Buffers: 173204 kB
Cached: 1268540 kB
SwapCached: 0 kB
Active: 2537020 kB
Inactive: 1104328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29160668 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3480 kB
Writeback: 0 kB
AnonPages: 2200332 kB
Mapped: 14928 kB
Slab: 79348 kB
PageTables: 9056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2343560 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node107 at 2010-06-30 12:14:00