0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 470 #constraints 470
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 5 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 465 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.004506
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.004506
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.020128
0.06/0.18 c GLOBAL bounds - >= 0 @ 0.144003
0.06/0.20 c GLOBAL bounds - >= 0 @ 0.163455
0.37/0.46 c #Conflicts: 1000 | #Constraints: 1476
0.37/0.46 c GLOBAL bounds - >= 0 @ 0.411156
0.76/0.83 c #Conflicts: 2000 | #Constraints: 2478
0.76/0.83 c INPROCESSING
0.76/0.83 c GARBAGE COLLECT
0.76/0.83 c #Conflicts: 3000 | #Constraints: 2490
0.76/0.83 c GLOBAL bounds - >= 0 @ 0.777667
11.63/11.77 c #Conflicts: 4000 | #Constraints: 3492
11.63/11.77 c INPROCESSING
11.63/11.77 c GARBAGE COLLECT
11.63/11.77 c #Conflicts: 5000 | #Constraints: 2897
11.63/11.77 c #Conflicts: 6000 | #Constraints: 3897
11.63/11.77 c INPROCESSING
11.63/11.77 c GARBAGE COLLECT
11.63/11.77 c #Conflicts: 7000 | #Constraints: 2900
11.63/11.77 c #Conflicts: 8000 | #Constraints: 3900
11.63/11.77 c #Conflicts: 9000 | #Constraints: 4900
11.63/11.77 c INPROCESSING
11.63/11.77 c GARBAGE COLLECT
11.63/11.77 c #Conflicts: 10000 | #Constraints: 3600
11.63/11.77 c #Conflicts: 11000 | #Constraints: 4600
11.63/11.77 c #Conflicts: 12000 | #Constraints: 5600
11.63/11.77 c INPROCESSING
11.63/11.77 c GARBAGE COLLECT
11.63/11.77 c #Conflicts: 13000 | #Constraints: 4052
11.63/11.77 c #Conflicts: 14000 | #Constraints: 5052
11.63/11.77 c #Conflicts: 15000 | #Constraints: 6052
11.63/11.77 c INPROCESSING
11.63/11.77 c GARBAGE COLLECT
11.63/11.77 c #Conflicts: 16000 | #Constraints: 4280
11.63/11.77 c #Conflicts: 17000 | #Constraints: 5280
11.63/11.77 c #Conflicts: 18000 | #Constraints: 6280
11.63/11.77 c INPROCESSING
11.63/11.77 c GARBAGE COLLECT
11.63/11.77 c #Conflicts: 19000 | #Constraints: 4296
11.63/11.77 c #Conflicts: 20000 | #Constraints: 5296
11.63/11.77 c #Conflicts: 21000 | #Constraints: 6296
11.63/11.77 c INPROCESSING
11.63/11.77 c GARBAGE COLLECT
11.63/11.77 c #Conflicts: 22000 | #Constraints: 4101
11.63/11.77 c #Conflicts: 23000 | #Constraints: 5101
11.63/11.77 c #Conflicts: 24000 | #Constraints: 6101
11.63/11.77 c #Conflicts: 25000 | #Constraints: 7101
11.63/11.77 c INPROCESSING
11.63/11.77 c GARBAGE COLLECT
11.63/11.77 c #Conflicts: 26000 | #Constraints: 4707
11.63/11.77 c #Conflicts: 27000 | #Constraints: 5707
11.63/11.77 c GLOBAL bounds - >= 0 @ 11.4984
14.42/14.55 c #Conflicts: 28000 | #Constraints: 6709
14.42/14.55 c #Conflicts: 29000 | #Constraints: 7709
14.42/14.55 c INPROCESSING
14.42/14.55 c GARBAGE COLLECT
14.42/14.55 c #Conflicts: 30000 | #Constraints: 5116
14.42/14.55 c #Conflicts: 31000 | #Constraints: 6116
14.42/14.55 c #Conflicts: 32000 | #Constraints: 7116
14.42/14.55 c GLOBAL bounds - >= 0 @ 14.2173
15.52/15.68 c #Conflicts: 33000 | #Constraints: 8118
15.52/15.68 c INPROCESSING
15.52/15.68 c GARBAGE COLLECT
15.52/15.68 c #Conflicts: 34000 | #Constraints: 5314
15.52/15.68 c GLOBAL bounds - >= 0 @ 15.3369
15.92/16.01 c #Conflicts: 35000 | #Constraints: 6316
15.92/16.01 c GLOBAL bounds - >= 0 @ 15.6579
19.31/19.41 c #Conflicts: 36000 | #Constraints: 7318
19.31/19.41 c #Conflicts: 37000 | #Constraints: 8318
19.31/19.41 c INPROCESSING
19.31/19.41 c GARBAGE COLLECT
19.31/19.41 c #Conflicts: 38000 | #Constraints: 5324
19.31/19.41 c #Conflicts: 39000 | #Constraints: 6324
19.31/19.41 c #Conflicts: 40000 | #Constraints: 7324
19.31/19.41 c #Conflicts: 41000 | #Constraints: 8324
19.31/19.41 c INPROCESSING
19.31/19.41 c GARBAGE COLLECT
19.31/19.41 c GLOBAL bounds - >= 0 @ 19.0124
21.71/21.86 c #Conflicts: 42000 | #Constraints: 5127
21.71/21.86 c #Conflicts: 43000 | #Constraints: 6127
21.71/21.86 c #Conflicts: 44000 | #Constraints: 7127
21.71/21.86 c #Conflicts: 45000 | #Constraints: 8127
21.71/21.86 c GLOBAL bounds - >= 0 @ 21.4238
22.20/22.35 c #Conflicts: 46000 | #Constraints: 9129
22.20/22.35 c INPROCESSING
22.20/22.35 c GARBAGE COLLECT
22.20/22.35 c GLOBAL bounds - >= 0 @ 21.9061
22.40/22.57 c #Conflicts: 47000 | #Constraints: 5723
22.40/22.57 c GLOBAL bounds - >= 0 @ 22.1207
22.60/22.70 c GLOBAL bounds - >= 0 @ 22.2458
22.60/22.75 c GLOBAL bounds - >= 0 @ 22.2945
22.80/22.98 c GLOBAL bounds - >= 0 @ 22.5228
23.30/23.43 c #Conflicts: 48000 | #Constraints: 6731
23.30/23.43 c GLOBAL bounds - >= 0 @ 22.9675
26.00/26.15 c #Conflicts: 49000 | #Constraints: 7733
26.00/26.15 c #Conflicts: 50000 | #Constraints: 8733
26.00/26.15 c #Conflicts: 51000 | #Constraints: 9733
26.00/26.15 c INPROCESSING
26.00/26.15 c GARBAGE COLLECT
26.00/26.15 c #Conflicts: 52000 | #Constraints: 6134
26.00/26.15 c GLOBAL bounds - >= 0 @ 25.6521
28.08/28.23 c #Conflicts: 53000 | #Constraints: 7136
28.08/28.23 c #Conflicts: 54000 | #Constraints: 8136
28.08/28.23 c #Conflicts: 55000 | #Constraints: 9136
28.08/28.23 c #Conflicts: 56000 | #Constraints: 10136
28.08/28.23 c INPROCESSING
28.08/28.23 c GARBAGE COLLECT
28.08/28.23 c GLOBAL bounds - >= 0 @ 27.6958
29.38/29.51 c #Conflicts: 57000 | #Constraints: 6338
29.38/29.51 c #Conflicts: 58000 | #Constraints: 7338
29.38/29.51 c GLOBAL bounds - >= 0 @ 28.9549
29.89/30.07 c #Conflicts: 59000 | #Constraints: 8340
29.89/30.07 c GLOBAL bounds - >= 0 @ 29.5087
34.97/35.15 c #Conflicts: 60000 | #Constraints: 9342
34.97/35.15 c #Conflicts: 61000 | #Constraints: 10342
34.97/35.15 c INPROCESSING
34.97/35.15 c GARBAGE COLLECT
34.97/35.15 c #Conflicts: 62000 | #Constraints: 6349
34.97/35.15 c #Conflicts: 63000 | #Constraints: 7349
34.97/35.15 c #Conflicts: 64000 | #Constraints: 8349
34.97/35.15 c #Conflicts: 65000 | #Constraints: 9349
34.97/35.15 c #Conflicts: 66000 | #Constraints: 10349
34.97/35.15 c INPROCESSING
34.97/35.15 c GARBAGE COLLECT
34.97/35.15 c #Conflicts: 67000 | #Constraints: 6146
34.97/35.15 c GLOBAL bounds - >= 0 @ 34.5027
35.56/35.77 c #Conflicts: 68000 | #Constraints: 7148
35.56/35.77 c GLOBAL bounds - >= 0 @ 35.1118
38.06/38.24 c #Conflicts: 69000 | #Constraints: 8150
38.06/38.24 c #Conflicts: 70000 | #Constraints: 9150
38.06/38.24 c #Conflicts: 71000 | #Constraints: 10150
38.06/38.24 c #Conflicts: 72000 | #Constraints: 11150
38.06/38.24 c INPROCESSING
38.06/38.24 c GARBAGE COLLECT
38.06/38.24 c GLOBAL bounds - >= 0 @ 37.5487
40.26/40.44 c #Conflicts: 73000 | #Constraints: 6755
40.26/40.44 c #Conflicts: 74000 | #Constraints: 7755
40.26/40.44 c #Conflicts: 75000 | #Constraints: 8755
40.26/40.44 c GLOBAL bounds - >= 0 @ 39.7167
77.45/77.72 c #Conflicts: 76000 | #Constraints: 9757
77.45/77.72 c #Conflicts: 77000 | #Constraints: 10757
77.45/77.72 c #Conflicts: 78000 | #Constraints: 11757
77.45/77.72 c INPROCESSING
77.45/77.72 c GARBAGE COLLECT
77.45/77.72 c #Conflicts: 79000 | #Constraints: 7152
77.45/77.72 c #Conflicts: 80000 | #Constraints: 8152
77.45/77.72 c #Conflicts: 81000 | #Constraints: 9152
77.45/77.72 c #Conflicts: 82000 | #Constraints: 10152
77.45/77.72 c #Conflicts: 83000 | #Constraints: 11152
77.45/77.72 c #Conflicts: 84000 | #Constraints: 12152
77.45/77.72 c INPROCESSING
77.45/77.72 c GARBAGE COLLECT
77.45/77.72 c #Conflicts: 85000 | #Constraints: 7361
77.45/77.72 c #Conflicts: 86000 | #Constraints: 8361
77.45/77.72 c #Conflicts: 87000 | #Constraints: 9361
77.45/77.72 c #Conflicts: 88000 | #Constraints: 10361
77.45/77.72 c #Conflicts: 89000 | #Constraints: 11361
77.45/77.72 c #Conflicts: 90000 | #Constraints: 12361
77.45/77.72 c INPROCESSING
77.45/77.72 c GARBAGE COLLECT
77.45/77.72 c #Conflicts: 91000 | #Constraints: 7357
77.45/77.72 c #Conflicts: 92000 | #Constraints: 8357
77.45/77.72 c #Conflicts: 93000 | #Constraints: 9357
77.45/77.72 c #Conflicts: 94000 | #Constraints: 10357
77.45/77.72 c #Conflicts: 95000 | #Constraints: 11357
77.45/77.72 c #Conflicts: 96000 | #Constraints: 12357
77.45/77.72 c INPROCESSING
77.45/77.72 c GARBAGE COLLECT
77.45/77.72 c #Conflicts: 97000 | #Constraints: 7160
77.45/77.72 c #Conflicts: 98000 | #Constraints: 8160
77.45/77.72 c #Conflicts: 99000 | #Constraints: 9160
77.45/77.72 c #Conflicts: 100000 | #Constraints: 10160
77.45/77.72 c #Conflicts: 101000 | #Constraints: 11160
77.45/77.72 c #Conflicts: 102000 | #Constraints: 12160
77.45/77.72 c #Conflicts: 103000 | #Constraints: 13160
77.45/77.72 c INPROCESSING
77.45/77.72 c GARBAGE COLLECT
77.45/77.72 c #Conflicts: 104000 | #Constraints: 7757
77.45/77.72 c #Conflicts: 105000 | #Constraints: 8757
77.45/77.72 c #Conflicts: 106000 | #Constraints: 9757
77.45/77.72 c #Conflicts: 107000 | #Constraints: 10757
77.45/77.72 c #Conflicts: 108000 | #Constraints: 11757
77.45/77.72 c #Conflicts: 109000 | #Constraints: 12757
77.45/77.72 c #Conflicts: 110000 | #Constraints: 13757
77.45/77.72 c INPROCESSING
77.45/77.72 c GARBAGE COLLECT
77.45/77.72 c #Conflicts: 111000 | #Constraints: 8161
77.45/77.72 c #Conflicts: 112000 | #Constraints: 9161
77.45/77.72 c #Conflicts: 113000 | #Constraints: 10161
77.45/77.72 c #Conflicts: 114000 | #Constraints: 11161
77.45/77.72 c #Conflicts: 115000 | #Constraints: 12161
77.45/77.72 c #Conflicts: 116000 | #Constraints: 13161
77.45/77.72 c #Conflicts: 117000 | #Constraints: 14161
77.45/77.72 c INPROCESSING
77.45/77.72 c GARBAGE COLLECT
77.45/77.72 c #Conflicts: 118000 | #Constraints: 8359
77.45/77.72 c #Conflicts: 119000 | #Constraints: 9359
77.45/77.72 c #Conflicts: 120000 | #Constraints: 10359
77.45/77.72 c #Conflicts: 121000 | #Constraints: 11359
77.45/77.72 c #Conflicts: 122000 | #Constraints: 12359
77.45/77.72 c #Conflicts: 123000 | #Constraints: 13359
77.45/77.72 c #Conflicts: 124000 | #Constraints: 14359
77.45/77.72 c INPROCESSING
77.45/77.72 c GARBAGE COLLECT
77.45/77.72 c GLOBAL bounds - >= 0 @ 76.4659
87.32/87.69 c #Conflicts: 125000 | #Constraints: 8361
87.32/87.69 c #Conflicts: 126000 | #Constraints: 9361
87.32/87.69 c #Conflicts: 127000 | #Constraints: 10361
87.32/87.69 c #Conflicts: 128000 | #Constraints: 11361
87.32/87.69 c #Conflicts: 129000 | #Constraints: 12361
87.32/87.69 c #Conflicts: 130000 | #Constraints: 13361
87.32/87.69 c #Conflicts: 131000 | #Constraints: 14361
87.32/87.69 c INPROCESSING
87.32/87.69 c GARBAGE COLLECT
87.32/87.69 c #Conflicts: 132000 | #Constraints: 8159
87.32/87.69 c #Conflicts: 133000 | #Constraints: 9159
87.32/87.69 c #Conflicts: 134000 | #Constraints: 10159
87.32/87.69 c #Conflicts: 135000 | #Constraints: 11159
87.32/87.69 c #Conflicts: 136000 | #Constraints: 12159
87.32/87.69 c GLOBAL bounds - >= 0 @ 86.2931
91.91/92.27 c #Conflicts: 137000 | #Constraints: 13161
91.91/92.27 c #Conflicts: 138000 | #Constraints: 14161
91.91/92.27 c #Conflicts: 139000 | #Constraints: 15161
91.91/92.27 c INPROCESSING
91.91/92.27 c GARBAGE COLLECT
91.91/92.27 c #Conflicts: 140000 | #Constraints: 8760
91.91/92.27 c #Conflicts: 141000 | #Constraints: 9760
91.91/92.27 c GLOBAL bounds - >= 0 @ 90.8288
114.35/114.79 c #Conflicts: 142000 | #Constraints: 10762
114.35/114.79 c #Conflicts: 143000 | #Constraints: 11762
114.35/114.79 c #Conflicts: 144000 | #Constraints: 12762
114.35/114.79 c #Conflicts: 145000 | #Constraints: 13762
114.35/114.79 c #Conflicts: 146000 | #Constraints: 14762
114.35/114.79 c #Conflicts: 147000 | #Constraints: 15762
114.35/114.79 c INPROCESSING
114.35/114.79 c GARBAGE COLLECT
114.35/114.79 c #Conflicts: 148000 | #Constraints: 9164
114.35/114.79 c #Conflicts: 149000 | #Constraints: 10164
114.35/114.79 c #Conflicts: 150000 | #Constraints: 11164
114.35/114.79 c #Conflicts: 151000 | #Constraints: 12164
114.35/114.79 c #Conflicts: 152000 | #Constraints: 13164
114.35/114.79 c #Conflicts: 153000 | #Constraints: 14164
114.35/114.79 c #Conflicts: 154000 | #Constraints: 15164
114.35/114.79 c #Conflicts: 155000 | #Constraints: 16164
114.35/114.79 c INPROCESSING
114.35/114.79 c GARBAGE COLLECT
114.35/114.79 c #Conflicts: 156000 | #Constraints: 9367
114.35/114.79 c #Conflicts: 157000 | #Constraints: 10367
114.35/114.79 c #Conflicts: 158000 | #Constraints: 11367
114.35/114.79 c #Conflicts: 159000 | #Constraints: 12367
114.35/114.79 c #Conflicts: 160000 | #Constraints: 13367
114.35/114.79 c #Conflicts: 161000 | #Constraints: 14367
114.35/114.79 c #Conflicts: 162000 | #Constraints: 15367
114.35/114.79 c #Conflicts: 163000 | #Constraints: 16367
114.35/114.79 c INPROCESSING
114.35/114.79 c GARBAGE COLLECT
114.35/114.79 c #Conflicts: 164000 | #Constraints: 9367
114.35/114.79 c #Conflicts: 165000 | #Constraints: 10367
114.35/114.79 c GLOBAL bounds - >= 0 @ 113.07
116.65/117.09 c #Conflicts: 166000 | #Constraints: 11369
116.65/117.09 c #Conflicts: 167000 | #Constraints: 12369
116.65/117.09 c #Conflicts: 168000 | #Constraints: 13369
116.65/117.09 c GLOBAL bounds - >= 0 @ 115.332
117.34/117.74 c GLOBAL bounds - >= 0 @ 115.979
120.43/120.82 c #Conflicts: 169000 | #Constraints: 14373
120.43/120.82 c #Conflicts: 170000 | #Constraints: 15373
120.43/120.82 c #Conflicts: 171000 | #Constraints: 16373
120.43/120.82 c GLOBAL bounds - >= 0 @ 119.025
127.41/127.86 c INPROCESSING
127.41/127.86 c GARBAGE COLLECT
127.41/127.86 c #Conflicts: 172000 | #Constraints: 9173
127.41/127.86 c #Conflicts: 173000 | #Constraints: 10173
127.41/127.86 c #Conflicts: 174000 | #Constraints: 11173
127.41/127.86 c #Conflicts: 175000 | #Constraints: 12173
127.41/127.86 c #Conflicts: 176000 | #Constraints: 13173
127.41/127.86 c #Conflicts: 177000 | #Constraints: 14173
127.41/127.86 c #Conflicts: 178000 | #Constraints: 15173
127.41/127.86 c GLOBAL bounds - >= 0 @ 125.981
168.70/169.29 c #Conflicts: 179000 | #Constraints: 16175
168.70/169.29 c #Conflicts: 180000 | #Constraints: 17175
168.70/169.29 c INPROCESSING
168.70/169.29 c GARBAGE COLLECT
168.70/169.29 c #Conflicts: 181000 | #Constraints: 9770
168.70/169.29 c #Conflicts: 182000 | #Constraints: 10770
168.70/169.29 c #Conflicts: 183000 | #Constraints: 11770
168.70/169.29 c #Conflicts: 184000 | #Constraints: 12770
168.70/169.29 c #Conflicts: 185000 | #Constraints: 13770
168.70/169.29 c #Conflicts: 186000 | #Constraints: 14770
168.70/169.29 c #Conflicts: 187000 | #Constraints: 15770
168.70/169.29 c #Conflicts: 188000 | #Constraints: 16770
168.70/169.29 c #Conflicts: 189000 | #Constraints: 17770
168.70/169.29 c INPROCESSING
168.70/169.29 c GARBAGE COLLECT
168.70/169.29 c #Conflicts: 190000 | #Constraints: 10171
168.70/169.29 c #Conflicts: 191000 | #Constraints: 11171
168.70/169.29 c #Conflicts: 192000 | #Constraints: 12171
168.70/169.29 c #Conflicts: 193000 | #Constraints: 13171
168.70/169.29 c #Conflicts: 194000 | #Constraints: 14171
168.70/169.29 c #Conflicts: 195000 | #Constraints: 15171
168.70/169.29 c #Conflicts: 196000 | #Constraints: 16171
168.70/169.29 c #Conflicts: 197000 | #Constraints: 17171
168.70/169.29 c #Conflicts: 198000 | #Constraints: 18171
168.70/169.29 c INPROCESSING
168.70/169.29 c GARBAGE COLLECT
168.70/169.29 c #Conflicts: 199000 | #Constraints: 10373
168.70/169.29 c #Conflicts: 200000 | #Constraints: 11373
168.70/169.29 c #Conflicts: 201000 | #Constraints: 12373
168.70/169.29 c #Conflicts: 202000 | #Constraints: 13373
168.70/169.29 c #Conflicts: 203000 | #Constraints: 14373
168.70/169.29 c #Conflicts: 204000 | #Constraints: 15373
168.70/169.29 c #Conflicts: 205000 | #Constraints: 16373
168.70/169.29 c #Conflicts: 206000 | #Constraints: 17373
168.70/169.29 c #Conflicts: 207000 | #Constraints: 18373
168.70/169.29 c INPROCESSING
168.70/169.29 c GARBAGE COLLECT
168.70/169.29 c #Conflicts: 208000 | #Constraints: 10376
168.70/169.29 c #Conflicts: 209000 | #Constraints: 11376
168.70/169.29 c #Conflicts: 210000 | #Constraints: 12376
168.70/169.29 c #Conflicts: 211000 | #Constraints: 13376
168.70/169.29 c #Conflicts: 212000 | #Constraints: 14376
168.70/169.29 c #Conflicts: 213000 | #Constraints: 15376
168.70/169.29 c #Conflicts: 214000 | #Constraints: 16376
168.70/169.29 c #Conflicts: 215000 | #Constraints: 17376
168.70/169.29 c #Conflicts: 216000 | #Constraints: 18376
168.70/169.29 c INPROCESSING
168.70/169.29 c GARBAGE COLLECT
168.70/169.29 c #Conflicts: 217000 | #Constraints: 10180
168.70/169.29 c #Conflicts: 218000 | #Constraints: 11180
168.70/169.29 c #Conflicts: 219000 | #Constraints: 12180
168.70/169.29 c #Conflicts: 220000 | #Constraints: 13180
168.70/169.29 c #Conflicts: 221000 | #Constraints: 14180
168.70/169.29 c #Conflicts: 222000 | #Constraints: 15180
168.70/169.29 c #Conflicts: 223000 | #Constraints: 16180
168.70/169.29 c #Conflicts: 224000 | #Constraints: 17180
168.70/169.29 c #Conflicts: 225000 | #Constraints: 18180
168.70/169.29 c #Conflicts: 226000 | #Constraints: 19180
168.70/169.29 c INPROCESSING
168.70/169.29 c GARBAGE COLLECT
168.70/169.29 c #Conflicts: 227000 | #Constraints: 10781
168.70/169.29 c GLOBAL bounds - >= 0 @ 166.892
250.65/251.40 c #Conflicts: 228000 | #Constraints: 11783
250.65/251.40 c #Conflicts: 229000 | #Constraints: 12783
250.65/251.40 c #Conflicts: 230000 | #Constraints: 13783
250.65/251.40 c #Conflicts: 231000 | #Constraints: 14783
250.65/251.40 c #Conflicts: 232000 | #Constraints: 15783
250.65/251.40 c #Conflicts: 233000 | #Constraints: 16783
250.65/251.40 c #Conflicts: 234000 | #Constraints: 17783
250.65/251.40 c #Conflicts: 235000 | #Constraints: 18783
250.65/251.40 c #Conflicts: 236000 | #Constraints: 19783
250.65/251.40 c INPROCESSING
250.65/251.40 c GARBAGE COLLECT
250.65/251.40 c #Conflicts: 237000 | #Constraints: 11176
250.65/251.40 c #Conflicts: 238000 | #Constraints: 12176
250.65/251.40 c #Conflicts: 239000 | #Constraints: 13176
250.65/251.40 c #Conflicts: 240000 | #Constraints: 14176
250.65/251.40 c #Conflicts: 241000 | #Constraints: 15176
250.65/251.40 c #Conflicts: 242000 | #Constraints: 16176
250.65/251.40 c #Conflicts: 243000 | #Constraints: 17176
250.65/251.40 c #Conflicts: 244000 | #Constraints: 18176
250.65/251.40 c #Conflicts: 245000 | #Constraints: 19176
250.65/251.40 c #Conflicts: 246000 | #Constraints: 20176
250.65/251.40 c INPROCESSING
250.65/251.40 c GARBAGE COLLECT
250.65/251.40 c #Conflicts: 247000 | #Constraints: 11377
250.65/251.40 c #Conflicts: 248000 | #Constraints: 12377
250.65/251.40 c #Conflicts: 249000 | #Constraints: 13377
250.65/251.40 c #Conflicts: 250000 | #Constraints: 14377
250.65/251.40 c #Conflicts: 251000 | #Constraints: 15377
250.65/251.40 c #Conflicts: 252000 | #Constraints: 16377
250.65/251.40 c #Conflicts: 253000 | #Constraints: 17377
250.65/251.40 c #Conflicts: 254000 | #Constraints: 18377
250.65/251.40 c #Conflicts: 255000 | #Constraints: 19377
250.65/251.40 c #Conflicts: 256000 | #Constraints: 20377
250.65/251.40 c INPROCESSING
250.65/251.40 c GARBAGE COLLECT
250.65/251.40 c #Conflicts: 257000 | #Constraints: 11378
250.65/251.40 c #Conflicts: 258000 | #Constraints: 12378
250.65/251.40 c #Conflicts: 259000 | #Constraints: 13378
250.65/251.40 c #Conflicts: 260000 | #Constraints: 14378
250.65/251.40 c #Conflicts: 261000 | #Constraints: 15378
250.65/251.40 c #Conflicts: 262000 | #Constraints: 16378
250.65/251.40 c #Conflicts: 263000 | #Constraints: 17378
250.65/251.40 c #Conflicts: 264000 | #Constraints: 18378
250.65/251.40 c #Conflicts: 265000 | #Constraints: 19378
250.65/251.40 c #Conflicts: 266000 | #Constraints: 20378
250.65/251.40 c INPROCESSING
250.65/251.40 c GARBAGE COLLECT
250.65/251.40 c #Conflicts: 267000 | #Constraints: 11182
250.65/251.40 c #Conflicts: 268000 | #Constraints: 12182
250.65/251.40 c #Conflicts: 269000 | #Constraints: 13182
250.65/251.40 c #Conflicts: 270000 | #Constraints: 14182
250.65/251.40 c #Conflicts: 271000 | #Constraints: 15182
250.65/251.40 c #Conflicts: 272000 | #Constraints: 16182
250.65/251.40 c #Conflicts: 273000 | #Constraints: 17182
250.65/251.40 c #Conflicts: 274000 | #Constraints: 18182
250.65/251.40 c #Conflicts: 275000 | #Constraints: 19182
250.65/251.40 c #Conflicts: 276000 | #Constraints: 20182
250.65/251.40 c #Conflicts: 277000 | #Constraints: 21182
250.65/251.40 c INPROCESSING
250.65/251.40 c GARBAGE COLLECT
250.65/251.40 c #Conflicts: 278000 | #Constraints: 11777
250.65/251.40 c #Conflicts: 279000 | #Constraints: 12777
250.65/251.40 c #Conflicts: 280000 | #Constraints: 13777
250.65/251.40 c #Conflicts: 281000 | #Constraints: 14777
250.65/251.40 c #Conflicts: 282000 | #Constraints: 15777
250.65/251.40 c #Conflicts: 283000 | #Constraints: 16777
250.65/251.40 c #Conflicts: 284000 | #Constraints: 17777
250.65/251.40 c #Conflicts: 285000 | #Constraints: 18777
250.65/251.40 c #Conflicts: 286000 | #Constraints: 19777
250.65/251.40 c #Conflicts: 287000 | #Constraints: 20777
250.65/251.40 c #Conflicts: 288000 | #Constraints: 21777
250.65/251.40 c INPROCESSING
250.65/251.40 c GARBAGE COLLECT
250.65/251.40 c #Conflicts: 289000 | #Constraints: 12180
250.65/251.40 c #Conflicts: 290000 | #Constraints: 13180
250.65/251.40 c #Conflicts: 291000 | #Constraints: 14180
250.65/251.40 c #Conflicts: 292000 | #Constraints: 15180
250.65/251.40 c #Conflicts: 293000 | #Constraints: 16180
250.65/251.40 c #Conflicts: 294000 | #Constraints: 17180
250.65/251.40 c #Conflicts: 295000 | #Constraints: 18180
250.65/251.40 c #Conflicts: 296000 | #Constraints: 19180
250.65/251.40 c #Conflicts: 297000 | #Constraints: 20180
250.65/251.40 c #Conflicts: 298000 | #Constraints: 21180
250.65/251.40 c #Conflicts: 299000 | #Constraints: 22180
250.65/251.40 c INPROCESSING
250.65/251.40 c GARBAGE COLLECT
250.65/251.40 c #Conflicts: 300000 | #Constraints: 12388
250.65/251.40 c #Conflicts: 301000 | #Constraints: 13388
250.65/251.40 c #Conflicts: 302000 | #Constraints: 14388
326.65/327.63 c #Conflicts: 303000 | #Constraints: 15388
326.65/327.63 c #Conflicts: 304000 | #Constraints: 16388
326.65/327.63 c #Conflicts: 305000 | #Constraints: 17388
326.65/327.63 c #Conflicts: 306000 | #Constraints: 18388
326.65/327.63 c #Conflicts: 307000 | #Constraints: 19388
326.65/327.63 c #Conflicts: 308000 | #Constraints: 20388
326.65/327.63 c #Conflicts: 309000 | #Constraints: 21388
326.65/327.63 c #Conflicts: 310000 | #Constraints: 22388
326.65/327.63 c INPROCESSING
326.65/327.63 c GARBAGE COLLECT
326.65/327.63 c #Conflicts: 311000 | #Constraints: 12383
326.65/327.63 c #Conflicts: 312000 | #Constraints: 13383
326.65/327.63 c #Conflicts: 313000 | #Constraints: 14383
326.65/327.63 c #Conflicts: 314000 | #Constraints: 15383
326.65/327.63 c #Conflicts: 315000 | #Constraints: 16383
326.65/327.63 c #Conflicts: 316000 | #Constraints: 17383
326.65/327.63 c #Conflicts: 317000 | #Constraints: 18383
326.65/327.63 c #Conflicts: 318000 | #Constraints: 19383
326.65/327.63 c #Conflicts: 319000 | #Constraints: 20383
326.65/327.63 c #Conflicts: 320000 | #Constraints: 21383
326.65/327.63 c #Conflicts: 321000 | #Constraints: 22383
326.65/327.63 c INPROCESSING
326.65/327.63 c GARBAGE COLLECT
326.65/327.63 c #Conflicts: 322000 | #Constraints: 12180
326.65/327.63 c #Conflicts: 323000 | #Constraints: 13180
326.65/327.63 c #Conflicts: 324000 | #Constraints: 14180
326.65/327.63 c #Conflicts: 325000 | #Constraints: 15180
326.65/327.63 c #Conflicts: 326000 | #Constraints: 16180
326.65/327.63 c #Conflicts: 327000 | #Constraints: 17180
326.65/327.63 c #Conflicts: 328000 | #Constraints: 18180
326.65/327.63 c #Conflicts: 329000 | #Constraints: 19180
326.65/327.63 c #Conflicts: 330000 | #Constraints: 20180
326.65/327.63 c #Conflicts: 331000 | #Constraints: 21180
326.65/327.63 c #Conflicts: 332000 | #Constraints: 22180
326.65/327.63 c #Conflicts: 333000 | #Constraints: 23180
326.65/327.63 c INPROCESSING
326.65/327.63 c GARBAGE COLLECT
326.65/327.63 c #Conflicts: 334000 | #Constraints: 12785
326.65/327.63 c #Conflicts: 335000 | #Constraints: 13785
326.65/327.63 c #Conflicts: 336000 | #Constraints: 14785
326.65/327.63 c #Conflicts: 337000 | #Constraints: 15785
326.65/327.63 c #Conflicts: 338000 | #Constraints: 16785
326.65/327.63 c #Conflicts: 339000 | #Constraints: 17785
326.65/327.63 c #Conflicts: 340000 | #Constraints: 18785
326.65/327.63 c #Conflicts: 341000 | #Constraints: 19785
326.65/327.63 c #Conflicts: 342000 | #Constraints: 20785
326.65/327.63 c #Conflicts: 343000 | #Constraints: 21785
326.65/327.63 c #Conflicts: 344000 | #Constraints: 22785
326.65/327.63 c #Conflicts: 345000 | #Constraints: 23785
326.65/327.63 c INPROCESSING
326.65/327.63 c GARBAGE COLLECT
326.65/327.63 c #Conflicts: 346000 | #Constraints: 13184
326.65/327.63 c #Conflicts: 347000 | #Constraints: 14184
326.65/327.63 c #Conflicts: 348000 | #Constraints: 15184
326.65/327.63 c #Conflicts: 349000 | #Constraints: 16184
326.65/327.63 c #Conflicts: 350000 | #Constraints: 17184
326.65/327.63 c #Conflicts: 351000 | #Constraints: 18184
326.65/327.63 c #Conflicts: 352000 | #Constraints: 19184
326.65/327.63 c #Conflicts: 353000 | #Constraints: 20184
326.65/327.63 c #Conflicts: 354000 | #Constraints: 21184
326.65/327.63 c #Conflicts: 355000 | #Constraints: 22184
326.65/327.63 c #Conflicts: 356000 | #Constraints: 23184
326.65/327.63 c #Conflicts: 357000 | #Constraints: 24184
326.65/327.63 c INPROCESSING
326.65/327.63 c GARBAGE COLLECT
326.65/327.63 c #Conflicts: 358000 | #Constraints: 13382
326.65/327.63 c #Conflicts: 359000 | #Constraints: 14382
326.65/327.63 c #Conflicts: 360000 | #Constraints: 15382
326.65/327.63 c #Conflicts: 361000 | #Constraints: 16382
326.65/327.63 c #Conflicts: 362000 | #Constraints: 17382
326.65/327.63 c #Conflicts: 363000 | #Constraints: 18382
326.65/327.63 c #Conflicts: 364000 | #Constraints: 19382
326.65/327.63 c #Conflicts: 365000 | #Constraints: 20382
326.65/327.63 c #Conflicts: 366000 | #Constraints: 21382
326.65/327.63 c #Conflicts: 367000 | #Constraints: 22382
326.65/327.63 c #Conflicts: 368000 | #Constraints: 23382
326.65/327.63 c #Conflicts: 369000 | #Constraints: 24382
326.65/327.63 c INPROCESSING
326.65/327.63 c GARBAGE COLLECT
326.65/327.63 c #Conflicts: 370000 | #Constraints: 13383
326.65/327.63 c #Conflicts: 371000 | #Constraints: 14383
326.65/327.63 c #Conflicts: 372000 | #Constraints: 15383
326.65/327.63 c #Conflicts: 373000 | #Constraints: 16383
326.65/327.63 c #Conflicts: 374000 | #Constraints: 17383
326.65/327.63 c #Conflicts: 375000 | #Constraints: 18383
326.65/327.63 c #Conflicts: 376000 | #Constraints: 19383
326.65/327.63 c #Conflicts: 377000 | #Constraints: 20383
410.93/412.18 c #Conflicts: 378000 | #Constraints: 21383
410.93/412.18 c #Conflicts: 379000 | #Constraints: 22383
410.93/412.18 c #Conflicts: 380000 | #Constraints: 23383
410.93/412.18 c #Conflicts: 381000 | #Constraints: 24383
410.93/412.18 c INPROCESSING
410.93/412.18 c GARBAGE COLLECT
410.93/412.18 c #Conflicts: 382000 | #Constraints: 13179
410.93/412.18 c #Conflicts: 383000 | #Constraints: 14179
410.93/412.18 c #Conflicts: 384000 | #Constraints: 15179
410.93/412.18 c #Conflicts: 385000 | #Constraints: 16179
410.93/412.18 c #Conflicts: 386000 | #Constraints: 17179
410.93/412.18 c #Conflicts: 387000 | #Constraints: 18179
410.93/412.18 c #Conflicts: 388000 | #Constraints: 19179
410.93/412.18 c #Conflicts: 389000 | #Constraints: 20179
410.93/412.18 c #Conflicts: 390000 | #Constraints: 21179
410.93/412.18 c #Conflicts: 391000 | #Constraints: 22179
410.93/412.18 c #Conflicts: 392000 | #Constraints: 23179
410.93/412.18 c #Conflicts: 393000 | #Constraints: 24179
410.93/412.18 c #Conflicts: 394000 | #Constraints: 25179
410.93/412.18 c INPROCESSING
410.93/412.18 c GARBAGE COLLECT
410.93/412.18 c #Conflicts: 395000 | #Constraints: 13783
410.93/412.18 c #Conflicts: 396000 | #Constraints: 14783
410.93/412.18 c #Conflicts: 397000 | #Constraints: 15783
410.93/412.18 c #Conflicts: 398000 | #Constraints: 16783
410.93/412.18 c #Conflicts: 399000 | #Constraints: 17783
410.93/412.18 c #Conflicts: 400000 | #Constraints: 18783
410.93/412.18 c #Conflicts: 401000 | #Constraints: 19783
410.93/412.18 c #Conflicts: 402000 | #Constraints: 20783
410.93/412.18 c #Conflicts: 403000 | #Constraints: 21783
410.93/412.18 c #Conflicts: 404000 | #Constraints: 22783
410.93/412.18 c #Conflicts: 405000 | #Constraints: 23783
410.93/412.18 c #Conflicts: 406000 | #Constraints: 24783
410.93/412.18 c #Conflicts: 407000 | #Constraints: 25783
410.93/412.18 c INPROCESSING
410.93/412.18 c GARBAGE COLLECT
410.93/412.18 c #Conflicts: 408000 | #Constraints: 14189
410.93/412.18 c #Conflicts: 409000 | #Constraints: 15189
410.93/412.18 c #Conflicts: 410000 | #Constraints: 16189
410.93/412.18 c #Conflicts: 411000 | #Constraints: 17189
410.93/412.18 c #Conflicts: 412000 | #Constraints: 18189
410.93/412.18 c #Conflicts: 413000 | #Constraints: 19189
410.93/412.18 c #Conflicts: 414000 | #Constraints: 20189
410.93/412.18 c #Conflicts: 415000 | #Constraints: 21189
410.93/412.18 c #Conflicts: 416000 | #Constraints: 22189
410.93/412.18 c #Conflicts: 417000 | #Constraints: 23189
410.93/412.18 c #Conflicts: 418000 | #Constraints: 24189
410.93/412.18 c #Conflicts: 419000 | #Constraints: 25189
410.93/412.18 c #Conflicts: 420000 | #Constraints: 26189
410.93/412.18 c INPROCESSING
410.93/412.18 c GARBAGE COLLECT
410.93/412.18 c #Conflicts: 421000 | #Constraints: 14386
410.93/412.18 c #Conflicts: 422000 | #Constraints: 15386
410.93/412.18 c #Conflicts: 423000 | #Constraints: 16386
410.93/412.18 c #Conflicts: 424000 | #Constraints: 17386
410.93/412.18 c #Conflicts: 425000 | #Constraints: 18386
410.93/412.18 c #Conflicts: 426000 | #Constraints: 19386
410.93/412.18 c #Conflicts: 427000 | #Constraints: 20386
410.93/412.18 c #Conflicts: 428000 | #Constraints: 21386
410.93/412.18 c #Conflicts: 429000 | #Constraints: 22386
410.93/412.18 c #Conflicts: 430000 | #Constraints: 23386
410.93/412.18 c #Conflicts: 431000 | #Constraints: 24386
410.93/412.18 c #Conflicts: 432000 | #Constraints: 25386
410.93/412.18 c #Conflicts: 433000 | #Constraints: 26386
410.93/412.18 c INPROCESSING
410.93/412.18 c GARBAGE COLLECT
410.93/412.18 c #Conflicts: 434000 | #Constraints: 14383
410.93/412.18 c #Conflicts: 435000 | #Constraints: 15383
410.93/412.18 c #Conflicts: 436000 | #Constraints: 16383
410.93/412.18 c #Conflicts: 437000 | #Constraints: 17383
410.93/412.18 c #Conflicts: 438000 | #Constraints: 18383
410.93/412.18 c #Conflicts: 439000 | #Constraints: 19383
410.93/412.18 c #Conflicts: 440000 | #Constraints: 20383
410.93/412.18 c #Conflicts: 441000 | #Constraints: 21383
410.93/412.18 c #Conflicts: 442000 | #Constraints: 22383
410.93/412.18 c #Conflicts: 443000 | #Constraints: 23383
410.93/412.18 c #Conflicts: 444000 | #Constraints: 24383
410.93/412.18 c #Conflicts: 445000 | #Constraints: 25383
410.93/412.18 c #Conflicts: 446000 | #Constraints: 26383
410.93/412.18 c INPROCESSING
410.93/412.18 c GARBAGE COLLECT
410.93/412.18 c #Conflicts: 447000 | #Constraints: 14184
410.93/412.18 c #Conflicts: 448000 | #Constraints: 15184
410.93/412.18 c #Conflicts: 449000 | #Constraints: 16184
410.93/412.18 c #Conflicts: 450000 | #Constraints: 17184
410.93/412.18 c #Conflicts: 451000 | #Constraints: 18184
410.93/412.18 c #Conflicts: 452000 | #Constraints: 19184
493.89/495.38 c #Conflicts: 453000 | #Constraints: 20184
493.89/495.38 c #Conflicts: 454000 | #Constraints: 21184
493.89/495.38 c #Conflicts: 455000 | #Constraints: 22184
493.89/495.38 c #Conflicts: 456000 | #Constraints: 23184
493.89/495.38 c #Conflicts: 457000 | #Constraints: 24184
493.89/495.38 c #Conflicts: 458000 | #Constraints: 25184
493.89/495.38 c #Conflicts: 459000 | #Constraints: 26184
493.89/495.38 c #Conflicts: 460000 | #Constraints: 27184
493.89/495.38 c INPROCESSING
493.89/495.38 c GARBAGE COLLECT
493.89/495.38 c #Conflicts: 461000 | #Constraints: 14785
493.89/495.38 c #Conflicts: 462000 | #Constraints: 15785
493.89/495.38 c #Conflicts: 463000 | #Constraints: 16785
493.89/495.38 c #Conflicts: 464000 | #Constraints: 17785
493.89/495.38 c #Conflicts: 465000 | #Constraints: 18785
493.89/495.38 c #Conflicts: 466000 | #Constraints: 19785
493.89/495.38 c #Conflicts: 467000 | #Constraints: 20785
493.89/495.38 c #Conflicts: 468000 | #Constraints: 21785
493.89/495.38 c #Conflicts: 469000 | #Constraints: 22785
493.89/495.38 c #Conflicts: 470000 | #Constraints: 23785
493.89/495.38 c #Conflicts: 471000 | #Constraints: 24785
493.89/495.38 c #Conflicts: 472000 | #Constraints: 25785
493.89/495.38 c #Conflicts: 473000 | #Constraints: 26785
493.89/495.38 c #Conflicts: 474000 | #Constraints: 27785
493.89/495.38 c INPROCESSING
493.89/495.38 c GARBAGE COLLECT
493.89/495.38 c #Conflicts: 475000 | #Constraints: 15184
493.89/495.38 c #Conflicts: 476000 | #Constraints: 16184
493.89/495.38 c #Conflicts: 477000 | #Constraints: 17184
493.89/495.38 c #Conflicts: 478000 | #Constraints: 18184
493.89/495.38 c #Conflicts: 479000 | #Constraints: 19184
493.89/495.38 c #Conflicts: 480000 | #Constraints: 20184
493.89/495.38 c #Conflicts: 481000 | #Constraints: 21184
493.89/495.38 c #Conflicts: 482000 | #Constraints: 22184
493.89/495.38 c #Conflicts: 483000 | #Constraints: 23184
493.89/495.38 c #Conflicts: 484000 | #Constraints: 24184
493.89/495.38 c #Conflicts: 485000 | #Constraints: 25184
493.89/495.38 c #Conflicts: 486000 | #Constraints: 26184
493.89/495.38 c #Conflicts: 487000 | #Constraints: 27184
493.89/495.38 c #Conflicts: 488000 | #Constraints: 28184
493.89/495.38 c INPROCESSING
493.89/495.38 c GARBAGE COLLECT
493.89/495.38 c #Conflicts: 489000 | #Constraints: 15383
493.89/495.38 c #Conflicts: 490000 | #Constraints: 16383
493.89/495.38 c #Conflicts: 491000 | #Constraints: 17383
493.89/495.38 c #Conflicts: 492000 | #Constraints: 18383
493.89/495.38 c #Conflicts: 493000 | #Constraints: 19383
493.89/495.38 c #Conflicts: 494000 | #Constraints: 20383
493.89/495.38 c #Conflicts: 495000 | #Constraints: 21383
493.89/495.38 c #Conflicts: 496000 | #Constraints: 22383
493.89/495.38 c #Conflicts: 497000 | #Constraints: 23383
493.89/495.38 c #Conflicts: 498000 | #Constraints: 24383
493.89/495.38 c #Conflicts: 499000 | #Constraints: 25383
493.89/495.38 c #Conflicts: 500000 | #Constraints: 26383
493.89/495.38 c #Conflicts: 501000 | #Constraints: 27383
493.89/495.38 c #Conflicts: 502000 | #Constraints: 28383
493.89/495.38 c INPROCESSING
493.89/495.38 c GARBAGE COLLECT
493.89/495.38 c #Conflicts: 503000 | #Constraints: 15385
493.89/495.38 c #Conflicts: 504000 | #Constraints: 16385
493.89/495.38 c #Conflicts: 505000 | #Constraints: 17385
493.89/495.38 c #Conflicts: 506000 | #Constraints: 18385
493.89/495.38 c #Conflicts: 507000 | #Constraints: 19385
493.89/495.38 c #Conflicts: 508000 | #Constraints: 20385
493.89/495.38 c #Conflicts: 509000 | #Constraints: 21385
493.89/495.38 c #Conflicts: 510000 | #Constraints: 22385
493.89/495.38 c #Conflicts: 511000 | #Constraints: 23385
493.89/495.38 c #Conflicts: 512000 | #Constraints: 24385
493.89/495.38 c #Conflicts: 513000 | #Constraints: 25385
493.89/495.38 c #Conflicts: 514000 | #Constraints: 26385
493.89/495.38 c #Conflicts: 515000 | #Constraints: 27385
493.89/495.38 c #Conflicts: 516000 | #Constraints: 28385
493.89/495.38 c INPROCESSING
493.89/495.38 c GARBAGE COLLECT
493.89/495.38 c #Conflicts: 517000 | #Constraints: 15184
493.89/495.38 c #Conflicts: 518000 | #Constraints: 16184
493.89/495.38 c #Conflicts: 519000 | #Constraints: 17184
493.89/495.38 c #Conflicts: 520000 | #Constraints: 18184
493.89/495.38 c #Conflicts: 521000 | #Constraints: 19184
493.89/495.38 c #Conflicts: 522000 | #Constraints: 20184
493.89/495.38 c #Conflicts: 523000 | #Constraints: 21184
493.89/495.38 c #Conflicts: 524000 | #Constraints: 22184
493.89/495.38 c #Conflicts: 525000 | #Constraints: 23184
493.89/495.38 c #Conflicts: 526000 | #Constraints: 24184
493.89/495.38 c #Conflicts: 527000 | #Constraints: 25184
599.39/601.14 c #Conflicts: 528000 | #Constraints: 26184
599.39/601.14 c #Conflicts: 529000 | #Constraints: 27184
599.39/601.14 c #Conflicts: 530000 | #Constraints: 28184
599.39/601.14 c #Conflicts: 531000 | #Constraints: 29184
599.39/601.14 c INPROCESSING
599.39/601.14 c GARBAGE COLLECT
599.39/601.14 c #Conflicts: 532000 | #Constraints: 15785
599.39/601.14 c #Conflicts: 533000 | #Constraints: 16785
599.39/601.14 c #Conflicts: 534000 | #Constraints: 17785
599.39/601.14 c #Conflicts: 535000 | #Constraints: 18785
599.39/601.14 c #Conflicts: 536000 | #Constraints: 19785
599.39/601.14 c #Conflicts: 537000 | #Constraints: 20785
599.39/601.14 c #Conflicts: 538000 | #Constraints: 21785
599.39/601.14 c #Conflicts: 539000 | #Constraints: 22785
599.39/601.14 c #Conflicts: 540000 | #Constraints: 23785
599.39/601.14 c #Conflicts: 541000 | #Constraints: 24785
599.39/601.14 c #Conflicts: 542000 | #Constraints: 25785
599.39/601.14 c #Conflicts: 543000 | #Constraints: 26785
599.39/601.14 c #Conflicts: 544000 | #Constraints: 27785
599.39/601.14 c #Conflicts: 545000 | #Constraints: 28785
599.39/601.14 c #Conflicts: 546000 | #Constraints: 29785
599.39/601.14 c INPROCESSING
599.39/601.14 c GARBAGE COLLECT
599.39/601.14 c #Conflicts: 547000 | #Constraints: 16198
599.39/601.14 c #Conflicts: 548000 | #Constraints: 17198
599.39/601.14 c #Conflicts: 549000 | #Constraints: 18198
599.39/601.14 c #Conflicts: 550000 | #Constraints: 19198
599.39/601.14 c #Conflicts: 551000 | #Constraints: 20198
599.39/601.14 c #Conflicts: 552000 | #Constraints: 21198
599.39/601.14 c #Conflicts: 553000 | #Constraints: 22198
599.39/601.14 c #Conflicts: 554000 | #Constraints: 23198
599.39/601.14 c #Conflicts: 555000 | #Constraints: 24198
599.39/601.14 c #Conflicts: 556000 | #Constraints: 25198
599.39/601.14 c #Conflicts: 557000 | #Constraints: 26198
599.39/601.14 c #Conflicts: 558000 | #Constraints: 27198
599.39/601.14 c #Conflicts: 559000 | #Constraints: 28198
599.39/601.14 c #Conflicts: 560000 | #Constraints: 29198
599.39/601.14 c #Conflicts: 561000 | #Constraints: 30198
599.39/601.14 c INPROCESSING
599.39/601.14 c GARBAGE COLLECT
599.39/601.14 c #Conflicts: 562000 | #Constraints: 16395
599.39/601.14 c #Conflicts: 563000 | #Constraints: 17395
599.39/601.14 c #Conflicts: 564000 | #Constraints: 18395
599.39/601.14 c #Conflicts: 565000 | #Constraints: 19395
599.39/601.14 c #Conflicts: 566000 | #Constraints: 20395
599.39/601.14 c #Conflicts: 567000 | #Constraints: 21395
599.39/601.14 c #Conflicts: 568000 | #Constraints: 22395
599.39/601.14 c #Conflicts: 569000 | #Constraints: 23395
599.39/601.14 c #Conflicts: 570000 | #Constraints: 24395
599.39/601.14 c #Conflicts: 571000 | #Constraints: 25395
599.39/601.14 c #Conflicts: 572000 | #Constraints: 26395
599.39/601.14 c #Conflicts: 573000 | #Constraints: 27395
599.39/601.14 c #Conflicts: 574000 | #Constraints: 28395
599.39/601.14 c #Conflicts: 575000 | #Constraints: 29395
599.39/601.14 c #Conflicts: 576000 | #Constraints: 30395
599.39/601.14 c INPROCESSING
599.39/601.14 c GARBAGE COLLECT
599.39/601.14 c #Conflicts: 577000 | #Constraints: 16390
599.39/601.14 c #Conflicts: 578000 | #Constraints: 17390
599.39/601.14 c #Conflicts: 579000 | #Constraints: 18390
599.39/601.14 c #Conflicts: 580000 | #Constraints: 19390
599.39/601.14 c #Conflicts: 581000 | #Constraints: 20390
599.39/601.14 c #Conflicts: 582000 | #Constraints: 21390
599.39/601.14 c #Conflicts: 583000 | #Constraints: 22390
599.39/601.14 c #Conflicts: 584000 | #Constraints: 23390
599.39/601.14 c #Conflicts: 585000 | #Constraints: 24390
599.39/601.14 c #Conflicts: 586000 | #Constraints: 25390
599.39/601.14 c #Conflicts: 587000 | #Constraints: 26390
599.39/601.14 c #Conflicts: 588000 | #Constraints: 27390
599.39/601.14 c #Conflicts: 589000 | #Constraints: 28390
599.39/601.14 c #Conflicts: 590000 | #Constraints: 29390
599.39/601.14 c #Conflicts: 591000 | #Constraints: 30390
599.39/601.14 c INPROCESSING
599.39/601.14 c GARBAGE COLLECT
599.39/601.14 c #Conflicts: 592000 | #Constraints: 16194
599.39/601.14 c #Conflicts: 593000 | #Constraints: 17194
599.39/601.14 c #Conflicts: 594000 | #Constraints: 18194
599.39/601.14 c #Conflicts: 595000 | #Constraints: 19194
599.39/601.14 c #Conflicts: 596000 | #Constraints: 20194
599.39/601.14 c #Conflicts: 597000 | #Constraints: 21194
599.39/601.14 c #Conflicts: 598000 | #Constraints: 22194
599.39/601.14 c #Conflicts: 599000 | #Constraints: 23194
599.39/601.14 c #Conflicts: 600000 | #Constraints: 24194
599.39/601.14 c #Conflicts: 601000 | #Constraints: 25194
599.39/601.14 c #Conflicts: 602000 | #Constraints: 26194
599.39/601.14 c #Conflicts: 603000 | #Constraints: 27194
703.51/705.59 c #Conflicts: 604000 | #Constraints: 28194
703.51/705.59 c #Conflicts: 605000 | #Constraints: 29194
703.51/705.59 c #Conflicts: 606000 | #Constraints: 30194
703.51/705.59 c #Conflicts: 607000 | #Constraints: 31194
703.51/705.59 c INPROCESSING
703.51/705.59 c GARBAGE COLLECT
703.51/705.59 c #Conflicts: 608000 | #Constraints: 16787
703.51/705.59 c #Conflicts: 609000 | #Constraints: 17787
703.51/705.59 c #Conflicts: 610000 | #Constraints: 18787
703.51/705.59 c #Conflicts: 611000 | #Constraints: 19787
703.51/705.59 c #Conflicts: 612000 | #Constraints: 20787
703.51/705.59 c #Conflicts: 613000 | #Constraints: 21787
703.51/705.59 c #Conflicts: 614000 | #Constraints: 22787
703.51/705.59 c #Conflicts: 615000 | #Constraints: 23787
703.51/705.59 c #Conflicts: 616000 | #Constraints: 24787
703.51/705.59 c #Conflicts: 617000 | #Constraints: 25787
703.51/705.59 c #Conflicts: 618000 | #Constraints: 26787
703.51/705.59 c #Conflicts: 619000 | #Constraints: 27787
703.51/705.59 c #Conflicts: 620000 | #Constraints: 28787
703.51/705.59 c #Conflicts: 621000 | #Constraints: 29787
703.51/705.59 c #Conflicts: 622000 | #Constraints: 30787
703.51/705.59 c #Conflicts: 623000 | #Constraints: 31787
703.51/705.59 c INPROCESSING
703.51/705.59 c GARBAGE COLLECT
703.51/705.59 c #Conflicts: 624000 | #Constraints: 17193
703.51/705.59 c #Conflicts: 625000 | #Constraints: 18193
703.51/705.59 c #Conflicts: 626000 | #Constraints: 19193
703.51/705.59 c #Conflicts: 627000 | #Constraints: 20193
703.51/705.59 c #Conflicts: 628000 | #Constraints: 21193
703.51/705.59 c #Conflicts: 629000 | #Constraints: 22193
703.51/705.59 c #Conflicts: 630000 | #Constraints: 23193
703.51/705.59 c #Conflicts: 631000 | #Constraints: 24193
703.51/705.59 c #Conflicts: 632000 | #Constraints: 25193
703.51/705.59 c #Conflicts: 633000 | #Constraints: 26193
703.51/705.59 c #Conflicts: 634000 | #Constraints: 27193
703.51/705.59 c #Conflicts: 635000 | #Constraints: 28193
703.51/705.59 c #Conflicts: 636000 | #Constraints: 29193
703.51/705.59 c #Conflicts: 637000 | #Constraints: 30193
703.51/705.59 c #Conflicts: 638000 | #Constraints: 31193
703.51/705.59 c #Conflicts: 639000 | #Constraints: 32193
703.51/705.59 c INPROCESSING
703.51/705.59 c GARBAGE COLLECT
703.51/705.59 c #Conflicts: 640000 | #Constraints: 17392
703.51/705.59 c #Conflicts: 641000 | #Constraints: 18392
703.51/705.59 c #Conflicts: 642000 | #Constraints: 19392
703.51/705.59 c #Conflicts: 643000 | #Constraints: 20392
703.51/705.59 c #Conflicts: 644000 | #Constraints: 21392
703.51/705.59 c #Conflicts: 645000 | #Constraints: 22392
703.51/705.59 c #Conflicts: 646000 | #Constraints: 23392
703.51/705.59 c #Conflicts: 647000 | #Constraints: 24392
703.51/705.59 c #Conflicts: 648000 | #Constraints: 25392
703.51/705.59 c #Conflicts: 649000 | #Constraints: 26392
703.51/705.59 c #Conflicts: 650000 | #Constraints: 27392
703.51/705.59 c #Conflicts: 651000 | #Constraints: 28392
703.51/705.59 c #Conflicts: 652000 | #Constraints: 29392
703.51/705.59 c #Conflicts: 653000 | #Constraints: 30392
703.51/705.59 c #Conflicts: 654000 | #Constraints: 31392
703.51/705.59 c #Conflicts: 655000 | #Constraints: 32392
703.51/705.59 c INPROCESSING
703.51/705.59 c GARBAGE COLLECT
703.51/705.59 c #Conflicts: 656000 | #Constraints: 17394
703.51/705.59 c #Conflicts: 657000 | #Constraints: 18394
703.51/705.59 c #Conflicts: 658000 | #Constraints: 19394
703.51/705.59 c #Conflicts: 659000 | #Constraints: 20394
703.51/705.59 c #Conflicts: 660000 | #Constraints: 21394
703.51/705.59 c #Conflicts: 661000 | #Constraints: 22394
703.51/705.59 c #Conflicts: 662000 | #Constraints: 23394
703.51/705.59 c #Conflicts: 663000 | #Constraints: 24394
703.51/705.59 c #Conflicts: 664000 | #Constraints: 25394
703.51/705.59 c #Conflicts: 665000 | #Constraints: 26394
703.51/705.59 c #Conflicts: 666000 | #Constraints: 27394
703.51/705.59 c #Conflicts: 667000 | #Constraints: 28394
703.51/705.59 c #Conflicts: 668000 | #Constraints: 29394
703.51/705.59 c #Conflicts: 669000 | #Constraints: 30394
703.51/705.59 c #Conflicts: 670000 | #Constraints: 31394
703.51/705.59 c #Conflicts: 671000 | #Constraints: 32394
703.51/705.59 c INPROCESSING
703.51/705.59 c GARBAGE COLLECT
703.51/705.59 c #Conflicts: 672000 | #Constraints: 17189
703.51/705.59 c #Conflicts: 673000 | #Constraints: 18189
703.51/705.59 c #Conflicts: 674000 | #Constraints: 19189
703.51/705.59 c #Conflicts: 675000 | #Constraints: 20189
703.51/705.59 c #Conflicts: 676000 | #Constraints: 21189
703.51/705.59 c #Conflicts: 677000 | #Constraints: 22189
703.51/705.59 c #Conflicts: 678000 | #Constraints: 23189
703.51/705.59 c #Conflicts: 679000 | #Constraints: 24189
821.48/823.84 c #Conflicts: 680000 | #Constraints: 25189
821.48/823.84 c #Conflicts: 681000 | #Constraints: 26189
821.48/823.84 c #Conflicts: 682000 | #Constraints: 27189
821.48/823.84 c #Conflicts: 683000 | #Constraints: 28189
821.48/823.84 c #Conflicts: 684000 | #Constraints: 29189
821.48/823.84 c #Conflicts: 685000 | #Constraints: 30189
821.48/823.84 c #Conflicts: 686000 | #Constraints: 31189
821.48/823.84 c #Conflicts: 687000 | #Constraints: 32189
821.48/823.84 c #Conflicts: 688000 | #Constraints: 33189
821.48/823.84 c INPROCESSING
821.48/823.84 c GARBAGE COLLECT
821.48/823.84 c #Conflicts: 689000 | #Constraints: 17793
821.48/823.84 c #Conflicts: 690000 | #Constraints: 18793
821.48/823.84 c #Conflicts: 691000 | #Constraints: 19793
821.48/823.84 c #Conflicts: 692000 | #Constraints: 20793
821.48/823.84 c #Conflicts: 693000 | #Constraints: 21793
821.48/823.84 c #Conflicts: 694000 | #Constraints: 22793
821.48/823.84 c #Conflicts: 695000 | #Constraints: 23793
821.48/823.84 c #Conflicts: 696000 | #Constraints: 24793
821.48/823.84 c #Conflicts: 697000 | #Constraints: 25793
821.48/823.84 c #Conflicts: 698000 | #Constraints: 26793
821.48/823.84 c #Conflicts: 699000 | #Constraints: 27793
821.48/823.84 c #Conflicts: 700000 | #Constraints: 28793
821.48/823.84 c #Conflicts: 701000 | #Constraints: 29793
821.48/823.84 c #Conflicts: 702000 | #Constraints: 30793
821.48/823.84 c #Conflicts: 703000 | #Constraints: 31793
821.48/823.84 c #Conflicts: 704000 | #Constraints: 32793
821.48/823.84 c #Conflicts: 705000 | #Constraints: 33793
821.48/823.84 c INPROCESSING
821.48/823.84 c GARBAGE COLLECT
821.48/823.84 c #Conflicts: 706000 | #Constraints: 18185
821.48/823.84 c #Conflicts: 707000 | #Constraints: 19185
821.48/823.84 c #Conflicts: 708000 | #Constraints: 20185
821.48/823.84 c #Conflicts: 709000 | #Constraints: 21185
821.48/823.84 c #Conflicts: 710000 | #Constraints: 22185
821.48/823.84 c #Conflicts: 711000 | #Constraints: 23185
821.48/823.84 c #Conflicts: 712000 | #Constraints: 24185
821.48/823.84 c #Conflicts: 713000 | #Constraints: 25185
821.48/823.84 c #Conflicts: 714000 | #Constraints: 26185
821.48/823.84 c #Conflicts: 715000 | #Constraints: 27185
821.48/823.84 c #Conflicts: 716000 | #Constraints: 28185
821.48/823.84 c #Conflicts: 717000 | #Constraints: 29185
821.48/823.84 c #Conflicts: 718000 | #Constraints: 30185
821.48/823.84 c #Conflicts: 719000 | #Constraints: 31185
821.48/823.84 c #Conflicts: 720000 | #Constraints: 32185
821.48/823.84 c #Conflicts: 721000 | #Constraints: 33185
821.48/823.84 c #Conflicts: 722000 | #Constraints: 34185
821.48/823.84 c INPROCESSING
821.48/823.84 c GARBAGE COLLECT
821.48/823.84 c #Conflicts: 723000 | #Constraints: 18387
821.48/823.84 c #Conflicts: 724000 | #Constraints: 19387
821.48/823.84 c #Conflicts: 725000 | #Constraints: 20387
821.48/823.84 c #Conflicts: 726000 | #Constraints: 21387
821.48/823.84 c #Conflicts: 727000 | #Constraints: 22387
821.48/823.84 c #Conflicts: 728000 | #Constraints: 23387
821.48/823.84 c #Conflicts: 729000 | #Constraints: 24387
821.48/823.84 c #Conflicts: 730000 | #Constraints: 25387
821.48/823.84 c #Conflicts: 731000 | #Constraints: 26387
821.48/823.84 c #Conflicts: 732000 | #Constraints: 27387
821.48/823.84 c #Conflicts: 733000 | #Constraints: 28387
821.48/823.84 c #Conflicts: 734000 | #Constraints: 29387
821.48/823.84 c #Conflicts: 735000 | #Constraints: 30387
821.48/823.84 c #Conflicts: 736000 | #Constraints: 31387
821.48/823.84 c #Conflicts: 737000 | #Constraints: 32387
821.48/823.84 c #Conflicts: 738000 | #Constraints: 33387
821.48/823.84 c #Conflicts: 739000 | #Constraints: 34387
821.48/823.84 c INPROCESSING
821.48/823.84 c GARBAGE COLLECT
821.48/823.84 c #Conflicts: 740000 | #Constraints: 18393
821.48/823.84 c #Conflicts: 741000 | #Constraints: 19393
821.48/823.84 c #Conflicts: 742000 | #Constraints: 20393
821.48/823.84 c #Conflicts: 743000 | #Constraints: 21393
821.48/823.84 c #Conflicts: 744000 | #Constraints: 22393
821.48/823.84 c #Conflicts: 745000 | #Constraints: 23393
821.48/823.84 c #Conflicts: 746000 | #Constraints: 24393
821.48/823.84 c #Conflicts: 747000 | #Constraints: 25393
821.48/823.84 c #Conflicts: 748000 | #Constraints: 26393
821.48/823.84 c #Conflicts: 749000 | #Constraints: 27393
821.48/823.84 c #Conflicts: 750000 | #Constraints: 28393
821.48/823.84 c #Conflicts: 751000 | #Constraints: 29393
821.48/823.84 c #Conflicts: 752000 | #Constraints: 30393
821.48/823.84 c #Conflicts: 753000 | #Constraints: 31393
821.48/823.84 c #Conflicts: 754000 | #Constraints: 32393
821.48/823.84 c #Conflicts: 755000 | #Constraints: 33393
931.68/934.35 c #Conflicts: 756000 | #Constraints: 34393
931.68/934.35 c INPROCESSING
931.68/934.35 c GARBAGE COLLECT
931.68/934.35 c #Conflicts: 757000 | #Constraints: 18189
931.68/934.35 c #Conflicts: 758000 | #Constraints: 19189
931.68/934.35 c #Conflicts: 759000 | #Constraints: 20189
931.68/934.35 c #Conflicts: 760000 | #Constraints: 21189
931.68/934.35 c #Conflicts: 761000 | #Constraints: 22189
931.68/934.35 c #Conflicts: 762000 | #Constraints: 23189
931.68/934.35 c #Conflicts: 763000 | #Constraints: 24189
931.68/934.35 c #Conflicts: 764000 | #Constraints: 25189
931.68/934.35 c #Conflicts: 765000 | #Constraints: 26189
931.68/934.35 c #Conflicts: 766000 | #Constraints: 27189
931.68/934.35 c #Conflicts: 767000 | #Constraints: 28189
931.68/934.35 c #Conflicts: 768000 | #Constraints: 29189
931.68/934.35 c #Conflicts: 769000 | #Constraints: 30189
931.68/934.35 c #Conflicts: 770000 | #Constraints: 31189
931.68/934.35 c #Conflicts: 771000 | #Constraints: 32189
931.68/934.35 c #Conflicts: 772000 | #Constraints: 33189
931.68/934.35 c #Conflicts: 773000 | #Constraints: 34189
931.68/934.35 c #Conflicts: 774000 | #Constraints: 35189
931.68/934.35 c INPROCESSING
931.68/934.35 c GARBAGE COLLECT
931.68/934.35 c #Conflicts: 775000 | #Constraints: 18792
931.68/934.35 c #Conflicts: 776000 | #Constraints: 19792
931.68/934.35 c #Conflicts: 777000 | #Constraints: 20792
931.68/934.35 c #Conflicts: 778000 | #Constraints: 21792
931.68/934.35 c #Conflicts: 779000 | #Constraints: 22792
931.68/934.35 c #Conflicts: 780000 | #Constraints: 23792
931.68/934.35 c #Conflicts: 781000 | #Constraints: 24792
931.68/934.35 c #Conflicts: 782000 | #Constraints: 25792
931.68/934.35 c #Conflicts: 783000 | #Constraints: 26792
931.68/934.35 c #Conflicts: 784000 | #Constraints: 27792
931.68/934.35 c #Conflicts: 785000 | #Constraints: 28792
931.68/934.35 c #Conflicts: 786000 | #Constraints: 29792
931.68/934.35 c #Conflicts: 787000 | #Constraints: 30792
931.68/934.35 c #Conflicts: 788000 | #Constraints: 31792
931.68/934.35 c #Conflicts: 789000 | #Constraints: 32792
931.68/934.35 c #Conflicts: 790000 | #Constraints: 33792
931.68/934.35 c #Conflicts: 791000 | #Constraints: 34792
931.68/934.35 c #Conflicts: 792000 | #Constraints: 35792
931.68/934.35 c INPROCESSING
931.68/934.35 c GARBAGE COLLECT
931.68/934.35 c #Conflicts: 793000 | #Constraints: 19186
931.68/934.35 c #Conflicts: 794000 | #Constraints: 20186
931.68/934.35 c #Conflicts: 795000 | #Constraints: 21186
931.68/934.35 c #Conflicts: 796000 | #Constraints: 22186
931.68/934.35 c #Conflicts: 797000 | #Constraints: 23186
931.68/934.35 c #Conflicts: 798000 | #Constraints: 24186
931.68/934.35 c #Conflicts: 799000 | #Constraints: 25186
931.68/934.35 c #Conflicts: 800000 | #Constraints: 26186
931.68/934.35 c #Conflicts: 801000 | #Constraints: 27186
931.68/934.35 c #Conflicts: 802000 | #Constraints: 28186
931.68/934.35 c #Conflicts: 803000 | #Constraints: 29186
931.68/934.35 c #Conflicts: 804000 | #Constraints: 30186
931.68/934.35 c #Conflicts: 805000 | #Constraints: 31186
931.68/934.35 c #Conflicts: 806000 | #Constraints: 32186
931.68/934.35 c #Conflicts: 807000 | #Constraints: 33186
931.68/934.35 c #Conflicts: 808000 | #Constraints: 34186
931.68/934.35 c #Conflicts: 809000 | #Constraints: 35186
931.68/934.35 c #Conflicts: 810000 | #Constraints: 36186
931.68/934.35 c INPROCESSING
931.68/934.35 c GARBAGE COLLECT
931.68/934.35 c #Conflicts: 811000 | #Constraints: 19393
931.68/934.35 c #Conflicts: 812000 | #Constraints: 20393
931.68/934.35 c #Conflicts: 813000 | #Constraints: 21393
931.68/934.35 c #Conflicts: 814000 | #Constraints: 22393
931.68/934.35 c #Conflicts: 815000 | #Constraints: 23393
931.68/934.35 c #Conflicts: 816000 | #Constraints: 24393
931.68/934.35 c #Conflicts: 817000 | #Constraints: 25393
931.68/934.35 c #Conflicts: 818000 | #Constraints: 26393
931.68/934.35 c #Conflicts: 819000 | #Constraints: 27393
931.68/934.35 c #Conflicts: 820000 | #Constraints: 28393
931.68/934.35 c #Conflicts: 821000 | #Constraints: 29393
931.68/934.35 c #Conflicts: 822000 | #Constraints: 30393
931.68/934.35 c #Conflicts: 823000 | #Constraints: 31393
931.68/934.35 c #Conflicts: 824000 | #Constraints: 32393
931.68/934.35 c #Conflicts: 825000 | #Constraints: 33393
931.68/934.35 c #Conflicts: 826000 | #Constraints: 34393
931.68/934.35 c #Conflicts: 827000 | #Constraints: 35393
931.68/934.35 c #Conflicts: 828000 | #Constraints: 36393
931.68/934.35 c INPROCESSING
931.68/934.35 c GARBAGE COLLECT
931.68/934.35 c #Conflicts: 829000 | #Constraints: 19387
931.68/934.35 c #Conflicts: 830000 | #Constraints: 20387
1041.08/1044.02 c #Conflicts: 831000 | #Constraints: 21387
1041.08/1044.02 c #Conflicts: 832000 | #Constraints: 22387
1041.08/1044.02 c #Conflicts: 833000 | #Constraints: 23387
1041.08/1044.02 c #Conflicts: 834000 | #Constraints: 24387
1041.08/1044.02 c #Conflicts: 835000 | #Constraints: 25387
1041.08/1044.02 c #Conflicts: 836000 | #Constraints: 26387
1041.08/1044.02 c #Conflicts: 837000 | #Constraints: 27387
1041.08/1044.02 c #Conflicts: 838000 | #Constraints: 28387
1041.08/1044.02 c #Conflicts: 839000 | #Constraints: 29387
1041.08/1044.02 c #Conflicts: 840000 | #Constraints: 30387
1041.08/1044.02 c #Conflicts: 841000 | #Constraints: 31387
1041.08/1044.02 c #Conflicts: 842000 | #Constraints: 32387
1041.08/1044.02 c #Conflicts: 843000 | #Constraints: 33387
1041.08/1044.02 c #Conflicts: 844000 | #Constraints: 34387
1041.08/1044.02 c #Conflicts: 845000 | #Constraints: 35387
1041.08/1044.02 c #Conflicts: 846000 | #Constraints: 36387
1041.08/1044.02 c INPROCESSING
1041.08/1044.02 c GARBAGE COLLECT
1041.08/1044.02 c #Conflicts: 847000 | #Constraints: 19190
1041.08/1044.02 c #Conflicts: 848000 | #Constraints: 20190
1041.08/1044.02 c #Conflicts: 849000 | #Constraints: 21190
1041.08/1044.02 c #Conflicts: 850000 | #Constraints: 22190
1041.08/1044.02 c #Conflicts: 851000 | #Constraints: 23190
1041.08/1044.02 c #Conflicts: 852000 | #Constraints: 24190
1041.08/1044.02 c #Conflicts: 853000 | #Constraints: 25190
1041.08/1044.02 c #Conflicts: 854000 | #Constraints: 26190
1041.08/1044.02 c #Conflicts: 855000 | #Constraints: 27190
1041.08/1044.02 c #Conflicts: 856000 | #Constraints: 28190
1041.08/1044.02 c #Conflicts: 857000 | #Constraints: 29190
1041.08/1044.02 c #Conflicts: 858000 | #Constraints: 30190
1041.08/1044.02 c #Conflicts: 859000 | #Constraints: 31190
1041.08/1044.02 c #Conflicts: 860000 | #Constraints: 32190
1041.08/1044.02 c #Conflicts: 861000 | #Constraints: 33190
1041.08/1044.02 c #Conflicts: 862000 | #Constraints: 34190
1041.08/1044.02 c #Conflicts: 863000 | #Constraints: 35190
1041.08/1044.02 c #Conflicts: 864000 | #Constraints: 36190
1041.08/1044.02 c #Conflicts: 865000 | #Constraints: 37190
1041.08/1044.02 c INPROCESSING
1041.08/1044.02 c GARBAGE COLLECT
1041.08/1044.02 c #Conflicts: 866000 | #Constraints: 19794
1041.08/1044.02 c #Conflicts: 867000 | #Constraints: 20794
1041.08/1044.02 c #Conflicts: 868000 | #Constraints: 21794
1041.08/1044.02 c #Conflicts: 869000 | #Constraints: 22794
1041.08/1044.02 c #Conflicts: 870000 | #Constraints: 23794
1041.08/1044.02 c #Conflicts: 871000 | #Constraints: 24794
1041.08/1044.02 c #Conflicts: 872000 | #Constraints: 25794
1041.08/1044.02 c #Conflicts: 873000 | #Constraints: 26794
1041.08/1044.02 c #Conflicts: 874000 | #Constraints: 27794
1041.08/1044.02 c #Conflicts: 875000 | #Constraints: 28794
1041.08/1044.02 c #Conflicts: 876000 | #Constraints: 29794
1041.08/1044.02 c #Conflicts: 877000 | #Constraints: 30794
1041.08/1044.02 c #Conflicts: 878000 | #Constraints: 31794
1041.08/1044.02 c #Conflicts: 879000 | #Constraints: 32794
1041.08/1044.02 c #Conflicts: 880000 | #Constraints: 33794
1041.08/1044.02 c #Conflicts: 881000 | #Constraints: 34794
1041.08/1044.02 c #Conflicts: 882000 | #Constraints: 35794
1041.08/1044.02 c #Conflicts: 883000 | #Constraints: 36794
1041.08/1044.02 c #Conflicts: 884000 | #Constraints: 37794
1041.08/1044.02 c INPROCESSING
1041.08/1044.02 c GARBAGE COLLECT
1041.08/1044.02 c #Conflicts: 885000 | #Constraints: 20194
1041.08/1044.02 c #Conflicts: 886000 | #Constraints: 21194
1041.08/1044.02 c #Conflicts: 887000 | #Constraints: 22194
1041.08/1044.02 c #Conflicts: 888000 | #Constraints: 23194
1041.08/1044.02 c #Conflicts: 889000 | #Constraints: 24194
1041.08/1044.02 c #Conflicts: 890000 | #Constraints: 25194
1041.08/1044.02 c #Conflicts: 891000 | #Constraints: 26194
1041.08/1044.02 c #Conflicts: 892000 | #Constraints: 27194
1041.08/1044.02 c #Conflicts: 893000 | #Constraints: 28194
1041.08/1044.02 c #Conflicts: 894000 | #Constraints: 29194
1041.08/1044.02 c #Conflicts: 895000 | #Constraints: 30194
1041.08/1044.02 c #Conflicts: 896000 | #Constraints: 31194
1041.08/1044.02 c #Conflicts: 897000 | #Constraints: 32194
1041.08/1044.02 c #Conflicts: 898000 | #Constraints: 33194
1041.08/1044.02 c #Conflicts: 899000 | #Constraints: 34194
1041.08/1044.02 c #Conflicts: 900000 | #Constraints: 35194
1041.08/1044.02 c #Conflicts: 901000 | #Constraints: 36194
1041.08/1044.02 c #Conflicts: 902000 | #Constraints: 37194
1041.08/1044.02 c #Conflicts: 903000 | #Constraints: 38194
1041.08/1044.02 c INPROCESSING
1041.08/1044.02 c GARBAGE COLLECT
1041.08/1044.02 c #Conflicts: 904000 | #Constraints: 20399
1041.08/1044.02 c #Conflicts: 905000 | #Constraints: 21399
1041.08/1044.02 c #Conflicts: 906000 | #Constraints: 22399
1041.08/1044.02 c #Conflicts: 907000 | #Constraints: 23399
1145.26/1148.53 c #Conflicts: 908000 | #Constraints: 24399
1145.26/1148.53 c #Conflicts: 909000 | #Constraints: 25399
1145.26/1148.53 c #Conflicts: 910000 | #Constraints: 26399
1145.26/1148.53 c #Conflicts: 911000 | #Constraints: 27399
1145.26/1148.53 c #Conflicts: 912000 | #Constraints: 28399
1145.26/1148.53 c #Conflicts: 913000 | #Constraints: 29399
1145.26/1148.53 c #Conflicts: 914000 | #Constraints: 30399
1145.26/1148.53 c #Conflicts: 915000 | #Constraints: 31399
1145.26/1148.53 c #Conflicts: 916000 | #Constraints: 32399
1145.26/1148.53 c #Conflicts: 917000 | #Constraints: 33399
1145.26/1148.53 c #Conflicts: 918000 | #Constraints: 34399
1145.26/1148.53 c #Conflicts: 919000 | #Constraints: 35399
1145.26/1148.53 c #Conflicts: 920000 | #Constraints: 36399
1145.26/1148.53 c #Conflicts: 921000 | #Constraints: 37399
1145.26/1148.53 c #Conflicts: 922000 | #Constraints: 38399
1145.26/1148.53 c INPROCESSING
1145.26/1148.53 c GARBAGE COLLECT
1145.26/1148.53 c #Conflicts: 923000 | #Constraints: 20393
1145.26/1148.53 c #Conflicts: 924000 | #Constraints: 21393
1145.26/1148.53 c #Conflicts: 925000 | #Constraints: 22393
1145.26/1148.53 c #Conflicts: 926000 | #Constraints: 23393
1145.26/1148.53 c #Conflicts: 927000 | #Constraints: 24393
1145.26/1148.53 c #Conflicts: 928000 | #Constraints: 25393
1145.26/1148.53 c #Conflicts: 929000 | #Constraints: 26393
1145.26/1148.53 c #Conflicts: 930000 | #Constraints: 27393
1145.26/1148.53 c #Conflicts: 931000 | #Constraints: 28393
1145.26/1148.53 c #Conflicts: 932000 | #Constraints: 29393
1145.26/1148.53 c #Conflicts: 933000 | #Constraints: 30393
1145.26/1148.53 c #Conflicts: 934000 | #Constraints: 31393
1145.26/1148.53 c #Conflicts: 935000 | #Constraints: 32393
1145.26/1148.53 c #Conflicts: 936000 | #Constraints: 33393
1145.26/1148.53 c #Conflicts: 937000 | #Constraints: 34393
1145.26/1148.53 c #Conflicts: 938000 | #Constraints: 35393
1145.26/1148.53 c #Conflicts: 939000 | #Constraints: 36393
1145.26/1148.53 c #Conflicts: 940000 | #Constraints: 37393
1145.26/1148.53 c #Conflicts: 941000 | #Constraints: 38393
1145.26/1148.53 c INPROCESSING
1145.26/1148.53 c GARBAGE COLLECT
1145.26/1148.53 c #Conflicts: 942000 | #Constraints: 20195
1145.26/1148.53 c #Conflicts: 943000 | #Constraints: 21195
1145.26/1148.53 c #Conflicts: 944000 | #Constraints: 22195
1145.26/1148.53 c #Conflicts: 945000 | #Constraints: 23195
1145.26/1148.53 c #Conflicts: 946000 | #Constraints: 24195
1145.26/1148.53 c #Conflicts: 947000 | #Constraints: 25195
1145.26/1148.53 c #Conflicts: 948000 | #Constraints: 26195
1145.26/1148.53 c #Conflicts: 949000 | #Constraints: 27195
1145.26/1148.53 c #Conflicts: 950000 | #Constraints: 28195
1145.26/1148.53 c #Conflicts: 951000 | #Constraints: 29195
1145.26/1148.53 c #Conflicts: 952000 | #Constraints: 30195
1145.26/1148.53 c #Conflicts: 953000 | #Constraints: 31195
1145.26/1148.53 c #Conflicts: 954000 | #Constraints: 32195
1145.26/1148.53 c #Conflicts: 955000 | #Constraints: 33195
1145.26/1148.53 c #Conflicts: 956000 | #Constraints: 34195
1145.26/1148.53 c #Conflicts: 957000 | #Constraints: 35195
1145.26/1148.53 c #Conflicts: 958000 | #Constraints: 36195
1145.26/1148.53 c #Conflicts: 959000 | #Constraints: 37195
1145.26/1148.53 c #Conflicts: 960000 | #Constraints: 38195
1145.26/1148.53 c #Conflicts: 961000 | #Constraints: 39195
1145.26/1148.53 c INPROCESSING
1145.26/1148.53 c GARBAGE COLLECT
1145.26/1148.53 c #Conflicts: 962000 | #Constraints: 20789
1145.26/1148.53 c #Conflicts: 963000 | #Constraints: 21789
1145.26/1148.53 c #Conflicts: 964000 | #Constraints: 22789
1145.26/1148.53 c #Conflicts: 965000 | #Constraints: 23789
1145.26/1148.53 c #Conflicts: 966000 | #Constraints: 24789
1145.26/1148.53 c #Conflicts: 967000 | #Constraints: 25789
1145.26/1148.53 c #Conflicts: 968000 | #Constraints: 26789
1145.26/1148.53 c #Conflicts: 969000 | #Constraints: 27789
1145.26/1148.53 c #Conflicts: 970000 | #Constraints: 28789
1145.26/1148.53 c #Conflicts: 971000 | #Constraints: 29789
1145.26/1148.53 c #Conflicts: 972000 | #Constraints: 30789
1145.26/1148.53 c #Conflicts: 973000 | #Constraints: 31789
1145.26/1148.53 c #Conflicts: 974000 | #Constraints: 32789
1145.26/1148.53 c #Conflicts: 975000 | #Constraints: 33789
1145.26/1148.53 c #Conflicts: 976000 | #Constraints: 34789
1145.26/1148.53 c #Conflicts: 977000 | #Constraints: 35789
1145.26/1148.53 c #Conflicts: 978000 | #Constraints: 36789
1145.26/1148.53 c #Conflicts: 979000 | #Constraints: 37789
1145.26/1148.53 c #Conflicts: 980000 | #Constraints: 38789
1145.26/1148.53 c #Conflicts: 981000 | #Constraints: 39789
1145.26/1148.53 c INPROCESSING
1145.26/1148.53 c GARBAGE COLLECT
1145.26/1148.53 c #Conflicts: 982000 | #Constraints: 21203
1145.26/1148.53 c #Conflicts: 983000 | #Constraints: 22203
1245.24/1248.81 c #Conflicts: 984000 | #Constraints: 23203
1245.24/1248.81 c #Conflicts: 985000 | #Constraints: 24203
1245.24/1248.81 c #Conflicts: 986000 | #Constraints: 25203
1245.24/1248.81 c #Conflicts: 987000 | #Constraints: 26203
1245.24/1248.81 c #Conflicts: 988000 | #Constraints: 27203
1245.24/1248.81 c #Conflicts: 989000 | #Constraints: 28203
1245.24/1248.81 c #Conflicts: 990000 | #Constraints: 29203
1245.24/1248.81 c #Conflicts: 991000 | #Constraints: 30203
1245.24/1248.81 c #Conflicts: 992000 | #Constraints: 31203
1245.24/1248.81 c #Conflicts: 993000 | #Constraints: 32203
1245.24/1248.81 c #Conflicts: 994000 | #Constraints: 33203
1245.24/1248.81 c #Conflicts: 995000 | #Constraints: 34203
1245.24/1248.81 c #Conflicts: 996000 | #Constraints: 35203
1245.24/1248.81 c #Conflicts: 997000 | #Constraints: 36203
1245.24/1248.81 c #Conflicts: 998000 | #Constraints: 37203
1245.24/1248.81 c #Conflicts: 999000 | #Constraints: 38203
1245.24/1248.81 c #Conflicts: 1000000 | #Constraints: 39203
1245.24/1248.81 c #Conflicts: 1001000 | #Constraints: 40203
1245.24/1248.81 c INPROCESSING
1245.24/1248.81 c GARBAGE COLLECT
1245.24/1248.81 c #Conflicts: 1002000 | #Constraints: 21400
1245.24/1248.81 c #Conflicts: 1003000 | #Constraints: 22400
1245.24/1248.81 c #Conflicts: 1004000 | #Constraints: 23400
1245.24/1248.81 c #Conflicts: 1005000 | #Constraints: 24400
1245.24/1248.81 c #Conflicts: 1006000 | #Constraints: 25400
1245.24/1248.81 c #Conflicts: 1007000 | #Constraints: 26400
1245.24/1248.81 c #Conflicts: 1008000 | #Constraints: 27400
1245.24/1248.81 c #Conflicts: 1009000 | #Constraints: 28400
1245.24/1248.81 c #Conflicts: 1010000 | #Constraints: 29400
1245.24/1248.81 c #Conflicts: 1011000 | #Constraints: 30400
1245.24/1248.81 c #Conflicts: 1012000 | #Constraints: 31400
1245.24/1248.81 c #Conflicts: 1013000 | #Constraints: 32400
1245.24/1248.81 c #Conflicts: 1014000 | #Constraints: 33400
1245.24/1248.81 c #Conflicts: 1015000 | #Constraints: 34400
1245.24/1248.81 c #Conflicts: 1016000 | #Constraints: 35400
1245.24/1248.81 c #Conflicts: 1017000 | #Constraints: 36400
1245.24/1248.81 c #Conflicts: 1018000 | #Constraints: 37400
1245.24/1248.81 c #Conflicts: 1019000 | #Constraints: 38400
1245.24/1248.81 c #Conflicts: 1020000 | #Constraints: 39400
1245.24/1248.81 c #Conflicts: 1021000 | #Constraints: 40400
1245.24/1248.81 c INPROCESSING
1245.24/1248.81 c GARBAGE COLLECT
1245.24/1248.81 c #Conflicts: 1022000 | #Constraints: 21396
1245.24/1248.81 c #Conflicts: 1023000 | #Constraints: 22396
1245.24/1248.81 c #Conflicts: 1024000 | #Constraints: 23396
1245.24/1248.81 c #Conflicts: 1025000 | #Constraints: 24396
1245.24/1248.81 c #Conflicts: 1026000 | #Constraints: 25396
1245.24/1248.81 c #Conflicts: 1027000 | #Constraints: 26396
1245.24/1248.81 c #Conflicts: 1028000 | #Constraints: 27396
1245.24/1248.81 c #Conflicts: 1029000 | #Constraints: 28396
1245.24/1248.81 c #Conflicts: 1030000 | #Constraints: 29396
1245.24/1248.81 c #Conflicts: 1031000 | #Constraints: 30396
1245.24/1248.81 c #Conflicts: 1032000 | #Constraints: 31396
1245.24/1248.81 c #Conflicts: 1033000 | #Constraints: 32396
1245.24/1248.81 c #Conflicts: 1034000 | #Constraints: 33396
1245.24/1248.81 c #Conflicts: 1035000 | #Constraints: 34396
1245.24/1248.81 c #Conflicts: 1036000 | #Constraints: 35396
1245.24/1248.81 c #Conflicts: 1037000 | #Constraints: 36396
1245.24/1248.81 c #Conflicts: 1038000 | #Constraints: 37396
1245.24/1248.81 c #Conflicts: 1039000 | #Constraints: 38396
1245.24/1248.81 c #Conflicts: 1040000 | #Constraints: 39396
1245.24/1248.81 c #Conflicts: 1041000 | #Constraints: 40396
1245.24/1248.81 c INPROCESSING
1245.24/1248.81 c GARBAGE COLLECT
1245.24/1248.81 c #Conflicts: 1042000 | #Constraints: 21192
1245.24/1248.81 c #Conflicts: 1043000 | #Constraints: 22192
1245.24/1248.81 c #Conflicts: 1044000 | #Constraints: 23192
1245.24/1248.81 c #Conflicts: 1045000 | #Constraints: 24192
1245.24/1248.81 c #Conflicts: 1046000 | #Constraints: 25192
1245.24/1248.81 c #Conflicts: 1047000 | #Constraints: 26192
1245.24/1248.81 c #Conflicts: 1048000 | #Constraints: 27192
1245.24/1248.81 c #Conflicts: 1049000 | #Constraints: 28192
1245.24/1248.81 c #Conflicts: 1050000 | #Constraints: 29192
1245.24/1248.81 c #Conflicts: 1051000 | #Constraints: 30192
1245.24/1248.81 c #Conflicts: 1052000 | #Constraints: 31192
1245.24/1248.81 c #Conflicts: 1053000 | #Constraints: 32192
1245.24/1248.81 c #Conflicts: 1054000 | #Constraints: 33192
1245.24/1248.81 c #Conflicts: 1055000 | #Constraints: 34192
1245.24/1248.81 c #Conflicts: 1056000 | #Constraints: 35192
1245.24/1248.81 c #Conflicts: 1057000 | #Constraints: 36192
1245.24/1248.81 c #Conflicts: 1058000 | #Constraints: 37192
1245.24/1248.81 c #Conflicts: 1059000 | #Constraints: 38192
1245.24/1248.81 c #Conflicts: 1060000 | #Constraints: 39192
1370.36/1374.38 c #Conflicts: 1061000 | #Constraints: 40192
1370.36/1374.38 c #Conflicts: 1062000 | #Constraints: 41192
1370.36/1374.38 c INPROCESSING
1370.36/1374.38 c GARBAGE COLLECT
1370.36/1374.38 c #Conflicts: 1063000 | #Constraints: 21792
1370.36/1374.38 c #Conflicts: 1064000 | #Constraints: 22792
1370.36/1374.38 c #Conflicts: 1065000 | #Constraints: 23792
1370.36/1374.38 c #Conflicts: 1066000 | #Constraints: 24792
1370.36/1374.38 c #Conflicts: 1067000 | #Constraints: 25792
1370.36/1374.38 c #Conflicts: 1068000 | #Constraints: 26792
1370.36/1374.38 c #Conflicts: 1069000 | #Constraints: 27792
1370.36/1374.38 c #Conflicts: 1070000 | #Constraints: 28792
1370.36/1374.38 c #Conflicts: 1071000 | #Constraints: 29792
1370.36/1374.38 c #Conflicts: 1072000 | #Constraints: 30792
1370.36/1374.38 c #Conflicts: 1073000 | #Constraints: 31792
1370.36/1374.38 c #Conflicts: 1074000 | #Constraints: 32792
1370.36/1374.38 c #Conflicts: 1075000 | #Constraints: 33792
1370.36/1374.38 c #Conflicts: 1076000 | #Constraints: 34792
1370.36/1374.38 c #Conflicts: 1077000 | #Constraints: 35792
1370.36/1374.38 c #Conflicts: 1078000 | #Constraints: 36792
1370.36/1374.38 c #Conflicts: 1079000 | #Constraints: 37792
1370.36/1374.38 c #Conflicts: 1080000 | #Constraints: 38792
1370.36/1374.38 c #Conflicts: 1081000 | #Constraints: 39792
1370.36/1374.38 c #Conflicts: 1082000 | #Constraints: 40792
1370.36/1374.38 c #Conflicts: 1083000 | #Constraints: 41792
1370.36/1374.38 c INPROCESSING
1370.36/1374.38 c GARBAGE COLLECT
1370.36/1374.38 c #Conflicts: 1084000 | #Constraints: 22190
1370.36/1374.38 c #Conflicts: 1085000 | #Constraints: 23190
1370.36/1374.38 c #Conflicts: 1086000 | #Constraints: 24190
1370.36/1374.38 c #Conflicts: 1087000 | #Constraints: 25190
1370.36/1374.38 c #Conflicts: 1088000 | #Constraints: 26190
1370.36/1374.38 c #Conflicts: 1089000 | #Constraints: 27190
1370.36/1374.38 c #Conflicts: 1090000 | #Constraints: 28190
1370.36/1374.38 c #Conflicts: 1091000 | #Constraints: 29190
1370.36/1374.38 c #Conflicts: 1092000 | #Constraints: 30190
1370.36/1374.38 c #Conflicts: 1093000 | #Constraints: 31190
1370.36/1374.38 c #Conflicts: 1094000 | #Constraints: 32190
1370.36/1374.38 c #Conflicts: 1095000 | #Constraints: 33190
1370.36/1374.38 c #Conflicts: 1096000 | #Constraints: 34190
1370.36/1374.38 c #Conflicts: 1097000 | #Constraints: 35190
1370.36/1374.38 c #Conflicts: 1098000 | #Constraints: 36190
1370.36/1374.38 c #Conflicts: 1099000 | #Constraints: 37190
1370.36/1374.38 c #Conflicts: 1100000 | #Constraints: 38190
1370.36/1374.38 c #Conflicts: 1101000 | #Constraints: 39190
1370.36/1374.38 c #Conflicts: 1102000 | #Constraints: 40190
1370.36/1374.38 c #Conflicts: 1103000 | #Constraints: 41190
1370.36/1374.38 c #Conflicts: 1104000 | #Constraints: 42190
1370.36/1374.38 c INPROCESSING
1370.36/1374.38 c GARBAGE COLLECT
1370.36/1374.38 c #Conflicts: 1105000 | #Constraints: 22387
1370.36/1374.38 c #Conflicts: 1106000 | #Constraints: 23387
1370.36/1374.38 c #Conflicts: 1107000 | #Constraints: 24387
1370.36/1374.38 c #Conflicts: 1108000 | #Constraints: 25387
1370.36/1374.38 c #Conflicts: 1109000 | #Constraints: 26387
1370.36/1374.38 c #Conflicts: 1110000 | #Constraints: 27387
1370.36/1374.38 c #Conflicts: 1111000 | #Constraints: 28387
1370.36/1374.38 c #Conflicts: 1112000 | #Constraints: 29387
1370.36/1374.38 c #Conflicts: 1113000 | #Constraints: 30387
1370.36/1374.38 c #Conflicts: 1114000 | #Constraints: 31387
1370.36/1374.38 c #Conflicts: 1115000 | #Constraints: 32387
1370.36/1374.38 c #Conflicts: 1116000 | #Constraints: 33387
1370.36/1374.38 c #Conflicts: 1117000 | #Constraints: 34387
1370.36/1374.38 c #Conflicts: 1118000 | #Constraints: 35387
1370.36/1374.38 c #Conflicts: 1119000 | #Constraints: 36387
1370.36/1374.38 c #Conflicts: 1120000 | #Constraints: 37387
1370.36/1374.38 c #Conflicts: 1121000 | #Constraints: 38387
1370.36/1374.38 c #Conflicts: 1122000 | #Constraints: 39387
1370.36/1374.38 c #Conflicts: 1123000 | #Constraints: 40387
1370.36/1374.38 c #Conflicts: 1124000 | #Constraints: 41387
1370.36/1374.38 c #Conflicts: 1125000 | #Constraints: 42387
1370.36/1374.38 c INPROCESSING
1370.36/1374.38 c GARBAGE COLLECT
1370.36/1374.38 c #Conflicts: 1126000 | #Constraints: 22389
1370.36/1374.38 c #Conflicts: 1127000 | #Constraints: 23389
1370.36/1374.38 c #Conflicts: 1128000 | #Constraints: 24389
1370.36/1374.38 c #Conflicts: 1129000 | #Constraints: 25389
1370.36/1374.38 c #Conflicts: 1130000 | #Constraints: 26389
1370.36/1374.38 c #Conflicts: 1131000 | #Constraints: 27389
1370.36/1374.38 c #Conflicts: 1132000 | #Constraints: 28389
1370.36/1374.38 c #Conflicts: 1133000 | #Constraints: 29389
1370.36/1374.38 c #Conflicts: 1134000 | #Constraints: 30389
1370.36/1374.38 c #Conflicts: 1135000 | #Constraints: 31389
1370.36/1374.38 c #Conflicts: 1136000 | #Constraints: 32389
1505.23/1509.65 c #Conflicts: 1137000 | #Constraints: 33389
1505.23/1509.65 c #Conflicts: 1138000 | #Constraints: 34389
1505.23/1509.65 c #Conflicts: 1139000 | #Constraints: 35389
1505.23/1509.65 c #Conflicts: 1140000 | #Constraints: 36389
1505.23/1509.65 c #Conflicts: 1141000 | #Constraints: 37389
1505.23/1509.65 c #Conflicts: 1142000 | #Constraints: 38389
1505.23/1509.65 c #Conflicts: 1143000 | #Constraints: 39389
1505.23/1509.65 c #Conflicts: 1144000 | #Constraints: 40389
1505.23/1509.65 c #Conflicts: 1145000 | #Constraints: 41389
1505.23/1509.65 c #Conflicts: 1146000 | #Constraints: 42389
1505.23/1509.65 c INPROCESSING
1505.23/1509.65 c GARBAGE COLLECT
1505.23/1509.65 c #Conflicts: 1147000 | #Constraints: 22190
1505.23/1509.65 c #Conflicts: 1148000 | #Constraints: 23190
1505.23/1509.65 c #Conflicts: 1149000 | #Constraints: 24190
1505.23/1509.65 c #Conflicts: 1150000 | #Constraints: 25190
1505.23/1509.65 c #Conflicts: 1151000 | #Constraints: 26190
1505.23/1509.65 c #Conflicts: 1152000 | #Constraints: 27190
1505.23/1509.65 c #Conflicts: 1153000 | #Constraints: 28190
1505.23/1509.65 c #Conflicts: 1154000 | #Constraints: 29190
1505.23/1509.65 c #Conflicts: 1155000 | #Constraints: 30190
1505.23/1509.65 c #Conflicts: 1156000 | #Constraints: 31190
1505.23/1509.65 c #Conflicts: 1157000 | #Constraints: 32190
1505.23/1509.65 c #Conflicts: 1158000 | #Constraints: 33190
1505.23/1509.65 c #Conflicts: 1159000 | #Constraints: 34190
1505.23/1509.65 c #Conflicts: 1160000 | #Constraints: 35190
1505.23/1509.65 c #Conflicts: 1161000 | #Constraints: 36190
1505.23/1509.65 c #Conflicts: 1162000 | #Constraints: 37190
1505.23/1509.65 c #Conflicts: 1163000 | #Constraints: 38190
1505.23/1509.65 c #Conflicts: 1164000 | #Constraints: 39190
1505.23/1509.65 c #Conflicts: 1165000 | #Constraints: 40190
1505.23/1509.65 c #Conflicts: 1166000 | #Constraints: 41190
1505.23/1509.65 c #Conflicts: 1167000 | #Constraints: 42190
1505.23/1509.65 c #Conflicts: 1168000 | #Constraints: 43190
1505.23/1509.65 c INPROCESSING
1505.23/1509.65 c GARBAGE COLLECT
1505.23/1509.65 c #Conflicts: 1169000 | #Constraints: 22791
1505.23/1509.65 c #Conflicts: 1170000 | #Constraints: 23791
1505.23/1509.65 c #Conflicts: 1171000 | #Constraints: 24791
1505.23/1509.65 c #Conflicts: 1172000 | #Constraints: 25791
1505.23/1509.65 c #Conflicts: 1173000 | #Constraints: 26791
1505.23/1509.65 c #Conflicts: 1174000 | #Constraints: 27791
1505.23/1509.65 c #Conflicts: 1175000 | #Constraints: 28791
1505.23/1509.65 c #Conflicts: 1176000 | #Constraints: 29791
1505.23/1509.65 c #Conflicts: 1177000 | #Constraints: 30791
1505.23/1509.65 c #Conflicts: 1178000 | #Constraints: 31791
1505.23/1509.65 c #Conflicts: 1179000 | #Constraints: 32791
1505.23/1509.65 c #Conflicts: 1180000 | #Constraints: 33791
1505.23/1509.65 c #Conflicts: 1181000 | #Constraints: 34791
1505.23/1509.65 c #Conflicts: 1182000 | #Constraints: 35791
1505.23/1509.65 c #Conflicts: 1183000 | #Constraints: 36791
1505.23/1509.65 c #Conflicts: 1184000 | #Constraints: 37791
1505.23/1509.65 c #Conflicts: 1185000 | #Constraints: 38791
1505.23/1509.65 c #Conflicts: 1186000 | #Constraints: 39791
1505.23/1509.65 c #Conflicts: 1187000 | #Constraints: 40791
1505.23/1509.65 c #Conflicts: 1188000 | #Constraints: 41791
1505.23/1509.65 c #Conflicts: 1189000 | #Constraints: 42791
1505.23/1509.65 c #Conflicts: 1190000 | #Constraints: 43791
1505.23/1509.65 c INPROCESSING
1505.23/1509.65 c GARBAGE COLLECT
1505.23/1509.65 c #Conflicts: 1191000 | #Constraints: 23182
1505.23/1509.65 c #Conflicts: 1192000 | #Constraints: 24182
1505.23/1509.65 c #Conflicts: 1193000 | #Constraints: 25182
1505.23/1509.65 c #Conflicts: 1194000 | #Constraints: 26182
1505.23/1509.65 c #Conflicts: 1195000 | #Constraints: 27182
1505.23/1509.65 c #Conflicts: 1196000 | #Constraints: 28182
1505.23/1509.65 c #Conflicts: 1197000 | #Constraints: 29182
1505.23/1509.65 c #Conflicts: 1198000 | #Constraints: 30182
1505.23/1509.65 c #Conflicts: 1199000 | #Constraints: 31182
1505.23/1509.65 c #Conflicts: 1200000 | #Constraints: 32182
1505.23/1509.65 c #Conflicts: 1201000 | #Constraints: 33182
1505.23/1509.65 c #Conflicts: 1202000 | #Constraints: 34182
1505.23/1509.65 c #Conflicts: 1203000 | #Constraints: 35182
1505.23/1509.65 c #Conflicts: 1204000 | #Constraints: 36182
1505.23/1509.65 c #Conflicts: 1205000 | #Constraints: 37182
1505.23/1509.65 c #Conflicts: 1206000 | #Constraints: 38182
1505.23/1509.65 c #Conflicts: 1207000 | #Constraints: 39182
1505.23/1509.65 c #Conflicts: 1208000 | #Constraints: 40182
1505.23/1509.65 c #Conflicts: 1209000 | #Constraints: 41182
1505.23/1509.65 c #Conflicts: 1210000 | #Constraints: 42182
1505.23/1509.65 c #Conflicts: 1211000 | #Constraints: 43182
1505.23/1509.65 c #Conflicts: 1212000 | #Constraints: 44182
1505.23/1509.65 c INPROCESSING
1566.24/1570.83 c GARBAGE COLLECT
1566.24/1570.83 c #Conflicts: 1213000 | #Constraints: 23393
1566.24/1570.83 c #Conflicts: 1214000 | #Constraints: 24393
1566.24/1570.83 c #Conflicts: 1215000 | #Constraints: 25393
1566.24/1570.83 c #Conflicts: 1216000 | #Constraints: 26393
1566.24/1570.83 c #Conflicts: 1217000 | #Constraints: 27393
1566.24/1570.83 c #Conflicts: 1218000 | #Constraints: 28393
1566.24/1570.83 c #Conflicts: 1219000 | #Constraints: 29393
1566.24/1570.83 c #Conflicts: 1220000 | #Constraints: 30393
1566.24/1570.83 c #Conflicts: 1221000 | #Constraints: 31393
1566.24/1570.83 c #Conflicts: 1222000 | #Constraints: 32393
1566.24/1570.83 c #Conflicts: 1223000 | #Constraints: 33393
1566.24/1570.83 c #Conflicts: 1224000 | #Constraints: 34393
1566.24/1570.83 c #Conflicts: 1225000 | #Constraints: 35393
1566.24/1570.83 c #Conflicts: 1226000 | #Constraints: 36393
1566.24/1570.83 c #Conflicts: 1227000 | #Constraints: 37393
1566.24/1570.83 c #Conflicts: 1228000 | #Constraints: 38393
1566.24/1570.83 c #Conflicts: 1229000 | #Constraints: 39393
1566.24/1570.83 c #Conflicts: 1230000 | #Constraints: 40393
1566.24/1570.83 c #Conflicts: 1231000 | #Constraints: 41393
1566.24/1570.83 c #Conflicts: 1232000 | #Constraints: 42393
1566.24/1570.83 c #Conflicts: 1233000 | #Constraints: 43393
1566.24/1570.83 c #Conflicts: 1234000 | #Constraints: 44393
1566.24/1570.83 c INPROCESSING
1566.24/1570.83 c GARBAGE COLLECT
1566.24/1570.83 c #Conflicts: 1235000 | #Constraints: 23386
1566.24/1570.83 c #Conflicts: 1236000 | #Constraints: 24386
1566.24/1570.83 c #Conflicts: 1237000 | #Constraints: 25386
1566.24/1570.83 c #Conflicts: 1238000 | #Constraints: 26386
1566.24/1570.83 c #Conflicts: 1239000 | #Constraints: 27386
1566.24/1570.83 c #Conflicts: 1240000 | #Constraints: 28386
1566.24/1570.83 c #Conflicts: 1241000 | #Constraints: 29386
1566.24/1570.83 c #Conflicts: 1242000 | #Constraints: 30386
1566.24/1570.83 c #Conflicts: 1243000 | #Constraints: 31386
1566.24/1570.83 c #Conflicts: 1244000 | #Constraints: 32386
1566.24/1570.83 c #Conflicts: 1245000 | #Constraints: 33386
1566.24/1570.83 c GLOBAL bounds - >= 0 @ 1556.2
1732.52/1737.63 c #Conflicts: 1246000 | #Constraints: 34388
1732.52/1737.63 c #Conflicts: 1247000 | #Constraints: 35388
1732.52/1737.63 c #Conflicts: 1248000 | #Constraints: 36388
1732.52/1737.63 c #Conflicts: 1249000 | #Constraints: 37388
1732.52/1737.63 c #Conflicts: 1250000 | #Constraints: 38388
1732.52/1737.63 c #Conflicts: 1251000 | #Constraints: 39388
1732.52/1737.63 c #Conflicts: 1252000 | #Constraints: 40388
1732.52/1737.63 c #Conflicts: 1253000 | #Constraints: 41388
1732.52/1737.63 c #Conflicts: 1254000 | #Constraints: 42388
1732.52/1737.63 c #Conflicts: 1255000 | #Constraints: 43388
1732.52/1737.63 c #Conflicts: 1256000 | #Constraints: 44388
1732.52/1737.63 c INPROCESSING
1732.52/1737.63 c GARBAGE COLLECT
1732.52/1737.63 c #Conflicts: 1257000 | #Constraints: 23185
1732.52/1737.63 c #Conflicts: 1258000 | #Constraints: 24185
1732.52/1737.63 c #Conflicts: 1259000 | #Constraints: 25185
1732.52/1737.63 c #Conflicts: 1260000 | #Constraints: 26185
1732.52/1737.63 c #Conflicts: 1261000 | #Constraints: 27185
1732.52/1737.63 c #Conflicts: 1262000 | #Constraints: 28185
1732.52/1737.63 c #Conflicts: 1263000 | #Constraints: 29185
1732.52/1737.63 c #Conflicts: 1264000 | #Constraints: 30185
1732.52/1737.63 c #Conflicts: 1265000 | #Constraints: 31185
1732.52/1737.63 c #Conflicts: 1266000 | #Constraints: 32185
1732.52/1737.63 c #Conflicts: 1267000 | #Constraints: 33185
1732.52/1737.63 c #Conflicts: 1268000 | #Constraints: 34185
1732.52/1737.63 c #Conflicts: 1269000 | #Constraints: 35185
1732.52/1737.63 c #Conflicts: 1270000 | #Constraints: 36185
1732.52/1737.63 c #Conflicts: 1271000 | #Constraints: 37185
1732.52/1737.63 c #Conflicts: 1272000 | #Constraints: 38185
1732.52/1737.63 c #Conflicts: 1273000 | #Constraints: 39185
1732.52/1737.63 c #Conflicts: 1274000 | #Constraints: 40185
1732.52/1737.63 c #Conflicts: 1275000 | #Constraints: 41185
1732.52/1737.63 c #Conflicts: 1276000 | #Constraints: 42185
1732.52/1737.63 c #Conflicts: 1277000 | #Constraints: 43185
1732.52/1737.63 c #Conflicts: 1278000 | #Constraints: 44185
1732.52/1737.63 c #Conflicts: 1279000 | #Constraints: 45185
1732.52/1737.63 c INPROCESSING
1732.52/1737.63 c GARBAGE COLLECT
1732.52/1737.63 c #Conflicts: 1280000 | #Constraints: 23782
1732.52/1737.63 c #Conflicts: 1281000 | #Constraints: 24782
1732.52/1737.63 c #Conflicts: 1282000 | #Constraints: 25782
1732.52/1737.63 c #Conflicts: 1283000 | #Constraints: 26782
1732.52/1737.63 c #Conflicts: 1284000 | #Constraints: 27782
1732.52/1737.63 c #Conflicts: 1285000 | #Constraints: 28782
1732.52/1737.63 c #Conflicts: 1286000 | #Constraints: 29782
1732.52/1737.63 c #Conflicts: 1287000 | #Constraints: 30782
1732.52/1737.63 c #Conflicts: 1288000 | #Constraints: 31782
1732.52/1737.63 c #Conflicts: 1289000 | #Constraints: 32782
1732.52/1737.63 c #Conflicts: 1290000 | #Constraints: 33782
1732.52/1737.63 c #Conflicts: 1291000 | #Constraints: 34782
1732.52/1737.63 c #Conflicts: 1292000 | #Constraints: 35782
1732.52/1737.63 c #Conflicts: 1293000 | #Constraints: 36782
1732.52/1737.63 c #Conflicts: 1294000 | #Constraints: 37782
1732.52/1737.63 c #Conflicts: 1295000 | #Constraints: 38782
1732.52/1737.63 c #Conflicts: 1296000 | #Constraints: 39782
1732.52/1737.63 c #Conflicts: 1297000 | #Constraints: 40782
1732.52/1737.63 c #Conflicts: 1298000 | #Constraints: 41782
1732.52/1737.63 c #Conflicts: 1299000 | #Constraints: 42782
1732.52/1737.63 c #Conflicts: 1300000 | #Constraints: 43782
1732.52/1737.63 c #Conflicts: 1301000 | #Constraints: 44782
1732.52/1737.63 c #Conflicts: 1302000 | #Constraints: 45782
1732.52/1737.63 c INPROCESSING
1732.52/1737.63 c GARBAGE COLLECT
1732.52/1737.63 c #Conflicts: 1303000 | #Constraints: 24183
1732.52/1737.63 c #Conflicts: 1304000 | #Constraints: 25183
1732.52/1737.63 c #Conflicts: 1305000 | #Constraints: 26183
1732.52/1737.63 c #Conflicts: 1306000 | #Constraints: 27183
1732.52/1737.63 c #Conflicts: 1307000 | #Constraints: 28183
1732.52/1737.63 c #Conflicts: 1308000 | #Constraints: 29183
1732.52/1737.63 c #Conflicts: 1309000 | #Constraints: 30183
1732.52/1737.63 c #Conflicts: 1310000 | #Constraints: 31183
1732.52/1737.63 c #Conflicts: 1311000 | #Constraints: 32183
1732.52/1737.63 c #Conflicts: 1312000 | #Constraints: 33183
1732.52/1737.63 c #Conflicts: 1313000 | #Constraints: 34183
1732.52/1737.63 c #Conflicts: 1314000 | #Constraints: 35183
1732.52/1737.63 c #Conflicts: 1315000 | #Constraints: 36183
1732.52/1737.63 c #Conflicts: 1316000 | #Constraints: 37183
1732.52/1737.63 c #Conflicts: 1317000 | #Constraints: 38183
1732.52/1737.63 c #Conflicts: 1318000 | #Constraints: 39183
1732.52/1737.63 c #Conflicts: 1319000 | #Constraints: 40183
1732.52/1737.63 c #Conflicts: 1320000 | #Constraints: 41183
1732.52/1737.63 c #Conflicts: 1321000 | #Constraints: 42183
1732.52/1737.63 c #Conflicts: 1322000 | #Constraints: 43183
1938.45/1944.28 c #Conflicts: 1323000 | #Constraints: 44183
1938.45/1944.28 c #Conflicts: 1324000 | #Constraints: 45183
1938.45/1944.28 c #Conflicts: 1325000 | #Constraints: 46183
1938.45/1944.28 c INPROCESSING
1938.45/1944.28 c GARBAGE COLLECT
1938.45/1944.28 c #Conflicts: 1326000 | #Constraints: 24382
1938.45/1944.28 c #Conflicts: 1327000 | #Constraints: 25382
1938.45/1944.28 c #Conflicts: 1328000 | #Constraints: 26382
1938.45/1944.28 c #Conflicts: 1329000 | #Constraints: 27382
1938.45/1944.28 c #Conflicts: 1330000 | #Constraints: 28382
1938.45/1944.28 c #Conflicts: 1331000 | #Constraints: 29382
1938.45/1944.28 c #Conflicts: 1332000 | #Constraints: 30382
1938.45/1944.28 c #Conflicts: 1333000 | #Constraints: 31382
1938.45/1944.28 c #Conflicts: 1334000 | #Constraints: 32382
1938.45/1944.28 c #Conflicts: 1335000 | #Constraints: 33382
1938.45/1944.28 c #Conflicts: 1336000 | #Constraints: 34382
1938.45/1944.28 c #Conflicts: 1337000 | #Constraints: 35382
1938.45/1944.28 c #Conflicts: 1338000 | #Constraints: 36382
1938.45/1944.28 c #Conflicts: 1339000 | #Constraints: 37382
1938.45/1944.28 c #Conflicts: 1340000 | #Constraints: 38382
1938.45/1944.28 c #Conflicts: 1341000 | #Constraints: 39382
1938.45/1944.28 c #Conflicts: 1342000 | #Constraints: 40382
1938.45/1944.28 c #Conflicts: 1343000 | #Constraints: 41382
1938.45/1944.28 c #Conflicts: 1344000 | #Constraints: 42382
1938.45/1944.28 c #Conflicts: 1345000 | #Constraints: 43382
1938.45/1944.28 c #Conflicts: 1346000 | #Constraints: 44382
1938.45/1944.28 c #Conflicts: 1347000 | #Constraints: 45382
1938.45/1944.28 c #Conflicts: 1348000 | #Constraints: 46382
1938.45/1944.28 c INPROCESSING
1938.45/1944.28 c GARBAGE COLLECT
1938.45/1944.28 c #Conflicts: 1349000 | #Constraints: 24383
1938.45/1944.28 c #Conflicts: 1350000 | #Constraints: 25383
1938.45/1944.28 c #Conflicts: 1351000 | #Constraints: 26383
1938.45/1944.28 c #Conflicts: 1352000 | #Constraints: 27383
1938.45/1944.28 c #Conflicts: 1353000 | #Constraints: 28383
1938.45/1944.28 c #Conflicts: 1354000 | #Constraints: 29383
1938.45/1944.28 c #Conflicts: 1355000 | #Constraints: 30383
1938.45/1944.28 c #Conflicts: 1356000 | #Constraints: 31383
1938.45/1944.28 c #Conflicts: 1357000 | #Constraints: 32383
1938.45/1944.28 c #Conflicts: 1358000 | #Constraints: 33383
1938.45/1944.28 c #Conflicts: 1359000 | #Constraints: 34383
1938.45/1944.28 c #Conflicts: 1360000 | #Constraints: 35383
1938.45/1944.28 c #Conflicts: 1361000 | #Constraints: 36383
1938.45/1944.28 c #Conflicts: 1362000 | #Constraints: 37383
1938.45/1944.28 c #Conflicts: 1363000 | #Constraints: 38383
1938.45/1944.28 c #Conflicts: 1364000 | #Constraints: 39383
1938.45/1944.28 c #Conflicts: 1365000 | #Constraints: 40383
1938.45/1944.28 c #Conflicts: 1366000 | #Constraints: 41383
1938.45/1944.28 c #Conflicts: 1367000 | #Constraints: 42383
1938.45/1944.28 c #Conflicts: 1368000 | #Constraints: 43383
1938.45/1944.28 c #Conflicts: 1369000 | #Constraints: 44383
1938.45/1944.28 c #Conflicts: 1370000 | #Constraints: 45383
1938.45/1944.28 c #Conflicts: 1371000 | #Constraints: 46383
1938.45/1944.28 c INPROCESSING
1938.45/1944.28 c GARBAGE COLLECT
1938.45/1944.28 c #Conflicts: 1372000 | #Constraints: 24186
1938.45/1944.28 c #Conflicts: 1373000 | #Constraints: 25186
1938.45/1944.28 c #Conflicts: 1374000 | #Constraints: 26186
1938.45/1944.28 c #Conflicts: 1375000 | #Constraints: 27186
1938.45/1944.28 c #Conflicts: 1376000 | #Constraints: 28186
1938.45/1944.28 c #Conflicts: 1377000 | #Constraints: 29186
1938.45/1944.28 c #Conflicts: 1378000 | #Constraints: 30186
1938.45/1944.28 c #Conflicts: 1379000 | #Constraints: 31186
1938.45/1944.28 c #Conflicts: 1380000 | #Constraints: 32186
1938.45/1944.28 c #Conflicts: 1381000 | #Constraints: 33186
1938.45/1944.28 c #Conflicts: 1382000 | #Constraints: 34186
1938.45/1944.28 c #Conflicts: 1383000 | #Constraints: 35186
1938.45/1944.28 c #Conflicts: 1384000 | #Constraints: 36186
1938.45/1944.28 c #Conflicts: 1385000 | #Constraints: 37186
1938.45/1944.28 c #Conflicts: 1386000 | #Constraints: 38186
1938.45/1944.28 c #Conflicts: 1387000 | #Constraints: 39186
1938.45/1944.28 c #Conflicts: 1388000 | #Constraints: 40186
1938.45/1944.28 c #Conflicts: 1389000 | #Constraints: 41186
1938.45/1944.28 c #Conflicts: 1390000 | #Constraints: 42186
1938.45/1944.28 c #Conflicts: 1391000 | #Constraints: 43186
1938.45/1944.28 c #Conflicts: 1392000 | #Constraints: 44186
1938.45/1944.28 c #Conflicts: 1393000 | #Constraints: 45186
1938.45/1944.28 c #Conflicts: 1394000 | #Constraints: 46186
1938.45/1944.28 c #Conflicts: 1395000 | #Constraints: 47186
1938.45/1944.28 c INPROCESSING
1938.45/1944.28 c GARBAGE COLLECT
1938.45/1944.28 c #Conflicts: 1396000 | #Constraints: 24790
1938.45/1944.28 c #Conflicts: 1397000 | #Constraints: 25790
1938.45/1944.28 c #Conflicts: 1398000 | #Constraints: 26790
1938.45/1944.28 c #Conflicts: 1399000 | #Constraints: 27790
2168.58/2175.14 c #Conflicts: 1400000 | #Constraints: 28790
2168.58/2175.14 c #Conflicts: 1401000 | #Constraints: 29790
2168.58/2175.14 c #Conflicts: 1402000 | #Constraints: 30790
2168.58/2175.14 c #Conflicts: 1403000 | #Constraints: 31790
2168.58/2175.14 c #Conflicts: 1404000 | #Constraints: 32790
2168.58/2175.14 c #Conflicts: 1405000 | #Constraints: 33790
2168.58/2175.14 c #Conflicts: 1406000 | #Constraints: 34790
2168.58/2175.14 c #Conflicts: 1407000 | #Constraints: 35790
2168.58/2175.14 c #Conflicts: 1408000 | #Constraints: 36790
2168.58/2175.14 c #Conflicts: 1409000 | #Constraints: 37790
2168.58/2175.14 c #Conflicts: 1410000 | #Constraints: 38790
2168.58/2175.14 c #Conflicts: 1411000 | #Constraints: 39790
2168.58/2175.14 c #Conflicts: 1412000 | #Constraints: 40790
2168.58/2175.14 c #Conflicts: 1413000 | #Constraints: 41790
2168.58/2175.14 c #Conflicts: 1414000 | #Constraints: 42790
2168.58/2175.14 c #Conflicts: 1415000 | #Constraints: 43790
2168.58/2175.14 c #Conflicts: 1416000 | #Constraints: 44790
2168.58/2175.14 c #Conflicts: 1417000 | #Constraints: 45790
2168.58/2175.14 c #Conflicts: 1418000 | #Constraints: 46790
2168.58/2175.14 c #Conflicts: 1419000 | #Constraints: 47790
2168.58/2175.14 c INPROCESSING
2168.58/2175.14 c GARBAGE COLLECT
2168.58/2175.14 c #Conflicts: 1420000 | #Constraints: 25191
2168.58/2175.14 c #Conflicts: 1421000 | #Constraints: 26191
2168.58/2175.14 c #Conflicts: 1422000 | #Constraints: 27191
2168.58/2175.14 c #Conflicts: 1423000 | #Constraints: 28191
2168.58/2175.14 c #Conflicts: 1424000 | #Constraints: 29191
2168.58/2175.14 c #Conflicts: 1425000 | #Constraints: 30191
2168.58/2175.14 c #Conflicts: 1426000 | #Constraints: 31191
2168.58/2175.14 c #Conflicts: 1427000 | #Constraints: 32191
2168.58/2175.14 c #Conflicts: 1428000 | #Constraints: 33191
2168.58/2175.14 c #Conflicts: 1429000 | #Constraints: 34191
2168.58/2175.14 c #Conflicts: 1430000 | #Constraints: 35191
2168.58/2175.14 c #Conflicts: 1431000 | #Constraints: 36191
2168.58/2175.14 c #Conflicts: 1432000 | #Constraints: 37191
2168.58/2175.14 c #Conflicts: 1433000 | #Constraints: 38191
2168.58/2175.14 c #Conflicts: 1434000 | #Constraints: 39191
2168.58/2175.14 c #Conflicts: 1435000 | #Constraints: 40191
2168.58/2175.14 c #Conflicts: 1436000 | #Constraints: 41191
2168.58/2175.14 c #Conflicts: 1437000 | #Constraints: 42191
2168.58/2175.14 c #Conflicts: 1438000 | #Constraints: 43191
2168.58/2175.14 c #Conflicts: 1439000 | #Constraints: 44191
2168.58/2175.14 c #Conflicts: 1440000 | #Constraints: 45191
2168.58/2175.14 c #Conflicts: 1441000 | #Constraints: 46191
2168.58/2175.14 c #Conflicts: 1442000 | #Constraints: 47191
2168.58/2175.14 c #Conflicts: 1443000 | #Constraints: 48191
2168.58/2175.14 c INPROCESSING
2168.58/2175.14 c GARBAGE COLLECT
2168.58/2175.14 c #Conflicts: 1444000 | #Constraints: 25386
2168.58/2175.14 c #Conflicts: 1445000 | #Constraints: 26386
2168.58/2175.14 c #Conflicts: 1446000 | #Constraints: 27386
2168.58/2175.14 c #Conflicts: 1447000 | #Constraints: 28386
2168.58/2175.14 c #Conflicts: 1448000 | #Constraints: 29386
2168.58/2175.14 c #Conflicts: 1449000 | #Constraints: 30386
2168.58/2175.14 c #Conflicts: 1450000 | #Constraints: 31386
2168.58/2175.14 c #Conflicts: 1451000 | #Constraints: 32386
2168.58/2175.14 c #Conflicts: 1452000 | #Constraints: 33386
2168.58/2175.14 c #Conflicts: 1453000 | #Constraints: 34386
2168.58/2175.14 c #Conflicts: 1454000 | #Constraints: 35386
2168.58/2175.14 c #Conflicts: 1455000 | #Constraints: 36386
2168.58/2175.14 c #Conflicts: 1456000 | #Constraints: 37386
2168.58/2175.14 c #Conflicts: 1457000 | #Constraints: 38386
2168.58/2175.14 c #Conflicts: 1458000 | #Constraints: 39386
2168.58/2175.14 c #Conflicts: 1459000 | #Constraints: 40386
2168.58/2175.14 c #Conflicts: 1460000 | #Constraints: 41386
2168.58/2175.14 c #Conflicts: 1461000 | #Constraints: 42386
2168.58/2175.14 c #Conflicts: 1462000 | #Constraints: 43386
2168.58/2175.14 c #Conflicts: 1463000 | #Constraints: 44386
2168.58/2175.14 c #Conflicts: 1464000 | #Constraints: 45386
2168.58/2175.14 c #Conflicts: 1465000 | #Constraints: 46386
2168.58/2175.14 c #Conflicts: 1466000 | #Constraints: 47386
2168.58/2175.14 c #Conflicts: 1467000 | #Constraints: 48386
2168.58/2175.14 c INPROCESSING
2168.58/2175.14 c GARBAGE COLLECT
2168.58/2175.14 c #Conflicts: 1468000 | #Constraints: 25393
2168.58/2175.14 c #Conflicts: 1469000 | #Constraints: 26393
2168.58/2175.14 c #Conflicts: 1470000 | #Constraints: 27393
2168.58/2175.14 c #Conflicts: 1471000 | #Constraints: 28393
2168.58/2175.14 c #Conflicts: 1472000 | #Constraints: 29393
2168.58/2175.14 c #Conflicts: 1473000 | #Constraints: 30393
2168.58/2175.14 c #Conflicts: 1474000 | #Constraints: 31393
2168.58/2175.14 c #Conflicts: 1475000 | #Constraints: 32393
2217.12/2223.80 c #Conflicts: 1476000 | #Constraints: 33393
2217.12/2223.80 c #Conflicts: 1477000 | #Constraints: 34393
2217.12/2223.80 c #Conflicts: 1478000 | #Constraints: 35393
2217.12/2223.80 c #Conflicts: 1479000 | #Constraints: 36393
2217.12/2223.80 c #Conflicts: 1480000 | #Constraints: 37393
2217.12/2223.80 c #Conflicts: 1481000 | #Constraints: 38393
2217.12/2223.80 c #Conflicts: 1482000 | #Constraints: 39393
2217.12/2223.80 c #Conflicts: 1483000 | #Constraints: 40393
2217.12/2223.80 c #Conflicts: 1484000 | #Constraints: 41393
2217.12/2223.80 c #Conflicts: 1485000 | #Constraints: 42393
2217.12/2223.80 c #Conflicts: 1486000 | #Constraints: 43393
2217.12/2223.80 c #Conflicts: 1487000 | #Constraints: 44393
2217.12/2223.80 c #Conflicts: 1488000 | #Constraints: 45393
2217.12/2223.80 c #Conflicts: 1489000 | #Constraints: 46393
2217.12/2223.80 c #Conflicts: 1490000 | #Constraints: 47393
2217.12/2223.80 c GLOBAL bounds - >= 0 @ 2204.53
2420.77/2428.14 c #Conflicts: 1491000 | #Constraints: 48395
2420.77/2428.14 c INPROCESSING
2420.77/2428.14 c GARBAGE COLLECT
2420.77/2428.14 c #Conflicts: 1492000 | #Constraints: 25193
2420.77/2428.14 c #Conflicts: 1493000 | #Constraints: 26193
2420.77/2428.14 c #Conflicts: 1494000 | #Constraints: 27193
2420.77/2428.14 c #Conflicts: 1495000 | #Constraints: 28193
2420.77/2428.14 c #Conflicts: 1496000 | #Constraints: 29193
2420.77/2428.14 c #Conflicts: 1497000 | #Constraints: 30193
2420.77/2428.14 c #Conflicts: 1498000 | #Constraints: 31193
2420.77/2428.14 c #Conflicts: 1499000 | #Constraints: 32193
2420.77/2428.14 c #Conflicts: 1500000 | #Constraints: 33193
2420.77/2428.14 c #Conflicts: 1501000 | #Constraints: 34193
2420.77/2428.14 c #Conflicts: 1502000 | #Constraints: 35193
2420.77/2428.14 c #Conflicts: 1503000 | #Constraints: 36193
2420.77/2428.14 c #Conflicts: 1504000 | #Constraints: 37193
2420.77/2428.14 c #Conflicts: 1505000 | #Constraints: 38193
2420.77/2428.14 c #Conflicts: 1506000 | #Constraints: 39193
2420.77/2428.14 c #Conflicts: 1507000 | #Constraints: 40193
2420.77/2428.14 c #Conflicts: 1508000 | #Constraints: 41193
2420.77/2428.14 c #Conflicts: 1509000 | #Constraints: 42193
2420.77/2428.14 c #Conflicts: 1510000 | #Constraints: 43193
2420.77/2428.14 c #Conflicts: 1511000 | #Constraints: 44193
2420.77/2428.14 c #Conflicts: 1512000 | #Constraints: 45193
2420.77/2428.14 c #Conflicts: 1513000 | #Constraints: 46193
2420.77/2428.14 c #Conflicts: 1514000 | #Constraints: 47193
2420.77/2428.14 c #Conflicts: 1515000 | #Constraints: 48193
2420.77/2428.14 c #Conflicts: 1516000 | #Constraints: 49193
2420.77/2428.14 c INPROCESSING
2420.77/2428.14 c GARBAGE COLLECT
2420.77/2428.14 c #Conflicts: 1517000 | #Constraints: 25795
2420.77/2428.14 c #Conflicts: 1518000 | #Constraints: 26795
2420.77/2428.14 c #Conflicts: 1519000 | #Constraints: 27795
2420.77/2428.14 c #Conflicts: 1520000 | #Constraints: 28795
2420.77/2428.14 c #Conflicts: 1521000 | #Constraints: 29795
2420.77/2428.14 c #Conflicts: 1522000 | #Constraints: 30795
2420.77/2428.14 c #Conflicts: 1523000 | #Constraints: 31795
2420.77/2428.14 c #Conflicts: 1524000 | #Constraints: 32795
2420.77/2428.14 c #Conflicts: 1525000 | #Constraints: 33795
2420.77/2428.14 c #Conflicts: 1526000 | #Constraints: 34795
2420.77/2428.14 c #Conflicts: 1527000 | #Constraints: 35795
2420.77/2428.14 c #Conflicts: 1528000 | #Constraints: 36795
2420.77/2428.14 c #Conflicts: 1529000 | #Constraints: 37795
2420.77/2428.14 c #Conflicts: 1530000 | #Constraints: 38795
2420.77/2428.14 c #Conflicts: 1531000 | #Constraints: 39795
2420.77/2428.14 c #Conflicts: 1532000 | #Constraints: 40795
2420.77/2428.14 c #Conflicts: 1533000 | #Constraints: 41795
2420.77/2428.14 c #Conflicts: 1534000 | #Constraints: 42795
2420.77/2428.14 c #Conflicts: 1535000 | #Constraints: 43795
2420.77/2428.14 c #Conflicts: 1536000 | #Constraints: 44795
2420.77/2428.14 c #Conflicts: 1537000 | #Constraints: 45795
2420.77/2428.14 c #Conflicts: 1538000 | #Constraints: 46795
2420.77/2428.14 c #Conflicts: 1539000 | #Constraints: 47795
2420.77/2428.14 c #Conflicts: 1540000 | #Constraints: 48795
2420.77/2428.14 c #Conflicts: 1541000 | #Constraints: 49795
2420.77/2428.14 c INPROCESSING
2420.77/2428.14 c GARBAGE COLLECT
2420.77/2428.14 c #Conflicts: 1542000 | #Constraints: 26191
2420.77/2428.14 c #Conflicts: 1543000 | #Constraints: 27191
2420.77/2428.14 c #Conflicts: 1544000 | #Constraints: 28191
2420.77/2428.14 c #Conflicts: 1545000 | #Constraints: 29191
2420.77/2428.14 c #Conflicts: 1546000 | #Constraints: 30191
2420.77/2428.14 c #Conflicts: 1547000 | #Constraints: 31191
2420.77/2428.14 c #Conflicts: 1548000 | #Constraints: 32191
2420.77/2428.14 c #Conflicts: 1549000 | #Constraints: 33191
2420.77/2428.14 c #Conflicts: 1550000 | #Constraints: 34191
2420.77/2428.14 c #Conflicts: 1551000 | #Constraints: 35191
2420.77/2428.14 c #Conflicts: 1552000 | #Constraints: 36191
2420.77/2428.14 c #Conflicts: 1553000 | #Constraints: 37191
2420.77/2428.14 c #Conflicts: 1554000 | #Constraints: 38191
2420.77/2428.14 c #Conflicts: 1555000 | #Constraints: 39191
2420.77/2428.14 c #Conflicts: 1556000 | #Constraints: 40191
2420.77/2428.14 c #Conflicts: 1557000 | #Constraints: 41191
2420.77/2428.14 c #Conflicts: 1558000 | #Constraints: 42191
2420.77/2428.14 c #Conflicts: 1559000 | #Constraints: 43191
2420.77/2428.14 c #Conflicts: 1560000 | #Constraints: 44191
2420.77/2428.14 c #Conflicts: 1561000 | #Constraints: 45191
2420.77/2428.14 c #Conflicts: 1562000 | #Constraints: 46191
2420.77/2428.14 c #Conflicts: 1563000 | #Constraints: 47191
2420.77/2428.14 c #Conflicts: 1564000 | #Constraints: 48191
2420.77/2428.14 c #Conflicts: 1565000 | #Constraints: 49191
2420.77/2428.14 c #Conflicts: 1566000 | #Constraints: 50191
2420.77/2428.14 c INPROCESSING
2420.77/2428.14 c GARBAGE COLLECT
2420.77/2428.14 c #Conflicts: 1567000 | #Constraints: 26385
2619.12/2627.02 c #Conflicts: 1568000 | #Constraints: 27385
2619.12/2627.02 c #Conflicts: 1569000 | #Constraints: 28385
2619.12/2627.02 c #Conflicts: 1570000 | #Constraints: 29385
2619.12/2627.02 c #Conflicts: 1571000 | #Constraints: 30385
2619.12/2627.02 c #Conflicts: 1572000 | #Constraints: 31385
2619.12/2627.02 c #Conflicts: 1573000 | #Constraints: 32385
2619.12/2627.02 c #Conflicts: 1574000 | #Constraints: 33385
2619.12/2627.02 c #Conflicts: 1575000 | #Constraints: 34385
2619.12/2627.02 c #Conflicts: 1576000 | #Constraints: 35385
2619.12/2627.02 c #Conflicts: 1577000 | #Constraints: 36385
2619.12/2627.02 c #Conflicts: 1578000 | #Constraints: 37385
2619.12/2627.02 c #Conflicts: 1579000 | #Constraints: 38385
2619.12/2627.02 c #Conflicts: 1580000 | #Constraints: 39385
2619.12/2627.02 c #Conflicts: 1581000 | #Constraints: 40385
2619.12/2627.02 c #Conflicts: 1582000 | #Constraints: 41385
2619.12/2627.02 c #Conflicts: 1583000 | #Constraints: 42385
2619.12/2627.02 c #Conflicts: 1584000 | #Constraints: 43385
2619.12/2627.02 c #Conflicts: 1585000 | #Constraints: 44385
2619.12/2627.02 c #Conflicts: 1586000 | #Constraints: 45385
2619.12/2627.02 c #Conflicts: 1587000 | #Constraints: 46385
2619.12/2627.02 c #Conflicts: 1588000 | #Constraints: 47385
2619.12/2627.02 c #Conflicts: 1589000 | #Constraints: 48385
2619.12/2627.02 c #Conflicts: 1590000 | #Constraints: 49385
2619.12/2627.02 c #Conflicts: 1591000 | #Constraints: 50385
2619.12/2627.02 c INPROCESSING
2619.12/2627.02 c GARBAGE COLLECT
2619.12/2627.02 c #Conflicts: 1592000 | #Constraints: 26384
2619.12/2627.02 c #Conflicts: 1593000 | #Constraints: 27384
2619.12/2627.02 c #Conflicts: 1594000 | #Constraints: 28384
2619.12/2627.02 c #Conflicts: 1595000 | #Constraints: 29384
2619.12/2627.02 c #Conflicts: 1596000 | #Constraints: 30384
2619.12/2627.02 c #Conflicts: 1597000 | #Constraints: 31384
2619.12/2627.02 c #Conflicts: 1598000 | #Constraints: 32384
2619.12/2627.02 c #Conflicts: 1599000 | #Constraints: 33384
2619.12/2627.02 c #Conflicts: 1600000 | #Constraints: 34384
2619.12/2627.02 c #Conflicts: 1601000 | #Constraints: 35384
2619.12/2627.02 c #Conflicts: 1602000 | #Constraints: 36384
2619.12/2627.02 c #Conflicts: 1603000 | #Constraints: 37384
2619.12/2627.02 c #Conflicts: 1604000 | #Constraints: 38384
2619.12/2627.02 c #Conflicts: 1605000 | #Constraints: 39384
2619.12/2627.02 c #Conflicts: 1606000 | #Constraints: 40384
2619.12/2627.02 c #Conflicts: 1607000 | #Constraints: 41384
2619.12/2627.02 c #Conflicts: 1608000 | #Constraints: 42384
2619.12/2627.02 c #Conflicts: 1609000 | #Constraints: 43384
2619.12/2627.02 c #Conflicts: 1610000 | #Constraints: 44384
2619.12/2627.02 c #Conflicts: 1611000 | #Constraints: 45384
2619.12/2627.02 c #Conflicts: 1612000 | #Constraints: 46384
2619.12/2627.02 c #Conflicts: 1613000 | #Constraints: 47384
2619.12/2627.02 c #Conflicts: 1614000 | #Constraints: 48384
2619.12/2627.02 c #Conflicts: 1615000 | #Constraints: 49384
2619.12/2627.02 c #Conflicts: 1616000 | #Constraints: 50384
2619.12/2627.02 c INPROCESSING
2619.12/2627.02 c GARBAGE COLLECT
2619.12/2627.02 c #Conflicts: 1617000 | #Constraints: 26193
2619.12/2627.02 c #Conflicts: 1618000 | #Constraints: 27193
2619.12/2627.02 c #Conflicts: 1619000 | #Constraints: 28193
2619.12/2627.02 c #Conflicts: 1620000 | #Constraints: 29193
2619.12/2627.02 c #Conflicts: 1621000 | #Constraints: 30193
2619.12/2627.02 c #Conflicts: 1622000 | #Constraints: 31193
2619.12/2627.02 c #Conflicts: 1623000 | #Constraints: 32193
2619.12/2627.02 c #Conflicts: 1624000 | #Constraints: 33193
2619.12/2627.02 c #Conflicts: 1625000 | #Constraints: 34193
2619.12/2627.02 c #Conflicts: 1626000 | #Constraints: 35193
2619.12/2627.02 c #Conflicts: 1627000 | #Constraints: 36193
2619.12/2627.02 c #Conflicts: 1628000 | #Constraints: 37193
2619.12/2627.02 c #Conflicts: 1629000 | #Constraints: 38193
2619.12/2627.02 c #Conflicts: 1630000 | #Constraints: 39193
2619.12/2627.02 c #Conflicts: 1631000 | #Constraints: 40193
2619.12/2627.02 c #Conflicts: 1632000 | #Constraints: 41193
2619.12/2627.02 c #Conflicts: 1633000 | #Constraints: 42193
2619.12/2627.02 c #Conflicts: 1634000 | #Constraints: 43193
2619.12/2627.02 c #Conflicts: 1635000 | #Constraints: 44193
2619.12/2627.02 c #Conflicts: 1636000 | #Constraints: 45193
2619.12/2627.02 c #Conflicts: 1637000 | #Constraints: 46193
2619.12/2627.02 c #Conflicts: 1638000 | #Constraints: 47193
2619.12/2627.02 c #Conflicts: 1639000 | #Constraints: 48193
2619.12/2627.02 c #Conflicts: 1640000 | #Constraints: 49193
2619.12/2627.02 c #Conflicts: 1641000 | #Constraints: 50193
2619.12/2627.02 c #Conflicts: 1642000 | #Constraints: 51193
2619.12/2627.02 c INPROCESSING
2619.12/2627.02 c GARBAGE COLLECT
2619.12/2627.02 c #Conflicts: 1643000 | #Constraints: 26781
2619.12/2627.02 c #Conflicts: 1644000 | #Constraints: 27781
2829.73/2838.30 c #Conflicts: 1645000 | #Constraints: 28781
2829.73/2838.30 c #Conflicts: 1646000 | #Constraints: 29781
2829.73/2838.30 c #Conflicts: 1647000 | #Constraints: 30781
2829.73/2838.30 c #Conflicts: 1648000 | #Constraints: 31781
2829.73/2838.30 c #Conflicts: 1649000 | #Constraints: 32781
2829.73/2838.30 c #Conflicts: 1650000 | #Constraints: 33781
2829.73/2838.30 c #Conflicts: 1651000 | #Constraints: 34781
2829.73/2838.30 c #Conflicts: 1652000 | #Constraints: 35781
2829.73/2838.30 c #Conflicts: 1653000 | #Constraints: 36781
2829.73/2838.30 c #Conflicts: 1654000 | #Constraints: 37781
2829.73/2838.30 c #Conflicts: 1655000 | #Constraints: 38781
2829.73/2838.30 c #Conflicts: 1656000 | #Constraints: 39781
2829.73/2838.30 c #Conflicts: 1657000 | #Constraints: 40781
2829.73/2838.30 c #Conflicts: 1658000 | #Constraints: 41781
2829.73/2838.30 c #Conflicts: 1659000 | #Constraints: 42781
2829.73/2838.30 c #Conflicts: 1660000 | #Constraints: 43781
2829.73/2838.30 c #Conflicts: 1661000 | #Constraints: 44781
2829.73/2838.30 c #Conflicts: 1662000 | #Constraints: 45781
2829.73/2838.30 c #Conflicts: 1663000 | #Constraints: 46781
2829.73/2838.30 c #Conflicts: 1664000 | #Constraints: 47781
2829.73/2838.30 c #Conflicts: 1665000 | #Constraints: 48781
2829.73/2838.30 c #Conflicts: 1666000 | #Constraints: 49781
2829.73/2838.30 c #Conflicts: 1667000 | #Constraints: 50781
2829.73/2838.30 c #Conflicts: 1668000 | #Constraints: 51781
2829.73/2838.30 c INPROCESSING
2829.73/2838.30 c GARBAGE COLLECT
2829.73/2838.30 c #Conflicts: 1669000 | #Constraints: 27191
2829.73/2838.30 c #Conflicts: 1670000 | #Constraints: 28191
2829.73/2838.30 c #Conflicts: 1671000 | #Constraints: 29191
2829.73/2838.30 c #Conflicts: 1672000 | #Constraints: 30191
2829.73/2838.30 c #Conflicts: 1673000 | #Constraints: 31191
2829.73/2838.30 c #Conflicts: 1674000 | #Constraints: 32191
2829.73/2838.30 c #Conflicts: 1675000 | #Constraints: 33191
2829.73/2838.30 c #Conflicts: 1676000 | #Constraints: 34191
2829.73/2838.30 c #Conflicts: 1677000 | #Constraints: 35191
2829.73/2838.30 c #Conflicts: 1678000 | #Constraints: 36191
2829.73/2838.30 c #Conflicts: 1679000 | #Constraints: 37191
2829.73/2838.30 c #Conflicts: 1680000 | #Constraints: 38191
2829.73/2838.30 c #Conflicts: 1681000 | #Constraints: 39191
2829.73/2838.30 c #Conflicts: 1682000 | #Constraints: 40191
2829.73/2838.30 c #Conflicts: 1683000 | #Constraints: 41191
2829.73/2838.30 c #Conflicts: 1684000 | #Constraints: 42191
2829.73/2838.30 c #Conflicts: 1685000 | #Constraints: 43191
2829.73/2838.30 c #Conflicts: 1686000 | #Constraints: 44191
2829.73/2838.30 c #Conflicts: 1687000 | #Constraints: 45191
2829.73/2838.30 c #Conflicts: 1688000 | #Constraints: 46191
2829.73/2838.30 c #Conflicts: 1689000 | #Constraints: 47191
2829.73/2838.30 c #Conflicts: 1690000 | #Constraints: 48191
2829.73/2838.30 c #Conflicts: 1691000 | #Constraints: 49191
2829.73/2838.30 c #Conflicts: 1692000 | #Constraints: 50191
2829.73/2838.30 c #Conflicts: 1693000 | #Constraints: 51191
2829.73/2838.30 c #Conflicts: 1694000 | #Constraints: 52191
2829.73/2838.30 c INPROCESSING
2829.73/2838.30 c GARBAGE COLLECT
2829.73/2838.30 c #Conflicts: 1695000 | #Constraints: 27396
2829.73/2838.30 c #Conflicts: 1696000 | #Constraints: 28396
2829.73/2838.30 c #Conflicts: 1697000 | #Constraints: 29396
2829.73/2838.30 c #Conflicts: 1698000 | #Constraints: 30396
2829.73/2838.30 c #Conflicts: 1699000 | #Constraints: 31396
2829.73/2838.30 c #Conflicts: 1700000 | #Constraints: 32396
2829.73/2838.30 c #Conflicts: 1701000 | #Constraints: 33396
2829.73/2838.30 c #Conflicts: 1702000 | #Constraints: 34396
2829.73/2838.30 c #Conflicts: 1703000 | #Constraints: 35396
2829.73/2838.30 c #Conflicts: 1704000 | #Constraints: 36396
2829.73/2838.30 c #Conflicts: 1705000 | #Constraints: 37396
2829.73/2838.30 c #Conflicts: 1706000 | #Constraints: 38396
2829.73/2838.30 c #Conflicts: 1707000 | #Constraints: 39396
2829.73/2838.30 c #Conflicts: 1708000 | #Constraints: 40396
2829.73/2838.30 c #Conflicts: 1709000 | #Constraints: 41396
2829.73/2838.30 c #Conflicts: 1710000 | #Constraints: 42396
2829.73/2838.30 c #Conflicts: 1711000 | #Constraints: 43396
2829.73/2838.30 c #Conflicts: 1712000 | #Constraints: 44396
2829.73/2838.30 c #Conflicts: 1713000 | #Constraints: 45396
2829.73/2838.30 c #Conflicts: 1714000 | #Constraints: 46396
2829.73/2838.30 c #Conflicts: 1715000 | #Constraints: 47396
2829.73/2838.30 c #Conflicts: 1716000 | #Constraints: 48396
2829.73/2838.30 c #Conflicts: 1717000 | #Constraints: 49396
2829.73/2838.30 c #Conflicts: 1718000 | #Constraints: 50396
2829.73/2838.30 c #Conflicts: 1719000 | #Constraints: 51396
2829.73/2838.30 c #Conflicts: 1720000 | #Constraints: 52396
2829.73/2838.30 c INPROCESSING
2829.73/2838.30 c GARBAGE COLLECT
3056.20/3065.31 c #Conflicts: 1721000 | #Constraints: 27391
3056.20/3065.31 c #Conflicts: 1722000 | #Constraints: 28391
3056.20/3065.31 c #Conflicts: 1723000 | #Constraints: 29391
3056.20/3065.31 c #Conflicts: 1724000 | #Constraints: 30391
3056.20/3065.31 c #Conflicts: 1725000 | #Constraints: 31391
3056.20/3065.31 c #Conflicts: 1726000 | #Constraints: 32391
3056.20/3065.31 c #Conflicts: 1727000 | #Constraints: 33391
3056.20/3065.31 c #Conflicts: 1728000 | #Constraints: 34391
3056.20/3065.31 c #Conflicts: 1729000 | #Constraints: 35391
3056.20/3065.31 c #Conflicts: 1730000 | #Constraints: 36391
3056.20/3065.31 c #Conflicts: 1731000 | #Constraints: 37391
3056.20/3065.31 c #Conflicts: 1732000 | #Constraints: 38391
3056.20/3065.31 c #Conflicts: 1733000 | #Constraints: 39391
3056.20/3065.31 c #Conflicts: 1734000 | #Constraints: 40391
3056.20/3065.31 c #Conflicts: 1735000 | #Constraints: 41391
3056.20/3065.31 c #Conflicts: 1736000 | #Constraints: 42391
3056.20/3065.31 c #Conflicts: 1737000 | #Constraints: 43391
3056.20/3065.31 c #Conflicts: 1738000 | #Constraints: 44391
3056.20/3065.31 c #Conflicts: 1739000 | #Constraints: 45391
3056.20/3065.31 c #Conflicts: 1740000 | #Constraints: 46391
3056.20/3065.31 c #Conflicts: 1741000 | #Constraints: 47391
3056.20/3065.31 c #Conflicts: 1742000 | #Constraints: 48391
3056.20/3065.31 c #Conflicts: 1743000 | #Constraints: 49391
3056.20/3065.31 c #Conflicts: 1744000 | #Constraints: 50391
3056.20/3065.31 c #Conflicts: 1745000 | #Constraints: 51391
3056.20/3065.31 c #Conflicts: 1746000 | #Constraints: 52391
3056.20/3065.31 c INPROCESSING
3056.20/3065.31 c GARBAGE COLLECT
3056.20/3065.31 c #Conflicts: 1747000 | #Constraints: 27191
3056.20/3065.31 c #Conflicts: 1748000 | #Constraints: 28191
3056.20/3065.31 c #Conflicts: 1749000 | #Constraints: 29191
3056.20/3065.31 c #Conflicts: 1750000 | #Constraints: 30191
3056.20/3065.31 c #Conflicts: 1751000 | #Constraints: 31191
3056.20/3065.31 c #Conflicts: 1752000 | #Constraints: 32191
3056.20/3065.31 c #Conflicts: 1753000 | #Constraints: 33191
3056.20/3065.31 c #Conflicts: 1754000 | #Constraints: 34191
3056.20/3065.31 c #Conflicts: 1755000 | #Constraints: 35191
3056.20/3065.31 c #Conflicts: 1756000 | #Constraints: 36191
3056.20/3065.31 c #Conflicts: 1757000 | #Constraints: 37191
3056.20/3065.31 c #Conflicts: 1758000 | #Constraints: 38191
3056.20/3065.31 c #Conflicts: 1759000 | #Constraints: 39191
3056.20/3065.31 c #Conflicts: 1760000 | #Constraints: 40191
3056.20/3065.31 c #Conflicts: 1761000 | #Constraints: 41191
3056.20/3065.31 c #Conflicts: 1762000 | #Constraints: 42191
3056.20/3065.31 c #Conflicts: 1763000 | #Constraints: 43191
3056.20/3065.31 c #Conflicts: 1764000 | #Constraints: 44191
3056.20/3065.31 c #Conflicts: 1765000 | #Constraints: 45191
3056.20/3065.31 c #Conflicts: 1766000 | #Constraints: 46191
3056.20/3065.31 c #Conflicts: 1767000 | #Constraints: 47191
3056.20/3065.31 c #Conflicts: 1768000 | #Constraints: 48191
3056.20/3065.31 c #Conflicts: 1769000 | #Constraints: 49191
3056.20/3065.31 c #Conflicts: 1770000 | #Constraints: 50191
3056.20/3065.31 c #Conflicts: 1771000 | #Constraints: 51191
3056.20/3065.31 c #Conflicts: 1772000 | #Constraints: 52191
3056.20/3065.31 c #Conflicts: 1773000 | #Constraints: 53191
3056.20/3065.31 c INPROCESSING
3056.20/3065.31 c GARBAGE COLLECT
3056.20/3065.31 c #Conflicts: 1774000 | #Constraints: 27794
3056.20/3065.31 c #Conflicts: 1775000 | #Constraints: 28794
3056.20/3065.31 c #Conflicts: 1776000 | #Constraints: 29794
3056.20/3065.31 c #Conflicts: 1777000 | #Constraints: 30794
3056.20/3065.31 c #Conflicts: 1778000 | #Constraints: 31794
3056.20/3065.31 c #Conflicts: 1779000 | #Constraints: 32794
3056.20/3065.31 c #Conflicts: 1780000 | #Constraints: 33794
3056.20/3065.31 c #Conflicts: 1781000 | #Constraints: 34794
3056.20/3065.31 c #Conflicts: 1782000 | #Constraints: 35794
3056.20/3065.31 c #Conflicts: 1783000 | #Constraints: 36794
3056.20/3065.31 c #Conflicts: 1784000 | #Constraints: 37794
3056.20/3065.31 c #Conflicts: 1785000 | #Constraints: 38794
3056.20/3065.31 c #Conflicts: 1786000 | #Constraints: 39794
3056.20/3065.31 c #Conflicts: 1787000 | #Constraints: 40794
3056.20/3065.31 c #Conflicts: 1788000 | #Constraints: 41794
3056.20/3065.31 c #Conflicts: 1789000 | #Constraints: 42794
3056.20/3065.31 c #Conflicts: 1790000 | #Constraints: 43794
3056.20/3065.31 c #Conflicts: 1791000 | #Constraints: 44794
3056.20/3065.31 c #Conflicts: 1792000 | #Constraints: 45794
3056.20/3065.31 c #Conflicts: 1793000 | #Constraints: 46794
3056.20/3065.31 c #Conflicts: 1794000 | #Constraints: 47794
3056.20/3065.31 c #Conflicts: 1795000 | #Constraints: 48794
3056.20/3065.31 c #Conflicts: 1796000 | #Constraints: 49794
3056.20/3065.31 c #Conflicts: 1797000 | #Constraints: 50794
3056.20/3065.31 c #Conflicts: 1798000 | #Constraints: 51794
3291.76/3301.65 c #Conflicts: 1799000 | #Constraints: 52794
3291.76/3301.65 c #Conflicts: 1800000 | #Constraints: 53794
3291.76/3301.65 c INPROCESSING
3291.76/3301.65 c GARBAGE COLLECT
3291.76/3301.65 c #Conflicts: 1801000 | #Constraints: 28198
3291.76/3301.65 c #Conflicts: 1802000 | #Constraints: 29198
3291.76/3301.65 c #Conflicts: 1803000 | #Constraints: 30198
3291.76/3301.65 c #Conflicts: 1804000 | #Constraints: 31198
3291.76/3301.65 c #Conflicts: 1805000 | #Constraints: 32198
3291.76/3301.65 c #Conflicts: 1806000 | #Constraints: 33198
3291.76/3301.65 c #Conflicts: 1807000 | #Constraints: 34198
3291.76/3301.65 c #Conflicts: 1808000 | #Constraints: 35198
3291.76/3301.65 c #Conflicts: 1809000 | #Constraints: 36198
3291.76/3301.65 c #Conflicts: 1810000 | #Constraints: 37198
3291.76/3301.65 c #Conflicts: 1811000 | #Constraints: 38198
3291.76/3301.65 c #Conflicts: 1812000 | #Constraints: 39198
3291.76/3301.65 c #Conflicts: 1813000 | #Constraints: 40198
3291.76/3301.65 c #Conflicts: 1814000 | #Constraints: 41198
3291.76/3301.65 c #Conflicts: 1815000 | #Constraints: 42198
3291.76/3301.65 c #Conflicts: 1816000 | #Constraints: 43198
3291.76/3301.65 c #Conflicts: 1817000 | #Constraints: 44198
3291.76/3301.65 c #Conflicts: 1818000 | #Constraints: 45198
3291.76/3301.65 c #Conflicts: 1819000 | #Constraints: 46198
3291.76/3301.65 c #Conflicts: 1820000 | #Constraints: 47198
3291.76/3301.65 c #Conflicts: 1821000 | #Constraints: 48198
3291.76/3301.65 c #Conflicts: 1822000 | #Constraints: 49198
3291.76/3301.65 c #Conflicts: 1823000 | #Constraints: 50198
3291.76/3301.65 c #Conflicts: 1824000 | #Constraints: 51198
3291.76/3301.65 c #Conflicts: 1825000 | #Constraints: 52198
3291.76/3301.65 c #Conflicts: 1826000 | #Constraints: 53198
3291.76/3301.65 c #Conflicts: 1827000 | #Constraints: 54198
3291.76/3301.65 c INPROCESSING
3291.76/3301.65 c GARBAGE COLLECT
3291.76/3301.65 c #Conflicts: 1828000 | #Constraints: 28399
3291.76/3301.65 c #Conflicts: 1829000 | #Constraints: 29399
3291.76/3301.65 c #Conflicts: 1830000 | #Constraints: 30399
3291.76/3301.65 c #Conflicts: 1831000 | #Constraints: 31399
3291.76/3301.65 c #Conflicts: 1832000 | #Constraints: 32399
3291.76/3301.65 c #Conflicts: 1833000 | #Constraints: 33399
3291.76/3301.65 c #Conflicts: 1834000 | #Constraints: 34399
3291.76/3301.65 c #Conflicts: 1835000 | #Constraints: 35399
3291.76/3301.65 c #Conflicts: 1836000 | #Constraints: 36399
3291.76/3301.65 c #Conflicts: 1837000 | #Constraints: 37399
3291.76/3301.65 c #Conflicts: 1838000 | #Constraints: 38399
3291.76/3301.65 c #Conflicts: 1839000 | #Constraints: 39399
3291.76/3301.65 c #Conflicts: 1840000 | #Constraints: 40399
3291.76/3301.65 c #Conflicts: 1841000 | #Constraints: 41399
3291.76/3301.65 c #Conflicts: 1842000 | #Constraints: 42399
3291.76/3301.65 c #Conflicts: 1843000 | #Constraints: 43399
3291.76/3301.65 c #Conflicts: 1844000 | #Constraints: 44399
3291.76/3301.65 c #Conflicts: 1845000 | #Constraints: 45399
3291.76/3301.65 c #Conflicts: 1846000 | #Constraints: 46399
3291.76/3301.65 c #Conflicts: 1847000 | #Constraints: 47399
3291.76/3301.65 c #Conflicts: 1848000 | #Constraints: 48399
3291.76/3301.65 c #Conflicts: 1849000 | #Constraints: 49399
3291.76/3301.65 c #Conflicts: 1850000 | #Constraints: 50399
3291.76/3301.65 c #Conflicts: 1851000 | #Constraints: 51399
3291.76/3301.65 c #Conflicts: 1852000 | #Constraints: 52399
3291.76/3301.65 c #Conflicts: 1853000 | #Constraints: 53399
3291.76/3301.65 c #Conflicts: 1854000 | #Constraints: 54399
3291.76/3301.65 c INPROCESSING
3291.76/3301.65 c GARBAGE COLLECT
3291.76/3301.65 c #Conflicts: 1855000 | #Constraints: 28398
3291.76/3301.65 c #Conflicts: 1856000 | #Constraints: 29398
3291.76/3301.65 c #Conflicts: 1857000 | #Constraints: 30398
3291.76/3301.65 c #Conflicts: 1858000 | #Constraints: 31398
3291.76/3301.65 c #Conflicts: 1859000 | #Constraints: 32398
3291.76/3301.65 c #Conflicts: 1860000 | #Constraints: 33398
3291.76/3301.65 c #Conflicts: 1861000 | #Constraints: 34398
3291.76/3301.65 c #Conflicts: 1862000 | #Constraints: 35398
3291.76/3301.65 c #Conflicts: 1863000 | #Constraints: 36398
3291.76/3301.65 c #Conflicts: 1864000 | #Constraints: 37398
3291.76/3301.65 c #Conflicts: 1865000 | #Constraints: 38398
3291.76/3301.65 c #Conflicts: 1866000 | #Constraints: 39398
3291.76/3301.65 c #Conflicts: 1867000 | #Constraints: 40398
3291.76/3301.65 c #Conflicts: 1868000 | #Constraints: 41398
3291.76/3301.65 c #Conflicts: 1869000 | #Constraints: 42398
3291.76/3301.65 c #Conflicts: 1870000 | #Constraints: 43398
3291.76/3301.65 c #Conflicts: 1871000 | #Constraints: 44398
3291.76/3301.65 c #Conflicts: 1872000 | #Constraints: 45398
3291.76/3301.65 c #Conflicts: 1873000 | #Constraints: 46398
3291.76/3301.65 c #Conflicts: 1874000 | #Constraints: 47398
3291.76/3301.65 c #Conflicts: 1875000 | #Constraints: 48398
3542.92/3553.59 c #Conflicts: 1876000 | #Constraints: 49398
3542.92/3553.59 c #Conflicts: 1877000 | #Constraints: 50398
3542.92/3553.59 c #Conflicts: 1878000 | #Constraints: 51398
3542.92/3553.59 c #Conflicts: 1879000 | #Constraints: 52398
3542.92/3553.59 c #Conflicts: 1880000 | #Constraints: 53398
3542.92/3553.59 c #Conflicts: 1881000 | #Constraints: 54398
3542.92/3553.59 c INPROCESSING
3542.92/3553.59 c GARBAGE COLLECT
3542.92/3553.59 c #Conflicts: 1882000 | #Constraints: 28202
3542.92/3553.59 c #Conflicts: 1883000 | #Constraints: 29202
3542.92/3553.59 c #Conflicts: 1884000 | #Constraints: 30202
3542.92/3553.59 c #Conflicts: 1885000 | #Constraints: 31202
3542.92/3553.59 c #Conflicts: 1886000 | #Constraints: 32202
3542.92/3553.59 c #Conflicts: 1887000 | #Constraints: 33202
3542.92/3553.59 c #Conflicts: 1888000 | #Constraints: 34202
3542.92/3553.59 c #Conflicts: 1889000 | #Constraints: 35202
3542.92/3553.59 c #Conflicts: 1890000 | #Constraints: 36202
3542.92/3553.59 c #Conflicts: 1891000 | #Constraints: 37202
3542.92/3553.59 c #Conflicts: 1892000 | #Constraints: 38202
3542.92/3553.59 c #Conflicts: 1893000 | #Constraints: 39202
3542.92/3553.59 c #Conflicts: 1894000 | #Constraints: 40202
3542.92/3553.59 c #Conflicts: 1895000 | #Constraints: 41202
3542.92/3553.59 c #Conflicts: 1896000 | #Constraints: 42202
3542.92/3553.59 c #Conflicts: 1897000 | #Constraints: 43202
3542.92/3553.59 c #Conflicts: 1898000 | #Constraints: 44202
3542.92/3553.59 c #Conflicts: 1899000 | #Constraints: 45202
3542.92/3553.59 c #Conflicts: 1900000 | #Constraints: 46202
3542.92/3553.59 c #Conflicts: 1901000 | #Constraints: 47202
3542.92/3553.59 c #Conflicts: 1902000 | #Constraints: 48202
3542.92/3553.59 c #Conflicts: 1903000 | #Constraints: 49202
3542.92/3553.59 c #Conflicts: 1904000 | #Constraints: 50202
3542.92/3553.59 c #Conflicts: 1905000 | #Constraints: 51202
3542.92/3553.59 c #Conflicts: 1906000 | #Constraints: 52202
3542.92/3553.59 c #Conflicts: 1907000 | #Constraints: 53202
3542.92/3553.59 c #Conflicts: 1908000 | #Constraints: 54202
3542.92/3553.59 c #Conflicts: 1909000 | #Constraints: 55202
3542.92/3553.59 c INPROCESSING
3542.92/3553.59 c GARBAGE COLLECT
3542.92/3553.59 c #Conflicts: 1910000 | #Constraints: 28795
3542.92/3553.59 c #Conflicts: 1911000 | #Constraints: 29795
3542.92/3553.59 c #Conflicts: 1912000 | #Constraints: 30795
3542.92/3553.59 c #Conflicts: 1913000 | #Constraints: 31795
3542.92/3553.59 c #Conflicts: 1914000 | #Constraints: 32795
3542.92/3553.59 c #Conflicts: 1915000 | #Constraints: 33795
3542.92/3553.59 c #Conflicts: 1916000 | #Constraints: 34795
3542.92/3553.59 c #Conflicts: 1917000 | #Constraints: 35795
3542.92/3553.59 c #Conflicts: 1918000 | #Constraints: 36795
3542.92/3553.59 c #Conflicts: 1919000 | #Constraints: 37795
3542.92/3553.59 c #Conflicts: 1920000 | #Constraints: 38795
3542.92/3553.59 c #Conflicts: 1921000 | #Constraints: 39795
3542.92/3553.59 c #Conflicts: 1922000 | #Constraints: 40795
3542.92/3553.59 c #Conflicts: 1923000 | #Constraints: 41795
3542.92/3553.59 c #Conflicts: 1924000 | #Constraints: 42795
3542.92/3553.59 c #Conflicts: 1925000 | #Constraints: 43795
3542.92/3553.59 c #Conflicts: 1926000 | #Constraints: 44795
3542.92/3553.59 c #Conflicts: 1927000 | #Constraints: 45795
3542.92/3553.59 c #Conflicts: 1928000 | #Constraints: 46795
3542.92/3553.59 c #Conflicts: 1929000 | #Constraints: 47795
3542.92/3553.59 c #Conflicts: 1930000 | #Constraints: 48795
3542.92/3553.59 c #Conflicts: 1931000 | #Constraints: 49795
3542.92/3553.59 c #Conflicts: 1932000 | #Constraints: 50795
3542.92/3553.59 c #Conflicts: 1933000 | #Constraints: 51795
3542.92/3553.59 c #Conflicts: 1934000 | #Constraints: 52795
3542.92/3553.59 c #Conflicts: 1935000 | #Constraints: 53795
3542.92/3553.59 c #Conflicts: 1936000 | #Constraints: 54795
3542.92/3553.59 c #Conflicts: 1937000 | #Constraints: 55795
3542.92/3553.59 c INPROCESSING
3542.92/3553.59 c GARBAGE COLLECT
3542.92/3553.59 c #Conflicts: 1938000 | #Constraints: 29201
3542.92/3553.59 c #Conflicts: 1939000 | #Constraints: 30201
3542.92/3553.59 c #Conflicts: 1940000 | #Constraints: 31201
3542.92/3553.59 c #Conflicts: 1941000 | #Constraints: 32201
3542.92/3553.59 c #Conflicts: 1942000 | #Constraints: 33201
3542.92/3553.59 c #Conflicts: 1943000 | #Constraints: 34201
3542.92/3553.59 c #Conflicts: 1944000 | #Constraints: 35201
3542.92/3553.59 c #Conflicts: 1945000 | #Constraints: 36201
3542.92/3553.59 c #Conflicts: 1946000 | #Constraints: 37201
3542.92/3553.59 c #Conflicts: 1947000 | #Constraints: 38201
3542.92/3553.59 c #Conflicts: 1948000 | #Constraints: 39201
3542.92/3553.59 c #Conflicts: 1949000 | #Constraints: 40201
3542.92/3553.59 c #Conflicts: 1950000 | #Constraints: 41201
3542.92/3553.59 c #Conflicts: 1951000 | #Constraints: 42201
3542.92/3553.59 c #Conflicts: 1952000 | #Constraints: 43201
3600.06/3610.80 c #Conflicts: 1953000 | #Constraints: 44201
3600.06/3610.80 c #Conflicts: 1954000 | #Constraints: 45201
3600.06/3610.80 c #Conflicts: 1955000 | #Constraints: 46201
3600.06/3610.80 c #Conflicts: 1956000 | #Constraints: 47201
3600.06/3610.80 c #Conflicts: 1957000 | #Constraints: 48201
3600.06/3610.80 c #Conflicts: 1958000 | #Constraints: 49201
3600.06/3610.80 c #Conflicts: 1959000 | #Constraints: 50201
3600.06/3610.80 c #Conflicts: 1960000 | #Constraints: 51201
3600.06/3610.80 c #Conflicts: 1961000 | #Constraints: 52201
3600.06/3610.80 c #Conflicts: 1962000 | #Constraints: 53201
3600.06/3610.80 c #Conflicts: 1963000 | #Constraints: 54201
3600.06/3610.80 c #Conflicts: 1964000 | #Constraints: 55201
3600.06/3610.80 c #Conflicts: 1965000 | #Constraints: 56201
3600.06/3610.80 c INPROCESSING
3600.06/3610.80 c GARBAGE COLLECT
3600.06/3610.80 c #Conflicts: 1966000 | #Constraints: 29396
3600.06/3610.80 c #Conflicts: 1967000 | #Constraints: 30396
3600.06/3610.80 c #Conflicts: 1968000 | #Constraints: 31396
3600.06/3610.80 c #Conflicts: 1969000 | #Constraints: 32396
3600.06/3610.80 c #Conflicts: 1970000 | #Constraints: 33396
3600.06/3610.80 c #Conflicts: 1971000 | #Constraints: 34396
3600.06/3610.80 c #Conflicts: 1972000 | #Constraints: 35396
3600.06/3610.80 c #Conflicts: 1973000 | #Constraints: 36396
3600.06/3610.80 c cpu time 3582.73 s
3600.06/3610.80 c deterministic time 1 1.00e+00
3600.06/3610.80 c optimization time 3582.72 s
3600.06/3610.80 c total solve time 0 s
3600.06/3610.80 c core-guided solve time 0 s
3600.06/3610.80 c propagation time 0.000205 s
3600.06/3610.80 c conflict analysis time 0 s
3600.06/3610.80 c propagations 0
3600.06/3610.80 c resolve steps 0
3600.06/3610.80 c decisions 0
3600.06/3610.80 c conflicts 0
3600.06/3610.80 c restarts 0
3600.06/3610.80 c inprocessing phases 0
3600.06/3610.80 c garbage collections 0 ,( -nan )
3600.06/3610.80 c input clauses 1 ,( 0.21 )
3600.06/3610.80 c input cardinalities 0 ,( 0.00 )
3600.06/3610.80 c input general constraints 469 ,( 99.79 )
3600.06/3610.80 c input average constraint length 9.12
3600.06/3610.80 c input average constraint degree 28.65
3600.06/3610.80 c learned clauses 0 ,( 0.00 )
3600.06/3610.80 c learned cardinalities 0 ,( 0.00 )
3600.06/3610.80 c learned general constraints 0 ,( 0.00 )
3600.06/3610.80 c learned average constraint length 0.00
3600.06/3610.80 c learned average constraint degree 0.00
3600.06/3610.80 c watched CF 32, 64, 128, Arb: 5 , 0 , 0 , 0
3600.06/3610.80 c counting CF 32, 64, 128, Arb: 465 , 0 , 0 , 0
3600.06/3610.80 c watched constraints 5 ,( 1.07 )
3600.06/3610.80 c counting constraints 464 ,( 98.93 )
3600.06/3610.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3610.80 c gcd simplifications 1
3600.06/3610.80 c detected cardinalities 0
3600.06/3610.80 c weakened non-implied lits 0
3600.06/3610.80 c weakened non-implying lits 0
3600.06/3610.80 c original variables 470
3600.06/3610.80 c clausal propagations 0
3600.06/3610.80 c cardinality propagations 0
3600.06/3610.80 c watched propagations 0
3600.06/3610.80 c counting propagations 0
3600.06/3610.80 c watch lookups 0
3600.06/3610.80 c watch backjump lookups 0
3600.06/3610.80 c watch checks 0
3600.06/3610.80 c propagation checks 0
3600.06/3610.80 c constraint additions 0
3600.06/3610.80 c trail pops 0
3600.06/3610.80 c formula constraints 470
3600.06/3610.80 c learned constraints 0
3600.06/3610.80 c bound constraints 0
3600.06/3610.80 c core-guided constraints 0
3600.06/3610.80 c encountered formula constraints 0
3600.06/3610.80 c encountered learned constraints 0
3600.06/3610.80 c encountered bound constraints 0
3600.06/3610.80 c encountered core-guided constraints 0
3600.06/3610.80 c LP total time 0 s
3600.06/3610.80 c LP solve time 0 s
3600.06/3610.80 c LP constraints added 0
3600.06/3610.80 c LP constraints removed 0
3600.06/3610.80 c LP pivots internal 0
3600.06/3610.80 c LP pivots root 0
3600.06/3610.80 c LP calls 0
3600.06/3610.80 c LP optimalities 0
3600.06/3610.80 c LP no pivot count 0
3600.06/3610.80 c LP infeasibilities 0
3600.06/3610.80 c LP valid Farkas constraints 0
3600.06/3610.80 c LP learned Farkas constraints 0
3600.06/3610.80 c LP basis resets 0
3600.06/3610.80 c LP cycling count 0
3600.06/3610.80 c LP singular count 0
3600.06/3610.80 c LP no primal count 0
3600.06/3610.80 c LP no farkas count 0
3600.06/3610.80 c LP other issue count 0
3600.06/3610.80 c LP Gomory cuts 0
3600.06/3610.80 c LP learned cuts 0
3600.06/3610.80 c LP deleted cuts 0
3600.06/3610.80 c LP encountered Gomory constraints 0
3600.06/3610.80 c LP encountered Farkas constraints 0
3600.06/3610.80 c LP encountered learned Farkas constraints 0
3600.06/3610.80 c CG auxiliary variables introduced 0
3600.06/3610.80 c CG solutions found 0
3600.06/3610.80 c CG cores constructed 0
3600.06/3610.80 c CG core cardinality constraints returned 0
3600.06/3610.80 c CG unit cores 0
3600.06/3610.80 c CG single cores 0
3600.06/3610.80 c CG blocks removed during cardinality reduction 0
3600.06/3610.80 c CG first core best 0
3600.06/3610.80 c CG decision core best 0
3600.06/3610.80 c CG core reduction tie 0
3600.06/3610.80 c CG core degree average 0.00
3600.06/3610.80 c CG core slack average 0.00
3600.06/3610.80 c CG core upper bound improvements 0
3600.06/3610.80 c STR number of successful calls 0
3600.06/3610.80 c STR number of unsuccessful calls 0
3600.06/3610.80 c STR number of inconclusive calls 0
3600.06/3610.80 c STR number of successful attempts 0
3600.06/3610.80 c STR number of unsuccessful attempts 0
3600.06/3610.80 c STR number of inconclusive attempts 0
3600.06/3610.80 c STR average degree increase per successful call inf
3600.06/3610.80 c STR average degree increase per successful attempt inf
3600.06/3610.80 c STR total number of conflicts for successful attempts 0
3600.06/3610.80 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.80 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.80 c STR average number of conflicts per successful attempt inf
3600.06/3610.80 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.80 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.80 c AVG.sumWPerc 71.30
3600.06/3610.80 c bigint constraints 0
3600.06/3610.80 s UNKNOWN
3600.06/3610.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: 63665 MiB (63075 MiB free)
memory of node 1: 64507 MiB (61568 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489231-1751355502/watcher-4489231-1751355502 -o /tmp/evaluation-result-4489231-1751355502/solver-4489231-1751355502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45607 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489231-1751355502.opb PROOFDIR/proof-4489231-1751355502
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=46403, runsolver pid=46400
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.12 4.13 4.10 5/267 46405
/proc/meminfo: memFree=129476140/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=62648 memory=15312 CPUtime=0.06 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 1266 0 0 0 6 0 0 0 20 0 1 0 51229805 64151552 3828 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 15662 3828 2336 1147 0 3089 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 66840 KiB
Current children cumulated memory: 18128 KiB
[startup+0.205588 s]*
/proc/loadavg: 4.12 4.13 4.10 5/268 46410
/proc/meminfo: memFree=130026736/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=64548 memory=17232 CPUtime=0.18 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 1733 0 0 0 17 1 0 0 20 0 1 0 51229805 66097152 4308 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 16137 4308 2336 1147 0 3564 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68740 KiB
Current children cumulated memory: 20048 KiB
[startup+0.305324 s]*
/proc/loadavg: 4.12 4.13 4.10 4/267 46410
/proc/meminfo: memFree=130011064/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=67992 memory=20432 CPUtime=0.27 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 2544 0 0 0 26 1 0 0 20 0 1 0 51229805 69623808 5108 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 16998 5108 2336 1147 0 4425 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72184 KiB
Current children cumulated memory: 23248 KiB
[startup+0.700154 s]
/proc/loadavg: 4.12 4.13 4.10 4/267 46410
/proc/meminfo: memFree=129993928/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=73780 memory=26192 CPUtime=0.66 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 3995 0 0 0 64 2 0 0 20 0 1 0 51229805 75550720 6548 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 18445 6548 2336 1147 0 5872 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 77972 KiB
Current children cumulated memory: 29008 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.13 4.10 5/273 46425
/proc/meminfo: memFree=129957108/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=78260 memory=31696 CPUtime=1.46 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 5355 0 0 0 142 4 0 0 20 0 1 0 51229805 80138240 7924 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 19565 7924 2336 1147 0 6992 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 82452 KiB
Current children cumulated memory: 34512 KiB
[startup+3.10568 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129836948/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=96396 memory=46212 CPUtime=3.05 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 8478 0 0 0 298 7 0 0 20 0 1 0 51229805 98709504 11553 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 24099 11553 2336 1147 0 11526 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 100588 KiB
Current children cumulated memory: 49028 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129766896/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=96588 memory=47364 CPUtime=6.24 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 8775 0 0 0 611 13 0 0 20 0 1 0 51229805 98906112 11841 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 24147 11841 2336 1147 0 11574 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 100780 KiB
Current children cumulated memory: 50180 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129621856/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=118808 memory=64056 CPUtime=12.63 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 11930 0 0 0 1240 23 0 0 20 0 1 0 51229805 121659392 16014 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 29702 16014 2336 1147 0 17129 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 123000 KiB
Current children cumulated memory: 66872 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.09 5/273 46427
/proc/meminfo: memFree=129369604/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=130332 memory=74168 CPUtime=25.39 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 14453 0 0 0 2500 39 0 0 20 0 1 0 51229805 133459968 18542 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 32583 18542 2336 1147 0 20010 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 134524 KiB
Current children cumulated memory: 76984 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.13 4.09 5/273 46427
/proc/meminfo: memFree=128985268/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=152156 memory=92952 CPUtime=50.93 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 18136 0 0 0 5022 71 0 0 20 0 1 0 51229805 155807744 23238 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 38039 23238 2336 1147 0 25466 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 156348 KiB
Current children cumulated memory: 95768 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 46429
/proc/meminfo: memFree=128367136/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=190088 memory=121208 CPUtime=101.99 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 24182 0 0 0 10073 126 0 0 20 0 1 0 51229805 194650112 30302 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 47522 30302 2336 1147 0 34949 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 194280 KiB
Current children cumulated memory: 124024 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/272 46431
/proc/meminfo: memFree=127807612/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=229080 memory=140832 CPUtime=161.82 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 28617 0 0 0 16000 182 0 0 20 0 1 0 51229805 234577920 35208 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 57270 35208 2336 1147 0 44697 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 233272 KiB
Current children cumulated memory: 143648 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 46434
/proc/meminfo: memFree=127257280/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=235748 memory=154160 CPUtime=221.64 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 30605 0 0 0 21932 232 0 0 20 0 1 0 51229805 241405952 38540 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 58937 38540 2336 1147 0 46364 0
################
# More data... #
################
/proc/46405/statm: 122516 89163 2336 1147 0 109943 0
Current children cumulated CPU time: 3033.26 s
Current children cumulated vsize: 494256 KiB
Current children cumulated memory: 359468 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/271 46598
/proc/meminfo: memFree=115280248/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=491088 memory=356808 CPUtime=3093.1 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 77900 0 0 0 307732 1578 0 0 20 0 1 0 51229805 502874112 89202 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 122772 89202 2336 1147 0 110199 0
Current children cumulated CPU time: 3093.1 s
Current children cumulated vsize: 495280 KiB
Current children cumulated memory: 359624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/271 46601
/proc/meminfo: memFree=115109236/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=491088 memory=356936 CPUtime=3152.91 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 77925 0 0 0 313695 1596 0 0 20 0 1 0 51229805 502874112 89234 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 122772 89234 2336 1147 0 110199 0
Current children cumulated CPU time: 3152.91 s
Current children cumulated vsize: 495280 KiB
Current children cumulated memory: 359752 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 46605
/proc/meminfo: memFree=114925408/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=491088 memory=356936 CPUtime=3212.72 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 77925 0 0 0 319657 1615 0 0 20 0 1 0 51229805 502874112 89234 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 122772 89234 2336 1147 0 110199 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 495280 KiB
Current children cumulated memory: 359752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 46610
/proc/meminfo: memFree=114778156/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=491700 memory=357576 CPUtime=3272.53 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 78069 0 0 0 325620 1633 0 0 20 0 1 0 51229805 503500800 89394 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 122925 89394 2336 1147 0 110352 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 495892 KiB
Current children cumulated memory: 360392 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 46612
/proc/meminfo: memFree=114620744/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=492724 memory=362088 CPUtime=3332.34 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 78448 0 0 0 331583 1651 0 0 20 0 1 0 51229805 504549376 90522 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 123181 90522 2336 1147 0 110608 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 496916 KiB
Current children cumulated memory: 364904 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.20 4.12 5/272 46614
/proc/meminfo: memFree=114463248/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=492724 memory=362088 CPUtime=3392.14 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 78450 0 0 0 337545 1669 0 0 20 0 1 0 51229805 504549376 90522 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 123181 90522 2336 1147 0 110608 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 496916 KiB
Current children cumulated memory: 364904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/272 46616
/proc/meminfo: memFree=114283460/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=496380 memory=394780 CPUtime=3451.97 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 79467 0 0 0 343508 1689 0 0 20 0 1 0 51229805 508293120 98695 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 124095 98695 2336 1147 0 111522 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 500572 KiB
Current children cumulated memory: 397596 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/272 46622
/proc/meminfo: memFree=114152260/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=498104 memory=397040 CPUtime=3511.81 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 79907 0 0 0 349477 1704 0 0 20 0 1 0 51229805 510058496 99260 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 124526 99260 2336 1147 0 111953 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 502296 KiB
Current children cumulated memory: 399856 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/271 46624
/proc/meminfo: memFree=113998416/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=498104 memory=397040 CPUtime=3571.65 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 79909 0 0 0 355440 1725 0 0 20 0 1 0 51229805 510058496 99260 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 124526 99260 2336 1147 0 111953 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 502296 KiB
Current children cumulated memory: 399856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.16 4.17 4.12 5/268 46630
/proc/meminfo: memFree=114416288/131249996 swapFree=33010416/33010684
[pid=46403] ppid=46400 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/46403/stat : 46403 (run-opt-log.sh) S 46400 46403 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229804 4292608 704 18446744073709551615 94277402488832 94277403383365 140723134099424 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94277403622416 94277403670160 94277436542976 140723134105889 140723134106084 140723134106084 140723134111686 0
/proc/46403/statm: 1048 704 640 219 0 110 0
[pid=46405] ppid=46403 vsize=498104 memory=397040 CPUtime=3600.06 cores=0,2
/proc/46405/stat : 46405 (roundingsat) R 46403 46403 45597 0 -1 4194304 79923 0 0 0 358272 1734 0 0 20 0 1 0 51229805 510058496 99260 18446744073709551615 4227072 8923433 140728637787504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28114944 140728637794642 140728637794856 140728637794856 140728637800426 0
/proc/46405/statm: 124526 99260 2336 1147 0 111953 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 502296 KiB
Current children cumulated memory: 399856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 46403 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001928 s, system=0 s
[startup+3610.84 s]
# the end of solver process 46405 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.73 s, system=17.3603 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): 3610.84
CPU time (s): 3600.09
CPU user time (s): 3582.73
CPU system time (s): 17.3603
CPU usage (%): 99.7024
Max. virtual memory (cumulated for all children) (KiB): 502296
Max. memory (cumulated for all children) (KiB): 399856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.73
system time used= 17.3603
maximum resident set size= 397424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8508072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 855
involuntary context switches= 8256
# summary of solver processes directly reported to runsolver:
# pid: 46403,46405
# total CPU time (s): 3600.09
# total CPU user time (s): 3582.73
# total CPU system time (s): 17.3603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15838 second user time and 17.8514 second system time
The end
Begin job on nodeC030 at 2025-07-01 09:38:22
IDJOB=4489231
IDBENCH=147543
IDSOLVER=3351
FILE ID=nodeC030/4489231-1751355502
RUNJOBID= nodeC030-1751348277-45607
SLURM_JOB_ID= 9598121
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489231-1751355502/watcher-4489231-1751355502 -o /tmp/evaluation-result-4489231-1751355502/solver-4489231-1751355502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45607 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489231-1751355502.opb PROOFDIR/proof-4489231-1751355502
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=347128419
nodeC030 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.280
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.62
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 : 3600.948
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.62
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 : 3604.335
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.62
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 : 3600.307
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.62
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.838
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.62
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 : 3600.323
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.62
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.318
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.62
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 : 3600.711
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.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126749088 kB
MemAvailable: 129794272 kB
Buffers: 2564 kB
Cached: 3837360 kB
SwapCached: 16 kB
Active: 494668 kB
Inactive: 3419460 kB
Active(anon): 87712 kB
Inactive(anon): 4548 kB
Active(file): 406956 kB
Inactive(file): 3414912 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22444 kB
Writeback: 0 kB
AnonPages: 77396 kB
Mapped: 112508 kB
Shmem: 18048 kB
KReclaimable: 124708 kB
Slab: 212720 kB
SReclaimable: 124708 kB
SUnreclaim: 88012 kB
KernelStack: 4320 kB
PageTables: 3084 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 404472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-07-01 10:38:33