0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
2.57/2.66 c #variables 4005 #constraints 469920
2.57/2.66 c objective is ce32
3.08/3.17 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.08/3.17 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3.08/3.17 c GLOBAL bounds - >= -3240 @ 2.26304
3.08/3.18 c GLOBAL bounds - >= -3240 @ 2.27885
3.08/3.19 c GLOBAL bounds - >= -3240 @ 2.28584
3.08/3.19 c GLOBAL bounds - >= -3240 @ 2.28843
3.16/3.20 c GLOBAL bounds - >= -3240 @ 2.29242
3.16/3.20 c GLOBAL bounds - >= -3240 @ 2.29639
3.16/3.21 c GLOBAL bounds - >= -3240 @ 2.30084
3.16/3.21 c GLOBAL bounds - >= -3240 @ 2.30439
3.16/3.22 c GLOBAL bounds - >= -3240 @ 2.30763
3.16/3.22 c GLOBAL bounds - >= -3240 @ 2.31141
3.16/3.23 c GLOBAL bounds - >= -3240 @ 2.31561
3.16/3.23 c GLOBAL bounds - >= -3240 @ 2.31961
3.16/3.24 c GLOBAL bounds - >= -3240 @ 2.32335
3.16/3.24 c GLOBAL bounds - >= -3240 @ 2.32773
3.16/3.25 c GLOBAL bounds - >= -3240 @ 2.33233
3.16/3.25 c GLOBAL bounds - >= -3240 @ 2.33793
3.16/3.26 c GLOBAL bounds - >= -3240 @ 2.34284
3.16/3.26 c GLOBAL bounds - >= -3240 @ 2.34886
3.16/3.27 c GLOBAL bounds - >= -3240 @ 2.3548
3.16/3.28 c GLOBAL bounds - >= -3240 @ 2.35957
3.16/3.28 c GLOBAL bounds - >= -3240 @ 2.36425
3.27/3.30 c GLOBAL bounds - >= -3240 @ 2.38179
3.27/3.32 c GLOBAL bounds - >= -3240 @ 2.4015
3.27/3.36 c GLOBAL bounds - >= -3240 @ 2.44417
3.36/3.41 c GLOBAL bounds - >= -3240 @ 2.48835
3.36/3.43 c GLOBAL bounds - >= -3240 @ 2.50926
3.46/3.59 c GLOBAL bounds - >= -3240 @ 2.66677
3.66/3.71 c GLOBAL bounds - >= -3240 @ 2.78306
3.66/3.76 c GLOBAL bounds - >= -3240 @ 2.83522
3.76/3.82 c GLOBAL bounds - >= -3240 @ 2.89566
3.76/3.86 c GLOBAL bounds - >= -3240 @ 2.93907
3.76/3.89 c GLOBAL bounds - >= -3240 @ 2.95963
3.76/3.89 c GLOBAL bounds - >= -3240 @ 2.96687
3.86/3.90 c GLOBAL bounds - >= -3240 @ 2.97213
3.86/3.91 c GLOBAL bounds - >= -3240 @ 2.97713
3.86/3.91 c GLOBAL bounds - >= -3240 @ 2.98205
3.86/3.92 c GLOBAL bounds - >= -3240 @ 2.98778
3.86/3.92 c GLOBAL bounds - >= -3240 @ 2.99356
3.86/3.93 c GLOBAL bounds - >= -3240 @ 2.99821
3.86/3.94 c GLOBAL bounds - >= -3240 @ 3.00492
3.86/3.94 c GLOBAL bounds - >= -3240 @ 3.01093
3.86/3.95 c GLOBAL bounds - >= -3240 @ 3.01644
201.49/202.10 c #Conflicts: 1000 | #Constraints: 234360
201.49/202.10 c #Conflicts: 2000 | #Constraints: 235360
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 3000 | #Constraints: 235363
201.49/202.10 c #Conflicts: 4000 | #Constraints: 236363
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 5000 | #Constraints: 235764
201.49/202.10 c #Conflicts: 6000 | #Constraints: 236764
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 7000 | #Constraints: 235765
201.49/202.10 c #Conflicts: 8000 | #Constraints: 236765
201.49/202.10 c #Conflicts: 9000 | #Constraints: 237765
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 10000 | #Constraints: 236466
201.49/202.10 c #Conflicts: 11000 | #Constraints: 237466
201.49/202.10 c #Conflicts: 12000 | #Constraints: 238466
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 13000 | #Constraints: 236917
201.49/202.10 c #Conflicts: 14000 | #Constraints: 237917
201.49/202.10 c #Conflicts: 15000 | #Constraints: 238917
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 16000 | #Constraints: 237142
201.49/202.10 c #Conflicts: 17000 | #Constraints: 238142
201.49/202.10 c #Conflicts: 18000 | #Constraints: 239142
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 19000 | #Constraints: 237155
201.49/202.10 c #Conflicts: 20000 | #Constraints: 238155
201.49/202.10 c #Conflicts: 21000 | #Constraints: 239155
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 22000 | #Constraints: 236960
201.49/202.10 c #Conflicts: 23000 | #Constraints: 237960
201.49/202.10 c #Conflicts: 24000 | #Constraints: 238960
201.49/202.10 c #Conflicts: 25000 | #Constraints: 239960
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 26000 | #Constraints: 237563
201.49/202.10 c #Conflicts: 27000 | #Constraints: 238563
201.49/202.10 c #Conflicts: 28000 | #Constraints: 239563
201.49/202.10 c #Conflicts: 29000 | #Constraints: 240563
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 30000 | #Constraints: 237965
201.49/202.10 c #Conflicts: 31000 | #Constraints: 238965
201.49/202.10 c #Conflicts: 32000 | #Constraints: 239965
201.49/202.10 c #Conflicts: 33000 | #Constraints: 240965
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 34000 | #Constraints: 238166
201.49/202.10 c #Conflicts: 35000 | #Constraints: 239166
201.49/202.10 c #Conflicts: 36000 | #Constraints: 240166
201.49/202.10 c #Conflicts: 37000 | #Constraints: 241166
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 38000 | #Constraints: 238167
201.49/202.10 c #Conflicts: 39000 | #Constraints: 239167
201.49/202.10 c #Conflicts: 40000 | #Constraints: 240167
201.49/202.10 c #Conflicts: 41000 | #Constraints: 241167
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 42000 | #Constraints: 237968
201.49/202.10 c #Conflicts: 43000 | #Constraints: 238968
201.49/202.10 c #Conflicts: 44000 | #Constraints: 239968
201.49/202.10 c #Conflicts: 45000 | #Constraints: 240968
201.49/202.10 c #Conflicts: 46000 | #Constraints: 241968
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 47000 | #Constraints: 238568
201.49/202.10 c #Conflicts: 48000 | #Constraints: 239568
201.49/202.10 c #Conflicts: 49000 | #Constraints: 240568
201.49/202.10 c #Conflicts: 50000 | #Constraints: 241568
201.49/202.10 c #Conflicts: 51000 | #Constraints: 242568
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 52000 | #Constraints: 238968
201.49/202.10 c #Conflicts: 53000 | #Constraints: 239968
201.49/202.10 c #Conflicts: 54000 | #Constraints: 240968
201.49/202.10 c #Conflicts: 55000 | #Constraints: 241968
201.49/202.10 c #Conflicts: 56000 | #Constraints: 242968
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 57000 | #Constraints: 239168
201.49/202.10 c #Conflicts: 58000 | #Constraints: 240168
201.49/202.10 c #Conflicts: 59000 | #Constraints: 241168
201.49/202.10 c #Conflicts: 60000 | #Constraints: 242168
201.49/202.10 c #Conflicts: 61000 | #Constraints: 243168
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 62000 | #Constraints: 239168
201.49/202.10 c #Conflicts: 63000 | #Constraints: 240168
201.49/202.10 c #Conflicts: 64000 | #Constraints: 241168
201.49/202.10 c #Conflicts: 65000 | #Constraints: 242168
201.49/202.10 c #Conflicts: 66000 | #Constraints: 243168
201.49/202.10 c INPROCESSING
201.49/202.10 c GARBAGE COLLECT
201.49/202.10 c #Conflicts: 67000 | #Constraints: 238969
201.49/202.10 c #Conflicts: 68000 | #Constraints: 239969
433.62/434.76 c #Conflicts: 69000 | #Constraints: 240969
433.62/434.76 c #Conflicts: 70000 | #Constraints: 241969
433.62/434.76 c #Conflicts: 71000 | #Constraints: 242969
433.62/434.76 c #Conflicts: 72000 | #Constraints: 243969
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 73000 | #Constraints: 239571
433.62/434.76 c #Conflicts: 74000 | #Constraints: 240571
433.62/434.76 c #Conflicts: 75000 | #Constraints: 241571
433.62/434.76 c #Conflicts: 76000 | #Constraints: 242571
433.62/434.76 c #Conflicts: 77000 | #Constraints: 243571
433.62/434.76 c #Conflicts: 78000 | #Constraints: 244571
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 79000 | #Constraints: 239971
433.62/434.76 c #Conflicts: 80000 | #Constraints: 240971
433.62/434.76 c #Conflicts: 81000 | #Constraints: 241971
433.62/434.76 c #Conflicts: 82000 | #Constraints: 242971
433.62/434.76 c #Conflicts: 83000 | #Constraints: 243971
433.62/434.76 c #Conflicts: 84000 | #Constraints: 244971
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 85000 | #Constraints: 240169
433.62/434.76 c #Conflicts: 86000 | #Constraints: 241169
433.62/434.76 c #Conflicts: 87000 | #Constraints: 242169
433.62/434.76 c #Conflicts: 88000 | #Constraints: 243169
433.62/434.76 c #Conflicts: 89000 | #Constraints: 244169
433.62/434.76 c #Conflicts: 90000 | #Constraints: 245169
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 91000 | #Constraints: 240168
433.62/434.76 c #Conflicts: 92000 | #Constraints: 241168
433.62/434.76 c #Conflicts: 93000 | #Constraints: 242168
433.62/434.76 c #Conflicts: 94000 | #Constraints: 243168
433.62/434.76 c #Conflicts: 95000 | #Constraints: 244168
433.62/434.76 c #Conflicts: 96000 | #Constraints: 245168
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 97000 | #Constraints: 239970
433.62/434.76 c #Conflicts: 98000 | #Constraints: 240970
433.62/434.76 c #Conflicts: 99000 | #Constraints: 241970
433.62/434.76 c #Conflicts: 100000 | #Constraints: 242970
433.62/434.76 c #Conflicts: 101000 | #Constraints: 243970
433.62/434.76 c #Conflicts: 102000 | #Constraints: 244970
433.62/434.76 c #Conflicts: 103000 | #Constraints: 245970
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 104000 | #Constraints: 240568
433.62/434.76 c #Conflicts: 105000 | #Constraints: 241568
433.62/434.76 c #Conflicts: 106000 | #Constraints: 242568
433.62/434.76 c #Conflicts: 107000 | #Constraints: 243568
433.62/434.76 c #Conflicts: 108000 | #Constraints: 244568
433.62/434.76 c #Conflicts: 109000 | #Constraints: 245568
433.62/434.76 c #Conflicts: 110000 | #Constraints: 246568
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 111000 | #Constraints: 240969
433.62/434.76 c #Conflicts: 112000 | #Constraints: 241969
433.62/434.76 c #Conflicts: 113000 | #Constraints: 242969
433.62/434.76 c #Conflicts: 114000 | #Constraints: 243969
433.62/434.76 c #Conflicts: 115000 | #Constraints: 244969
433.62/434.76 c #Conflicts: 116000 | #Constraints: 245969
433.62/434.76 c #Conflicts: 117000 | #Constraints: 246969
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 118000 | #Constraints: 241169
433.62/434.76 c #Conflicts: 119000 | #Constraints: 242169
433.62/434.76 c #Conflicts: 120000 | #Constraints: 243169
433.62/434.76 c #Conflicts: 121000 | #Constraints: 244169
433.62/434.76 c #Conflicts: 122000 | #Constraints: 245169
433.62/434.76 c #Conflicts: 123000 | #Constraints: 246169
433.62/434.76 c #Conflicts: 124000 | #Constraints: 247169
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 125000 | #Constraints: 241170
433.62/434.76 c #Conflicts: 126000 | #Constraints: 242170
433.62/434.76 c #Conflicts: 127000 | #Constraints: 243170
433.62/434.76 c #Conflicts: 128000 | #Constraints: 244170
433.62/434.76 c #Conflicts: 129000 | #Constraints: 245170
433.62/434.76 c #Conflicts: 130000 | #Constraints: 246170
433.62/434.76 c #Conflicts: 131000 | #Constraints: 247170
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 132000 | #Constraints: 240970
433.62/434.76 c #Conflicts: 133000 | #Constraints: 241970
433.62/434.76 c #Conflicts: 134000 | #Constraints: 242970
433.62/434.76 c #Conflicts: 135000 | #Constraints: 243970
433.62/434.76 c #Conflicts: 136000 | #Constraints: 244970
433.62/434.76 c #Conflicts: 137000 | #Constraints: 245970
433.62/434.76 c #Conflicts: 138000 | #Constraints: 246970
433.62/434.76 c #Conflicts: 139000 | #Constraints: 247970
433.62/434.76 c INPROCESSING
433.62/434.76 c GARBAGE COLLECT
433.62/434.76 c #Conflicts: 140000 | #Constraints: 241573
698.58/700.36 c #Conflicts: 141000 | #Constraints: 242573
698.58/700.36 c #Conflicts: 142000 | #Constraints: 243573
698.58/700.36 c #Conflicts: 143000 | #Constraints: 244573
698.58/700.36 c #Conflicts: 144000 | #Constraints: 245573
698.58/700.36 c #Conflicts: 145000 | #Constraints: 246573
698.58/700.36 c #Conflicts: 146000 | #Constraints: 247573
698.58/700.36 c #Conflicts: 147000 | #Constraints: 248573
698.58/700.36 c INPROCESSING
698.58/700.36 c GARBAGE COLLECT
698.58/700.36 c #Conflicts: 148000 | #Constraints: 241973
698.58/700.36 c #Conflicts: 149000 | #Constraints: 242973
698.58/700.36 c #Conflicts: 150000 | #Constraints: 243973
698.58/700.36 c #Conflicts: 151000 | #Constraints: 244973
698.58/700.36 c #Conflicts: 152000 | #Constraints: 245973
698.58/700.36 c #Conflicts: 153000 | #Constraints: 246973
698.58/700.36 c #Conflicts: 154000 | #Constraints: 247973
698.58/700.36 c #Conflicts: 155000 | #Constraints: 248973
698.58/700.36 c INPROCESSING
698.58/700.36 c GARBAGE COLLECT
698.58/700.36 c #Conflicts: 156000 | #Constraints: 242171
698.58/700.36 c #Conflicts: 157000 | #Constraints: 243171
698.58/700.36 c #Conflicts: 158000 | #Constraints: 244171
698.58/700.36 c #Conflicts: 159000 | #Constraints: 245171
698.58/700.36 c #Conflicts: 160000 | #Constraints: 246171
698.58/700.36 c #Conflicts: 161000 | #Constraints: 247171
698.58/700.36 c #Conflicts: 162000 | #Constraints: 248171
698.58/700.36 c #Conflicts: 163000 | #Constraints: 249171
698.58/700.36 c INPROCESSING
698.58/700.36 c GARBAGE COLLECT
698.58/700.36 c #Conflicts: 164000 | #Constraints: 242171
698.58/700.36 c #Conflicts: 165000 | #Constraints: 243171
698.58/700.36 c #Conflicts: 166000 | #Constraints: 244171
698.58/700.36 c #Conflicts: 167000 | #Constraints: 245171
698.58/700.36 c #Conflicts: 168000 | #Constraints: 246171
698.58/700.36 c #Conflicts: 169000 | #Constraints: 247171
698.58/700.36 c #Conflicts: 170000 | #Constraints: 248171
698.58/700.36 c #Conflicts: 171000 | #Constraints: 249171
698.58/700.36 c INPROCESSING
698.58/700.36 c GARBAGE COLLECT
698.58/700.36 c #Conflicts: 172000 | #Constraints: 241971
698.58/700.36 c #Conflicts: 173000 | #Constraints: 242971
698.58/700.36 c #Conflicts: 174000 | #Constraints: 243971
698.58/700.36 c #Conflicts: 175000 | #Constraints: 244971
698.58/700.36 c #Conflicts: 176000 | #Constraints: 245971
698.58/700.36 c #Conflicts: 177000 | #Constraints: 246971
698.58/700.36 c #Conflicts: 178000 | #Constraints: 247971
698.58/700.36 c #Conflicts: 179000 | #Constraints: 248971
698.58/700.36 c #Conflicts: 180000 | #Constraints: 249971
698.58/700.36 c INPROCESSING
698.58/700.36 c GARBAGE COLLECT
698.58/700.36 c #Conflicts: 181000 | #Constraints: 242571
698.58/700.36 c #Conflicts: 182000 | #Constraints: 243571
698.58/700.36 c #Conflicts: 183000 | #Constraints: 244571
698.58/700.36 c #Conflicts: 184000 | #Constraints: 245571
698.58/700.36 c #Conflicts: 185000 | #Constraints: 246571
698.58/700.36 c #Conflicts: 186000 | #Constraints: 247571
698.58/700.36 c #Conflicts: 187000 | #Constraints: 248571
698.58/700.36 c #Conflicts: 188000 | #Constraints: 249571
698.58/700.36 c #Conflicts: 189000 | #Constraints: 250571
698.58/700.36 c INPROCESSING
698.58/700.36 c GARBAGE COLLECT
698.58/700.36 c #Conflicts: 190000 | #Constraints: 242974
698.58/700.36 c #Conflicts: 191000 | #Constraints: 243974
698.58/700.36 c #Conflicts: 192000 | #Constraints: 244974
698.58/700.36 c #Conflicts: 193000 | #Constraints: 245974
698.58/700.36 c #Conflicts: 194000 | #Constraints: 246974
698.58/700.36 c #Conflicts: 195000 | #Constraints: 247974
698.58/700.36 c #Conflicts: 196000 | #Constraints: 248974
698.58/700.36 c #Conflicts: 197000 | #Constraints: 249974
698.58/700.36 c #Conflicts: 198000 | #Constraints: 250974
698.58/700.36 c INPROCESSING
698.58/700.36 c GARBAGE COLLECT
698.58/700.36 c #Conflicts: 199000 | #Constraints: 243173
698.58/700.36 c #Conflicts: 200000 | #Constraints: 244173
698.58/700.36 c #Conflicts: 201000 | #Constraints: 245173
698.58/700.36 c #Conflicts: 202000 | #Constraints: 246173
698.58/700.36 c #Conflicts: 203000 | #Constraints: 247173
698.58/700.36 c #Conflicts: 204000 | #Constraints: 248173
698.58/700.36 c #Conflicts: 205000 | #Constraints: 249173
698.58/700.36 c #Conflicts: 206000 | #Constraints: 250173
698.58/700.36 c #Conflicts: 207000 | #Constraints: 251173
698.58/700.36 c INPROCESSING
698.58/700.36 c GARBAGE COLLECT
698.58/700.36 c #Conflicts: 208000 | #Constraints: 243172
698.58/700.36 c #Conflicts: 209000 | #Constraints: 244172
698.58/700.36 c #Conflicts: 210000 | #Constraints: 245172
698.58/700.36 c #Conflicts: 211000 | #Constraints: 246172
698.58/700.36 c #Conflicts: 212000 | #Constraints: 247172
698.58/700.36 c #Conflicts: 213000 | #Constraints: 248172
961.93/964.37 c #Conflicts: 214000 | #Constraints: 249172
961.93/964.37 c #Conflicts: 215000 | #Constraints: 250172
961.93/964.37 c #Conflicts: 216000 | #Constraints: 251172
961.93/964.37 c INPROCESSING
961.93/964.37 c GARBAGE COLLECT
961.93/964.37 c #Conflicts: 217000 | #Constraints: 242975
961.93/964.37 c #Conflicts: 218000 | #Constraints: 243975
961.93/964.37 c #Conflicts: 219000 | #Constraints: 244975
961.93/964.37 c #Conflicts: 220000 | #Constraints: 245975
961.93/964.37 c #Conflicts: 221000 | #Constraints: 246975
961.93/964.37 c #Conflicts: 222000 | #Constraints: 247975
961.93/964.37 c #Conflicts: 223000 | #Constraints: 248975
961.93/964.37 c #Conflicts: 224000 | #Constraints: 249975
961.93/964.37 c #Conflicts: 225000 | #Constraints: 250975
961.93/964.37 c #Conflicts: 226000 | #Constraints: 251975
961.93/964.37 c INPROCESSING
961.93/964.37 c GARBAGE COLLECT
961.93/964.37 c #Conflicts: 227000 | #Constraints: 243574
961.93/964.37 c #Conflicts: 228000 | #Constraints: 244574
961.93/964.37 c #Conflicts: 229000 | #Constraints: 245574
961.93/964.37 c #Conflicts: 230000 | #Constraints: 246574
961.93/964.37 c #Conflicts: 231000 | #Constraints: 247574
961.93/964.37 c #Conflicts: 232000 | #Constraints: 248574
961.93/964.37 c #Conflicts: 233000 | #Constraints: 249574
961.93/964.37 c #Conflicts: 234000 | #Constraints: 250574
961.93/964.37 c #Conflicts: 235000 | #Constraints: 251574
961.93/964.37 c #Conflicts: 236000 | #Constraints: 252574
961.93/964.37 c INPROCESSING
961.93/964.37 c GARBAGE COLLECT
961.93/964.37 c #Conflicts: 237000 | #Constraints: 243975
961.93/964.37 c #Conflicts: 238000 | #Constraints: 244975
961.93/964.37 c #Conflicts: 239000 | #Constraints: 245975
961.93/964.37 c #Conflicts: 240000 | #Constraints: 246975
961.93/964.37 c #Conflicts: 241000 | #Constraints: 247975
961.93/964.37 c #Conflicts: 242000 | #Constraints: 248975
961.93/964.37 c #Conflicts: 243000 | #Constraints: 249975
961.93/964.37 c #Conflicts: 244000 | #Constraints: 250975
961.93/964.37 c #Conflicts: 245000 | #Constraints: 251975
961.93/964.37 c #Conflicts: 246000 | #Constraints: 252975
961.93/964.37 c INPROCESSING
961.93/964.37 c GARBAGE COLLECT
961.93/964.37 c #Conflicts: 247000 | #Constraints: 244174
961.93/964.37 c #Conflicts: 248000 | #Constraints: 245174
961.93/964.37 c #Conflicts: 249000 | #Constraints: 246174
961.93/964.37 c #Conflicts: 250000 | #Constraints: 247174
961.93/964.37 c #Conflicts: 251000 | #Constraints: 248174
961.93/964.37 c #Conflicts: 252000 | #Constraints: 249174
961.93/964.37 c #Conflicts: 253000 | #Constraints: 250174
961.93/964.37 c #Conflicts: 254000 | #Constraints: 251174
961.93/964.37 c #Conflicts: 255000 | #Constraints: 252174
961.93/964.37 c #Conflicts: 256000 | #Constraints: 253174
961.93/964.37 c INPROCESSING
961.93/964.37 c GARBAGE COLLECT
961.93/964.37 c #Conflicts: 257000 | #Constraints: 244174
961.93/964.37 c #Conflicts: 258000 | #Constraints: 245174
961.93/964.37 c #Conflicts: 259000 | #Constraints: 246174
961.93/964.37 c #Conflicts: 260000 | #Constraints: 247174
961.93/964.37 c #Conflicts: 261000 | #Constraints: 248174
961.93/964.37 c #Conflicts: 262000 | #Constraints: 249174
961.93/964.37 c #Conflicts: 263000 | #Constraints: 250174
961.93/964.37 c #Conflicts: 264000 | #Constraints: 251174
961.93/964.37 c #Conflicts: 265000 | #Constraints: 252174
961.93/964.37 c #Conflicts: 266000 | #Constraints: 253174
961.93/964.37 c INPROCESSING
961.93/964.37 c GARBAGE COLLECT
961.93/964.37 c #Conflicts: 267000 | #Constraints: 243972
961.93/964.37 c #Conflicts: 268000 | #Constraints: 244972
961.93/964.37 c #Conflicts: 269000 | #Constraints: 245972
961.93/964.37 c #Conflicts: 270000 | #Constraints: 246972
961.93/964.37 c #Conflicts: 271000 | #Constraints: 247972
961.93/964.37 c #Conflicts: 272000 | #Constraints: 248972
961.93/964.37 c #Conflicts: 273000 | #Constraints: 249972
961.93/964.37 c #Conflicts: 274000 | #Constraints: 250972
961.93/964.37 c #Conflicts: 275000 | #Constraints: 251972
961.93/964.37 c #Conflicts: 276000 | #Constraints: 252972
961.93/964.37 c #Conflicts: 277000 | #Constraints: 253972
961.93/964.37 c INPROCESSING
961.93/964.37 c GARBAGE COLLECT
961.93/964.37 c #Conflicts: 278000 | #Constraints: 244572
961.93/964.37 c #Conflicts: 279000 | #Constraints: 245572
961.93/964.37 c #Conflicts: 280000 | #Constraints: 246572
961.93/964.37 c #Conflicts: 281000 | #Constraints: 247572
961.93/964.37 c #Conflicts: 282000 | #Constraints: 248572
961.93/964.37 c #Conflicts: 283000 | #Constraints: 249572
961.93/964.37 c #Conflicts: 284000 | #Constraints: 250572
961.93/964.37 c #Conflicts: 285000 | #Constraints: 251572
961.93/964.37 c #Conflicts: 286000 | #Constraints: 252572
961.93/964.37 c #Conflicts: 287000 | #Constraints: 253572
961.93/964.37 c #Conflicts: 288000 | #Constraints: 254572
1223.47/1226.58 c INPROCESSING
1223.47/1226.58 c GARBAGE COLLECT
1223.47/1226.58 c #Conflicts: 289000 | #Constraints: 244971
1223.47/1226.58 c #Conflicts: 290000 | #Constraints: 245971
1223.47/1226.58 c #Conflicts: 291000 | #Constraints: 246971
1223.47/1226.58 c #Conflicts: 292000 | #Constraints: 247971
1223.47/1226.58 c #Conflicts: 293000 | #Constraints: 248971
1223.47/1226.58 c #Conflicts: 294000 | #Constraints: 249971
1223.47/1226.58 c #Conflicts: 295000 | #Constraints: 250971
1223.47/1226.58 c #Conflicts: 296000 | #Constraints: 251971
1223.47/1226.58 c #Conflicts: 297000 | #Constraints: 252971
1223.47/1226.58 c #Conflicts: 298000 | #Constraints: 253971
1223.47/1226.58 c #Conflicts: 299000 | #Constraints: 254971
1223.47/1226.58 c INPROCESSING
1223.47/1226.58 c GARBAGE COLLECT
1223.47/1226.58 c #Conflicts: 300000 | #Constraints: 245172
1223.47/1226.58 c #Conflicts: 301000 | #Constraints: 246172
1223.47/1226.58 c #Conflicts: 302000 | #Constraints: 247172
1223.47/1226.58 c #Conflicts: 303000 | #Constraints: 248172
1223.47/1226.58 c #Conflicts: 304000 | #Constraints: 249172
1223.47/1226.58 c #Conflicts: 305000 | #Constraints: 250172
1223.47/1226.58 c #Conflicts: 306000 | #Constraints: 251172
1223.47/1226.58 c #Conflicts: 307000 | #Constraints: 252172
1223.47/1226.58 c #Conflicts: 308000 | #Constraints: 253172
1223.47/1226.58 c #Conflicts: 309000 | #Constraints: 254172
1223.47/1226.58 c #Conflicts: 310000 | #Constraints: 255172
1223.47/1226.58 c INPROCESSING
1223.47/1226.58 c GARBAGE COLLECT
1223.47/1226.58 c #Conflicts: 311000 | #Constraints: 245172
1223.47/1226.58 c #Conflicts: 312000 | #Constraints: 246172
1223.47/1226.58 c #Conflicts: 313000 | #Constraints: 247172
1223.47/1226.58 c #Conflicts: 314000 | #Constraints: 248172
1223.47/1226.58 c #Conflicts: 315000 | #Constraints: 249172
1223.47/1226.58 c #Conflicts: 316000 | #Constraints: 250172
1223.47/1226.58 c #Conflicts: 317000 | #Constraints: 251172
1223.47/1226.58 c #Conflicts: 318000 | #Constraints: 252172
1223.47/1226.58 c #Conflicts: 319000 | #Constraints: 253172
1223.47/1226.58 c #Conflicts: 320000 | #Constraints: 254172
1223.47/1226.58 c #Conflicts: 321000 | #Constraints: 255172
1223.47/1226.58 c INPROCESSING
1223.47/1226.58 c GARBAGE COLLECT
1223.47/1226.58 c #Conflicts: 322000 | #Constraints: 244972
1223.47/1226.58 c #Conflicts: 323000 | #Constraints: 245972
1223.47/1226.58 c #Conflicts: 324000 | #Constraints: 246972
1223.47/1226.58 c #Conflicts: 325000 | #Constraints: 247972
1223.47/1226.58 c #Conflicts: 326000 | #Constraints: 248972
1223.47/1226.58 c #Conflicts: 327000 | #Constraints: 249972
1223.47/1226.58 c #Conflicts: 328000 | #Constraints: 250972
1223.47/1226.58 c #Conflicts: 329000 | #Constraints: 251972
1223.47/1226.58 c #Conflicts: 330000 | #Constraints: 252972
1223.47/1226.58 c #Conflicts: 331000 | #Constraints: 253972
1223.47/1226.58 c #Conflicts: 332000 | #Constraints: 254972
1223.47/1226.58 c #Conflicts: 333000 | #Constraints: 255972
1223.47/1226.58 c INPROCESSING
1223.47/1226.58 c GARBAGE COLLECT
1223.47/1226.58 c #Conflicts: 334000 | #Constraints: 245572
1223.47/1226.58 c #Conflicts: 335000 | #Constraints: 246572
1223.47/1226.58 c #Conflicts: 336000 | #Constraints: 247572
1223.47/1226.58 c #Conflicts: 337000 | #Constraints: 248572
1223.47/1226.58 c #Conflicts: 338000 | #Constraints: 249572
1223.47/1226.58 c #Conflicts: 339000 | #Constraints: 250572
1223.47/1226.58 c #Conflicts: 340000 | #Constraints: 251572
1223.47/1226.58 c #Conflicts: 341000 | #Constraints: 252572
1223.47/1226.58 c #Conflicts: 342000 | #Constraints: 253572
1223.47/1226.58 c #Conflicts: 343000 | #Constraints: 254572
1223.47/1226.58 c #Conflicts: 344000 | #Constraints: 255572
1223.47/1226.58 c #Conflicts: 345000 | #Constraints: 256572
1223.47/1226.58 c INPROCESSING
1223.47/1226.58 c GARBAGE COLLECT
1223.47/1226.58 c #Conflicts: 346000 | #Constraints: 245970
1223.47/1226.58 c #Conflicts: 347000 | #Constraints: 246970
1223.47/1226.58 c #Conflicts: 348000 | #Constraints: 247970
1223.47/1226.58 c #Conflicts: 349000 | #Constraints: 248970
1223.47/1226.58 c #Conflicts: 350000 | #Constraints: 249970
1223.47/1226.58 c #Conflicts: 351000 | #Constraints: 250970
1223.47/1226.58 c #Conflicts: 352000 | #Constraints: 251970
1223.47/1226.58 c #Conflicts: 353000 | #Constraints: 252970
1223.47/1226.58 c #Conflicts: 354000 | #Constraints: 253970
1223.47/1226.58 c #Conflicts: 355000 | #Constraints: 254970
1223.47/1226.58 c #Conflicts: 356000 | #Constraints: 255970
1223.47/1226.58 c #Conflicts: 357000 | #Constraints: 256970
1223.47/1226.58 c INPROCESSING
1223.47/1226.58 c GARBAGE COLLECT
1223.47/1226.58 c #Conflicts: 358000 | #Constraints: 246170
1223.47/1226.58 c #Conflicts: 359000 | #Constraints: 247170
1223.47/1226.58 c #Conflicts: 360000 | #Constraints: 248170
1223.47/1226.58 c #Conflicts: 361000 | #Constraints: 249170
1223.47/1226.58 c #Conflicts: 362000 | #Constraints: 250170
1491.10/1494.87 c #Conflicts: 363000 | #Constraints: 251170
1491.10/1494.87 c #Conflicts: 364000 | #Constraints: 252170
1491.10/1494.87 c #Conflicts: 365000 | #Constraints: 253170
1491.10/1494.87 c #Conflicts: 366000 | #Constraints: 254170
1491.10/1494.87 c #Conflicts: 367000 | #Constraints: 255170
1491.10/1494.87 c #Conflicts: 368000 | #Constraints: 256170
1491.10/1494.87 c #Conflicts: 369000 | #Constraints: 257170
1491.10/1494.87 c INPROCESSING
1491.10/1494.87 c GARBAGE COLLECT
1491.10/1494.87 c #Conflicts: 370000 | #Constraints: 246172
1491.10/1494.87 c #Conflicts: 371000 | #Constraints: 247172
1491.10/1494.87 c #Conflicts: 372000 | #Constraints: 248172
1491.10/1494.87 c #Conflicts: 373000 | #Constraints: 249172
1491.10/1494.87 c #Conflicts: 374000 | #Constraints: 250172
1491.10/1494.87 c #Conflicts: 375000 | #Constraints: 251172
1491.10/1494.87 c #Conflicts: 376000 | #Constraints: 252172
1491.10/1494.87 c #Conflicts: 377000 | #Constraints: 253172
1491.10/1494.87 c #Conflicts: 378000 | #Constraints: 254172
1491.10/1494.87 c #Conflicts: 379000 | #Constraints: 255172
1491.10/1494.87 c #Conflicts: 380000 | #Constraints: 256172
1491.10/1494.87 c #Conflicts: 381000 | #Constraints: 257172
1491.10/1494.87 c INPROCESSING
1491.10/1494.87 c GARBAGE COLLECT
1491.10/1494.87 c #Conflicts: 382000 | #Constraints: 245974
1491.10/1494.87 c #Conflicts: 383000 | #Constraints: 246974
1491.10/1494.87 c #Conflicts: 384000 | #Constraints: 247974
1491.10/1494.87 c #Conflicts: 385000 | #Constraints: 248974
1491.10/1494.87 c #Conflicts: 386000 | #Constraints: 249974
1491.10/1494.87 c #Conflicts: 387000 | #Constraints: 250974
1491.10/1494.87 c #Conflicts: 388000 | #Constraints: 251974
1491.10/1494.87 c #Conflicts: 389000 | #Constraints: 252974
1491.10/1494.87 c #Conflicts: 390000 | #Constraints: 253974
1491.10/1494.87 c #Conflicts: 391000 | #Constraints: 254974
1491.10/1494.87 c #Conflicts: 392000 | #Constraints: 255974
1491.10/1494.87 c #Conflicts: 393000 | #Constraints: 256974
1491.10/1494.87 c #Conflicts: 394000 | #Constraints: 257974
1491.10/1494.87 c INPROCESSING
1491.10/1494.87 c GARBAGE COLLECT
1491.10/1494.87 c #Conflicts: 395000 | #Constraints: 246575
1491.10/1494.87 c #Conflicts: 396000 | #Constraints: 247575
1491.10/1494.87 c #Conflicts: 397000 | #Constraints: 248575
1491.10/1494.87 c #Conflicts: 398000 | #Constraints: 249575
1491.10/1494.87 c #Conflicts: 399000 | #Constraints: 250575
1491.10/1494.87 c #Conflicts: 400000 | #Constraints: 251575
1491.10/1494.87 c #Conflicts: 401000 | #Constraints: 252575
1491.10/1494.87 c #Conflicts: 402000 | #Constraints: 253575
1491.10/1494.87 c #Conflicts: 403000 | #Constraints: 254575
1491.10/1494.87 c #Conflicts: 404000 | #Constraints: 255575
1491.10/1494.87 c #Conflicts: 405000 | #Constraints: 256575
1491.10/1494.87 c #Conflicts: 406000 | #Constraints: 257575
1491.10/1494.87 c #Conflicts: 407000 | #Constraints: 258575
1491.10/1494.87 c INPROCESSING
1491.10/1494.87 c GARBAGE COLLECT
1491.10/1494.87 c #Conflicts: 408000 | #Constraints: 246979
1491.10/1494.87 c #Conflicts: 409000 | #Constraints: 247979
1491.10/1494.87 c #Conflicts: 410000 | #Constraints: 248979
1491.10/1494.87 c #Conflicts: 411000 | #Constraints: 249979
1491.10/1494.87 c #Conflicts: 412000 | #Constraints: 250979
1491.10/1494.87 c #Conflicts: 413000 | #Constraints: 251979
1491.10/1494.87 c #Conflicts: 414000 | #Constraints: 252979
1491.10/1494.87 c #Conflicts: 415000 | #Constraints: 253979
1491.10/1494.87 c #Conflicts: 416000 | #Constraints: 254979
1491.10/1494.87 c #Conflicts: 417000 | #Constraints: 255979
1491.10/1494.87 c #Conflicts: 418000 | #Constraints: 256979
1491.10/1494.87 c #Conflicts: 419000 | #Constraints: 257979
1491.10/1494.87 c #Conflicts: 420000 | #Constraints: 258979
1491.10/1494.87 c INPROCESSING
1491.10/1494.87 c GARBAGE COLLECT
1491.10/1494.87 c #Conflicts: 421000 | #Constraints: 247178
1491.10/1494.87 c #Conflicts: 422000 | #Constraints: 248178
1491.10/1494.87 c #Conflicts: 423000 | #Constraints: 249178
1491.10/1494.87 c #Conflicts: 424000 | #Constraints: 250178
1491.10/1494.87 c #Conflicts: 425000 | #Constraints: 251178
1491.10/1494.87 c #Conflicts: 426000 | #Constraints: 252178
1491.10/1494.87 c #Conflicts: 427000 | #Constraints: 253178
1491.10/1494.87 c #Conflicts: 428000 | #Constraints: 254178
1491.10/1494.87 c #Conflicts: 429000 | #Constraints: 255178
1491.10/1494.87 c #Conflicts: 430000 | #Constraints: 256178
1491.10/1494.87 c #Conflicts: 431000 | #Constraints: 257178
1491.10/1494.87 c #Conflicts: 432000 | #Constraints: 258178
1491.10/1494.87 c #Conflicts: 433000 | #Constraints: 259178
1491.10/1494.87 c INPROCESSING
1491.10/1494.87 c GARBAGE COLLECT
1491.10/1494.87 c #Conflicts: 434000 | #Constraints: 247178
1491.10/1494.87 c #Conflicts: 435000 | #Constraints: 248178
1491.10/1494.87 c #Conflicts: 436000 | #Constraints: 249178
1491.10/1494.87 c #Conflicts: 437000 | #Constraints: 250178
1728.50/1732.82 c #Conflicts: 438000 | #Constraints: 251178
1728.50/1732.82 c #Conflicts: 439000 | #Constraints: 252178
1728.50/1732.82 c #Conflicts: 440000 | #Constraints: 253178
1728.50/1732.82 c #Conflicts: 441000 | #Constraints: 254178
1728.50/1732.82 c #Conflicts: 442000 | #Constraints: 255178
1728.50/1732.82 c #Conflicts: 443000 | #Constraints: 256178
1728.50/1732.82 c #Conflicts: 444000 | #Constraints: 257178
1728.50/1732.82 c #Conflicts: 445000 | #Constraints: 258178
1728.50/1732.82 c #Conflicts: 446000 | #Constraints: 259178
1728.50/1732.82 c INPROCESSING
1728.50/1732.82 c GARBAGE COLLECT
1728.50/1732.82 c #Conflicts: 447000 | #Constraints: 246978
1728.50/1732.82 c #Conflicts: 448000 | #Constraints: 247978
1728.50/1732.82 c #Conflicts: 449000 | #Constraints: 248978
1728.50/1732.82 c #Conflicts: 450000 | #Constraints: 249978
1728.50/1732.82 c #Conflicts: 451000 | #Constraints: 250978
1728.50/1732.82 c #Conflicts: 452000 | #Constraints: 251978
1728.50/1732.82 c #Conflicts: 453000 | #Constraints: 252978
1728.50/1732.82 c #Conflicts: 454000 | #Constraints: 253978
1728.50/1732.82 c #Conflicts: 455000 | #Constraints: 254978
1728.50/1732.82 c #Conflicts: 456000 | #Constraints: 255978
1728.50/1732.82 c #Conflicts: 457000 | #Constraints: 256978
1728.50/1732.82 c #Conflicts: 458000 | #Constraints: 257978
1728.50/1732.82 c #Conflicts: 459000 | #Constraints: 258978
1728.50/1732.82 c #Conflicts: 460000 | #Constraints: 259978
1728.50/1732.82 c INPROCESSING
1728.50/1732.82 c GARBAGE COLLECT
1728.50/1732.82 c #Conflicts: 461000 | #Constraints: 247575
1728.50/1732.82 c #Conflicts: 462000 | #Constraints: 248575
1728.50/1732.82 c #Conflicts: 463000 | #Constraints: 249575
1728.50/1732.82 c #Conflicts: 464000 | #Constraints: 250575
1728.50/1732.82 c #Conflicts: 465000 | #Constraints: 251575
1728.50/1732.82 c #Conflicts: 466000 | #Constraints: 252575
1728.50/1732.82 c #Conflicts: 467000 | #Constraints: 253575
1728.50/1732.82 c #Conflicts: 468000 | #Constraints: 254575
1728.50/1732.82 c #Conflicts: 469000 | #Constraints: 255575
1728.50/1732.82 c #Conflicts: 470000 | #Constraints: 256575
1728.50/1732.82 c #Conflicts: 471000 | #Constraints: 257575
1728.50/1732.82 c #Conflicts: 472000 | #Constraints: 258575
1728.50/1732.82 c #Conflicts: 473000 | #Constraints: 259575
1728.50/1732.82 c #Conflicts: 474000 | #Constraints: 260575
1728.50/1732.82 c INPROCESSING
1728.50/1732.82 c GARBAGE COLLECT
1728.50/1732.82 c #Conflicts: 475000 | #Constraints: 247973
1728.50/1732.82 c #Conflicts: 476000 | #Constraints: 248973
1728.50/1732.82 c #Conflicts: 477000 | #Constraints: 249973
1728.50/1732.82 c #Conflicts: 478000 | #Constraints: 250973
1728.50/1732.82 c #Conflicts: 479000 | #Constraints: 251973
1728.50/1732.82 c #Conflicts: 480000 | #Constraints: 252973
1728.50/1732.82 c #Conflicts: 481000 | #Constraints: 253973
1728.50/1732.82 c #Conflicts: 482000 | #Constraints: 254973
1728.50/1732.82 c #Conflicts: 483000 | #Constraints: 255973
1728.50/1732.82 c #Conflicts: 484000 | #Constraints: 256973
1728.50/1732.82 c #Conflicts: 485000 | #Constraints: 257973
1728.50/1732.82 c #Conflicts: 486000 | #Constraints: 258973
1728.50/1732.82 c #Conflicts: 487000 | #Constraints: 259973
1728.50/1732.82 c #Conflicts: 488000 | #Constraints: 260973
1728.50/1732.82 c INPROCESSING
1728.50/1732.82 c GARBAGE COLLECT
1728.50/1732.82 c #Conflicts: 489000 | #Constraints: 248174
1728.50/1732.82 c #Conflicts: 490000 | #Constraints: 249174
1728.50/1732.82 c #Conflicts: 491000 | #Constraints: 250174
1728.50/1732.82 c #Conflicts: 492000 | #Constraints: 251174
1728.50/1732.82 c #Conflicts: 493000 | #Constraints: 252174
1728.50/1732.82 c #Conflicts: 494000 | #Constraints: 253174
1728.50/1732.82 c #Conflicts: 495000 | #Constraints: 254174
1728.50/1732.82 c #Conflicts: 496000 | #Constraints: 255174
1728.50/1732.82 c #Conflicts: 497000 | #Constraints: 256174
1728.50/1732.82 c #Conflicts: 498000 | #Constraints: 257174
1728.50/1732.82 c #Conflicts: 499000 | #Constraints: 258174
1728.50/1732.82 c #Conflicts: 500000 | #Constraints: 259174
1728.50/1732.82 c #Conflicts: 501000 | #Constraints: 260174
1728.50/1732.82 c #Conflicts: 502000 | #Constraints: 261174
1728.50/1732.82 c INPROCESSING
1728.50/1732.82 c GARBAGE COLLECT
1728.50/1732.82 c #Conflicts: 503000 | #Constraints: 248179
1728.50/1732.82 c #Conflicts: 504000 | #Constraints: 249179
1728.50/1732.82 c #Conflicts: 505000 | #Constraints: 250179
1728.50/1732.82 c #Conflicts: 506000 | #Constraints: 251179
1728.50/1732.82 c #Conflicts: 507000 | #Constraints: 252179
1728.50/1732.82 c #Conflicts: 508000 | #Constraints: 253179
1728.50/1732.82 c #Conflicts: 509000 | #Constraints: 254179
1728.50/1732.82 c #Conflicts: 510000 | #Constraints: 255179
1728.50/1732.82 c #Conflicts: 511000 | #Constraints: 256179
1728.50/1732.82 c #Conflicts: 512000 | #Constraints: 257179
1728.50/1732.82 c #Conflicts: 513000 | #Constraints: 258179
1957.72/1962.65 c #Conflicts: 514000 | #Constraints: 259179
1957.72/1962.65 c #Conflicts: 515000 | #Constraints: 260179
1957.72/1962.65 c #Conflicts: 516000 | #Constraints: 261179
1957.72/1962.65 c INPROCESSING
1957.72/1962.65 c GARBAGE COLLECT
1957.72/1962.65 c #Conflicts: 517000 | #Constraints: 247976
1957.72/1962.65 c #Conflicts: 518000 | #Constraints: 248976
1957.72/1962.65 c #Conflicts: 519000 | #Constraints: 249976
1957.72/1962.65 c #Conflicts: 520000 | #Constraints: 250976
1957.72/1962.65 c #Conflicts: 521000 | #Constraints: 251976
1957.72/1962.65 c #Conflicts: 522000 | #Constraints: 252976
1957.72/1962.65 c #Conflicts: 523000 | #Constraints: 253976
1957.72/1962.65 c #Conflicts: 524000 | #Constraints: 254976
1957.72/1962.65 c #Conflicts: 525000 | #Constraints: 255976
1957.72/1962.65 c #Conflicts: 526000 | #Constraints: 256976
1957.72/1962.65 c #Conflicts: 527000 | #Constraints: 257976
1957.72/1962.65 c #Conflicts: 528000 | #Constraints: 258976
1957.72/1962.65 c #Conflicts: 529000 | #Constraints: 259976
1957.72/1962.65 c #Conflicts: 530000 | #Constraints: 260976
1957.72/1962.65 c #Conflicts: 531000 | #Constraints: 261976
1957.72/1962.65 c INPROCESSING
1957.72/1962.65 c GARBAGE COLLECT
1957.72/1962.65 c #Conflicts: 532000 | #Constraints: 248576
1957.72/1962.65 c #Conflicts: 533000 | #Constraints: 249576
1957.72/1962.65 c #Conflicts: 534000 | #Constraints: 250576
1957.72/1962.65 c #Conflicts: 535000 | #Constraints: 251576
1957.72/1962.65 c #Conflicts: 536000 | #Constraints: 252576
1957.72/1962.65 c #Conflicts: 537000 | #Constraints: 253576
1957.72/1962.65 c #Conflicts: 538000 | #Constraints: 254576
1957.72/1962.65 c #Conflicts: 539000 | #Constraints: 255576
1957.72/1962.65 c #Conflicts: 540000 | #Constraints: 256576
1957.72/1962.65 c #Conflicts: 541000 | #Constraints: 257576
1957.72/1962.65 c #Conflicts: 542000 | #Constraints: 258576
1957.72/1962.65 c #Conflicts: 543000 | #Constraints: 259576
1957.72/1962.65 c #Conflicts: 544000 | #Constraints: 260576
1957.72/1962.65 c #Conflicts: 545000 | #Constraints: 261576
1957.72/1962.65 c #Conflicts: 546000 | #Constraints: 262576
1957.72/1962.65 c INPROCESSING
1957.72/1962.65 c GARBAGE COLLECT
1957.72/1962.65 c #Conflicts: 547000 | #Constraints: 248975
1957.72/1962.65 c #Conflicts: 548000 | #Constraints: 249975
1957.72/1962.65 c #Conflicts: 549000 | #Constraints: 250975
1957.72/1962.65 c #Conflicts: 550000 | #Constraints: 251975
1957.72/1962.65 c #Conflicts: 551000 | #Constraints: 252975
1957.72/1962.65 c #Conflicts: 552000 | #Constraints: 253975
1957.72/1962.65 c #Conflicts: 553000 | #Constraints: 254975
1957.72/1962.65 c #Conflicts: 554000 | #Constraints: 255975
1957.72/1962.65 c #Conflicts: 555000 | #Constraints: 256975
1957.72/1962.65 c #Conflicts: 556000 | #Constraints: 257975
1957.72/1962.65 c #Conflicts: 557000 | #Constraints: 258975
1957.72/1962.65 c #Conflicts: 558000 | #Constraints: 259975
1957.72/1962.65 c #Conflicts: 559000 | #Constraints: 260975
1957.72/1962.65 c #Conflicts: 560000 | #Constraints: 261975
1957.72/1962.65 c #Conflicts: 561000 | #Constraints: 262975
1957.72/1962.65 c INPROCESSING
1957.72/1962.65 c GARBAGE COLLECT
1957.72/1962.65 c #Conflicts: 562000 | #Constraints: 249177
1957.72/1962.65 c #Conflicts: 563000 | #Constraints: 250177
1957.72/1962.65 c #Conflicts: 564000 | #Constraints: 251177
1957.72/1962.65 c #Conflicts: 565000 | #Constraints: 252177
1957.72/1962.65 c #Conflicts: 566000 | #Constraints: 253177
1957.72/1962.65 c #Conflicts: 567000 | #Constraints: 254177
1957.72/1962.65 c #Conflicts: 568000 | #Constraints: 255177
1957.72/1962.65 c #Conflicts: 569000 | #Constraints: 256177
1957.72/1962.65 c #Conflicts: 570000 | #Constraints: 257177
1957.72/1962.65 c #Conflicts: 571000 | #Constraints: 258177
1957.72/1962.65 c #Conflicts: 572000 | #Constraints: 259177
1957.72/1962.65 c #Conflicts: 573000 | #Constraints: 260177
1957.72/1962.65 c #Conflicts: 574000 | #Constraints: 261177
1957.72/1962.65 c #Conflicts: 575000 | #Constraints: 262177
1957.72/1962.65 c #Conflicts: 576000 | #Constraints: 263177
1957.72/1962.65 c INPROCESSING
1957.72/1962.65 c GARBAGE COLLECT
1957.72/1962.65 c #Conflicts: 577000 | #Constraints: 249177
1957.72/1962.65 c #Conflicts: 578000 | #Constraints: 250177
1957.72/1962.65 c #Conflicts: 579000 | #Constraints: 251177
1957.72/1962.65 c #Conflicts: 580000 | #Constraints: 252177
1957.72/1962.65 c #Conflicts: 581000 | #Constraints: 253177
1957.72/1962.65 c #Conflicts: 582000 | #Constraints: 254177
1957.72/1962.65 c #Conflicts: 583000 | #Constraints: 255177
1957.72/1962.65 c #Conflicts: 584000 | #Constraints: 256177
1957.72/1962.65 c #Conflicts: 585000 | #Constraints: 257177
1957.72/1962.65 c #Conflicts: 586000 | #Constraints: 258177
1957.72/1962.65 c #Conflicts: 587000 | #Constraints: 259177
1957.72/1962.65 c #Conflicts: 588000 | #Constraints: 260177
2179.84/2185.34 c #Conflicts: 589000 | #Constraints: 261177
2179.84/2185.34 c #Conflicts: 590000 | #Constraints: 262177
2179.84/2185.34 c #Conflicts: 591000 | #Constraints: 263177
2179.84/2185.34 c INPROCESSING
2179.84/2185.34 c GARBAGE COLLECT
2179.84/2185.34 c #Conflicts: 592000 | #Constraints: 248974
2179.84/2185.34 c #Conflicts: 593000 | #Constraints: 249974
2179.84/2185.34 c #Conflicts: 594000 | #Constraints: 250974
2179.84/2185.34 c #Conflicts: 595000 | #Constraints: 251974
2179.84/2185.34 c #Conflicts: 596000 | #Constraints: 252974
2179.84/2185.34 c #Conflicts: 597000 | #Constraints: 253974
2179.84/2185.34 c #Conflicts: 598000 | #Constraints: 254974
2179.84/2185.34 c #Conflicts: 599000 | #Constraints: 255974
2179.84/2185.34 c #Conflicts: 600000 | #Constraints: 256974
2179.84/2185.34 c #Conflicts: 601000 | #Constraints: 257974
2179.84/2185.34 c #Conflicts: 602000 | #Constraints: 258974
2179.84/2185.34 c #Conflicts: 603000 | #Constraints: 259974
2179.84/2185.34 c #Conflicts: 604000 | #Constraints: 260974
2179.84/2185.34 c #Conflicts: 605000 | #Constraints: 261974
2179.84/2185.34 c #Conflicts: 606000 | #Constraints: 262974
2179.84/2185.34 c #Conflicts: 607000 | #Constraints: 263974
2179.84/2185.34 c INPROCESSING
2179.84/2185.34 c GARBAGE COLLECT
2179.84/2185.34 c #Conflicts: 608000 | #Constraints: 249572
2179.84/2185.34 c #Conflicts: 609000 | #Constraints: 250572
2179.84/2185.34 c #Conflicts: 610000 | #Constraints: 251572
2179.84/2185.34 c #Conflicts: 611000 | #Constraints: 252572
2179.84/2185.34 c #Conflicts: 612000 | #Constraints: 253572
2179.84/2185.34 c #Conflicts: 613000 | #Constraints: 254572
2179.84/2185.34 c #Conflicts: 614000 | #Constraints: 255572
2179.84/2185.34 c #Conflicts: 615000 | #Constraints: 256572
2179.84/2185.34 c #Conflicts: 616000 | #Constraints: 257572
2179.84/2185.34 c #Conflicts: 617000 | #Constraints: 258572
2179.84/2185.34 c #Conflicts: 618000 | #Constraints: 259572
2179.84/2185.34 c #Conflicts: 619000 | #Constraints: 260572
2179.84/2185.34 c #Conflicts: 620000 | #Constraints: 261572
2179.84/2185.34 c #Conflicts: 621000 | #Constraints: 262572
2179.84/2185.34 c #Conflicts: 622000 | #Constraints: 263572
2179.84/2185.34 c #Conflicts: 623000 | #Constraints: 264572
2179.84/2185.34 c INPROCESSING
2179.84/2185.34 c GARBAGE COLLECT
2179.84/2185.34 c #Conflicts: 624000 | #Constraints: 249976
2179.84/2185.34 c #Conflicts: 625000 | #Constraints: 250976
2179.84/2185.34 c #Conflicts: 626000 | #Constraints: 251976
2179.84/2185.34 c #Conflicts: 627000 | #Constraints: 252976
2179.84/2185.34 c #Conflicts: 628000 | #Constraints: 253976
2179.84/2185.34 c #Conflicts: 629000 | #Constraints: 254976
2179.84/2185.34 c #Conflicts: 630000 | #Constraints: 255976
2179.84/2185.34 c #Conflicts: 631000 | #Constraints: 256976
2179.84/2185.34 c #Conflicts: 632000 | #Constraints: 257976
2179.84/2185.34 c #Conflicts: 633000 | #Constraints: 258976
2179.84/2185.34 c #Conflicts: 634000 | #Constraints: 259976
2179.84/2185.34 c #Conflicts: 635000 | #Constraints: 260976
2179.84/2185.34 c #Conflicts: 636000 | #Constraints: 261976
2179.84/2185.34 c #Conflicts: 637000 | #Constraints: 262976
2179.84/2185.34 c #Conflicts: 638000 | #Constraints: 263976
2179.84/2185.34 c #Conflicts: 639000 | #Constraints: 264976
2179.84/2185.34 c INPROCESSING
2179.84/2185.34 c GARBAGE COLLECT
2179.84/2185.34 c #Conflicts: 640000 | #Constraints: 250175
2179.84/2185.34 c #Conflicts: 641000 | #Constraints: 251175
2179.84/2185.34 c #Conflicts: 642000 | #Constraints: 252175
2179.84/2185.34 c #Conflicts: 643000 | #Constraints: 253175
2179.84/2185.34 c #Conflicts: 644000 | #Constraints: 254175
2179.84/2185.34 c #Conflicts: 645000 | #Constraints: 255175
2179.84/2185.34 c #Conflicts: 646000 | #Constraints: 256175
2179.84/2185.34 c #Conflicts: 647000 | #Constraints: 257175
2179.84/2185.34 c #Conflicts: 648000 | #Constraints: 258175
2179.84/2185.34 c #Conflicts: 649000 | #Constraints: 259175
2179.84/2185.34 c #Conflicts: 650000 | #Constraints: 260175
2179.84/2185.34 c #Conflicts: 651000 | #Constraints: 261175
2179.84/2185.34 c #Conflicts: 652000 | #Constraints: 262175
2179.84/2185.34 c #Conflicts: 653000 | #Constraints: 263175
2179.84/2185.34 c #Conflicts: 654000 | #Constraints: 264175
2179.84/2185.34 c #Conflicts: 655000 | #Constraints: 265175
2179.84/2185.34 c INPROCESSING
2179.84/2185.34 c GARBAGE COLLECT
2179.84/2185.34 c #Conflicts: 656000 | #Constraints: 250175
2179.84/2185.34 c #Conflicts: 657000 | #Constraints: 251175
2179.84/2185.34 c #Conflicts: 658000 | #Constraints: 252175
2179.84/2185.34 c #Conflicts: 659000 | #Constraints: 253175
2179.84/2185.34 c #Conflicts: 660000 | #Constraints: 254175
2179.84/2185.34 c #Conflicts: 661000 | #Constraints: 255175
2179.84/2185.34 c #Conflicts: 662000 | #Constraints: 256175
2179.84/2185.34 c #Conflicts: 663000 | #Constraints: 257175
2179.84/2185.34 c #Conflicts: 664000 | #Constraints: 258175
2424.66/2430.86 c #Conflicts: 665000 | #Constraints: 259175
2424.66/2430.86 c #Conflicts: 666000 | #Constraints: 260175
2424.66/2430.86 c #Conflicts: 667000 | #Constraints: 261175
2424.66/2430.86 c #Conflicts: 668000 | #Constraints: 262175
2424.66/2430.86 c #Conflicts: 669000 | #Constraints: 263175
2424.66/2430.86 c #Conflicts: 670000 | #Constraints: 264175
2424.66/2430.86 c #Conflicts: 671000 | #Constraints: 265175
2424.66/2430.86 c INPROCESSING
2424.66/2430.86 c GARBAGE COLLECT
2424.66/2430.86 c #Conflicts: 672000 | #Constraints: 249975
2424.66/2430.86 c #Conflicts: 673000 | #Constraints: 250975
2424.66/2430.86 c #Conflicts: 674000 | #Constraints: 251975
2424.66/2430.86 c #Conflicts: 675000 | #Constraints: 252975
2424.66/2430.86 c #Conflicts: 676000 | #Constraints: 253975
2424.66/2430.86 c #Conflicts: 677000 | #Constraints: 254975
2424.66/2430.86 c #Conflicts: 678000 | #Constraints: 255975
2424.66/2430.86 c #Conflicts: 679000 | #Constraints: 256975
2424.66/2430.86 c #Conflicts: 680000 | #Constraints: 257975
2424.66/2430.86 c #Conflicts: 681000 | #Constraints: 258975
2424.66/2430.86 c #Conflicts: 682000 | #Constraints: 259975
2424.66/2430.86 c #Conflicts: 683000 | #Constraints: 260975
2424.66/2430.86 c #Conflicts: 684000 | #Constraints: 261975
2424.66/2430.86 c #Conflicts: 685000 | #Constraints: 262975
2424.66/2430.86 c #Conflicts: 686000 | #Constraints: 263975
2424.66/2430.86 c #Conflicts: 687000 | #Constraints: 264975
2424.66/2430.86 c #Conflicts: 688000 | #Constraints: 265975
2424.66/2430.86 c INPROCESSING
2424.66/2430.86 c GARBAGE COLLECT
2424.66/2430.86 c #Conflicts: 689000 | #Constraints: 250576
2424.66/2430.86 c #Conflicts: 690000 | #Constraints: 251576
2424.66/2430.86 c #Conflicts: 691000 | #Constraints: 252576
2424.66/2430.86 c #Conflicts: 692000 | #Constraints: 253576
2424.66/2430.86 c #Conflicts: 693000 | #Constraints: 254576
2424.66/2430.86 c #Conflicts: 694000 | #Constraints: 255576
2424.66/2430.86 c #Conflicts: 695000 | #Constraints: 256576
2424.66/2430.86 c #Conflicts: 696000 | #Constraints: 257576
2424.66/2430.86 c #Conflicts: 697000 | #Constraints: 258576
2424.66/2430.86 c #Conflicts: 698000 | #Constraints: 259576
2424.66/2430.86 c #Conflicts: 699000 | #Constraints: 260576
2424.66/2430.86 c #Conflicts: 700000 | #Constraints: 261576
2424.66/2430.86 c #Conflicts: 701000 | #Constraints: 262576
2424.66/2430.86 c #Conflicts: 702000 | #Constraints: 263576
2424.66/2430.86 c #Conflicts: 703000 | #Constraints: 264576
2424.66/2430.86 c #Conflicts: 704000 | #Constraints: 265576
2424.66/2430.86 c #Conflicts: 705000 | #Constraints: 266576
2424.66/2430.86 c INPROCESSING
2424.66/2430.86 c GARBAGE COLLECT
2424.66/2430.86 c #Conflicts: 706000 | #Constraints: 250974
2424.66/2430.86 c #Conflicts: 707000 | #Constraints: 251974
2424.66/2430.86 c #Conflicts: 708000 | #Constraints: 252974
2424.66/2430.86 c #Conflicts: 709000 | #Constraints: 253974
2424.66/2430.86 c #Conflicts: 710000 | #Constraints: 254974
2424.66/2430.86 c #Conflicts: 711000 | #Constraints: 255974
2424.66/2430.86 c #Conflicts: 712000 | #Constraints: 256974
2424.66/2430.86 c #Conflicts: 713000 | #Constraints: 257974
2424.66/2430.86 c #Conflicts: 714000 | #Constraints: 258974
2424.66/2430.86 c #Conflicts: 715000 | #Constraints: 259974
2424.66/2430.86 c #Conflicts: 716000 | #Constraints: 260974
2424.66/2430.86 c #Conflicts: 717000 | #Constraints: 261974
2424.66/2430.86 c #Conflicts: 718000 | #Constraints: 262974
2424.66/2430.86 c #Conflicts: 719000 | #Constraints: 263974
2424.66/2430.86 c #Conflicts: 720000 | #Constraints: 264974
2424.66/2430.86 c #Conflicts: 721000 | #Constraints: 265974
2424.66/2430.86 c #Conflicts: 722000 | #Constraints: 266974
2424.66/2430.86 c INPROCESSING
2424.66/2430.86 c GARBAGE COLLECT
2424.66/2430.86 c #Conflicts: 723000 | #Constraints: 251175
2424.66/2430.86 c #Conflicts: 724000 | #Constraints: 252175
2424.66/2430.86 c #Conflicts: 725000 | #Constraints: 253175
2424.66/2430.86 c #Conflicts: 726000 | #Constraints: 254175
2424.66/2430.86 c #Conflicts: 727000 | #Constraints: 255175
2424.66/2430.86 c #Conflicts: 728000 | #Constraints: 256175
2424.66/2430.86 c #Conflicts: 729000 | #Constraints: 257175
2424.66/2430.86 c #Conflicts: 730000 | #Constraints: 258175
2424.66/2430.86 c #Conflicts: 731000 | #Constraints: 259175
2424.66/2430.86 c #Conflicts: 732000 | #Constraints: 260175
2424.66/2430.86 c #Conflicts: 733000 | #Constraints: 261175
2424.66/2430.86 c #Conflicts: 734000 | #Constraints: 262175
2424.66/2430.86 c #Conflicts: 735000 | #Constraints: 263175
2424.66/2430.86 c #Conflicts: 736000 | #Constraints: 264175
2424.66/2430.86 c #Conflicts: 737000 | #Constraints: 265175
2424.66/2430.86 c #Conflicts: 738000 | #Constraints: 266175
2424.66/2430.86 c #Conflicts: 739000 | #Constraints: 267175
2424.66/2430.86 c INPROCESSING
2424.66/2430.86 c GARBAGE COLLECT
2678.98/2685.81 c #Conflicts: 740000 | #Constraints: 251174
2678.98/2685.81 c #Conflicts: 741000 | #Constraints: 252174
2678.98/2685.81 c #Conflicts: 742000 | #Constraints: 253174
2678.98/2685.81 c #Conflicts: 743000 | #Constraints: 254174
2678.98/2685.81 c #Conflicts: 744000 | #Constraints: 255174
2678.98/2685.81 c #Conflicts: 745000 | #Constraints: 256174
2678.98/2685.81 c #Conflicts: 746000 | #Constraints: 257174
2678.98/2685.81 c #Conflicts: 747000 | #Constraints: 258174
2678.98/2685.81 c #Conflicts: 748000 | #Constraints: 259174
2678.98/2685.81 c #Conflicts: 749000 | #Constraints: 260174
2678.98/2685.81 c #Conflicts: 750000 | #Constraints: 261174
2678.98/2685.81 c #Conflicts: 751000 | #Constraints: 262174
2678.98/2685.81 c #Conflicts: 752000 | #Constraints: 263174
2678.98/2685.81 c #Conflicts: 753000 | #Constraints: 264174
2678.98/2685.81 c #Conflicts: 754000 | #Constraints: 265174
2678.98/2685.81 c #Conflicts: 755000 | #Constraints: 266174
2678.98/2685.81 c #Conflicts: 756000 | #Constraints: 267174
2678.98/2685.81 c INPROCESSING
2678.98/2685.81 c GARBAGE COLLECT
2678.98/2685.81 c #Conflicts: 757000 | #Constraints: 250975
2678.98/2685.81 c #Conflicts: 758000 | #Constraints: 251975
2678.98/2685.81 c #Conflicts: 759000 | #Constraints: 252975
2678.98/2685.81 c #Conflicts: 760000 | #Constraints: 253975
2678.98/2685.81 c #Conflicts: 761000 | #Constraints: 254975
2678.98/2685.81 c #Conflicts: 762000 | #Constraints: 255975
2678.98/2685.81 c #Conflicts: 763000 | #Constraints: 256975
2678.98/2685.81 c #Conflicts: 764000 | #Constraints: 257975
2678.98/2685.81 c #Conflicts: 765000 | #Constraints: 258975
2678.98/2685.81 c #Conflicts: 766000 | #Constraints: 259975
2678.98/2685.81 c #Conflicts: 767000 | #Constraints: 260975
2678.98/2685.81 c #Conflicts: 768000 | #Constraints: 261975
2678.98/2685.81 c #Conflicts: 769000 | #Constraints: 262975
2678.98/2685.81 c #Conflicts: 770000 | #Constraints: 263975
2678.98/2685.81 c #Conflicts: 771000 | #Constraints: 264975
2678.98/2685.81 c #Conflicts: 772000 | #Constraints: 265975
2678.98/2685.81 c #Conflicts: 773000 | #Constraints: 266975
2678.98/2685.81 c #Conflicts: 774000 | #Constraints: 267975
2678.98/2685.81 c INPROCESSING
2678.98/2685.81 c GARBAGE COLLECT
2678.98/2685.81 c #Conflicts: 775000 | #Constraints: 251577
2678.98/2685.81 c #Conflicts: 776000 | #Constraints: 252577
2678.98/2685.81 c #Conflicts: 777000 | #Constraints: 253577
2678.98/2685.81 c #Conflicts: 778000 | #Constraints: 254577
2678.98/2685.81 c #Conflicts: 779000 | #Constraints: 255577
2678.98/2685.81 c #Conflicts: 780000 | #Constraints: 256577
2678.98/2685.81 c #Conflicts: 781000 | #Constraints: 257577
2678.98/2685.81 c #Conflicts: 782000 | #Constraints: 258577
2678.98/2685.81 c #Conflicts: 783000 | #Constraints: 259577
2678.98/2685.81 c #Conflicts: 784000 | #Constraints: 260577
2678.98/2685.81 c #Conflicts: 785000 | #Constraints: 261577
2678.98/2685.81 c #Conflicts: 786000 | #Constraints: 262577
2678.98/2685.81 c #Conflicts: 787000 | #Constraints: 263577
2678.98/2685.81 c #Conflicts: 788000 | #Constraints: 264577
2678.98/2685.81 c #Conflicts: 789000 | #Constraints: 265577
2678.98/2685.81 c #Conflicts: 790000 | #Constraints: 266577
2678.98/2685.81 c #Conflicts: 791000 | #Constraints: 267577
2678.98/2685.81 c #Conflicts: 792000 | #Constraints: 268577
2678.98/2685.81 c INPROCESSING
2678.98/2685.81 c GARBAGE COLLECT
2678.98/2685.81 c #Conflicts: 793000 | #Constraints: 251977
2678.98/2685.81 c #Conflicts: 794000 | #Constraints: 252977
2678.98/2685.81 c #Conflicts: 795000 | #Constraints: 253977
2678.98/2685.81 c #Conflicts: 796000 | #Constraints: 254977
2678.98/2685.81 c #Conflicts: 797000 | #Constraints: 255977
2678.98/2685.81 c #Conflicts: 798000 | #Constraints: 256977
2678.98/2685.81 c #Conflicts: 799000 | #Constraints: 257977
2678.98/2685.81 c #Conflicts: 800000 | #Constraints: 258977
2678.98/2685.81 c #Conflicts: 801000 | #Constraints: 259977
2678.98/2685.81 c #Conflicts: 802000 | #Constraints: 260977
2678.98/2685.81 c #Conflicts: 803000 | #Constraints: 261977
2678.98/2685.81 c #Conflicts: 804000 | #Constraints: 262977
2678.98/2685.81 c #Conflicts: 805000 | #Constraints: 263977
2678.98/2685.81 c #Conflicts: 806000 | #Constraints: 264977
2678.98/2685.81 c #Conflicts: 807000 | #Constraints: 265977
2678.98/2685.81 c #Conflicts: 808000 | #Constraints: 266977
2678.98/2685.81 c #Conflicts: 809000 | #Constraints: 267977
2678.98/2685.81 c #Conflicts: 810000 | #Constraints: 268977
2678.98/2685.81 c INPROCESSING
2678.98/2685.81 c GARBAGE COLLECT
2678.98/2685.81 c #Conflicts: 811000 | #Constraints: 252176
2678.98/2685.81 c #Conflicts: 812000 | #Constraints: 253176
2678.98/2685.81 c #Conflicts: 813000 | #Constraints: 254176
2678.98/2685.81 c #Conflicts: 814000 | #Constraints: 255176
2678.98/2685.81 c #Conflicts: 815000 | #Constraints: 256176
2678.98/2685.81 c #Conflicts: 816000 | #Constraints: 257176
2907.98/2915.46 c #Conflicts: 817000 | #Constraints: 258176
2907.98/2915.46 c #Conflicts: 818000 | #Constraints: 259176
2907.98/2915.46 c #Conflicts: 819000 | #Constraints: 260176
2907.98/2915.46 c #Conflicts: 820000 | #Constraints: 261176
2907.98/2915.46 c #Conflicts: 821000 | #Constraints: 262176
2907.98/2915.46 c #Conflicts: 822000 | #Constraints: 263176
2907.98/2915.46 c #Conflicts: 823000 | #Constraints: 264176
2907.98/2915.46 c #Conflicts: 824000 | #Constraints: 265176
2907.98/2915.46 c #Conflicts: 825000 | #Constraints: 266176
2907.98/2915.46 c #Conflicts: 826000 | #Constraints: 267176
2907.98/2915.46 c #Conflicts: 827000 | #Constraints: 268176
2907.98/2915.46 c #Conflicts: 828000 | #Constraints: 269176
2907.98/2915.46 c INPROCESSING
2907.98/2915.46 c GARBAGE COLLECT
2907.98/2915.46 c #Conflicts: 829000 | #Constraints: 252177
2907.98/2915.46 c #Conflicts: 830000 | #Constraints: 253177
2907.98/2915.46 c #Conflicts: 831000 | #Constraints: 254177
2907.98/2915.46 c #Conflicts: 832000 | #Constraints: 255177
2907.98/2915.46 c #Conflicts: 833000 | #Constraints: 256177
2907.98/2915.46 c #Conflicts: 834000 | #Constraints: 257177
2907.98/2915.46 c #Conflicts: 835000 | #Constraints: 258177
2907.98/2915.46 c #Conflicts: 836000 | #Constraints: 259177
2907.98/2915.46 c #Conflicts: 837000 | #Constraints: 260177
2907.98/2915.46 c #Conflicts: 838000 | #Constraints: 261177
2907.98/2915.46 c #Conflicts: 839000 | #Constraints: 262177
2907.98/2915.46 c #Conflicts: 840000 | #Constraints: 263177
2907.98/2915.46 c #Conflicts: 841000 | #Constraints: 264177
2907.98/2915.46 c #Conflicts: 842000 | #Constraints: 265177
2907.98/2915.46 c #Conflicts: 843000 | #Constraints: 266177
2907.98/2915.46 c #Conflicts: 844000 | #Constraints: 267177
2907.98/2915.46 c #Conflicts: 845000 | #Constraints: 268177
2907.98/2915.46 c #Conflicts: 846000 | #Constraints: 269177
2907.98/2915.46 c INPROCESSING
2907.98/2915.46 c GARBAGE COLLECT
2907.98/2915.46 c #Conflicts: 847000 | #Constraints: 251974
2907.98/2915.46 c #Conflicts: 848000 | #Constraints: 252974
2907.98/2915.46 c #Conflicts: 849000 | #Constraints: 253974
2907.98/2915.46 c #Conflicts: 850000 | #Constraints: 254974
2907.98/2915.46 c #Conflicts: 851000 | #Constraints: 255974
2907.98/2915.46 c #Conflicts: 852000 | #Constraints: 256974
2907.98/2915.46 c #Conflicts: 853000 | #Constraints: 257974
2907.98/2915.46 c #Conflicts: 854000 | #Constraints: 258974
2907.98/2915.46 c #Conflicts: 855000 | #Constraints: 259974
2907.98/2915.46 c #Conflicts: 856000 | #Constraints: 260974
2907.98/2915.46 c #Conflicts: 857000 | #Constraints: 261974
2907.98/2915.46 c #Conflicts: 858000 | #Constraints: 262974
2907.98/2915.46 c #Conflicts: 859000 | #Constraints: 263974
2907.98/2915.46 c #Conflicts: 860000 | #Constraints: 264974
2907.98/2915.46 c #Conflicts: 861000 | #Constraints: 265974
2907.98/2915.46 c #Conflicts: 862000 | #Constraints: 266974
2907.98/2915.46 c #Conflicts: 863000 | #Constraints: 267974
2907.98/2915.46 c #Conflicts: 864000 | #Constraints: 268974
2907.98/2915.46 c #Conflicts: 865000 | #Constraints: 269974
2907.98/2915.46 c INPROCESSING
2907.98/2915.46 c GARBAGE COLLECT
2907.98/2915.46 c #Conflicts: 866000 | #Constraints: 252577
2907.98/2915.46 c #Conflicts: 867000 | #Constraints: 253577
2907.98/2915.46 c #Conflicts: 868000 | #Constraints: 254577
2907.98/2915.46 c #Conflicts: 869000 | #Constraints: 255577
2907.98/2915.46 c #Conflicts: 870000 | #Constraints: 256577
2907.98/2915.46 c #Conflicts: 871000 | #Constraints: 257577
2907.98/2915.46 c #Conflicts: 872000 | #Constraints: 258577
2907.98/2915.46 c #Conflicts: 873000 | #Constraints: 259577
2907.98/2915.46 c #Conflicts: 874000 | #Constraints: 260577
2907.98/2915.46 c #Conflicts: 875000 | #Constraints: 261577
2907.98/2915.46 c #Conflicts: 876000 | #Constraints: 262577
2907.98/2915.46 c #Conflicts: 877000 | #Constraints: 263577
2907.98/2915.46 c #Conflicts: 878000 | #Constraints: 264577
2907.98/2915.46 c #Conflicts: 879000 | #Constraints: 265577
2907.98/2915.46 c #Conflicts: 880000 | #Constraints: 266577
2907.98/2915.46 c #Conflicts: 881000 | #Constraints: 267577
2907.98/2915.46 c #Conflicts: 882000 | #Constraints: 268577
2907.98/2915.46 c #Conflicts: 883000 | #Constraints: 269577
2907.98/2915.46 c #Conflicts: 884000 | #Constraints: 270577
2907.98/2915.46 c INPROCESSING
2907.98/2915.46 c GARBAGE COLLECT
2907.98/2915.46 c #Conflicts: 885000 | #Constraints: 252977
2907.98/2915.46 c #Conflicts: 886000 | #Constraints: 253977
2907.98/2915.46 c #Conflicts: 887000 | #Constraints: 254977
2907.98/2915.46 c #Conflicts: 888000 | #Constraints: 255977
2907.98/2915.46 c #Conflicts: 889000 | #Constraints: 256977
2907.98/2915.46 c #Conflicts: 890000 | #Constraints: 257977
2907.98/2915.46 c #Conflicts: 891000 | #Constraints: 258977
2907.98/2915.46 c #Conflicts: 892000 | #Constraints: 259977
3146.56/3154.61 c #Conflicts: 893000 | #Constraints: 260977
3146.56/3154.61 c #Conflicts: 894000 | #Constraints: 261977
3146.56/3154.61 c #Conflicts: 895000 | #Constraints: 262977
3146.56/3154.61 c #Conflicts: 896000 | #Constraints: 263977
3146.56/3154.61 c #Conflicts: 897000 | #Constraints: 264977
3146.56/3154.61 c #Conflicts: 898000 | #Constraints: 265977
3146.56/3154.61 c #Conflicts: 899000 | #Constraints: 266977
3146.56/3154.61 c #Conflicts: 900000 | #Constraints: 267977
3146.56/3154.61 c #Conflicts: 901000 | #Constraints: 268977
3146.56/3154.61 c #Conflicts: 902000 | #Constraints: 269977
3146.56/3154.61 c #Conflicts: 903000 | #Constraints: 270977
3146.56/3154.61 c INPROCESSING
3146.56/3154.61 c GARBAGE COLLECT
3146.56/3154.61 c #Conflicts: 904000 | #Constraints: 253176
3146.56/3154.61 c #Conflicts: 905000 | #Constraints: 254176
3146.56/3154.61 c #Conflicts: 906000 | #Constraints: 255176
3146.56/3154.61 c #Conflicts: 907000 | #Constraints: 256176
3146.56/3154.61 c #Conflicts: 908000 | #Constraints: 257176
3146.56/3154.61 c #Conflicts: 909000 | #Constraints: 258176
3146.56/3154.61 c #Conflicts: 910000 | #Constraints: 259176
3146.56/3154.61 c #Conflicts: 911000 | #Constraints: 260176
3146.56/3154.61 c #Conflicts: 912000 | #Constraints: 261176
3146.56/3154.61 c #Conflicts: 913000 | #Constraints: 262176
3146.56/3154.61 c #Conflicts: 914000 | #Constraints: 263176
3146.56/3154.61 c #Conflicts: 915000 | #Constraints: 264176
3146.56/3154.61 c #Conflicts: 916000 | #Constraints: 265176
3146.56/3154.61 c #Conflicts: 917000 | #Constraints: 266176
3146.56/3154.61 c #Conflicts: 918000 | #Constraints: 267176
3146.56/3154.61 c #Conflicts: 919000 | #Constraints: 268176
3146.56/3154.61 c #Conflicts: 920000 | #Constraints: 269176
3146.56/3154.61 c #Conflicts: 921000 | #Constraints: 270176
3146.56/3154.61 c #Conflicts: 922000 | #Constraints: 271176
3146.56/3154.61 c INPROCESSING
3146.56/3154.61 c GARBAGE COLLECT
3146.56/3154.61 c #Conflicts: 923000 | #Constraints: 253176
3146.56/3154.61 c #Conflicts: 924000 | #Constraints: 254176
3146.56/3154.61 c #Conflicts: 925000 | #Constraints: 255176
3146.56/3154.61 c #Conflicts: 926000 | #Constraints: 256176
3146.56/3154.61 c #Conflicts: 927000 | #Constraints: 257176
3146.56/3154.61 c #Conflicts: 928000 | #Constraints: 258176
3146.56/3154.61 c #Conflicts: 929000 | #Constraints: 259176
3146.56/3154.61 c #Conflicts: 930000 | #Constraints: 260176
3146.56/3154.61 c #Conflicts: 931000 | #Constraints: 261176
3146.56/3154.61 c #Conflicts: 932000 | #Constraints: 262176
3146.56/3154.61 c #Conflicts: 933000 | #Constraints: 263176
3146.56/3154.61 c #Conflicts: 934000 | #Constraints: 264176
3146.56/3154.61 c #Conflicts: 935000 | #Constraints: 265176
3146.56/3154.61 c #Conflicts: 936000 | #Constraints: 266176
3146.56/3154.61 c #Conflicts: 937000 | #Constraints: 267176
3146.56/3154.61 c #Conflicts: 938000 | #Constraints: 268176
3146.56/3154.61 c #Conflicts: 939000 | #Constraints: 269176
3146.56/3154.61 c #Conflicts: 940000 | #Constraints: 270176
3146.56/3154.61 c #Conflicts: 941000 | #Constraints: 271176
3146.56/3154.61 c INPROCESSING
3146.56/3154.61 c GARBAGE COLLECT
3146.56/3154.61 c #Conflicts: 942000 | #Constraints: 252977
3146.56/3154.61 c #Conflicts: 943000 | #Constraints: 253977
3146.56/3154.61 c #Conflicts: 944000 | #Constraints: 254977
3146.56/3154.61 c #Conflicts: 945000 | #Constraints: 255977
3146.56/3154.61 c #Conflicts: 946000 | #Constraints: 256977
3146.56/3154.61 c #Conflicts: 947000 | #Constraints: 257977
3146.56/3154.61 c #Conflicts: 948000 | #Constraints: 258977
3146.56/3154.61 c #Conflicts: 949000 | #Constraints: 259977
3146.56/3154.61 c #Conflicts: 950000 | #Constraints: 260977
3146.56/3154.61 c #Conflicts: 951000 | #Constraints: 261977
3146.56/3154.61 c #Conflicts: 952000 | #Constraints: 262977
3146.56/3154.61 c #Conflicts: 953000 | #Constraints: 263977
3146.56/3154.61 c #Conflicts: 954000 | #Constraints: 264977
3146.56/3154.61 c #Conflicts: 955000 | #Constraints: 265977
3146.56/3154.61 c #Conflicts: 956000 | #Constraints: 266977
3146.56/3154.61 c #Conflicts: 957000 | #Constraints: 267977
3146.56/3154.61 c #Conflicts: 958000 | #Constraints: 268977
3146.56/3154.61 c #Conflicts: 959000 | #Constraints: 269977
3146.56/3154.61 c #Conflicts: 960000 | #Constraints: 270977
3146.56/3154.61 c #Conflicts: 961000 | #Constraints: 271977
3146.56/3154.61 c INPROCESSING
3146.56/3154.61 c GARBAGE COLLECT
3146.56/3154.61 c #Conflicts: 962000 | #Constraints: 253574
3146.56/3154.61 c #Conflicts: 963000 | #Constraints: 254574
3146.56/3154.61 c #Conflicts: 964000 | #Constraints: 255574
3146.56/3154.61 c #Conflicts: 965000 | #Constraints: 256574
3146.56/3154.61 c #Conflicts: 966000 | #Constraints: 257574
3146.56/3154.61 c #Conflicts: 967000 | #Constraints: 258574
3146.56/3154.61 c #Conflicts: 968000 | #Constraints: 259574
3365.88/3374.55 c #Conflicts: 969000 | #Constraints: 260574
3365.88/3374.55 c #Conflicts: 970000 | #Constraints: 261574
3365.88/3374.55 c #Conflicts: 971000 | #Constraints: 262574
3365.88/3374.55 c #Conflicts: 972000 | #Constraints: 263574
3365.88/3374.55 c #Conflicts: 973000 | #Constraints: 264574
3365.88/3374.55 c #Conflicts: 974000 | #Constraints: 265574
3365.88/3374.55 c #Conflicts: 975000 | #Constraints: 266574
3365.88/3374.55 c #Conflicts: 976000 | #Constraints: 267574
3365.88/3374.55 c #Conflicts: 977000 | #Constraints: 268574
3365.88/3374.55 c #Conflicts: 978000 | #Constraints: 269574
3365.88/3374.55 c #Conflicts: 979000 | #Constraints: 270574
3365.88/3374.55 c #Conflicts: 980000 | #Constraints: 271574
3365.88/3374.55 c #Conflicts: 981000 | #Constraints: 272574
3365.88/3374.55 c INPROCESSING
3365.88/3374.55 c GARBAGE COLLECT
3365.88/3374.55 c #Conflicts: 982000 | #Constraints: 253977
3365.88/3374.55 c #Conflicts: 983000 | #Constraints: 254977
3365.88/3374.55 c #Conflicts: 984000 | #Constraints: 255977
3365.88/3374.55 c #Conflicts: 985000 | #Constraints: 256977
3365.88/3374.55 c #Conflicts: 986000 | #Constraints: 257977
3365.88/3374.55 c #Conflicts: 987000 | #Constraints: 258977
3365.88/3374.55 c #Conflicts: 988000 | #Constraints: 259977
3365.88/3374.55 c #Conflicts: 989000 | #Constraints: 260977
3365.88/3374.55 c #Conflicts: 990000 | #Constraints: 261977
3365.88/3374.55 c #Conflicts: 991000 | #Constraints: 262977
3365.88/3374.55 c #Conflicts: 992000 | #Constraints: 263977
3365.88/3374.55 c #Conflicts: 993000 | #Constraints: 264977
3365.88/3374.55 c #Conflicts: 994000 | #Constraints: 265977
3365.88/3374.55 c #Conflicts: 995000 | #Constraints: 266977
3365.88/3374.55 c #Conflicts: 996000 | #Constraints: 267977
3365.88/3374.55 c #Conflicts: 997000 | #Constraints: 268977
3365.88/3374.55 c #Conflicts: 998000 | #Constraints: 269977
3365.88/3374.55 c #Conflicts: 999000 | #Constraints: 270977
3365.88/3374.55 c #Conflicts: 1000000 | #Constraints: 271977
3365.88/3374.55 c #Conflicts: 1001000 | #Constraints: 272977
3365.88/3374.55 c INPROCESSING
3365.88/3374.55 c GARBAGE COLLECT
3365.88/3374.55 c #Conflicts: 1002000 | #Constraints: 254182
3365.88/3374.55 c #Conflicts: 1003000 | #Constraints: 255182
3365.88/3374.55 c #Conflicts: 1004000 | #Constraints: 256182
3365.88/3374.55 c #Conflicts: 1005000 | #Constraints: 257182
3365.88/3374.55 c #Conflicts: 1006000 | #Constraints: 258182
3365.88/3374.56 c #Conflicts: 1007000 | #Constraints: 259182
3365.88/3374.56 c #Conflicts: 1008000 | #Constraints: 260182
3365.88/3374.56 c #Conflicts: 1009000 | #Constraints: 261182
3365.88/3374.56 c #Conflicts: 1010000 | #Constraints: 262182
3365.88/3374.56 c #Conflicts: 1011000 | #Constraints: 263182
3365.88/3374.56 c #Conflicts: 1012000 | #Constraints: 264182
3365.88/3374.56 c #Conflicts: 1013000 | #Constraints: 265182
3365.88/3374.56 c #Conflicts: 1014000 | #Constraints: 266182
3365.88/3374.56 c #Conflicts: 1015000 | #Constraints: 267182
3365.88/3374.56 c #Conflicts: 1016000 | #Constraints: 268182
3365.88/3374.56 c #Conflicts: 1017000 | #Constraints: 269182
3365.88/3374.56 c #Conflicts: 1018000 | #Constraints: 270182
3365.88/3374.56 c #Conflicts: 1019000 | #Constraints: 271182
3365.88/3374.56 c #Conflicts: 1020000 | #Constraints: 272182
3365.88/3374.56 c #Conflicts: 1021000 | #Constraints: 273182
3365.88/3374.56 c INPROCESSING
3365.88/3374.56 c GARBAGE COLLECT
3365.88/3374.56 c #Conflicts: 1022000 | #Constraints: 254181
3365.88/3374.56 c #Conflicts: 1023000 | #Constraints: 255181
3365.88/3374.56 c #Conflicts: 1024000 | #Constraints: 256181
3365.88/3374.56 c #Conflicts: 1025000 | #Constraints: 257181
3365.88/3374.56 c #Conflicts: 1026000 | #Constraints: 258181
3365.88/3374.56 c #Conflicts: 1027000 | #Constraints: 259181
3365.88/3374.56 c #Conflicts: 1028000 | #Constraints: 260181
3365.88/3374.56 c #Conflicts: 1029000 | #Constraints: 261181
3365.88/3374.56 c #Conflicts: 1030000 | #Constraints: 262181
3365.88/3374.56 c #Conflicts: 1031000 | #Constraints: 263181
3365.88/3374.56 c #Conflicts: 1032000 | #Constraints: 264181
3365.88/3374.56 c #Conflicts: 1033000 | #Constraints: 265181
3365.88/3374.56 c #Conflicts: 1034000 | #Constraints: 266181
3365.88/3374.56 c #Conflicts: 1035000 | #Constraints: 267181
3365.88/3374.56 c #Conflicts: 1036000 | #Constraints: 268181
3365.88/3374.56 c #Conflicts: 1037000 | #Constraints: 269181
3365.88/3374.56 c #Conflicts: 1038000 | #Constraints: 270181
3365.88/3374.56 c #Conflicts: 1039000 | #Constraints: 271181
3365.88/3374.56 c #Conflicts: 1040000 | #Constraints: 272181
3365.88/3374.56 c #Conflicts: 1041000 | #Constraints: 273181
3365.88/3374.56 c INPROCESSING
3365.88/3374.56 c GARBAGE COLLECT
3365.88/3374.56 c #Conflicts: 1042000 | #Constraints: 253980
3365.88/3374.56 c #Conflicts: 1043000 | #Constraints: 254980
3365.88/3374.56 c #Conflicts: 1044000 | #Constraints: 255980
3600.07/3609.30 c #Conflicts: 1045000 | #Constraints: 256980
3600.07/3609.30 c #Conflicts: 1046000 | #Constraints: 257980
3600.07/3609.30 c #Conflicts: 1047000 | #Constraints: 258980
3600.07/3609.30 c #Conflicts: 1048000 | #Constraints: 259980
3600.07/3609.30 c #Conflicts: 1049000 | #Constraints: 260980
3600.07/3609.30 c #Conflicts: 1050000 | #Constraints: 261980
3600.07/3609.30 c #Conflicts: 1051000 | #Constraints: 262980
3600.07/3609.30 c #Conflicts: 1052000 | #Constraints: 263980
3600.07/3609.30 c #Conflicts: 1053000 | #Constraints: 264980
3600.07/3609.30 c #Conflicts: 1054000 | #Constraints: 265980
3600.07/3609.30 c #Conflicts: 1055000 | #Constraints: 266980
3600.07/3609.30 c #Conflicts: 1056000 | #Constraints: 267980
3600.07/3609.30 c #Conflicts: 1057000 | #Constraints: 268980
3600.07/3609.30 c #Conflicts: 1058000 | #Constraints: 269980
3600.07/3609.30 c #Conflicts: 1059000 | #Constraints: 270980
3600.07/3609.30 c #Conflicts: 1060000 | #Constraints: 271980
3600.07/3609.30 c #Conflicts: 1061000 | #Constraints: 272980
3600.07/3609.30 c #Conflicts: 1062000 | #Constraints: 273980
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 1063000 | #Constraints: 254579
3600.07/3609.30 c #Conflicts: 1064000 | #Constraints: 255579
3600.07/3609.30 c #Conflicts: 1065000 | #Constraints: 256579
3600.07/3609.30 c #Conflicts: 1066000 | #Constraints: 257579
3600.07/3609.30 c #Conflicts: 1067000 | #Constraints: 258579
3600.07/3609.30 c #Conflicts: 1068000 | #Constraints: 259579
3600.07/3609.30 c #Conflicts: 1069000 | #Constraints: 260579
3600.07/3609.30 c #Conflicts: 1070000 | #Constraints: 261579
3600.07/3609.30 c #Conflicts: 1071000 | #Constraints: 262579
3600.07/3609.30 c #Conflicts: 1072000 | #Constraints: 263579
3600.07/3609.30 c #Conflicts: 1073000 | #Constraints: 264579
3600.07/3609.30 c #Conflicts: 1074000 | #Constraints: 265579
3600.07/3609.30 c #Conflicts: 1075000 | #Constraints: 266579
3600.07/3609.30 c #Conflicts: 1076000 | #Constraints: 267579
3600.07/3609.30 c #Conflicts: 1077000 | #Constraints: 268579
3600.07/3609.30 c #Conflicts: 1078000 | #Constraints: 269579
3600.07/3609.30 c #Conflicts: 1079000 | #Constraints: 270579
3600.07/3609.30 c #Conflicts: 1080000 | #Constraints: 271579
3600.07/3609.30 c #Conflicts: 1081000 | #Constraints: 272579
3600.07/3609.30 c #Conflicts: 1082000 | #Constraints: 273579
3600.07/3609.30 c #Conflicts: 1083000 | #Constraints: 274579
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 1084000 | #Constraints: 254977
3600.07/3609.30 c #Conflicts: 1085000 | #Constraints: 255977
3600.07/3609.30 c #Conflicts: 1086000 | #Constraints: 256977
3600.07/3609.30 c #Conflicts: 1087000 | #Constraints: 257977
3600.07/3609.30 c #Conflicts: 1088000 | #Constraints: 258977
3600.07/3609.30 c #Conflicts: 1089000 | #Constraints: 259977
3600.07/3609.30 c #Conflicts: 1090000 | #Constraints: 260977
3600.07/3609.30 c #Conflicts: 1091000 | #Constraints: 261977
3600.07/3609.30 c #Conflicts: 1092000 | #Constraints: 262977
3600.07/3609.30 c #Conflicts: 1093000 | #Constraints: 263977
3600.07/3609.30 c #Conflicts: 1094000 | #Constraints: 264977
3600.07/3609.30 c #Conflicts: 1095000 | #Constraints: 265977
3600.07/3609.30 c #Conflicts: 1096000 | #Constraints: 266977
3600.07/3609.30 c #Conflicts: 1097000 | #Constraints: 267977
3600.07/3609.30 c #Conflicts: 1098000 | #Constraints: 268977
3600.07/3609.30 c #Conflicts: 1099000 | #Constraints: 269977
3600.07/3609.30 c #Conflicts: 1100000 | #Constraints: 270977
3600.07/3609.30 c #Conflicts: 1101000 | #Constraints: 271977
3600.07/3609.30 c #Conflicts: 1102000 | #Constraints: 272977
3600.07/3609.30 c #Conflicts: 1103000 | #Constraints: 273977
3600.07/3609.30 c #Conflicts: 1104000 | #Constraints: 274977
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 1105000 | #Constraints: 255177
3600.07/3609.30 c #Conflicts: 1106000 | #Constraints: 256177
3600.07/3609.30 c #Conflicts: 1107000 | #Constraints: 257177
3600.07/3609.30 c #Conflicts: 1108000 | #Constraints: 258177
3600.07/3609.30 c #Conflicts: 1109000 | #Constraints: 259177
3600.07/3609.30 c #Conflicts: 1110000 | #Constraints: 260177
3600.07/3609.30 c #Conflicts: 1111000 | #Constraints: 261177
3600.07/3609.30 c #Conflicts: 1112000 | #Constraints: 262177
3600.07/3609.30 c #Conflicts: 1113000 | #Constraints: 263177
3600.07/3609.30 c cpu time 3594.56 s
3600.07/3609.30 c deterministic time 1 1.00e+00
3600.07/3609.30 c optimization time 3592.6 s
3600.07/3609.30 c total solve time 0 s
3600.07/3609.30 c core-guided solve time 0 s
3600.07/3609.30 c propagation time 0.247123 s
3600.07/3609.30 c conflict analysis time 0 s
3600.07/3609.30 c propagations 0
3600.07/3609.30 c resolve steps 0
3600.07/3609.30 c decisions 0
3600.07/3609.30 c conflicts 0
3600.07/3609.30 c restarts 0
3600.07/3609.30 c inprocessing phases 0
3600.07/3609.30 c garbage collections 0 ,( -nan )
3600.07/3609.30 c input clauses 469920 ,( 100.00 )
3600.07/3609.30 c input cardinalities 0 ,( 0.00 )
3600.07/3609.30 c input general constraints 0 ,( 0.00 )
3600.07/3609.30 c input average constraint length 3.00
3600.07/3609.30 c input average constraint degree 1.00
3600.07/3609.30 c learned clauses 0 ,( 0.00 )
3600.07/3609.30 c learned cardinalities 0 ,( 0.00 )
3600.07/3609.30 c learned general constraints 0 ,( 0.00 )
3600.07/3609.30 c learned average constraint length 0.00
3600.07/3609.30 c learned average constraint degree 0.00
3600.07/3609.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3609.30 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3609.30 c watched constraints 0 ,( -nan )
3600.07/3609.30 c counting constraints 0 ,( -nan )
3600.07/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3609.30 c gcd simplifications 0
3600.07/3609.30 c detected cardinalities 0
3600.07/3609.30 c weakened non-implied lits 0
3600.07/3609.30 c weakened non-implying lits 0
3600.07/3609.30 c original variables 4005
3600.07/3609.30 c clausal propagations 0
3600.07/3609.30 c cardinality propagations 0
3600.07/3609.30 c watched propagations 0
3600.07/3609.30 c counting propagations 0
3600.07/3609.30 c watch lookups 0
3600.07/3609.30 c watch backjump lookups 0
3600.07/3609.30 c watch checks 0
3600.07/3609.30 c propagation checks 0
3600.07/3609.30 c constraint additions 0
3600.07/3609.30 c trail pops 0
3600.07/3609.30 c formula constraints 469920
3600.07/3609.30 c learned constraints 0
3600.07/3609.30 c bound constraints 0
3600.07/3609.30 c core-guided constraints 0
3600.07/3609.30 c encountered formula constraints 0
3600.07/3609.30 c encountered learned constraints 0
3600.07/3609.30 c encountered bound constraints 0
3600.07/3609.30 c encountered core-guided constraints 0
3600.07/3609.30 c LP total time 0 s
3600.07/3609.30 c LP solve time 0 s
3600.07/3609.30 c LP constraints added 0
3600.07/3609.30 c LP constraints removed 0
3600.07/3609.30 c LP pivots internal 0
3600.07/3609.30 c LP pivots root 0
3600.07/3609.30 c LP calls 0
3600.07/3609.30 c LP optimalities 0
3600.07/3609.30 c LP no pivot count 0
3600.07/3609.30 c LP infeasibilities 0
3600.07/3609.30 c LP valid Farkas constraints 0
3600.07/3609.30 c LP learned Farkas constraints 0
3600.07/3609.30 c LP basis resets 0
3600.07/3609.30 c LP cycling count 0
3600.07/3609.30 c LP singular count 0
3600.07/3609.30 c LP no primal count 0
3600.07/3609.30 c LP no farkas count 0
3600.07/3609.30 c LP other issue count 0
3600.07/3609.30 c LP Gomory cuts 0
3600.07/3609.30 c LP learned cuts 0
3600.07/3609.30 c LP deleted cuts 0
3600.07/3609.30 c LP encountered Gomory constraints 0
3600.07/3609.30 c LP encountered Farkas constraints 0
3600.07/3609.30 c LP encountered learned Farkas constraints 0
3600.07/3609.30 c CG auxiliary variables introduced 0
3600.07/3609.30 c CG solutions found 0
3600.07/3609.30 c CG cores constructed 0
3600.07/3609.30 c CG core cardinality constraints returned 0
3600.07/3609.30 c CG unit cores 0
3600.07/3609.30 c CG single cores 0
3600.07/3609.30 c CG blocks removed during cardinality reduction 0
3600.07/3609.30 c CG first core best 0
3600.07/3609.30 c CG decision core best 0
3600.07/3609.30 c CG core reduction tie 0
3600.07/3609.30 c CG core degree average 0.00
3600.07/3609.30 c CG core slack average 0.00
3600.07/3609.30 c CG core upper bound improvements 0
3600.07/3609.30 c STR number of successful calls 0
3600.07/3609.30 c STR number of unsuccessful calls 0
3600.07/3609.30 c STR number of inconclusive calls 0
3600.07/3609.30 c STR number of successful attempts 0
3600.07/3609.30 c STR number of unsuccessful attempts 0
3600.07/3609.30 c STR number of inconclusive attempts 0
3600.07/3609.30 c STR average degree increase per successful call inf
3600.07/3609.30 c STR average degree increase per successful attempt inf
3600.07/3609.30 c STR total number of conflicts for successful attempts 0
3600.07/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.30 c STR average number of conflicts per successful attempt inf
3600.07/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.30 c AVG.sumWPerc -nan
3600.07/3609.30 c bigint constraints 0
3600.07/3609.30 s UNKNOWN
3600.07/3609.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: 63837 MiB (63011 MiB free)
memory of node 1: 64465 MiB (63623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520986-1751582201/watcher-4520986-1751582201 -o /tmp/evaluation-result-4520986-1751582201/solver-4520986-1751582201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81854 --watchdog 3760 run-opt.sh HOME/instance-4520986-1751582201.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82669, runsolver pid=82666
[startup+0.100096 s]*
/proc/loadavg: 4.16 4.10 4.12 5/254 82671
/proc/meminfo: memFree=129673632/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=56692 memory=9936 CPUtime=0.08 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 869 0 0 0 6 2 0 0 20 0 1 0 73899214 58052608 2484 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 14173 2484 1888 1147 0 1600 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60884 KiB
Current children cumulated memory: 12880 KiB
[startup+0.212017 s]*
/proc/loadavg: 4.16 4.10 4.12 5/254 82671
/proc/meminfo: memFree=129666512/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=57432 memory=11344 CPUtime=0.19 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 1243 0 0 0 14 5 0 0 20 0 1 0 73899214 58810368 2836 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 14358 2836 1888 1147 0 1785 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 14288 KiB
[startup+0.311966 s]*
/proc/loadavg: 4.16 4.10 4.12 5/254 82671
/proc/meminfo: memFree=129666512/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=58608 memory=13008 CPUtime=0.3 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 1646 0 0 0 22 8 0 0 20 0 1 0 73899214 60014592 3252 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 14652 3252 1888 1147 0 2079 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62800 KiB
Current children cumulated memory: 15952 KiB
[startup+0.700378 s]
/proc/loadavg: 4.16 4.10 4.12 5/254 82671
/proc/meminfo: memFree=129598092/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=65424 memory=19844 CPUtime=0.67 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 3000 0 0 0 50 17 0 0 20 0 1 0 73899214 66994176 4961 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 16356 4961 1888 1147 0 3783 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 69616 KiB
Current children cumulated memory: 22788 KiB
[startup+1.50038 s]
/proc/loadavg: 4.14 4.10 4.12 5/254 82671
/proc/meminfo: memFree=129570204/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=89600 memory=40752 CPUtime=1.47 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 8540 0 0 0 106 41 0 0 20 0 1 0 73899214 91750400 10188 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 22400 10188 1888 1147 0 9827 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 93792 KiB
Current children cumulated memory: 43696 KiB
[startup+3.11294 s]
/proc/loadavg: 4.14 4.10 4.12 5/254 82671
/proc/meminfo: memFree=128967440/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=589972 memory=511856 CPUtime=3.08 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 65284 0 0 0 222 86 0 0 20 0 1 0 73899214 604131328 127964 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 147493 127964 2304 1147 0 134920 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 594164 KiB
Current children cumulated memory: 514800 KiB
[startup+6.30038 s]
/proc/loadavg: 4.13 4.10 4.12 5/254 82671
/proc/meminfo: memFree=128892856/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=589972 memory=512752 CPUtime=6.25 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 65482 0 0 0 535 90 0 0 20 0 1 0 73899214 604131328 128188 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 147493 128188 2336 1147 0 134920 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 594164 KiB
Current children cumulated memory: 515696 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.09 4.12 5/254 82671
/proc/meminfo: memFree=128680976/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=589972 memory=512752 CPUtime=12.64 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 65487 0 0 0 1173 91 0 0 20 0 1 0 73899214 604131328 128188 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 147493 128188 2336 1147 0 134920 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 594164 KiB
Current children cumulated memory: 515696 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.11 4.12 5/254 82671
/proc/meminfo: memFree=128576888/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=589972 memory=512752 CPUtime=25.41 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 65490 0 0 0 2448 93 0 0 20 0 1 0 73899214 604131328 128188 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 147493 128188 2336 1147 0 134920 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 594164 KiB
Current children cumulated memory: 515696 KiB
[startup+51.1133 s]
/proc/loadavg: 4.11 4.10 4.11 5/255 82673
/proc/meminfo: memFree=128133260/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=589972 memory=513008 CPUtime=50.96 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 65549 0 0 0 4999 97 0 0 20 0 1 0 73899214 604131328 128252 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 147493 128252 2336 1147 0 134920 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 594164 KiB
Current children cumulated memory: 515952 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/255 82675
/proc/meminfo: memFree=128029148/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=589972 memory=513008 CPUtime=102.02 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 65555 0 0 0 10099 103 0 0 20 0 1 0 73899214 604131328 128252 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 147493 128252 2336 1147 0 134920 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 594164 KiB
Current children cumulated memory: 515952 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/254 82677
/proc/meminfo: memFree=127876148/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=589972 memory=513008 CPUtime=161.88 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 65558 0 0 0 16078 110 0 0 20 0 1 0 73899214 604131328 128252 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 147493 128252 2336 1147 0 134920 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 594164 KiB
Current children cumulated memory: 515952 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/254 82679
/proc/meminfo: memFree=127812704/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=589972 memory=513008 CPUtime=221.74 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 65564 0 0 0 22057 117 0 0 20 0 1 0 73899214 604131328 128252 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 147493 128252 2336 1147 0 134920 0
Current children cumulated CPU time: 221.74 s
################
# More data... #
################
/proc/82671/statm: 200397 176749 2336 1147 0 187824 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 709940 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/254 82833
/proc/meminfo: memFree=124448072/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=706996 CPUtime=3154.24 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67327 0 0 0 314925 499 0 0 20 0 1 0 73899214 820826112 176749 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 176749 2336 1147 0 187824 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 709940 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/254 82835
/proc/meminfo: memFree=124346396/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=706996 CPUtime=3214.08 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67327 0 0 0 320902 506 0 0 20 0 1 0 73899214 820826112 176749 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 176749 2336 1147 0 187824 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 709940 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.10 5/254 82842
/proc/meminfo: memFree=124281184/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=706996 CPUtime=3273.92 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67327 0 0 0 326878 514 0 0 20 0 1 0 73899214 820826112 176749 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 176749 2336 1147 0 187824 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 709940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/254 82844
/proc/meminfo: memFree=124186032/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=709044 CPUtime=3333.77 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67422 0 0 0 332857 520 0 0 20 0 1 0 73899214 820826112 177261 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 177261 2336 1147 0 187824 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 711988 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 82846
/proc/meminfo: memFree=124179000/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=709044 CPUtime=3393.61 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67422 0 0 0 338835 526 0 0 20 0 1 0 73899214 820826112 177261 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 177261 2336 1147 0 187824 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 711988 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 82848
/proc/meminfo: memFree=124178136/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=711092 CPUtime=3453.45 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67423 0 0 0 344813 532 0 0 20 0 1 0 73899214 820826112 177773 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 177773 2336 1147 0 187824 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 714036 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 82850
/proc/meminfo: memFree=124165296/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=711092 CPUtime=3513.3 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67423 0 0 0 350791 539 0 0 20 0 1 0 73899214 820826112 177773 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 177773 2336 1147 0 187824 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 714036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/254 82854
/proc/meminfo: memFree=124153684/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=723380 CPUtime=3573.13 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67429 0 0 0 356767 546 0 0 20 0 1 0 73899214 820826112 180845 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 180845 2336 1147 0 187824 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 726324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.11 4.09 4.09 3/246 82864
/proc/meminfo: memFree=128954360/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=723380 CPUtime=3600.07 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67429 0 0 0 359456 551 0 0 20 0 1 0 73899214 820826112 180845 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 180845 2336 1147 0 187824 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 726324 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.31 s]
# the end of solver process 82669 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002123 s, system=0.003173 s
Sleeping 2 seconds
[startup+3609.36 s]
# the end of solver process 82671 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3594.62 s, system=5.52244 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.11 4.09 4.09 3/246 82864
/proc/meminfo: memFree=128954360/131382120 swapFree=33010160/33010684
[pid=82669] ppid=82666 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82669/stat : 82669 (run-opt.sh) S 82666 82669 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73899213 4292608 736 18446744073709551615 94212777869312 94212778763845 140725151967200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94212779002896 94212779050640 94212793065472 140725151975789 140725151975912 140725151975912 140725151981514 0
/proc/82669/statm: 1048 736 672 219 0 110 0
[pid=82671] ppid=82669 vsize=801588 memory=723380 CPUtime=3600.07 cores=0,2
/proc/82671/stat : 82671 (roundingsat) R 82669 82669 81821 0 -1 4194304 67429 0 0 0 359456 551 0 0 20 0 1 0 73899214 820826112 180845 18446744073709551615 4227072 8923433 140731418873344 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36925440 140731418876322 140731418876456 140731418876456 140731418882026 0
/proc/82671/statm: 200397 180845 2336 1147 0 187824 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 726324 KiB
Child status: 2
Real time (s): 3609.36
CPU time (s): 3600.14
CPU user time (s): 3594.62
CPU system time (s): 5.52244
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 805780
Max. memory (cumulated for all children) (KiB): 726324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.62
system time used= 5.52244
maximum resident set size= 723892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67776
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198
involuntary context switches= 7858
# summary of solver processes directly reported to runsolver:
# pid: 82669,82671
# total CPU time (s): 3600.14
# total CPU user time (s): 3594.62
# total CPU system time (s): 5.52244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8221 second user time and 37.3213 second system time
The end
Begin job on nodeC008 at 2025-07-04 00:36:41
IDJOB=4520986
IDBENCH=178176
IDSOLVER=3350
FILE ID=nodeC008/4520986-1751582201
RUNJOBID= nodeC008-1751574973-81854
SLURM_JOB_ID= 9598800
Free space on /tmp= 432776 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_90.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520986-1751582201/watcher-4520986-1751582201 -o /tmp/evaluation-result-4520986-1751582201/solver-4520986-1751582201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81854 --watchdog 3760 run-opt.sh HOME/instance-4520986-1751582201.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 938881248995c1811678b4b6ed7e25b4
RANDOM SEED=1577877204
nodeC008 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 : 1197.599
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 : 6983.72
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 : 2394.535
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 : 6983.72
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.210
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 : 6983.72
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.477
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 : 6983.72
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 : 2394.421
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 : 6983.72
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 : 1795.811
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 : 6983.72
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 : 3700.000
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 : 6983.72
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.467
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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129678244 kB
MemAvailable: 129769512 kB
Buffers: 2128 kB
Cached: 885956 kB
SwapCached: 16 kB
Active: 784476 kB
Inactive: 367104 kB
Active(anon): 245016 kB
Inactive(anon): 36400 kB
Active(file): 539460 kB
Inactive(file): 330704 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47120 kB
Writeback: 0 kB
AnonPages: 264656 kB
Mapped: 116584 kB
Shmem: 17920 kB
KReclaimable: 121464 kB
Slab: 206664 kB
SReclaimable: 121464 kB
SUnreclaim: 85200 kB
KernelStack: 4112 kB
PageTables: 3604 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 622308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 57344 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432768 MiB
End job on nodeC008 at 2025-07-04 01:36:51