0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4485324-1751305374.opb'
0.00/0.06 c read 4.78MB (47.98ms)
0.00/0.06 c [cnf: #variables 107808 #clauses 3905 #duplicates 0 #arr 329888]
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.07/0.20 c [group: #orbits ~= 0] (141.31ms)
0.07/0.20 c
0.07/0.20 c detect special group actions
0.07/0.21 c probe for Johnson action (limit=64)
0.18/0.21 c probe for row-column symmetry (limit=64, splits=16.78M)
0.18/0.22 c probe for row symmetry (limit=64, splits=16.78M)
0.18/0.23 c (26.29ms)
0.18/0.23 c
0.18/0.23 c detect symmetries on remainder
0.18/0.23 c [graph: #vertices 486721 #edges 1409792]
0.18/0.24 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.18/0.26 c [group: #symmetries 1.00*10^0 #generators 0] (29.54ms)
0.18/0.26 c
0.18/0.26 c finalize break order and special generators
0.18/0.27 c
0.18/0.27 c generation finished
0.18/0.27 c [sbp: #constraints 0 #add_vars 0]
0.18/0.27 c
0.18/0.27 c write result to 'HOME/instance-4485324-1751305374.opb.pre'
0.18/0.28 c wrote 4.78MB (10.27ms)
0.18/0.28 c ------------------------------------------------------------------
0.18/0.28 c 141.31ms 53.06% approx_orbits
0.18/0.28 c 47.97ms 18.01% parse
0.18/0.28 c 29.54ms 11.09% detect_generic
0.18/0.28 c 26.29ms 9.87% detect_special
0.18/0.28 c 10.27ms 3.86% output
0.18/0.28 c 6.56ms 2.46% other
0.18/0.28 c 4.36ms 1.64% finalize_order
0.18/0.28 c ───────────────────────────────────────────────
0.18/0.28 c 266.31ms 100% total
0.18/0.28 c ------------------------------------------------------------------
0.18/0.30 c RoundingSat 2
0.18/0.30 c branch pb25
0.18/0.30 c commit 63f22ad
0.35/0.49 c #variables 107808 #constraints 5184
0.35/0.49 c objective is ce64
0.35/0.49 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.35/0.49 c initial counting CF 32, 64, 128, Arb: 5168 , 17 , 0 , 0
0.35/0.49 c bounds - >= 0 @ 0.159821
12.31/12.43 c #Conflicts: 1000 | #Constraints: 6183
12.31/12.43 c #Conflicts: 2000 | #Constraints: 7183
12.31/12.43 c INPROCESSING
12.31/12.43 c #Conflicts: 3000 | #Constraints: 7257
12.31/12.43 c #Conflicts: 4000 | #Constraints: 8257
12.31/12.43 c INPROCESSING
12.31/12.43 c GARBAGE COLLECT
12.31/12.43 c #Conflicts: 5000 | #Constraints: 7783
12.31/12.43 c #Conflicts: 6000 | #Constraints: 8783
12.31/12.43 c INPROCESSING
12.31/12.43 c GARBAGE COLLECT
12.31/12.43 c #Conflicts: 7000 | #Constraints: 7876
12.31/12.43 c #Conflicts: 8000 | #Constraints: 8876
12.31/12.43 c #Conflicts: 9000 | #Constraints: 9876
12.31/12.43 c INPROCESSING
12.31/12.43 c GARBAGE COLLECT
12.31/12.43 c rational objective 4.13104e+08
171.90/172.43 c #Conflicts: 10000 | #Constraints: 8739
171.90/172.43 c #Conflicts: 11000 | #Constraints: 9740
171.90/172.43 c #Conflicts: 12000 | #Constraints: 10741
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 13000 | #Constraints: 9254
171.90/172.43 c #Conflicts: 14000 | #Constraints: 10256
171.90/172.43 c #Conflicts: 15000 | #Constraints: 11256
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 16000 | #Constraints: 9625
171.90/172.43 c #Conflicts: 17000 | #Constraints: 10625
171.90/172.43 c #Conflicts: 18000 | #Constraints: 11625
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 19000 | #Constraints: 9711
171.90/172.43 c #Conflicts: 20000 | #Constraints: 10711
171.90/172.43 c #Conflicts: 21000 | #Constraints: 11711
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 22000 | #Constraints: 9612
171.90/172.43 c #Conflicts: 23000 | #Constraints: 10612
171.90/172.43 c #Conflicts: 24000 | #Constraints: 11612
171.90/172.43 c #Conflicts: 25000 | #Constraints: 12612
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 26000 | #Constraints: 10233
171.90/172.43 c #Conflicts: 27000 | #Constraints: 11233
171.90/172.43 c #Conflicts: 28000 | #Constraints: 12233
171.90/172.43 c #Conflicts: 29000 | #Constraints: 13233
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 30000 | #Constraints: 10605
171.90/172.43 c #Conflicts: 31000 | #Constraints: 11605
171.90/172.43 c #Conflicts: 32000 | #Constraints: 12605
171.90/172.43 c #Conflicts: 33000 | #Constraints: 13605
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 34000 | #Constraints: 10905
171.90/172.43 c #Conflicts: 35000 | #Constraints: 11905
171.90/172.43 c #Conflicts: 36000 | #Constraints: 12905
171.90/172.43 c #Conflicts: 37000 | #Constraints: 13905
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 38000 | #Constraints: 11001
171.90/172.43 c #Conflicts: 39000 | #Constraints: 12001
171.90/172.43 c #Conflicts: 40000 | #Constraints: 13001
171.90/172.43 c #Conflicts: 41000 | #Constraints: 14001
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 42000 | #Constraints: 10755
171.90/172.43 c #Conflicts: 43000 | #Constraints: 11755
171.90/172.43 c #Conflicts: 44000 | #Constraints: 12755
171.90/172.43 c #Conflicts: 45000 | #Constraints: 13755
171.90/172.43 c #Conflicts: 46000 | #Constraints: 14755
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 47000 | #Constraints: 11390
171.90/172.43 c #Conflicts: 48000 | #Constraints: 12391
171.90/172.43 c #Conflicts: 49000 | #Constraints: 13391
171.90/172.43 c #Conflicts: 50000 | #Constraints: 14391
171.90/172.43 c #Conflicts: 51000 | #Constraints: 15391
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 52000 | #Constraints: 11833
171.90/172.43 c #Conflicts: 53000 | #Constraints: 12833
171.90/172.43 c #Conflicts: 54000 | #Constraints: 13834
171.90/172.43 c #Conflicts: 55000 | #Constraints: 14834
171.90/172.43 c #Conflicts: 56000 | #Constraints: 15834
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 57000 | #Constraints: 12060
171.90/172.43 c #Conflicts: 58000 | #Constraints: 13061
171.90/172.43 c #Conflicts: 59000 | #Constraints: 14063
171.90/172.43 c #Conflicts: 60000 | #Constraints: 15063
171.90/172.43 c #Conflicts: 61000 | #Constraints: 16064
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 62000 | #Constraints: 12111
171.90/172.43 c #Conflicts: 63000 | #Constraints: 13111
171.90/172.43 c #Conflicts: 64000 | #Constraints: 14111
171.90/172.43 c #Conflicts: 65000 | #Constraints: 15112
171.90/172.43 c #Conflicts: 66000 | #Constraints: 16112
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 67000 | #Constraints: 11951
171.90/172.43 c #Conflicts: 68000 | #Constraints: 12953
171.90/172.43 c #Conflicts: 69000 | #Constraints: 13954
171.90/172.43 c #Conflicts: 70000 | #Constraints: 14954
171.90/172.43 c #Conflicts: 71000 | #Constraints: 15955
171.90/172.43 c #Conflicts: 72000 | #Constraints: 16955
171.90/172.43 c INPROCESSING
171.90/172.43 c GARBAGE COLLECT
171.90/172.43 c #Conflicts: 73000 | #Constraints: 12585
171.90/172.43 c #Conflicts: 74000 | #Constraints: 13585
171.90/172.43 c #Conflicts: 75000 | #Constraints: 14585
171.90/172.43 c #Conflicts: 76000 | #Constraints: 15585
171.90/172.43 c #Conflicts: 77000 | #Constraints: 16587
171.90/172.43 c #Conflicts: 78000 | #Constraints: 17587
171.90/172.43 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 79000 | #Constraints: 12945
333.78/334.70 c #Conflicts: 80000 | #Constraints: 13946
333.78/334.70 c #Conflicts: 81000 | #Constraints: 14946
333.78/334.70 c #Conflicts: 82000 | #Constraints: 15947
333.78/334.70 c #Conflicts: 83000 | #Constraints: 16947
333.78/334.70 c #Conflicts: 84000 | #Constraints: 17947
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 85000 | #Constraints: 13130
333.78/334.70 c #Conflicts: 86000 | #Constraints: 14130
333.78/334.70 c #Conflicts: 87000 | #Constraints: 15130
333.78/334.70 c #Conflicts: 88000 | #Constraints: 16130
333.78/334.70 c #Conflicts: 89000 | #Constraints: 17130
333.78/334.70 c #Conflicts: 90000 | #Constraints: 18130
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 91000 | #Constraints: 13211
333.78/334.70 c #Conflicts: 92000 | #Constraints: 14211
333.78/334.70 c #Conflicts: 93000 | #Constraints: 15211
333.78/334.70 c #Conflicts: 94000 | #Constraints: 16211
333.78/334.70 c #Conflicts: 95000 | #Constraints: 17211
333.78/334.70 c #Conflicts: 96000 | #Constraints: 18211
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 97000 | #Constraints: 12905
333.78/334.70 c #Conflicts: 98000 | #Constraints: 13905
333.78/334.70 c #Conflicts: 99000 | #Constraints: 14905
333.78/334.70 c #Conflicts: 100000 | #Constraints: 15905
333.78/334.70 c #Conflicts: 101000 | #Constraints: 16905
333.78/334.70 c #Conflicts: 102000 | #Constraints: 17905
333.78/334.70 c #Conflicts: 103000 | #Constraints: 18905
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 104000 | #Constraints: 13545
333.78/334.70 c #Conflicts: 105000 | #Constraints: 14545
333.78/334.70 c #Conflicts: 106000 | #Constraints: 15545
333.78/334.70 c #Conflicts: 107000 | #Constraints: 16546
333.78/334.70 c #Conflicts: 108000 | #Constraints: 17546
333.78/334.70 c #Conflicts: 109000 | #Constraints: 18546
333.78/334.70 c #Conflicts: 110000 | #Constraints: 19546
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 111000 | #Constraints: 13886
333.78/334.70 c #Conflicts: 112000 | #Constraints: 14887
333.78/334.70 c #Conflicts: 113000 | #Constraints: 15887
333.78/334.70 c #Conflicts: 114000 | #Constraints: 16887
333.78/334.70 c #Conflicts: 115000 | #Constraints: 17887
333.78/334.70 c #Conflicts: 116000 | #Constraints: 18888
333.78/334.70 c #Conflicts: 117000 | #Constraints: 19888
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 118000 | #Constraints: 14207
333.78/334.70 c #Conflicts: 119000 | #Constraints: 15207
333.78/334.70 c #Conflicts: 120000 | #Constraints: 16208
333.78/334.70 c #Conflicts: 121000 | #Constraints: 17208
333.78/334.70 c #Conflicts: 122000 | #Constraints: 18209
333.78/334.70 c #Conflicts: 123000 | #Constraints: 19209
333.78/334.70 c #Conflicts: 124000 | #Constraints: 20209
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 125000 | #Constraints: 14309
333.78/334.70 c #Conflicts: 126000 | #Constraints: 15309
333.78/334.70 c #Conflicts: 127000 | #Constraints: 16310
333.78/334.70 c #Conflicts: 128000 | #Constraints: 17310
333.78/334.70 c #Conflicts: 129000 | #Constraints: 18311
333.78/334.70 c #Conflicts: 130000 | #Constraints: 19311
333.78/334.70 c #Conflicts: 131000 | #Constraints: 20313
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 132000 | #Constraints: 14159
333.78/334.70 c #Conflicts: 133000 | #Constraints: 15160
333.78/334.70 c #Conflicts: 134000 | #Constraints: 16160
333.78/334.70 c #Conflicts: 135000 | #Constraints: 17160
333.78/334.70 c #Conflicts: 136000 | #Constraints: 18160
333.78/334.70 c #Conflicts: 137000 | #Constraints: 19160
333.78/334.70 c #Conflicts: 138000 | #Constraints: 20161
333.78/334.70 c #Conflicts: 139000 | #Constraints: 21162
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 140000 | #Constraints: 14723
333.78/334.70 c #Conflicts: 141000 | #Constraints: 15723
333.78/334.70 c #Conflicts: 142000 | #Constraints: 16723
333.78/334.70 c #Conflicts: 143000 | #Constraints: 17723
333.78/334.70 c #Conflicts: 144000 | #Constraints: 18723
333.78/334.70 c #Conflicts: 145000 | #Constraints: 19723
333.78/334.70 c #Conflicts: 146000 | #Constraints: 20723
333.78/334.70 c #Conflicts: 147000 | #Constraints: 21723
333.78/334.70 c INPROCESSING
333.78/334.70 c GARBAGE COLLECT
333.78/334.70 c #Conflicts: 148000 | #Constraints: 15113
333.78/334.70 c #Conflicts: 149000 | #Constraints: 16113
333.78/334.70 c #Conflicts: 150000 | #Constraints: 17113
333.78/334.70 c #Conflicts: 151000 | #Constraints: 18113
569.95/571.54 c #Conflicts: 152000 | #Constraints: 19113
569.95/571.54 c #Conflicts: 153000 | #Constraints: 20115
569.95/571.54 c #Conflicts: 154000 | #Constraints: 21115
569.95/571.54 c #Conflicts: 155000 | #Constraints: 22116
569.95/571.54 c INPROCESSING
569.95/571.54 c GARBAGE COLLECT
569.95/571.54 c #Conflicts: 156000 | #Constraints: 15261
569.95/571.54 c #Conflicts: 157000 | #Constraints: 16261
569.95/571.54 c #Conflicts: 158000 | #Constraints: 17261
569.95/571.54 c #Conflicts: 159000 | #Constraints: 18261
569.95/571.54 c #Conflicts: 160000 | #Constraints: 19261
569.95/571.54 c #Conflicts: 161000 | #Constraints: 20261
569.95/571.54 c #Conflicts: 162000 | #Constraints: 21261
569.95/571.54 c #Conflicts: 163000 | #Constraints: 22262
569.95/571.54 c INPROCESSING
569.95/571.54 c GARBAGE COLLECT
569.95/571.54 c #Conflicts: 164000 | #Constraints: 15320
569.95/571.54 c #Conflicts: 165000 | #Constraints: 16321
569.95/571.54 c #Conflicts: 166000 | #Constraints: 17321
569.95/571.54 c #Conflicts: 167000 | #Constraints: 18321
569.95/571.54 c #Conflicts: 168000 | #Constraints: 19321
569.95/571.54 c #Conflicts: 169000 | #Constraints: 20322
569.95/571.54 c #Conflicts: 170000 | #Constraints: 21322
569.95/571.54 c #Conflicts: 171000 | #Constraints: 22322
569.95/571.54 c INPROCESSING
569.95/571.54 c GARBAGE COLLECT
569.95/571.54 c #Conflicts: 172000 | #Constraints: 15137
569.95/571.54 c #Conflicts: 173000 | #Constraints: 16137
569.95/571.54 c #Conflicts: 174000 | #Constraints: 17137
569.95/571.54 c #Conflicts: 175000 | #Constraints: 18137
569.95/571.54 c #Conflicts: 176000 | #Constraints: 19137
569.95/571.54 c #Conflicts: 177000 | #Constraints: 20137
569.95/571.54 c #Conflicts: 178000 | #Constraints: 21137
569.95/571.54 c #Conflicts: 179000 | #Constraints: 22138
569.95/571.54 c #Conflicts: 180000 | #Constraints: 23138
569.95/571.54 c INPROCESSING
569.95/571.54 c GARBAGE COLLECT
569.95/571.54 c #Conflicts: 181000 | #Constraints: 15836
569.95/571.54 c #Conflicts: 182000 | #Constraints: 16836
569.95/571.54 c #Conflicts: 183000 | #Constraints: 17836
569.95/571.54 c #Conflicts: 184000 | #Constraints: 18836
569.95/571.54 c #Conflicts: 185000 | #Constraints: 19836
569.95/571.54 c #Conflicts: 186000 | #Constraints: 20836
569.95/571.54 c #Conflicts: 187000 | #Constraints: 21836
569.95/571.54 c #Conflicts: 188000 | #Constraints: 22836
569.95/571.54 c #Conflicts: 189000 | #Constraints: 23836
569.95/571.54 c INPROCESSING
569.95/571.54 c GARBAGE COLLECT
569.95/571.54 c #Conflicts: 190000 | #Constraints: 16275
569.95/571.54 c #Conflicts: 191000 | #Constraints: 17275
569.95/571.54 c #Conflicts: 192000 | #Constraints: 18275
569.95/571.54 c #Conflicts: 193000 | #Constraints: 19275
569.95/571.54 c #Conflicts: 194000 | #Constraints: 20275
569.95/571.54 c #Conflicts: 195000 | #Constraints: 21276
569.95/571.54 c #Conflicts: 196000 | #Constraints: 22277
569.95/571.54 c #Conflicts: 197000 | #Constraints: 23278
569.95/571.54 c #Conflicts: 198000 | #Constraints: 24279
569.95/571.54 c INPROCESSING
569.95/571.54 c GARBAGE COLLECT
569.95/571.54 c #Conflicts: 199000 | #Constraints: 16468
569.95/571.54 c #Conflicts: 200000 | #Constraints: 17468
569.95/571.54 c #Conflicts: 201000 | #Constraints: 18468
569.95/571.54 c #Conflicts: 202000 | #Constraints: 19468
569.95/571.54 c #Conflicts: 203000 | #Constraints: 20468
569.95/571.54 c #Conflicts: 204000 | #Constraints: 21468
569.95/571.54 c #Conflicts: 205000 | #Constraints: 22469
569.95/571.54 c #Conflicts: 206000 | #Constraints: 23470
569.95/571.54 c #Conflicts: 207000 | #Constraints: 24471
569.95/571.54 c INPROCESSING
569.95/571.54 c GARBAGE COLLECT
569.95/571.54 c #Conflicts: 208000 | #Constraints: 16412
569.95/571.54 c #Conflicts: 209000 | #Constraints: 17413
569.95/571.54 c #Conflicts: 210000 | #Constraints: 18413
569.95/571.54 c #Conflicts: 211000 | #Constraints: 19413
569.95/571.54 c #Conflicts: 212000 | #Constraints: 20413
569.95/571.54 c #Conflicts: 213000 | #Constraints: 21414
569.95/571.54 c #Conflicts: 214000 | #Constraints: 22415
569.95/571.54 c #Conflicts: 215000 | #Constraints: 23415
569.95/571.54 c #Conflicts: 216000 | #Constraints: 24417
569.95/571.54 c INPROCESSING
569.95/571.54 c GARBAGE COLLECT
569.95/571.54 c #Conflicts: 217000 | #Constraints: 16289
569.95/571.54 c #Conflicts: 218000 | #Constraints: 17291
569.95/571.54 c #Conflicts: 219000 | #Constraints: 18293
569.95/571.54 c #Conflicts: 220000 | #Constraints: 19296
569.95/571.54 c #Conflicts: 221000 | #Constraints: 20296
569.95/571.54 c #Conflicts: 222000 | #Constraints: 21297
569.95/571.54 c #Conflicts: 223000 | #Constraints: 22297
569.95/571.54 c #Conflicts: 224000 | #Constraints: 23299
661.71/663.57 c #Conflicts: 225000 | #Constraints: 24299
661.71/663.57 c #Conflicts: 226000 | #Constraints: 25299
661.71/663.57 c INPROCESSING
661.71/663.57 c GARBAGE COLLECT
661.71/663.57 c #Conflicts: 227000 | #Constraints: 16821
661.71/663.57 c #Conflicts: 228000 | #Constraints: 17821
661.71/663.57 c #Conflicts: 229000 | #Constraints: 18821
661.71/663.57 c #Conflicts: 230000 | #Constraints: 19821
661.71/663.57 c #Conflicts: 231000 | #Constraints: 20821
661.71/663.57 c #Conflicts: 232000 | #Constraints: 21822
661.71/663.57 c #Conflicts: 233000 | #Constraints: 22823
661.71/663.57 c #Conflicts: 234000 | #Constraints: 23823
661.71/663.57 c #Conflicts: 235000 | #Constraints: 24823
661.71/663.57 c #Conflicts: 236000 | #Constraints: 25823
661.71/663.57 c INPROCESSING
661.71/663.57 c GARBAGE COLLECT
661.71/663.57 c #Conflicts: 237000 | #Constraints: 17229
661.71/663.57 c #Conflicts: 238000 | #Constraints: 18229
661.71/663.57 c #Conflicts: 239000 | #Constraints: 19229
661.71/663.57 c #Conflicts: 240000 | #Constraints: 20229
661.71/663.57 c #Conflicts: 241000 | #Constraints: 21229
661.71/663.57 c #Conflicts: 242000 | #Constraints: 22229
661.71/663.57 c #Conflicts: 243000 | #Constraints: 23229
661.71/663.57 c #Conflicts: 244000 | #Constraints: 24229
661.71/663.57 c #Conflicts: 245000 | #Constraints: 25229
661.71/663.57 c #Conflicts: 246000 | #Constraints: 26229
661.71/663.57 c INPROCESSING
661.71/663.57 c GARBAGE COLLECT
661.71/663.57 c #Conflicts: 247000 | #Constraints: 17505
661.71/663.57 c #Conflicts: 248000 | #Constraints: 18505
661.71/663.57 c #Conflicts: 249000 | #Constraints: 19505
661.71/663.57 c #Conflicts: 250000 | #Constraints: 20506
661.71/663.57 c #Conflicts: 251000 | #Constraints: 21506
661.71/663.57 c #Conflicts: 252000 | #Constraints: 22507
661.71/663.57 c #Conflicts: 253000 | #Constraints: 23508
661.71/663.57 c #Conflicts: 254000 | #Constraints: 24508
661.71/663.57 c #Conflicts: 255000 | #Constraints: 25508
661.71/663.57 c #Conflicts: 256000 | #Constraints: 26508
661.71/663.57 c INPROCESSING
661.71/663.57 c GARBAGE COLLECT
661.71/663.57 c #Conflicts: 257000 | #Constraints: 17518
661.71/663.57 c #Conflicts: 258000 | #Constraints: 18519
661.71/663.57 c #Conflicts: 259000 | #Constraints: 19519
661.71/663.57 c #Conflicts: 260000 | #Constraints: 20519
661.71/663.57 c #Conflicts: 261000 | #Constraints: 21519
661.71/663.57 c #Conflicts: 262000 | #Constraints: 22519
661.71/663.57 c #Conflicts: 263000 | #Constraints: 23519
661.71/663.57 c #Conflicts: 264000 | #Constraints: 24519
661.71/663.57 c #Conflicts: 265000 | #Constraints: 25519
661.71/663.57 c #Conflicts: 266000 | #Constraints: 26519
661.71/663.57 c INPROCESSING
661.71/663.57 c GARBAGE COLLECT
661.71/663.57 c #Conflicts: 267000 | #Constraints: 17299
661.71/663.57 c #Conflicts: 268000 | #Constraints: 18299
661.71/663.57 c #Conflicts: 269000 | #Constraints: 19299
661.71/663.57 c #Conflicts: 270000 | #Constraints: 20299
661.71/663.57 c #Conflicts: 271000 | #Constraints: 21299
661.71/663.57 c #Conflicts: 272000 | #Constraints: 22299
661.71/663.57 c #Conflicts: 273000 | #Constraints: 23300
661.71/663.57 c #Conflicts: 274000 | #Constraints: 24300
661.71/663.57 c #Conflicts: 275000 | #Constraints: 25300
661.71/663.57 c #Conflicts: 276000 | #Constraints: 26300
661.71/663.57 c #Conflicts: 277000 | #Constraints: 27300
661.71/663.57 c INPROCESSING
661.71/663.57 c GARBAGE COLLECT
661.71/663.57 c #Conflicts: 278000 | #Constraints: 17852
661.71/663.57 c #Conflicts: 279000 | #Constraints: 18852
661.71/663.57 c #Conflicts: 280000 | #Constraints: 19852
661.71/663.57 c #Conflicts: 281000 | #Constraints: 20852
661.71/663.57 c #Conflicts: 282000 | #Constraints: 21853
661.71/663.57 c #Conflicts: 283000 | #Constraints: 22853
661.71/663.57 c #Conflicts: 284000 | #Constraints: 23853
661.71/663.57 c #Conflicts: 285000 | #Constraints: 24853
661.71/663.57 c #Conflicts: 286000 | #Constraints: 25853
661.71/663.57 c #Conflicts: 287000 | #Constraints: 26853
661.71/663.57 c #Conflicts: 288000 | #Constraints: 27853
661.71/663.57 c INPROCESSING
661.71/663.57 c GARBAGE COLLECT
661.71/663.57 c #Conflicts: 289000 | #Constraints: 18376
661.71/663.57 c #Conflicts: 290000 | #Constraints: 19378
661.71/663.57 c #Conflicts: 291000 | #Constraints: 20378
661.71/663.57 c #Conflicts: 292000 | #Constraints: 21378
661.71/663.57 c #Conflicts: 293000 | #Constraints: 22378
661.71/663.57 c #Conflicts: 294000 | #Constraints: 23378
661.71/663.57 c #Conflicts: 295000 | #Constraints: 24378
661.71/663.57 c #Conflicts: 296000 | #Constraints: 25378
661.71/663.57 c #Conflicts: 297000 | #Constraints: 26379
661.71/663.57 c #Conflicts: 298000 | #Constraints: 27379
661.71/663.57 c #Conflicts: 299000 | #Constraints: 28379
938.50/941.06 c INPROCESSING
938.50/941.06 c GARBAGE COLLECT
938.50/941.06 c #Conflicts: 300000 | #Constraints: 18650
938.50/941.06 c #Conflicts: 301000 | #Constraints: 19650
938.50/941.06 c #Conflicts: 302000 | #Constraints: 20650
938.50/941.06 c #Conflicts: 303000 | #Constraints: 21650
938.50/941.06 c #Conflicts: 304000 | #Constraints: 22651
938.50/941.06 c #Conflicts: 305000 | #Constraints: 23651
938.50/941.06 c #Conflicts: 306000 | #Constraints: 24653
938.50/941.06 c #Conflicts: 307000 | #Constraints: 25653
938.50/941.06 c #Conflicts: 308000 | #Constraints: 26654
938.50/941.06 c #Conflicts: 309000 | #Constraints: 27654
938.50/941.06 c #Conflicts: 310000 | #Constraints: 28655
938.50/941.06 c INPROCESSING
938.50/941.06 c GARBAGE COLLECT
938.50/941.06 c #Conflicts: 311000 | #Constraints: 18663
938.50/941.06 c #Conflicts: 312000 | #Constraints: 19663
938.50/941.06 c #Conflicts: 313000 | #Constraints: 20664
938.50/941.06 c #Conflicts: 314000 | #Constraints: 21664
938.50/941.06 c #Conflicts: 315000 | #Constraints: 22665
938.50/941.06 c #Conflicts: 316000 | #Constraints: 23666
938.50/941.06 c #Conflicts: 317000 | #Constraints: 24668
938.50/941.06 c #Conflicts: 318000 | #Constraints: 25669
938.50/941.06 c #Conflicts: 319000 | #Constraints: 26671
938.50/941.06 c #Conflicts: 320000 | #Constraints: 27671
938.50/941.06 c #Conflicts: 321000 | #Constraints: 28671
938.50/941.06 c INPROCESSING
938.50/941.06 c GARBAGE COLLECT
938.50/941.06 c #Conflicts: 322000 | #Constraints: 18379
938.50/941.06 c #Conflicts: 323000 | #Constraints: 19379
938.50/941.06 c #Conflicts: 324000 | #Constraints: 20382
938.50/941.06 c #Conflicts: 325000 | #Constraints: 21382
938.50/941.06 c #Conflicts: 326000 | #Constraints: 22383
938.50/941.06 c #Conflicts: 327000 | #Constraints: 23383
938.50/941.06 c #Conflicts: 328000 | #Constraints: 24383
938.50/941.06 c #Conflicts: 329000 | #Constraints: 25383
938.50/941.06 c #Conflicts: 330000 | #Constraints: 26383
938.50/941.06 c #Conflicts: 331000 | #Constraints: 27383
938.50/941.06 c #Conflicts: 332000 | #Constraints: 28383
938.50/941.06 c #Conflicts: 333000 | #Constraints: 29383
938.50/941.06 c INPROCESSING
938.50/941.06 c GARBAGE COLLECT
938.50/941.06 c #Conflicts: 334000 | #Constraints: 18929
938.50/941.06 c #Conflicts: 335000 | #Constraints: 19929
938.50/941.06 c #Conflicts: 336000 | #Constraints: 20929
938.50/941.06 c #Conflicts: 337000 | #Constraints: 21929
938.50/941.06 c #Conflicts: 338000 | #Constraints: 22929
938.50/941.06 c #Conflicts: 339000 | #Constraints: 23929
938.50/941.06 c #Conflicts: 340000 | #Constraints: 24929
938.50/941.06 c #Conflicts: 341000 | #Constraints: 25929
938.50/941.06 c #Conflicts: 342000 | #Constraints: 26929
938.50/941.06 c #Conflicts: 343000 | #Constraints: 27930
938.50/941.06 c #Conflicts: 344000 | #Constraints: 28931
938.50/941.06 c #Conflicts: 345000 | #Constraints: 29931
938.50/941.06 c INPROCESSING
938.50/941.06 c GARBAGE COLLECT
938.50/941.06 c #Conflicts: 346000 | #Constraints: 19474
938.50/941.06 c #Conflicts: 347000 | #Constraints: 20474
938.50/941.06 c #Conflicts: 348000 | #Constraints: 21474
938.50/941.06 c #Conflicts: 349000 | #Constraints: 22474
938.50/941.06 c #Conflicts: 350000 | #Constraints: 23474
938.50/941.06 c #Conflicts: 351000 | #Constraints: 24475
938.50/941.06 c #Conflicts: 352000 | #Constraints: 25476
938.50/941.06 c #Conflicts: 353000 | #Constraints: 26477
938.50/941.06 c #Conflicts: 354000 | #Constraints: 27479
938.50/941.06 c #Conflicts: 355000 | #Constraints: 28479
938.50/941.06 c #Conflicts: 356000 | #Constraints: 29479
938.50/941.06 c #Conflicts: 357000 | #Constraints: 30479
938.50/941.06 c INPROCESSING
938.50/941.06 c GARBAGE COLLECT
938.50/941.06 c #Conflicts: 358000 | #Constraints: 19707
938.50/941.06 c #Conflicts: 359000 | #Constraints: 20707
938.50/941.06 c #Conflicts: 360000 | #Constraints: 21707
938.50/941.06 c #Conflicts: 361000 | #Constraints: 22707
938.50/941.06 c #Conflicts: 362000 | #Constraints: 23708
938.50/941.06 c #Conflicts: 363000 | #Constraints: 24708
938.50/941.06 c #Conflicts: 364000 | #Constraints: 25708
938.50/941.06 c #Conflicts: 365000 | #Constraints: 26708
938.50/941.06 c #Conflicts: 366000 | #Constraints: 27709
938.50/941.06 c #Conflicts: 367000 | #Constraints: 28709
938.50/941.06 c #Conflicts: 368000 | #Constraints: 29709
938.50/941.06 c #Conflicts: 369000 | #Constraints: 30709
938.50/941.06 c INPROCESSING
938.50/941.06 c GARBAGE COLLECT
938.50/941.06 c #Conflicts: 370000 | #Constraints: 19838
938.50/941.06 c #Conflicts: 371000 | #Constraints: 20838
938.50/941.06 c #Conflicts: 372000 | #Constraints: 21838
938.50/941.06 c #Conflicts: 373000 | #Constraints: 22840
1056.48/1059.36 c #Conflicts: 374000 | #Constraints: 23840
1056.48/1059.36 c #Conflicts: 375000 | #Constraints: 24841
1056.48/1059.36 c #Conflicts: 376000 | #Constraints: 25842
1056.48/1059.36 c #Conflicts: 377000 | #Constraints: 26843
1056.48/1059.36 c #Conflicts: 378000 | #Constraints: 27843
1056.48/1059.36 c #Conflicts: 379000 | #Constraints: 28846
1056.48/1059.36 c #Conflicts: 380000 | #Constraints: 29846
1056.48/1059.36 c #Conflicts: 381000 | #Constraints: 30846
1056.48/1059.36 c INPROCESSING
1056.48/1059.36 c GARBAGE COLLECT
1056.48/1059.36 c #Conflicts: 382000 | #Constraints: 19624
1056.48/1059.36 c #Conflicts: 383000 | #Constraints: 20625
1056.48/1059.36 c #Conflicts: 384000 | #Constraints: 21626
1056.48/1059.36 c #Conflicts: 385000 | #Constraints: 22626
1056.48/1059.36 c #Conflicts: 386000 | #Constraints: 23627
1056.48/1059.36 c #Conflicts: 387000 | #Constraints: 24627
1056.48/1059.36 c #Conflicts: 388000 | #Constraints: 25627
1056.48/1059.36 c #Conflicts: 389000 | #Constraints: 26628
1056.48/1059.36 c #Conflicts: 390000 | #Constraints: 27628
1056.48/1059.36 c #Conflicts: 391000 | #Constraints: 28629
1056.48/1059.36 c #Conflicts: 392000 | #Constraints: 29629
1056.48/1059.36 c #Conflicts: 393000 | #Constraints: 30629
1056.48/1059.36 c #Conflicts: 394000 | #Constraints: 31629
1056.48/1059.36 c INPROCESSING
1056.48/1059.36 c GARBAGE COLLECT
1056.48/1059.36 c #Conflicts: 395000 | #Constraints: 20251
1056.48/1059.36 c #Conflicts: 396000 | #Constraints: 21251
1056.48/1059.36 c #Conflicts: 397000 | #Constraints: 22251
1056.48/1059.36 c #Conflicts: 398000 | #Constraints: 23251
1056.48/1059.36 c #Conflicts: 399000 | #Constraints: 24251
1056.48/1059.36 c #Conflicts: 400000 | #Constraints: 25251
1056.48/1059.36 c #Conflicts: 401000 | #Constraints: 26251
1056.48/1059.36 c #Conflicts: 402000 | #Constraints: 27251
1056.48/1059.36 c #Conflicts: 403000 | #Constraints: 28251
1056.48/1059.36 c #Conflicts: 404000 | #Constraints: 29251
1056.48/1059.36 c #Conflicts: 405000 | #Constraints: 30251
1056.48/1059.36 c #Conflicts: 406000 | #Constraints: 31251
1056.48/1059.36 c #Conflicts: 407000 | #Constraints: 32251
1056.48/1059.36 c INPROCESSING
1056.48/1059.36 c GARBAGE COLLECT
1056.48/1059.36 c #Conflicts: 408000 | #Constraints: 20659
1056.48/1059.36 c #Conflicts: 409000 | #Constraints: 21660
1056.48/1059.36 c #Conflicts: 410000 | #Constraints: 22660
1056.48/1059.36 c #Conflicts: 411000 | #Constraints: 23661
1056.48/1059.36 c #Conflicts: 412000 | #Constraints: 24661
1056.48/1059.36 c #Conflicts: 413000 | #Constraints: 25661
1056.48/1059.36 c #Conflicts: 414000 | #Constraints: 26661
1056.48/1059.36 c #Conflicts: 415000 | #Constraints: 27661
1056.48/1059.36 c #Conflicts: 416000 | #Constraints: 28661
1056.48/1059.36 c #Conflicts: 417000 | #Constraints: 29661
1056.48/1059.36 c #Conflicts: 418000 | #Constraints: 30661
1056.48/1059.36 c #Conflicts: 419000 | #Constraints: 31661
1056.48/1059.36 c #Conflicts: 420000 | #Constraints: 32661
1056.48/1059.36 c INPROCESSING
1056.48/1059.36 c GARBAGE COLLECT
1056.48/1059.36 c #Conflicts: 421000 | #Constraints: 20788
1056.48/1059.36 c #Conflicts: 422000 | #Constraints: 21788
1056.48/1059.36 c #Conflicts: 423000 | #Constraints: 22789
1056.48/1059.36 c #Conflicts: 424000 | #Constraints: 23789
1056.48/1059.36 c #Conflicts: 425000 | #Constraints: 24789
1056.48/1059.36 c #Conflicts: 426000 | #Constraints: 25790
1056.48/1059.36 c #Conflicts: 427000 | #Constraints: 26790
1056.48/1059.36 c #Conflicts: 428000 | #Constraints: 27790
1056.48/1059.36 c #Conflicts: 429000 | #Constraints: 28790
1056.48/1059.36 c #Conflicts: 430000 | #Constraints: 29790
1056.48/1059.36 c #Conflicts: 431000 | #Constraints: 30790
1056.48/1059.36 c #Conflicts: 432000 | #Constraints: 31791
1056.48/1059.36 c #Conflicts: 433000 | #Constraints: 32791
1056.48/1059.36 c INPROCESSING
1056.48/1059.36 c GARBAGE COLLECT
1056.48/1059.36 c #Conflicts: 434000 | #Constraints: 20759
1056.48/1059.36 c #Conflicts: 435000 | #Constraints: 21759
1056.48/1059.36 c #Conflicts: 436000 | #Constraints: 22760
1056.48/1059.36 c #Conflicts: 437000 | #Constraints: 23760
1056.48/1059.36 c #Conflicts: 438000 | #Constraints: 24760
1056.48/1059.36 c #Conflicts: 439000 | #Constraints: 25761
1056.48/1059.36 c #Conflicts: 440000 | #Constraints: 26761
1056.48/1059.36 c #Conflicts: 441000 | #Constraints: 27761
1056.48/1059.36 c #Conflicts: 442000 | #Constraints: 28761
1056.48/1059.36 c #Conflicts: 443000 | #Constraints: 29761
1056.48/1059.36 c #Conflicts: 444000 | #Constraints: 30761
1056.48/1059.36 c #Conflicts: 445000 | #Constraints: 31763
1056.48/1059.36 c #Conflicts: 446000 | #Constraints: 32765
1056.48/1059.36 c INPROCESSING
1056.48/1059.36 c GARBAGE COLLECT
1056.48/1059.36 c #Conflicts: 447000 | #Constraints: 20576
1056.48/1059.36 c #Conflicts: 448000 | #Constraints: 21576
1345.20/1348.85 c #Conflicts: 449000 | #Constraints: 22576
1345.20/1348.85 c #Conflicts: 450000 | #Constraints: 23577
1345.20/1348.85 c #Conflicts: 451000 | #Constraints: 24578
1345.20/1348.85 c #Conflicts: 452000 | #Constraints: 25579
1345.20/1348.85 c #Conflicts: 453000 | #Constraints: 26579
1345.20/1348.85 c #Conflicts: 454000 | #Constraints: 27579
1345.20/1348.85 c #Conflicts: 455000 | #Constraints: 28580
1345.20/1348.85 c #Conflicts: 456000 | #Constraints: 29580
1345.20/1348.85 c #Conflicts: 457000 | #Constraints: 30580
1345.20/1348.85 c #Conflicts: 458000 | #Constraints: 31581
1345.20/1348.85 c #Conflicts: 459000 | #Constraints: 32581
1345.20/1348.85 c #Conflicts: 460000 | #Constraints: 33581
1345.20/1348.85 c INPROCESSING
1345.20/1348.85 c GARBAGE COLLECT
1345.20/1348.85 c #Conflicts: 461000 | #Constraints: 21226
1345.20/1348.85 c #Conflicts: 462000 | #Constraints: 22226
1345.20/1348.85 c #Conflicts: 463000 | #Constraints: 23226
1345.20/1348.85 c #Conflicts: 464000 | #Constraints: 24227
1345.20/1348.85 c #Conflicts: 465000 | #Constraints: 25227
1345.20/1348.85 c #Conflicts: 466000 | #Constraints: 26228
1345.20/1348.85 c #Conflicts: 467000 | #Constraints: 27229
1345.20/1348.85 c #Conflicts: 468000 | #Constraints: 28230
1345.20/1348.85 c #Conflicts: 469000 | #Constraints: 29231
1345.20/1348.85 c #Conflicts: 470000 | #Constraints: 30232
1345.20/1348.85 c #Conflicts: 471000 | #Constraints: 31232
1345.20/1348.85 c #Conflicts: 472000 | #Constraints: 32232
1345.20/1348.85 c #Conflicts: 473000 | #Constraints: 33232
1345.20/1348.85 c #Conflicts: 474000 | #Constraints: 34232
1345.20/1348.85 c INPROCESSING
1345.20/1348.85 c GARBAGE COLLECT
1345.20/1348.85 c #Conflicts: 475000 | #Constraints: 21491
1345.20/1348.85 c #Conflicts: 476000 | #Constraints: 22491
1345.20/1348.85 c #Conflicts: 477000 | #Constraints: 23491
1345.20/1348.85 c #Conflicts: 478000 | #Constraints: 24492
1345.20/1348.85 c #Conflicts: 479000 | #Constraints: 25492
1345.20/1348.85 c #Conflicts: 480000 | #Constraints: 26493
1345.20/1348.85 c #Conflicts: 481000 | #Constraints: 27494
1345.20/1348.85 c #Conflicts: 482000 | #Constraints: 28494
1345.20/1348.85 c #Conflicts: 483000 | #Constraints: 29494
1345.20/1348.85 c #Conflicts: 484000 | #Constraints: 30495
1345.20/1348.85 c #Conflicts: 485000 | #Constraints: 31498
1345.20/1348.85 c #Conflicts: 486000 | #Constraints: 32498
1345.20/1348.85 c #Conflicts: 487000 | #Constraints: 33498
1345.20/1348.85 c #Conflicts: 488000 | #Constraints: 34498
1345.20/1348.85 c INPROCESSING
1345.20/1348.85 c GARBAGE COLLECT
1345.20/1348.85 c #Conflicts: 489000 | #Constraints: 21638
1345.20/1348.85 c #Conflicts: 490000 | #Constraints: 22638
1345.20/1348.85 c #Conflicts: 491000 | #Constraints: 23638
1345.20/1348.85 c #Conflicts: 492000 | #Constraints: 24638
1345.20/1348.85 c #Conflicts: 493000 | #Constraints: 25638
1345.20/1348.85 c #Conflicts: 494000 | #Constraints: 26638
1345.20/1348.85 c #Conflicts: 495000 | #Constraints: 27638
1345.20/1348.85 c #Conflicts: 496000 | #Constraints: 28638
1345.20/1348.85 c #Conflicts: 497000 | #Constraints: 29638
1345.20/1348.85 c #Conflicts: 498000 | #Constraints: 30638
1345.20/1348.85 c #Conflicts: 499000 | #Constraints: 31638
1345.20/1348.85 c #Conflicts: 500000 | #Constraints: 32638
1345.20/1348.85 c #Conflicts: 501000 | #Constraints: 33638
1345.20/1348.85 c #Conflicts: 502000 | #Constraints: 34638
1345.20/1348.85 c INPROCESSING
1345.20/1348.85 c GARBAGE COLLECT
1345.20/1348.85 c #Conflicts: 503000 | #Constraints: 21618
1345.20/1348.85 c #Conflicts: 504000 | #Constraints: 22618
1345.20/1348.85 c #Conflicts: 505000 | #Constraints: 23618
1345.20/1348.85 c #Conflicts: 506000 | #Constraints: 24618
1345.20/1348.85 c #Conflicts: 507000 | #Constraints: 25618
1345.20/1348.85 c #Conflicts: 508000 | #Constraints: 26618
1345.20/1348.85 c #Conflicts: 509000 | #Constraints: 27618
1345.20/1348.85 c #Conflicts: 510000 | #Constraints: 28618
1345.20/1348.85 c #Conflicts: 511000 | #Constraints: 29618
1345.20/1348.85 c #Conflicts: 512000 | #Constraints: 30618
1345.20/1348.85 c #Conflicts: 513000 | #Constraints: 31618
1345.20/1348.85 c #Conflicts: 514000 | #Constraints: 32618
1345.20/1348.85 c #Conflicts: 515000 | #Constraints: 33618
1345.20/1348.85 c #Conflicts: 516000 | #Constraints: 34618
1345.20/1348.85 c INPROCESSING
1345.20/1348.85 c GARBAGE COLLECT
1345.20/1348.85 c #Conflicts: 517000 | #Constraints: 21338
1345.20/1348.85 c #Conflicts: 518000 | #Constraints: 22338
1345.20/1348.85 c #Conflicts: 519000 | #Constraints: 23338
1345.20/1348.85 c #Conflicts: 520000 | #Constraints: 24338
1345.20/1348.85 c #Conflicts: 521000 | #Constraints: 25338
1345.20/1348.85 c #Conflicts: 522000 | #Constraints: 26338
1345.20/1348.85 c #Conflicts: 523000 | #Constraints: 27338
1521.93/1526.05 c #Conflicts: 524000 | #Constraints: 28338
1521.93/1526.05 c #Conflicts: 525000 | #Constraints: 29338
1521.93/1526.05 c #Conflicts: 526000 | #Constraints: 30338
1521.93/1526.05 c #Conflicts: 527000 | #Constraints: 31338
1521.93/1526.05 c #Conflicts: 528000 | #Constraints: 32338
1521.93/1526.05 c #Conflicts: 529000 | #Constraints: 33338
1521.93/1526.05 c #Conflicts: 530000 | #Constraints: 34338
1521.93/1526.05 c #Conflicts: 531000 | #Constraints: 35338
1521.93/1526.05 c INPROCESSING
1521.93/1526.05 c GARBAGE COLLECT
1521.93/1526.05 c #Conflicts: 532000 | #Constraints: 22057
1521.93/1526.05 c #Conflicts: 533000 | #Constraints: 23057
1521.93/1526.05 c #Conflicts: 534000 | #Constraints: 24057
1521.93/1526.05 c #Conflicts: 535000 | #Constraints: 25058
1521.93/1526.05 c #Conflicts: 536000 | #Constraints: 26058
1521.93/1526.05 c #Conflicts: 537000 | #Constraints: 27058
1521.93/1526.05 c #Conflicts: 538000 | #Constraints: 28058
1521.93/1526.05 c #Conflicts: 539000 | #Constraints: 29058
1521.93/1526.05 c #Conflicts: 540000 | #Constraints: 30059
1521.93/1526.05 c #Conflicts: 541000 | #Constraints: 31059
1521.93/1526.05 c #Conflicts: 542000 | #Constraints: 32059
1521.93/1526.05 c #Conflicts: 543000 | #Constraints: 33059
1521.93/1526.05 c #Conflicts: 544000 | #Constraints: 34059
1521.93/1526.05 c #Conflicts: 545000 | #Constraints: 35059
1521.93/1526.05 c #Conflicts: 546000 | #Constraints: 36059
1521.93/1526.05 c INPROCESSING
1521.93/1526.05 c GARBAGE COLLECT
1521.93/1526.05 c #Conflicts: 547000 | #Constraints: 22586
1521.93/1526.05 c #Conflicts: 548000 | #Constraints: 23586
1521.93/1526.05 c #Conflicts: 549000 | #Constraints: 24586
1521.93/1526.05 c #Conflicts: 550000 | #Constraints: 25586
1521.93/1526.05 c #Conflicts: 551000 | #Constraints: 26586
1521.93/1526.05 c #Conflicts: 552000 | #Constraints: 27586
1521.93/1526.05 c #Conflicts: 553000 | #Constraints: 28586
1521.93/1526.05 c #Conflicts: 554000 | #Constraints: 29586
1521.93/1526.05 c #Conflicts: 555000 | #Constraints: 30586
1521.93/1526.05 c #Conflicts: 556000 | #Constraints: 31586
1521.93/1526.05 c #Conflicts: 557000 | #Constraints: 32586
1521.93/1526.05 c #Conflicts: 558000 | #Constraints: 33586
1521.93/1526.05 c #Conflicts: 559000 | #Constraints: 34586
1521.93/1526.05 c #Conflicts: 560000 | #Constraints: 35586
1521.93/1526.05 c #Conflicts: 561000 | #Constraints: 36586
1521.93/1526.05 c INPROCESSING
1521.93/1526.05 c GARBAGE COLLECT
1521.93/1526.05 c #Conflicts: 562000 | #Constraints: 22906
1521.93/1526.05 c #Conflicts: 563000 | #Constraints: 23906
1521.93/1526.05 c #Conflicts: 564000 | #Constraints: 24906
1521.93/1526.05 c #Conflicts: 565000 | #Constraints: 25906
1521.93/1526.05 c #Conflicts: 566000 | #Constraints: 26906
1521.93/1526.05 c #Conflicts: 567000 | #Constraints: 27906
1521.93/1526.05 c #Conflicts: 568000 | #Constraints: 28906
1521.93/1526.05 c #Conflicts: 569000 | #Constraints: 29906
1521.93/1526.05 c #Conflicts: 570000 | #Constraints: 30906
1521.93/1526.05 c #Conflicts: 571000 | #Constraints: 31906
1521.93/1526.05 c #Conflicts: 572000 | #Constraints: 32906
1521.93/1526.05 c #Conflicts: 573000 | #Constraints: 33906
1521.93/1526.05 c #Conflicts: 574000 | #Constraints: 34906
1521.93/1526.05 c #Conflicts: 575000 | #Constraints: 35906
1521.93/1526.05 c #Conflicts: 576000 | #Constraints: 36906
1521.93/1526.05 c INPROCESSING
1521.93/1526.05 c GARBAGE COLLECT
1521.93/1526.05 c #Conflicts: 577000 | #Constraints: 22974
1521.93/1526.05 c #Conflicts: 578000 | #Constraints: 23974
1521.93/1526.05 c #Conflicts: 579000 | #Constraints: 24974
1521.93/1526.05 c #Conflicts: 580000 | #Constraints: 25974
1521.93/1526.05 c #Conflicts: 581000 | #Constraints: 26974
1521.93/1526.05 c #Conflicts: 582000 | #Constraints: 27974
1521.93/1526.05 c #Conflicts: 583000 | #Constraints: 28974
1521.93/1526.05 c #Conflicts: 584000 | #Constraints: 29974
1521.93/1526.05 c #Conflicts: 585000 | #Constraints: 30974
1521.93/1526.05 c #Conflicts: 586000 | #Constraints: 31974
1521.93/1526.05 c #Conflicts: 587000 | #Constraints: 32974
1521.93/1526.05 c #Conflicts: 588000 | #Constraints: 33974
1521.93/1526.05 c #Conflicts: 589000 | #Constraints: 34974
1521.93/1526.05 c #Conflicts: 590000 | #Constraints: 35974
1521.93/1526.05 c #Conflicts: 591000 | #Constraints: 36974
1521.93/1526.05 c INPROCESSING
1521.93/1526.05 c GARBAGE COLLECT
1521.93/1526.05 c #Conflicts: 592000 | #Constraints: 22947
1521.93/1526.05 c #Conflicts: 593000 | #Constraints: 23947
1521.93/1526.05 c #Conflicts: 594000 | #Constraints: 24947
1521.93/1526.05 c #Conflicts: 595000 | #Constraints: 25947
1521.93/1526.05 c #Conflicts: 596000 | #Constraints: 26947
1521.93/1526.05 c #Conflicts: 597000 | #Constraints: 27947
1521.93/1526.05 c #Conflicts: 598000 | #Constraints: 28947
1521.93/1526.05 c #Conflicts: 599000 | #Constraints: 29947
1624.23/1628.67 c #Conflicts: 600000 | #Constraints: 30947
1624.23/1628.67 c #Conflicts: 601000 | #Constraints: 31947
1624.23/1628.67 c #Conflicts: 602000 | #Constraints: 32947
1624.23/1628.67 c #Conflicts: 603000 | #Constraints: 33947
1624.23/1628.67 c #Conflicts: 604000 | #Constraints: 34947
1624.23/1628.67 c #Conflicts: 605000 | #Constraints: 35947
1624.23/1628.67 c #Conflicts: 606000 | #Constraints: 36947
1624.23/1628.67 c #Conflicts: 607000 | #Constraints: 37947
1624.23/1628.67 c INPROCESSING
1624.23/1628.67 c GARBAGE COLLECT
1624.23/1628.67 c #Conflicts: 608000 | #Constraints: 23533
1624.23/1628.67 c #Conflicts: 609000 | #Constraints: 24533
1624.23/1628.67 c #Conflicts: 610000 | #Constraints: 25533
1624.23/1628.67 c #Conflicts: 611000 | #Constraints: 26533
1624.23/1628.67 c #Conflicts: 612000 | #Constraints: 27533
1624.23/1628.67 c #Conflicts: 613000 | #Constraints: 28533
1624.23/1628.67 c #Conflicts: 614000 | #Constraints: 29533
1624.23/1628.67 c #Conflicts: 615000 | #Constraints: 30533
1624.23/1628.67 c #Conflicts: 616000 | #Constraints: 31533
1624.23/1628.67 c #Conflicts: 617000 | #Constraints: 32533
1624.23/1628.67 c #Conflicts: 618000 | #Constraints: 33533
1624.23/1628.67 c #Conflicts: 619000 | #Constraints: 34533
1624.23/1628.67 c #Conflicts: 620000 | #Constraints: 35533
1624.23/1628.67 c #Conflicts: 621000 | #Constraints: 36533
1624.23/1628.67 c #Conflicts: 622000 | #Constraints: 37533
1624.23/1628.67 c #Conflicts: 623000 | #Constraints: 38533
1624.23/1628.67 c INPROCESSING
1624.23/1628.67 c GARBAGE COLLECT
1624.23/1628.67 c #Conflicts: 624000 | #Constraints: 23815
1624.23/1628.67 c #Conflicts: 625000 | #Constraints: 24815
1624.23/1628.67 c #Conflicts: 626000 | #Constraints: 25815
1624.23/1628.67 c #Conflicts: 627000 | #Constraints: 26815
1624.23/1628.67 c #Conflicts: 628000 | #Constraints: 27815
1624.23/1628.67 c #Conflicts: 629000 | #Constraints: 28815
1624.23/1628.67 c #Conflicts: 630000 | #Constraints: 29815
1624.23/1628.67 c #Conflicts: 631000 | #Constraints: 30815
1624.23/1628.67 c #Conflicts: 632000 | #Constraints: 31815
1624.23/1628.67 c #Conflicts: 633000 | #Constraints: 32815
1624.23/1628.67 c #Conflicts: 634000 | #Constraints: 33815
1624.23/1628.67 c #Conflicts: 635000 | #Constraints: 34815
1624.23/1628.67 c #Conflicts: 636000 | #Constraints: 35815
1624.23/1628.67 c #Conflicts: 637000 | #Constraints: 36815
1624.23/1628.67 c #Conflicts: 638000 | #Constraints: 37815
1624.23/1628.67 c #Conflicts: 639000 | #Constraints: 38815
1624.23/1628.67 c INPROCESSING
1624.23/1628.67 c GARBAGE COLLECT
1624.23/1628.67 c #Conflicts: 640000 | #Constraints: 23922
1624.23/1628.67 c #Conflicts: 641000 | #Constraints: 24922
1624.23/1628.67 c #Conflicts: 642000 | #Constraints: 25922
1624.23/1628.67 c #Conflicts: 643000 | #Constraints: 26922
1624.23/1628.67 c #Conflicts: 644000 | #Constraints: 27922
1624.23/1628.67 c #Conflicts: 645000 | #Constraints: 28922
1624.23/1628.67 c #Conflicts: 646000 | #Constraints: 29922
1624.23/1628.67 c #Conflicts: 647000 | #Constraints: 30922
1624.23/1628.67 c #Conflicts: 648000 | #Constraints: 31922
1624.23/1628.67 c #Conflicts: 649000 | #Constraints: 32922
1624.23/1628.67 c #Conflicts: 650000 | #Constraints: 33922
1624.23/1628.67 c #Conflicts: 651000 | #Constraints: 34922
1624.23/1628.67 c #Conflicts: 652000 | #Constraints: 35922
1624.23/1628.67 c #Conflicts: 653000 | #Constraints: 36922
1624.23/1628.67 c #Conflicts: 654000 | #Constraints: 37922
1624.23/1628.67 c #Conflicts: 655000 | #Constraints: 38922
1624.23/1628.67 c INPROCESSING
1624.23/1628.67 c GARBAGE COLLECT
1624.23/1628.67 c #Conflicts: 656000 | #Constraints: 24010
1624.23/1628.67 c #Conflicts: 657000 | #Constraints: 25010
1624.23/1628.67 c #Conflicts: 658000 | #Constraints: 26010
1624.23/1628.67 c #Conflicts: 659000 | #Constraints: 27010
1624.23/1628.67 c #Conflicts: 660000 | #Constraints: 28010
1624.23/1628.67 c #Conflicts: 661000 | #Constraints: 29010
1624.23/1628.67 c #Conflicts: 662000 | #Constraints: 30010
1624.23/1628.67 c #Conflicts: 663000 | #Constraints: 31010
1624.23/1628.67 c #Conflicts: 664000 | #Constraints: 32010
1624.23/1628.67 c #Conflicts: 665000 | #Constraints: 33010
1624.23/1628.67 c #Conflicts: 666000 | #Constraints: 34010
1624.23/1628.67 c #Conflicts: 667000 | #Constraints: 35010
1624.23/1628.67 c #Conflicts: 668000 | #Constraints: 36010
1624.23/1628.67 c #Conflicts: 669000 | #Constraints: 37010
1624.23/1628.67 c #Conflicts: 670000 | #Constraints: 38010
1624.23/1628.67 c #Conflicts: 671000 | #Constraints: 39010
1624.23/1628.67 c INPROCESSING
1624.23/1628.67 c GARBAGE COLLECT
1624.23/1628.67 c #Conflicts: 672000 | #Constraints: 23854
1624.23/1628.67 c #Conflicts: 673000 | #Constraints: 24854
1624.23/1628.67 c #Conflicts: 674000 | #Constraints: 25854
1624.23/1628.67 c #Conflicts: 675000 | #Constraints: 26854
1867.45/1872.56 c #Conflicts: 676000 | #Constraints: 27854
1867.45/1872.56 c #Conflicts: 677000 | #Constraints: 28854
1867.45/1872.56 c #Conflicts: 678000 | #Constraints: 29854
1867.45/1872.56 c #Conflicts: 679000 | #Constraints: 30854
1867.45/1872.56 c #Conflicts: 680000 | #Constraints: 31854
1867.45/1872.56 c #Conflicts: 681000 | #Constraints: 32854
1867.45/1872.56 c #Conflicts: 682000 | #Constraints: 33854
1867.45/1872.56 c #Conflicts: 683000 | #Constraints: 34854
1867.45/1872.56 c #Conflicts: 684000 | #Constraints: 35854
1867.45/1872.56 c #Conflicts: 685000 | #Constraints: 36854
1867.45/1872.56 c #Conflicts: 686000 | #Constraints: 37854
1867.45/1872.56 c #Conflicts: 687000 | #Constraints: 38854
1867.45/1872.56 c #Conflicts: 688000 | #Constraints: 39854
1867.45/1872.56 c INPROCESSING
1867.45/1872.56 c GARBAGE COLLECT
1867.45/1872.56 c #Conflicts: 689000 | #Constraints: 24495
1867.45/1872.56 c #Conflicts: 690000 | #Constraints: 25495
1867.45/1872.56 c #Conflicts: 691000 | #Constraints: 26495
1867.45/1872.56 c #Conflicts: 692000 | #Constraints: 27495
1867.45/1872.56 c #Conflicts: 693000 | #Constraints: 28495
1867.45/1872.56 c #Conflicts: 694000 | #Constraints: 29495
1867.45/1872.56 c #Conflicts: 695000 | #Constraints: 30495
1867.45/1872.56 c #Conflicts: 696000 | #Constraints: 31496
1867.45/1872.56 c #Conflicts: 697000 | #Constraints: 32496
1867.45/1872.56 c #Conflicts: 698000 | #Constraints: 33498
1867.45/1872.56 c #Conflicts: 699000 | #Constraints: 34498
1867.45/1872.56 c #Conflicts: 700000 | #Constraints: 35499
1867.45/1872.56 c #Conflicts: 701000 | #Constraints: 36499
1867.45/1872.56 c #Conflicts: 702000 | #Constraints: 37500
1867.45/1872.56 c #Conflicts: 703000 | #Constraints: 38502
1867.45/1872.56 c #Conflicts: 704000 | #Constraints: 39503
1867.45/1872.56 c #Conflicts: 705000 | #Constraints: 40503
1867.45/1872.56 c INPROCESSING
1867.45/1872.56 c GARBAGE COLLECT
1867.45/1872.56 c #Conflicts: 706000 | #Constraints: 24908
1867.45/1872.56 c #Conflicts: 707000 | #Constraints: 25909
1867.45/1872.56 c #Conflicts: 708000 | #Constraints: 26909
1867.45/1872.56 c #Conflicts: 709000 | #Constraints: 27909
1867.45/1872.56 c #Conflicts: 710000 | #Constraints: 28909
1867.45/1872.56 c #Conflicts: 711000 | #Constraints: 29911
1867.45/1872.56 c #Conflicts: 712000 | #Constraints: 30911
1867.45/1872.56 c #Conflicts: 713000 | #Constraints: 31911
1867.45/1872.56 c #Conflicts: 714000 | #Constraints: 32911
1867.45/1872.56 c #Conflicts: 715000 | #Constraints: 33911
1867.45/1872.56 c #Conflicts: 716000 | #Constraints: 34912
1867.45/1872.56 c #Conflicts: 717000 | #Constraints: 35912
1867.45/1872.56 c #Conflicts: 718000 | #Constraints: 36915
1867.45/1872.56 c #Conflicts: 719000 | #Constraints: 37915
1867.45/1872.56 c #Conflicts: 720000 | #Constraints: 38915
1867.45/1872.56 c #Conflicts: 721000 | #Constraints: 39916
1867.45/1872.56 c #Conflicts: 722000 | #Constraints: 40917
1867.45/1872.56 c INPROCESSING
1867.45/1872.56 c GARBAGE COLLECT
1867.45/1872.56 c #Conflicts: 723000 | #Constraints: 25000
1867.45/1872.56 c #Conflicts: 724000 | #Constraints: 26000
1867.45/1872.56 c #Conflicts: 725000 | #Constraints: 27001
1867.45/1872.56 c #Conflicts: 726000 | #Constraints: 28002
1867.45/1872.56 c #Conflicts: 727000 | #Constraints: 29002
1867.45/1872.56 c #Conflicts: 728000 | #Constraints: 30003
1867.45/1872.56 c #Conflicts: 729000 | #Constraints: 31004
1867.45/1872.56 c #Conflicts: 730000 | #Constraints: 32005
1867.45/1872.56 c #Conflicts: 731000 | #Constraints: 33007
1867.45/1872.56 c #Conflicts: 732000 | #Constraints: 34007
1867.45/1872.56 c #Conflicts: 733000 | #Constraints: 35007
1867.45/1872.56 c #Conflicts: 734000 | #Constraints: 36007
1867.45/1872.56 c #Conflicts: 735000 | #Constraints: 37007
1867.45/1872.56 c #Conflicts: 736000 | #Constraints: 38007
1867.45/1872.56 c #Conflicts: 737000 | #Constraints: 39007
1867.45/1872.56 c #Conflicts: 738000 | #Constraints: 40007
1867.45/1872.56 c #Conflicts: 739000 | #Constraints: 41007
1867.45/1872.56 c INPROCESSING
1867.45/1872.56 c GARBAGE COLLECT
1867.45/1872.56 c #Conflicts: 740000 | #Constraints: 24838
1867.45/1872.56 c #Conflicts: 741000 | #Constraints: 25838
1867.45/1872.56 c #Conflicts: 742000 | #Constraints: 26839
1867.45/1872.56 c #Conflicts: 743000 | #Constraints: 27839
1867.45/1872.56 c #Conflicts: 744000 | #Constraints: 28839
1867.45/1872.56 c #Conflicts: 745000 | #Constraints: 29840
1867.45/1872.56 c #Conflicts: 746000 | #Constraints: 30840
1867.45/1872.56 c #Conflicts: 747000 | #Constraints: 31841
1867.45/1872.56 c #Conflicts: 748000 | #Constraints: 32841
1867.45/1872.56 c #Conflicts: 749000 | #Constraints: 33842
1867.45/1872.56 c #Conflicts: 750000 | #Constraints: 34842
1867.45/1872.56 c #Conflicts: 751000 | #Constraints: 35843
2022.43/2027.90 c #Conflicts: 752000 | #Constraints: 36843
2022.43/2027.90 c #Conflicts: 753000 | #Constraints: 37843
2022.43/2027.90 c #Conflicts: 754000 | #Constraints: 38844
2022.43/2027.90 c #Conflicts: 755000 | #Constraints: 39845
2022.43/2027.90 c #Conflicts: 756000 | #Constraints: 40845
2022.43/2027.90 c INPROCESSING
2022.43/2027.90 c GARBAGE COLLECT
2022.43/2027.90 c #Conflicts: 757000 | #Constraints: 24748
2022.43/2027.90 c #Conflicts: 758000 | #Constraints: 25749
2022.43/2027.90 c #Conflicts: 759000 | #Constraints: 26749
2022.43/2027.90 c #Conflicts: 760000 | #Constraints: 27749
2022.43/2027.90 c #Conflicts: 761000 | #Constraints: 28749
2022.43/2027.90 c #Conflicts: 762000 | #Constraints: 29749
2022.43/2027.90 c #Conflicts: 763000 | #Constraints: 30749
2022.43/2027.90 c #Conflicts: 764000 | #Constraints: 31749
2022.43/2027.90 c #Conflicts: 765000 | #Constraints: 32749
2022.43/2027.90 c #Conflicts: 766000 | #Constraints: 33749
2022.43/2027.90 c #Conflicts: 767000 | #Constraints: 34749
2022.43/2027.90 c #Conflicts: 768000 | #Constraints: 35749
2022.43/2027.90 c #Conflicts: 769000 | #Constraints: 36749
2022.43/2027.90 c #Conflicts: 770000 | #Constraints: 37749
2022.43/2027.90 c #Conflicts: 771000 | #Constraints: 38750
2022.43/2027.90 c #Conflicts: 772000 | #Constraints: 39750
2022.43/2027.90 c #Conflicts: 773000 | #Constraints: 40750
2022.43/2027.90 c #Conflicts: 774000 | #Constraints: 41750
2022.43/2027.90 c INPROCESSING
2022.43/2027.90 c GARBAGE COLLECT
2022.43/2027.90 c #Conflicts: 775000 | #Constraints: 25413
2022.43/2027.90 c #Conflicts: 776000 | #Constraints: 26413
2022.43/2027.90 c #Conflicts: 777000 | #Constraints: 27413
2022.43/2027.90 c #Conflicts: 778000 | #Constraints: 28413
2022.43/2027.90 c #Conflicts: 779000 | #Constraints: 29413
2022.43/2027.90 c #Conflicts: 780000 | #Constraints: 30413
2022.43/2027.90 c #Conflicts: 781000 | #Constraints: 31414
2022.43/2027.90 c #Conflicts: 782000 | #Constraints: 32414
2022.43/2027.90 c #Conflicts: 783000 | #Constraints: 33414
2022.43/2027.90 c #Conflicts: 784000 | #Constraints: 34414
2022.43/2027.90 c #Conflicts: 785000 | #Constraints: 35414
2022.43/2027.90 c #Conflicts: 786000 | #Constraints: 36414
2022.43/2027.90 c #Conflicts: 787000 | #Constraints: 37423
2022.43/2027.90 c #Conflicts: 788000 | #Constraints: 38439
2022.43/2027.90 c #Conflicts: 789000 | #Constraints: 39439
2022.43/2027.90 c #Conflicts: 790000 | #Constraints: 40439
2022.43/2027.90 c #Conflicts: 791000 | #Constraints: 41439
2022.43/2027.90 c #Conflicts: 792000 | #Constraints: 42439
2022.43/2027.90 c INPROCESSING
2022.43/2027.90 c GARBAGE COLLECT
2022.43/2027.90 c #Conflicts: 793000 | #Constraints: 25819
2022.43/2027.90 c #Conflicts: 794000 | #Constraints: 26819
2022.43/2027.90 c #Conflicts: 795000 | #Constraints: 27819
2022.43/2027.90 c #Conflicts: 796000 | #Constraints: 28819
2022.43/2027.90 c #Conflicts: 797000 | #Constraints: 29819
2022.43/2027.90 c #Conflicts: 798000 | #Constraints: 30819
2022.43/2027.90 c #Conflicts: 799000 | #Constraints: 31819
2022.43/2027.90 c #Conflicts: 800000 | #Constraints: 32819
2022.43/2027.90 c #Conflicts: 801000 | #Constraints: 33819
2022.43/2027.90 c #Conflicts: 802000 | #Constraints: 34819
2022.43/2027.90 c #Conflicts: 803000 | #Constraints: 35819
2022.43/2027.90 c #Conflicts: 804000 | #Constraints: 36819
2022.43/2027.90 c #Conflicts: 805000 | #Constraints: 37819
2022.43/2027.90 c #Conflicts: 806000 | #Constraints: 38819
2022.43/2027.90 c #Conflicts: 807000 | #Constraints: 39819
2022.43/2027.90 c #Conflicts: 808000 | #Constraints: 40819
2022.43/2027.90 c #Conflicts: 809000 | #Constraints: 41819
2022.43/2027.90 c #Conflicts: 810000 | #Constraints: 42819
2022.43/2027.90 c INPROCESSING
2022.43/2027.90 c GARBAGE COLLECT
2022.43/2027.90 c #Conflicts: 811000 | #Constraints: 25988
2022.43/2027.90 c #Conflicts: 812000 | #Constraints: 26988
2022.43/2027.90 c #Conflicts: 813000 | #Constraints: 27988
2022.43/2027.90 c #Conflicts: 814000 | #Constraints: 28988
2022.43/2027.90 c #Conflicts: 815000 | #Constraints: 29988
2022.43/2027.90 c #Conflicts: 816000 | #Constraints: 30988
2022.43/2027.90 c #Conflicts: 817000 | #Constraints: 31988
2022.43/2027.90 c #Conflicts: 818000 | #Constraints: 32988
2022.43/2027.90 c #Conflicts: 819000 | #Constraints: 33988
2022.43/2027.90 c #Conflicts: 820000 | #Constraints: 34988
2022.43/2027.90 c #Conflicts: 821000 | #Constraints: 35988
2022.43/2027.90 c #Conflicts: 822000 | #Constraints: 36988
2022.43/2027.90 c #Conflicts: 823000 | #Constraints: 37988
2022.43/2027.90 c #Conflicts: 824000 | #Constraints: 38988
2022.43/2027.90 c #Conflicts: 825000 | #Constraints: 39988
2022.43/2027.90 c #Conflicts: 826000 | #Constraints: 40988
2022.43/2027.90 c #Conflicts: 827000 | #Constraints: 41988
2328.86/2335.22 c #Conflicts: 828000 | #Constraints: 42989
2328.86/2335.22 c INPROCESSING
2328.86/2335.22 c GARBAGE COLLECT
2328.86/2335.22 c #Conflicts: 829000 | #Constraints: 26173
2328.86/2335.22 c #Conflicts: 830000 | #Constraints: 27173
2328.86/2335.22 c #Conflicts: 831000 | #Constraints: 28175
2328.86/2335.22 c #Conflicts: 832000 | #Constraints: 29177
2328.86/2335.22 c #Conflicts: 833000 | #Constraints: 30178
2328.86/2335.22 c #Conflicts: 834000 | #Constraints: 31178
2328.86/2335.22 c #Conflicts: 835000 | #Constraints: 32179
2328.86/2335.22 c #Conflicts: 836000 | #Constraints: 33179
2328.86/2335.22 c #Conflicts: 837000 | #Constraints: 34179
2328.86/2335.22 c #Conflicts: 838000 | #Constraints: 35179
2328.86/2335.22 c #Conflicts: 839000 | #Constraints: 36179
2328.86/2335.22 c #Conflicts: 840000 | #Constraints: 37179
2328.86/2335.22 c #Conflicts: 841000 | #Constraints: 38179
2328.86/2335.22 c #Conflicts: 842000 | #Constraints: 39179
2328.86/2335.22 c #Conflicts: 843000 | #Constraints: 40180
2328.86/2335.22 c #Conflicts: 844000 | #Constraints: 41180
2328.86/2335.22 c #Conflicts: 845000 | #Constraints: 42189
2328.86/2335.22 c #Conflicts: 846000 | #Constraints: 43189
2328.86/2335.22 c INPROCESSING
2328.86/2335.22 c GARBAGE COLLECT
2328.86/2335.22 c #Conflicts: 847000 | #Constraints: 25915
2328.86/2335.22 c #Conflicts: 848000 | #Constraints: 26915
2328.86/2335.22 c #Conflicts: 849000 | #Constraints: 27915
2328.86/2335.22 c #Conflicts: 850000 | #Constraints: 28917
2328.86/2335.22 c #Conflicts: 851000 | #Constraints: 29918
2328.86/2335.22 c #Conflicts: 852000 | #Constraints: 30919
2328.86/2335.22 c #Conflicts: 853000 | #Constraints: 31920
2328.86/2335.22 c #Conflicts: 854000 | #Constraints: 32920
2328.86/2335.22 c #Conflicts: 855000 | #Constraints: 33920
2328.86/2335.22 c #Conflicts: 856000 | #Constraints: 34920
2328.86/2335.22 c #Conflicts: 857000 | #Constraints: 35920
2328.86/2335.22 c #Conflicts: 858000 | #Constraints: 36920
2328.86/2335.22 c #Conflicts: 859000 | #Constraints: 37921
2328.86/2335.22 c #Conflicts: 860000 | #Constraints: 38921
2328.86/2335.22 c #Conflicts: 861000 | #Constraints: 39921
2328.86/2335.22 c #Conflicts: 862000 | #Constraints: 40922
2328.86/2335.22 c #Conflicts: 863000 | #Constraints: 41922
2328.86/2335.22 c #Conflicts: 864000 | #Constraints: 42923
2328.86/2335.22 c #Conflicts: 865000 | #Constraints: 43924
2328.86/2335.22 c INPROCESSING
2328.86/2335.22 c GARBAGE COLLECT
2328.86/2335.22 c #Conflicts: 866000 | #Constraints: 26498
2328.86/2335.22 c #Conflicts: 867000 | #Constraints: 27498
2328.86/2335.22 c #Conflicts: 868000 | #Constraints: 28498
2328.86/2335.22 c #Conflicts: 869000 | #Constraints: 29498
2328.86/2335.22 c #Conflicts: 870000 | #Constraints: 30498
2328.86/2335.22 c #Conflicts: 871000 | #Constraints: 31499
2328.86/2335.22 c #Conflicts: 872000 | #Constraints: 32499
2328.86/2335.22 c #Conflicts: 873000 | #Constraints: 33499
2328.86/2335.22 c #Conflicts: 874000 | #Constraints: 34499
2328.86/2335.22 c #Conflicts: 875000 | #Constraints: 35499
2328.86/2335.22 c #Conflicts: 876000 | #Constraints: 36499
2328.86/2335.22 c #Conflicts: 877000 | #Constraints: 37500
2328.86/2335.22 c #Conflicts: 878000 | #Constraints: 38500
2328.86/2335.22 c #Conflicts: 879000 | #Constraints: 39500
2328.86/2335.22 c #Conflicts: 880000 | #Constraints: 40502
2328.86/2335.22 c #Conflicts: 881000 | #Constraints: 41503
2328.86/2335.22 c #Conflicts: 882000 | #Constraints: 42504
2328.86/2335.22 c #Conflicts: 883000 | #Constraints: 43506
2328.86/2335.22 c #Conflicts: 884000 | #Constraints: 44507
2328.86/2335.22 c INPROCESSING
2328.86/2335.22 c GARBAGE COLLECT
2328.86/2335.22 c #Conflicts: 885000 | #Constraints: 27165
2328.86/2335.22 c #Conflicts: 886000 | #Constraints: 28165
2328.86/2335.22 c #Conflicts: 887000 | #Constraints: 29165
2328.86/2335.22 c #Conflicts: 888000 | #Constraints: 30165
2328.86/2335.22 c #Conflicts: 889000 | #Constraints: 31165
2328.86/2335.22 c #Conflicts: 890000 | #Constraints: 32165
2328.86/2335.22 c #Conflicts: 891000 | #Constraints: 33165
2328.86/2335.22 c #Conflicts: 892000 | #Constraints: 34165
2328.86/2335.22 c #Conflicts: 893000 | #Constraints: 35165
2328.86/2335.22 c #Conflicts: 894000 | #Constraints: 36166
2328.86/2335.22 c #Conflicts: 895000 | #Constraints: 37166
2328.86/2335.22 c #Conflicts: 896000 | #Constraints: 38166
2328.86/2335.22 c #Conflicts: 897000 | #Constraints: 39167
2328.86/2335.22 c #Conflicts: 898000 | #Constraints: 40167
2328.86/2335.22 c #Conflicts: 899000 | #Constraints: 41169
2328.86/2335.22 c #Conflicts: 900000 | #Constraints: 42170
2328.86/2335.22 c #Conflicts: 901000 | #Constraints: 43171
2328.86/2335.22 c #Conflicts: 902000 | #Constraints: 44171
2328.86/2335.22 c #Conflicts: 903000 | #Constraints: 45171
2463.41/2470.15 c INPROCESSING
2463.41/2470.15 c GARBAGE COLLECT
2463.41/2470.15 c #Conflicts: 904000 | #Constraints: 27226
2463.41/2470.15 c #Conflicts: 905000 | #Constraints: 28226
2463.41/2470.15 c #Conflicts: 906000 | #Constraints: 29226
2463.41/2470.15 c #Conflicts: 907000 | #Constraints: 30227
2463.41/2470.15 c #Conflicts: 908000 | #Constraints: 31227
2463.41/2470.15 c #Conflicts: 909000 | #Constraints: 32229
2463.41/2470.15 c #Conflicts: 910000 | #Constraints: 33230
2463.41/2470.15 c #Conflicts: 911000 | #Constraints: 34231
2463.41/2470.15 c #Conflicts: 912000 | #Constraints: 35231
2463.41/2470.15 c #Conflicts: 913000 | #Constraints: 36231
2463.41/2470.15 c #Conflicts: 914000 | #Constraints: 37231
2463.41/2470.15 c #Conflicts: 915000 | #Constraints: 38231
2463.41/2470.15 c #Conflicts: 916000 | #Constraints: 39231
2463.41/2470.15 c #Conflicts: 917000 | #Constraints: 40231
2463.41/2470.15 c #Conflicts: 918000 | #Constraints: 41232
2463.41/2470.15 c #Conflicts: 919000 | #Constraints: 42232
2463.41/2470.15 c #Conflicts: 920000 | #Constraints: 43232
2463.41/2470.15 c #Conflicts: 921000 | #Constraints: 44233
2463.41/2470.15 c #Conflicts: 922000 | #Constraints: 45233
2463.41/2470.15 c INPROCESSING
2463.41/2470.15 c GARBAGE COLLECT
2463.41/2470.15 c #Conflicts: 923000 | #Constraints: 27212
2463.41/2470.15 c #Conflicts: 924000 | #Constraints: 28212
2463.41/2470.15 c #Conflicts: 925000 | #Constraints: 29213
2463.41/2470.15 c #Conflicts: 926000 | #Constraints: 30214
2463.41/2470.15 c #Conflicts: 927000 | #Constraints: 31214
2463.41/2470.15 c #Conflicts: 928000 | #Constraints: 32215
2463.41/2470.15 c #Conflicts: 929000 | #Constraints: 33215
2463.41/2470.15 c #Conflicts: 930000 | #Constraints: 34216
2463.41/2470.15 c #Conflicts: 931000 | #Constraints: 35216
2463.41/2470.15 c #Conflicts: 932000 | #Constraints: 36216
2463.41/2470.15 c #Conflicts: 933000 | #Constraints: 37218
2463.41/2470.15 c #Conflicts: 934000 | #Constraints: 38218
2463.41/2470.15 c #Conflicts: 935000 | #Constraints: 39221
2463.41/2470.15 c #Conflicts: 936000 | #Constraints: 40223
2463.41/2470.15 c #Conflicts: 937000 | #Constraints: 41223
2463.41/2470.15 c #Conflicts: 938000 | #Constraints: 42223
2463.41/2470.15 c #Conflicts: 939000 | #Constraints: 43223
2463.41/2470.15 c #Conflicts: 940000 | #Constraints: 44226
2463.41/2470.15 c #Conflicts: 941000 | #Constraints: 45227
2463.41/2470.15 c INPROCESSING
2463.41/2470.15 c GARBAGE COLLECT
2463.41/2470.15 c #Conflicts: 942000 | #Constraints: 26982
2463.41/2470.15 c #Conflicts: 943000 | #Constraints: 27982
2463.41/2470.15 c #Conflicts: 944000 | #Constraints: 28982
2463.41/2470.15 c #Conflicts: 945000 | #Constraints: 29982
2463.41/2470.15 c #Conflicts: 946000 | #Constraints: 30982
2463.41/2470.15 c #Conflicts: 947000 | #Constraints: 31982
2463.41/2470.15 c #Conflicts: 948000 | #Constraints: 32982
2463.41/2470.15 c #Conflicts: 949000 | #Constraints: 33982
2463.41/2470.15 c #Conflicts: 950000 | #Constraints: 34982
2463.41/2470.15 c #Conflicts: 951000 | #Constraints: 35982
2463.41/2470.15 c #Conflicts: 952000 | #Constraints: 36982
2463.41/2470.15 c #Conflicts: 953000 | #Constraints: 37983
2463.41/2470.15 c #Conflicts: 954000 | #Constraints: 38984
2463.41/2470.15 c #Conflicts: 955000 | #Constraints: 39984
2463.41/2470.15 c #Conflicts: 956000 | #Constraints: 40984
2463.41/2470.15 c #Conflicts: 957000 | #Constraints: 41985
2463.41/2470.15 c #Conflicts: 958000 | #Constraints: 42988
2463.41/2470.15 c #Conflicts: 959000 | #Constraints: 43988
2463.41/2470.15 c #Conflicts: 960000 | #Constraints: 44988
2463.41/2470.15 c #Conflicts: 961000 | #Constraints: 45989
2463.41/2470.15 c INPROCESSING
2463.41/2470.15 c GARBAGE COLLECT
2463.41/2470.15 c #Conflicts: 962000 | #Constraints: 27555
2463.41/2470.15 c #Conflicts: 963000 | #Constraints: 28555
2463.41/2470.15 c #Conflicts: 964000 | #Constraints: 29555
2463.41/2470.15 c #Conflicts: 965000 | #Constraints: 30555
2463.41/2470.15 c #Conflicts: 966000 | #Constraints: 31555
2463.41/2470.15 c #Conflicts: 967000 | #Constraints: 32555
2463.41/2470.15 c #Conflicts: 968000 | #Constraints: 33556
2463.41/2470.15 c #Conflicts: 969000 | #Constraints: 34556
2463.41/2470.15 c #Conflicts: 970000 | #Constraints: 35557
2463.41/2470.15 c #Conflicts: 971000 | #Constraints: 36557
2463.41/2470.15 c #Conflicts: 972000 | #Constraints: 37557
2463.41/2470.15 c #Conflicts: 973000 | #Constraints: 38558
2463.41/2470.15 c #Conflicts: 974000 | #Constraints: 39558
2463.41/2470.15 c #Conflicts: 975000 | #Constraints: 40558
2463.41/2470.15 c #Conflicts: 976000 | #Constraints: 41558
2463.41/2470.15 c #Conflicts: 977000 | #Constraints: 42559
2463.41/2470.15 c #Conflicts: 978000 | #Constraints: 43559
2463.41/2470.15 c #Conflicts: 979000 | #Constraints: 44559
2463.41/2470.15 c #Conflicts: 980000 | #Constraints: 45559
2585.56/2592.66 c #Conflicts: 981000 | #Constraints: 46559
2585.56/2592.66 c INPROCESSING
2585.56/2592.66 c GARBAGE COLLECT
2585.56/2592.66 c #Conflicts: 982000 | #Constraints: 27903
2585.56/2592.66 c #Conflicts: 983000 | #Constraints: 28903
2585.56/2592.66 c #Conflicts: 984000 | #Constraints: 29903
2585.56/2592.66 c #Conflicts: 985000 | #Constraints: 30903
2585.56/2592.66 c #Conflicts: 986000 | #Constraints: 31903
2585.56/2592.66 c #Conflicts: 987000 | #Constraints: 32903
2585.56/2592.66 c #Conflicts: 988000 | #Constraints: 33903
2585.56/2592.66 c #Conflicts: 989000 | #Constraints: 34903
2585.56/2592.66 c #Conflicts: 990000 | #Constraints: 35904
2585.56/2592.66 c #Conflicts: 991000 | #Constraints: 36904
2585.56/2592.66 c #Conflicts: 992000 | #Constraints: 37905
2585.56/2592.66 c #Conflicts: 993000 | #Constraints: 38905
2585.56/2592.66 c #Conflicts: 994000 | #Constraints: 39906
2585.56/2592.66 c #Conflicts: 995000 | #Constraints: 40906
2585.56/2592.66 c #Conflicts: 996000 | #Constraints: 41906
2585.56/2592.66 c #Conflicts: 997000 | #Constraints: 42906
2585.56/2592.66 c #Conflicts: 998000 | #Constraints: 43907
2585.56/2592.66 c #Conflicts: 999000 | #Constraints: 44908
2585.56/2592.66 c #Conflicts: 1000000 | #Constraints: 45908
2585.56/2592.66 c #Conflicts: 1001000 | #Constraints: 46910
2585.56/2592.66 c INPROCESSING
2585.56/2592.66 c GARBAGE COLLECT
2585.56/2592.66 c #Conflicts: 1002000 | #Constraints: 27952
2585.56/2592.66 c #Conflicts: 1003000 | #Constraints: 28952
2585.56/2592.66 c #Conflicts: 1004000 | #Constraints: 29953
2585.56/2592.66 c #Conflicts: 1005000 | #Constraints: 30953
2585.56/2592.66 c #Conflicts: 1006000 | #Constraints: 31955
2585.56/2592.66 c #Conflicts: 1007000 | #Constraints: 32956
2585.56/2592.66 c #Conflicts: 1008000 | #Constraints: 33958
2585.56/2592.66 c #Conflicts: 1009000 | #Constraints: 34958
2585.56/2592.66 c #Conflicts: 1010000 | #Constraints: 35958
2585.56/2592.66 c #Conflicts: 1011000 | #Constraints: 36958
2585.56/2592.66 c #Conflicts: 1012000 | #Constraints: 37960
2585.56/2592.66 c #Conflicts: 1013000 | #Constraints: 38960
2585.56/2592.66 c #Conflicts: 1014000 | #Constraints: 39960
2585.56/2592.66 c #Conflicts: 1015000 | #Constraints: 40962
2585.56/2592.66 c #Conflicts: 1016000 | #Constraints: 41963
2585.56/2592.66 c #Conflicts: 1017000 | #Constraints: 42964
2585.56/2592.66 c #Conflicts: 1018000 | #Constraints: 43964
2585.56/2592.66 c #Conflicts: 1019000 | #Constraints: 44964
2585.56/2592.66 c #Conflicts: 1020000 | #Constraints: 45965
2585.56/2592.66 c #Conflicts: 1021000 | #Constraints: 46966
2585.56/2592.66 c INPROCESSING
2585.56/2592.66 c GARBAGE COLLECT
2585.56/2592.66 c #Conflicts: 1022000 | #Constraints: 28053
2585.56/2592.66 c #Conflicts: 1023000 | #Constraints: 29055
2585.56/2592.66 c #Conflicts: 1024000 | #Constraints: 30056
2585.56/2592.66 c #Conflicts: 1025000 | #Constraints: 31057
2585.56/2592.66 c #Conflicts: 1026000 | #Constraints: 32057
2585.56/2592.66 c #Conflicts: 1027000 | #Constraints: 33058
2585.56/2592.66 c #Conflicts: 1028000 | #Constraints: 34059
2585.56/2592.66 c #Conflicts: 1029000 | #Constraints: 35060
2585.56/2592.66 c #Conflicts: 1030000 | #Constraints: 36061
2585.56/2592.66 c #Conflicts: 1031000 | #Constraints: 37062
2585.56/2592.66 c #Conflicts: 1032000 | #Constraints: 38063
2585.56/2592.66 c #Conflicts: 1033000 | #Constraints: 39063
2585.56/2592.66 c #Conflicts: 1034000 | #Constraints: 40063
2585.56/2592.66 c #Conflicts: 1035000 | #Constraints: 41063
2585.56/2592.66 c #Conflicts: 1036000 | #Constraints: 42063
2585.56/2592.66 c #Conflicts: 1037000 | #Constraints: 43063
2585.56/2592.66 c #Conflicts: 1038000 | #Constraints: 44063
2585.56/2592.66 c #Conflicts: 1039000 | #Constraints: 45063
2585.56/2592.66 c #Conflicts: 1040000 | #Constraints: 46063
2585.56/2592.66 c #Conflicts: 1041000 | #Constraints: 47064
2585.56/2592.66 c INPROCESSING
2585.56/2592.66 c GARBAGE COLLECT
2585.56/2592.66 c #Conflicts: 1042000 | #Constraints: 27866
2585.56/2592.66 c #Conflicts: 1043000 | #Constraints: 28866
2585.56/2592.66 c #Conflicts: 1044000 | #Constraints: 29866
2585.56/2592.66 c #Conflicts: 1045000 | #Constraints: 30866
2585.56/2592.66 c #Conflicts: 1046000 | #Constraints: 31866
2585.56/2592.66 c #Conflicts: 1047000 | #Constraints: 32866
2585.56/2592.66 c #Conflicts: 1048000 | #Constraints: 33866
2585.56/2592.66 c #Conflicts: 1049000 | #Constraints: 34866
2585.56/2592.66 c #Conflicts: 1050000 | #Constraints: 35866
2585.56/2592.66 c #Conflicts: 1051000 | #Constraints: 36866
2585.56/2592.66 c #Conflicts: 1052000 | #Constraints: 37866
2585.56/2592.66 c #Conflicts: 1053000 | #Constraints: 38866
2585.56/2592.66 c #Conflicts: 1054000 | #Constraints: 39866
2585.56/2592.66 c #Conflicts: 1055000 | #Constraints: 40866
2585.56/2592.66 c #Conflicts: 1056000 | #Constraints: 41866
3096.10/3104.53 c #Conflicts: 1057000 | #Constraints: 42866
3096.10/3104.53 c #Conflicts: 1058000 | #Constraints: 43866
3096.10/3104.53 c #Conflicts: 1059000 | #Constraints: 44866
3096.10/3104.53 c #Conflicts: 1060000 | #Constraints: 45866
3096.10/3104.53 c #Conflicts: 1061000 | #Constraints: 46866
3096.10/3104.53 c #Conflicts: 1062000 | #Constraints: 47866
3096.10/3104.53 c INPROCESSING
3096.10/3104.53 c GARBAGE COLLECT
3096.10/3104.53 c #Conflicts: 1063000 | #Constraints: 28486
3096.10/3104.53 c #Conflicts: 1064000 | #Constraints: 29486
3096.10/3104.53 c #Conflicts: 1065000 | #Constraints: 30486
3096.10/3104.53 c #Conflicts: 1066000 | #Constraints: 31486
3096.10/3104.53 c #Conflicts: 1067000 | #Constraints: 32486
3096.10/3104.53 c #Conflicts: 1068000 | #Constraints: 33486
3096.10/3104.53 c #Conflicts: 1069000 | #Constraints: 34486
3096.10/3104.53 c #Conflicts: 1070000 | #Constraints: 35486
3096.10/3104.53 c #Conflicts: 1071000 | #Constraints: 36487
3096.10/3104.53 c #Conflicts: 1072000 | #Constraints: 37487
3096.10/3104.53 c #Conflicts: 1073000 | #Constraints: 38488
3096.10/3104.53 c #Conflicts: 1074000 | #Constraints: 39489
3096.10/3104.53 c #Conflicts: 1075000 | #Constraints: 40490
3096.10/3104.53 c #Conflicts: 1076000 | #Constraints: 41491
3096.10/3104.53 c #Conflicts: 1077000 | #Constraints: 42491
3096.10/3104.53 c #Conflicts: 1078000 | #Constraints: 43491
3096.10/3104.53 c #Conflicts: 1079000 | #Constraints: 44491
3096.10/3104.53 c #Conflicts: 1080000 | #Constraints: 45491
3096.10/3104.53 c #Conflicts: 1081000 | #Constraints: 46492
3096.10/3104.53 c #Conflicts: 1082000 | #Constraints: 47492
3096.10/3104.53 c #Conflicts: 1083000 | #Constraints: 48492
3096.10/3104.53 c INPROCESSING
3096.10/3104.53 c GARBAGE COLLECT
3096.10/3104.53 c #Conflicts: 1084000 | #Constraints: 29056
3096.10/3104.53 c #Conflicts: 1085000 | #Constraints: 30056
3096.10/3104.53 c #Conflicts: 1086000 | #Constraints: 31056
3096.10/3104.53 c #Conflicts: 1087000 | #Constraints: 32056
3096.10/3104.53 c #Conflicts: 1088000 | #Constraints: 33056
3096.10/3104.53 c #Conflicts: 1089000 | #Constraints: 34060
3096.10/3104.53 c #Conflicts: 1090000 | #Constraints: 35061
3096.10/3104.53 c #Conflicts: 1091000 | #Constraints: 36061
3096.10/3104.53 c #Conflicts: 1092000 | #Constraints: 37061
3096.10/3104.53 c #Conflicts: 1093000 | #Constraints: 38061
3096.10/3104.53 c #Conflicts: 1094000 | #Constraints: 39061
3096.10/3104.53 c #Conflicts: 1095000 | #Constraints: 40062
3096.10/3104.53 c #Conflicts: 1096000 | #Constraints: 41062
3096.10/3104.53 c #Conflicts: 1097000 | #Constraints: 42062
3096.10/3104.53 c #Conflicts: 1098000 | #Constraints: 43063
3096.10/3104.53 c #Conflicts: 1099000 | #Constraints: 44064
3096.10/3104.53 c #Conflicts: 1100000 | #Constraints: 45065
3096.10/3104.53 c #Conflicts: 1101000 | #Constraints: 46065
3096.10/3104.53 c #Conflicts: 1102000 | #Constraints: 47065
3096.10/3104.53 c #Conflicts: 1103000 | #Constraints: 48065
3096.10/3104.53 c #Conflicts: 1104000 | #Constraints: 49066
3096.10/3104.53 c INPROCESSING
3096.10/3104.53 c GARBAGE COLLECT
3096.10/3104.53 c #Conflicts: 1105000 | #Constraints: 29008
3096.10/3104.53 c #Conflicts: 1106000 | #Constraints: 30008
3096.10/3104.53 c #Conflicts: 1107000 | #Constraints: 31008
3096.10/3104.53 c #Conflicts: 1108000 | #Constraints: 32008
3096.10/3104.53 c #Conflicts: 1109000 | #Constraints: 33008
3096.10/3104.53 c #Conflicts: 1110000 | #Constraints: 34008
3096.10/3104.53 c #Conflicts: 1111000 | #Constraints: 35008
3096.10/3104.53 c #Conflicts: 1112000 | #Constraints: 36009
3096.10/3104.53 c #Conflicts: 1113000 | #Constraints: 37010
3096.10/3104.53 c #Conflicts: 1114000 | #Constraints: 38011
3096.10/3104.53 c #Conflicts: 1115000 | #Constraints: 39011
3096.10/3104.53 c #Conflicts: 1116000 | #Constraints: 40011
3096.10/3104.53 c #Conflicts: 1117000 | #Constraints: 41011
3096.10/3104.53 c #Conflicts: 1118000 | #Constraints: 42012
3096.10/3104.53 c #Conflicts: 1119000 | #Constraints: 43012
3096.10/3104.53 c #Conflicts: 1120000 | #Constraints: 44012
3096.10/3104.53 c #Conflicts: 1121000 | #Constraints: 45012
3096.10/3104.53 c #Conflicts: 1122000 | #Constraints: 46013
3096.10/3104.53 c #Conflicts: 1123000 | #Constraints: 47015
3096.10/3104.53 c #Conflicts: 1124000 | #Constraints: 48015
3096.10/3104.53 c #Conflicts: 1125000 | #Constraints: 49015
3096.10/3104.53 c INPROCESSING
3096.10/3104.53 c GARBAGE COLLECT
3096.10/3104.53 c #Conflicts: 1126000 | #Constraints: 29151
3096.10/3104.53 c #Conflicts: 1127000 | #Constraints: 30152
3096.10/3104.53 c #Conflicts: 1128000 | #Constraints: 31152
3096.10/3104.53 c #Conflicts: 1129000 | #Constraints: 32152
3096.10/3104.53 c #Conflicts: 1130000 | #Constraints: 33152
3096.10/3104.53 c #Conflicts: 1131000 | #Constraints: 34154
3096.10/3104.53 c #Conflicts: 1132000 | #Constraints: 35156
3224.96/3233.80 c #Conflicts: 1133000 | #Constraints: 36156
3224.96/3233.80 c #Conflicts: 1134000 | #Constraints: 37156
3224.96/3233.80 c #Conflicts: 1135000 | #Constraints: 38156
3224.96/3233.80 c #Conflicts: 1136000 | #Constraints: 39156
3224.96/3233.80 c #Conflicts: 1137000 | #Constraints: 40156
3224.96/3233.80 c #Conflicts: 1138000 | #Constraints: 41156
3224.96/3233.80 c #Conflicts: 1139000 | #Constraints: 42156
3224.96/3233.80 c #Conflicts: 1140000 | #Constraints: 43156
3224.96/3233.80 c #Conflicts: 1141000 | #Constraints: 44156
3224.96/3233.80 c #Conflicts: 1142000 | #Constraints: 45156
3224.96/3233.80 c #Conflicts: 1143000 | #Constraints: 46156
3224.96/3233.80 c #Conflicts: 1144000 | #Constraints: 47156
3224.96/3233.80 c #Conflicts: 1145000 | #Constraints: 48156
3224.96/3233.80 c #Conflicts: 1146000 | #Constraints: 49156
3224.96/3233.80 c INPROCESSING
3224.96/3233.80 c GARBAGE COLLECT
3224.96/3233.80 c #Conflicts: 1147000 | #Constraints: 29093
3224.96/3233.80 c #Conflicts: 1148000 | #Constraints: 30094
3224.96/3233.80 c #Conflicts: 1149000 | #Constraints: 31094
3224.96/3233.80 c #Conflicts: 1150000 | #Constraints: 32094
3224.96/3233.80 c #Conflicts: 1151000 | #Constraints: 33095
3224.96/3233.80 c #Conflicts: 1152000 | #Constraints: 34096
3224.96/3233.80 c #Conflicts: 1153000 | #Constraints: 35097
3224.96/3233.80 c #Conflicts: 1154000 | #Constraints: 36098
3224.96/3233.80 c #Conflicts: 1155000 | #Constraints: 37098
3224.96/3233.80 c #Conflicts: 1156000 | #Constraints: 38098
3224.96/3233.80 c #Conflicts: 1157000 | #Constraints: 39098
3224.96/3233.80 c #Conflicts: 1158000 | #Constraints: 40098
3224.96/3233.80 c #Conflicts: 1159000 | #Constraints: 41098
3224.96/3233.80 c #Conflicts: 1160000 | #Constraints: 42098
3224.96/3233.80 c #Conflicts: 1161000 | #Constraints: 43098
3224.96/3233.80 c #Conflicts: 1162000 | #Constraints: 44098
3224.96/3233.80 c #Conflicts: 1163000 | #Constraints: 45098
3224.96/3233.80 c #Conflicts: 1164000 | #Constraints: 46098
3224.96/3233.80 c #Conflicts: 1165000 | #Constraints: 47098
3224.96/3233.80 c #Conflicts: 1166000 | #Constraints: 48098
3224.96/3233.80 c #Conflicts: 1167000 | #Constraints: 49099
3224.96/3233.80 c #Conflicts: 1168000 | #Constraints: 50100
3224.96/3233.80 c INPROCESSING
3224.96/3233.80 c GARBAGE COLLECT
3224.96/3233.80 c #Conflicts: 1169000 | #Constraints: 29800
3224.96/3233.80 c #Conflicts: 1170000 | #Constraints: 30801
3224.96/3233.80 c #Conflicts: 1171000 | #Constraints: 31801
3224.96/3233.80 c #Conflicts: 1172000 | #Constraints: 32801
3224.96/3233.80 c #Conflicts: 1173000 | #Constraints: 33801
3224.96/3233.80 c #Conflicts: 1174000 | #Constraints: 34801
3224.96/3233.80 c #Conflicts: 1175000 | #Constraints: 35801
3224.96/3233.80 c #Conflicts: 1176000 | #Constraints: 36801
3224.96/3233.80 c #Conflicts: 1177000 | #Constraints: 37801
3224.96/3233.80 c #Conflicts: 1178000 | #Constraints: 38801
3224.96/3233.80 c #Conflicts: 1179000 | #Constraints: 39801
3224.96/3233.80 c #Conflicts: 1180000 | #Constraints: 40801
3224.96/3233.80 c #Conflicts: 1181000 | #Constraints: 41803
3224.96/3233.80 c #Conflicts: 1182000 | #Constraints: 42803
3224.96/3233.80 c #Conflicts: 1183000 | #Constraints: 43804
3224.96/3233.80 c #Conflicts: 1184000 | #Constraints: 44804
3224.96/3233.80 c #Conflicts: 1185000 | #Constraints: 45804
3224.96/3233.80 c #Conflicts: 1186000 | #Constraints: 46804
3224.96/3233.80 c #Conflicts: 1187000 | #Constraints: 47804
3224.96/3233.80 c #Conflicts: 1188000 | #Constraints: 48804
3224.96/3233.80 c #Conflicts: 1189000 | #Constraints: 49804
3224.96/3233.80 c #Conflicts: 1190000 | #Constraints: 50804
3224.96/3233.80 c INPROCESSING
3224.96/3233.80 c GARBAGE COLLECT
3224.96/3233.80 c #Conflicts: 1191000 | #Constraints: 30114
3224.96/3233.80 c #Conflicts: 1192000 | #Constraints: 31114
3224.96/3233.80 c #Conflicts: 1193000 | #Constraints: 32116
3224.96/3233.80 c #Conflicts: 1194000 | #Constraints: 33116
3224.96/3233.80 c #Conflicts: 1195000 | #Constraints: 34117
3224.96/3233.80 c #Conflicts: 1196000 | #Constraints: 35120
3224.96/3233.80 c #Conflicts: 1197000 | #Constraints: 36121
3224.96/3233.80 c #Conflicts: 1198000 | #Constraints: 37121
3224.96/3233.80 c #Conflicts: 1199000 | #Constraints: 38121
3224.96/3233.80 c #Conflicts: 1200000 | #Constraints: 39121
3224.96/3233.80 c #Conflicts: 1201000 | #Constraints: 40121
3224.96/3233.80 c #Conflicts: 1202000 | #Constraints: 41122
3224.96/3233.80 c #Conflicts: 1203000 | #Constraints: 42123
3224.96/3233.80 c #Conflicts: 1204000 | #Constraints: 43123
3224.96/3233.80 c #Conflicts: 1205000 | #Constraints: 44123
3224.96/3233.80 c #Conflicts: 1206000 | #Constraints: 45123
3224.96/3233.80 c #Conflicts: 1207000 | #Constraints: 46123
3224.96/3233.80 c #Conflicts: 1208000 | #Constraints: 47123
3224.96/3233.80 c #Conflicts: 1209000 | #Constraints: 48123
3355.21/3364.33 c #Conflicts: 1210000 | #Constraints: 49123
3355.21/3364.33 c #Conflicts: 1211000 | #Constraints: 50123
3355.21/3364.33 c #Conflicts: 1212000 | #Constraints: 51123
3355.21/3364.33 c INPROCESSING
3355.21/3364.33 c GARBAGE COLLECT
3355.21/3364.33 c #Conflicts: 1213000 | #Constraints: 30258
3355.21/3364.33 c #Conflicts: 1214000 | #Constraints: 31258
3355.21/3364.33 c #Conflicts: 1215000 | #Constraints: 32258
3355.21/3364.33 c #Conflicts: 1216000 | #Constraints: 33258
3355.21/3364.33 c #Conflicts: 1217000 | #Constraints: 34258
3355.21/3364.33 c #Conflicts: 1218000 | #Constraints: 35258
3355.21/3364.33 c #Conflicts: 1219000 | #Constraints: 36259
3355.21/3364.33 c #Conflicts: 1220000 | #Constraints: 37259
3355.21/3364.33 c #Conflicts: 1221000 | #Constraints: 38259
3355.21/3364.33 c #Conflicts: 1222000 | #Constraints: 39259
3355.21/3364.33 c #Conflicts: 1223000 | #Constraints: 40259
3355.21/3364.33 c #Conflicts: 1224000 | #Constraints: 41259
3355.21/3364.33 c #Conflicts: 1225000 | #Constraints: 42259
3355.21/3364.33 c #Conflicts: 1226000 | #Constraints: 43259
3355.21/3364.33 c #Conflicts: 1227000 | #Constraints: 44259
3355.21/3364.33 c #Conflicts: 1228000 | #Constraints: 45259
3355.21/3364.33 c #Conflicts: 1229000 | #Constraints: 46259
3355.21/3364.33 c #Conflicts: 1230000 | #Constraints: 47259
3355.21/3364.33 c #Conflicts: 1231000 | #Constraints: 48259
3355.21/3364.33 c #Conflicts: 1232000 | #Constraints: 49260
3355.21/3364.33 c #Conflicts: 1233000 | #Constraints: 50260
3355.21/3364.33 c #Conflicts: 1234000 | #Constraints: 51261
3355.21/3364.33 c INPROCESSING
3355.21/3364.33 c GARBAGE COLLECT
3355.21/3364.33 c #Conflicts: 1235000 | #Constraints: 30211
3355.21/3364.33 c #Conflicts: 1236000 | #Constraints: 31211
3355.21/3364.33 c #Conflicts: 1237000 | #Constraints: 32212
3355.21/3364.33 c #Conflicts: 1238000 | #Constraints: 33216
3355.21/3364.33 c #Conflicts: 1239000 | #Constraints: 34216
3355.21/3364.33 c #Conflicts: 1240000 | #Constraints: 35216
3355.21/3364.33 c #Conflicts: 1241000 | #Constraints: 36216
3355.21/3364.33 c #Conflicts: 1242000 | #Constraints: 37216
3355.21/3364.33 c #Conflicts: 1243000 | #Constraints: 38216
3355.21/3364.33 c #Conflicts: 1244000 | #Constraints: 39216
3355.21/3364.33 c #Conflicts: 1245000 | #Constraints: 40216
3355.21/3364.33 c #Conflicts: 1246000 | #Constraints: 41216
3355.21/3364.33 c #Conflicts: 1247000 | #Constraints: 42216
3355.21/3364.33 c #Conflicts: 1248000 | #Constraints: 43216
3355.21/3364.33 c #Conflicts: 1249000 | #Constraints: 44217
3355.21/3364.33 c #Conflicts: 1250000 | #Constraints: 45217
3355.21/3364.33 c #Conflicts: 1251000 | #Constraints: 46217
3355.21/3364.33 c #Conflicts: 1252000 | #Constraints: 47217
3355.21/3364.33 c #Conflicts: 1253000 | #Constraints: 48217
3355.21/3364.33 c #Conflicts: 1254000 | #Constraints: 49217
3355.21/3364.33 c #Conflicts: 1255000 | #Constraints: 50217
3355.21/3364.33 c #Conflicts: 1256000 | #Constraints: 51217
3355.21/3364.33 c INPROCESSING
3355.21/3364.33 c GARBAGE COLLECT
3355.21/3364.33 c #Conflicts: 1257000 | #Constraints: 30112
3355.21/3364.33 c #Conflicts: 1258000 | #Constraints: 31112
3355.21/3364.33 c #Conflicts: 1259000 | #Constraints: 32112
3355.21/3364.33 c #Conflicts: 1260000 | #Constraints: 33112
3355.21/3364.33 c #Conflicts: 1261000 | #Constraints: 34112
3355.21/3364.33 c #Conflicts: 1262000 | #Constraints: 35112
3355.21/3364.33 c #Conflicts: 1263000 | #Constraints: 36112
3355.21/3364.33 c #Conflicts: 1264000 | #Constraints: 37112
3355.21/3364.33 c #Conflicts: 1265000 | #Constraints: 38112
3355.21/3364.33 c #Conflicts: 1266000 | #Constraints: 39112
3355.21/3364.33 c #Conflicts: 1267000 | #Constraints: 40112
3355.21/3364.33 c #Conflicts: 1268000 | #Constraints: 41112
3355.21/3364.33 c #Conflicts: 1269000 | #Constraints: 42112
3355.21/3364.33 c #Conflicts: 1270000 | #Constraints: 43112
3355.21/3364.33 c #Conflicts: 1271000 | #Constraints: 44112
3355.21/3364.33 c #Conflicts: 1272000 | #Constraints: 45112
3355.21/3364.33 c #Conflicts: 1273000 | #Constraints: 46112
3355.21/3364.33 c #Conflicts: 1274000 | #Constraints: 47112
3355.21/3364.33 c #Conflicts: 1275000 | #Constraints: 48113
3355.21/3364.33 c #Conflicts: 1276000 | #Constraints: 49116
3355.21/3364.33 c #Conflicts: 1277000 | #Constraints: 50116
3355.21/3364.33 c #Conflicts: 1278000 | #Constraints: 51116
3355.21/3364.33 c #Conflicts: 1279000 | #Constraints: 52116
3355.21/3364.33 c INPROCESSING
3355.21/3364.33 c GARBAGE COLLECT
3355.21/3364.33 c #Conflicts: 1280000 | #Constraints: 30892
3355.21/3364.33 c #Conflicts: 1281000 | #Constraints: 31893
3355.21/3364.33 c #Conflicts: 1282000 | #Constraints: 32893
3355.21/3364.33 c #Conflicts: 1283000 | #Constraints: 33893
3355.21/3364.33 c #Conflicts: 1284000 | #Constraints: 34893
3355.21/3364.33 c #Conflicts: 1285000 | #Constraints: 35893
3462.31/3471.74 c #Conflicts: 1286000 | #Constraints: 36893
3462.31/3471.74 c #Conflicts: 1287000 | #Constraints: 37893
3462.31/3471.74 c #Conflicts: 1288000 | #Constraints: 38893
3462.31/3471.74 c #Conflicts: 1289000 | #Constraints: 39893
3462.31/3471.74 c #Conflicts: 1290000 | #Constraints: 40893
3462.31/3471.74 c #Conflicts: 1291000 | #Constraints: 41893
3462.31/3471.74 c #Conflicts: 1292000 | #Constraints: 42893
3462.31/3471.74 c #Conflicts: 1293000 | #Constraints: 43893
3462.31/3471.74 c #Conflicts: 1294000 | #Constraints: 44893
3462.31/3471.74 c #Conflicts: 1295000 | #Constraints: 45893
3462.31/3471.74 c #Conflicts: 1296000 | #Constraints: 46893
3462.31/3471.74 c #Conflicts: 1297000 | #Constraints: 47893
3462.31/3471.74 c #Conflicts: 1298000 | #Constraints: 48893
3462.31/3471.74 c #Conflicts: 1299000 | #Constraints: 49893
3462.31/3471.74 c #Conflicts: 1300000 | #Constraints: 50893
3462.31/3471.74 c #Conflicts: 1301000 | #Constraints: 51893
3462.31/3471.74 c #Conflicts: 1302000 | #Constraints: 52893
3462.31/3471.74 c INPROCESSING
3462.31/3471.74 c GARBAGE COLLECT
3462.31/3471.74 c #Conflicts: 1303000 | #Constraints: 31123
3462.31/3471.74 c #Conflicts: 1304000 | #Constraints: 32123
3462.31/3471.74 c #Conflicts: 1305000 | #Constraints: 33123
3462.31/3471.74 c #Conflicts: 1306000 | #Constraints: 34123
3462.31/3471.74 c #Conflicts: 1307000 | #Constraints: 35124
3462.31/3471.74 c #Conflicts: 1308000 | #Constraints: 36124
3462.31/3471.74 c #Conflicts: 1309000 | #Constraints: 37124
3462.31/3471.74 c #Conflicts: 1310000 | #Constraints: 38124
3462.31/3471.74 c #Conflicts: 1311000 | #Constraints: 39124
3462.31/3471.74 c #Conflicts: 1312000 | #Constraints: 40124
3462.31/3471.74 c #Conflicts: 1313000 | #Constraints: 41125
3462.31/3471.74 c #Conflicts: 1314000 | #Constraints: 42125
3462.31/3471.74 c #Conflicts: 1315000 | #Constraints: 43126
3462.31/3471.74 c #Conflicts: 1316000 | #Constraints: 44126
3462.31/3471.74 c #Conflicts: 1317000 | #Constraints: 45127
3462.31/3471.74 c #Conflicts: 1318000 | #Constraints: 46128
3462.31/3471.74 c #Conflicts: 1319000 | #Constraints: 47129
3462.31/3471.74 c #Conflicts: 1320000 | #Constraints: 48129
3462.31/3471.74 c #Conflicts: 1321000 | #Constraints: 49129
3462.31/3471.74 c #Conflicts: 1322000 | #Constraints: 50129
3462.31/3471.74 c #Conflicts: 1323000 | #Constraints: 51130
3462.31/3471.74 c #Conflicts: 1324000 | #Constraints: 52130
3462.31/3471.74 c #Conflicts: 1325000 | #Constraints: 53130
3462.31/3471.74 c INPROCESSING
3462.31/3471.74 c GARBAGE COLLECT
3462.31/3471.74 c #Conflicts: 1326000 | #Constraints: 31437
3462.31/3471.74 c #Conflicts: 1327000 | #Constraints: 32437
3462.31/3471.74 c #Conflicts: 1328000 | #Constraints: 33438
3462.31/3471.74 c #Conflicts: 1329000 | #Constraints: 34438
3462.31/3471.74 c #Conflicts: 1330000 | #Constraints: 35438
3462.31/3471.74 c #Conflicts: 1331000 | #Constraints: 36440
3462.31/3471.74 c #Conflicts: 1332000 | #Constraints: 37441
3462.31/3471.74 c #Conflicts: 1333000 | #Constraints: 38441
3462.31/3471.74 c #Conflicts: 1334000 | #Constraints: 39441
3462.31/3471.74 c #Conflicts: 1335000 | #Constraints: 40441
3462.31/3471.74 c #Conflicts: 1336000 | #Constraints: 41441
3462.31/3471.74 c #Conflicts: 1337000 | #Constraints: 42441
3462.31/3471.74 c #Conflicts: 1338000 | #Constraints: 43441
3462.31/3471.74 c #Conflicts: 1339000 | #Constraints: 44441
3462.31/3471.74 c #Conflicts: 1340000 | #Constraints: 45441
3462.31/3471.74 c #Conflicts: 1341000 | #Constraints: 46441
3462.31/3471.74 c #Conflicts: 1342000 | #Constraints: 47441
3462.31/3471.74 c #Conflicts: 1343000 | #Constraints: 48441
3462.31/3471.74 c #Conflicts: 1344000 | #Constraints: 49442
3462.31/3471.74 c #Conflicts: 1345000 | #Constraints: 50443
3462.31/3471.74 c #Conflicts: 1346000 | #Constraints: 51443
3462.31/3471.74 c #Conflicts: 1347000 | #Constraints: 52443
3462.31/3471.74 c #Conflicts: 1348000 | #Constraints: 53444
3462.31/3471.74 c INPROCESSING
3462.31/3471.74 c GARBAGE COLLECT
3462.31/3471.74 c #Conflicts: 1349000 | #Constraints: 31389
3462.31/3471.74 c #Conflicts: 1350000 | #Constraints: 32390
3462.31/3471.74 c #Conflicts: 1351000 | #Constraints: 33391
3462.31/3471.74 c #Conflicts: 1352000 | #Constraints: 34393
3462.31/3471.74 c #Conflicts: 1353000 | #Constraints: 35393
3462.31/3471.74 c #Conflicts: 1354000 | #Constraints: 36394
3462.31/3471.74 c #Conflicts: 1355000 | #Constraints: 37394
3462.31/3471.74 c #Conflicts: 1356000 | #Constraints: 38394
3462.31/3471.74 c #Conflicts: 1357000 | #Constraints: 39394
3462.31/3471.74 c #Conflicts: 1358000 | #Constraints: 40394
3462.31/3471.74 c #Conflicts: 1359000 | #Constraints: 41394
3462.31/3471.74 c #Conflicts: 1360000 | #Constraints: 42394
3462.31/3471.74 c #Conflicts: 1361000 | #Constraints: 43394
3462.31/3471.74 c #Conflicts: 1362000 | #Constraints: 44394
3526.53/3536.15 c #Conflicts: 1363000 | #Constraints: 45394
3526.53/3536.15 c #Conflicts: 1364000 | #Constraints: 46394
3526.53/3536.15 c #Conflicts: 1365000 | #Constraints: 47394
3526.53/3536.15 c #Conflicts: 1366000 | #Constraints: 48395
3526.53/3536.15 c #Conflicts: 1367000 | #Constraints: 49396
3526.53/3536.15 c #Conflicts: 1368000 | #Constraints: 50397
3526.53/3536.15 c #Conflicts: 1369000 | #Constraints: 51397
3526.53/3536.15 c #Conflicts: 1370000 | #Constraints: 52397
3526.53/3536.15 c #Conflicts: 1371000 | #Constraints: 53397
3526.53/3536.15 c INPROCESSING
3526.53/3536.15 c GARBAGE COLLECT
3526.53/3536.15 c #Conflicts: 1372000 | #Constraints: 31216
3526.53/3536.15 c #Conflicts: 1373000 | #Constraints: 32216
3526.53/3536.15 c #Conflicts: 1374000 | #Constraints: 33217
3526.53/3536.15 c #Conflicts: 1375000 | #Constraints: 34217
3526.53/3536.15 c #Conflicts: 1376000 | #Constraints: 35218
3526.53/3536.15 c #Conflicts: 1377000 | #Constraints: 36219
3526.53/3536.15 c #Conflicts: 1378000 | #Constraints: 37219
3526.53/3536.15 c #Conflicts: 1379000 | #Constraints: 38219
3526.53/3536.15 c #Conflicts: 1380000 | #Constraints: 39221
3526.53/3536.15 c #Conflicts: 1381000 | #Constraints: 40222
3526.53/3536.15 c #Conflicts: 1382000 | #Constraints: 41222
3526.53/3536.15 c #Conflicts: 1383000 | #Constraints: 42222
3526.53/3536.15 c #Conflicts: 1384000 | #Constraints: 43223
3526.53/3536.15 c #Conflicts: 1385000 | #Constraints: 44223
3526.53/3536.15 c #Conflicts: 1386000 | #Constraints: 45223
3526.53/3536.15 c #Conflicts: 1387000 | #Constraints: 46223
3526.53/3536.15 c #Conflicts: 1388000 | #Constraints: 47223
3526.53/3536.15 c #Conflicts: 1389000 | #Constraints: 48223
3526.53/3536.15 c #Conflicts: 1390000 | #Constraints: 49223
3526.53/3536.15 c #Conflicts: 1391000 | #Constraints: 50223
3526.53/3536.15 c #Conflicts: 1392000 | #Constraints: 51223
3526.53/3536.15 c #Conflicts: 1393000 | #Constraints: 52223
3526.53/3536.15 c #Conflicts: 1394000 | #Constraints: 53224
3526.53/3536.15 c #Conflicts: 1395000 | #Constraints: 54224
3526.53/3536.15 c INPROCESSING
3526.53/3536.15 c GARBAGE COLLECT
3526.53/3536.15 c rational objective 4.15135e+08
3600.02/3609.80 c #Conflicts: 1396000 | #Constraints: 31876
3600.02/3609.80 c #Conflicts: 1397000 | #Constraints: 32876
3600.02/3609.80 c #Conflicts: 1398000 | #Constraints: 33876
3600.02/3609.80 c #Conflicts: 1399000 | #Constraints: 34876
3600.02/3609.80 c #Conflicts: 1400000 | #Constraints: 35876
3600.02/3609.80 c #Conflicts: 1401000 | #Constraints: 36877
3600.02/3609.80 c #Conflicts: 1402000 | #Constraints: 37878
3600.02/3609.80 c #Conflicts: 1403000 | #Constraints: 38878
3600.02/3609.80 c #Conflicts: 1404000 | #Constraints: 39880
3600.02/3609.80 c #Conflicts: 1405000 | #Constraints: 40882
3600.02/3609.80 c #Conflicts: 1406000 | #Constraints: 41883
3600.02/3609.80 c #Conflicts: 1407000 | #Constraints: 42883
3600.02/3609.80 c #Conflicts: 1408000 | #Constraints: 43884
3600.02/3609.80 c #Conflicts: 1409000 | #Constraints: 44884
3600.02/3609.80 c #Conflicts: 1410000 | #Constraints: 45884
3600.02/3609.80 c #Conflicts: 1411000 | #Constraints: 46884
3600.02/3609.80 c #Conflicts: 1412000 | #Constraints: 47884
3600.02/3609.80 c #Conflicts: 1413000 | #Constraints: 48884
3600.02/3609.80 c #Conflicts: 1414000 | #Constraints: 49885
3600.02/3609.80 c #Conflicts: 1415000 | #Constraints: 50885
3600.02/3609.80 c #Conflicts: 1416000 | #Constraints: 51887
3600.02/3609.80 c #Conflicts: 1417000 | #Constraints: 52887
3600.02/3609.80 c #Conflicts: 1418000 | #Constraints: 53888
3600.02/3609.80 c #Conflicts: 1419000 | #Constraints: 54888
3600.02/3609.80 c INPROCESSING
3600.02/3609.80 c GARBAGE COLLECT
3600.02/3609.80 c Disabling crashed LP
3600.02/3609.80 c cpu time 3461.25 s
3600.02/3609.80 c deterministic time 156815669990 1.57e+11
3600.02/3609.80 c optimization time 0.039979 s
3600.02/3609.80 c total solve time 3461.05 s
3600.02/3609.80 c core-guided solve time 1191.47 s
3600.02/3609.80 c propagation time 1689.89 s
3600.02/3609.80 c conflict analysis time 120.954 s
3600.02/3609.80 c propagations 492115576
3600.02/3609.80 c resolve steps 6248765
3600.02/3609.80 c decisions 177390534
3600.02/3609.80 c conflicts 1419000
3600.02/3609.80 c restarts 2747
3600.02/3609.80 c inprocessing phases 110
3600.02/3609.80 c garbage collections 109 ,( 99.09 )
3600.02/3609.80 c input clauses 0 ,( 0.00 )
3600.02/3609.80 c input cardinalities 0 ,( 0.00 )
3600.02/3609.80 c input general constraints 5184 ,( 100.00 )
3600.02/3609.80 c input average constraint length 64.33
3600.02/3609.80 c input average constraint degree 20629994197.79
3600.02/3609.80 c learned clauses 41578 ,( 2.93 )
3600.02/3609.80 c learned cardinalities 115 ,( 0.01 )
3600.02/3609.80 c learned general constraints 1377827 ,( 97.06 )
3600.02/3609.80 c learned average constraint length 201.46
3600.02/3609.80 c learned average constraint degree 243005560.69
3600.02/3609.80 c watched CF 32, 64, 128, Arb: 3956 , 0 , 0 , 0
3600.02/3609.80 c counting CF 32, 64, 128, Arb: 1379039 , 17 , 0 , 0
3600.02/3609.80 c watched constraints 3956 ,( 0.29 )
3600.02/3609.80 c counting constraints 1379055 ,( 99.71 )
3600.02/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 22441528 , 27253 , 15862750563 ,( 1196886 , 15861553677 )
3600.02/3609.80 c gcd simplifications 756839
3600.02/3609.80 c detected cardinalities 80
3600.02/3609.80 c weakened non-implied lits 132297713
3600.02/3609.80 c weakened non-implying lits 5272125
3600.02/3609.80 c original variables 107808
3600.02/3609.80 c clausal propagations 12850014
3600.02/3609.80 c cardinality propagations 6123
3600.02/3609.80 c watched propagations 29193
3600.02/3609.80 c counting propagations 474947880
3600.02/3609.80 c watch lookups 20384358402
3600.02/3609.80 c watch backjump lookups 0
3600.02/3609.80 c watch checks 35474834
3600.02/3609.80 c propagation checks 133886350060
3600.02/3609.80 c constraint additions 1166280344
3600.02/3609.80 c trail pops 670881379
3600.02/3609.80 c formula constraints 5184
3600.02/3609.80 c learned constraints 1418858
3600.02/3609.80 c bound constraints 0
3600.02/3609.80 c core-guided constraints 0
3600.02/3609.80 c encountered formula constraints 2972266
3600.02/3609.80 c encountered learned constraints 4575093
3600.02/3609.80 c encountered bound constraints 0
3600.02/3609.80 c encountered core-guided constraints 0
3600.02/3609.80 c LP total time 2329.14 s
3600.02/3609.80 c LP solve time 2326.57 s
3600.02/3609.80 c LP constraints added 5624
3600.02/3609.80 c LP constraints removed 89
3600.02/3609.80 c LP pivots internal 1420533
3600.02/3609.80 c LP pivots root 1398327
3600.02/3609.80 c LP calls 545
3600.02/3609.80 c LP optimalities 3
3600.02/3609.80 c LP no pivot count 0
3600.02/3609.80 c LP infeasibilities 496
3600.02/3609.80 c LP valid Farkas constraints 452
3600.02/3609.80 c LP learned Farkas constraints 142
3600.02/3609.80 c LP basis resets 63
3600.02/3609.80 c LP cycling count 5
3600.02/3609.80 c LP singular count 31
3600.02/3609.80 c LP no primal count 0
3600.02/3609.80 c LP no farkas count 26
3600.02/3609.80 c LP other issue count 1
3600.02/3609.80 c LP Gomory cuts 68
3600.02/3609.80 c LP learned cuts 372
3600.02/3609.80 c LP deleted cuts 89
3600.02/3609.80 c LP encountered Gomory constraints 3
3600.02/3609.80 c LP encountered Farkas constraints 116727
3600.02/3609.80 c LP encountered learned Farkas constraints 3534
3600.02/3609.80 c CG auxiliary variables introduced 0
3600.02/3609.80 c CG solutions found 0
3600.02/3609.80 c CG cores constructed 0
3600.02/3609.80 c CG core cardinality constraints returned 0
3600.02/3609.80 c CG unit cores 0
3600.02/3609.80 c CG single cores 0
3600.02/3609.80 c CG blocks removed during cardinality reduction 0
3600.02/3609.80 c CG first core best 0
3600.02/3609.80 c CG decision core best 0
3600.02/3609.80 c CG core reduction tie 0
3600.02/3609.80 c CG core degree average 0.00
3600.02/3609.80 c CG core slack average 0.00
3600.02/3609.80 c CG core upper bound improvements 0
3600.02/3609.80 c STR number of successful calls 0
3600.02/3609.80 c STR number of unsuccessful calls 0
3600.02/3609.80 c STR number of inconclusive calls 0
3600.02/3609.80 c STR number of successful attempts 0
3600.02/3609.80 c STR number of unsuccessful attempts 0
3600.02/3609.80 c STR number of inconclusive attempts 0
3600.02/3609.80 c STR average degree increase per successful call inf
3600.02/3609.80 c STR average degree increase per successful attempt inf
3600.02/3609.80 c STR total number of conflicts for successful attempts 0
3600.02/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.80 c STR average number of conflicts per successful attempt inf
3600.02/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.80 c AVG.sumWPerc 97.16
3600.02/3609.80 c bigint constraints 17
3600.02/3609.80 s UNKNOWN
3600.02/3609.80 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: 63708 MiB (63007 MiB free)
memory of node 1: 64465 MiB (63872 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485324-1751305374/watcher-4485324-1751305374 -o /tmp/evaluation-result-4485324-1751305374/solver-4485324-1751305374 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751305374-44690 --watchdog 3760 run-opt-break.sh HOME/instance-4485324-1751305374.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=44740, runsolver pid=44732
[startup+0.100063 s]*
/proc/loadavg: 1.88 3.52 3.89 5/275 44754
/proc/meminfo: memFree=129787712/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44751] ppid=44740 vsize=80736 memory=52412 CPUtime=0.07 cores=0,2
/proc/44751/stat : 44751 (pbsuma) R 44740 44740 44680 0 -1 4194304 10083 0 0 0 5 2 0 0 20 0 1 0 46216832 82673664 13103 18446744073709551615 4210688 4653049 140722991365072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 12668928 140722991368547 140722991368754 140722991368754 140722991374319 0
/proc/44751/statm: 20184 13103 960 108 0 17592 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 84928 KiB
Current children cumulated memory: 55356 KiB
[startup+0.205864 s]*
/proc/loadavg: 1.88 3.52 3.89 5/275 44755
/proc/meminfo: memFree=129643120/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44751] ppid=44740 vsize=137180 memory=98740 CPUtime=0.18 cores=0,2
/proc/44751/stat : 44751 (pbsuma) R 44740 44740 44680 0 -1 4194304 20103 0 0 0 14 4 0 0 20 0 1 0 46216832 140472320 24685 18446744073709551615 4210688 4653049 140722991365072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 12668928 140722991368547 140722991368754 140722991368754 140722991374319 0
/proc/44751/statm: 34295 24685 992 108 0 31703 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 141372 KiB
Current children cumulated memory: 101684 KiB
[startup+0.305878 s]*
/proc/loadavg: 1.88 3.52 3.89 5/275 44756
/proc/meminfo: memFree=129655588/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=74240 memory=26404 CPUtime=0 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 3661 0 0 0 0 0 0 0 20 0 1 0 46216860 76021760 6601 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 18560 6601 1824 1147 0 5987 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 78432 KiB
Current children cumulated memory: 29348 KiB
[startup+0.700205 s]
/proc/loadavg: 1.88 3.52 3.89 5/275 44756
/proc/meminfo: memFree=129590968/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=162308 memory=117344 CPUtime=0.39 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 23620 0 0 0 34 5 0 0 20 0 1 0 46216860 166203392 29336 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 40577 29336 2336 1147 0 28004 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 166500 KiB
Current children cumulated memory: 120288 KiB
[startup+1.5002 s]
/proc/loadavg: 1.88 3.52 3.89 5/275 44758
/proc/meminfo: memFree=129586636/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=166368 memory=121696 CPUtime=1.19 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 24663 0 0 0 87 32 0 0 20 0 1 0 46216860 170360832 30424 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 41592 30424 2368 1147 0 29019 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 170560 KiB
Current children cumulated memory: 124640 KiB
[startup+3.10569 s]
/proc/loadavg: 1.88 3.52 3.89 5/275 44758
/proc/meminfo: memFree=129428508/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=166368 memory=121696 CPUtime=2.79 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 24675 0 0 0 203 76 0 0 20 0 1 0 46216860 170360832 30424 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 41592 30424 2368 1147 0 29019 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 170560 KiB
Current children cumulated memory: 124640 KiB
[startup+6.30017 s]
/proc/loadavg: 2.05 3.53 3.89 5/275 44758
/proc/meminfo: memFree=129242844/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=172220 memory=126168 CPUtime=5.98 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 25273 0 0 0 478 120 0 0 20 0 1 0 46216860 176353280 31542 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 43055 31542 2368 1147 0 30482 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 176412 KiB
Current children cumulated memory: 129112 KiB
[startup+12.7002 s]
/proc/loadavg: 2.20 3.54 3.89 5/275 44758
/proc/meminfo: memFree=128921248/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=176848 memory=131672 CPUtime=12.36 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 26687 0 0 0 1061 175 0 0 20 0 1 0 46216860 181092352 32918 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 44212 32918 2368 1147 0 31639 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 181040 KiB
Current children cumulated memory: 134616 KiB
[startup+25.5002 s]
/proc/loadavg: 2.68 3.58 3.90 5/275 44758
/proc/meminfo: memFree=128559732/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=201556 memory=155272 CPUtime=25.13 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 30546 0 0 0 2231 282 0 0 20 0 1 0 46216860 206393344 38818 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 50389 38818 2368 1147 0 37816 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 205748 KiB
Current children cumulated memory: 158216 KiB
[startup+51.1058 s]
/proc/loadavg: 3.13 3.61 3.90 5/275 44758
/proc/meminfo: memFree=128341216/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=209164 memory=163208 CPUtime=50.67 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 32511 0 0 0 4584 483 0 0 20 0 1 0 46216860 214183936 40802 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 52291 40802 2368 1147 0 39718 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 213356 KiB
Current children cumulated memory: 166152 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 3.69 3.92 5/275 44760
/proc/meminfo: memFree=127915968/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=253864 memory=208096 CPUtime=101.73 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 38023 0 0 0 9124 1049 0 0 20 0 1 0 46216860 259956736 52024 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 63466 52024 2496 1147 0 50893 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 258056 KiB
Current children cumulated memory: 211040 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.80 3.94 5/274 44762
/proc/meminfo: memFree=127579804/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=261044 memory=209376 CPUtime=161.57 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 38360 0 0 0 14885 1272 0 0 20 0 1 0 46216860 267309056 52344 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 65261 52344 2496 1147 0 52688 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 265236 KiB
Current children cumulated memory: 212320 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.85 3.95 5/273 44764
/proc/meminfo: memFree=127139996/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=313936 memory=263172 CPUtime=221.42 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 47741 0 0 0 20439 1703 0 0 20 0 1 0 46216860 321470464 65793 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 78484 65793 2496 1147 0 65911 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/44756/statm: 365115 336275 2496 1147 0 352542 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 1464652 KiB
Current children cumulated memory: 1348044 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 44926
/proc/meminfo: memFree=116505728/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1460460 memory=1366220 CPUtime=3093.66 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 236547 0 0 0 298294 11072 0 0 20 0 1 0 46216860 1495511040 341555 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 365115 341555 2496 1147 0 352542 0
Current children cumulated CPU time: 3093.91 s
Current children cumulated vsize: 1464652 KiB
Current children cumulated memory: 1369164 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 44928
/proc/meminfo: memFree=116457136/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1497584 memory=1420192 CPUtime=3153.51 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 241665 0 0 0 303785 11566 0 0 20 0 1 0 46216860 1533526016 355048 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 374396 355048 2496 1147 0 361823 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 1501776 KiB
Current children cumulated memory: 1423136 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/269 44931
/proc/meminfo: memFree=116385752/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1540788 memory=1467908 CPUtime=3213.34 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 248270 0 0 0 309384 11950 0 0 20 0 1 0 46216860 1577766912 366977 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 385197 366977 2496 1147 0 372624 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 1544980 KiB
Current children cumulated memory: 1470852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 44933
/proc/meminfo: memFree=116345476/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1540788 memory=1473924 CPUtime=3273.18 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 248278 0 0 0 315124 12194 0 0 20 0 1 0 46216860 1577766912 368481 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 385197 368481 2496 1147 0 372624 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 1544980 KiB
Current children cumulated memory: 1476868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/267 44935
/proc/meminfo: memFree=116327012/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1540788 memory=1474564 CPUtime=3333.02 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 248284 0 0 0 320775 12527 0 0 20 0 1 0 46216860 1577766912 368641 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 385197 368641 2496 1147 0 372624 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 1544980 KiB
Current children cumulated memory: 1477508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 44938
/proc/meminfo: memFree=116257748/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1579076 memory=1507876 CPUtime=3392.86 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 254067 0 0 0 326361 12925 0 0 20 0 1 0 46216860 1616973824 376969 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 394769 376969 2496 1147 0 382196 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 1583268 KiB
Current children cumulated memory: 1510820 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 44940
/proc/meminfo: memFree=116216064/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1616676 memory=1543812 CPUtime=3452.69 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 260882 0 0 0 332041 13228 0 0 20 0 1 0 46216860 1655476224 385953 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 404169 385953 2496 1147 0 391596 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 1620868 KiB
Current children cumulated memory: 1546756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 44942
/proc/meminfo: memFree=116207884/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1616676 memory=1543812 CPUtime=3512.52 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 261192 0 0 0 337619 13633 0 0 20 0 1 0 46216860 1655476224 385953 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 404169 385953 2496 1147 0 391596 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 1620868 KiB
Current children cumulated memory: 1546756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 44944
/proc/meminfo: memFree=115707100/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1638976 memory=1566528 CPUtime=3572.35 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 263797 0 0 0 343396 13839 0 0 20 0 1 0 46216860 1678311424 391632 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 409744 391632 2496 1147 0 397171 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 1643168 KiB
Current children cumulated memory: 1569472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 44952
/proc/meminfo: memFree=115603796/131250000 swapFree=33009904/33010684
[pid=44740] ppid=44732 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44740/stat : 44740 (run-opt-break.s) S 44732 44740 44680 0 -1 4194304 236 25396 0 0 0 0 20 5 20 0 1 0 46216831 4292608 736 18446744073709551615 94576465580032 94576466474565 140728586535360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576466713616 94576466761360 94576485068800 140728586541409 140728586541538 140728586541538 140728586547140 0
/proc/44740/statm: 1048 736 672 219 0 110 0
[pid=44756] ppid=44740 vsize=1638976 memory=1566528 CPUtime=3599.77 cores=0,2
/proc/44756/stat : 44756 (roundingsat) R 44740 44740 44680 0 -1 4194304 263797 0 0 0 346124 13853 0 0 20 0 1 0 46216860 1678311424 391632 18446744073709551615 4227072 8923433 140730401205824 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38748160 140730401212772 140730401212968 140730401212968 140730401218538 0
/proc/44756/statm: 409744 391632 2496 1147 0 397171 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1643168 KiB
Current children cumulated memory: 1569472 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.8 s]
# the end of solver process 44740 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.208095 s, system=0.061416 s
Sleeping 2 seconds
[startup+3609.82 s]
# the end of solver process 44756 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3461.47 s, system=138.606 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.82
CPU time (s): 3600.08
CPU user time (s): 3461.47
CPU system time (s): 138.606
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 1643168
Max. memory (cumulated for all children) (KiB): 1569472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3461.47
system time used= 138.606
maximum resident set size= 1566656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281
involuntary context switches= 7980
# summary of solver processes directly reported to runsolver:
# pid: 44740,44756
# total CPU time (s): 3600.08
# total CPU user time (s): 3461.47
# total CPU system time (s): 138.606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02802 second user time and 18.6008 second system time
The end
Begin job on nodeC033 at 2025-06-30 19:42:54
IDJOB=4485324
IDBENCH=146784
IDSOLVER=3359
FILE ID=nodeC033/4485324-1751305374
RUNJOBID= nodeC033-1751305374-44690
SLURM_JOB_ID= 9594304
Free space on /tmp= 432764 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485324-1751305374/watcher-4485324-1751305374 -o /tmp/evaluation-result-4485324-1751305374/solver-4485324-1751305374 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751305374-44690 --watchdog 3760 run-opt-break.sh HOME/instance-4485324-1751305374.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=1651697420
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.104
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2625.446
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.809
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2566.493
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.078
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1856.268
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.092
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2444.870
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129923312 kB
MemAvailable: 129748508 kB
Buffers: 2128 kB
Cached: 624356 kB
SwapCached: 68 kB
Active: 242420 kB
Inactive: 447416 kB
Active(anon): 56572 kB
Inactive(anon): 24808 kB
Active(file): 185848 kB
Inactive(file): 422608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43956 kB
Writeback: 0 kB
AnonPages: 66380 kB
Mapped: 103584 kB
Shmem: 18028 kB
KReclaimable: 111960 kB
Slab: 201008 kB
SReclaimable: 111960 kB
SUnreclaim: 89048 kB
KernelStack: 4304 kB
PageTables: 2944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432716 MiB
End job on nodeC033 at 2025-06-30 20:43:04