0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.16 c #variables 35169 #constraints 28953
0.08/0.16 c objective is ce32
0.08/0.16 c initial watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
0.08/0.16 c initial counting CF 32, 64, 128, Arb: 22177 , 0 , 0 , 0
0.08/0.16 c GLOBAL bounds - >= 0 @ 0.11289
0.08/0.19 c GLOBAL bounds - >= 0 @ 0.130386
30.78/30.95 c #Conflicts: 1000 | #Constraints: 29952
30.78/30.95 c #Conflicts: 2000 | #Constraints: 30952
30.78/30.95 c INPROCESSING
30.78/30.95 c GARBAGE COLLECT
30.78/30.95 c #Conflicts: 3000 | #Constraints: 30959
30.78/30.95 c #Conflicts: 4000 | #Constraints: 31959
30.78/30.95 c INPROCESSING
30.78/30.95 c GARBAGE COLLECT
30.78/30.95 c #Conflicts: 5000 | #Constraints: 31371
30.78/30.95 c #Conflicts: 6000 | #Constraints: 32371
30.78/30.95 c INPROCESSING
30.78/30.95 c GARBAGE COLLECT
30.78/30.95 c #Conflicts: 7000 | #Constraints: 31390
30.78/30.95 c #Conflicts: 8000 | #Constraints: 32391
30.78/30.95 c #Conflicts: 9000 | #Constraints: 33391
30.78/30.95 c INPROCESSING
30.78/30.95 c GARBAGE COLLECT
30.78/30.95 c #Conflicts: 10000 | #Constraints: 32106
30.78/30.95 c #Conflicts: 11000 | #Constraints: 33106
30.78/30.95 c #Conflicts: 12000 | #Constraints: 34106
30.78/30.95 c INPROCESSING
30.78/30.95 c GARBAGE COLLECT
30.78/30.95 c #Conflicts: 13000 | #Constraints: 32571
30.78/30.95 c #Conflicts: 14000 | #Constraints: 33571
30.78/30.95 c #Conflicts: 15000 | #Constraints: 34571
30.78/30.95 c INPROCESSING
30.78/30.95 c GARBAGE COLLECT
30.78/30.95 c rational objective 0
38.26/38.47 c #Conflicts: 16000 | #Constraints: 32859
38.26/38.47 c #Conflicts: 17000 | #Constraints: 33859
38.26/38.47 c #Conflicts: 18000 | #Constraints: 34860
38.26/38.47 c INPROCESSING
38.26/38.47 c GARBAGE COLLECT
38.26/38.47 c rational objective 0
48.24/48.44 c #Conflicts: 19000 | #Constraints: 32930
48.24/48.44 c #Conflicts: 20000 | #Constraints: 33930
48.24/48.44 c #Conflicts: 21000 | #Constraints: 34930
48.24/48.44 c INPROCESSING
48.24/48.44 c GARBAGE COLLECT
48.24/48.44 c #Conflicts: 22000 | #Constraints: 32677
48.24/48.44 c #Conflicts: 23000 | #Constraints: 33677
48.24/48.44 c #Conflicts: 24000 | #Constraints: 34677
48.24/48.44 c #Conflicts: 25000 | #Constraints: 35677
48.24/48.44 c INPROCESSING
48.24/48.44 c GARBAGE COLLECT
48.24/48.44 c rational objective 0
55.62/55.88 c #Conflicts: 26000 | #Constraints: 33319
55.62/55.88 c #Conflicts: 27000 | #Constraints: 34320
55.62/55.88 c #Conflicts: 28000 | #Constraints: 35324
55.62/55.88 c #Conflicts: 29000 | #Constraints: 36325
55.62/55.88 c INPROCESSING
55.62/55.88 c GARBAGE COLLECT
55.62/55.88 c rational objective 0
68.89/69.10 c #Conflicts: 30000 | #Constraints: 33757
68.89/69.10 c #Conflicts: 31000 | #Constraints: 34757
68.89/69.10 c #Conflicts: 32000 | #Constraints: 35757
68.89/69.10 c #Conflicts: 33000 | #Constraints: 36757
68.89/69.10 c INPROCESSING
68.89/69.10 c GARBAGE COLLECT
68.89/69.10 c rational objective 0
95.51/95.85 c #Conflicts: 34000 | #Constraints: 33968
95.51/95.85 c #Conflicts: 35000 | #Constraints: 34968
95.51/95.85 c #Conflicts: 36000 | #Constraints: 35968
95.51/95.85 c #Conflicts: 37000 | #Constraints: 36968
95.51/95.85 c INPROCESSING
95.51/95.85 c GARBAGE COLLECT
95.51/95.85 c #Conflicts: 38000 | #Constraints: 33925
95.51/95.85 c #Conflicts: 39000 | #Constraints: 34925
95.51/95.85 c #Conflicts: 40000 | #Constraints: 35926
95.51/95.85 c #Conflicts: 41000 | #Constraints: 36927
95.51/95.85 c INPROCESSING
95.51/95.85 c GARBAGE COLLECT
95.51/95.85 c rational objective 0
124.93/125.34 c #Conflicts: 42000 | #Constraints: 33754
124.93/125.34 c #Conflicts: 43000 | #Constraints: 34757
124.93/125.34 c #Conflicts: 44000 | #Constraints: 35757
124.93/125.34 c #Conflicts: 45000 | #Constraints: 36759
124.93/125.34 c #Conflicts: 46000 | #Constraints: 37763
124.93/125.34 c INPROCESSING
124.93/125.34 c GARBAGE COLLECT
124.93/125.34 c #Conflicts: 47000 | #Constraints: 34310
124.93/125.34 c #Conflicts: 48000 | #Constraints: 35313
124.93/125.34 c #Conflicts: 49000 | #Constraints: 36316
124.93/125.34 c #Conflicts: 50000 | #Constraints: 37320
124.93/125.34 c #Conflicts: 51000 | #Constraints: 38322
124.93/125.34 c INPROCESSING
124.93/125.34 c GARBAGE COLLECT
124.93/125.34 c #Conflicts: 52000 | #Constraints: 34729
124.93/125.34 c #Conflicts: 53000 | #Constraints: 35729
124.93/125.34 c #Conflicts: 54000 | #Constraints: 36729
124.93/125.34 c #Conflicts: 55000 | #Constraints: 37730
124.93/125.34 c #Conflicts: 56000 | #Constraints: 38731
124.93/125.34 c INPROCESSING
124.93/125.34 c GARBAGE COLLECT
124.93/125.34 c rational objective 0
132.41/132.88 c #Conflicts: 57000 | #Constraints: 35007
132.41/132.88 c #Conflicts: 58000 | #Constraints: 36008
132.41/132.88 c #Conflicts: 59000 | #Constraints: 37008
132.41/132.88 c #Conflicts: 60000 | #Constraints: 38008
132.41/132.88 c #Conflicts: 61000 | #Constraints: 39008
132.41/132.88 c INPROCESSING
132.41/132.88 c GARBAGE COLLECT
132.41/132.88 c rational objective 0
141.59/142.00 c #Conflicts: 62000 | #Constraints: 35002
141.59/142.00 c #Conflicts: 63000 | #Constraints: 36003
141.59/142.00 c #Conflicts: 64000 | #Constraints: 37003
141.59/142.00 c #Conflicts: 65000 | #Constraints: 38003
141.59/142.00 c #Conflicts: 66000 | #Constraints: 39003
141.59/142.00 c INPROCESSING
141.59/142.00 c GARBAGE COLLECT
141.59/142.00 c rational objective 0
151.16/151.66 c #Conflicts: 67000 | #Constraints: 34794
151.16/151.66 c #Conflicts: 68000 | #Constraints: 35796
151.16/151.66 c #Conflicts: 69000 | #Constraints: 36799
151.16/151.66 c #Conflicts: 70000 | #Constraints: 37801
151.16/151.66 c #Conflicts: 71000 | #Constraints: 38802
151.16/151.66 c #Conflicts: 72000 | #Constraints: 39805
151.16/151.66 c INPROCESSING
151.16/151.66 c GARBAGE COLLECT
151.16/151.66 c rational objective 0
168.32/168.87 c #Conflicts: 73000 | #Constraints: 35408
168.32/168.87 c #Conflicts: 74000 | #Constraints: 36408
168.32/168.87 c #Conflicts: 75000 | #Constraints: 37408
168.32/168.87 c #Conflicts: 76000 | #Constraints: 38408
168.32/168.87 c #Conflicts: 77000 | #Constraints: 39409
168.32/168.87 c #Conflicts: 78000 | #Constraints: 40409
168.32/168.87 c INPROCESSING
168.32/168.87 c GARBAGE COLLECT
168.32/168.87 c rational objective 0
179.59/180.19 c #Conflicts: 79000 | #Constraints: 35810
179.59/180.19 c #Conflicts: 80000 | #Constraints: 36811
179.59/180.19 c #Conflicts: 81000 | #Constraints: 37811
179.59/180.19 c #Conflicts: 82000 | #Constraints: 38811
179.59/180.19 c #Conflicts: 83000 | #Constraints: 39811
179.59/180.19 c #Conflicts: 84000 | #Constraints: 40811
179.59/180.19 c INPROCESSING
179.59/180.19 c GARBAGE COLLECT
179.59/180.19 c rational objective 0
191.96/192.58 c #Conflicts: 85000 | #Constraints: 36008
191.96/192.58 c #Conflicts: 86000 | #Constraints: 37008
191.96/192.58 c #Conflicts: 87000 | #Constraints: 38011
191.96/192.58 c #Conflicts: 88000 | #Constraints: 39014
191.96/192.58 c #Conflicts: 89000 | #Constraints: 40019
191.96/192.58 c #Conflicts: 90000 | #Constraints: 41022
191.96/192.58 c INPROCESSING
191.96/192.58 c GARBAGE COLLECT
191.96/192.58 c rational objective 0
210.80/211.43 c #Conflicts: 91000 | #Constraints: 36022
210.80/211.43 c #Conflicts: 92000 | #Constraints: 37022
210.80/211.43 c #Conflicts: 93000 | #Constraints: 38022
210.80/211.43 c #Conflicts: 94000 | #Constraints: 39022
210.80/211.43 c #Conflicts: 95000 | #Constraints: 40022
210.80/211.43 c #Conflicts: 96000 | #Constraints: 41022
210.80/211.43 c INPROCESSING
210.80/211.43 c GARBAGE COLLECT
210.80/211.43 c rational objective 0
239.73/240.49 c #Conflicts: 97000 | #Constraints: 35815
239.73/240.49 c #Conflicts: 98000 | #Constraints: 36816
239.73/240.49 c #Conflicts: 99000 | #Constraints: 37819
239.73/240.49 c #Conflicts: 100000 | #Constraints: 38822
239.73/240.49 c #Conflicts: 101000 | #Constraints: 39825
239.73/240.49 c #Conflicts: 102000 | #Constraints: 40829
239.73/240.49 c #Conflicts: 103000 | #Constraints: 41835
239.73/240.49 c INPROCESSING
239.73/240.49 c GARBAGE COLLECT
239.73/240.49 c #Conflicts: 104000 | #Constraints: 36407
239.73/240.49 c #Conflicts: 105000 | #Constraints: 37408
239.73/240.49 c #Conflicts: 106000 | #Constraints: 38409
239.73/240.49 c #Conflicts: 107000 | #Constraints: 39410
239.73/240.49 c #Conflicts: 108000 | #Constraints: 40410
239.73/240.49 c #Conflicts: 109000 | #Constraints: 41411
239.73/240.49 c #Conflicts: 110000 | #Constraints: 42412
239.73/240.49 c INPROCESSING
239.73/240.49 c GARBAGE COLLECT
239.73/240.49 c rational objective 0
252.19/252.91 c #Conflicts: 111000 | #Constraints: 36833
252.19/252.91 c #Conflicts: 112000 | #Constraints: 37833
252.19/252.91 c #Conflicts: 113000 | #Constraints: 38834
252.19/252.91 c #Conflicts: 114000 | #Constraints: 39837
252.19/252.91 c #Conflicts: 115000 | #Constraints: 40840
252.19/252.91 c #Conflicts: 116000 | #Constraints: 41842
252.19/252.91 c #Conflicts: 117000 | #Constraints: 42844
252.19/252.91 c INPROCESSING
252.19/252.91 c GARBAGE COLLECT
252.19/252.91 c rational objective 0
291.59/292.40 c #Conflicts: 118000 | #Constraints: 37081
291.59/292.40 c #Conflicts: 119000 | #Constraints: 38082
291.59/292.40 c #Conflicts: 120000 | #Constraints: 39085
291.59/292.40 c #Conflicts: 121000 | #Constraints: 40087
291.59/292.40 c #Conflicts: 122000 | #Constraints: 41088
291.59/292.40 c #Conflicts: 123000 | #Constraints: 42091
291.59/292.40 c #Conflicts: 124000 | #Constraints: 43095
291.59/292.40 c INPROCESSING
291.59/292.40 c GARBAGE COLLECT
291.59/292.40 c #Conflicts: 125000 | #Constraints: 37037
291.59/292.40 c #Conflicts: 126000 | #Constraints: 38039
291.59/292.40 c #Conflicts: 127000 | #Constraints: 39039
291.59/292.40 c #Conflicts: 128000 | #Constraints: 40040
291.59/292.40 c #Conflicts: 129000 | #Constraints: 41041
291.59/292.40 c #Conflicts: 130000 | #Constraints: 42042
291.59/292.40 c #Conflicts: 131000 | #Constraints: 43042
291.59/292.40 c INPROCESSING
291.59/292.40 c GARBAGE COLLECT
291.59/292.40 c rational objective 0
314.63/315.53 c #Conflicts: 132000 | #Constraints: 36840
314.63/315.53 c #Conflicts: 133000 | #Constraints: 37840
314.63/315.53 c #Conflicts: 134000 | #Constraints: 38841
314.63/315.53 c #Conflicts: 135000 | #Constraints: 39842
314.63/315.53 c #Conflicts: 136000 | #Constraints: 40843
314.63/315.53 c #Conflicts: 137000 | #Constraints: 41845
314.63/315.53 c #Conflicts: 138000 | #Constraints: 42847
314.63/315.53 c #Conflicts: 139000 | #Constraints: 43848
314.63/315.53 c INPROCESSING
314.63/315.53 c GARBAGE COLLECT
314.63/315.53 c rational objective 0
339.66/340.61 c #Conflicts: 140000 | #Constraints: 37451
339.66/340.61 c #Conflicts: 141000 | #Constraints: 38452
339.66/340.61 c #Conflicts: 142000 | #Constraints: 39453
339.66/340.61 c #Conflicts: 143000 | #Constraints: 40454
339.66/340.61 c #Conflicts: 144000 | #Constraints: 41454
339.66/340.61 c #Conflicts: 145000 | #Constraints: 42454
339.66/340.61 c #Conflicts: 146000 | #Constraints: 43457
339.66/340.61 c #Conflicts: 147000 | #Constraints: 44460
339.66/340.61 c INPROCESSING
339.66/340.61 c GARBAGE COLLECT
339.66/340.61 c rational objective 0
357.51/358.50 c #Conflicts: 148000 | #Constraints: 37865
357.51/358.50 c #Conflicts: 149000 | #Constraints: 38866
357.51/358.50 c #Conflicts: 150000 | #Constraints: 39868
357.51/358.50 c #Conflicts: 151000 | #Constraints: 40868
357.51/358.50 c #Conflicts: 152000 | #Constraints: 41868
357.51/358.50 c #Conflicts: 153000 | #Constraints: 42868
357.51/358.50 c #Conflicts: 154000 | #Constraints: 43869
357.51/358.50 c #Conflicts: 155000 | #Constraints: 44869
357.51/358.50 c INPROCESSING
357.51/358.50 c GARBAGE COLLECT
357.51/358.50 c rational objective 0
375.66/376.75 c #Conflicts: 156000 | #Constraints: 38099
375.66/376.75 c #Conflicts: 157000 | #Constraints: 39101
375.66/376.75 c #Conflicts: 158000 | #Constraints: 40103
375.66/376.75 c #Conflicts: 159000 | #Constraints: 41105
375.66/376.75 c #Conflicts: 160000 | #Constraints: 42105
375.66/376.75 c #Conflicts: 161000 | #Constraints: 43105
375.66/376.75 c #Conflicts: 162000 | #Constraints: 44106
375.66/376.75 c #Conflicts: 163000 | #Constraints: 45107
375.66/376.75 c INPROCESSING
375.66/376.75 c GARBAGE COLLECT
375.66/376.75 c rational objective 0
386.63/387.75 c #Conflicts: 164000 | #Constraints: 38086
386.63/387.75 c #Conflicts: 165000 | #Constraints: 39086
386.63/387.75 c #Conflicts: 166000 | #Constraints: 40087
386.63/387.75 c #Conflicts: 167000 | #Constraints: 41087
386.63/387.75 c #Conflicts: 168000 | #Constraints: 42087
386.63/387.75 c #Conflicts: 169000 | #Constraints: 43087
386.63/387.75 c #Conflicts: 170000 | #Constraints: 44087
386.63/387.75 c #Conflicts: 171000 | #Constraints: 45087
386.63/387.75 c INPROCESSING
386.63/387.75 c GARBAGE COLLECT
386.63/387.75 c rational objective 0
398.91/400.03 c #Conflicts: 172000 | #Constraints: 37903
398.91/400.03 c #Conflicts: 173000 | #Constraints: 38903
398.91/400.03 c #Conflicts: 174000 | #Constraints: 39903
398.91/400.03 c #Conflicts: 175000 | #Constraints: 40903
398.91/400.03 c #Conflicts: 176000 | #Constraints: 41904
398.91/400.03 c #Conflicts: 177000 | #Constraints: 42906
398.91/400.03 c #Conflicts: 178000 | #Constraints: 43906
398.91/400.03 c #Conflicts: 179000 | #Constraints: 44906
398.91/400.03 c #Conflicts: 180000 | #Constraints: 45907
398.91/400.03 c INPROCESSING
398.91/400.03 c GARBAGE COLLECT
398.91/400.03 c rational objective 0
417.06/418.21 c #Conflicts: 181000 | #Constraints: 38525
417.06/418.21 c #Conflicts: 182000 | #Constraints: 39525
417.06/418.21 c #Conflicts: 183000 | #Constraints: 40525
417.06/418.21 c #Conflicts: 184000 | #Constraints: 41525
417.06/418.21 c #Conflicts: 185000 | #Constraints: 42527
417.06/418.21 c #Conflicts: 186000 | #Constraints: 43528
417.06/418.21 c #Conflicts: 187000 | #Constraints: 44530
417.06/418.21 c #Conflicts: 188000 | #Constraints: 45532
417.06/418.21 c #Conflicts: 189000 | #Constraints: 46536
417.06/418.21 c INPROCESSING
417.06/418.21 c GARBAGE COLLECT
417.06/418.21 c rational objective 0
448.27/449.57 c #Conflicts: 190000 | #Constraints: 38935
448.27/449.57 c #Conflicts: 191000 | #Constraints: 39937
448.27/449.57 c #Conflicts: 192000 | #Constraints: 40940
448.27/449.57 c #Conflicts: 193000 | #Constraints: 41943
448.27/449.57 c #Conflicts: 194000 | #Constraints: 42948
448.27/449.57 c #Conflicts: 195000 | #Constraints: 43951
448.27/449.57 c #Conflicts: 196000 | #Constraints: 44953
448.27/449.57 c #Conflicts: 197000 | #Constraints: 45956
448.27/449.57 c #Conflicts: 198000 | #Constraints: 46959
448.27/449.57 c INPROCESSING
448.27/449.57 c GARBAGE COLLECT
448.27/449.57 c rational objective 0
468.42/469.79 c #Conflicts: 199000 | #Constraints: 39155
468.42/469.79 c #Conflicts: 200000 | #Constraints: 40155
468.42/469.79 c #Conflicts: 201000 | #Constraints: 41156
468.42/469.79 c #Conflicts: 202000 | #Constraints: 42159
468.42/469.79 c #Conflicts: 203000 | #Constraints: 43160
468.42/469.79 c #Conflicts: 204000 | #Constraints: 44163
468.42/469.79 c #Conflicts: 205000 | #Constraints: 45165
468.42/469.79 c #Conflicts: 206000 | #Constraints: 46167
468.42/469.79 c #Conflicts: 207000 | #Constraints: 47170
468.42/469.79 c INPROCESSING
468.42/469.79 c GARBAGE COLLECT
468.42/469.79 c rational objective 0
490.16/491.50 c #Conflicts: 208000 | #Constraints: 39112
490.16/491.50 c #Conflicts: 209000 | #Constraints: 40112
490.16/491.50 c #Conflicts: 210000 | #Constraints: 41113
490.16/491.50 c #Conflicts: 211000 | #Constraints: 42113
490.16/491.50 c #Conflicts: 212000 | #Constraints: 43115
490.16/491.50 c #Conflicts: 213000 | #Constraints: 44118
490.16/491.50 c #Conflicts: 214000 | #Constraints: 45118
490.16/491.50 c #Conflicts: 215000 | #Constraints: 46118
490.16/491.50 c #Conflicts: 216000 | #Constraints: 47120
490.16/491.50 c INPROCESSING
490.16/491.50 c GARBAGE COLLECT
490.16/491.50 c rational objective 0
510.22/511.64 c #Conflicts: 217000 | #Constraints: 38926
510.22/511.64 c #Conflicts: 218000 | #Constraints: 39927
510.22/511.64 c #Conflicts: 219000 | #Constraints: 40927
510.22/511.64 c #Conflicts: 220000 | #Constraints: 41927
510.22/511.64 c #Conflicts: 221000 | #Constraints: 42927
510.22/511.64 c #Conflicts: 222000 | #Constraints: 43927
510.22/511.64 c #Conflicts: 223000 | #Constraints: 44929
510.22/511.64 c #Conflicts: 224000 | #Constraints: 45929
510.22/511.64 c #Conflicts: 225000 | #Constraints: 46935
510.22/511.64 c #Conflicts: 226000 | #Constraints: 47939
510.22/511.64 c INPROCESSING
510.22/511.64 c GARBAGE COLLECT
510.22/511.64 c rational objective 0
528.97/530.45 c #Conflicts: 227000 | #Constraints: 39489
528.97/530.45 c #Conflicts: 228000 | #Constraints: 40489
528.97/530.45 c #Conflicts: 229000 | #Constraints: 41489
528.97/530.45 c #Conflicts: 230000 | #Constraints: 42489
528.97/530.45 c #Conflicts: 231000 | #Constraints: 43489
528.97/530.45 c #Conflicts: 232000 | #Constraints: 44489
528.97/530.45 c #Conflicts: 233000 | #Constraints: 45489
528.97/530.45 c #Conflicts: 234000 | #Constraints: 46489
528.97/530.45 c #Conflicts: 235000 | #Constraints: 47490
528.97/530.45 c #Conflicts: 236000 | #Constraints: 48491
528.97/530.45 c INPROCESSING
528.97/530.45 c GARBAGE COLLECT
528.97/530.45 c rational objective 0
546.42/547.93 c #Conflicts: 237000 | #Constraints: 39919
546.42/547.93 c #Conflicts: 238000 | #Constraints: 40921
546.42/547.93 c #Conflicts: 239000 | #Constraints: 41921
546.42/547.93 c #Conflicts: 240000 | #Constraints: 42923
546.42/547.93 c #Conflicts: 241000 | #Constraints: 43924
546.42/547.93 c #Conflicts: 242000 | #Constraints: 44925
546.42/547.93 c #Conflicts: 243000 | #Constraints: 45926
546.42/547.93 c #Conflicts: 244000 | #Constraints: 46927
546.42/547.93 c #Conflicts: 245000 | #Constraints: 47928
546.42/547.93 c #Conflicts: 246000 | #Constraints: 48928
546.42/547.93 c INPROCESSING
546.42/547.93 c GARBAGE COLLECT
546.42/547.93 c rational objective 0
569.47/571.10 c #Conflicts: 247000 | #Constraints: 40135
569.47/571.10 c #Conflicts: 248000 | #Constraints: 41135
569.47/571.10 c #Conflicts: 249000 | #Constraints: 42135
569.47/571.10 c #Conflicts: 250000 | #Constraints: 43136
569.47/571.10 c #Conflicts: 251000 | #Constraints: 44136
569.47/571.10 c #Conflicts: 252000 | #Constraints: 45136
569.47/571.10 c #Conflicts: 253000 | #Constraints: 46137
569.47/571.10 c #Conflicts: 254000 | #Constraints: 47138
569.47/571.10 c #Conflicts: 255000 | #Constraints: 48140
569.47/571.10 c #Conflicts: 256000 | #Constraints: 49141
569.47/571.10 c INPROCESSING
569.47/571.10 c GARBAGE COLLECT
569.47/571.10 c rational objective 0
588.11/589.79 c #Conflicts: 257000 | #Constraints: 40181
588.11/589.79 c #Conflicts: 258000 | #Constraints: 41182
588.11/589.79 c #Conflicts: 259000 | #Constraints: 42183
588.11/589.79 c #Conflicts: 260000 | #Constraints: 43183
588.11/589.79 c #Conflicts: 261000 | #Constraints: 44183
588.11/589.79 c #Conflicts: 262000 | #Constraints: 45184
588.11/589.79 c #Conflicts: 263000 | #Constraints: 46185
588.11/589.79 c #Conflicts: 264000 | #Constraints: 47189
588.11/589.79 c #Conflicts: 265000 | #Constraints: 48190
588.11/589.79 c #Conflicts: 266000 | #Constraints: 49190
588.11/589.79 c INPROCESSING
588.11/589.79 c GARBAGE COLLECT
588.11/589.79 c rational objective 0
604.86/606.59 c #Conflicts: 267000 | #Constraints: 40027
604.86/606.59 c #Conflicts: 268000 | #Constraints: 41027
604.86/606.59 c #Conflicts: 269000 | #Constraints: 42027
604.86/606.59 c #Conflicts: 270000 | #Constraints: 43027
604.86/606.59 c #Conflicts: 271000 | #Constraints: 44027
604.86/606.59 c #Conflicts: 272000 | #Constraints: 45027
604.86/606.59 c #Conflicts: 273000 | #Constraints: 46030
604.86/606.59 c #Conflicts: 274000 | #Constraints: 47033
604.86/606.59 c #Conflicts: 275000 | #Constraints: 48036
604.86/606.59 c #Conflicts: 276000 | #Constraints: 49038
604.86/606.59 c #Conflicts: 277000 | #Constraints: 50038
604.86/606.59 c INPROCESSING
604.86/606.59 c GARBAGE COLLECT
604.86/606.59 c rational objective 0
621.92/623.66 c #Conflicts: 278000 | #Constraints: 40624
621.92/623.66 c #Conflicts: 279000 | #Constraints: 41624
621.92/623.66 c #Conflicts: 280000 | #Constraints: 42624
621.92/623.66 c #Conflicts: 281000 | #Constraints: 43624
621.92/623.66 c #Conflicts: 282000 | #Constraints: 44624
621.92/623.66 c #Conflicts: 283000 | #Constraints: 45624
621.92/623.66 c #Conflicts: 284000 | #Constraints: 46624
621.92/623.66 c #Conflicts: 285000 | #Constraints: 47624
621.92/623.66 c #Conflicts: 286000 | #Constraints: 48624
621.92/623.66 c #Conflicts: 287000 | #Constraints: 49624
621.92/623.66 c #Conflicts: 288000 | #Constraints: 50624
621.92/623.66 c INPROCESSING
621.92/623.66 c GARBAGE COLLECT
621.92/623.66 c rational objective 0
650.25/652.02 c #Conflicts: 289000 | #Constraints: 40986
650.25/652.02 c #Conflicts: 290000 | #Constraints: 41987
650.25/652.02 c #Conflicts: 291000 | #Constraints: 42989
650.25/652.02 c #Conflicts: 292000 | #Constraints: 43992
650.25/652.02 c #Conflicts: 293000 | #Constraints: 44994
650.25/652.02 c #Conflicts: 294000 | #Constraints: 45995
650.25/652.02 c #Conflicts: 295000 | #Constraints: 46996
650.25/652.02 c #Conflicts: 296000 | #Constraints: 47997
650.25/652.02 c #Conflicts: 297000 | #Constraints: 48997
650.25/652.02 c #Conflicts: 298000 | #Constraints: 49999
650.25/652.02 c #Conflicts: 299000 | #Constraints: 50999
650.25/652.02 c INPROCESSING
650.25/652.02 c GARBAGE COLLECT
650.25/652.02 c rational objective 0
668.20/670.03 c #Conflicts: 300000 | #Constraints: 41187
668.20/670.03 c #Conflicts: 301000 | #Constraints: 42187
668.20/670.03 c #Conflicts: 302000 | #Constraints: 43187
668.20/670.03 c #Conflicts: 303000 | #Constraints: 44187
668.20/670.03 c #Conflicts: 304000 | #Constraints: 45187
668.20/670.03 c #Conflicts: 305000 | #Constraints: 46187
668.20/670.03 c #Conflicts: 306000 | #Constraints: 47187
668.20/670.03 c #Conflicts: 307000 | #Constraints: 48187
668.20/670.03 c #Conflicts: 308000 | #Constraints: 49187
668.20/670.03 c #Conflicts: 309000 | #Constraints: 50187
668.20/670.03 c #Conflicts: 310000 | #Constraints: 51187
668.20/670.03 c INPROCESSING
668.20/670.03 c GARBAGE COLLECT
668.20/670.03 c rational objective 0
692.03/693.90 c #Conflicts: 311000 | #Constraints: 41196
692.03/693.90 c #Conflicts: 312000 | #Constraints: 42197
692.03/693.90 c #Conflicts: 313000 | #Constraints: 43197
692.03/693.90 c #Conflicts: 314000 | #Constraints: 44198
692.03/693.90 c #Conflicts: 315000 | #Constraints: 45199
692.03/693.90 c #Conflicts: 316000 | #Constraints: 46199
692.03/693.90 c #Conflicts: 317000 | #Constraints: 47199
692.03/693.90 c #Conflicts: 318000 | #Constraints: 48199
692.03/693.90 c #Conflicts: 319000 | #Constraints: 49201
692.03/693.90 c #Conflicts: 320000 | #Constraints: 50204
692.03/693.90 c #Conflicts: 321000 | #Constraints: 51207
692.03/693.90 c INPROCESSING
692.03/693.90 c GARBAGE COLLECT
692.03/693.90 c rational objective 0
737.91/740.00 c #Conflicts: 322000 | #Constraints: 40991
737.91/740.00 c #Conflicts: 323000 | #Constraints: 41992
737.91/740.00 c #Conflicts: 324000 | #Constraints: 42993
737.91/740.00 c #Conflicts: 325000 | #Constraints: 43994
737.91/740.00 c #Conflicts: 326000 | #Constraints: 44995
737.91/740.00 c #Conflicts: 327000 | #Constraints: 45996
737.91/740.00 c #Conflicts: 328000 | #Constraints: 46999
737.91/740.00 c #Conflicts: 329000 | #Constraints: 48000
737.91/740.00 c #Conflicts: 330000 | #Constraints: 49001
737.91/740.00 c #Conflicts: 331000 | #Constraints: 50003
737.91/740.00 c #Conflicts: 332000 | #Constraints: 51004
737.91/740.00 c #Conflicts: 333000 | #Constraints: 52006
737.91/740.00 c INPROCESSING
737.91/740.00 c GARBAGE COLLECT
737.91/740.00 c rational objective 0
760.86/762.94 c #Conflicts: 334000 | #Constraints: 41574
760.86/762.94 c #Conflicts: 335000 | #Constraints: 42575
760.86/762.94 c #Conflicts: 336000 | #Constraints: 43576
760.86/762.94 c #Conflicts: 337000 | #Constraints: 44577
760.86/762.94 c #Conflicts: 338000 | #Constraints: 45580
760.86/762.94 c #Conflicts: 339000 | #Constraints: 46583
760.86/762.94 c #Conflicts: 340000 | #Constraints: 47586
760.86/762.94 c #Conflicts: 341000 | #Constraints: 48587
760.86/762.94 c #Conflicts: 342000 | #Constraints: 49587
760.86/762.94 c #Conflicts: 343000 | #Constraints: 50587
760.86/762.94 c #Conflicts: 344000 | #Constraints: 51587
760.86/762.94 c #Conflicts: 345000 | #Constraints: 52587
760.86/762.94 c INPROCESSING
760.86/762.94 c GARBAGE COLLECT
760.86/762.94 c rational objective 0
792.07/794.28 c #Conflicts: 346000 | #Constraints: 42005
792.07/794.28 c #Conflicts: 347000 | #Constraints: 43006
792.07/794.28 c #Conflicts: 348000 | #Constraints: 44006
792.07/794.28 c #Conflicts: 349000 | #Constraints: 45007
792.07/794.28 c #Conflicts: 350000 | #Constraints: 46009
792.07/794.28 c #Conflicts: 351000 | #Constraints: 47010
792.07/794.28 c #Conflicts: 352000 | #Constraints: 48010
792.07/794.28 c #Conflicts: 353000 | #Constraints: 49013
792.07/794.28 c #Conflicts: 354000 | #Constraints: 50016
792.07/794.28 c #Conflicts: 355000 | #Constraints: 51017
792.07/794.28 c #Conflicts: 356000 | #Constraints: 52019
792.07/794.28 c #Conflicts: 357000 | #Constraints: 53020
792.07/794.28 c INPROCESSING
792.07/794.28 c GARBAGE COLLECT
792.07/794.28 c rational objective 0
813.62/815.82 c #Conflicts: 358000 | #Constraints: 42222
813.62/815.82 c #Conflicts: 359000 | #Constraints: 43222
813.62/815.82 c #Conflicts: 360000 | #Constraints: 44222
813.62/815.82 c #Conflicts: 361000 | #Constraints: 45222
813.62/815.82 c #Conflicts: 362000 | #Constraints: 46222
813.62/815.82 c #Conflicts: 363000 | #Constraints: 47222
813.62/815.82 c #Conflicts: 364000 | #Constraints: 48222
813.62/815.82 c #Conflicts: 365000 | #Constraints: 49222
813.62/815.82 c #Conflicts: 366000 | #Constraints: 50222
813.62/815.82 c #Conflicts: 367000 | #Constraints: 51222
813.62/815.82 c #Conflicts: 368000 | #Constraints: 52222
813.62/815.82 c #Conflicts: 369000 | #Constraints: 53222
813.62/815.82 c INPROCESSING
813.62/815.82 c GARBAGE COLLECT
813.62/815.82 c rational objective 0
835.07/837.36 c #Conflicts: 370000 | #Constraints: 42228
835.07/837.36 c #Conflicts: 371000 | #Constraints: 43228
835.07/837.36 c #Conflicts: 372000 | #Constraints: 44228
835.07/837.36 c #Conflicts: 373000 | #Constraints: 45228
835.07/837.36 c #Conflicts: 374000 | #Constraints: 46228
835.07/837.36 c #Conflicts: 375000 | #Constraints: 47228
835.07/837.36 c #Conflicts: 376000 | #Constraints: 48228
835.07/837.36 c #Conflicts: 377000 | #Constraints: 49228
835.07/837.36 c #Conflicts: 378000 | #Constraints: 50228
835.07/837.36 c #Conflicts: 379000 | #Constraints: 51228
835.07/837.36 c #Conflicts: 380000 | #Constraints: 52228
835.07/837.36 c #Conflicts: 381000 | #Constraints: 53228
835.07/837.36 c INPROCESSING
835.07/837.36 c GARBAGE COLLECT
835.07/837.36 c rational objective 0
875.66/878.09 c #Conflicts: 382000 | #Constraints: 42023
875.66/878.09 c #Conflicts: 383000 | #Constraints: 43024
875.66/878.09 c #Conflicts: 384000 | #Constraints: 44024
875.66/878.09 c #Conflicts: 385000 | #Constraints: 45024
875.66/878.09 c #Conflicts: 386000 | #Constraints: 46024
875.66/878.09 c #Conflicts: 387000 | #Constraints: 47026
875.66/878.09 c #Conflicts: 388000 | #Constraints: 48027
875.66/878.09 c #Conflicts: 389000 | #Constraints: 49029
875.66/878.09 c #Conflicts: 390000 | #Constraints: 50032
875.66/878.09 c #Conflicts: 391000 | #Constraints: 51084
875.66/878.09 c #Conflicts: 392000 | #Constraints: 52084
875.66/878.09 c #Conflicts: 393000 | #Constraints: 53084
875.66/878.09 c #Conflicts: 394000 | #Constraints: 54084
875.66/878.09 c INPROCESSING
875.66/878.09 c GARBAGE COLLECT
875.66/878.09 c rational objective 0
900.49/902.93 c #Conflicts: 395000 | #Constraints: 42644
900.49/902.93 c #Conflicts: 396000 | #Constraints: 43644
900.49/902.93 c #Conflicts: 397000 | #Constraints: 44644
900.49/902.93 c #Conflicts: 398000 | #Constraints: 45644
900.49/902.93 c #Conflicts: 399000 | #Constraints: 46644
900.49/902.93 c #Conflicts: 400000 | #Constraints: 47644
900.49/902.93 c #Conflicts: 401000 | #Constraints: 48644
900.49/902.93 c #Conflicts: 402000 | #Constraints: 49644
900.49/902.93 c #Conflicts: 403000 | #Constraints: 50644
900.49/902.93 c #Conflicts: 404000 | #Constraints: 51644
900.49/902.93 c #Conflicts: 405000 | #Constraints: 52644
900.49/902.93 c #Conflicts: 406000 | #Constraints: 53644
900.49/902.93 c #Conflicts: 407000 | #Constraints: 54644
900.49/902.93 c INPROCESSING
900.49/902.93 c GARBAGE COLLECT
900.49/902.93 c rational objective 0
930.21/932.71 c #Conflicts: 408000 | #Constraints: 43023
930.21/932.71 c #Conflicts: 409000 | #Constraints: 44023
930.21/932.71 c #Conflicts: 410000 | #Constraints: 45023
930.21/932.71 c #Conflicts: 411000 | #Constraints: 46024
930.21/932.71 c #Conflicts: 412000 | #Constraints: 47025
930.21/932.71 c #Conflicts: 413000 | #Constraints: 48025
930.21/932.71 c #Conflicts: 414000 | #Constraints: 49025
930.21/932.71 c #Conflicts: 415000 | #Constraints: 50026
930.21/932.71 c #Conflicts: 416000 | #Constraints: 51027
930.21/932.71 c #Conflicts: 417000 | #Constraints: 52028
930.21/932.71 c #Conflicts: 418000 | #Constraints: 53029
930.21/932.71 c #Conflicts: 419000 | #Constraints: 54031
930.21/932.71 c #Conflicts: 420000 | #Constraints: 55035
930.21/932.71 c INPROCESSING
930.21/932.71 c GARBAGE COLLECT
930.21/932.71 c rational objective 0
965.82/968.41 c #Conflicts: 421000 | #Constraints: 43234
965.82/968.41 c #Conflicts: 422000 | #Constraints: 44234
965.82/968.41 c #Conflicts: 423000 | #Constraints: 45234
965.82/968.41 c #Conflicts: 424000 | #Constraints: 46235
965.82/968.41 c #Conflicts: 425000 | #Constraints: 47236
965.82/968.41 c #Conflicts: 426000 | #Constraints: 48237
965.82/968.41 c #Conflicts: 427000 | #Constraints: 49238
965.82/968.41 c #Conflicts: 428000 | #Constraints: 50239
965.82/968.41 c #Conflicts: 429000 | #Constraints: 51239
965.82/968.41 c #Conflicts: 430000 | #Constraints: 52240
965.82/968.41 c #Conflicts: 431000 | #Constraints: 53241
965.82/968.41 c #Conflicts: 432000 | #Constraints: 54244
965.82/968.41 c #Conflicts: 433000 | #Constraints: 55248
965.82/968.41 c INPROCESSING
965.82/968.41 c GARBAGE COLLECT
965.82/968.41 c rational objective 0
995.84/998.59 c #Conflicts: 434000 | #Constraints: 43235
995.84/998.59 c #Conflicts: 435000 | #Constraints: 44235
995.84/998.59 c #Conflicts: 436000 | #Constraints: 45236
995.84/998.59 c #Conflicts: 437000 | #Constraints: 46238
995.84/998.59 c #Conflicts: 438000 | #Constraints: 47243
995.84/998.59 c #Conflicts: 439000 | #Constraints: 48245
995.84/998.59 c #Conflicts: 440000 | #Constraints: 49246
995.84/998.59 c #Conflicts: 441000 | #Constraints: 50246
995.84/998.59 c #Conflicts: 442000 | #Constraints: 51246
995.84/998.59 c #Conflicts: 443000 | #Constraints: 52248
995.84/998.59 c #Conflicts: 444000 | #Constraints: 53253
995.84/998.59 c #Conflicts: 445000 | #Constraints: 54256
995.84/998.59 c #Conflicts: 446000 | #Constraints: 55258
995.84/998.59 c INPROCESSING
995.84/998.59 c GARBAGE COLLECT
995.84/998.59 c rational objective 0
1037.23/1040.08 c #Conflicts: 447000 | #Constraints: 43050
1037.23/1040.08 c #Conflicts: 448000 | #Constraints: 44050
1037.23/1040.08 c #Conflicts: 449000 | #Constraints: 45050
1037.23/1040.08 c #Conflicts: 450000 | #Constraints: 46050
1037.23/1040.08 c #Conflicts: 451000 | #Constraints: 47050
1037.23/1040.08 c #Conflicts: 452000 | #Constraints: 48052
1037.23/1040.08 c #Conflicts: 453000 | #Constraints: 49053
1037.23/1040.08 c #Conflicts: 454000 | #Constraints: 50055
1037.23/1040.08 c #Conflicts: 455000 | #Constraints: 51057
1037.23/1040.08 c #Conflicts: 456000 | #Constraints: 52060
1037.23/1040.08 c #Conflicts: 457000 | #Constraints: 53062
1037.23/1040.08 c #Conflicts: 458000 | #Constraints: 54064
1037.23/1040.08 c #Conflicts: 459000 | #Constraints: 55067
1037.23/1040.08 c #Conflicts: 460000 | #Constraints: 56068
1037.23/1040.08 c INPROCESSING
1037.23/1040.08 c GARBAGE COLLECT
1037.23/1040.08 c rational objective 0
1069.25/1072.14 c #Conflicts: 461000 | #Constraints: 43653
1069.25/1072.14 c #Conflicts: 462000 | #Constraints: 44654
1069.25/1072.14 c #Conflicts: 463000 | #Constraints: 45654
1069.25/1072.14 c #Conflicts: 464000 | #Constraints: 46655
1069.25/1072.14 c #Conflicts: 465000 | #Constraints: 47656
1069.25/1072.14 c #Conflicts: 466000 | #Constraints: 48656
1069.25/1072.14 c #Conflicts: 467000 | #Constraints: 49656
1069.25/1072.14 c #Conflicts: 468000 | #Constraints: 50657
1069.25/1072.14 c #Conflicts: 469000 | #Constraints: 51660
1069.25/1072.14 c #Conflicts: 470000 | #Constraints: 52663
1069.25/1072.14 c #Conflicts: 471000 | #Constraints: 53667
1069.25/1072.14 c #Conflicts: 472000 | #Constraints: 54667
1069.25/1072.14 c #Conflicts: 473000 | #Constraints: 55670
1069.25/1072.14 c #Conflicts: 474000 | #Constraints: 56673
1069.25/1072.14 c INPROCESSING
1069.25/1072.14 c GARBAGE COLLECT
1069.25/1072.14 c rational objective 0
1103.24/1106.29 c #Conflicts: 475000 | #Constraints: 44036
1103.24/1106.29 c #Conflicts: 476000 | #Constraints: 45038
1103.24/1106.29 c #Conflicts: 477000 | #Constraints: 46041
1103.24/1106.29 c #Conflicts: 478000 | #Constraints: 47044
1103.24/1106.29 c #Conflicts: 479000 | #Constraints: 48047
1103.24/1106.29 c #Conflicts: 480000 | #Constraints: 49048
1103.24/1106.29 c #Conflicts: 481000 | #Constraints: 50049
1103.24/1106.29 c #Conflicts: 482000 | #Constraints: 51052
1103.24/1106.29 c #Conflicts: 483000 | #Constraints: 52055
1103.24/1106.29 c #Conflicts: 484000 | #Constraints: 53059
1103.24/1106.29 c #Conflicts: 485000 | #Constraints: 54060
1103.24/1106.29 c #Conflicts: 486000 | #Constraints: 55062
1103.24/1106.29 c #Conflicts: 487000 | #Constraints: 56065
1103.24/1106.29 c #Conflicts: 488000 | #Constraints: 57068
1103.24/1106.29 c INPROCESSING
1103.24/1106.29 c GARBAGE COLLECT
1103.24/1106.29 c rational objective 0
1134.97/1138.01 c #Conflicts: 489000 | #Constraints: 44271
1134.97/1138.01 c #Conflicts: 490000 | #Constraints: 45273
1134.97/1138.01 c #Conflicts: 491000 | #Constraints: 46274
1134.97/1138.01 c #Conflicts: 492000 | #Constraints: 47274
1134.97/1138.01 c #Conflicts: 493000 | #Constraints: 48386
1134.97/1138.01 c #Conflicts: 494000 | #Constraints: 49411
1134.97/1138.01 c #Conflicts: 495000 | #Constraints: 50413
1134.97/1138.01 c #Conflicts: 496000 | #Constraints: 51435
1134.97/1138.01 c #Conflicts: 497000 | #Constraints: 52435
1134.97/1138.01 c #Conflicts: 498000 | #Constraints: 53459
1134.97/1138.01 c #Conflicts: 499000 | #Constraints: 54459
1134.97/1138.01 c #Conflicts: 500000 | #Constraints: 55459
1134.97/1138.01 c #Conflicts: 501000 | #Constraints: 56460
1134.97/1138.01 c #Conflicts: 502000 | #Constraints: 57461
1134.97/1138.01 c INPROCESSING
1134.97/1138.01 c GARBAGE COLLECT
1134.97/1138.01 c rational objective 0
1171.87/1175.07 c #Conflicts: 503000 | #Constraints: 44355
1171.87/1175.07 c #Conflicts: 504000 | #Constraints: 45355
1171.87/1175.07 c #Conflicts: 505000 | #Constraints: 46356
1171.87/1175.07 c #Conflicts: 506000 | #Constraints: 47356
1171.87/1175.07 c #Conflicts: 507000 | #Constraints: 48356
1171.87/1175.07 c #Conflicts: 508000 | #Constraints: 49356
1171.87/1175.07 c #Conflicts: 509000 | #Constraints: 50361
1171.87/1175.07 c #Conflicts: 510000 | #Constraints: 51361
1171.87/1175.07 c #Conflicts: 511000 | #Constraints: 52361
1171.87/1175.07 c #Conflicts: 512000 | #Constraints: 53361
1171.87/1175.07 c #Conflicts: 513000 | #Constraints: 54361
1171.87/1175.07 c #Conflicts: 514000 | #Constraints: 55363
1171.87/1175.07 c #Conflicts: 515000 | #Constraints: 56363
1171.87/1175.07 c #Conflicts: 516000 | #Constraints: 57474
1171.87/1175.07 c INPROCESSING
1171.87/1175.07 c GARBAGE COLLECT
1171.87/1175.07 c rational objective 0
1196.19/1199.44 c #Conflicts: 517000 | #Constraints: 44226
1196.19/1199.44 c #Conflicts: 518000 | #Constraints: 45228
1196.19/1199.44 c #Conflicts: 519000 | #Constraints: 46229
1196.19/1199.44 c #Conflicts: 520000 | #Constraints: 47230
1196.19/1199.44 c #Conflicts: 521000 | #Constraints: 48232
1196.19/1199.44 c #Conflicts: 522000 | #Constraints: 49234
1196.19/1199.44 c #Conflicts: 523000 | #Constraints: 50235
1196.19/1199.44 c #Conflicts: 524000 | #Constraints: 51236
1196.19/1199.44 c #Conflicts: 525000 | #Constraints: 52236
1196.19/1199.44 c #Conflicts: 526000 | #Constraints: 53236
1196.19/1199.44 c #Conflicts: 527000 | #Constraints: 54236
1196.19/1199.44 c #Conflicts: 528000 | #Constraints: 55237
1196.19/1199.44 c #Conflicts: 529000 | #Constraints: 56238
1196.19/1199.44 c #Conflicts: 530000 | #Constraints: 57275
1196.19/1199.44 c #Conflicts: 531000 | #Constraints: 58275
1196.19/1199.44 c INPROCESSING
1196.19/1199.44 c GARBAGE COLLECT
1196.19/1199.44 c rational objective 0
1227.60/1231.00 c #Conflicts: 532000 | #Constraints: 44755
1227.60/1231.00 c #Conflicts: 533000 | #Constraints: 45755
1227.60/1231.00 c #Conflicts: 534000 | #Constraints: 46755
1227.60/1231.00 c #Conflicts: 535000 | #Constraints: 47757
1227.60/1231.00 c #Conflicts: 536000 | #Constraints: 48761
1227.60/1231.00 c #Conflicts: 537000 | #Constraints: 49762
1227.60/1231.00 c #Conflicts: 538000 | #Constraints: 50762
1227.60/1231.00 c #Conflicts: 539000 | #Constraints: 51762
1227.60/1231.00 c #Conflicts: 540000 | #Constraints: 52762
1227.60/1231.00 c #Conflicts: 541000 | #Constraints: 53762
1227.60/1231.00 c #Conflicts: 542000 | #Constraints: 54762
1227.60/1231.00 c #Conflicts: 543000 | #Constraints: 55763
1227.60/1231.00 c #Conflicts: 544000 | #Constraints: 56764
1227.60/1231.00 c #Conflicts: 545000 | #Constraints: 57765
1227.60/1231.00 c #Conflicts: 546000 | #Constraints: 58766
1227.60/1231.00 c INPROCESSING
1227.60/1231.00 c GARBAGE COLLECT
1227.60/1231.00 c rational objective 0
1263.89/1267.30 c #Conflicts: 547000 | #Constraints: 45132
1263.89/1267.30 c #Conflicts: 548000 | #Constraints: 46132
1263.89/1267.30 c #Conflicts: 549000 | #Constraints: 47132
1263.89/1267.30 c #Conflicts: 550000 | #Constraints: 48133
1263.89/1267.30 c #Conflicts: 551000 | #Constraints: 49135
1263.89/1267.30 c #Conflicts: 552000 | #Constraints: 50137
1263.89/1267.30 c #Conflicts: 553000 | #Constraints: 51139
1263.89/1267.30 c #Conflicts: 554000 | #Constraints: 52141
1263.89/1267.30 c #Conflicts: 555000 | #Constraints: 53143
1263.89/1267.30 c #Conflicts: 556000 | #Constraints: 54143
1263.89/1267.30 c #Conflicts: 557000 | #Constraints: 55144
1263.89/1267.30 c #Conflicts: 558000 | #Constraints: 56144
1263.89/1267.30 c #Conflicts: 559000 | #Constraints: 57144
1263.89/1267.30 c #Conflicts: 560000 | #Constraints: 58144
1263.89/1267.30 c #Conflicts: 561000 | #Constraints: 59145
1263.89/1267.30 c INPROCESSING
1263.89/1267.30 c GARBAGE COLLECT
1263.89/1267.30 c rational objective 0
1293.81/1297.39 c #Conflicts: 562000 | #Constraints: 45395
1293.81/1297.39 c #Conflicts: 563000 | #Constraints: 46397
1293.81/1297.39 c #Conflicts: 564000 | #Constraints: 47399
1293.81/1297.39 c #Conflicts: 565000 | #Constraints: 48403
1293.81/1297.39 c #Conflicts: 566000 | #Constraints: 49405
1293.81/1297.39 c #Conflicts: 567000 | #Constraints: 50405
1293.81/1297.39 c #Conflicts: 568000 | #Constraints: 51406
1293.81/1297.39 c #Conflicts: 569000 | #Constraints: 52407
1293.81/1297.39 c #Conflicts: 570000 | #Constraints: 53408
1293.81/1297.39 c #Conflicts: 571000 | #Constraints: 54409
1293.81/1297.39 c #Conflicts: 572000 | #Constraints: 55411
1293.81/1297.39 c #Conflicts: 573000 | #Constraints: 56413
1293.81/1297.39 c #Conflicts: 574000 | #Constraints: 57413
1293.81/1297.39 c #Conflicts: 575000 | #Constraints: 58413
1293.81/1297.39 c #Conflicts: 576000 | #Constraints: 59413
1293.81/1297.39 c INPROCESSING
1293.81/1297.39 c GARBAGE COLLECT
1293.81/1297.39 c rational objective 0
1323.73/1327.37 c #Conflicts: 577000 | #Constraints: 45378
1323.73/1327.37 c #Conflicts: 578000 | #Constraints: 46378
1323.73/1327.37 c #Conflicts: 579000 | #Constraints: 47379
1323.73/1327.37 c #Conflicts: 580000 | #Constraints: 48382
1323.73/1327.37 c #Conflicts: 581000 | #Constraints: 49386
1323.73/1327.37 c #Conflicts: 582000 | #Constraints: 50386
1323.73/1327.37 c #Conflicts: 583000 | #Constraints: 51386
1323.73/1327.37 c #Conflicts: 584000 | #Constraints: 52386
1323.73/1327.37 c #Conflicts: 585000 | #Constraints: 53386
1323.73/1327.37 c #Conflicts: 586000 | #Constraints: 54386
1323.73/1327.37 c #Conflicts: 587000 | #Constraints: 55386
1323.73/1327.37 c #Conflicts: 588000 | #Constraints: 56386
1323.73/1327.37 c #Conflicts: 589000 | #Constraints: 57386
1323.73/1327.37 c #Conflicts: 590000 | #Constraints: 58386
1323.73/1327.37 c #Conflicts: 591000 | #Constraints: 59387
1323.73/1327.37 c INPROCESSING
1323.73/1327.37 c GARBAGE COLLECT
1323.73/1327.37 c rational objective 0
1360.34/1364.04 c #Conflicts: 592000 | #Constraints: 45163
1360.34/1364.04 c #Conflicts: 593000 | #Constraints: 46164
1360.34/1364.04 c #Conflicts: 594000 | #Constraints: 47164
1360.34/1364.04 c #Conflicts: 595000 | #Constraints: 48165
1360.34/1364.04 c #Conflicts: 596000 | #Constraints: 49165
1360.34/1364.04 c #Conflicts: 597000 | #Constraints: 50169
1360.34/1364.04 c #Conflicts: 598000 | #Constraints: 51170
1360.34/1364.04 c #Conflicts: 599000 | #Constraints: 52171
1360.34/1364.04 c #Conflicts: 600000 | #Constraints: 53173
1360.34/1364.04 c #Conflicts: 601000 | #Constraints: 54174
1360.34/1364.04 c #Conflicts: 602000 | #Constraints: 55176
1360.34/1364.04 c #Conflicts: 603000 | #Constraints: 56179
1360.34/1364.04 c #Conflicts: 604000 | #Constraints: 57180
1360.34/1364.04 c #Conflicts: 605000 | #Constraints: 58183
1360.34/1364.04 c #Conflicts: 606000 | #Constraints: 59185
1360.34/1364.04 c #Conflicts: 607000 | #Constraints: 60187
1360.34/1364.04 c INPROCESSING
1360.34/1364.04 c GARBAGE COLLECT
1360.34/1364.04 c rational objective 0
1404.61/1408.41 c #Conflicts: 608000 | #Constraints: 45678
1404.61/1408.41 c #Conflicts: 609000 | #Constraints: 46678
1404.61/1408.41 c #Conflicts: 610000 | #Constraints: 47678
1404.61/1408.41 c #Conflicts: 611000 | #Constraints: 48678
1404.61/1408.41 c #Conflicts: 612000 | #Constraints: 49678
1404.61/1408.41 c #Conflicts: 613000 | #Constraints: 50678
1404.61/1408.41 c #Conflicts: 614000 | #Constraints: 51678
1404.61/1408.41 c #Conflicts: 615000 | #Constraints: 52678
1404.61/1408.41 c #Conflicts: 616000 | #Constraints: 53680
1404.61/1408.41 c #Conflicts: 617000 | #Constraints: 54680
1404.61/1408.41 c #Conflicts: 618000 | #Constraints: 55682
1404.61/1408.41 c #Conflicts: 619000 | #Constraints: 56682
1404.61/1408.41 c #Conflicts: 620000 | #Constraints: 57684
1404.61/1408.41 c #Conflicts: 621000 | #Constraints: 58686
1404.61/1408.41 c #Conflicts: 622000 | #Constraints: 59687
1404.61/1408.41 c #Conflicts: 623000 | #Constraints: 60687
1404.61/1408.41 c INPROCESSING
1404.61/1408.41 c GARBAGE COLLECT
1404.61/1408.41 c rational objective 0
1437.52/1441.42 c #Conflicts: 624000 | #Constraints: 46136
1437.52/1441.42 c #Conflicts: 625000 | #Constraints: 47137
1437.52/1441.42 c #Conflicts: 626000 | #Constraints: 48137
1437.52/1441.42 c #Conflicts: 627000 | #Constraints: 49137
1437.52/1441.42 c #Conflicts: 628000 | #Constraints: 50139
1437.52/1441.42 c #Conflicts: 629000 | #Constraints: 51141
1437.52/1441.42 c #Conflicts: 630000 | #Constraints: 52141
1437.52/1441.42 c #Conflicts: 631000 | #Constraints: 53141
1437.52/1441.42 c #Conflicts: 632000 | #Constraints: 54141
1437.52/1441.42 c #Conflicts: 633000 | #Constraints: 55141
1437.52/1441.42 c #Conflicts: 634000 | #Constraints: 56141
1437.52/1441.42 c #Conflicts: 635000 | #Constraints: 57141
1437.52/1441.42 c #Conflicts: 636000 | #Constraints: 58142
1437.52/1441.42 c #Conflicts: 637000 | #Constraints: 59142
1437.52/1441.42 c #Conflicts: 638000 | #Constraints: 60143
1437.52/1441.42 c #Conflicts: 639000 | #Constraints: 61144
1437.52/1441.42 c INPROCESSING
1437.52/1441.42 c GARBAGE COLLECT
1437.52/1441.42 c rational objective 0
1472.54/1476.57 c #Conflicts: 640000 | #Constraints: 46311
1472.54/1476.57 c #Conflicts: 641000 | #Constraints: 47311
1472.54/1476.57 c #Conflicts: 642000 | #Constraints: 48312
1472.54/1476.57 c #Conflicts: 643000 | #Constraints: 49314
1472.54/1476.57 c #Conflicts: 644000 | #Constraints: 50314
1472.54/1476.57 c #Conflicts: 645000 | #Constraints: 51314
1472.54/1476.57 c #Conflicts: 646000 | #Constraints: 52314
1472.54/1476.57 c #Conflicts: 647000 | #Constraints: 53314
1472.54/1476.57 c #Conflicts: 648000 | #Constraints: 54316
1472.54/1476.57 c #Conflicts: 649000 | #Constraints: 55317
1472.54/1476.57 c #Conflicts: 650000 | #Constraints: 56320
1472.54/1476.57 c #Conflicts: 651000 | #Constraints: 57322
1472.54/1476.57 c #Conflicts: 652000 | #Constraints: 58323
1472.54/1476.57 c #Conflicts: 653000 | #Constraints: 59325
1472.54/1476.57 c #Conflicts: 654000 | #Constraints: 60326
1472.54/1476.57 c #Conflicts: 655000 | #Constraints: 61327
1472.54/1476.57 c INPROCESSING
1472.54/1476.57 c GARBAGE COLLECT
1472.54/1476.57 c rational objective 0
1512.73/1516.82 c #Conflicts: 656000 | #Constraints: 46336
1512.73/1516.82 c #Conflicts: 657000 | #Constraints: 47337
1512.73/1516.82 c #Conflicts: 658000 | #Constraints: 48339
1512.73/1516.82 c #Conflicts: 659000 | #Constraints: 49340
1512.73/1516.82 c #Conflicts: 660000 | #Constraints: 50343
1512.73/1516.82 c #Conflicts: 661000 | #Constraints: 51347
1512.73/1516.82 c #Conflicts: 662000 | #Constraints: 52350
1512.73/1516.82 c #Conflicts: 663000 | #Constraints: 53352
1512.73/1516.82 c #Conflicts: 664000 | #Constraints: 54357
1512.73/1516.82 c #Conflicts: 665000 | #Constraints: 55361
1512.73/1516.82 c #Conflicts: 666000 | #Constraints: 56363
1512.73/1516.82 c #Conflicts: 667000 | #Constraints: 57365
1512.73/1516.82 c #Conflicts: 668000 | #Constraints: 58365
1512.73/1516.82 c #Conflicts: 669000 | #Constraints: 59365
1512.73/1516.82 c #Conflicts: 670000 | #Constraints: 60366
1512.73/1516.82 c #Conflicts: 671000 | #Constraints: 61369
1512.73/1516.82 c INPROCESSING
1512.73/1516.82 c GARBAGE COLLECT
1512.73/1516.82 c rational objective 0
1551.63/1555.87 c #Conflicts: 672000 | #Constraints: 46207
1551.63/1555.87 c #Conflicts: 673000 | #Constraints: 47208
1551.63/1555.87 c #Conflicts: 674000 | #Constraints: 48209
1551.63/1555.87 c #Conflicts: 675000 | #Constraints: 49209
1551.63/1555.87 c #Conflicts: 676000 | #Constraints: 50209
1551.63/1555.87 c #Conflicts: 677000 | #Constraints: 51209
1551.63/1555.87 c #Conflicts: 678000 | #Constraints: 52209
1551.63/1555.87 c #Conflicts: 679000 | #Constraints: 53209
1551.63/1555.87 c #Conflicts: 680000 | #Constraints: 54209
1551.63/1555.87 c #Conflicts: 681000 | #Constraints: 55209
1551.63/1555.87 c #Conflicts: 682000 | #Constraints: 56211
1551.63/1555.87 c #Conflicts: 683000 | #Constraints: 57212
1551.63/1555.87 c #Conflicts: 684000 | #Constraints: 58262
1551.63/1555.87 c #Conflicts: 685000 | #Constraints: 59300
1551.63/1555.87 c #Conflicts: 686000 | #Constraints: 60403
1551.63/1555.87 c #Conflicts: 687000 | #Constraints: 61409
1551.63/1555.87 c #Conflicts: 688000 | #Constraints: 62409
1551.63/1555.87 c INPROCESSING
1551.63/1555.87 c GARBAGE COLLECT
1551.63/1555.87 c rational objective 0
1590.03/1594.35 c #Conflicts: 689000 | #Constraints: 46914
1590.03/1594.35 c #Conflicts: 690000 | #Constraints: 47914
1590.03/1594.35 c #Conflicts: 691000 | #Constraints: 48916
1590.03/1594.35 c #Conflicts: 692000 | #Constraints: 49921
1590.03/1594.35 c #Conflicts: 693000 | #Constraints: 50923
1590.03/1594.35 c #Conflicts: 694000 | #Constraints: 51926
1590.03/1594.35 c #Conflicts: 695000 | #Constraints: 52931
1590.03/1594.35 c #Conflicts: 696000 | #Constraints: 53937
1590.03/1594.35 c #Conflicts: 697000 | #Constraints: 54938
1590.03/1594.35 c #Conflicts: 698000 | #Constraints: 55939
1590.03/1594.35 c #Conflicts: 699000 | #Constraints: 56940
1590.03/1594.35 c #Conflicts: 700000 | #Constraints: 57943
1590.03/1594.35 c #Conflicts: 701000 | #Constraints: 58944
1590.03/1594.35 c #Conflicts: 702000 | #Constraints: 59945
1590.03/1594.35 c #Conflicts: 703000 | #Constraints: 60946
1590.03/1594.35 c #Conflicts: 704000 | #Constraints: 61948
1590.03/1594.35 c #Conflicts: 705000 | #Constraints: 62948
1590.03/1594.35 c INPROCESSING
1590.03/1594.35 c GARBAGE COLLECT
1590.03/1594.35 c rational objective 0
1630.82/1635.22 c #Conflicts: 706000 | #Constraints: 47272
1630.82/1635.22 c #Conflicts: 707000 | #Constraints: 48274
1630.82/1635.22 c #Conflicts: 708000 | #Constraints: 49276
1630.82/1635.22 c #Conflicts: 709000 | #Constraints: 50281
1630.82/1635.22 c #Conflicts: 710000 | #Constraints: 51283
1630.82/1635.22 c #Conflicts: 711000 | #Constraints: 52285
1630.82/1635.22 c #Conflicts: 712000 | #Constraints: 53287
1630.82/1635.22 c #Conflicts: 713000 | #Constraints: 54289
1630.82/1635.22 c #Conflicts: 714000 | #Constraints: 55292
1630.82/1635.22 c #Conflicts: 715000 | #Constraints: 56294
1630.82/1635.22 c #Conflicts: 716000 | #Constraints: 57296
1630.82/1635.22 c #Conflicts: 717000 | #Constraints: 58298
1630.82/1635.22 c #Conflicts: 718000 | #Constraints: 59299
1630.82/1635.22 c #Conflicts: 719000 | #Constraints: 60299
1630.82/1635.22 c #Conflicts: 720000 | #Constraints: 61301
1630.82/1635.22 c #Conflicts: 721000 | #Constraints: 62304
1630.82/1635.22 c #Conflicts: 722000 | #Constraints: 63305
1630.82/1635.22 c INPROCESSING
1630.82/1635.22 c GARBAGE COLLECT
1630.82/1635.22 c rational objective 0
1674.71/1679.24 c #Conflicts: 723000 | #Constraints: 47406
1674.71/1679.24 c #Conflicts: 724000 | #Constraints: 48406
1674.71/1679.24 c #Conflicts: 725000 | #Constraints: 49408
1674.71/1679.24 c #Conflicts: 726000 | #Constraints: 50411
1674.71/1679.24 c #Conflicts: 727000 | #Constraints: 51417
1674.71/1679.24 c #Conflicts: 728000 | #Constraints: 52422
1674.71/1679.24 c #Conflicts: 729000 | #Constraints: 53427
1674.71/1679.24 c #Conflicts: 730000 | #Constraints: 54432
1674.71/1679.24 c #Conflicts: 731000 | #Constraints: 55440
1674.71/1679.24 c #Conflicts: 732000 | #Constraints: 56446
1674.71/1679.24 c #Conflicts: 733000 | #Constraints: 57449
1674.71/1679.24 c #Conflicts: 734000 | #Constraints: 58454
1674.71/1679.24 c #Conflicts: 735000 | #Constraints: 59456
1674.71/1679.24 c #Conflicts: 736000 | #Constraints: 60463
1674.71/1679.24 c #Conflicts: 737000 | #Constraints: 61463
1674.71/1679.24 c #Conflicts: 738000 | #Constraints: 62467
1674.71/1679.24 c #Conflicts: 739000 | #Constraints: 63470
1674.71/1679.24 c INPROCESSING
1674.71/1679.24 c GARBAGE COLLECT
1674.71/1679.24 c rational objective 0
1716.00/1720.61 c #Conflicts: 740000 | #Constraints: 47345
1716.00/1720.61 c #Conflicts: 741000 | #Constraints: 48345
1716.00/1720.61 c #Conflicts: 742000 | #Constraints: 49345
1716.00/1720.61 c #Conflicts: 743000 | #Constraints: 50345
1716.00/1720.61 c #Conflicts: 744000 | #Constraints: 51345
1716.00/1720.61 c #Conflicts: 745000 | #Constraints: 52345
1716.00/1720.61 c #Conflicts: 746000 | #Constraints: 53347
1716.00/1720.61 c #Conflicts: 747000 | #Constraints: 54348
1716.00/1720.61 c #Conflicts: 748000 | #Constraints: 55349
1716.00/1720.61 c #Conflicts: 749000 | #Constraints: 56354
1716.00/1720.61 c #Conflicts: 750000 | #Constraints: 57355
1716.00/1720.61 c #Conflicts: 751000 | #Constraints: 58355
1716.00/1720.61 c #Conflicts: 752000 | #Constraints: 59355
1716.00/1720.61 c #Conflicts: 753000 | #Constraints: 60355
1716.00/1720.61 c #Conflicts: 754000 | #Constraints: 61355
1716.00/1720.61 c #Conflicts: 755000 | #Constraints: 62355
1716.00/1720.61 c #Conflicts: 756000 | #Constraints: 63355
1716.00/1720.61 c INPROCESSING
1716.00/1720.61 c GARBAGE COLLECT
1716.00/1720.61 c rational objective 0
1756.00/1760.70 c #Conflicts: 757000 | #Constraints: 47188
1756.00/1760.70 c #Conflicts: 758000 | #Constraints: 48188
1756.00/1760.70 c #Conflicts: 759000 | #Constraints: 49188
1756.00/1760.70 c #Conflicts: 760000 | #Constraints: 50188
1756.00/1760.70 c #Conflicts: 761000 | #Constraints: 51188
1756.00/1760.70 c #Conflicts: 762000 | #Constraints: 52188
1756.00/1760.70 c #Conflicts: 763000 | #Constraints: 53188
1756.00/1760.70 c #Conflicts: 764000 | #Constraints: 54188
1756.00/1760.70 c #Conflicts: 765000 | #Constraints: 55188
1756.00/1760.70 c #Conflicts: 766000 | #Constraints: 56188
1756.00/1760.70 c #Conflicts: 767000 | #Constraints: 57188
1756.00/1760.70 c #Conflicts: 768000 | #Constraints: 58188
1756.00/1760.70 c #Conflicts: 769000 | #Constraints: 59188
1756.00/1760.70 c #Conflicts: 770000 | #Constraints: 60188
1756.00/1760.70 c #Conflicts: 771000 | #Constraints: 61189
1756.00/1760.70 c #Conflicts: 772000 | #Constraints: 62189
1756.00/1760.70 c #Conflicts: 773000 | #Constraints: 63189
1756.00/1760.70 c #Conflicts: 774000 | #Constraints: 64190
1756.00/1760.70 c INPROCESSING
1756.00/1760.70 c GARBAGE COLLECT
1756.00/1760.70 c rational objective 0
1803.07/1807.98 c #Conflicts: 775000 | #Constraints: 47739
1803.07/1807.98 c #Conflicts: 776000 | #Constraints: 48742
1803.07/1807.98 c #Conflicts: 777000 | #Constraints: 49742
1803.07/1807.98 c #Conflicts: 778000 | #Constraints: 50742
1803.07/1807.98 c #Conflicts: 779000 | #Constraints: 51742
1803.07/1807.98 c #Conflicts: 780000 | #Constraints: 52743
1803.07/1807.98 c #Conflicts: 781000 | #Constraints: 53745
1803.07/1807.98 c #Conflicts: 782000 | #Constraints: 54748
1803.07/1807.98 c #Conflicts: 783000 | #Constraints: 55749
1803.07/1807.98 c #Conflicts: 784000 | #Constraints: 56750
1803.07/1807.98 c #Conflicts: 785000 | #Constraints: 57751
1803.07/1807.98 c #Conflicts: 786000 | #Constraints: 58753
1803.07/1807.98 c #Conflicts: 787000 | #Constraints: 59756
1803.07/1807.98 c #Conflicts: 788000 | #Constraints: 60759
1803.07/1807.98 c #Conflicts: 789000 | #Constraints: 61761
1803.07/1807.98 c #Conflicts: 790000 | #Constraints: 62763
1803.07/1807.98 c #Conflicts: 791000 | #Constraints: 63763
1803.07/1807.98 c #Conflicts: 792000 | #Constraints: 64763
1803.07/1807.98 c INPROCESSING
1803.07/1807.98 c GARBAGE COLLECT
1803.07/1807.98 c rational objective 0
1840.17/1845.12 c #Conflicts: 793000 | #Constraints: 48181
1840.17/1845.12 c #Conflicts: 794000 | #Constraints: 49182
1840.17/1845.12 c #Conflicts: 795000 | #Constraints: 50184
1840.17/1845.12 c #Conflicts: 796000 | #Constraints: 51186
1840.17/1845.12 c #Conflicts: 797000 | #Constraints: 52187
1840.17/1845.12 c #Conflicts: 798000 | #Constraints: 53189
1840.17/1845.12 c #Conflicts: 799000 | #Constraints: 54189
1840.17/1845.12 c #Conflicts: 800000 | #Constraints: 55190
1840.17/1845.12 c #Conflicts: 801000 | #Constraints: 56192
1840.17/1845.12 c #Conflicts: 802000 | #Constraints: 57192
1840.17/1845.12 c #Conflicts: 803000 | #Constraints: 58192
1840.17/1845.12 c #Conflicts: 804000 | #Constraints: 59192
1840.17/1845.12 c #Conflicts: 805000 | #Constraints: 60192
1840.17/1845.12 c #Conflicts: 806000 | #Constraints: 61193
1840.17/1845.12 c #Conflicts: 807000 | #Constraints: 62194
1840.17/1845.12 c #Conflicts: 808000 | #Constraints: 63194
1840.17/1845.12 c #Conflicts: 809000 | #Constraints: 64194
1840.17/1845.12 c #Conflicts: 810000 | #Constraints: 65194
1840.17/1845.12 c INPROCESSING
1840.17/1845.12 c GARBAGE COLLECT
1840.17/1845.12 c rational objective 0
1876.48/1881.56 c #Conflicts: 811000 | #Constraints: 48404
1876.48/1881.56 c #Conflicts: 812000 | #Constraints: 49404
1876.48/1881.56 c #Conflicts: 813000 | #Constraints: 50404
1876.48/1881.56 c #Conflicts: 814000 | #Constraints: 51404
1876.48/1881.56 c #Conflicts: 815000 | #Constraints: 52405
1876.48/1881.56 c #Conflicts: 816000 | #Constraints: 53407
1876.48/1881.56 c #Conflicts: 817000 | #Constraints: 54408
1876.48/1881.56 c #Conflicts: 818000 | #Constraints: 55408
1876.48/1881.56 c #Conflicts: 819000 | #Constraints: 56408
1876.48/1881.56 c #Conflicts: 820000 | #Constraints: 57410
1876.48/1881.56 c #Conflicts: 821000 | #Constraints: 58411
1876.48/1881.56 c #Conflicts: 822000 | #Constraints: 59411
1876.48/1881.56 c #Conflicts: 823000 | #Constraints: 60412
1876.48/1881.56 c #Conflicts: 824000 | #Constraints: 61414
1876.48/1881.56 c #Conflicts: 825000 | #Constraints: 62414
1876.48/1881.56 c #Conflicts: 826000 | #Constraints: 63414
1876.48/1881.56 c #Conflicts: 827000 | #Constraints: 64414
1876.48/1881.56 c #Conflicts: 828000 | #Constraints: 65414
1876.48/1881.56 c INPROCESSING
1876.48/1881.56 c GARBAGE COLLECT
1876.48/1881.56 c rational objective 0
1906.30/1911.41 c #Conflicts: 829000 | #Constraints: 48445
1906.30/1911.41 c #Conflicts: 830000 | #Constraints: 49445
1906.30/1911.41 c #Conflicts: 831000 | #Constraints: 50446
1906.30/1911.41 c #Conflicts: 832000 | #Constraints: 51449
1906.30/1911.41 c #Conflicts: 833000 | #Constraints: 52450
1906.30/1911.41 c #Conflicts: 834000 | #Constraints: 53455
1906.30/1911.41 c #Conflicts: 835000 | #Constraints: 54457
1906.30/1911.41 c #Conflicts: 836000 | #Constraints: 55459
1906.30/1911.41 c #Conflicts: 837000 | #Constraints: 56462
1906.30/1911.41 c #Conflicts: 838000 | #Constraints: 57464
1906.30/1911.41 c #Conflicts: 839000 | #Constraints: 58468
1906.30/1911.41 c #Conflicts: 840000 | #Constraints: 59472
1906.30/1911.41 c #Conflicts: 841000 | #Constraints: 60473
1906.30/1911.41 c #Conflicts: 842000 | #Constraints: 61479
1906.30/1911.41 c #Conflicts: 843000 | #Constraints: 62490
1906.30/1911.41 c #Conflicts: 844000 | #Constraints: 63495
1906.30/1911.41 c #Conflicts: 845000 | #Constraints: 64497
1906.30/1911.41 c #Conflicts: 846000 | #Constraints: 65512
1906.30/1911.41 c INPROCESSING
1906.30/1911.41 c GARBAGE COLLECT
1906.30/1911.41 c rational objective 0
1948.29/1953.52 c #Conflicts: 847000 | #Constraints: 48255
1948.29/1953.52 c #Conflicts: 848000 | #Constraints: 49255
1948.29/1953.52 c #Conflicts: 849000 | #Constraints: 50255
1948.29/1953.52 c #Conflicts: 850000 | #Constraints: 51255
1948.29/1953.52 c #Conflicts: 851000 | #Constraints: 52255
1948.29/1953.52 c #Conflicts: 852000 | #Constraints: 53255
1948.29/1953.52 c #Conflicts: 853000 | #Constraints: 54255
1948.29/1953.52 c #Conflicts: 854000 | #Constraints: 55255
1948.29/1953.52 c #Conflicts: 855000 | #Constraints: 56255
1948.29/1953.52 c #Conflicts: 856000 | #Constraints: 57255
1948.29/1953.52 c #Conflicts: 857000 | #Constraints: 58256
1948.29/1953.52 c #Conflicts: 858000 | #Constraints: 59259
1948.29/1953.52 c #Conflicts: 859000 | #Constraints: 60261
1948.29/1953.52 c #Conflicts: 860000 | #Constraints: 61263
1948.29/1953.52 c #Conflicts: 861000 | #Constraints: 62264
1948.29/1953.52 c #Conflicts: 862000 | #Constraints: 63265
1948.29/1953.52 c #Conflicts: 863000 | #Constraints: 64265
1948.29/1953.52 c #Conflicts: 864000 | #Constraints: 65265
1948.29/1953.52 c #Conflicts: 865000 | #Constraints: 66266
1948.29/1953.52 c INPROCESSING
1948.29/1953.52 c GARBAGE COLLECT
1948.29/1953.52 c rational objective 0
1996.96/2002.31 c #Conflicts: 866000 | #Constraints: 48853
1996.96/2002.31 c #Conflicts: 867000 | #Constraints: 49853
1996.96/2002.31 c #Conflicts: 868000 | #Constraints: 50853
1996.96/2002.31 c #Conflicts: 869000 | #Constraints: 51853
1996.96/2002.31 c #Conflicts: 870000 | #Constraints: 52853
1996.96/2002.31 c #Conflicts: 871000 | #Constraints: 53853
1996.96/2002.31 c #Conflicts: 872000 | #Constraints: 54853
1996.96/2002.31 c #Conflicts: 873000 | #Constraints: 55854
1996.96/2002.31 c #Conflicts: 874000 | #Constraints: 56857
1996.96/2002.31 c #Conflicts: 875000 | #Constraints: 57859
1996.96/2002.31 c #Conflicts: 876000 | #Constraints: 58860
1996.96/2002.31 c #Conflicts: 877000 | #Constraints: 59863
1996.96/2002.31 c #Conflicts: 878000 | #Constraints: 60865
1996.96/2002.31 c #Conflicts: 879000 | #Constraints: 61866
1996.96/2002.31 c #Conflicts: 880000 | #Constraints: 62867
1996.96/2002.31 c #Conflicts: 881000 | #Constraints: 63867
1996.96/2002.31 c #Conflicts: 882000 | #Constraints: 64867
1996.96/2002.31 c #Conflicts: 883000 | #Constraints: 65868
1996.96/2002.31 c #Conflicts: 884000 | #Constraints: 66870
1996.96/2002.31 c INPROCESSING
1996.96/2002.31 c GARBAGE COLLECT
1996.96/2002.31 c rational objective 0
2045.84/2051.31 c #Conflicts: 885000 | #Constraints: 49266
2045.84/2051.31 c #Conflicts: 886000 | #Constraints: 50267
2045.84/2051.31 c #Conflicts: 887000 | #Constraints: 51268
2045.84/2051.31 c #Conflicts: 888000 | #Constraints: 52268
2045.84/2051.31 c #Conflicts: 889000 | #Constraints: 53268
2045.84/2051.31 c #Conflicts: 890000 | #Constraints: 54268
2045.84/2051.31 c #Conflicts: 891000 | #Constraints: 55268
2045.84/2051.31 c #Conflicts: 892000 | #Constraints: 56268
2045.84/2051.31 c #Conflicts: 893000 | #Constraints: 57270
2045.84/2051.31 c #Conflicts: 894000 | #Constraints: 58273
2045.84/2051.31 c #Conflicts: 895000 | #Constraints: 59277
2045.84/2051.31 c #Conflicts: 896000 | #Constraints: 60280
2045.84/2051.31 c #Conflicts: 897000 | #Constraints: 61282
2045.84/2051.31 c #Conflicts: 898000 | #Constraints: 62282
2045.84/2051.31 c #Conflicts: 899000 | #Constraints: 63284
2045.84/2051.31 c #Conflicts: 900000 | #Constraints: 64288
2045.84/2051.31 c #Conflicts: 901000 | #Constraints: 65291
2045.84/2051.31 c #Conflicts: 902000 | #Constraints: 66295
2045.84/2051.31 c #Conflicts: 903000 | #Constraints: 67297
2045.84/2051.31 c INPROCESSING
2045.84/2051.31 c GARBAGE COLLECT
2045.84/2051.31 c rational objective 0
2093.62/2099.20 c #Conflicts: 904000 | #Constraints: 49450
2093.62/2099.20 c #Conflicts: 905000 | #Constraints: 50451
2093.62/2099.20 c #Conflicts: 906000 | #Constraints: 51453
2093.62/2099.20 c #Conflicts: 907000 | #Constraints: 52454
2093.62/2099.20 c #Conflicts: 908000 | #Constraints: 53455
2093.62/2099.20 c #Conflicts: 909000 | #Constraints: 54455
2093.62/2099.20 c #Conflicts: 910000 | #Constraints: 55455
2093.62/2099.20 c #Conflicts: 911000 | #Constraints: 56455
2093.62/2099.20 c #Conflicts: 912000 | #Constraints: 57456
2093.62/2099.20 c #Conflicts: 913000 | #Constraints: 58457
2093.62/2099.20 c #Conflicts: 914000 | #Constraints: 59458
2093.62/2099.20 c #Conflicts: 915000 | #Constraints: 60460
2093.62/2099.20 c #Conflicts: 916000 | #Constraints: 61464
2093.62/2099.20 c #Conflicts: 917000 | #Constraints: 62465
2093.62/2099.20 c #Conflicts: 918000 | #Constraints: 63466
2093.62/2099.20 c #Conflicts: 919000 | #Constraints: 64468
2093.62/2099.20 c #Conflicts: 920000 | #Constraints: 65470
2093.62/2099.20 c #Conflicts: 921000 | #Constraints: 66470
2093.62/2099.20 c #Conflicts: 922000 | #Constraints: 67470
2093.62/2099.20 c INPROCESSING
2093.62/2099.20 c GARBAGE COLLECT
2093.62/2099.20 c rational objective 0
2141.90/2147.62 c #Conflicts: 923000 | #Constraints: 49501
2141.90/2147.62 c #Conflicts: 924000 | #Constraints: 50504
2141.90/2147.62 c #Conflicts: 925000 | #Constraints: 51508
2141.90/2147.62 c #Conflicts: 926000 | #Constraints: 52509
2141.90/2147.62 c #Conflicts: 927000 | #Constraints: 53512
2141.90/2147.62 c #Conflicts: 928000 | #Constraints: 54514
2141.90/2147.62 c #Conflicts: 929000 | #Constraints: 55514
2141.90/2147.62 c #Conflicts: 930000 | #Constraints: 56514
2141.90/2147.62 c #Conflicts: 931000 | #Constraints: 57515
2141.90/2147.62 c #Conflicts: 932000 | #Constraints: 58517
2141.90/2147.62 c #Conflicts: 933000 | #Constraints: 59520
2141.90/2147.62 c #Conflicts: 934000 | #Constraints: 60521
2141.90/2147.62 c #Conflicts: 935000 | #Constraints: 61521
2141.90/2147.62 c #Conflicts: 936000 | #Constraints: 62521
2141.90/2147.62 c #Conflicts: 937000 | #Constraints: 63521
2141.90/2147.62 c #Conflicts: 938000 | #Constraints: 64521
2141.90/2147.62 c #Conflicts: 939000 | #Constraints: 65521
2141.90/2147.62 c #Conflicts: 940000 | #Constraints: 66522
2141.90/2147.62 c #Conflicts: 941000 | #Constraints: 67523
2141.90/2147.62 c INPROCESSING
2141.90/2147.62 c GARBAGE COLLECT
2141.90/2147.62 c rational objective 0
2223.09/2229.03 c #Conflicts: 942000 | #Constraints: 49289
2223.09/2229.03 c #Conflicts: 943000 | #Constraints: 50289
2223.09/2229.03 c #Conflicts: 944000 | #Constraints: 51289
2223.09/2229.03 c #Conflicts: 945000 | #Constraints: 52289
2223.09/2229.03 c #Conflicts: 946000 | #Constraints: 53289
2223.09/2229.03 c #Conflicts: 947000 | #Constraints: 54289
2223.09/2229.03 c #Conflicts: 948000 | #Constraints: 55290
2223.09/2229.03 c #Conflicts: 949000 | #Constraints: 56293
2223.09/2229.03 c #Conflicts: 950000 | #Constraints: 57564
2223.09/2229.03 c #Conflicts: 951000 | #Constraints: 58807
2223.09/2229.03 c #Conflicts: 952000 | #Constraints: 60127
2223.09/2229.03 c #Conflicts: 953000 | #Constraints: 61452
2223.09/2229.03 c #Conflicts: 954000 | #Constraints: 62758
2223.09/2229.03 c #Conflicts: 955000 | #Constraints: 63959
2223.09/2229.03 c #Conflicts: 956000 | #Constraints: 64996
2223.09/2229.03 c #Conflicts: 957000 | #Constraints: 66353
2223.09/2229.03 c #Conflicts: 958000 | #Constraints: 67662
2223.09/2229.03 c #Conflicts: 959000 | #Constraints: 69041
2223.09/2229.03 c #Conflicts: 960000 | #Constraints: 70399
2223.09/2229.03 c #Conflicts: 961000 | #Constraints: 71753
2223.09/2229.03 c INPROCESSING
2223.09/2229.03 c GARBAGE COLLECT
2223.09/2229.03 c rational objective 0
2336.47/2342.75 c #Conflicts: 962000 | #Constraints: 51700
2336.47/2342.75 c #Conflicts: 963000 | #Constraints: 52700
2336.47/2342.75 c #Conflicts: 964000 | #Constraints: 53700
2336.47/2342.75 c #Conflicts: 965000 | #Constraints: 54700
2336.47/2342.75 c #Conflicts: 966000 | #Constraints: 55700
2336.47/2342.75 c #Conflicts: 967000 | #Constraints: 56700
2336.47/2342.75 c #Conflicts: 968000 | #Constraints: 57700
2336.47/2342.75 c #Conflicts: 969000 | #Constraints: 58700
2336.47/2342.75 c #Conflicts: 970000 | #Constraints: 59700
2336.47/2342.75 c #Conflicts: 971000 | #Constraints: 60700
2336.47/2342.75 c #Conflicts: 972000 | #Constraints: 61700
2336.47/2342.75 c #Conflicts: 973000 | #Constraints: 62700
2336.47/2342.75 c #Conflicts: 974000 | #Constraints: 63700
2336.47/2342.75 c #Conflicts: 975000 | #Constraints: 64700
2336.47/2342.75 c #Conflicts: 976000 | #Constraints: 65700
2336.47/2342.75 c #Conflicts: 977000 | #Constraints: 66700
2336.47/2342.75 c #Conflicts: 978000 | #Constraints: 67700
2336.47/2342.75 c #Conflicts: 979000 | #Constraints: 68700
2336.47/2342.75 c #Conflicts: 980000 | #Constraints: 69700
2336.47/2342.75 c #Conflicts: 981000 | #Constraints: 70700
2336.47/2342.75 c INPROCESSING
2336.47/2342.75 c GARBAGE COLLECT
2336.47/2342.75 c rational objective 0
2391.83/2398.28 c #Conflicts: 982000 | #Constraints: 51112
2391.83/2398.28 c #Conflicts: 983000 | #Constraints: 52112
2391.83/2398.28 c #Conflicts: 984000 | #Constraints: 53112
2391.83/2398.28 c #Conflicts: 985000 | #Constraints: 54112
2391.83/2398.28 c #Conflicts: 986000 | #Constraints: 55113
2391.83/2398.28 c #Conflicts: 987000 | #Constraints: 56115
2391.83/2398.28 c #Conflicts: 988000 | #Constraints: 57119
2391.83/2398.28 c #Conflicts: 989000 | #Constraints: 58122
2391.83/2398.28 c #Conflicts: 990000 | #Constraints: 59123
2391.83/2398.28 c #Conflicts: 991000 | #Constraints: 60126
2391.83/2398.28 c #Conflicts: 992000 | #Constraints: 61128
2391.83/2398.28 c #Conflicts: 993000 | #Constraints: 62130
2391.83/2398.28 c #Conflicts: 994000 | #Constraints: 63134
2391.83/2398.28 c #Conflicts: 995000 | #Constraints: 64137
2391.83/2398.28 c #Conflicts: 996000 | #Constraints: 65139
2391.83/2398.28 c #Conflicts: 997000 | #Constraints: 66145
2391.83/2398.28 c #Conflicts: 998000 | #Constraints: 67149
2391.83/2398.28 c #Conflicts: 999000 | #Constraints: 68153
2391.83/2398.28 c #Conflicts: 1000000 | #Constraints: 69158
2391.83/2398.28 c #Conflicts: 1001000 | #Constraints: 70319
2391.83/2398.28 c INPROCESSING
2391.83/2398.28 c GARBAGE COLLECT
2391.83/2398.28 c rational objective 0
2449.47/2456.07 c #Conflicts: 1002000 | #Constraints: 50971
2449.47/2456.07 c #Conflicts: 1003000 | #Constraints: 51971
2449.47/2456.07 c #Conflicts: 1004000 | #Constraints: 52971
2449.47/2456.07 c #Conflicts: 1005000 | #Constraints: 53971
2449.47/2456.07 c #Conflicts: 1006000 | #Constraints: 54971
2449.47/2456.07 c #Conflicts: 1007000 | #Constraints: 55974
2449.47/2456.07 c #Conflicts: 1008000 | #Constraints: 56975
2449.47/2456.07 c #Conflicts: 1009000 | #Constraints: 58012
2449.47/2456.07 c #Conflicts: 1010000 | #Constraints: 59012
2449.47/2456.07 c #Conflicts: 1011000 | #Constraints: 60025
2449.47/2456.07 c #Conflicts: 1012000 | #Constraints: 61034
2449.47/2456.07 c #Conflicts: 1013000 | #Constraints: 62039
2449.47/2456.07 c #Conflicts: 1014000 | #Constraints: 63108
2449.47/2456.07 c #Conflicts: 1015000 | #Constraints: 64108
2449.47/2456.07 c #Conflicts: 1016000 | #Constraints: 65108
2449.47/2456.07 c #Conflicts: 1017000 | #Constraints: 66108
2449.47/2456.07 c #Conflicts: 1018000 | #Constraints: 67108
2449.47/2456.07 c #Conflicts: 1019000 | #Constraints: 68108
2449.47/2456.07 c #Conflicts: 1020000 | #Constraints: 69108
2449.47/2456.07 c #Conflicts: 1021000 | #Constraints: 70108
2449.47/2456.07 c INPROCESSING
2449.47/2456.07 c GARBAGE COLLECT
2449.47/2456.07 c rational objective 0
2513.59/2520.37 c #Conflicts: 1022000 | #Constraints: 50760
2513.59/2520.37 c #Conflicts: 1023000 | #Constraints: 51760
2513.59/2520.37 c #Conflicts: 1024000 | #Constraints: 52760
2513.59/2520.37 c #Conflicts: 1025000 | #Constraints: 53760
2513.59/2520.37 c #Conflicts: 1026000 | #Constraints: 54760
2513.59/2520.37 c #Conflicts: 1027000 | #Constraints: 55760
2513.59/2520.37 c #Conflicts: 1028000 | #Constraints: 56760
2513.59/2520.37 c #Conflicts: 1029000 | #Constraints: 57760
2513.59/2520.37 c #Conflicts: 1030000 | #Constraints: 58760
2513.59/2520.37 c #Conflicts: 1031000 | #Constraints: 59760
2513.59/2520.37 c #Conflicts: 1032000 | #Constraints: 60760
2513.59/2520.37 c #Conflicts: 1033000 | #Constraints: 61760
2513.59/2520.37 c #Conflicts: 1034000 | #Constraints: 62760
2513.59/2520.37 c #Conflicts: 1035000 | #Constraints: 63760
2513.59/2520.37 c #Conflicts: 1036000 | #Constraints: 64760
2513.59/2520.37 c #Conflicts: 1037000 | #Constraints: 65760
2513.59/2520.37 c #Conflicts: 1038000 | #Constraints: 66760
2513.59/2520.37 c #Conflicts: 1039000 | #Constraints: 67760
2513.59/2520.37 c #Conflicts: 1040000 | #Constraints: 68760
2513.59/2520.37 c #Conflicts: 1041000 | #Constraints: 69760
2513.59/2520.37 c INPROCESSING
2513.59/2520.37 c GARBAGE COLLECT
2513.59/2520.37 c rational objective 0
2564.84/2571.70 c #Conflicts: 1042000 | #Constraints: 50350
2564.84/2571.70 c #Conflicts: 1043000 | #Constraints: 51350
2564.84/2571.70 c #Conflicts: 1044000 | #Constraints: 52350
2564.84/2571.70 c #Conflicts: 1045000 | #Constraints: 53350
2564.84/2571.70 c #Conflicts: 1046000 | #Constraints: 54350
2564.84/2571.70 c #Conflicts: 1047000 | #Constraints: 55350
2564.84/2571.70 c #Conflicts: 1048000 | #Constraints: 56350
2564.84/2571.70 c #Conflicts: 1049000 | #Constraints: 57351
2564.84/2571.70 c #Conflicts: 1050000 | #Constraints: 58351
2564.84/2571.70 c #Conflicts: 1051000 | #Constraints: 59351
2564.84/2571.70 c #Conflicts: 1052000 | #Constraints: 60351
2564.84/2571.70 c #Conflicts: 1053000 | #Constraints: 61352
2564.84/2571.70 c #Conflicts: 1054000 | #Constraints: 62352
2564.84/2571.70 c #Conflicts: 1055000 | #Constraints: 63353
2564.84/2571.70 c #Conflicts: 1056000 | #Constraints: 64354
2564.84/2571.70 c #Conflicts: 1057000 | #Constraints: 65354
2564.84/2571.70 c #Conflicts: 1058000 | #Constraints: 66354
2564.84/2571.70 c #Conflicts: 1059000 | #Constraints: 67358
2564.84/2571.70 c #Conflicts: 1060000 | #Constraints: 68366
2564.84/2571.70 c #Conflicts: 1061000 | #Constraints: 69374
2564.84/2571.70 c #Conflicts: 1062000 | #Constraints: 70577
2564.84/2571.70 c INPROCESSING
2564.84/2571.70 c GARBAGE COLLECT
2564.84/2571.70 c rational objective 0
2632.07/2639.16 c #Conflicts: 1063000 | #Constraints: 50995
2632.07/2639.16 c #Conflicts: 1064000 | #Constraints: 51995
2632.07/2639.16 c #Conflicts: 1065000 | #Constraints: 52995
2632.07/2639.16 c #Conflicts: 1066000 | #Constraints: 53995
2632.07/2639.16 c #Conflicts: 1067000 | #Constraints: 54995
2632.07/2639.16 c #Conflicts: 1068000 | #Constraints: 55995
2632.07/2639.16 c #Conflicts: 1069000 | #Constraints: 56995
2632.07/2639.16 c #Conflicts: 1070000 | #Constraints: 57995
2632.07/2639.16 c #Conflicts: 1071000 | #Constraints: 58995
2632.07/2639.16 c #Conflicts: 1072000 | #Constraints: 59995
2632.07/2639.16 c #Conflicts: 1073000 | #Constraints: 60995
2632.07/2639.16 c #Conflicts: 1074000 | #Constraints: 61995
2632.07/2639.16 c #Conflicts: 1075000 | #Constraints: 62995
2632.07/2639.16 c #Conflicts: 1076000 | #Constraints: 63995
2632.07/2639.16 c #Conflicts: 1077000 | #Constraints: 64995
2632.07/2639.16 c #Conflicts: 1078000 | #Constraints: 65995
2632.07/2639.16 c #Conflicts: 1079000 | #Constraints: 66995
2632.07/2639.16 c #Conflicts: 1080000 | #Constraints: 67995
2632.07/2639.16 c #Conflicts: 1081000 | #Constraints: 68995
2632.07/2639.16 c #Conflicts: 1082000 | #Constraints: 69995
2632.07/2639.17 c #Conflicts: 1083000 | #Constraints: 70995
2632.07/2639.17 c INPROCESSING
2632.07/2639.17 c GARBAGE COLLECT
2632.07/2639.17 c rational objective 0
2724.51/2731.80 c #Conflicts: 1084000 | #Constraints: 51346
2724.51/2731.80 c #Conflicts: 1085000 | #Constraints: 52346
2724.51/2731.80 c #Conflicts: 1086000 | #Constraints: 53346
2724.51/2731.80 c #Conflicts: 1087000 | #Constraints: 54346
2724.51/2731.80 c #Conflicts: 1088000 | #Constraints: 55346
2724.51/2731.80 c #Conflicts: 1089000 | #Constraints: 56346
2724.51/2731.80 c #Conflicts: 1090000 | #Constraints: 57346
2724.51/2731.80 c #Conflicts: 1091000 | #Constraints: 58346
2724.51/2731.80 c #Conflicts: 1092000 | #Constraints: 59347
2724.51/2731.80 c #Conflicts: 1093000 | #Constraints: 60349
2724.51/2731.80 c #Conflicts: 1094000 | #Constraints: 61351
2724.51/2731.80 c #Conflicts: 1095000 | #Constraints: 62351
2724.51/2731.80 c #Conflicts: 1096000 | #Constraints: 63351
2724.51/2731.80 c #Conflicts: 1097000 | #Constraints: 64351
2724.51/2731.80 c #Conflicts: 1098000 | #Constraints: 65351
2724.51/2731.80 c #Conflicts: 1099000 | #Constraints: 66351
2724.51/2731.80 c #Conflicts: 1100000 | #Constraints: 67351
2724.51/2731.80 c #Conflicts: 1101000 | #Constraints: 68351
2724.51/2731.80 c #Conflicts: 1102000 | #Constraints: 69351
2724.51/2731.80 c #Conflicts: 1103000 | #Constraints: 70351
2724.51/2731.80 c #Conflicts: 1104000 | #Constraints: 71351
2724.51/2731.80 c INPROCESSING
2724.51/2731.80 c GARBAGE COLLECT
2724.51/2731.80 c rational objective 0
2831.74/2839.36 c #Conflicts: 1105000 | #Constraints: 51507
2831.74/2839.36 c #Conflicts: 1106000 | #Constraints: 52507
2831.74/2839.36 c #Conflicts: 1107000 | #Constraints: 53507
2831.74/2839.36 c #Conflicts: 1108000 | #Constraints: 54507
2831.74/2839.36 c #Conflicts: 1109000 | #Constraints: 55507
2831.74/2839.36 c #Conflicts: 1110000 | #Constraints: 56507
2831.74/2839.36 c #Conflicts: 1111000 | #Constraints: 57507
2831.74/2839.36 c #Conflicts: 1112000 | #Constraints: 58507
2831.74/2839.36 c #Conflicts: 1113000 | #Constraints: 59507
2831.74/2839.36 c #Conflicts: 1114000 | #Constraints: 60507
2831.74/2839.36 c #Conflicts: 1115000 | #Constraints: 61507
2831.74/2839.36 c #Conflicts: 1116000 | #Constraints: 62507
2831.74/2839.36 c #Conflicts: 1117000 | #Constraints: 63507
2831.74/2839.36 c #Conflicts: 1118000 | #Constraints: 64507
2831.74/2839.36 c #Conflicts: 1119000 | #Constraints: 65507
2831.74/2839.36 c #Conflicts: 1120000 | #Constraints: 66507
2831.74/2839.36 c #Conflicts: 1121000 | #Constraints: 67507
2831.74/2839.36 c #Conflicts: 1122000 | #Constraints: 68507
2831.74/2839.36 c #Conflicts: 1123000 | #Constraints: 69507
2831.74/2839.36 c #Conflicts: 1124000 | #Constraints: 70507
2831.74/2839.36 c #Conflicts: 1125000 | #Constraints: 71507
2831.74/2839.36 c INPROCESSING
2831.74/2839.36 c GARBAGE COLLECT
2831.74/2839.36 c rational objective 0
2901.36/2909.10 c #Conflicts: 1126000 | #Constraints: 51471
2901.36/2909.10 c #Conflicts: 1127000 | #Constraints: 52471
2901.36/2909.10 c #Conflicts: 1128000 | #Constraints: 53471
2901.36/2909.10 c #Conflicts: 1129000 | #Constraints: 54471
2901.36/2909.10 c #Conflicts: 1130000 | #Constraints: 55471
2901.36/2909.10 c #Conflicts: 1131000 | #Constraints: 56471
2901.36/2909.10 c #Conflicts: 1132000 | #Constraints: 57471
2901.36/2909.10 c #Conflicts: 1133000 | #Constraints: 58472
2901.36/2909.10 c #Conflicts: 1134000 | #Constraints: 59477
2901.36/2909.10 c #Conflicts: 1135000 | #Constraints: 60477
2901.36/2909.10 c #Conflicts: 1136000 | #Constraints: 61477
2901.36/2909.10 c #Conflicts: 1137000 | #Constraints: 62477
2901.36/2909.10 c #Conflicts: 1138000 | #Constraints: 63477
2901.36/2909.10 c #Conflicts: 1139000 | #Constraints: 64477
2901.36/2909.10 c #Conflicts: 1140000 | #Constraints: 65477
2901.36/2909.10 c #Conflicts: 1141000 | #Constraints: 66477
2901.36/2909.10 c #Conflicts: 1142000 | #Constraints: 67478
2901.36/2909.10 c #Conflicts: 1143000 | #Constraints: 68478
2901.36/2909.10 c #Conflicts: 1144000 | #Constraints: 69478
2901.36/2909.10 c #Conflicts: 1145000 | #Constraints: 70478
2901.36/2909.10 c #Conflicts: 1146000 | #Constraints: 71479
2901.36/2909.10 c INPROCESSING
2901.36/2909.10 c GARBAGE COLLECT
2901.36/2909.10 c rational objective 0
2957.80/2965.78 c #Conflicts: 1147000 | #Constraints: 51313
2957.80/2965.78 c #Conflicts: 1148000 | #Constraints: 52314
2957.80/2965.78 c #Conflicts: 1149000 | #Constraints: 53314
2957.80/2965.78 c #Conflicts: 1150000 | #Constraints: 54315
2957.80/2965.78 c #Conflicts: 1151000 | #Constraints: 55316
2957.80/2965.78 c #Conflicts: 1152000 | #Constraints: 56316
2957.80/2965.78 c #Conflicts: 1153000 | #Constraints: 57318
2957.80/2965.78 c #Conflicts: 1154000 | #Constraints: 58320
2957.80/2965.78 c #Conflicts: 1155000 | #Constraints: 59321
2957.80/2965.78 c #Conflicts: 1156000 | #Constraints: 60322
2957.80/2965.78 c #Conflicts: 1157000 | #Constraints: 61323
2957.80/2965.78 c #Conflicts: 1158000 | #Constraints: 62325
2957.80/2965.78 c #Conflicts: 1159000 | #Constraints: 63327
2957.80/2965.78 c #Conflicts: 1160000 | #Constraints: 64330
2957.80/2965.78 c #Conflicts: 1161000 | #Constraints: 65332
2957.80/2965.78 c #Conflicts: 1162000 | #Constraints: 66333
2957.80/2965.78 c #Conflicts: 1163000 | #Constraints: 67336
2957.80/2965.78 c #Conflicts: 1164000 | #Constraints: 68338
2957.80/2965.78 c #Conflicts: 1165000 | #Constraints: 69338
2957.80/2965.78 c #Conflicts: 1166000 | #Constraints: 70338
2957.80/2965.78 c #Conflicts: 1167000 | #Constraints: 71338
2957.80/2965.78 c #Conflicts: 1168000 | #Constraints: 72338
2957.80/2965.78 c INPROCESSING
2957.80/2965.78 c GARBAGE COLLECT
2957.80/2965.78 c rational objective 0
3004.48/3012.54 c #Conflicts: 1169000 | #Constraints: 51979
3004.48/3012.54 c #Conflicts: 1170000 | #Constraints: 52979
3004.48/3012.54 c #Conflicts: 1171000 | #Constraints: 53979
3004.48/3012.54 c #Conflicts: 1172000 | #Constraints: 54984
3004.48/3012.54 c #Conflicts: 1173000 | #Constraints: 55986
3004.48/3012.54 c #Conflicts: 1174000 | #Constraints: 56988
3004.48/3012.54 c #Conflicts: 1175000 | #Constraints: 57990
3004.48/3012.54 c #Conflicts: 1176000 | #Constraints: 58995
3004.48/3012.54 c #Conflicts: 1177000 | #Constraints: 59999
3004.48/3012.54 c #Conflicts: 1178000 | #Constraints: 61004
3004.48/3012.54 c #Conflicts: 1179000 | #Constraints: 62013
3004.48/3012.54 c #Conflicts: 1180000 | #Constraints: 63015
3004.48/3012.54 c #Conflicts: 1181000 | #Constraints: 64017
3004.48/3012.54 c #Conflicts: 1182000 | #Constraints: 65019
3004.48/3012.54 c #Conflicts: 1183000 | #Constraints: 66020
3004.48/3012.54 c #Conflicts: 1184000 | #Constraints: 67020
3004.48/3012.54 c #Conflicts: 1185000 | #Constraints: 68021
3004.48/3012.54 c #Conflicts: 1186000 | #Constraints: 69023
3004.48/3012.54 c #Conflicts: 1187000 | #Constraints: 70025
3004.48/3012.54 c #Conflicts: 1188000 | #Constraints: 71027
3004.48/3012.54 c #Conflicts: 1189000 | #Constraints: 72028
3004.48/3012.54 c #Conflicts: 1190000 | #Constraints: 73029
3004.48/3012.54 c INPROCESSING
3004.48/3012.54 c GARBAGE COLLECT
3004.48/3012.54 c rational objective 0
3060.23/3068.46 c #Conflicts: 1191000 | #Constraints: 52391
3060.23/3068.46 c #Conflicts: 1192000 | #Constraints: 53393
3060.23/3068.46 c #Conflicts: 1193000 | #Constraints: 54395
3060.23/3068.46 c #Conflicts: 1194000 | #Constraints: 55397
3060.23/3068.46 c #Conflicts: 1195000 | #Constraints: 56398
3060.23/3068.46 c #Conflicts: 1196000 | #Constraints: 57401
3060.23/3068.46 c #Conflicts: 1197000 | #Constraints: 58401
3060.23/3068.46 c #Conflicts: 1198000 | #Constraints: 59403
3060.23/3068.46 c #Conflicts: 1199000 | #Constraints: 60405
3060.23/3068.46 c #Conflicts: 1200000 | #Constraints: 61406
3060.23/3068.46 c #Conflicts: 1201000 | #Constraints: 62409
3060.23/3068.46 c #Conflicts: 1202000 | #Constraints: 63410
3060.23/3068.46 c #Conflicts: 1203000 | #Constraints: 64410
3060.23/3068.46 c #Conflicts: 1204000 | #Constraints: 65410
3060.23/3068.46 c #Conflicts: 1205000 | #Constraints: 66410
3060.23/3068.46 c #Conflicts: 1206000 | #Constraints: 67410
3060.23/3068.46 c #Conflicts: 1207000 | #Constraints: 68410
3060.23/3068.46 c #Conflicts: 1208000 | #Constraints: 69410
3060.23/3068.46 c #Conflicts: 1209000 | #Constraints: 70411
3060.23/3068.46 c #Conflicts: 1210000 | #Constraints: 71416
3060.23/3068.46 c #Conflicts: 1211000 | #Constraints: 72418
3060.23/3068.46 c #Conflicts: 1212000 | #Constraints: 73420
3060.23/3068.46 c INPROCESSING
3060.23/3068.46 c GARBAGE COLLECT
3060.23/3068.46 c rational objective 0
3113.29/3121.62 c #Conflicts: 1213000 | #Constraints: 52570
3113.29/3121.62 c #Conflicts: 1214000 | #Constraints: 53571
3113.29/3121.62 c #Conflicts: 1215000 | #Constraints: 54573
3113.29/3121.62 c #Conflicts: 1216000 | #Constraints: 55574
3113.29/3121.62 c #Conflicts: 1217000 | #Constraints: 56575
3113.29/3121.62 c #Conflicts: 1218000 | #Constraints: 57576
3113.29/3121.62 c #Conflicts: 1219000 | #Constraints: 58577
3113.29/3121.62 c #Conflicts: 1220000 | #Constraints: 59578
3113.29/3121.62 c #Conflicts: 1221000 | #Constraints: 60581
3113.29/3121.62 c #Conflicts: 1222000 | #Constraints: 61588
3113.29/3121.62 c #Conflicts: 1223000 | #Constraints: 62591
3113.29/3121.62 c #Conflicts: 1224000 | #Constraints: 63596
3113.29/3121.62 c #Conflicts: 1225000 | #Constraints: 64598
3113.29/3121.62 c #Conflicts: 1226000 | #Constraints: 65600
3113.29/3121.62 c #Conflicts: 1227000 | #Constraints: 66603
3113.29/3121.62 c #Conflicts: 1228000 | #Constraints: 67603
3113.29/3121.62 c #Conflicts: 1229000 | #Constraints: 68604
3113.29/3121.62 c #Conflicts: 1230000 | #Constraints: 69605
3113.29/3121.62 c #Conflicts: 1231000 | #Constraints: 70608
3113.29/3121.62 c #Conflicts: 1232000 | #Constraints: 71612
3113.29/3121.62 c #Conflicts: 1233000 | #Constraints: 72616
3113.29/3121.62 c #Conflicts: 1234000 | #Constraints: 73619
3113.29/3121.62 c INPROCESSING
3113.29/3121.62 c GARBAGE COLLECT
3113.29/3121.62 c rational objective 0
3164.96/3173.42 c #Conflicts: 1235000 | #Constraints: 52547
3164.96/3173.42 c #Conflicts: 1236000 | #Constraints: 53547
3164.96/3173.42 c #Conflicts: 1237000 | #Constraints: 54548
3164.96/3173.42 c #Conflicts: 1238000 | #Constraints: 55549
3164.96/3173.42 c #Conflicts: 1239000 | #Constraints: 56550
3164.96/3173.42 c #Conflicts: 1240000 | #Constraints: 57550
3164.96/3173.42 c #Conflicts: 1241000 | #Constraints: 58552
3164.96/3173.42 c #Conflicts: 1242000 | #Constraints: 59554
3164.96/3173.42 c #Conflicts: 1243000 | #Constraints: 60556
3164.96/3173.42 c #Conflicts: 1244000 | #Constraints: 61559
3164.96/3173.42 c #Conflicts: 1245000 | #Constraints: 62560
3164.96/3173.42 c #Conflicts: 1246000 | #Constraints: 63561
3164.96/3173.42 c #Conflicts: 1247000 | #Constraints: 64563
3164.96/3173.42 c #Conflicts: 1248000 | #Constraints: 65564
3164.96/3173.42 c #Conflicts: 1249000 | #Constraints: 66564
3164.96/3173.42 c #Conflicts: 1250000 | #Constraints: 67564
3164.96/3173.42 c #Conflicts: 1251000 | #Constraints: 68566
3164.96/3173.42 c #Conflicts: 1252000 | #Constraints: 69566
3164.96/3173.42 c #Conflicts: 1253000 | #Constraints: 70567
3164.96/3173.42 c #Conflicts: 1254000 | #Constraints: 71568
3164.96/3173.42 c #Conflicts: 1255000 | #Constraints: 72569
3164.96/3173.42 c #Conflicts: 1256000 | #Constraints: 73572
3164.96/3173.42 c INPROCESSING
3164.96/3173.42 c GARBAGE COLLECT
3164.96/3173.42 c rational objective 0
3219.12/3227.76 c #Conflicts: 1257000 | #Constraints: 52314
3219.12/3227.76 c #Conflicts: 1258000 | #Constraints: 53315
3219.12/3227.76 c #Conflicts: 1259000 | #Constraints: 54315
3219.12/3227.76 c #Conflicts: 1260000 | #Constraints: 55315
3219.12/3227.76 c #Conflicts: 1261000 | #Constraints: 56315
3219.12/3227.76 c #Conflicts: 1262000 | #Constraints: 57316
3219.12/3227.76 c #Conflicts: 1263000 | #Constraints: 58317
3219.12/3227.76 c #Conflicts: 1264000 | #Constraints: 59319
3219.12/3227.76 c #Conflicts: 1265000 | #Constraints: 60319
3219.12/3227.76 c #Conflicts: 1266000 | #Constraints: 61319
3219.12/3227.76 c #Conflicts: 1267000 | #Constraints: 62320
3219.12/3227.76 c #Conflicts: 1268000 | #Constraints: 63320
3219.12/3227.76 c #Conflicts: 1269000 | #Constraints: 64320
3219.12/3227.76 c #Conflicts: 1270000 | #Constraints: 65320
3219.12/3227.76 c #Conflicts: 1271000 | #Constraints: 66322
3219.12/3227.76 c #Conflicts: 1272000 | #Constraints: 67324
3219.12/3227.76 c #Conflicts: 1273000 | #Constraints: 68327
3219.12/3227.76 c #Conflicts: 1274000 | #Constraints: 69328
3219.12/3227.76 c #Conflicts: 1275000 | #Constraints: 70330
3219.12/3227.76 c #Conflicts: 1276000 | #Constraints: 71331
3219.12/3227.76 c #Conflicts: 1277000 | #Constraints: 72333
3219.12/3227.76 c #Conflicts: 1278000 | #Constraints: 73334
3219.12/3227.76 c #Conflicts: 1279000 | #Constraints: 74334
3219.12/3227.76 c INPROCESSING
3219.12/3227.76 c GARBAGE COLLECT
3219.12/3227.76 c rational objective 0
3271.69/3280.47 c #Conflicts: 1280000 | #Constraints: 52937
3271.69/3280.47 c #Conflicts: 1281000 | #Constraints: 53939
3271.69/3280.47 c #Conflicts: 1282000 | #Constraints: 54942
3271.69/3280.47 c #Conflicts: 1283000 | #Constraints: 55945
3271.69/3280.47 c #Conflicts: 1284000 | #Constraints: 56947
3271.69/3280.47 c #Conflicts: 1285000 | #Constraints: 57949
3271.69/3280.47 c #Conflicts: 1286000 | #Constraints: 58950
3271.69/3280.47 c #Conflicts: 1287000 | #Constraints: 59950
3271.69/3280.47 c #Conflicts: 1288000 | #Constraints: 60951
3271.69/3280.47 c #Conflicts: 1289000 | #Constraints: 61952
3271.69/3280.47 c #Conflicts: 1290000 | #Constraints: 62955
3271.69/3280.47 c #Conflicts: 1291000 | #Constraints: 63958
3271.69/3280.47 c #Conflicts: 1292000 | #Constraints: 64958
3271.69/3280.47 c #Conflicts: 1293000 | #Constraints: 65958
3271.69/3280.47 c #Conflicts: 1294000 | #Constraints: 66958
3271.69/3280.47 c #Conflicts: 1295000 | #Constraints: 67958
3271.69/3280.47 c #Conflicts: 1296000 | #Constraints: 68960
3271.69/3280.47 c #Conflicts: 1297000 | #Constraints: 69962
3271.69/3280.47 c #Conflicts: 1298000 | #Constraints: 70962
3271.69/3280.47 c #Conflicts: 1299000 | #Constraints: 71962
3271.69/3280.47 c #Conflicts: 1300000 | #Constraints: 72963
3271.69/3280.47 c #Conflicts: 1301000 | #Constraints: 73965
3271.69/3280.47 c #Conflicts: 1302000 | #Constraints: 74970
3271.69/3280.47 c INPROCESSING
3271.69/3280.47 c GARBAGE COLLECT
3271.69/3280.47 c rational objective 0
3549.76/3559.26 c #Conflicts: 1303000 | #Constraints: 53290
3549.76/3559.26 c #Conflicts: 1304000 | #Constraints: 54292
3549.76/3559.26 c #Conflicts: 1305000 | #Constraints: 55293
3549.76/3559.26 c #Conflicts: 1306000 | #Constraints: 56297
3549.76/3559.26 c #Conflicts: 1307000 | #Constraints: 57298
3549.76/3559.26 c #Conflicts: 1308000 | #Constraints: 58299
3549.76/3559.26 c #Conflicts: 1309000 | #Constraints: 59300
3549.76/3559.26 c #Conflicts: 1310000 | #Constraints: 60300
3549.76/3559.26 c #Conflicts: 1311000 | #Constraints: 61300
3549.76/3559.26 c #Conflicts: 1312000 | #Constraints: 62301
3549.76/3559.26 c #Conflicts: 1313000 | #Constraints: 63301
3549.76/3559.26 c #Conflicts: 1314000 | #Constraints: 64304
3549.76/3559.26 c #Conflicts: 1315000 | #Constraints: 65305
3549.76/3559.26 c #Conflicts: 1316000 | #Constraints: 66306
3549.76/3559.26 c #Conflicts: 1317000 | #Constraints: 67306
3549.76/3559.26 c #Conflicts: 1318000 | #Constraints: 68306
3549.76/3559.26 c #Conflicts: 1319000 | #Constraints: 69306
3549.76/3559.26 c #Conflicts: 1320000 | #Constraints: 70307
3549.76/3559.26 c #Conflicts: 1321000 | #Constraints: 71308
3549.76/3559.26 c #Conflicts: 1322000 | #Constraints: 72311
3549.76/3559.26 c #Conflicts: 1323000 | #Constraints: 73315
3549.76/3559.26 c #Conflicts: 1324000 | #Constraints: 74316
3549.76/3559.26 c #Conflicts: 1325000 | #Constraints: 75319
3549.76/3559.26 c #Conflicts: 1326000 | #Constraints: 76322
3549.76/3559.26 c #Conflicts: 1327000 | #Constraints: 77325
3549.76/3559.26 c #Conflicts: 1328000 | #Constraints: 78329
3549.76/3559.26 c #Conflicts: 1329000 | #Constraints: 79332
3549.76/3559.26 c #Conflicts: 1330000 | #Constraints: 80333
3549.76/3559.26 c #Conflicts: 1331000 | #Constraints: 81335
3549.76/3559.26 c #Conflicts: 1332000 | #Constraints: 82337
3549.76/3559.26 c #Conflicts: 1333000 | #Constraints: 83341
3549.76/3559.26 c #Conflicts: 1334000 | #Constraints: 84345
3549.76/3559.26 c #Conflicts: 1335000 | #Constraints: 85348
3549.76/3559.26 c #Conflicts: 1336000 | #Constraints: 86348
3549.76/3559.26 c #Conflicts: 1337000 | #Constraints: 87351
3549.76/3559.26 c #Conflicts: 1338000 | #Constraints: 88353
3549.76/3559.26 c #Conflicts: 1339000 | #Constraints: 89355
3549.76/3559.26 c #Conflicts: 1340000 | #Constraints: 90359
3549.76/3559.26 c #Conflicts: 1341000 | #Constraints: 91363
3549.76/3559.26 c #Conflicts: 1342000 | #Constraints: 92363
3549.76/3559.26 c #Conflicts: 1343000 | #Constraints: 93364
3549.76/3559.26 c #Conflicts: 1344000 | #Constraints: 94365
3549.76/3559.26 c #Conflicts: 1345000 | #Constraints: 95365
3549.76/3559.26 c #Conflicts: 1346000 | #Constraints: 96367
3549.76/3559.26 c #Conflicts: 1347000 | #Constraints: 97371
3549.76/3559.26 c #Conflicts: 1348000 | #Constraints: 98372
3549.76/3559.26 c #Conflicts: 1349000 | #Constraints: 99373
3549.76/3559.26 c #Conflicts: 1350000 | #Constraints: 100375
3549.76/3559.26 c #Conflicts: 1351000 | #Constraints: 101376
3549.76/3559.26 c #Conflicts: 1352000 | #Constraints: 102376
3549.76/3559.26 c #Conflicts: 1353000 | #Constraints: 103377
3549.76/3559.26 c #Conflicts: 1354000 | #Constraints: 104379
3549.76/3559.26 c #Conflicts: 1355000 | #Constraints: 105382
3549.76/3559.26 c #Conflicts: 1356000 | #Constraints: 106384
3549.76/3559.26 c #Conflicts: 1357000 | #Constraints: 107388
3549.76/3559.26 c #Conflicts: 1358000 | #Constraints: 108391
3549.76/3559.26 c #Conflicts: 1359000 | #Constraints: 109394
3549.76/3559.26 c #Conflicts: 1360000 | #Constraints: 110396
3549.76/3559.26 c #Conflicts: 1361000 | #Constraints: 111399
3549.76/3559.26 c #Conflicts: 1362000 | #Constraints: 112401
3549.76/3559.26 c #Conflicts: 1363000 | #Constraints: 113404
3549.76/3559.26 c #Conflicts: 1364000 | #Constraints: 114407
3549.76/3559.26 c #Conflicts: 1365000 | #Constraints: 115411
3549.76/3559.26 c #Conflicts: 1366000 | #Constraints: 116415
3549.76/3559.26 c #Conflicts: 1367000 | #Constraints: 117418
3549.76/3559.26 c #Conflicts: 1368000 | #Constraints: 118420
3549.76/3559.26 c #Conflicts: 1369000 | #Constraints: 119423
3549.76/3559.26 c #Conflicts: 1370000 | #Constraints: 120423
3549.76/3559.26 c #Conflicts: 1371000 | #Constraints: 121423
3549.76/3559.26 c #Conflicts: 1372000 | #Constraints: 122423
3549.76/3559.26 c #Conflicts: 1373000 | #Constraints: 123423
3549.76/3559.26 c #Conflicts: 1374000 | #Constraints: 124423
3549.76/3559.26 c #Conflicts: 1375000 | #Constraints: 125423
3549.76/3559.26 c #Conflicts: 1376000 | #Constraints: 126424
3549.76/3559.26 c #Conflicts: 1377000 | #Constraints: 127424
3549.76/3559.26 c #Conflicts: 1378000 | #Constraints: 128426
3549.76/3559.26 c #Conflicts: 1379000 | #Constraints: 129427
3549.76/3559.26 c #Conflicts: 1380000 | #Constraints: 130427
3549.76/3559.26 c #Conflicts: 1381000 | #Constraints: 131427
3600.03/3609.60 c #Conflicts: 1382000 | #Constraints: 132427
3600.03/3609.60 c #Conflicts: 1383000 | #Constraints: 133427
3600.03/3609.60 c #Conflicts: 1384000 | #Constraints: 134427
3600.03/3609.60 c #Conflicts: 1385000 | #Constraints: 135428
3600.03/3609.60 c #Conflicts: 1386000 | #Constraints: 136429
3600.03/3609.60 c #Conflicts: 1387000 | #Constraints: 137430
3600.03/3609.60 c #Conflicts: 1388000 | #Constraints: 138432
3600.03/3609.60 c #Conflicts: 1389000 | #Constraints: 139433
3600.03/3609.60 c #Conflicts: 1390000 | #Constraints: 140433
3600.03/3609.60 c #Conflicts: 1391000 | #Constraints: 141433
3600.03/3609.60 c #Conflicts: 1392000 | #Constraints: 142433
3600.03/3609.60 c cpu time 3575.37 s
3600.03/3609.60 c deterministic time 299029413485 2.99e+11
3600.03/3609.60 c optimization time 326.311 s
3600.03/3609.60 c total solve time 3248.95 s
3600.03/3609.60 c core-guided solve time 0 s
3600.03/3609.60 c propagation time 1910.22 s
3600.03/3609.60 c conflict analysis time 1210.33 s
3600.03/3609.60 c propagations 959025051
3600.03/3609.60 c resolve steps 48416394
3600.03/3609.60 c decisions 17440312
3600.03/3609.60 c conflicts 1392899
3600.03/3609.60 c restarts 2651
3600.03/3609.60 c inprocessing phases 105
3600.03/3609.60 c garbage collections 105 ,( 100.00 )
3600.03/3609.60 c input clauses 6553 ,( 22.63 )
3600.03/3609.60 c input cardinalities 112 ,( 0.39 )
3600.03/3609.60 c input general constraints 22288 ,( 76.98 )
3600.03/3609.60 c input average constraint length 4.61
3600.03/3609.60 c input average constraint degree 8.19
3600.03/3609.60 c learned clauses 481892 ,( 34.36 )
3600.03/3609.60 c learned cardinalities 109125 ,( 7.78 )
3600.03/3609.60 c learned general constraints 811621 ,( 57.86 )
3600.03/3609.60 c learned average constraint length 2432.18
3600.03/3609.60 c learned average constraint degree 1884695472.15
3600.03/3609.60 c watched CF 32, 64, 128, Arb: 756094 , 0 , 0 , 0
3600.03/3609.60 c counting CF 32, 64, 128, Arb: 77816 , 0 , 0 , 0
3600.03/3609.60 c watched constraints 756094 ,( 90.67 )
3600.03/3609.60 c counting constraints 77815 ,( 9.33 )
3600.03/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 302896914 , 547661088 , 2254376481 ,( 667416799 , 1586959682 )
3600.03/3609.60 c gcd simplifications 131153
3600.03/3609.60 c detected cardinalities 2358
3600.03/3609.60 c weakened non-implied lits 448768031
3600.03/3609.60 c weakened non-implying lits 1223268
3600.03/3609.60 c original variables 35169
3600.03/3609.60 c clausal propagations 154906578
3600.03/3609.60 c cardinality propagations 131314019
3600.03/3609.60 c watched propagations 106242810
3600.03/3609.60 c counting propagations 525404234
3600.03/3609.60 c watch lookups 25426990619
3600.03/3609.60 c watch backjump lookups 0
3600.03/3609.60 c watch checks 218156958149
3600.03/3609.60 c propagation checks 46645148562
3600.03/3609.60 c constraint additions 6844058776
3600.03/3609.60 c trail pops 977825037
3600.03/3609.60 c formula constraints 28953
3600.03/3609.60 c learned constraints 1391395
3600.03/3609.60 c bound constraints 0
3600.03/3609.60 c core-guided constraints 0
3600.03/3609.60 c encountered formula constraints 44944528
3600.03/3609.60 c encountered learned constraints 4500152
3600.03/3609.60 c encountered bound constraints 0
3600.03/3609.60 c encountered core-guided constraints 0
3600.03/3609.60 c LP total time 739.734 s
3600.03/3609.60 c LP solve time 690.05 s
3600.03/3609.60 c LP constraints added 37418
3600.03/3609.60 c LP constraints removed 8376
3600.03/3609.60 c LP pivots internal 1398551
3600.03/3609.60 c LP pivots root 568427
3600.03/3609.60 c LP calls 8021
3600.03/3609.60 c LP optimalities 1699
3600.03/3609.60 c LP no pivot count 1285
3600.03/3609.60 c LP infeasibilities 6316
3600.03/3609.60 c LP valid Farkas constraints 6301
3600.03/3609.60 c LP learned Farkas constraints 1503
3600.03/3609.60 c LP basis resets 16
3600.03/3609.60 c LP cycling count 0
3600.03/3609.60 c LP singular count 1
3600.03/3609.60 c LP no primal count 0
3600.03/3609.60 c LP no farkas count 15
3600.03/3609.60 c LP other issue count 0
3600.03/3609.60 c LP Gomory cuts 3439
3600.03/3609.60 c LP learned cuts 5026
3600.03/3609.60 c LP deleted cuts 8376
3600.03/3609.60 c LP encountered Gomory constraints 288018
3600.03/3609.60 c LP encountered Farkas constraints 69268
3600.03/3609.60 c LP encountered learned Farkas constraints 5824
3600.03/3609.60 c CG auxiliary variables introduced 1
3600.03/3609.60 c CG solutions found 0
3600.03/3609.60 c CG cores constructed 0
3600.03/3609.60 c CG core cardinality constraints returned 0
3600.03/3609.60 c CG unit cores 0
3600.03/3609.60 c CG single cores 0
3600.03/3609.60 c CG blocks removed during cardinality reduction 0
3600.03/3609.60 c CG first core best 0
3600.03/3609.60 c CG decision core best 0
3600.03/3609.60 c CG core reduction tie 0
3600.03/3609.60 c CG core degree average 0.00
3600.03/3609.60 c CG core slack average 0.00
3600.03/3609.60 c CG core upper bound improvements 0
3600.03/3609.60 c STR number of successful calls 0
3600.03/3609.60 c STR number of unsuccessful calls 0
3600.03/3609.60 c STR number of inconclusive calls 0
3600.03/3609.60 c STR number of successful attempts 0
3600.03/3609.60 c STR number of unsuccessful attempts 0
3600.03/3609.60 c STR number of inconclusive attempts 0
3600.03/3609.60 c STR average degree increase per successful call inf
3600.03/3609.60 c STR average degree increase per successful attempt inf
3600.03/3609.60 c STR total number of conflicts for successful attempts 0
3600.03/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.60 c STR average number of conflicts per successful attempt inf
3600.03/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.60 c AVG.sumWPerc 17.29
3600.03/3609.60 c bigint constraints 0
3600.03/3609.60 s UNKNOWN
3600.03/3609.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (55822 MiB free)
memory of node 1: 64507 MiB (44497 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523976-1751608882/watcher-4523976-1751608882 -o /tmp/evaluation-result-4523976-1751608882/solver-4523976-1751608882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84770 --watchdog 3760 run-opt.sh HOME/instance-4523976-1751608882.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=85753, runsolver pid=85750
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.31 4.19 4.12 6/269 85755
/proc/meminfo: memFree=102727956/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=65952 memory=21232 CPUtime=0.08 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 3076 0 0 0 7 1 0 0 20 0 1 0 76567105 67534848 5308 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 16488 5308 1952 1147 0 3915 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70144 KiB
Current children cumulated memory: 24304 KiB
[startup+0.205811 s]*
/proc/loadavg: 4.31 4.19 4.12 5/269 85755
/proc/meminfo: memFree=102719892/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=117760 memory=66976 CPUtime=0.18 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 12054 0 0 0 13 5 0 0 20 0 1 0 76567105 120586240 16744 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 29440 16744 2368 1147 0 16867 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 121952 KiB
Current children cumulated memory: 70048 KiB
[startup+0.305808 s]*
/proc/loadavg: 4.31 4.19 4.12 5/269 85755
/proc/meminfo: memFree=102711828/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=136700 memory=82976 CPUtime=0.28 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 16029 0 0 0 23 5 0 0 20 0 1 0 76567105 139980800 20744 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 34175 20744 2400 1147 0 21602 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 140892 KiB
Current children cumulated memory: 86048 KiB
[startup+0.700205 s]
/proc/loadavg: 4.31 4.19 4.12 5/269 85755
/proc/meminfo: memFree=102703764/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=140328 memory=86816 CPUtime=0.66 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 16987 0 0 0 60 6 0 0 20 0 1 0 76567105 143695872 21704 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 35082 21704 2400 1147 0 22509 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 144520 KiB
Current children cumulated memory: 89888 KiB
[startup+1.50019 s]
/proc/loadavg: 4.31 4.19 4.12 5/268 85759
/proc/meminfo: memFree=103753484/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=154648 memory=100824 CPUtime=1.47 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 18980 0 0 0 138 9 0 0 20 0 1 0 76567105 158359552 25206 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 38662 25206 2400 1147 0 26089 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 158840 KiB
Current children cumulated memory: 103896 KiB
[startup+3.10577 s]
/proc/loadavg: 4.29 4.18 4.12 5/270 85761
/proc/meminfo: memFree=103722060/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=205144 memory=138516 CPUtime=3.07 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 24831 0 0 0 295 12 0 0 20 0 1 0 76567105 210067456 34629 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 51286 34629 2400 1147 0 38713 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 209336 KiB
Current children cumulated memory: 141588 KiB
[startup+6.3002 s]
/proc/loadavg: 4.29 4.18 4.12 5/269 85761
/proc/meminfo: memFree=103755344/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=210388 memory=144532 CPUtime=6.25 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 26332 0 0 0 610 15 0 0 20 0 1 0 76567105 215437312 36133 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 52597 36133 2400 1147 0 40024 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 214580 KiB
Current children cumulated memory: 147604 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.18 4.11 5/269 85761
/proc/meminfo: memFree=103770744/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=265464 memory=188700 CPUtime=12.63 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 32328 0 0 0 1240 23 0 0 20 0 1 0 76567105 271835136 47175 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 66366 47175 2400 1147 0 53793 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 269656 KiB
Current children cumulated memory: 191772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.19 4.12 5/269 85762
/proc/meminfo: memFree=103824756/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=284820 memory=210984 CPUtime=25.4 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 37396 0 0 0 2506 34 0 0 20 0 1 0 76567105 291655680 52746 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 71205 52746 2400 1147 0 58632 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 289012 KiB
Current children cumulated memory: 214056 KiB
[startup+51.1057 s]
/proc/loadavg: 4.19 4.17 4.11 5/269 85762
/proc/meminfo: memFree=103991036/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=328972 memory=267900 CPUtime=50.94 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 46587 0 0 0 5028 66 0 0 20 0 1 0 76567105 336867328 66975 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 82243 66975 2400 1147 0 69670 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 333164 KiB
Current children cumulated memory: 270972 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/268 85764
/proc/meminfo: memFree=103913328/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=399744 memory=313040 CPUtime=101.99 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 52286 0 0 0 10090 109 0 0 20 0 1 0 76567105 409337856 78260 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 99936 78260 2400 1147 0 87363 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 403936 KiB
Current children cumulated memory: 316112 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/267 85766
/proc/meminfo: memFree=103813376/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=419688 memory=333264 CPUtime=161.83 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 57336 0 0 0 16003 180 0 0 20 0 1 0 76567105 429760512 83316 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 104922 83316 2400 1147 0 92349 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 423880 KiB
Current children cumulated memory: 336336 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/267 85768
/proc/meminfo: memFree=103777052/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=450796 memory=371584 CPUtime=221.67 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 63864 0 0 0 21940 227 0 0 20 0 1 0 76567105 461615104 92896 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 112699 92896 2400 1147 0 100126 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/85755/statm: 462096 381761 2496 1147 0 449523 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 1852576 KiB
Current children cumulated memory: 1530116 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/268 86093
/proc/meminfo: memFree=101593740/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=1849604 memory=1528068 CPUtime=3094.05 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 195012 0 0 0 307230 2175 0 0 20 0 1 0 76567105 1893994496 382017 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 462401 382017 2496 1147 0 449828 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 1853796 KiB
Current children cumulated memory: 1531140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/268 86095
/proc/meminfo: memFree=101522208/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=1852496 memory=1531140 CPUtime=3153.9 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 195821 0 0 0 313174 2216 0 0 20 0 1 0 76567105 1896955904 382785 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 463124 382785 2496 1147 0 450551 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 1856688 KiB
Current children cumulated memory: 1534212 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/268 86097
/proc/meminfo: memFree=101510796/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=1853216 memory=1531780 CPUtime=3213.73 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 195969 0 0 0 319118 2255 0 0 20 0 1 0 76567105 1897693184 382945 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 463304 382945 2496 1147 0 450731 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 1857408 KiB
Current children cumulated memory: 1534852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 86099
/proc/meminfo: memFree=101480224/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=1858240 memory=1536516 CPUtime=3273.59 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 197148 0 0 0 325061 2298 0 0 20 0 1 0 76567105 1902837760 384129 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 464560 384129 2496 1147 0 451987 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 1862432 KiB
Current children cumulated memory: 1539588 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/268 86101
/proc/meminfo: memFree=101457800/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=1860280 memory=1538052 CPUtime=3333.44 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 197589 0 0 0 331010 2334 0 0 20 0 1 0 76567105 1904926720 384513 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 465070 384513 2496 1147 0 452497 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 1864472 KiB
Current children cumulated memory: 1541124 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/268 86103
/proc/meminfo: memFree=101272092/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=1873508 memory=1712612 CPUtime=3393.28 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 201264 0 0 0 336968 2360 0 0 20 0 1 0 76567105 1918472192 428153 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 468377 428153 2496 1147 0 455804 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 1877700 KiB
Current children cumulated memory: 1715684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/267 86105
/proc/meminfo: memFree=100913444/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=2463088 memory=2047592 CPUtime=3453.12 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 206831 0 0 0 342925 2387 0 0 20 0 1 0 76567105 2522202112 511898 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 615772 511898 2496 1147 0 603199 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 2467280 KiB
Current children cumulated memory: 2050664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 86109
/proc/meminfo: memFree=100639968/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=2497300 memory=2324728 CPUtime=3512.96 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 214794 0 0 0 348878 2418 0 0 20 0 1 0 76567105 2557235200 581182 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 624325 581182 2496 1147 0 611752 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 2501492 KiB
Current children cumulated memory: 2327800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/267 86127
/proc/meminfo: memFree=100400292/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=3448384 memory=2545116 CPUtime=3572.8 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 220841 0 0 0 354830 2450 0 0 20 0 1 0 76567105 3531145216 636279 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 862096 636279 2496 1147 0 849523 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 3452576 KiB
Current children cumulated memory: 2548188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 86127
/proc/meminfo: memFree=100315088/131249988 swapFree=33010160/33010684
[pid=85753] ppid=85750 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85753/stat : 85753 (run-opt.sh) S 85750 85753 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76567104 4292608 768 18446744073709551615 94547436310528 94547437205061 140725410245152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547437444112 94547437491856 94547443933184 140725410249069 140725410249192 140725410249192 140725410254794 0
/proc/85753/statm: 1048 768 704 219 0 110 0
[pid=85755] ppid=85753 vsize=3460424 memory=2631172 CPUtime=3600.03 cores=0,2
/proc/85755/stat : 85755 (roundingsat) R 85753 85753 84760 0 -1 4194304 223423 0 0 0 357537 2466 0 0 20 0 1 0 76567105 3543474176 657793 18446744073709551615 4227072 8923433 140726310736752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41566208 140726310742434 140726310742568 140726310742568 140726310748138 0
/proc/85755/statm: 865106 657793 2496 1147 0 852533 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3464616 KiB
Current children cumulated memory: 2634244 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 85753 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002282 s
Sleeping 2 seconds
[startup+3609.64 s]
# the end of solver process 85755 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.38 s, system=24.7063 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.64
CPU time (s): 3600.09
CPU user time (s): 3575.38
CPU system time (s): 24.7063
CPU usage (%): 99.7352
Max. virtual memory (cumulated for all children) (KiB): 3464616
Max. memory (cumulated for all children) (KiB): 2634244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.38
system time used= 24.7063
maximum resident set size= 2631428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223647
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= 314
involuntary context switches= 8168
# summary of solver processes directly reported to runsolver:
# pid: 85753,85755
# total CPU time (s): 3600.09
# total CPU user time (s): 3575.38
# total CPU system time (s): 24.7063
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60845 second user time and 16.431 second system time
The end
Begin job on nodeC034 at 2025-07-04 08:01:23
IDJOB=4523976
IDBENCH=180463
IDSOLVER=3350
FILE ID=nodeC034/4523976-1751608882
RUNJOBID= nodeC034-1751603608-84770
SLURM_JOB_ID= 9598888
Free space on /tmp= 428668 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523976-1751608882/watcher-4523976-1751608882 -o /tmp/evaluation-result-4523976-1751608882/solver-4523976-1751608882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84770 --watchdog 3760 run-opt.sh HOME/instance-4523976-1751608882.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=223233287
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.441
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.683
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.723
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3760.578
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.752
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.741
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3591.363
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 102727956 kB
MemAvailable: 127436392 kB
Buffers: 2128 kB
Cached: 25446224 kB
SwapCached: 36 kB
Active: 2268064 kB
Inactive: 24971596 kB
Active(anon): 1805180 kB
Inactive(anon): 4208 kB
Active(file): 462884 kB
Inactive(file): 24967388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1144596 kB
Writeback: 0 kB
AnonPages: 1785684 kB
Mapped: 119184 kB
Shmem: 18072 kB
KReclaimable: 234408 kB
Slab: 327836 kB
SReclaimable: 234408 kB
SUnreclaim: 93428 kB
KernelStack: 4320 kB
PageTables: 6840 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2253532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150740 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1464320 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430724 MiB
End job on nodeC034 at 2025-07-04 09:01:32