0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.39/0.44 c #variables 35169 #constraints 28953
0.39/0.44 c objective is ce32
0.39/0.47 c initial watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
0.39/0.47 c initial counting CF 32, 64, 128, Arb: 22177 , 0 , 0 , 0
0.39/0.47 c GLOBAL bounds - >= 0 @ 0.348543
0.48/0.56 c GLOBAL bounds - >= 0 @ 0.384266
33.87/34.08 c #Conflicts: 1000 | #Constraints: 29952
33.87/34.08 c #Conflicts: 2000 | #Constraints: 30952
33.87/34.08 c INPROCESSING
33.87/34.08 c GARBAGE COLLECT
33.87/34.08 c #Conflicts: 3000 | #Constraints: 30959
33.87/34.08 c #Conflicts: 4000 | #Constraints: 31959
33.87/34.08 c INPROCESSING
33.87/34.08 c GARBAGE COLLECT
33.87/34.08 c #Conflicts: 5000 | #Constraints: 31371
33.87/34.08 c #Conflicts: 6000 | #Constraints: 32371
33.87/34.08 c INPROCESSING
33.87/34.08 c GARBAGE COLLECT
33.87/34.08 c #Conflicts: 7000 | #Constraints: 31390
33.87/34.08 c #Conflicts: 8000 | #Constraints: 32391
33.87/34.08 c #Conflicts: 9000 | #Constraints: 33391
33.87/34.08 c INPROCESSING
33.87/34.08 c GARBAGE COLLECT
33.87/34.08 c #Conflicts: 10000 | #Constraints: 32106
33.87/34.08 c #Conflicts: 11000 | #Constraints: 33106
33.87/34.08 c #Conflicts: 12000 | #Constraints: 34106
33.87/34.08 c INPROCESSING
33.87/34.08 c GARBAGE COLLECT
33.87/34.08 c #Conflicts: 13000 | #Constraints: 32571
33.87/34.08 c #Conflicts: 14000 | #Constraints: 33571
33.87/34.08 c #Conflicts: 15000 | #Constraints: 34571
33.87/34.08 c INPROCESSING
33.87/34.08 c GARBAGE COLLECT
33.87/34.08 c rational objective 0
41.94/42.19 c #Conflicts: 16000 | #Constraints: 32859
41.94/42.19 c #Conflicts: 17000 | #Constraints: 33859
41.94/42.19 c #Conflicts: 18000 | #Constraints: 34860
41.94/42.19 c INPROCESSING
41.94/42.19 c GARBAGE COLLECT
41.94/42.19 c rational objective 0
53.30/53.58 c #Conflicts: 19000 | #Constraints: 32930
53.30/53.58 c #Conflicts: 20000 | #Constraints: 33930
53.30/53.58 c #Conflicts: 21000 | #Constraints: 34930
53.30/53.58 c INPROCESSING
53.30/53.58 c GARBAGE COLLECT
53.30/53.58 c #Conflicts: 22000 | #Constraints: 32677
53.30/53.58 c #Conflicts: 23000 | #Constraints: 33677
53.30/53.58 c #Conflicts: 24000 | #Constraints: 34677
53.30/53.58 c #Conflicts: 25000 | #Constraints: 35677
53.30/53.58 c INPROCESSING
53.30/53.58 c GARBAGE COLLECT
53.30/53.58 c rational objective 0
61.28/61.52 c #Conflicts: 26000 | #Constraints: 33319
61.28/61.52 c #Conflicts: 27000 | #Constraints: 34320
61.28/61.52 c #Conflicts: 28000 | #Constraints: 35324
61.28/61.52 c #Conflicts: 29000 | #Constraints: 36325
61.28/61.52 c INPROCESSING
61.28/61.52 c GARBAGE COLLECT
61.28/61.52 c rational objective 0
75.04/75.34 c #Conflicts: 30000 | #Constraints: 33757
75.04/75.34 c #Conflicts: 31000 | #Constraints: 34757
75.04/75.34 c #Conflicts: 32000 | #Constraints: 35757
75.04/75.34 c #Conflicts: 33000 | #Constraints: 36757
75.04/75.34 c INPROCESSING
75.04/75.34 c GARBAGE COLLECT
75.04/75.34 c rational objective 0
104.06/104.46 c #Conflicts: 34000 | #Constraints: 33968
104.06/104.46 c #Conflicts: 35000 | #Constraints: 34968
104.06/104.46 c #Conflicts: 36000 | #Constraints: 35968
104.06/104.46 c #Conflicts: 37000 | #Constraints: 36968
104.06/104.46 c INPROCESSING
104.06/104.46 c GARBAGE COLLECT
104.06/104.46 c #Conflicts: 38000 | #Constraints: 33925
104.06/104.46 c #Conflicts: 39000 | #Constraints: 34925
104.06/104.46 c #Conflicts: 40000 | #Constraints: 35926
104.06/104.46 c #Conflicts: 41000 | #Constraints: 36927
104.06/104.46 c INPROCESSING
104.06/104.46 c GARBAGE COLLECT
104.06/104.46 c rational objective 0
136.76/137.20 c #Conflicts: 42000 | #Constraints: 33754
136.76/137.20 c #Conflicts: 43000 | #Constraints: 34757
136.76/137.20 c #Conflicts: 44000 | #Constraints: 35757
136.76/137.20 c #Conflicts: 45000 | #Constraints: 36759
136.76/137.20 c #Conflicts: 46000 | #Constraints: 37763
136.76/137.20 c INPROCESSING
136.76/137.20 c GARBAGE COLLECT
136.76/137.20 c #Conflicts: 47000 | #Constraints: 34310
136.76/137.20 c #Conflicts: 48000 | #Constraints: 35313
136.76/137.20 c #Conflicts: 49000 | #Constraints: 36316
136.76/137.20 c #Conflicts: 50000 | #Constraints: 37320
136.76/137.20 c #Conflicts: 51000 | #Constraints: 38322
136.76/137.20 c INPROCESSING
136.76/137.20 c GARBAGE COLLECT
136.76/137.20 c #Conflicts: 52000 | #Constraints: 34729
136.76/137.20 c #Conflicts: 53000 | #Constraints: 35729
136.76/137.20 c #Conflicts: 54000 | #Constraints: 36729
136.76/137.20 c #Conflicts: 55000 | #Constraints: 37730
136.76/137.20 c #Conflicts: 56000 | #Constraints: 38731
136.76/137.20 c INPROCESSING
136.76/137.20 c GARBAGE COLLECT
136.76/137.20 c rational objective 0
145.13/145.67 c #Conflicts: 57000 | #Constraints: 35007
145.13/145.67 c #Conflicts: 58000 | #Constraints: 36008
145.13/145.67 c #Conflicts: 59000 | #Constraints: 37008
145.13/145.67 c #Conflicts: 60000 | #Constraints: 38008
145.13/145.67 c #Conflicts: 61000 | #Constraints: 39008
145.13/145.67 c INPROCESSING
145.13/145.67 c GARBAGE COLLECT
145.13/145.67 c rational objective 0
154.91/155.40 c #Conflicts: 62000 | #Constraints: 35002
154.91/155.40 c #Conflicts: 63000 | #Constraints: 36003
154.91/155.40 c #Conflicts: 64000 | #Constraints: 37003
154.91/155.40 c #Conflicts: 65000 | #Constraints: 38003
154.91/155.40 c #Conflicts: 66000 | #Constraints: 39003
154.91/155.40 c INPROCESSING
154.91/155.40 c GARBAGE COLLECT
154.91/155.40 c rational objective 0
165.37/166.01 c #Conflicts: 67000 | #Constraints: 34794
165.37/166.01 c #Conflicts: 68000 | #Constraints: 35796
165.37/166.01 c #Conflicts: 69000 | #Constraints: 36799
165.37/166.01 c #Conflicts: 70000 | #Constraints: 37801
165.37/166.01 c #Conflicts: 71000 | #Constraints: 38802
165.37/166.01 c #Conflicts: 72000 | #Constraints: 39805
165.37/166.01 c INPROCESSING
165.37/166.01 c GARBAGE COLLECT
165.37/166.01 c rational objective 0
183.44/184.06 c #Conflicts: 73000 | #Constraints: 35408
183.44/184.06 c #Conflicts: 74000 | #Constraints: 36408
183.44/184.06 c #Conflicts: 75000 | #Constraints: 37408
183.44/184.06 c #Conflicts: 76000 | #Constraints: 38408
183.44/184.06 c #Conflicts: 77000 | #Constraints: 39409
183.44/184.06 c #Conflicts: 78000 | #Constraints: 40409
183.44/184.06 c INPROCESSING
183.44/184.06 c GARBAGE COLLECT
183.44/184.06 c rational objective 0
195.79/196.49 c #Conflicts: 79000 | #Constraints: 35810
195.79/196.49 c #Conflicts: 80000 | #Constraints: 36811
195.79/196.49 c #Conflicts: 81000 | #Constraints: 37811
195.79/196.49 c #Conflicts: 82000 | #Constraints: 38811
195.79/196.49 c #Conflicts: 83000 | #Constraints: 39811
195.79/196.49 c #Conflicts: 84000 | #Constraints: 40811
195.79/196.49 c INPROCESSING
195.79/196.49 c GARBAGE COLLECT
195.79/196.49 c rational objective 0
209.25/210.01 c #Conflicts: 85000 | #Constraints: 36008
209.25/210.01 c #Conflicts: 86000 | #Constraints: 37008
209.25/210.01 c #Conflicts: 87000 | #Constraints: 38011
209.25/210.01 c #Conflicts: 88000 | #Constraints: 39014
209.25/210.01 c #Conflicts: 89000 | #Constraints: 40019
209.25/210.01 c #Conflicts: 90000 | #Constraints: 41022
209.25/210.01 c INPROCESSING
209.25/210.01 c GARBAGE COLLECT
209.25/210.01 c rational objective 0
230.19/230.90 c #Conflicts: 91000 | #Constraints: 36022
230.19/230.90 c #Conflicts: 92000 | #Constraints: 37022
230.19/230.90 c #Conflicts: 93000 | #Constraints: 38022
230.19/230.90 c #Conflicts: 94000 | #Constraints: 39022
230.19/230.90 c #Conflicts: 95000 | #Constraints: 40022
230.19/230.90 c #Conflicts: 96000 | #Constraints: 41022
230.19/230.90 c INPROCESSING
230.19/230.90 c GARBAGE COLLECT
230.19/230.90 c rational objective 0
262.69/263.54 c #Conflicts: 97000 | #Constraints: 35815
262.69/263.54 c #Conflicts: 98000 | #Constraints: 36816
262.69/263.54 c #Conflicts: 99000 | #Constraints: 37819
262.69/263.54 c #Conflicts: 100000 | #Constraints: 38822
262.69/263.54 c #Conflicts: 101000 | #Constraints: 39825
262.69/263.54 c #Conflicts: 102000 | #Constraints: 40829
262.69/263.54 c #Conflicts: 103000 | #Constraints: 41835
262.69/263.54 c INPROCESSING
262.69/263.54 c GARBAGE COLLECT
262.69/263.54 c #Conflicts: 104000 | #Constraints: 36407
262.69/263.54 c #Conflicts: 105000 | #Constraints: 37408
262.69/263.54 c #Conflicts: 106000 | #Constraints: 38409
262.69/263.54 c #Conflicts: 107000 | #Constraints: 39410
262.69/263.54 c #Conflicts: 108000 | #Constraints: 40410
262.69/263.54 c #Conflicts: 109000 | #Constraints: 41411
262.69/263.54 c #Conflicts: 110000 | #Constraints: 42412
262.69/263.54 c INPROCESSING
262.69/263.54 c GARBAGE COLLECT
262.69/263.54 c rational objective 0
276.17/277.04 c #Conflicts: 111000 | #Constraints: 36833
276.17/277.04 c #Conflicts: 112000 | #Constraints: 37833
276.17/277.04 c #Conflicts: 113000 | #Constraints: 38834
276.17/277.04 c #Conflicts: 114000 | #Constraints: 39837
276.17/277.04 c #Conflicts: 115000 | #Constraints: 40840
276.17/277.04 c #Conflicts: 116000 | #Constraints: 41842
276.17/277.04 c #Conflicts: 117000 | #Constraints: 42844
276.17/277.04 c INPROCESSING
276.17/277.04 c GARBAGE COLLECT
276.17/277.04 c rational objective 0
319.22/320.20 c #Conflicts: 118000 | #Constraints: 37081
319.22/320.20 c #Conflicts: 119000 | #Constraints: 38082
319.22/320.20 c #Conflicts: 120000 | #Constraints: 39085
319.22/320.20 c #Conflicts: 121000 | #Constraints: 40087
319.22/320.20 c #Conflicts: 122000 | #Constraints: 41088
319.22/320.20 c #Conflicts: 123000 | #Constraints: 42091
319.22/320.20 c #Conflicts: 124000 | #Constraints: 43095
319.22/320.20 c INPROCESSING
319.22/320.20 c GARBAGE COLLECT
319.22/320.20 c #Conflicts: 125000 | #Constraints: 37037
319.22/320.20 c #Conflicts: 126000 | #Constraints: 38039
319.22/320.20 c #Conflicts: 127000 | #Constraints: 39039
319.22/320.20 c #Conflicts: 128000 | #Constraints: 40040
319.22/320.20 c #Conflicts: 129000 | #Constraints: 41041
319.22/320.20 c #Conflicts: 130000 | #Constraints: 42042
319.22/320.20 c #Conflicts: 131000 | #Constraints: 43042
319.22/320.20 c INPROCESSING
319.22/320.20 c GARBAGE COLLECT
319.22/320.20 c rational objective 0
345.15/346.22 c #Conflicts: 132000 | #Constraints: 36840
345.15/346.22 c #Conflicts: 133000 | #Constraints: 37840
345.15/346.22 c #Conflicts: 134000 | #Constraints: 38841
345.15/346.22 c #Conflicts: 135000 | #Constraints: 39842
345.15/346.22 c #Conflicts: 136000 | #Constraints: 40843
345.15/346.22 c #Conflicts: 137000 | #Constraints: 41845
345.15/346.22 c #Conflicts: 138000 | #Constraints: 42847
345.15/346.22 c #Conflicts: 139000 | #Constraints: 43848
345.15/346.22 c INPROCESSING
345.15/346.22 c GARBAGE COLLECT
345.15/346.22 c rational objective 0
372.88/374.08 c #Conflicts: 140000 | #Constraints: 37451
372.88/374.08 c #Conflicts: 141000 | #Constraints: 38452
372.88/374.08 c #Conflicts: 142000 | #Constraints: 39453
372.88/374.08 c #Conflicts: 143000 | #Constraints: 40454
372.88/374.08 c #Conflicts: 144000 | #Constraints: 41454
372.88/374.08 c #Conflicts: 145000 | #Constraints: 42454
372.88/374.08 c #Conflicts: 146000 | #Constraints: 43457
372.88/374.08 c #Conflicts: 147000 | #Constraints: 44460
372.88/374.08 c INPROCESSING
372.88/374.08 c GARBAGE COLLECT
372.88/374.08 c rational objective 0
392.61/393.85 c #Conflicts: 148000 | #Constraints: 37865
392.61/393.85 c #Conflicts: 149000 | #Constraints: 38866
392.61/393.85 c #Conflicts: 150000 | #Constraints: 39868
392.61/393.85 c #Conflicts: 151000 | #Constraints: 40868
392.61/393.85 c #Conflicts: 152000 | #Constraints: 41868
392.61/393.85 c #Conflicts: 153000 | #Constraints: 42868
392.61/393.85 c #Conflicts: 154000 | #Constraints: 43869
392.61/393.85 c #Conflicts: 155000 | #Constraints: 44869
392.61/393.85 c INPROCESSING
392.61/393.85 c GARBAGE COLLECT
392.61/393.85 c rational objective 0
412.86/414.16 c #Conflicts: 156000 | #Constraints: 38099
412.86/414.16 c #Conflicts: 157000 | #Constraints: 39101
412.86/414.16 c #Conflicts: 158000 | #Constraints: 40103
412.86/414.16 c #Conflicts: 159000 | #Constraints: 41105
412.86/414.16 c #Conflicts: 160000 | #Constraints: 42105
412.86/414.16 c #Conflicts: 161000 | #Constraints: 43105
412.86/414.16 c #Conflicts: 162000 | #Constraints: 44106
412.86/414.16 c #Conflicts: 163000 | #Constraints: 45107
412.86/414.16 c INPROCESSING
412.86/414.16 c GARBAGE COLLECT
412.86/414.16 c rational objective 0
424.83/426.15 c #Conflicts: 164000 | #Constraints: 38086
424.83/426.15 c #Conflicts: 165000 | #Constraints: 39086
424.83/426.15 c #Conflicts: 166000 | #Constraints: 40087
424.83/426.15 c #Conflicts: 167000 | #Constraints: 41087
424.83/426.15 c #Conflicts: 168000 | #Constraints: 42087
424.83/426.15 c #Conflicts: 169000 | #Constraints: 43087
424.83/426.15 c #Conflicts: 170000 | #Constraints: 44087
424.83/426.15 c #Conflicts: 171000 | #Constraints: 45087
424.83/426.15 c INPROCESSING
424.83/426.15 c GARBAGE COLLECT
424.83/426.15 c rational objective 0
438.18/439.57 c #Conflicts: 172000 | #Constraints: 37903
438.18/439.57 c #Conflicts: 173000 | #Constraints: 38903
438.18/439.57 c #Conflicts: 174000 | #Constraints: 39903
438.18/439.57 c #Conflicts: 175000 | #Constraints: 40903
438.18/439.57 c #Conflicts: 176000 | #Constraints: 41904
438.18/439.57 c #Conflicts: 177000 | #Constraints: 42906
438.18/439.57 c #Conflicts: 178000 | #Constraints: 43906
438.18/439.57 c #Conflicts: 179000 | #Constraints: 44906
438.18/439.57 c #Conflicts: 180000 | #Constraints: 45907
438.18/439.57 c INPROCESSING
438.18/439.57 c GARBAGE COLLECT
438.18/439.57 c rational objective 0
458.02/459.43 c #Conflicts: 181000 | #Constraints: 38525
458.02/459.43 c #Conflicts: 182000 | #Constraints: 39525
458.02/459.43 c #Conflicts: 183000 | #Constraints: 40525
458.02/459.43 c #Conflicts: 184000 | #Constraints: 41525
458.02/459.43 c #Conflicts: 185000 | #Constraints: 42527
458.02/459.43 c #Conflicts: 186000 | #Constraints: 43528
458.02/459.43 c #Conflicts: 187000 | #Constraints: 44530
458.02/459.43 c #Conflicts: 188000 | #Constraints: 45532
458.02/459.43 c #Conflicts: 189000 | #Constraints: 46536
458.02/459.43 c INPROCESSING
458.02/459.43 c GARBAGE COLLECT
458.02/459.43 c rational objective 0
492.22/493.77 c #Conflicts: 190000 | #Constraints: 38935
492.22/493.77 c #Conflicts: 191000 | #Constraints: 39937
492.22/493.77 c #Conflicts: 192000 | #Constraints: 40940
492.22/493.77 c #Conflicts: 193000 | #Constraints: 41943
492.22/493.77 c #Conflicts: 194000 | #Constraints: 42948
492.22/493.77 c #Conflicts: 195000 | #Constraints: 43951
492.22/493.77 c #Conflicts: 196000 | #Constraints: 44953
492.22/493.77 c #Conflicts: 197000 | #Constraints: 45956
492.22/493.77 c #Conflicts: 198000 | #Constraints: 46959
492.22/493.77 c INPROCESSING
492.22/493.77 c GARBAGE COLLECT
492.22/493.77 c rational objective 0
514.57/516.14 c #Conflicts: 199000 | #Constraints: 39155
514.57/516.14 c #Conflicts: 200000 | #Constraints: 40155
514.57/516.14 c #Conflicts: 201000 | #Constraints: 41156
514.57/516.14 c #Conflicts: 202000 | #Constraints: 42159
514.57/516.14 c #Conflicts: 203000 | #Constraints: 43160
514.57/516.14 c #Conflicts: 204000 | #Constraints: 44163
514.57/516.14 c #Conflicts: 205000 | #Constraints: 45165
514.57/516.14 c #Conflicts: 206000 | #Constraints: 46167
514.57/516.14 c #Conflicts: 207000 | #Constraints: 47170
514.57/516.14 c INPROCESSING
514.57/516.14 c GARBAGE COLLECT
514.57/516.14 c rational objective 0
538.79/540.40 c #Conflicts: 208000 | #Constraints: 39112
538.79/540.40 c #Conflicts: 209000 | #Constraints: 40112
538.79/540.40 c #Conflicts: 210000 | #Constraints: 41113
538.79/540.40 c #Conflicts: 211000 | #Constraints: 42113
538.79/540.40 c #Conflicts: 212000 | #Constraints: 43115
538.79/540.40 c #Conflicts: 213000 | #Constraints: 44118
538.79/540.40 c #Conflicts: 214000 | #Constraints: 45118
538.79/540.40 c #Conflicts: 215000 | #Constraints: 46118
538.79/540.40 c #Conflicts: 216000 | #Constraints: 47120
538.79/540.40 c INPROCESSING
538.79/540.40 c GARBAGE COLLECT
538.79/540.40 c rational objective 0
562.12/563.84 c #Conflicts: 217000 | #Constraints: 38926
562.12/563.84 c #Conflicts: 218000 | #Constraints: 39927
562.12/563.84 c #Conflicts: 219000 | #Constraints: 40927
562.12/563.84 c #Conflicts: 220000 | #Constraints: 41927
562.12/563.84 c #Conflicts: 221000 | #Constraints: 42927
562.12/563.84 c #Conflicts: 222000 | #Constraints: 43927
562.12/563.84 c #Conflicts: 223000 | #Constraints: 44929
562.12/563.84 c #Conflicts: 224000 | #Constraints: 45929
562.12/563.84 c #Conflicts: 225000 | #Constraints: 46935
562.12/563.84 c #Conflicts: 226000 | #Constraints: 47939
562.12/563.84 c INPROCESSING
562.12/563.84 c GARBAGE COLLECT
562.12/563.84 c rational objective 0
582.56/584.38 c #Conflicts: 227000 | #Constraints: 39489
582.56/584.38 c #Conflicts: 228000 | #Constraints: 40489
582.56/584.38 c #Conflicts: 229000 | #Constraints: 41489
582.56/584.38 c #Conflicts: 230000 | #Constraints: 42489
582.56/584.38 c #Conflicts: 231000 | #Constraints: 43489
582.56/584.38 c #Conflicts: 232000 | #Constraints: 44489
582.56/584.38 c #Conflicts: 233000 | #Constraints: 45489
582.56/584.38 c #Conflicts: 234000 | #Constraints: 46489
582.56/584.38 c #Conflicts: 235000 | #Constraints: 47490
582.56/584.38 c #Conflicts: 236000 | #Constraints: 48491
582.56/584.38 c INPROCESSING
582.56/584.38 c GARBAGE COLLECT
582.56/584.38 c rational objective 0
602.11/603.96 c #Conflicts: 237000 | #Constraints: 39919
602.11/603.96 c #Conflicts: 238000 | #Constraints: 40921
602.11/603.96 c #Conflicts: 239000 | #Constraints: 41921
602.11/603.96 c #Conflicts: 240000 | #Constraints: 42923
602.11/603.96 c #Conflicts: 241000 | #Constraints: 43924
602.11/603.96 c #Conflicts: 242000 | #Constraints: 44925
602.11/603.96 c #Conflicts: 243000 | #Constraints: 45926
602.11/603.96 c #Conflicts: 244000 | #Constraints: 46927
602.11/603.96 c #Conflicts: 245000 | #Constraints: 47928
602.11/603.96 c #Conflicts: 246000 | #Constraints: 48928
602.11/603.96 c INPROCESSING
602.11/603.96 c GARBAGE COLLECT
602.11/603.96 c rational objective 0
626.73/628.66 c #Conflicts: 247000 | #Constraints: 40135
626.73/628.66 c #Conflicts: 248000 | #Constraints: 41135
626.73/628.66 c #Conflicts: 249000 | #Constraints: 42135
626.73/628.66 c #Conflicts: 250000 | #Constraints: 43136
626.73/628.66 c #Conflicts: 251000 | #Constraints: 44136
626.73/628.66 c #Conflicts: 252000 | #Constraints: 45136
626.73/628.66 c #Conflicts: 253000 | #Constraints: 46137
626.73/628.66 c #Conflicts: 254000 | #Constraints: 47138
626.73/628.66 c #Conflicts: 255000 | #Constraints: 48140
626.73/628.66 c #Conflicts: 256000 | #Constraints: 49141
626.73/628.66 c INPROCESSING
626.73/628.66 c GARBAGE COLLECT
626.73/628.66 c rational objective 0
647.18/649.18 c #Conflicts: 257000 | #Constraints: 40181
647.18/649.18 c #Conflicts: 258000 | #Constraints: 41182
647.18/649.18 c #Conflicts: 259000 | #Constraints: 42183
647.18/649.18 c #Conflicts: 260000 | #Constraints: 43183
647.18/649.18 c #Conflicts: 261000 | #Constraints: 44183
647.18/649.18 c #Conflicts: 262000 | #Constraints: 45184
647.18/649.18 c #Conflicts: 263000 | #Constraints: 46185
647.18/649.18 c #Conflicts: 264000 | #Constraints: 47189
647.18/649.18 c #Conflicts: 265000 | #Constraints: 48190
647.18/649.18 c #Conflicts: 266000 | #Constraints: 49190
647.18/649.18 c INPROCESSING
647.18/649.18 c GARBAGE COLLECT
647.18/649.18 c rational objective 0
665.62/667.67 c #Conflicts: 267000 | #Constraints: 40027
665.62/667.67 c #Conflicts: 268000 | #Constraints: 41027
665.62/667.67 c #Conflicts: 269000 | #Constraints: 42027
665.62/667.67 c #Conflicts: 270000 | #Constraints: 43027
665.62/667.67 c #Conflicts: 271000 | #Constraints: 44027
665.62/667.67 c #Conflicts: 272000 | #Constraints: 45027
665.62/667.67 c #Conflicts: 273000 | #Constraints: 46030
665.62/667.67 c #Conflicts: 274000 | #Constraints: 47033
665.62/667.67 c #Conflicts: 275000 | #Constraints: 48036
665.62/667.67 c #Conflicts: 276000 | #Constraints: 49038
665.62/667.67 c #Conflicts: 277000 | #Constraints: 50038
665.62/667.67 c INPROCESSING
665.62/667.67 c GARBAGE COLLECT
665.62/667.67 c rational objective 0
684.36/686.49 c #Conflicts: 278000 | #Constraints: 40624
684.36/686.49 c #Conflicts: 279000 | #Constraints: 41624
684.36/686.49 c #Conflicts: 280000 | #Constraints: 42624
684.36/686.49 c #Conflicts: 281000 | #Constraints: 43624
684.36/686.49 c #Conflicts: 282000 | #Constraints: 44624
684.36/686.49 c #Conflicts: 283000 | #Constraints: 45624
684.36/686.49 c #Conflicts: 284000 | #Constraints: 46624
684.36/686.49 c #Conflicts: 285000 | #Constraints: 47624
684.36/686.49 c #Conflicts: 286000 | #Constraints: 48624
684.36/686.49 c #Conflicts: 287000 | #Constraints: 49624
684.36/686.49 c #Conflicts: 288000 | #Constraints: 50624
684.36/686.49 c INPROCESSING
684.36/686.49 c GARBAGE COLLECT
684.36/686.49 c rational objective 0
715.78/717.94 c #Conflicts: 289000 | #Constraints: 40986
715.78/717.94 c #Conflicts: 290000 | #Constraints: 41987
715.78/717.94 c #Conflicts: 291000 | #Constraints: 42989
715.78/717.94 c #Conflicts: 292000 | #Constraints: 43992
715.78/717.94 c #Conflicts: 293000 | #Constraints: 44994
715.78/717.94 c #Conflicts: 294000 | #Constraints: 45995
715.78/717.94 c #Conflicts: 295000 | #Constraints: 46996
715.78/717.94 c #Conflicts: 296000 | #Constraints: 47997
715.78/717.94 c #Conflicts: 297000 | #Constraints: 48997
715.78/717.94 c #Conflicts: 298000 | #Constraints: 49999
715.78/717.94 c #Conflicts: 299000 | #Constraints: 50999
715.78/717.94 c INPROCESSING
715.78/717.94 c GARBAGE COLLECT
715.78/717.94 c rational objective 0
734.72/736.94 c #Conflicts: 300000 | #Constraints: 41187
734.72/736.94 c #Conflicts: 301000 | #Constraints: 42187
734.72/736.94 c #Conflicts: 302000 | #Constraints: 43187
734.72/736.94 c #Conflicts: 303000 | #Constraints: 44187
734.72/736.94 c #Conflicts: 304000 | #Constraints: 45187
734.72/736.94 c #Conflicts: 305000 | #Constraints: 46187
734.72/736.94 c #Conflicts: 306000 | #Constraints: 47187
734.72/736.94 c #Conflicts: 307000 | #Constraints: 48187
734.72/736.94 c #Conflicts: 308000 | #Constraints: 49187
734.72/736.94 c #Conflicts: 309000 | #Constraints: 50187
734.72/736.94 c #Conflicts: 310000 | #Constraints: 51187
734.72/736.94 c INPROCESSING
734.72/736.94 c GARBAGE COLLECT
734.72/736.94 c rational objective 0
759.64/761.91 c #Conflicts: 311000 | #Constraints: 41196
759.64/761.91 c #Conflicts: 312000 | #Constraints: 42197
759.64/761.91 c #Conflicts: 313000 | #Constraints: 43197
759.64/761.91 c #Conflicts: 314000 | #Constraints: 44198
759.64/761.91 c #Conflicts: 315000 | #Constraints: 45199
759.64/761.91 c #Conflicts: 316000 | #Constraints: 46199
759.64/761.91 c #Conflicts: 317000 | #Constraints: 47199
759.64/761.91 c #Conflicts: 318000 | #Constraints: 48199
759.64/761.91 c #Conflicts: 319000 | #Constraints: 49201
759.64/761.91 c #Conflicts: 320000 | #Constraints: 50204
759.64/761.91 c #Conflicts: 321000 | #Constraints: 51207
759.64/761.91 c INPROCESSING
759.64/761.91 c GARBAGE COLLECT
759.64/761.91 c rational objective 0
807.18/809.60 c #Conflicts: 322000 | #Constraints: 40991
807.18/809.60 c #Conflicts: 323000 | #Constraints: 41992
807.18/809.60 c #Conflicts: 324000 | #Constraints: 42993
807.18/809.60 c #Conflicts: 325000 | #Constraints: 43994
807.18/809.60 c #Conflicts: 326000 | #Constraints: 44995
807.18/809.60 c #Conflicts: 327000 | #Constraints: 45996
807.18/809.60 c #Conflicts: 328000 | #Constraints: 46999
807.18/809.60 c #Conflicts: 329000 | #Constraints: 48000
807.18/809.60 c #Conflicts: 330000 | #Constraints: 49001
807.18/809.60 c #Conflicts: 331000 | #Constraints: 50003
807.18/809.60 c #Conflicts: 332000 | #Constraints: 51004
807.18/809.60 c #Conflicts: 333000 | #Constraints: 52006
807.18/809.60 c INPROCESSING
807.18/809.60 c GARBAGE COLLECT
807.18/809.60 c rational objective 0
830.71/833.25 c #Conflicts: 334000 | #Constraints: 41574
830.71/833.25 c #Conflicts: 335000 | #Constraints: 42575
830.71/833.25 c #Conflicts: 336000 | #Constraints: 43576
830.71/833.25 c #Conflicts: 337000 | #Constraints: 44577
830.71/833.25 c #Conflicts: 338000 | #Constraints: 45580
830.71/833.25 c #Conflicts: 339000 | #Constraints: 46583
830.71/833.25 c #Conflicts: 340000 | #Constraints: 47586
830.71/833.25 c #Conflicts: 341000 | #Constraints: 48587
830.71/833.25 c #Conflicts: 342000 | #Constraints: 49587
830.71/833.25 c #Conflicts: 343000 | #Constraints: 50587
830.71/833.25 c #Conflicts: 344000 | #Constraints: 51587
830.71/833.25 c #Conflicts: 345000 | #Constraints: 52587
830.71/833.25 c INPROCESSING
830.71/833.25 c GARBAGE COLLECT
830.71/833.25 c rational objective 0
862.71/865.37 c #Conflicts: 346000 | #Constraints: 42005
862.71/865.37 c #Conflicts: 347000 | #Constraints: 43006
862.71/865.37 c #Conflicts: 348000 | #Constraints: 44006
862.71/865.37 c #Conflicts: 349000 | #Constraints: 45007
862.71/865.37 c #Conflicts: 350000 | #Constraints: 46009
862.71/865.37 c #Conflicts: 351000 | #Constraints: 47010
862.71/865.37 c #Conflicts: 352000 | #Constraints: 48010
862.71/865.37 c #Conflicts: 353000 | #Constraints: 49013
862.71/865.37 c #Conflicts: 354000 | #Constraints: 50016
862.71/865.37 c #Conflicts: 355000 | #Constraints: 51017
862.71/865.37 c #Conflicts: 356000 | #Constraints: 52019
862.71/865.37 c #Conflicts: 357000 | #Constraints: 53020
862.71/865.37 c INPROCESSING
862.71/865.37 c GARBAGE COLLECT
862.71/865.37 c rational objective 0
884.04/886.70 c #Conflicts: 358000 | #Constraints: 42222
884.04/886.70 c #Conflicts: 359000 | #Constraints: 43222
884.04/886.70 c #Conflicts: 360000 | #Constraints: 44222
884.04/886.70 c #Conflicts: 361000 | #Constraints: 45222
884.04/886.70 c #Conflicts: 362000 | #Constraints: 46222
884.04/886.70 c #Conflicts: 363000 | #Constraints: 47222
884.04/886.70 c #Conflicts: 364000 | #Constraints: 48222
884.04/886.70 c #Conflicts: 365000 | #Constraints: 49222
884.04/886.70 c #Conflicts: 366000 | #Constraints: 50222
884.04/886.70 c #Conflicts: 367000 | #Constraints: 51222
884.04/886.70 c #Conflicts: 368000 | #Constraints: 52222
884.04/886.70 c #Conflicts: 369000 | #Constraints: 53222
884.04/886.70 c INPROCESSING
884.04/886.70 c GARBAGE COLLECT
884.04/886.70 c rational objective 0
905.89/908.62 c #Conflicts: 370000 | #Constraints: 42228
905.89/908.62 c #Conflicts: 371000 | #Constraints: 43228
905.89/908.62 c #Conflicts: 372000 | #Constraints: 44228
905.89/908.62 c #Conflicts: 373000 | #Constraints: 45228
905.89/908.62 c #Conflicts: 374000 | #Constraints: 46228
905.89/908.62 c #Conflicts: 375000 | #Constraints: 47228
905.89/908.62 c #Conflicts: 376000 | #Constraints: 48228
905.89/908.62 c #Conflicts: 377000 | #Constraints: 49228
905.89/908.62 c #Conflicts: 378000 | #Constraints: 50228
905.89/908.62 c #Conflicts: 379000 | #Constraints: 51228
905.89/908.62 c #Conflicts: 380000 | #Constraints: 52228
905.89/908.62 c #Conflicts: 381000 | #Constraints: 53228
905.89/908.62 c INPROCESSING
905.89/908.62 c GARBAGE COLLECT
905.89/908.62 c rational objective 0
945.97/948.81 c #Conflicts: 382000 | #Constraints: 42023
945.97/948.81 c #Conflicts: 383000 | #Constraints: 43024
945.97/948.81 c #Conflicts: 384000 | #Constraints: 44024
945.97/948.81 c #Conflicts: 385000 | #Constraints: 45024
945.97/948.81 c #Conflicts: 386000 | #Constraints: 46024
945.97/948.81 c #Conflicts: 387000 | #Constraints: 47026
945.97/948.81 c #Conflicts: 388000 | #Constraints: 48027
945.97/948.81 c #Conflicts: 389000 | #Constraints: 49029
945.97/948.81 c #Conflicts: 390000 | #Constraints: 50032
945.97/948.81 c #Conflicts: 391000 | #Constraints: 51084
945.97/948.81 c #Conflicts: 392000 | #Constraints: 52084
945.97/948.81 c #Conflicts: 393000 | #Constraints: 53084
945.97/948.81 c #Conflicts: 394000 | #Constraints: 54084
945.97/948.81 c INPROCESSING
945.97/948.81 c GARBAGE COLLECT
945.97/948.81 c rational objective 0
970.59/973.51 c #Conflicts: 395000 | #Constraints: 42644
970.59/973.51 c #Conflicts: 396000 | #Constraints: 43644
970.59/973.51 c #Conflicts: 397000 | #Constraints: 44644
970.59/973.51 c #Conflicts: 398000 | #Constraints: 45644
970.59/973.51 c #Conflicts: 399000 | #Constraints: 46644
970.59/973.51 c #Conflicts: 400000 | #Constraints: 47644
970.59/973.51 c #Conflicts: 401000 | #Constraints: 48644
970.59/973.51 c #Conflicts: 402000 | #Constraints: 49644
970.59/973.51 c #Conflicts: 403000 | #Constraints: 50644
970.59/973.51 c #Conflicts: 404000 | #Constraints: 51644
970.59/973.51 c #Conflicts: 405000 | #Constraints: 52644
970.59/973.51 c #Conflicts: 406000 | #Constraints: 53644
970.59/973.51 c #Conflicts: 407000 | #Constraints: 54644
970.59/973.51 c INPROCESSING
970.59/973.51 c GARBAGE COLLECT
970.59/973.51 c rational objective 0
1000.41/1003.47 c #Conflicts: 408000 | #Constraints: 43023
1000.41/1003.47 c #Conflicts: 409000 | #Constraints: 44023
1000.41/1003.47 c #Conflicts: 410000 | #Constraints: 45023
1000.41/1003.47 c #Conflicts: 411000 | #Constraints: 46024
1000.41/1003.47 c #Conflicts: 412000 | #Constraints: 47025
1000.41/1003.47 c #Conflicts: 413000 | #Constraints: 48025
1000.41/1003.47 c #Conflicts: 414000 | #Constraints: 49025
1000.41/1003.47 c #Conflicts: 415000 | #Constraints: 50026
1000.41/1003.47 c #Conflicts: 416000 | #Constraints: 51027
1000.41/1003.47 c #Conflicts: 417000 | #Constraints: 52028
1000.41/1003.47 c #Conflicts: 418000 | #Constraints: 53029
1000.41/1003.47 c #Conflicts: 419000 | #Constraints: 54031
1000.41/1003.47 c #Conflicts: 420000 | #Constraints: 55035
1000.41/1003.47 c INPROCESSING
1000.41/1003.47 c GARBAGE COLLECT
1000.41/1003.47 c rational objective 0
1036.92/1040.03 c #Conflicts: 421000 | #Constraints: 43234
1036.92/1040.03 c #Conflicts: 422000 | #Constraints: 44234
1036.92/1040.03 c #Conflicts: 423000 | #Constraints: 45234
1036.92/1040.03 c #Conflicts: 424000 | #Constraints: 46235
1036.92/1040.03 c #Conflicts: 425000 | #Constraints: 47236
1036.92/1040.03 c #Conflicts: 426000 | #Constraints: 48237
1036.92/1040.03 c #Conflicts: 427000 | #Constraints: 49238
1036.92/1040.03 c #Conflicts: 428000 | #Constraints: 50239
1036.92/1040.03 c #Conflicts: 429000 | #Constraints: 51239
1036.92/1040.03 c #Conflicts: 430000 | #Constraints: 52240
1036.92/1040.03 c #Conflicts: 431000 | #Constraints: 53241
1036.92/1040.03 c #Conflicts: 432000 | #Constraints: 54244
1036.92/1040.03 c #Conflicts: 433000 | #Constraints: 55248
1036.92/1040.03 c INPROCESSING
1036.92/1040.03 c GARBAGE COLLECT
1036.92/1040.03 c rational objective 0
1067.73/1070.99 c #Conflicts: 434000 | #Constraints: 43235
1067.73/1070.99 c #Conflicts: 435000 | #Constraints: 44235
1067.73/1070.99 c #Conflicts: 436000 | #Constraints: 45236
1067.73/1070.99 c #Conflicts: 437000 | #Constraints: 46238
1067.73/1070.99 c #Conflicts: 438000 | #Constraints: 47243
1067.73/1070.99 c #Conflicts: 439000 | #Constraints: 48245
1067.73/1070.99 c #Conflicts: 440000 | #Constraints: 49246
1067.73/1070.99 c #Conflicts: 441000 | #Constraints: 50246
1067.73/1070.99 c #Conflicts: 442000 | #Constraints: 51246
1067.73/1070.99 c #Conflicts: 443000 | #Constraints: 52248
1067.73/1070.99 c #Conflicts: 444000 | #Constraints: 53253
1067.73/1070.99 c #Conflicts: 445000 | #Constraints: 54256
1067.73/1070.99 c #Conflicts: 446000 | #Constraints: 55258
1067.73/1070.99 c INPROCESSING
1067.73/1070.99 c GARBAGE COLLECT
1067.73/1070.99 c rational objective 0
1108.73/1112.09 c #Conflicts: 447000 | #Constraints: 43050
1108.73/1112.09 c #Conflicts: 448000 | #Constraints: 44050
1108.73/1112.09 c #Conflicts: 449000 | #Constraints: 45050
1108.73/1112.09 c #Conflicts: 450000 | #Constraints: 46050
1108.73/1112.09 c #Conflicts: 451000 | #Constraints: 47050
1108.73/1112.09 c #Conflicts: 452000 | #Constraints: 48052
1108.73/1112.09 c #Conflicts: 453000 | #Constraints: 49053
1108.73/1112.09 c #Conflicts: 454000 | #Constraints: 50055
1108.73/1112.09 c #Conflicts: 455000 | #Constraints: 51057
1108.73/1112.09 c #Conflicts: 456000 | #Constraints: 52060
1108.73/1112.09 c #Conflicts: 457000 | #Constraints: 53062
1108.73/1112.09 c #Conflicts: 458000 | #Constraints: 54064
1108.73/1112.09 c #Conflicts: 459000 | #Constraints: 55067
1108.73/1112.09 c #Conflicts: 460000 | #Constraints: 56068
1108.73/1112.09 c INPROCESSING
1108.73/1112.09 c GARBAGE COLLECT
1108.73/1112.09 c rational objective 0
1140.93/1144.32 c #Conflicts: 461000 | #Constraints: 43653
1140.93/1144.32 c #Conflicts: 462000 | #Constraints: 44654
1140.93/1144.32 c #Conflicts: 463000 | #Constraints: 45654
1140.93/1144.32 c #Conflicts: 464000 | #Constraints: 46655
1140.93/1144.32 c #Conflicts: 465000 | #Constraints: 47656
1140.93/1144.32 c #Conflicts: 466000 | #Constraints: 48656
1140.93/1144.32 c #Conflicts: 467000 | #Constraints: 49656
1140.93/1144.32 c #Conflicts: 468000 | #Constraints: 50657
1140.93/1144.32 c #Conflicts: 469000 | #Constraints: 51660
1140.93/1144.32 c #Conflicts: 470000 | #Constraints: 52663
1140.93/1144.32 c #Conflicts: 471000 | #Constraints: 53667
1140.93/1144.32 c #Conflicts: 472000 | #Constraints: 54667
1140.93/1144.32 c #Conflicts: 473000 | #Constraints: 55670
1140.93/1144.32 c #Conflicts: 474000 | #Constraints: 56673
1140.93/1144.32 c INPROCESSING
1140.93/1144.32 c GARBAGE COLLECT
1140.93/1144.32 c rational objective 0
1177.03/1180.55 c #Conflicts: 475000 | #Constraints: 44036
1177.03/1180.55 c #Conflicts: 476000 | #Constraints: 45038
1177.03/1180.55 c #Conflicts: 477000 | #Constraints: 46041
1177.03/1180.55 c #Conflicts: 478000 | #Constraints: 47044
1177.03/1180.55 c #Conflicts: 479000 | #Constraints: 48047
1177.03/1180.55 c #Conflicts: 480000 | #Constraints: 49048
1177.03/1180.55 c #Conflicts: 481000 | #Constraints: 50049
1177.03/1180.55 c #Conflicts: 482000 | #Constraints: 51052
1177.03/1180.55 c #Conflicts: 483000 | #Constraints: 52055
1177.03/1180.55 c #Conflicts: 484000 | #Constraints: 53059
1177.03/1180.55 c #Conflicts: 485000 | #Constraints: 54060
1177.03/1180.55 c #Conflicts: 486000 | #Constraints: 55062
1177.03/1180.55 c #Conflicts: 487000 | #Constraints: 56065
1177.03/1180.55 c #Conflicts: 488000 | #Constraints: 57068
1177.03/1180.55 c INPROCESSING
1177.03/1180.55 c GARBAGE COLLECT
1177.03/1180.55 c rational objective 0
1208.85/1212.46 c #Conflicts: 489000 | #Constraints: 44271
1208.85/1212.46 c #Conflicts: 490000 | #Constraints: 45273
1208.85/1212.46 c #Conflicts: 491000 | #Constraints: 46274
1208.85/1212.46 c #Conflicts: 492000 | #Constraints: 47274
1208.85/1212.46 c #Conflicts: 493000 | #Constraints: 48386
1208.85/1212.46 c #Conflicts: 494000 | #Constraints: 49411
1208.85/1212.46 c #Conflicts: 495000 | #Constraints: 50413
1208.85/1212.46 c #Conflicts: 496000 | #Constraints: 51435
1208.85/1212.46 c #Conflicts: 497000 | #Constraints: 52435
1208.85/1212.46 c #Conflicts: 498000 | #Constraints: 53459
1208.85/1212.46 c #Conflicts: 499000 | #Constraints: 54459
1208.85/1212.46 c #Conflicts: 500000 | #Constraints: 55459
1208.85/1212.46 c #Conflicts: 501000 | #Constraints: 56460
1208.85/1212.46 c #Conflicts: 502000 | #Constraints: 57461
1208.85/1212.46 c INPROCESSING
1208.85/1212.46 c GARBAGE COLLECT
1208.85/1212.46 c rational objective 0
1245.56/1249.27 c #Conflicts: 503000 | #Constraints: 44355
1245.56/1249.27 c #Conflicts: 504000 | #Constraints: 45355
1245.56/1249.27 c #Conflicts: 505000 | #Constraints: 46356
1245.56/1249.27 c #Conflicts: 506000 | #Constraints: 47356
1245.56/1249.27 c #Conflicts: 507000 | #Constraints: 48356
1245.56/1249.27 c #Conflicts: 508000 | #Constraints: 49356
1245.56/1249.27 c #Conflicts: 509000 | #Constraints: 50361
1245.56/1249.27 c #Conflicts: 510000 | #Constraints: 51361
1245.56/1249.27 c #Conflicts: 511000 | #Constraints: 52361
1245.56/1249.27 c #Conflicts: 512000 | #Constraints: 53361
1245.56/1249.27 c #Conflicts: 513000 | #Constraints: 54361
1245.56/1249.27 c #Conflicts: 514000 | #Constraints: 55363
1245.56/1249.27 c #Conflicts: 515000 | #Constraints: 56363
1245.56/1249.27 c #Conflicts: 516000 | #Constraints: 57474
1245.56/1249.27 c INPROCESSING
1245.56/1249.27 c GARBAGE COLLECT
1245.56/1249.27 c rational objective 0
1269.79/1273.50 c #Conflicts: 517000 | #Constraints: 44226
1269.79/1273.50 c #Conflicts: 518000 | #Constraints: 45228
1269.79/1273.50 c #Conflicts: 519000 | #Constraints: 46229
1269.79/1273.50 c #Conflicts: 520000 | #Constraints: 47230
1269.79/1273.50 c #Conflicts: 521000 | #Constraints: 48232
1269.79/1273.50 c #Conflicts: 522000 | #Constraints: 49234
1269.79/1273.50 c #Conflicts: 523000 | #Constraints: 50235
1269.79/1273.50 c #Conflicts: 524000 | #Constraints: 51236
1269.79/1273.50 c #Conflicts: 525000 | #Constraints: 52236
1269.79/1273.50 c #Conflicts: 526000 | #Constraints: 53236
1269.79/1273.50 c #Conflicts: 527000 | #Constraints: 54236
1269.79/1273.50 c #Conflicts: 528000 | #Constraints: 55237
1269.79/1273.50 c #Conflicts: 529000 | #Constraints: 56238
1269.79/1273.50 c #Conflicts: 530000 | #Constraints: 57275
1269.79/1273.50 c #Conflicts: 531000 | #Constraints: 58275
1269.79/1273.50 c INPROCESSING
1269.79/1273.50 c GARBAGE COLLECT
1269.79/1273.50 c rational objective 0
1302.40/1306.22 c #Conflicts: 532000 | #Constraints: 44755
1302.40/1306.22 c #Conflicts: 533000 | #Constraints: 45755
1302.40/1306.22 c #Conflicts: 534000 | #Constraints: 46755
1302.40/1306.22 c #Conflicts: 535000 | #Constraints: 47757
1302.40/1306.22 c #Conflicts: 536000 | #Constraints: 48761
1302.40/1306.22 c #Conflicts: 537000 | #Constraints: 49762
1302.40/1306.22 c #Conflicts: 538000 | #Constraints: 50762
1302.40/1306.22 c #Conflicts: 539000 | #Constraints: 51762
1302.40/1306.22 c #Conflicts: 540000 | #Constraints: 52762
1302.40/1306.22 c #Conflicts: 541000 | #Constraints: 53762
1302.40/1306.22 c #Conflicts: 542000 | #Constraints: 54762
1302.40/1306.22 c #Conflicts: 543000 | #Constraints: 55763
1302.40/1306.22 c #Conflicts: 544000 | #Constraints: 56764
1302.40/1306.22 c #Conflicts: 545000 | #Constraints: 57765
1302.40/1306.22 c #Conflicts: 546000 | #Constraints: 58766
1302.40/1306.22 c INPROCESSING
1302.40/1306.22 c GARBAGE COLLECT
1302.40/1306.22 c rational objective 0
1339.22/1343.11 c #Conflicts: 547000 | #Constraints: 45132
1339.22/1343.11 c #Conflicts: 548000 | #Constraints: 46132
1339.22/1343.11 c #Conflicts: 549000 | #Constraints: 47132
1339.22/1343.11 c #Conflicts: 550000 | #Constraints: 48133
1339.22/1343.11 c #Conflicts: 551000 | #Constraints: 49135
1339.22/1343.11 c #Conflicts: 552000 | #Constraints: 50137
1339.22/1343.11 c #Conflicts: 553000 | #Constraints: 51139
1339.22/1343.11 c #Conflicts: 554000 | #Constraints: 52141
1339.22/1343.11 c #Conflicts: 555000 | #Constraints: 53143
1339.22/1343.11 c #Conflicts: 556000 | #Constraints: 54143
1339.22/1343.11 c #Conflicts: 557000 | #Constraints: 55144
1339.22/1343.11 c #Conflicts: 558000 | #Constraints: 56144
1339.22/1343.11 c #Conflicts: 559000 | #Constraints: 57144
1339.22/1343.11 c #Conflicts: 560000 | #Constraints: 58144
1339.22/1343.11 c #Conflicts: 561000 | #Constraints: 59145
1339.22/1343.11 c INPROCESSING
1339.22/1343.11 c GARBAGE COLLECT
1339.22/1343.11 c rational objective 0
1369.62/1373.63 c #Conflicts: 562000 | #Constraints: 45395
1369.62/1373.63 c #Conflicts: 563000 | #Constraints: 46397
1369.62/1373.63 c #Conflicts: 564000 | #Constraints: 47399
1369.62/1373.63 c #Conflicts: 565000 | #Constraints: 48403
1369.62/1373.63 c #Conflicts: 566000 | #Constraints: 49405
1369.62/1373.63 c #Conflicts: 567000 | #Constraints: 50405
1369.62/1373.63 c #Conflicts: 568000 | #Constraints: 51406
1369.62/1373.63 c #Conflicts: 569000 | #Constraints: 52407
1369.62/1373.63 c #Conflicts: 570000 | #Constraints: 53408
1369.62/1373.63 c #Conflicts: 571000 | #Constraints: 54409
1369.62/1373.63 c #Conflicts: 572000 | #Constraints: 55411
1369.62/1373.63 c #Conflicts: 573000 | #Constraints: 56413
1369.62/1373.63 c #Conflicts: 574000 | #Constraints: 57413
1369.62/1373.63 c #Conflicts: 575000 | #Constraints: 58413
1369.62/1373.63 c #Conflicts: 576000 | #Constraints: 59413
1369.62/1373.63 c INPROCESSING
1369.62/1373.63 c GARBAGE COLLECT
1369.62/1373.63 c rational objective 0
1400.34/1404.46 c #Conflicts: 577000 | #Constraints: 45378
1400.34/1404.46 c #Conflicts: 578000 | #Constraints: 46378
1400.34/1404.46 c #Conflicts: 579000 | #Constraints: 47379
1400.34/1404.46 c #Conflicts: 580000 | #Constraints: 48382
1400.34/1404.46 c #Conflicts: 581000 | #Constraints: 49386
1400.34/1404.46 c #Conflicts: 582000 | #Constraints: 50386
1400.34/1404.46 c #Conflicts: 583000 | #Constraints: 51386
1400.34/1404.46 c #Conflicts: 584000 | #Constraints: 52386
1400.34/1404.46 c #Conflicts: 585000 | #Constraints: 53386
1400.34/1404.46 c #Conflicts: 586000 | #Constraints: 54386
1400.34/1404.46 c #Conflicts: 587000 | #Constraints: 55386
1400.34/1404.46 c #Conflicts: 588000 | #Constraints: 56386
1400.34/1404.46 c #Conflicts: 589000 | #Constraints: 57386
1400.34/1404.46 c #Conflicts: 590000 | #Constraints: 58386
1400.34/1404.46 c #Conflicts: 591000 | #Constraints: 59387
1400.34/1404.46 c INPROCESSING
1400.34/1404.46 c GARBAGE COLLECT
1400.34/1404.46 c rational objective 0
1438.63/1442.84 c #Conflicts: 592000 | #Constraints: 45163
1438.63/1442.84 c #Conflicts: 593000 | #Constraints: 46164
1438.63/1442.84 c #Conflicts: 594000 | #Constraints: 47164
1438.63/1442.84 c #Conflicts: 595000 | #Constraints: 48165
1438.63/1442.84 c #Conflicts: 596000 | #Constraints: 49165
1438.63/1442.84 c #Conflicts: 597000 | #Constraints: 50169
1438.63/1442.84 c #Conflicts: 598000 | #Constraints: 51170
1438.63/1442.84 c #Conflicts: 599000 | #Constraints: 52171
1438.63/1442.84 c #Conflicts: 600000 | #Constraints: 53173
1438.63/1442.84 c #Conflicts: 601000 | #Constraints: 54174
1438.63/1442.84 c #Conflicts: 602000 | #Constraints: 55176
1438.63/1442.84 c #Conflicts: 603000 | #Constraints: 56179
1438.63/1442.84 c #Conflicts: 604000 | #Constraints: 57180
1438.63/1442.84 c #Conflicts: 605000 | #Constraints: 58183
1438.63/1442.84 c #Conflicts: 606000 | #Constraints: 59185
1438.63/1442.84 c #Conflicts: 607000 | #Constraints: 60187
1438.63/1442.84 c INPROCESSING
1438.63/1442.84 c GARBAGE COLLECT
1438.63/1442.84 c rational objective 0
1486.11/1490.40 c #Conflicts: 608000 | #Constraints: 45678
1486.11/1490.40 c #Conflicts: 609000 | #Constraints: 46678
1486.11/1490.40 c #Conflicts: 610000 | #Constraints: 47678
1486.11/1490.40 c #Conflicts: 611000 | #Constraints: 48678
1486.11/1490.40 c #Conflicts: 612000 | #Constraints: 49678
1486.11/1490.40 c #Conflicts: 613000 | #Constraints: 50678
1486.11/1490.40 c #Conflicts: 614000 | #Constraints: 51678
1486.11/1490.40 c #Conflicts: 615000 | #Constraints: 52678
1486.11/1490.40 c #Conflicts: 616000 | #Constraints: 53680
1486.11/1490.40 c #Conflicts: 617000 | #Constraints: 54680
1486.11/1490.40 c #Conflicts: 618000 | #Constraints: 55682
1486.11/1490.40 c #Conflicts: 619000 | #Constraints: 56682
1486.11/1490.40 c #Conflicts: 620000 | #Constraints: 57684
1486.11/1490.40 c #Conflicts: 621000 | #Constraints: 58686
1486.11/1490.40 c #Conflicts: 622000 | #Constraints: 59687
1486.11/1490.40 c #Conflicts: 623000 | #Constraints: 60687
1486.11/1490.40 c INPROCESSING
1486.11/1490.40 c GARBAGE COLLECT
1486.11/1490.40 c rational objective 0
1521.21/1525.69 c #Conflicts: 624000 | #Constraints: 46136
1521.21/1525.69 c #Conflicts: 625000 | #Constraints: 47137
1521.21/1525.69 c #Conflicts: 626000 | #Constraints: 48137
1521.21/1525.69 c #Conflicts: 627000 | #Constraints: 49137
1521.21/1525.69 c #Conflicts: 628000 | #Constraints: 50139
1521.21/1525.69 c #Conflicts: 629000 | #Constraints: 51141
1521.21/1525.69 c #Conflicts: 630000 | #Constraints: 52141
1521.21/1525.69 c #Conflicts: 631000 | #Constraints: 53141
1521.21/1525.69 c #Conflicts: 632000 | #Constraints: 54141
1521.21/1525.69 c #Conflicts: 633000 | #Constraints: 55141
1521.21/1525.69 c #Conflicts: 634000 | #Constraints: 56141
1521.21/1525.69 c #Conflicts: 635000 | #Constraints: 57141
1521.21/1525.69 c #Conflicts: 636000 | #Constraints: 58142
1521.21/1525.69 c #Conflicts: 637000 | #Constraints: 59142
1521.21/1525.69 c #Conflicts: 638000 | #Constraints: 60143
1521.21/1525.69 c #Conflicts: 639000 | #Constraints: 61144
1521.21/1525.69 c INPROCESSING
1521.21/1525.69 c GARBAGE COLLECT
1521.21/1525.69 c rational objective 0
1556.90/1561.47 c #Conflicts: 640000 | #Constraints: 46311
1556.90/1561.47 c #Conflicts: 641000 | #Constraints: 47311
1556.90/1561.47 c #Conflicts: 642000 | #Constraints: 48312
1556.90/1561.47 c #Conflicts: 643000 | #Constraints: 49314
1556.90/1561.47 c #Conflicts: 644000 | #Constraints: 50314
1556.90/1561.47 c #Conflicts: 645000 | #Constraints: 51314
1556.90/1561.47 c #Conflicts: 646000 | #Constraints: 52314
1556.90/1561.47 c #Conflicts: 647000 | #Constraints: 53314
1556.90/1561.47 c #Conflicts: 648000 | #Constraints: 54316
1556.90/1561.47 c #Conflicts: 649000 | #Constraints: 55317
1556.90/1561.47 c #Conflicts: 650000 | #Constraints: 56320
1556.90/1561.47 c #Conflicts: 651000 | #Constraints: 57322
1556.90/1561.47 c #Conflicts: 652000 | #Constraints: 58323
1556.90/1561.47 c #Conflicts: 653000 | #Constraints: 59325
1556.90/1561.47 c #Conflicts: 654000 | #Constraints: 60326
1556.90/1561.47 c #Conflicts: 655000 | #Constraints: 61327
1556.90/1561.47 c INPROCESSING
1556.90/1561.47 c GARBAGE COLLECT
1556.90/1561.47 c rational objective 0
1600.16/1604.81 c #Conflicts: 656000 | #Constraints: 46336
1600.16/1604.81 c #Conflicts: 657000 | #Constraints: 47337
1600.16/1604.81 c #Conflicts: 658000 | #Constraints: 48339
1600.16/1604.81 c #Conflicts: 659000 | #Constraints: 49340
1600.16/1604.81 c #Conflicts: 660000 | #Constraints: 50343
1600.16/1604.81 c #Conflicts: 661000 | #Constraints: 51347
1600.16/1604.81 c #Conflicts: 662000 | #Constraints: 52350
1600.16/1604.81 c #Conflicts: 663000 | #Constraints: 53352
1600.16/1604.81 c #Conflicts: 664000 | #Constraints: 54357
1600.16/1604.81 c #Conflicts: 665000 | #Constraints: 55361
1600.16/1604.81 c #Conflicts: 666000 | #Constraints: 56363
1600.16/1604.81 c #Conflicts: 667000 | #Constraints: 57365
1600.16/1604.81 c #Conflicts: 668000 | #Constraints: 58365
1600.16/1604.81 c #Conflicts: 669000 | #Constraints: 59365
1600.16/1604.81 c #Conflicts: 670000 | #Constraints: 60366
1600.16/1604.81 c #Conflicts: 671000 | #Constraints: 61369
1600.16/1604.81 c INPROCESSING
1600.16/1604.81 c GARBAGE COLLECT
1600.16/1604.81 c rational objective 0
1641.53/1646.30 c #Conflicts: 672000 | #Constraints: 46207
1641.53/1646.30 c #Conflicts: 673000 | #Constraints: 47208
1641.53/1646.30 c #Conflicts: 674000 | #Constraints: 48209
1641.53/1646.30 c #Conflicts: 675000 | #Constraints: 49209
1641.53/1646.30 c #Conflicts: 676000 | #Constraints: 50209
1641.53/1646.30 c #Conflicts: 677000 | #Constraints: 51209
1641.53/1646.30 c #Conflicts: 678000 | #Constraints: 52209
1641.53/1646.30 c #Conflicts: 679000 | #Constraints: 53209
1641.53/1646.30 c #Conflicts: 680000 | #Constraints: 54209
1641.53/1646.30 c #Conflicts: 681000 | #Constraints: 55209
1641.53/1646.30 c #Conflicts: 682000 | #Constraints: 56211
1641.53/1646.30 c #Conflicts: 683000 | #Constraints: 57212
1641.53/1646.30 c #Conflicts: 684000 | #Constraints: 58262
1641.53/1646.30 c #Conflicts: 685000 | #Constraints: 59300
1641.53/1646.30 c #Conflicts: 686000 | #Constraints: 60403
1641.53/1646.30 c #Conflicts: 687000 | #Constraints: 61409
1641.53/1646.30 c #Conflicts: 688000 | #Constraints: 62409
1641.53/1646.30 c INPROCESSING
1641.53/1646.30 c GARBAGE COLLECT
1641.53/1646.30 c rational objective 0
1682.50/1687.46 c #Conflicts: 689000 | #Constraints: 46914
1682.50/1687.46 c #Conflicts: 690000 | #Constraints: 47914
1682.50/1687.46 c #Conflicts: 691000 | #Constraints: 48916
1682.50/1687.46 c #Conflicts: 692000 | #Constraints: 49921
1682.50/1687.46 c #Conflicts: 693000 | #Constraints: 50923
1682.50/1687.46 c #Conflicts: 694000 | #Constraints: 51926
1682.50/1687.46 c #Conflicts: 695000 | #Constraints: 52931
1682.50/1687.46 c #Conflicts: 696000 | #Constraints: 53937
1682.50/1687.46 c #Conflicts: 697000 | #Constraints: 54938
1682.50/1687.46 c #Conflicts: 698000 | #Constraints: 55939
1682.50/1687.46 c #Conflicts: 699000 | #Constraints: 56940
1682.50/1687.46 c #Conflicts: 700000 | #Constraints: 57943
1682.50/1687.46 c #Conflicts: 701000 | #Constraints: 58944
1682.50/1687.46 c #Conflicts: 702000 | #Constraints: 59945
1682.50/1687.46 c #Conflicts: 703000 | #Constraints: 60946
1682.50/1687.46 c #Conflicts: 704000 | #Constraints: 61948
1682.50/1687.46 c #Conflicts: 705000 | #Constraints: 62948
1682.50/1687.46 c INPROCESSING
1682.50/1687.46 c GARBAGE COLLECT
1682.50/1687.46 c rational objective 0
1726.07/1731.13 c #Conflicts: 706000 | #Constraints: 47272
1726.07/1731.13 c #Conflicts: 707000 | #Constraints: 48274
1726.07/1731.13 c #Conflicts: 708000 | #Constraints: 49276
1726.07/1731.13 c #Conflicts: 709000 | #Constraints: 50281
1726.07/1731.13 c #Conflicts: 710000 | #Constraints: 51283
1726.07/1731.13 c #Conflicts: 711000 | #Constraints: 52285
1726.07/1731.13 c #Conflicts: 712000 | #Constraints: 53287
1726.07/1731.13 c #Conflicts: 713000 | #Constraints: 54289
1726.07/1731.13 c #Conflicts: 714000 | #Constraints: 55292
1726.07/1731.13 c #Conflicts: 715000 | #Constraints: 56294
1726.07/1731.13 c #Conflicts: 716000 | #Constraints: 57296
1726.07/1731.13 c #Conflicts: 717000 | #Constraints: 58298
1726.07/1731.13 c #Conflicts: 718000 | #Constraints: 59299
1726.07/1731.13 c #Conflicts: 719000 | #Constraints: 60299
1726.07/1731.13 c #Conflicts: 720000 | #Constraints: 61301
1726.07/1731.13 c #Conflicts: 721000 | #Constraints: 62304
1726.07/1731.13 c #Conflicts: 722000 | #Constraints: 63305
1726.07/1731.13 c INPROCESSING
1726.07/1731.13 c GARBAGE COLLECT
1726.07/1731.13 c rational objective 0
1773.20/1778.47 c #Conflicts: 723000 | #Constraints: 47406
1773.20/1778.47 c #Conflicts: 724000 | #Constraints: 48406
1773.20/1778.47 c #Conflicts: 725000 | #Constraints: 49408
1773.20/1778.47 c #Conflicts: 726000 | #Constraints: 50411
1773.20/1778.47 c #Conflicts: 727000 | #Constraints: 51417
1773.20/1778.47 c #Conflicts: 728000 | #Constraints: 52422
1773.20/1778.47 c #Conflicts: 729000 | #Constraints: 53427
1773.20/1778.47 c #Conflicts: 730000 | #Constraints: 54432
1773.20/1778.47 c #Conflicts: 731000 | #Constraints: 55440
1773.20/1778.47 c #Conflicts: 732000 | #Constraints: 56446
1773.20/1778.47 c #Conflicts: 733000 | #Constraints: 57449
1773.20/1778.47 c #Conflicts: 734000 | #Constraints: 58454
1773.20/1778.47 c #Conflicts: 735000 | #Constraints: 59456
1773.20/1778.47 c #Conflicts: 736000 | #Constraints: 60463
1773.20/1778.47 c #Conflicts: 737000 | #Constraints: 61463
1773.20/1778.47 c #Conflicts: 738000 | #Constraints: 62467
1773.20/1778.47 c #Conflicts: 739000 | #Constraints: 63470
1773.20/1778.47 c INPROCESSING
1773.20/1778.47 c GARBAGE COLLECT
1773.20/1778.47 c rational objective 0
1817.06/1822.41 c #Conflicts: 740000 | #Constraints: 47345
1817.06/1822.41 c #Conflicts: 741000 | #Constraints: 48345
1817.06/1822.41 c #Conflicts: 742000 | #Constraints: 49345
1817.06/1822.41 c #Conflicts: 743000 | #Constraints: 50345
1817.06/1822.41 c #Conflicts: 744000 | #Constraints: 51345
1817.06/1822.41 c #Conflicts: 745000 | #Constraints: 52345
1817.06/1822.41 c #Conflicts: 746000 | #Constraints: 53347
1817.06/1822.41 c #Conflicts: 747000 | #Constraints: 54348
1817.06/1822.41 c #Conflicts: 748000 | #Constraints: 55349
1817.06/1822.41 c #Conflicts: 749000 | #Constraints: 56354
1817.06/1822.41 c #Conflicts: 750000 | #Constraints: 57355
1817.06/1822.41 c #Conflicts: 751000 | #Constraints: 58355
1817.06/1822.41 c #Conflicts: 752000 | #Constraints: 59355
1817.06/1822.41 c #Conflicts: 753000 | #Constraints: 60355
1817.06/1822.41 c #Conflicts: 754000 | #Constraints: 61355
1817.06/1822.41 c #Conflicts: 755000 | #Constraints: 62355
1817.06/1822.41 c #Conflicts: 756000 | #Constraints: 63355
1817.06/1822.41 c INPROCESSING
1817.06/1822.41 c GARBAGE COLLECT
1817.06/1822.41 c rational objective 0
1858.42/1863.91 c #Conflicts: 757000 | #Constraints: 47188
1858.42/1863.91 c #Conflicts: 758000 | #Constraints: 48188
1858.42/1863.91 c #Conflicts: 759000 | #Constraints: 49188
1858.42/1863.91 c #Conflicts: 760000 | #Constraints: 50188
1858.42/1863.91 c #Conflicts: 761000 | #Constraints: 51188
1858.42/1863.91 c #Conflicts: 762000 | #Constraints: 52188
1858.42/1863.91 c #Conflicts: 763000 | #Constraints: 53188
1858.42/1863.91 c #Conflicts: 764000 | #Constraints: 54188
1858.42/1863.91 c #Conflicts: 765000 | #Constraints: 55188
1858.42/1863.91 c #Conflicts: 766000 | #Constraints: 56188
1858.42/1863.91 c #Conflicts: 767000 | #Constraints: 57188
1858.42/1863.91 c #Conflicts: 768000 | #Constraints: 58188
1858.42/1863.91 c #Conflicts: 769000 | #Constraints: 59188
1858.42/1863.91 c #Conflicts: 770000 | #Constraints: 60188
1858.42/1863.91 c #Conflicts: 771000 | #Constraints: 61189
1858.42/1863.91 c #Conflicts: 772000 | #Constraints: 62189
1858.42/1863.91 c #Conflicts: 773000 | #Constraints: 63189
1858.42/1863.91 c #Conflicts: 774000 | #Constraints: 64190
1858.42/1863.91 c INPROCESSING
1858.42/1863.91 c GARBAGE COLLECT
1858.42/1863.91 c rational objective 0
1908.08/1913.75 c #Conflicts: 775000 | #Constraints: 47739
1908.08/1913.75 c #Conflicts: 776000 | #Constraints: 48742
1908.08/1913.75 c #Conflicts: 777000 | #Constraints: 49742
1908.08/1913.75 c #Conflicts: 778000 | #Constraints: 50742
1908.08/1913.75 c #Conflicts: 779000 | #Constraints: 51742
1908.08/1913.75 c #Conflicts: 780000 | #Constraints: 52743
1908.08/1913.75 c #Conflicts: 781000 | #Constraints: 53745
1908.08/1913.75 c #Conflicts: 782000 | #Constraints: 54748
1908.08/1913.75 c #Conflicts: 783000 | #Constraints: 55749
1908.08/1913.75 c #Conflicts: 784000 | #Constraints: 56750
1908.08/1913.75 c #Conflicts: 785000 | #Constraints: 57751
1908.08/1913.75 c #Conflicts: 786000 | #Constraints: 58753
1908.08/1913.75 c #Conflicts: 787000 | #Constraints: 59756
1908.08/1913.75 c #Conflicts: 788000 | #Constraints: 60759
1908.08/1913.75 c #Conflicts: 789000 | #Constraints: 61761
1908.08/1913.75 c #Conflicts: 790000 | #Constraints: 62763
1908.08/1913.75 c #Conflicts: 791000 | #Constraints: 63763
1908.08/1913.75 c #Conflicts: 792000 | #Constraints: 64763
1908.08/1913.75 c INPROCESSING
1908.08/1913.75 c GARBAGE COLLECT
1908.08/1913.75 c rational objective 0
1946.88/1952.61 c #Conflicts: 793000 | #Constraints: 48181
1946.88/1952.61 c #Conflicts: 794000 | #Constraints: 49182
1946.88/1952.61 c #Conflicts: 795000 | #Constraints: 50184
1946.88/1952.61 c #Conflicts: 796000 | #Constraints: 51186
1946.88/1952.61 c #Conflicts: 797000 | #Constraints: 52187
1946.88/1952.61 c #Conflicts: 798000 | #Constraints: 53189
1946.88/1952.61 c #Conflicts: 799000 | #Constraints: 54189
1946.88/1952.61 c #Conflicts: 800000 | #Constraints: 55190
1946.88/1952.61 c #Conflicts: 801000 | #Constraints: 56192
1946.88/1952.61 c #Conflicts: 802000 | #Constraints: 57192
1946.88/1952.61 c #Conflicts: 803000 | #Constraints: 58192
1946.88/1952.61 c #Conflicts: 804000 | #Constraints: 59192
1946.88/1952.61 c #Conflicts: 805000 | #Constraints: 60192
1946.88/1952.61 c #Conflicts: 806000 | #Constraints: 61193
1946.88/1952.61 c #Conflicts: 807000 | #Constraints: 62194
1946.88/1952.61 c #Conflicts: 808000 | #Constraints: 63194
1946.88/1952.61 c #Conflicts: 809000 | #Constraints: 64194
1946.88/1952.61 c #Conflicts: 810000 | #Constraints: 65194
1946.88/1952.61 c INPROCESSING
1946.88/1952.61 c GARBAGE COLLECT
1946.88/1952.61 c rational objective 0
1984.77/1990.67 c #Conflicts: 811000 | #Constraints: 48404
1984.77/1990.67 c #Conflicts: 812000 | #Constraints: 49404
1984.77/1990.67 c #Conflicts: 813000 | #Constraints: 50404
1984.77/1990.67 c #Conflicts: 814000 | #Constraints: 51404
1984.77/1990.67 c #Conflicts: 815000 | #Constraints: 52405
1984.77/1990.67 c #Conflicts: 816000 | #Constraints: 53407
1984.77/1990.67 c #Conflicts: 817000 | #Constraints: 54408
1984.77/1990.67 c #Conflicts: 818000 | #Constraints: 55408
1984.77/1990.67 c #Conflicts: 819000 | #Constraints: 56408
1984.77/1990.67 c #Conflicts: 820000 | #Constraints: 57410
1984.77/1990.67 c #Conflicts: 821000 | #Constraints: 58411
1984.77/1990.67 c #Conflicts: 822000 | #Constraints: 59411
1984.77/1990.67 c #Conflicts: 823000 | #Constraints: 60412
1984.77/1990.67 c #Conflicts: 824000 | #Constraints: 61414
1984.77/1990.67 c #Conflicts: 825000 | #Constraints: 62414
1984.77/1990.67 c #Conflicts: 826000 | #Constraints: 63414
1984.77/1990.67 c #Conflicts: 827000 | #Constraints: 64414
1984.77/1990.67 c #Conflicts: 828000 | #Constraints: 65414
1984.77/1990.67 c INPROCESSING
1984.77/1990.67 c GARBAGE COLLECT
1984.77/1990.67 c rational objective 0
2015.69/2021.67 c #Conflicts: 829000 | #Constraints: 48445
2015.69/2021.67 c #Conflicts: 830000 | #Constraints: 49445
2015.69/2021.67 c #Conflicts: 831000 | #Constraints: 50446
2015.69/2021.67 c #Conflicts: 832000 | #Constraints: 51449
2015.69/2021.67 c #Conflicts: 833000 | #Constraints: 52450
2015.69/2021.67 c #Conflicts: 834000 | #Constraints: 53455
2015.69/2021.67 c #Conflicts: 835000 | #Constraints: 54457
2015.69/2021.67 c #Conflicts: 836000 | #Constraints: 55459
2015.69/2021.67 c #Conflicts: 837000 | #Constraints: 56462
2015.69/2021.67 c #Conflicts: 838000 | #Constraints: 57464
2015.69/2021.67 c #Conflicts: 839000 | #Constraints: 58468
2015.69/2021.67 c #Conflicts: 840000 | #Constraints: 59472
2015.69/2021.67 c #Conflicts: 841000 | #Constraints: 60473
2015.69/2021.67 c #Conflicts: 842000 | #Constraints: 61479
2015.69/2021.67 c #Conflicts: 843000 | #Constraints: 62490
2015.69/2021.67 c #Conflicts: 844000 | #Constraints: 63495
2015.69/2021.67 c #Conflicts: 845000 | #Constraints: 64497
2015.69/2021.67 c #Conflicts: 846000 | #Constraints: 65512
2015.69/2021.67 c INPROCESSING
2015.69/2021.67 c GARBAGE COLLECT
2015.69/2021.67 c rational objective 0
2063.06/2069.11 c #Conflicts: 847000 | #Constraints: 48255
2063.06/2069.11 c #Conflicts: 848000 | #Constraints: 49255
2063.06/2069.11 c #Conflicts: 849000 | #Constraints: 50255
2063.06/2069.11 c #Conflicts: 850000 | #Constraints: 51255
2063.06/2069.11 c #Conflicts: 851000 | #Constraints: 52255
2063.06/2069.11 c #Conflicts: 852000 | #Constraints: 53255
2063.06/2069.11 c #Conflicts: 853000 | #Constraints: 54255
2063.06/2069.11 c #Conflicts: 854000 | #Constraints: 55255
2063.06/2069.11 c #Conflicts: 855000 | #Constraints: 56255
2063.06/2069.11 c #Conflicts: 856000 | #Constraints: 57255
2063.06/2069.11 c #Conflicts: 857000 | #Constraints: 58256
2063.06/2069.11 c #Conflicts: 858000 | #Constraints: 59259
2063.06/2069.11 c #Conflicts: 859000 | #Constraints: 60261
2063.06/2069.11 c #Conflicts: 860000 | #Constraints: 61263
2063.06/2069.11 c #Conflicts: 861000 | #Constraints: 62264
2063.06/2069.11 c #Conflicts: 862000 | #Constraints: 63265
2063.06/2069.11 c #Conflicts: 863000 | #Constraints: 64265
2063.06/2069.11 c #Conflicts: 864000 | #Constraints: 65265
2063.06/2069.11 c #Conflicts: 865000 | #Constraints: 66266
2063.06/2069.11 c INPROCESSING
2063.06/2069.11 c GARBAGE COLLECT
2063.06/2069.11 c rational objective 0
2116.71/2123.01 c #Conflicts: 866000 | #Constraints: 48853
2116.71/2123.01 c #Conflicts: 867000 | #Constraints: 49853
2116.71/2123.01 c #Conflicts: 868000 | #Constraints: 50853
2116.71/2123.01 c #Conflicts: 869000 | #Constraints: 51853
2116.71/2123.01 c #Conflicts: 870000 | #Constraints: 52853
2116.71/2123.01 c #Conflicts: 871000 | #Constraints: 53853
2116.71/2123.01 c #Conflicts: 872000 | #Constraints: 54853
2116.71/2123.01 c #Conflicts: 873000 | #Constraints: 55854
2116.71/2123.01 c #Conflicts: 874000 | #Constraints: 56857
2116.71/2123.01 c #Conflicts: 875000 | #Constraints: 57859
2116.71/2123.01 c #Conflicts: 876000 | #Constraints: 58860
2116.71/2123.01 c #Conflicts: 877000 | #Constraints: 59863
2116.71/2123.01 c #Conflicts: 878000 | #Constraints: 60865
2116.71/2123.01 c #Conflicts: 879000 | #Constraints: 61866
2116.71/2123.01 c #Conflicts: 880000 | #Constraints: 62867
2116.71/2123.01 c #Conflicts: 881000 | #Constraints: 63867
2116.71/2123.01 c #Conflicts: 882000 | #Constraints: 64867
2116.71/2123.01 c #Conflicts: 883000 | #Constraints: 65868
2116.71/2123.01 c #Conflicts: 884000 | #Constraints: 66870
2116.71/2123.01 c INPROCESSING
2116.71/2123.01 c GARBAGE COLLECT
2116.71/2123.01 c rational objective 0
2169.57/2175.93 c #Conflicts: 885000 | #Constraints: 49266
2169.57/2175.93 c #Conflicts: 886000 | #Constraints: 50267
2169.57/2175.93 c #Conflicts: 887000 | #Constraints: 51268
2169.57/2175.93 c #Conflicts: 888000 | #Constraints: 52268
2169.57/2175.93 c #Conflicts: 889000 | #Constraints: 53268
2169.57/2175.93 c #Conflicts: 890000 | #Constraints: 54268
2169.57/2175.93 c #Conflicts: 891000 | #Constraints: 55268
2169.57/2175.93 c #Conflicts: 892000 | #Constraints: 56268
2169.57/2175.93 c #Conflicts: 893000 | #Constraints: 57270
2169.57/2175.93 c #Conflicts: 894000 | #Constraints: 58273
2169.57/2175.93 c #Conflicts: 895000 | #Constraints: 59277
2169.57/2175.93 c #Conflicts: 896000 | #Constraints: 60280
2169.57/2175.93 c #Conflicts: 897000 | #Constraints: 61282
2169.57/2175.93 c #Conflicts: 898000 | #Constraints: 62282
2169.57/2175.93 c #Conflicts: 899000 | #Constraints: 63284
2169.57/2175.93 c #Conflicts: 900000 | #Constraints: 64288
2169.57/2175.93 c #Conflicts: 901000 | #Constraints: 65291
2169.57/2175.93 c #Conflicts: 902000 | #Constraints: 66295
2169.57/2175.93 c #Conflicts: 903000 | #Constraints: 67297
2169.57/2175.93 c INPROCESSING
2169.57/2175.93 c GARBAGE COLLECT
2169.57/2175.93 c rational objective 0
2224.02/2230.55 c #Conflicts: 904000 | #Constraints: 49450
2224.02/2230.55 c #Conflicts: 905000 | #Constraints: 50451
2224.02/2230.55 c #Conflicts: 906000 | #Constraints: 51453
2224.02/2230.55 c #Conflicts: 907000 | #Constraints: 52454
2224.02/2230.55 c #Conflicts: 908000 | #Constraints: 53455
2224.02/2230.55 c #Conflicts: 909000 | #Constraints: 54455
2224.02/2230.55 c #Conflicts: 910000 | #Constraints: 55455
2224.02/2230.55 c #Conflicts: 911000 | #Constraints: 56455
2224.02/2230.55 c #Conflicts: 912000 | #Constraints: 57456
2224.02/2230.55 c #Conflicts: 913000 | #Constraints: 58457
2224.02/2230.55 c #Conflicts: 914000 | #Constraints: 59458
2224.02/2230.55 c #Conflicts: 915000 | #Constraints: 60460
2224.02/2230.55 c #Conflicts: 916000 | #Constraints: 61464
2224.02/2230.55 c #Conflicts: 917000 | #Constraints: 62465
2224.02/2230.55 c #Conflicts: 918000 | #Constraints: 63466
2224.02/2230.55 c #Conflicts: 919000 | #Constraints: 64468
2224.02/2230.55 c #Conflicts: 920000 | #Constraints: 65470
2224.02/2230.55 c #Conflicts: 921000 | #Constraints: 66470
2224.02/2230.55 c #Conflicts: 922000 | #Constraints: 67470
2224.02/2230.55 c INPROCESSING
2224.02/2230.55 c GARBAGE COLLECT
2224.02/2230.55 c rational objective 0
2275.68/2282.30 c #Conflicts: 923000 | #Constraints: 49501
2275.68/2282.30 c #Conflicts: 924000 | #Constraints: 50504
2275.68/2282.30 c #Conflicts: 925000 | #Constraints: 51508
2275.68/2282.30 c #Conflicts: 926000 | #Constraints: 52509
2275.68/2282.30 c #Conflicts: 927000 | #Constraints: 53512
2275.68/2282.30 c #Conflicts: 928000 | #Constraints: 54514
2275.68/2282.30 c #Conflicts: 929000 | #Constraints: 55514
2275.68/2282.30 c #Conflicts: 930000 | #Constraints: 56514
2275.68/2282.30 c #Conflicts: 931000 | #Constraints: 57515
2275.68/2282.30 c #Conflicts: 932000 | #Constraints: 58517
2275.68/2282.30 c #Conflicts: 933000 | #Constraints: 59520
2275.68/2282.30 c #Conflicts: 934000 | #Constraints: 60521
2275.68/2282.30 c #Conflicts: 935000 | #Constraints: 61521
2275.68/2282.30 c #Conflicts: 936000 | #Constraints: 62521
2275.68/2282.30 c #Conflicts: 937000 | #Constraints: 63521
2275.68/2282.30 c #Conflicts: 938000 | #Constraints: 64521
2275.68/2282.30 c #Conflicts: 939000 | #Constraints: 65521
2275.68/2282.30 c #Conflicts: 940000 | #Constraints: 66522
2275.68/2282.30 c #Conflicts: 941000 | #Constraints: 67523
2275.68/2282.30 c INPROCESSING
2275.68/2282.30 c GARBAGE COLLECT
2275.68/2282.30 c rational objective 0
2360.65/2367.50 c #Conflicts: 942000 | #Constraints: 49289
2360.65/2367.50 c #Conflicts: 943000 | #Constraints: 50289
2360.65/2367.50 c #Conflicts: 944000 | #Constraints: 51289
2360.65/2367.50 c #Conflicts: 945000 | #Constraints: 52289
2360.65/2367.50 c #Conflicts: 946000 | #Constraints: 53289
2360.65/2367.50 c #Conflicts: 947000 | #Constraints: 54289
2360.65/2367.50 c #Conflicts: 948000 | #Constraints: 55290
2360.65/2367.50 c #Conflicts: 949000 | #Constraints: 56293
2360.65/2367.50 c #Conflicts: 950000 | #Constraints: 57564
2360.65/2367.50 c #Conflicts: 951000 | #Constraints: 58807
2360.65/2367.50 c #Conflicts: 952000 | #Constraints: 60127
2360.65/2367.50 c #Conflicts: 953000 | #Constraints: 61452
2360.65/2367.50 c #Conflicts: 954000 | #Constraints: 62758
2360.65/2367.50 c #Conflicts: 955000 | #Constraints: 63959
2360.65/2367.50 c #Conflicts: 956000 | #Constraints: 64996
2360.65/2367.50 c #Conflicts: 957000 | #Constraints: 66353
2360.65/2367.50 c #Conflicts: 958000 | #Constraints: 67662
2360.65/2367.50 c #Conflicts: 959000 | #Constraints: 69041
2360.65/2367.50 c #Conflicts: 960000 | #Constraints: 70399
2360.65/2367.50 c #Conflicts: 961000 | #Constraints: 71753
2360.65/2367.50 c INPROCESSING
2360.65/2367.50 c GARBAGE COLLECT
2360.65/2367.50 c rational objective 0
2477.15/2484.35 c #Conflicts: 962000 | #Constraints: 51700
2477.15/2484.35 c #Conflicts: 963000 | #Constraints: 52700
2477.15/2484.35 c #Conflicts: 964000 | #Constraints: 53700
2477.15/2484.35 c #Conflicts: 965000 | #Constraints: 54700
2477.15/2484.35 c #Conflicts: 966000 | #Constraints: 55700
2477.15/2484.35 c #Conflicts: 967000 | #Constraints: 56700
2477.15/2484.35 c #Conflicts: 968000 | #Constraints: 57700
2477.15/2484.35 c #Conflicts: 969000 | #Constraints: 58700
2477.15/2484.35 c #Conflicts: 970000 | #Constraints: 59700
2477.15/2484.35 c #Conflicts: 971000 | #Constraints: 60700
2477.15/2484.35 c #Conflicts: 972000 | #Constraints: 61700
2477.15/2484.35 c #Conflicts: 973000 | #Constraints: 62700
2477.15/2484.35 c #Conflicts: 974000 | #Constraints: 63700
2477.15/2484.35 c #Conflicts: 975000 | #Constraints: 64700
2477.15/2484.35 c #Conflicts: 976000 | #Constraints: 65700
2477.15/2484.35 c #Conflicts: 977000 | #Constraints: 66700
2477.15/2484.35 c #Conflicts: 978000 | #Constraints: 67700
2477.15/2484.35 c #Conflicts: 979000 | #Constraints: 68700
2477.15/2484.35 c #Conflicts: 980000 | #Constraints: 69700
2477.15/2484.35 c #Conflicts: 981000 | #Constraints: 70700
2477.15/2484.35 c INPROCESSING
2477.15/2484.35 c GARBAGE COLLECT
2477.15/2484.35 c rational objective 0
2537.97/2545.36 c #Conflicts: 982000 | #Constraints: 51112
2537.97/2545.36 c #Conflicts: 983000 | #Constraints: 52112
2537.97/2545.36 c #Conflicts: 984000 | #Constraints: 53112
2537.97/2545.36 c #Conflicts: 985000 | #Constraints: 54112
2537.97/2545.36 c #Conflicts: 986000 | #Constraints: 55113
2537.97/2545.36 c #Conflicts: 987000 | #Constraints: 56115
2537.97/2545.36 c #Conflicts: 988000 | #Constraints: 57119
2537.97/2545.36 c #Conflicts: 989000 | #Constraints: 58122
2537.97/2545.36 c #Conflicts: 990000 | #Constraints: 59123
2537.97/2545.36 c #Conflicts: 991000 | #Constraints: 60126
2537.97/2545.36 c #Conflicts: 992000 | #Constraints: 61128
2537.97/2545.36 c #Conflicts: 993000 | #Constraints: 62130
2537.97/2545.36 c #Conflicts: 994000 | #Constraints: 63134
2537.97/2545.36 c #Conflicts: 995000 | #Constraints: 64137
2537.97/2545.36 c #Conflicts: 996000 | #Constraints: 65139
2537.97/2545.36 c #Conflicts: 997000 | #Constraints: 66145
2537.97/2545.36 c #Conflicts: 998000 | #Constraints: 67149
2537.97/2545.36 c #Conflicts: 999000 | #Constraints: 68153
2537.97/2545.36 c #Conflicts: 1000000 | #Constraints: 69158
2537.97/2545.36 c #Conflicts: 1001000 | #Constraints: 70319
2537.97/2545.36 c INPROCESSING
2537.97/2545.36 c GARBAGE COLLECT
2537.97/2545.36 c rational objective 0
2600.20/2607.78 c #Conflicts: 1002000 | #Constraints: 50971
2600.20/2607.78 c #Conflicts: 1003000 | #Constraints: 51971
2600.20/2607.78 c #Conflicts: 1004000 | #Constraints: 52971
2600.20/2607.78 c #Conflicts: 1005000 | #Constraints: 53971
2600.20/2607.78 c #Conflicts: 1006000 | #Constraints: 54971
2600.20/2607.78 c #Conflicts: 1007000 | #Constraints: 55974
2600.20/2607.78 c #Conflicts: 1008000 | #Constraints: 56975
2600.20/2607.78 c #Conflicts: 1009000 | #Constraints: 58012
2600.20/2607.78 c #Conflicts: 1010000 | #Constraints: 59012
2600.20/2607.78 c #Conflicts: 1011000 | #Constraints: 60025
2600.20/2607.78 c #Conflicts: 1012000 | #Constraints: 61034
2600.20/2607.78 c #Conflicts: 1013000 | #Constraints: 62039
2600.20/2607.78 c #Conflicts: 1014000 | #Constraints: 63108
2600.20/2607.78 c #Conflicts: 1015000 | #Constraints: 64108
2600.20/2607.78 c #Conflicts: 1016000 | #Constraints: 65108
2600.20/2607.78 c #Conflicts: 1017000 | #Constraints: 66108
2600.20/2607.78 c #Conflicts: 1018000 | #Constraints: 67108
2600.20/2607.78 c #Conflicts: 1019000 | #Constraints: 68108
2600.20/2607.78 c #Conflicts: 1020000 | #Constraints: 69108
2600.20/2607.78 c #Conflicts: 1021000 | #Constraints: 70108
2600.20/2607.78 c INPROCESSING
2600.20/2607.78 c GARBAGE COLLECT
2600.20/2607.78 c rational objective 0
2667.52/2675.21 c #Conflicts: 1022000 | #Constraints: 50760
2667.52/2675.21 c #Conflicts: 1023000 | #Constraints: 51760
2667.52/2675.21 c #Conflicts: 1024000 | #Constraints: 52760
2667.52/2675.21 c #Conflicts: 1025000 | #Constraints: 53760
2667.52/2675.21 c #Conflicts: 1026000 | #Constraints: 54760
2667.52/2675.21 c #Conflicts: 1027000 | #Constraints: 55760
2667.52/2675.21 c #Conflicts: 1028000 | #Constraints: 56760
2667.52/2675.21 c #Conflicts: 1029000 | #Constraints: 57760
2667.52/2675.21 c #Conflicts: 1030000 | #Constraints: 58760
2667.52/2675.21 c #Conflicts: 1031000 | #Constraints: 59760
2667.52/2675.21 c #Conflicts: 1032000 | #Constraints: 60760
2667.52/2675.21 c #Conflicts: 1033000 | #Constraints: 61760
2667.52/2675.21 c #Conflicts: 1034000 | #Constraints: 62760
2667.52/2675.21 c #Conflicts: 1035000 | #Constraints: 63760
2667.52/2675.21 c #Conflicts: 1036000 | #Constraints: 64760
2667.52/2675.21 c #Conflicts: 1037000 | #Constraints: 65760
2667.52/2675.21 c #Conflicts: 1038000 | #Constraints: 66760
2667.52/2675.21 c #Conflicts: 1039000 | #Constraints: 67760
2667.52/2675.21 c #Conflicts: 1040000 | #Constraints: 68760
2667.52/2675.21 c #Conflicts: 1041000 | #Constraints: 69760
2667.52/2675.21 c INPROCESSING
2667.52/2675.21 c GARBAGE COLLECT
2667.52/2675.21 c rational objective 0
2721.86/2729.76 c #Conflicts: 1042000 | #Constraints: 50350
2721.86/2729.76 c #Conflicts: 1043000 | #Constraints: 51350
2721.86/2729.76 c #Conflicts: 1044000 | #Constraints: 52350
2721.86/2729.76 c #Conflicts: 1045000 | #Constraints: 53350
2721.86/2729.76 c #Conflicts: 1046000 | #Constraints: 54350
2721.86/2729.76 c #Conflicts: 1047000 | #Constraints: 55350
2721.86/2729.76 c #Conflicts: 1048000 | #Constraints: 56350
2721.86/2729.76 c #Conflicts: 1049000 | #Constraints: 57351
2721.86/2729.76 c #Conflicts: 1050000 | #Constraints: 58351
2721.86/2729.76 c #Conflicts: 1051000 | #Constraints: 59351
2721.86/2729.76 c #Conflicts: 1052000 | #Constraints: 60351
2721.86/2729.76 c #Conflicts: 1053000 | #Constraints: 61352
2721.86/2729.76 c #Conflicts: 1054000 | #Constraints: 62352
2721.86/2729.76 c #Conflicts: 1055000 | #Constraints: 63353
2721.86/2729.76 c #Conflicts: 1056000 | #Constraints: 64354
2721.86/2729.76 c #Conflicts: 1057000 | #Constraints: 65354
2721.86/2729.76 c #Conflicts: 1058000 | #Constraints: 66354
2721.86/2729.76 c #Conflicts: 1059000 | #Constraints: 67358
2721.86/2729.76 c #Conflicts: 1060000 | #Constraints: 68366
2721.86/2729.76 c #Conflicts: 1061000 | #Constraints: 69374
2721.86/2729.76 c #Conflicts: 1062000 | #Constraints: 70577
2721.86/2729.76 c INPROCESSING
2721.86/2729.76 c GARBAGE COLLECT
2721.86/2729.76 c rational objective 0
2792.18/2800.28 c #Conflicts: 1063000 | #Constraints: 50995
2792.18/2800.28 c #Conflicts: 1064000 | #Constraints: 51995
2792.18/2800.28 c #Conflicts: 1065000 | #Constraints: 52995
2792.18/2800.28 c #Conflicts: 1066000 | #Constraints: 53995
2792.18/2800.28 c #Conflicts: 1067000 | #Constraints: 54995
2792.18/2800.28 c #Conflicts: 1068000 | #Constraints: 55995
2792.18/2800.28 c #Conflicts: 1069000 | #Constraints: 56995
2792.18/2800.28 c #Conflicts: 1070000 | #Constraints: 57995
2792.18/2800.28 c #Conflicts: 1071000 | #Constraints: 58995
2792.18/2800.28 c #Conflicts: 1072000 | #Constraints: 59995
2792.18/2800.28 c #Conflicts: 1073000 | #Constraints: 60995
2792.18/2800.28 c #Conflicts: 1074000 | #Constraints: 61995
2792.18/2800.28 c #Conflicts: 1075000 | #Constraints: 62995
2792.18/2800.28 c #Conflicts: 1076000 | #Constraints: 63995
2792.18/2800.28 c #Conflicts: 1077000 | #Constraints: 64995
2792.18/2800.28 c #Conflicts: 1078000 | #Constraints: 65995
2792.18/2800.28 c #Conflicts: 1079000 | #Constraints: 66995
2792.18/2800.28 c #Conflicts: 1080000 | #Constraints: 67995
2792.18/2800.28 c #Conflicts: 1081000 | #Constraints: 68995
2792.18/2800.28 c #Conflicts: 1082000 | #Constraints: 69995
2792.18/2800.28 c #Conflicts: 1083000 | #Constraints: 70995
2792.18/2800.28 c INPROCESSING
2792.18/2800.28 c GARBAGE COLLECT
2792.18/2800.28 c rational objective 0
2894.20/2902.60 c #Conflicts: 1084000 | #Constraints: 51346
2894.20/2902.60 c #Conflicts: 1085000 | #Constraints: 52346
2894.20/2902.60 c #Conflicts: 1086000 | #Constraints: 53346
2894.20/2902.60 c #Conflicts: 1087000 | #Constraints: 54346
2894.20/2902.60 c #Conflicts: 1088000 | #Constraints: 55346
2894.20/2902.60 c #Conflicts: 1089000 | #Constraints: 56346
2894.20/2902.60 c #Conflicts: 1090000 | #Constraints: 57346
2894.20/2902.60 c #Conflicts: 1091000 | #Constraints: 58346
2894.20/2902.60 c #Conflicts: 1092000 | #Constraints: 59347
2894.20/2902.60 c #Conflicts: 1093000 | #Constraints: 60349
2894.20/2902.60 c #Conflicts: 1094000 | #Constraints: 61351
2894.20/2902.60 c #Conflicts: 1095000 | #Constraints: 62351
2894.20/2902.60 c #Conflicts: 1096000 | #Constraints: 63351
2894.20/2902.60 c #Conflicts: 1097000 | #Constraints: 64351
2894.20/2902.60 c #Conflicts: 1098000 | #Constraints: 65351
2894.20/2902.60 c #Conflicts: 1099000 | #Constraints: 66351
2894.20/2902.60 c #Conflicts: 1100000 | #Constraints: 67351
2894.20/2902.60 c #Conflicts: 1101000 | #Constraints: 68351
2894.20/2902.60 c #Conflicts: 1102000 | #Constraints: 69351
2894.20/2902.60 c #Conflicts: 1103000 | #Constraints: 70351
2894.20/2902.60 c #Conflicts: 1104000 | #Constraints: 71351
2894.20/2902.60 c INPROCESSING
2894.20/2902.60 c GARBAGE COLLECT
2894.20/2902.60 c rational objective 0
3006.91/3015.58 c #Conflicts: 1105000 | #Constraints: 51507
3006.91/3015.58 c #Conflicts: 1106000 | #Constraints: 52507
3006.91/3015.58 c #Conflicts: 1107000 | #Constraints: 53507
3006.91/3015.58 c #Conflicts: 1108000 | #Constraints: 54507
3006.91/3015.58 c #Conflicts: 1109000 | #Constraints: 55507
3006.91/3015.58 c #Conflicts: 1110000 | #Constraints: 56507
3006.91/3015.58 c #Conflicts: 1111000 | #Constraints: 57507
3006.91/3015.58 c #Conflicts: 1112000 | #Constraints: 58507
3006.91/3015.58 c #Conflicts: 1113000 | #Constraints: 59507
3006.91/3015.58 c #Conflicts: 1114000 | #Constraints: 60507
3006.91/3015.58 c #Conflicts: 1115000 | #Constraints: 61507
3006.91/3015.58 c #Conflicts: 1116000 | #Constraints: 62507
3006.91/3015.58 c #Conflicts: 1117000 | #Constraints: 63507
3006.91/3015.58 c #Conflicts: 1118000 | #Constraints: 64507
3006.91/3015.58 c #Conflicts: 1119000 | #Constraints: 65507
3006.91/3015.58 c #Conflicts: 1120000 | #Constraints: 66507
3006.91/3015.58 c #Conflicts: 1121000 | #Constraints: 67507
3006.91/3015.58 c #Conflicts: 1122000 | #Constraints: 68507
3006.91/3015.58 c #Conflicts: 1123000 | #Constraints: 69507
3006.91/3015.58 c #Conflicts: 1124000 | #Constraints: 70507
3006.91/3015.58 c #Conflicts: 1125000 | #Constraints: 71507
3006.91/3015.58 c INPROCESSING
3006.91/3015.58 c GARBAGE COLLECT
3006.91/3015.58 c rational objective 0
3081.99/3090.86 c #Conflicts: 1126000 | #Constraints: 51471
3081.99/3090.86 c #Conflicts: 1127000 | #Constraints: 52471
3081.99/3090.86 c #Conflicts: 1128000 | #Constraints: 53471
3081.99/3090.86 c #Conflicts: 1129000 | #Constraints: 54471
3081.99/3090.86 c #Conflicts: 1130000 | #Constraints: 55471
3081.99/3090.86 c #Conflicts: 1131000 | #Constraints: 56471
3081.99/3090.86 c #Conflicts: 1132000 | #Constraints: 57471
3081.99/3090.86 c #Conflicts: 1133000 | #Constraints: 58472
3081.99/3090.86 c #Conflicts: 1134000 | #Constraints: 59477
3081.99/3090.86 c #Conflicts: 1135000 | #Constraints: 60477
3081.99/3090.86 c #Conflicts: 1136000 | #Constraints: 61477
3081.99/3090.86 c #Conflicts: 1137000 | #Constraints: 62477
3081.99/3090.86 c #Conflicts: 1138000 | #Constraints: 63477
3081.99/3090.86 c #Conflicts: 1139000 | #Constraints: 64477
3081.99/3090.86 c #Conflicts: 1140000 | #Constraints: 65477
3081.99/3090.86 c #Conflicts: 1141000 | #Constraints: 66477
3081.99/3090.86 c #Conflicts: 1142000 | #Constraints: 67478
3081.99/3090.86 c #Conflicts: 1143000 | #Constraints: 68478
3081.99/3090.86 c #Conflicts: 1144000 | #Constraints: 69478
3081.99/3090.86 c #Conflicts: 1145000 | #Constraints: 70478
3081.99/3090.86 c #Conflicts: 1146000 | #Constraints: 71479
3081.99/3090.86 c INPROCESSING
3081.99/3090.86 c GARBAGE COLLECT
3081.99/3090.86 c rational objective 0
3144.13/3153.18 c #Conflicts: 1147000 | #Constraints: 51313
3144.13/3153.18 c #Conflicts: 1148000 | #Constraints: 52314
3144.13/3153.18 c #Conflicts: 1149000 | #Constraints: 53314
3144.13/3153.18 c #Conflicts: 1150000 | #Constraints: 54315
3144.13/3153.18 c #Conflicts: 1151000 | #Constraints: 55316
3144.13/3153.18 c #Conflicts: 1152000 | #Constraints: 56316
3144.13/3153.18 c #Conflicts: 1153000 | #Constraints: 57318
3144.13/3153.18 c #Conflicts: 1154000 | #Constraints: 58320
3144.13/3153.18 c #Conflicts: 1155000 | #Constraints: 59321
3144.13/3153.18 c #Conflicts: 1156000 | #Constraints: 60322
3144.13/3153.18 c #Conflicts: 1157000 | #Constraints: 61323
3144.13/3153.18 c #Conflicts: 1158000 | #Constraints: 62325
3144.13/3153.18 c #Conflicts: 1159000 | #Constraints: 63327
3144.13/3153.18 c #Conflicts: 1160000 | #Constraints: 64330
3144.13/3153.18 c #Conflicts: 1161000 | #Constraints: 65332
3144.13/3153.18 c #Conflicts: 1162000 | #Constraints: 66333
3144.13/3153.18 c #Conflicts: 1163000 | #Constraints: 67336
3144.13/3153.18 c #Conflicts: 1164000 | #Constraints: 68338
3144.13/3153.18 c #Conflicts: 1165000 | #Constraints: 69338
3144.13/3153.18 c #Conflicts: 1166000 | #Constraints: 70338
3144.13/3153.18 c #Conflicts: 1167000 | #Constraints: 71338
3144.13/3153.18 c #Conflicts: 1168000 | #Constraints: 72338
3144.13/3153.18 c INPROCESSING
3144.13/3153.18 c GARBAGE COLLECT
3144.13/3153.18 c rational objective 0
3193.18/3202.35 c #Conflicts: 1169000 | #Constraints: 51979
3193.18/3202.35 c #Conflicts: 1170000 | #Constraints: 52979
3193.18/3202.35 c #Conflicts: 1171000 | #Constraints: 53979
3193.18/3202.35 c #Conflicts: 1172000 | #Constraints: 54984
3193.18/3202.35 c #Conflicts: 1173000 | #Constraints: 55986
3193.18/3202.35 c #Conflicts: 1174000 | #Constraints: 56988
3193.18/3202.35 c #Conflicts: 1175000 | #Constraints: 57990
3193.18/3202.35 c #Conflicts: 1176000 | #Constraints: 58995
3193.18/3202.35 c #Conflicts: 1177000 | #Constraints: 59999
3193.18/3202.35 c #Conflicts: 1178000 | #Constraints: 61004
3193.18/3202.35 c #Conflicts: 1179000 | #Constraints: 62013
3193.18/3202.35 c #Conflicts: 1180000 | #Constraints: 63015
3193.18/3202.35 c #Conflicts: 1181000 | #Constraints: 64017
3193.18/3202.35 c #Conflicts: 1182000 | #Constraints: 65019
3193.18/3202.35 c #Conflicts: 1183000 | #Constraints: 66020
3193.18/3202.35 c #Conflicts: 1184000 | #Constraints: 67020
3193.18/3202.35 c #Conflicts: 1185000 | #Constraints: 68021
3193.18/3202.35 c #Conflicts: 1186000 | #Constraints: 69023
3193.18/3202.35 c #Conflicts: 1187000 | #Constraints: 70025
3193.18/3202.35 c #Conflicts: 1188000 | #Constraints: 71027
3193.18/3202.35 c #Conflicts: 1189000 | #Constraints: 72028
3193.18/3202.35 c #Conflicts: 1190000 | #Constraints: 73029
3193.18/3202.35 c INPROCESSING
3193.18/3202.35 c GARBAGE COLLECT
3193.18/3202.35 c rational objective 0
3250.74/3260.06 c #Conflicts: 1191000 | #Constraints: 52391
3250.74/3260.06 c #Conflicts: 1192000 | #Constraints: 53393
3250.74/3260.06 c #Conflicts: 1193000 | #Constraints: 54395
3250.74/3260.06 c #Conflicts: 1194000 | #Constraints: 55397
3250.74/3260.06 c #Conflicts: 1195000 | #Constraints: 56398
3250.74/3260.06 c #Conflicts: 1196000 | #Constraints: 57401
3250.74/3260.06 c #Conflicts: 1197000 | #Constraints: 58401
3250.74/3260.06 c #Conflicts: 1198000 | #Constraints: 59403
3250.74/3260.06 c #Conflicts: 1199000 | #Constraints: 60405
3250.74/3260.06 c #Conflicts: 1200000 | #Constraints: 61406
3250.74/3260.06 c #Conflicts: 1201000 | #Constraints: 62409
3250.74/3260.06 c #Conflicts: 1202000 | #Constraints: 63410
3250.74/3260.06 c #Conflicts: 1203000 | #Constraints: 64410
3250.74/3260.06 c #Conflicts: 1204000 | #Constraints: 65410
3250.74/3260.06 c #Conflicts: 1205000 | #Constraints: 66410
3250.74/3260.06 c #Conflicts: 1206000 | #Constraints: 67410
3250.74/3260.06 c #Conflicts: 1207000 | #Constraints: 68410
3250.74/3260.06 c #Conflicts: 1208000 | #Constraints: 69410
3250.74/3260.06 c #Conflicts: 1209000 | #Constraints: 70411
3250.74/3260.06 c #Conflicts: 1210000 | #Constraints: 71416
3250.74/3260.06 c #Conflicts: 1211000 | #Constraints: 72418
3250.74/3260.06 c #Conflicts: 1212000 | #Constraints: 73420
3250.74/3260.06 c INPROCESSING
3250.74/3260.06 c GARBAGE COLLECT
3250.74/3260.06 c rational objective 0
3311.84/3321.35 c #Conflicts: 1213000 | #Constraints: 52570
3311.84/3321.35 c #Conflicts: 1214000 | #Constraints: 53571
3311.84/3321.35 c #Conflicts: 1215000 | #Constraints: 54573
3311.84/3321.35 c #Conflicts: 1216000 | #Constraints: 55574
3311.84/3321.35 c #Conflicts: 1217000 | #Constraints: 56575
3311.84/3321.35 c #Conflicts: 1218000 | #Constraints: 57576
3311.84/3321.35 c #Conflicts: 1219000 | #Constraints: 58577
3311.84/3321.35 c #Conflicts: 1220000 | #Constraints: 59578
3311.84/3321.35 c #Conflicts: 1221000 | #Constraints: 60581
3311.84/3321.35 c #Conflicts: 1222000 | #Constraints: 61588
3311.84/3321.35 c #Conflicts: 1223000 | #Constraints: 62591
3311.84/3321.35 c #Conflicts: 1224000 | #Constraints: 63596
3311.84/3321.35 c #Conflicts: 1225000 | #Constraints: 64598
3311.84/3321.35 c #Conflicts: 1226000 | #Constraints: 65600
3311.84/3321.35 c #Conflicts: 1227000 | #Constraints: 66603
3311.84/3321.35 c #Conflicts: 1228000 | #Constraints: 67603
3311.84/3321.35 c #Conflicts: 1229000 | #Constraints: 68604
3311.84/3321.35 c #Conflicts: 1230000 | #Constraints: 69605
3311.84/3321.35 c #Conflicts: 1231000 | #Constraints: 70608
3311.84/3321.35 c #Conflicts: 1232000 | #Constraints: 71612
3311.84/3321.35 c #Conflicts: 1233000 | #Constraints: 72616
3311.84/3321.35 c #Conflicts: 1234000 | #Constraints: 73619
3311.84/3321.35 c INPROCESSING
3311.84/3321.35 c GARBAGE COLLECT
3311.84/3321.35 c rational objective 0
3364.59/3374.28 c #Conflicts: 1235000 | #Constraints: 52547
3364.59/3374.28 c #Conflicts: 1236000 | #Constraints: 53547
3364.59/3374.28 c #Conflicts: 1237000 | #Constraints: 54548
3364.59/3374.28 c #Conflicts: 1238000 | #Constraints: 55549
3364.59/3374.28 c #Conflicts: 1239000 | #Constraints: 56550
3364.59/3374.28 c #Conflicts: 1240000 | #Constraints: 57550
3364.59/3374.28 c #Conflicts: 1241000 | #Constraints: 58552
3364.59/3374.28 c #Conflicts: 1242000 | #Constraints: 59554
3364.59/3374.28 c #Conflicts: 1243000 | #Constraints: 60556
3364.59/3374.28 c #Conflicts: 1244000 | #Constraints: 61559
3364.59/3374.28 c #Conflicts: 1245000 | #Constraints: 62560
3364.59/3374.28 c #Conflicts: 1246000 | #Constraints: 63561
3364.59/3374.28 c #Conflicts: 1247000 | #Constraints: 64563
3364.59/3374.28 c #Conflicts: 1248000 | #Constraints: 65564
3364.59/3374.28 c #Conflicts: 1249000 | #Constraints: 66564
3364.59/3374.28 c #Conflicts: 1250000 | #Constraints: 67564
3364.59/3374.28 c #Conflicts: 1251000 | #Constraints: 68566
3364.59/3374.28 c #Conflicts: 1252000 | #Constraints: 69566
3364.59/3374.28 c #Conflicts: 1253000 | #Constraints: 70567
3364.59/3374.28 c #Conflicts: 1254000 | #Constraints: 71568
3364.59/3374.28 c #Conflicts: 1255000 | #Constraints: 72569
3364.59/3374.28 c #Conflicts: 1256000 | #Constraints: 73572
3364.59/3374.28 c INPROCESSING
3364.59/3374.28 c GARBAGE COLLECT
3364.59/3374.28 c rational objective 0
3419.93/3429.80 c #Conflicts: 1257000 | #Constraints: 52314
3419.93/3429.80 c #Conflicts: 1258000 | #Constraints: 53315
3419.93/3429.80 c #Conflicts: 1259000 | #Constraints: 54315
3419.93/3429.80 c #Conflicts: 1260000 | #Constraints: 55315
3419.93/3429.80 c #Conflicts: 1261000 | #Constraints: 56315
3419.93/3429.80 c #Conflicts: 1262000 | #Constraints: 57316
3419.93/3429.80 c #Conflicts: 1263000 | #Constraints: 58317
3419.93/3429.80 c #Conflicts: 1264000 | #Constraints: 59319
3419.93/3429.80 c #Conflicts: 1265000 | #Constraints: 60319
3419.93/3429.80 c #Conflicts: 1266000 | #Constraints: 61319
3419.93/3429.80 c #Conflicts: 1267000 | #Constraints: 62320
3419.93/3429.80 c #Conflicts: 1268000 | #Constraints: 63320
3419.93/3429.80 c #Conflicts: 1269000 | #Constraints: 64320
3419.93/3429.80 c #Conflicts: 1270000 | #Constraints: 65320
3419.93/3429.80 c #Conflicts: 1271000 | #Constraints: 66322
3419.93/3429.80 c #Conflicts: 1272000 | #Constraints: 67324
3419.93/3429.80 c #Conflicts: 1273000 | #Constraints: 68327
3419.93/3429.80 c #Conflicts: 1274000 | #Constraints: 69328
3419.93/3429.80 c #Conflicts: 1275000 | #Constraints: 70330
3419.93/3429.80 c #Conflicts: 1276000 | #Constraints: 71331
3419.93/3429.80 c #Conflicts: 1277000 | #Constraints: 72333
3419.93/3429.80 c #Conflicts: 1278000 | #Constraints: 73334
3419.93/3429.80 c #Conflicts: 1279000 | #Constraints: 74334
3419.93/3429.80 c INPROCESSING
3419.93/3429.80 c GARBAGE COLLECT
3419.93/3429.80 c rational objective 0
3474.88/3484.87 c #Conflicts: 1280000 | #Constraints: 52937
3474.88/3484.87 c #Conflicts: 1281000 | #Constraints: 53939
3474.88/3484.87 c #Conflicts: 1282000 | #Constraints: 54942
3474.88/3484.87 c #Conflicts: 1283000 | #Constraints: 55945
3474.88/3484.87 c #Conflicts: 1284000 | #Constraints: 56947
3474.88/3484.87 c #Conflicts: 1285000 | #Constraints: 57949
3474.88/3484.87 c #Conflicts: 1286000 | #Constraints: 58950
3474.88/3484.87 c #Conflicts: 1287000 | #Constraints: 59950
3474.88/3484.87 c #Conflicts: 1288000 | #Constraints: 60951
3474.88/3484.87 c #Conflicts: 1289000 | #Constraints: 61952
3474.88/3484.87 c #Conflicts: 1290000 | #Constraints: 62955
3474.88/3484.87 c #Conflicts: 1291000 | #Constraints: 63958
3474.88/3484.87 c #Conflicts: 1292000 | #Constraints: 64958
3474.88/3484.87 c #Conflicts: 1293000 | #Constraints: 65958
3474.88/3484.87 c #Conflicts: 1294000 | #Constraints: 66958
3474.88/3484.87 c #Conflicts: 1295000 | #Constraints: 67958
3474.88/3484.87 c #Conflicts: 1296000 | #Constraints: 68960
3474.88/3484.87 c #Conflicts: 1297000 | #Constraints: 69962
3474.88/3484.87 c #Conflicts: 1298000 | #Constraints: 70962
3474.88/3484.87 c #Conflicts: 1299000 | #Constraints: 71962
3474.88/3484.87 c #Conflicts: 1300000 | #Constraints: 72963
3474.88/3484.87 c #Conflicts: 1301000 | #Constraints: 73965
3474.88/3484.87 c #Conflicts: 1302000 | #Constraints: 74970
3474.88/3484.87 c INPROCESSING
3474.88/3484.87 c GARBAGE COLLECT
3474.88/3484.87 c rational objective 0
3600.03/3610.30 c #Conflicts: 1303000 | #Constraints: 53290
3600.03/3610.30 c #Conflicts: 1304000 | #Constraints: 54292
3600.03/3610.30 c #Conflicts: 1305000 | #Constraints: 55293
3600.03/3610.30 c #Conflicts: 1306000 | #Constraints: 56297
3600.03/3610.30 c #Conflicts: 1307000 | #Constraints: 57298
3600.03/3610.30 c #Conflicts: 1308000 | #Constraints: 58299
3600.03/3610.30 c #Conflicts: 1309000 | #Constraints: 59300
3600.03/3610.30 c #Conflicts: 1310000 | #Constraints: 60300
3600.03/3610.30 c #Conflicts: 1311000 | #Constraints: 61300
3600.03/3610.30 c #Conflicts: 1312000 | #Constraints: 62301
3600.03/3610.30 c #Conflicts: 1313000 | #Constraints: 63301
3600.03/3610.30 c #Conflicts: 1314000 | #Constraints: 64304
3600.03/3610.30 c #Conflicts: 1315000 | #Constraints: 65305
3600.03/3610.30 c #Conflicts: 1316000 | #Constraints: 66306
3600.03/3610.30 c #Conflicts: 1317000 | #Constraints: 67306
3600.03/3610.30 c #Conflicts: 1318000 | #Constraints: 68306
3600.03/3610.30 c #Conflicts: 1319000 | #Constraints: 69306
3600.03/3610.30 c #Conflicts: 1320000 | #Constraints: 70307
3600.03/3610.30 c #Conflicts: 1321000 | #Constraints: 71308
3600.03/3610.30 c #Conflicts: 1322000 | #Constraints: 72311
3600.03/3610.30 c #Conflicts: 1323000 | #Constraints: 73315
3600.03/3610.30 c #Conflicts: 1324000 | #Constraints: 74316
3600.03/3610.30 c #Conflicts: 1325000 | #Constraints: 75319
3600.03/3610.30 c #Conflicts: 1326000 | #Constraints: 76322
3600.03/3610.30 c #Conflicts: 1327000 | #Constraints: 77325
3600.03/3610.30 c #Conflicts: 1328000 | #Constraints: 78329
3600.03/3610.30 c #Conflicts: 1329000 | #Constraints: 79332
3600.03/3610.30 c #Conflicts: 1330000 | #Constraints: 80333
3600.03/3610.30 c #Conflicts: 1331000 | #Constraints: 81335
3600.03/3610.30 c #Conflicts: 1332000 | #Constraints: 82337
3600.03/3610.30 c #Conflicts: 1333000 | #Constraints: 83341
3600.03/3610.30 c #Conflicts: 1334000 | #Constraints: 84345
3600.03/3610.30 c #Conflicts: 1335000 | #Constraints: 85348
3600.03/3610.30 c #Conflicts: 1336000 | #Constraints: 86348
3600.03/3610.30 c #Conflicts: 1337000 | #Constraints: 87351
3600.03/3610.30 c #Conflicts: 1338000 | #Constraints: 88353
3600.03/3610.30 c #Conflicts: 1339000 | #Constraints: 89355
3600.03/3610.30 c #Conflicts: 1340000 | #Constraints: 90359
3600.03/3610.30 c #Conflicts: 1341000 | #Constraints: 91363
3600.03/3610.30 c #Conflicts: 1342000 | #Constraints: 92363
3600.03/3610.30 c cpu time 3568.33 s
3600.03/3610.30 c deterministic time 283297544814 2.83e+11
3600.03/3610.30 c optimization time 123.828 s
3600.03/3610.30 c total solve time 3444.17 s
3600.03/3610.30 c core-guided solve time 0 s
3600.03/3610.30 c propagation time 1849.9 s
3600.03/3610.30 c conflict analysis time 1230.64 s
3600.03/3610.30 c propagations 924840404
3600.03/3610.30 c resolve steps 46470221
3600.03/3610.30 c decisions 16776560
3600.03/3610.30 c conflicts 1342869
3600.03/3610.30 c restarts 2557
3600.03/3610.30 c inprocessing phases 105
3600.03/3610.30 c garbage collections 105 ,( 100.00 )
3600.03/3610.30 c input clauses 6553 ,( 22.63 )
3600.03/3610.30 c input cardinalities 112 ,( 0.39 )
3600.03/3610.30 c input general constraints 22288 ,( 76.98 )
3600.03/3610.30 c input average constraint length 4.61
3600.03/3610.30 c input average constraint degree 8.19
3600.03/3610.30 c learned clauses 463981 ,( 34.30 )
3600.03/3610.30 c learned cardinalities 106850 ,( 7.90 )
3600.03/3610.30 c learned general constraints 781708 ,( 57.80 )
3600.03/3610.30 c learned average constraint length 2424.69
3600.03/3610.30 c learned average constraint degree 1863078073.81
3600.03/3610.30 c watched CF 32, 64, 128, Arb: 728996 , 0 , 0 , 0
3600.03/3610.30 c counting CF 32, 64, 128, Arb: 75001 , 0 , 0 , 0
3600.03/3610.30 c watched constraints 728996 ,( 90.67 )
3600.03/3610.30 c counting constraints 75000 ,( 9.33 )
3600.03/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283378071 , 516713589 , 2140264466 ,( 617327455 , 1522937011 )
3600.03/3610.30 c gcd simplifications 127388
3600.03/3610.30 c detected cardinalities 2342
3600.03/3610.30 c weakened non-implied lits 431481850
3600.03/3610.30 c weakened non-implying lits 1093586
3600.03/3610.30 c original variables 35169
3600.03/3610.30 c clausal propagations 148452629
3600.03/3610.30 c cardinality propagations 126201410
3600.03/3610.30 c watched propagations 103148103
3600.03/3610.30 c counting propagations 507007607
3600.03/3610.30 c watch lookups 19895023973
3600.03/3610.30 c watch backjump lookups 0
3600.03/3610.30 c watch checks 210485192997
3600.03/3610.30 c propagation checks 44450360466
3600.03/3610.30 c constraint additions 6580512138
3600.03/3610.30 c trail pops 942926976
3600.03/3610.30 c formula constraints 28953
3600.03/3610.30 c learned constraints 1341434
3600.03/3610.30 c bound constraints 0
3600.03/3610.30 c core-guided constraints 0
3600.03/3610.30 c encountered formula constraints 43155680
3600.03/3610.30 c encountered learned constraints 4312483
3600.03/3610.30 c encountered bound constraints 0
3600.03/3610.30 c encountered core-guided constraints 0
3600.03/3610.30 c LP total time 752.558 s
3600.03/3610.30 c LP solve time 677.53 s
3600.03/3610.30 c LP constraints added 37418
3600.03/3610.30 c LP constraints removed 8376
3600.03/3610.30 c LP pivots internal 1342872
3600.03/3610.30 c LP pivots root 568427
3600.03/3610.30 c LP calls 7948
3600.03/3610.30 c LP optimalities 1695
3600.03/3610.30 c LP no pivot count 1285
3600.03/3610.30 c LP infeasibilities 6247
3600.03/3610.30 c LP valid Farkas constraints 6232
3600.03/3610.30 c LP learned Farkas constraints 1434
3600.03/3610.30 c LP basis resets 16
3600.03/3610.30 c LP cycling count 0
3600.03/3610.30 c LP singular count 1
3600.03/3610.30 c LP no primal count 0
3600.03/3610.30 c LP no farkas count 15
3600.03/3610.30 c LP other issue count 0
3600.03/3610.30 c LP Gomory cuts 3439
3600.03/3610.30 c LP learned cuts 5026
3600.03/3610.30 c LP deleted cuts 8376
3600.03/3610.30 c LP encountered Gomory constraints 271669
3600.03/3610.30 c LP encountered Farkas constraints 66141
3600.03/3610.30 c LP encountered learned Farkas constraints 5683
3600.03/3610.30 c CG auxiliary variables introduced 1
3600.03/3610.30 c CG solutions found 0
3600.03/3610.30 c CG cores constructed 0
3600.03/3610.30 c CG core cardinality constraints returned 0
3600.03/3610.30 c CG unit cores 0
3600.03/3610.30 c CG single cores 0
3600.03/3610.30 c CG blocks removed during cardinality reduction 0
3600.03/3610.30 c CG first core best 0
3600.03/3610.30 c CG decision core best 0
3600.03/3610.30 c CG core reduction tie 0
3600.03/3610.30 c CG core degree average 0.00
3600.03/3610.30 c CG core slack average 0.00
3600.03/3610.30 c CG core upper bound improvements 0
3600.03/3610.30 c STR number of successful calls 0
3600.03/3610.30 c STR number of unsuccessful calls 0
3600.03/3610.30 c STR number of inconclusive calls 0
3600.03/3610.30 c STR number of successful attempts 0
3600.03/3610.30 c STR number of unsuccessful attempts 0
3600.03/3610.30 c STR number of inconclusive attempts 0
3600.03/3610.30 c STR average degree increase per successful call inf
3600.03/3610.30 c STR average degree increase per successful attempt inf
3600.03/3610.30 c STR total number of conflicts for successful attempts 0
3600.03/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.30 c STR average number of conflicts per successful attempt inf
3600.03/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.30 c AVG.sumWPerc 17.34
3600.03/3610.30 c bigint constraints 0
3600.03/3610.30 s UNKNOWN
3600.03/3610.30 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: 63794 MiB (48779 MiB free)
memory of node 1: 64507 MiB (42543 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523977-1751608209/watcher-4523977-1751608209 -o /tmp/evaluation-result-4523977-1751608209/solver-4523977-1751608209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90788 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523977-1751608209.opb PROOFDIR/proof-4523977-1751608209
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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=91296, runsolver pid=91293
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.21 4.15 4.01 5/266 91298
/proc/meminfo: memFree=93503136/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=63952 memory=19408 CPUtime=0.08 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 2557 0 0 0 6 2 0 0 20 0 1 0 76500644 65486848 4852 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 15988 4852 1984 1147 0 3415 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68144 KiB
Current children cumulated memory: 22352 KiB
[startup+0.214193 s]*
/proc/loadavg: 4.21 4.15 4.01 5/266 91298
/proc/meminfo: memFree=93503136/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=65712 memory=20944 CPUtime=0.19 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 2960 0 0 0 15 4 0 0 20 0 1 0 76500644 67289088 5236 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 16428 5236 1984 1147 0 3855 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69904 KiB
Current children cumulated memory: 23888 KiB
[startup+0.313883 s]*
/proc/loadavg: 4.21 4.15 4.01 5/266 91298
/proc/meminfo: memFree=93502896/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=76980 memory=33604 CPUtime=0.29 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 5033 0 0 0 22 7 0 0 20 0 1 0 76500644 78827520 8369 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 19245 8369 2240 1147 0 6672 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 81172 KiB
Current children cumulated memory: 36548 KiB
[startup+0.700421 s]
/proc/loadavg: 4.21 4.15 4.01 5/266 91298
/proc/meminfo: memFree=93508472/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=135088 memory=82860 CPUtime=0.65 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 15062 0 0 0 50 15 0 0 20 0 1 0 76500644 138330112 20715 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 33772 20715 2368 1147 0 21199 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 139280 KiB
Current children cumulated memory: 85804 KiB
[startup+1.50043 s]
/proc/loadavg: 4.21 4.15 4.01 5/266 91298
/proc/meminfo: memFree=93479052/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=143676 memory=89516 CPUtime=1.45 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 16737 0 0 0 129 16 0 0 20 0 1 0 76500644 147124224 22379 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 35919 22379 2368 1147 0 23346 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 147868 KiB
Current children cumulated memory: 92460 KiB
[startup+3.11353 s]
/proc/loadavg: 4.20 4.15 4.00 6/265 91298
/proc/meminfo: memFree=93423300/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=175344 memory=116896 CPUtime=3.07 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 20504 0 0 0 287 20 0 0 20 0 1 0 76500644 179552256 29224 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 43836 29224 2400 1147 0 31263 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 179536 KiB
Current children cumulated memory: 119840 KiB
[startup+6.30038 s]
/proc/loadavg: 4.20 4.15 4.00 6/265 91298
/proc/meminfo: memFree=93350580/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=213852 memory=146024 CPUtime=6.24 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 25217 0 0 0 600 24 0 0 20 0 1 0 76500644 218984448 36506 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 53463 36506 2400 1147 0 40890 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 218044 KiB
Current children cumulated memory: 148968 KiB
[startup+12.7004 s]
/proc/loadavg: 4.17 4.14 4.00 5/265 91298
/proc/meminfo: memFree=93299556/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=262568 memory=182720 CPUtime=12.62 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 30815 0 0 0 1229 33 0 0 20 0 1 0 76500644 268869632 45680 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 65642 45680 2400 1147 0 53069 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 266760 KiB
Current children cumulated memory: 185664 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.14 4.00 5/265 91299
/proc/meminfo: memFree=93171768/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=287832 memory=212060 CPUtime=25.38 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 36688 0 0 0 2491 47 0 0 20 0 1 0 76500644 294739968 53015 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 71958 53015 2400 1147 0 59385 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 292024 KiB
Current children cumulated memory: 215004 KiB
[startup+51.1136 s]
/proc/loadavg: 4.25 4.16 4.01 6/265 91300
/proc/meminfo: memFree=92884296/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=353084 memory=291588 CPUtime=50.92 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 51540 0 0 0 5012 80 0 0 20 0 1 0 76500644 361558016 72897 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 88271 72897 2400 1147 0 75698 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 357276 KiB
Current children cumulated memory: 294532 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.16 4.02 6/265 91302
/proc/meminfo: memFree=92038036/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=427564 memory=340056 CPUtime=101.96 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 58072 0 0 0 10060 136 0 0 20 0 1 0 76500644 437825536 85014 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 106891 85014 2400 1147 0 94318 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 431756 KiB
Current children cumulated memory: 343000 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.02 5/262 91304
/proc/meminfo: memFree=91363008/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=443232 memory=355416 CPUtime=161.78 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 61918 0 0 0 15961 217 0 0 20 0 1 0 76500644 453869568 88854 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 110808 88854 2400 1147 0 98235 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 447424 KiB
Current children cumulated memory: 358360 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.02 5/261 91306
/proc/meminfo: memFree=90577540/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=530176 memory=439368 CPUtime=221.61 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 79932 0 0 0 21879 282 0 0 20 0 1 0 76500644 542900224 109842 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
################
# More data... #
################
Current children cumulated memory: 1561080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/263 91669
/proc/meminfo: memFree=92287516/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=1880892 memory=1558136 CPUtime=3332.78 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 236103 0 0 0 330337 2941 0 0 20 0 1 0 76500644 1926033408 389534 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 470223 389534 2496 1147 0 457650 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 1885084 KiB
Current children cumulated memory: 1561080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/260 91671
/proc/meminfo: memFree=91709808/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=1880892 memory=1559160 CPUtime=3392.61 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 236106 0 0 0 336258 3003 0 0 20 0 1 0 76500644 1926033408 389790 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 470223 389790 2496 1147 0 457650 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 1885084 KiB
Current children cumulated memory: 1562104 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/261 91677
/proc/meminfo: memFree=91028548/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=1880892 memory=1560312 CPUtime=3452.45 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 236114 0 0 0 342195 3050 0 0 20 0 1 0 76500644 1926033408 390078 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 470223 390078 2496 1147 0 457650 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 1885084 KiB
Current children cumulated memory: 1563256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/261 91679
/proc/meminfo: memFree=90254768/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=1880892 memory=1564408 CPUtime=3512.28 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 236121 0 0 0 348120 3108 0 0 20 0 1 0 76500644 1926033408 391102 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 470223 391102 2496 1147 0 457650 0
Current children cumulated CPU time: 3512.28 s
Current children cumulated vsize: 1885084 KiB
Current children cumulated memory: 1567352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/261 91681
/proc/meminfo: memFree=89467080/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=1880892 memory=1585004 CPUtime=3572.11 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 236454 0 0 0 354062 3149 0 0 20 0 1 0 76500644 1926033408 396251 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 470223 396251 2496 1147 0 457650 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 1885084 KiB
Current children cumulated memory: 1587948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/261 91681
/proc/meminfo: memFree=88977172/131382116 swapFree=33010684/33010684
[pid=91296] ppid=91293 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91296/stat : 91296 (run-opt-log.sh) S 91293 91296 90778 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 76500643 4292608 736 18446744073709551615 94774568656896 94774569551429 140723836579344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94774569790480 94774569838224 94774585724928 140723836586273 140723836586468 140723836586468 140723836592070 0
/proc/91296/statm: 1048 736 672 219 0 110 0
[pid=91298] ppid=91296 vsize=1886420 memory=1730168 CPUtime=3600.03 cores=0,2
/proc/91298/stat : 91298 (roundingsat) R 91296 91296 90778 0 -1 4194304 237486 0 0 0 356832 3171 0 0 20 0 1 0 76500644 1931694080 432542 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 471605 432542 2496 1147 0 459032 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1890612 KiB
Current children cumulated memory: 1733112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 91296 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.004156 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.18 4.13 4.15 4/260 91681
/proc/meminfo: memFree=88958936/131382116 swapFree=33010684/33010684
[pid=91298] ppid=91293 vsize=1886420 memory=1730424 CPUtime=3600.04 cores=0,2
/proc/91298/stat : 91298 (roundingsat) D 91293 91296 90778 0 -1 4194304 237490 0 0 0 356833 3171 0 0 20 0 1 0 76500644 1931694080 432606 18446744073709551615 4227072 8923433 140727783726592 0 0 256 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 9
/proc/91298/statm: 471605 432606 2560 1147 0 459032 0
??? kill 91298 sig 9
??? end of watcher thread
[startup+3612.54 s]
# the end of solver process 91298 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3568.33 s, system=31.734 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.18 4.13 4.15 4/260 91681
/proc/meminfo: memFree=88973048/131382116 swapFree=33010684/33010684
[pid=91298] ppid=91293 vsize=1886420 memory=1730424 CPUtime=3600.04 cores=0,2
/proc/91298/stat : 91298 (roundingsat) D 91293 91296 90778 0 -1 4194304 237490 0 0 0 356833 3171 0 0 20 0 1 0 76500644 1931694080 432606 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 471605 432606 2560 1147 0 459032 0
Current cumulated CPU time of completed processes: 0.004156 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1886420 KiB
Current children cumulated memory: 1730424 KiB
[startup+3612 s]*
/proc/loadavg: 4.18 4.13 4.15 4/260 91681
/proc/meminfo: memFree=88958936/131382116 swapFree=33010684/33010684
[pid=91298] ppid=91293 vsize=1886420 memory=1730424 CPUtime=3600.04 cores=0,2
/proc/91298/stat : 91298 (roundingsat) D 91293 91296 90778 0 -1 4194304 237490 0 0 0 356833 3171 0 0 20 0 1 0 76500644 1931694080 432606 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 471605 432606 2560 1147 0 459032 0
Current cumulated CPU time of completed processes: 0.004156 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1886420 KiB
Current children cumulated memory: 1730424 KiB
[startup+3612.2 s]
/proc/loadavg: 4.18 4.13 4.15 4/260 91681
/proc/meminfo: memFree=88958936/131382116 swapFree=33010684/33010684
[pid=91298] ppid=91293 vsize=1886420 memory=1730424 CPUtime=3600.04 cores=0,2
/proc/91298/stat : 91298 (roundingsat) D 91293 91296 90778 0 -1 4194304 237490 0 0 0 356833 3171 0 0 20 0 1 0 76500644 1931694080 432606 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 471605 432606 2560 1147 0 459032 0
Current cumulated CPU time of completed processes: 0.004156 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1886420 KiB
Current children cumulated memory: 1730424 KiB
[startup+3612.3 s]
/proc/loadavg: 4.18 4.13 4.15 4/260 91681
/proc/meminfo: memFree=88958936/131382116 swapFree=33010684/33010684
[pid=91298] ppid=91293 vsize=1886420 memory=1730424 CPUtime=3600.04 cores=0,2
/proc/91298/stat : 91298 (roundingsat) D 91293 91296 90778 0 -1 4194304 237490 0 0 0 356833 3171 0 0 20 0 1 0 76500644 1931694080 432606 18446744073709551615 4227072 8923433 140727783726592 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 11829248 140727783729490 140727783729704 140727783729704 140727783735274 0
/proc/91298/statm: 471605 432606 2560 1147 0 459032 0
Current cumulated CPU time of completed processes: 0.004156 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1886420 KiB
Current children cumulated memory: 1730424 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.54
CPU time (s): 3600.06
CPU user time (s): 3568.33
CPU system time (s): 31.734
CPU usage (%): 99.6547
Max. virtual memory (cumulated for all children) (KiB): 1890612
Max. memory (cumulated for all children) (KiB): 1733112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.33
system time used= 31.734
maximum resident set size= 1730424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17395264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 892
involuntary context switches= 8309
# summary of solver processes directly reported to runsolver:
# pid: 91296,91298
# total CPU time (s): 3600.06
# total CPU user time (s): 3568.33
# total CPU system time (s): 31.734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8048 second user time and 37.0864 second system time
The end
Begin job on nodeC011 at 2025-07-04 07:50:09
IDJOB=4523977
IDBENCH=180463
IDSOLVER=3351
FILE ID=nodeC011/4523977-1751608209
RUNJOBID= nodeC011-1751606131-90788
SLURM_JOB_ID= 9598893
Free space on /tmp= 430416 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523977-1751608209/watcher-4523977-1751608209 -o /tmp/evaluation-result-4523977-1751608209/solver-4523977-1751608209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90788 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523977-1751608209.opb PROOFDIR/proof-4523977-1751608209
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=1651214436
nodeC011 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 : 0xb00001f
cpu MHz : 1696.139
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3663.002
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.735
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.417
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3662.722
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3662.972
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.523
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.666
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 93515088 kB
MemAvailable: 127544000 kB
Buffers: 3276 kB
Cached: 34792592 kB
SwapCached: 0 kB
Active: 2304428 kB
Inactive: 34350708 kB
Active(anon): 1875236 kB
Inactive(anon): 2104 kB
Active(file): 429192 kB
Inactive(file): 34348604 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 178756 kB
Writeback: 16 kB
AnonPages: 1847488 kB
Mapped: 118448 kB
Shmem: 17960 kB
KReclaimable: 181100 kB
Slab: 274460 kB
SReclaimable: 181100 kB
SUnreclaim: 93360 kB
KernelStack: 4304 kB
PageTables: 7036 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2398128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149608 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1468416 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430376 MiB
End job on nodeC011 at 2025-07-04 08:50:22