0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.33 c #variables 467 #constraints 466
0.00/0.33 c objective is ce32
0.00/0.33 c initial watched CF 32, 64, 128, Arb: 13 , 0 , 0 , 0
0.00/0.33 c initial counting CF 32, 64, 128, Arb: 454 , 0 , 0 , 0
0.00/0.33 c GLOBAL bounds - >= 0 @ 0.004989
0.00/0.33 c GLOBAL bounds - >= 0 @ 0.005502
0.17/0.51 c GLOBAL bounds - >= 0 @ 0.180641
0.17/0.53 c GLOBAL bounds - >= 0 @ 0.194607
0.17/0.55 c #Conflicts: 1000 | #Constraints: 1470
0.17/0.55 c GLOBAL bounds - >= 0 @ 0.21944
0.27/0.62 c GLOBAL bounds - >= 0 @ 0.27894
0.27/0.64 c GLOBAL bounds - >= 0 @ 0.298253
0.46/0.80 c #Conflicts: 2000 | #Constraints: 2476
0.46/0.80 c INPROCESSING
0.46/0.80 c GARBAGE COLLECT
0.46/0.80 c GLOBAL bounds - >= 0 @ 0.449053
0.46/0.83 c GLOBAL bounds - >= 0 @ 0.47911
0.46/0.87 c GLOBAL bounds - >= 0 @ 0.521648
0.56/0.91 c GLOBAL bounds - >= 0 @ 0.55605
1.17/1.51 c #Conflicts: 3000 | #Constraints: 2494
1.17/1.51 c #Conflicts: 4000 | #Constraints: 3494
1.17/1.51 c INPROCESSING
1.17/1.51 c GARBAGE COLLECT
1.17/1.51 c GLOBAL bounds - >= 0 @ 1.14416
1.36/1.78 c #Conflicts: 5000 | #Constraints: 2902
1.36/1.78 c GLOBAL bounds - >= 0 @ 1.40826
3.95/4.38 c #Conflicts: 6000 | #Constraints: 3904
3.95/4.38 c INPROCESSING
3.95/4.38 c GARBAGE COLLECT
3.95/4.38 c #Conflicts: 7000 | #Constraints: 2910
3.95/4.38 c #Conflicts: 8000 | #Constraints: 3910
3.95/4.38 c #Conflicts: 9000 | #Constraints: 4910
3.95/4.38 c INPROCESSING
3.95/4.38 c GARBAGE COLLECT
3.95/4.38 c #Conflicts: 10000 | #Constraints: 3611
3.95/4.38 c #Conflicts: 11000 | #Constraints: 4611
3.95/4.38 c GLOBAL bounds - >= 0 @ 3.93268
4.55/4.95 c #Conflicts: 12000 | #Constraints: 5613
4.55/4.95 c INPROCESSING
4.55/4.95 c GARBAGE COLLECT
4.55/4.95 c #Conflicts: 13000 | #Constraints: 4066
4.55/4.95 c GLOBAL bounds - >= 0 @ 4.49201
13.53/13.94 c #Conflicts: 14000 | #Constraints: 5068
13.53/13.94 c #Conflicts: 15000 | #Constraints: 6068
13.53/13.94 c INPROCESSING
13.53/13.94 c GARBAGE COLLECT
13.53/13.94 c #Conflicts: 16000 | #Constraints: 4296
13.53/13.94 c #Conflicts: 17000 | #Constraints: 5296
13.53/13.94 c #Conflicts: 18000 | #Constraints: 6296
13.53/13.94 c INPROCESSING
13.53/13.94 c GARBAGE COLLECT
13.53/13.94 c #Conflicts: 19000 | #Constraints: 4315
13.53/13.94 c #Conflicts: 20000 | #Constraints: 5315
13.53/13.94 c #Conflicts: 21000 | #Constraints: 6315
13.53/13.94 c INPROCESSING
13.53/13.94 c GARBAGE COLLECT
13.53/13.94 c #Conflicts: 22000 | #Constraints: 4124
13.53/13.94 c #Conflicts: 23000 | #Constraints: 5124
13.53/13.94 c #Conflicts: 24000 | #Constraints: 6124
13.53/13.94 c #Conflicts: 25000 | #Constraints: 7124
13.53/13.94 c INPROCESSING
13.53/13.94 c GARBAGE COLLECT
13.53/13.94 c #Conflicts: 26000 | #Constraints: 4731
13.53/13.94 c #Conflicts: 27000 | #Constraints: 5731
13.53/13.94 c #Conflicts: 28000 | #Constraints: 6731
13.53/13.94 c #Conflicts: 29000 | #Constraints: 7731
13.53/13.94 c INPROCESSING
13.53/13.94 c GARBAGE COLLECT
13.53/13.94 c #Conflicts: 30000 | #Constraints: 5129
13.53/13.94 c #Conflicts: 31000 | #Constraints: 6129
13.53/13.94 c #Conflicts: 32000 | #Constraints: 7129
13.53/13.94 c GLOBAL bounds - >= 0 @ 13.2952
14.22/14.68 c #Conflicts: 33000 | #Constraints: 8131
14.22/14.68 c INPROCESSING
14.22/14.68 c GARBAGE COLLECT
14.22/14.68 c GLOBAL bounds - >= 0 @ 14.0271
18.31/18.73 c #Conflicts: 34000 | #Constraints: 5336
18.31/18.73 c #Conflicts: 35000 | #Constraints: 6336
18.31/18.73 c #Conflicts: 36000 | #Constraints: 7336
18.31/18.73 c #Conflicts: 37000 | #Constraints: 8336
18.31/18.73 c INPROCESSING
18.31/18.73 c GARBAGE COLLECT
18.31/18.73 c #Conflicts: 38000 | #Constraints: 5336
18.31/18.73 c #Conflicts: 39000 | #Constraints: 6336
18.31/18.73 c #Conflicts: 40000 | #Constraints: 7336
18.31/18.73 c #Conflicts: 41000 | #Constraints: 8336
18.31/18.73 c GLOBAL bounds - >= 0 @ 18.0194
19.91/20.30 c INPROCESSING
19.91/20.30 c GARBAGE COLLECT
19.91/20.30 c #Conflicts: 42000 | #Constraints: 5136
19.91/20.30 c #Conflicts: 43000 | #Constraints: 6136
19.91/20.30 c #Conflicts: 44000 | #Constraints: 7136
19.91/20.30 c GLOBAL bounds - >= 0 @ 19.5529
20.01/20.44 c #Conflicts: 45000 | #Constraints: 8138
20.01/20.44 c GLOBAL bounds - >= 0 @ 19.6889
20.40/20.82 c #Conflicts: 46000 | #Constraints: 9140
20.40/20.82 c GLOBAL bounds - >= 0 @ 20.0639
20.90/21.35 c INPROCESSING
20.90/21.35 c GARBAGE COLLECT
20.90/21.35 c #Conflicts: 47000 | #Constraints: 5734
20.90/21.35 c GLOBAL bounds - >= 0 @ 20.5838
21.40/21.83 c #Conflicts: 48000 | #Constraints: 6736
21.40/21.83 c GLOBAL bounds - >= 0 @ 21.0593
21.50/21.98 c GLOBAL bounds - >= 0 @ 21.2072
22.40/22.89 c #Conflicts: 49000 | #Constraints: 7740
22.40/22.89 c #Conflicts: 50000 | #Constraints: 8740
22.40/22.89 c GLOBAL bounds - >= 0 @ 22.0982
22.79/23.27 c GLOBAL bounds - >= 0 @ 22.4682
40.55/41.08 c #Conflicts: 51000 | #Constraints: 9744
40.55/41.08 c INPROCESSING
40.55/41.08 c GARBAGE COLLECT
40.55/41.08 c #Conflicts: 52000 | #Constraints: 6143
40.55/41.08 c #Conflicts: 53000 | #Constraints: 7143
40.55/41.08 c #Conflicts: 54000 | #Constraints: 8143
40.55/41.08 c #Conflicts: 55000 | #Constraints: 9143
40.55/41.08 c #Conflicts: 56000 | #Constraints: 10143
40.55/41.08 c INPROCESSING
40.55/41.08 c GARBAGE COLLECT
40.55/41.08 c #Conflicts: 57000 | #Constraints: 6349
40.55/41.08 c #Conflicts: 58000 | #Constraints: 7349
40.55/41.08 c #Conflicts: 59000 | #Constraints: 8349
40.55/41.08 c #Conflicts: 60000 | #Constraints: 9349
40.55/41.08 c #Conflicts: 61000 | #Constraints: 10349
40.55/41.08 c INPROCESSING
40.55/41.08 c GARBAGE COLLECT
40.55/41.08 c #Conflicts: 62000 | #Constraints: 6345
40.55/41.08 c #Conflicts: 63000 | #Constraints: 7345
40.55/41.08 c #Conflicts: 64000 | #Constraints: 8345
40.55/41.08 c #Conflicts: 65000 | #Constraints: 9345
40.55/41.08 c #Conflicts: 66000 | #Constraints: 10345
40.55/41.08 c INPROCESSING
40.55/41.08 c GARBAGE COLLECT
40.55/41.08 c #Conflicts: 67000 | #Constraints: 6150
40.55/41.08 c #Conflicts: 68000 | #Constraints: 7150
40.55/41.08 c #Conflicts: 69000 | #Constraints: 8150
40.55/41.08 c #Conflicts: 70000 | #Constraints: 9150
40.55/41.08 c #Conflicts: 71000 | #Constraints: 10150
40.55/41.08 c #Conflicts: 72000 | #Constraints: 11150
40.55/41.08 c INPROCESSING
40.55/41.08 c GARBAGE COLLECT
40.55/41.08 c #Conflicts: 73000 | #Constraints: 6754
40.55/41.08 c #Conflicts: 74000 | #Constraints: 7754
40.55/41.08 c #Conflicts: 75000 | #Constraints: 8754
40.55/41.08 c #Conflicts: 76000 | #Constraints: 9754
40.55/41.08 c #Conflicts: 77000 | #Constraints: 10754
40.55/41.08 c #Conflicts: 78000 | #Constraints: 11754
40.55/41.08 c INPROCESSING
40.55/41.08 c GARBAGE COLLECT
40.55/41.08 c #Conflicts: 79000 | #Constraints: 7158
40.55/41.08 c GLOBAL bounds - >= 0 @ 40.014
45.13/45.65 c #Conflicts: 80000 | #Constraints: 8160
45.13/45.65 c #Conflicts: 81000 | #Constraints: 9160
45.13/45.65 c #Conflicts: 82000 | #Constraints: 10160
45.13/45.65 c #Conflicts: 83000 | #Constraints: 11160
45.13/45.65 c #Conflicts: 84000 | #Constraints: 12160
45.13/45.65 c INPROCESSING
45.13/45.65 c GARBAGE COLLECT
45.13/45.65 c #Conflicts: 85000 | #Constraints: 7359
45.13/45.65 c #Conflicts: 86000 | #Constraints: 8359
45.13/45.65 c #Conflicts: 87000 | #Constraints: 9359
45.13/45.65 c GLOBAL bounds - >= 0 @ 44.5305
111.43/112.18 c #Conflicts: 88000 | #Constraints: 10361
111.43/112.18 c #Conflicts: 89000 | #Constraints: 11361
111.43/112.18 c #Conflicts: 90000 | #Constraints: 12361
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 91000 | #Constraints: 7353
111.43/112.18 c #Conflicts: 92000 | #Constraints: 8353
111.43/112.18 c #Conflicts: 93000 | #Constraints: 9353
111.43/112.18 c #Conflicts: 94000 | #Constraints: 10353
111.43/112.18 c #Conflicts: 95000 | #Constraints: 11353
111.43/112.18 c #Conflicts: 96000 | #Constraints: 12353
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 97000 | #Constraints: 7155
111.43/112.18 c #Conflicts: 98000 | #Constraints: 8155
111.43/112.18 c #Conflicts: 99000 | #Constraints: 9155
111.43/112.18 c #Conflicts: 100000 | #Constraints: 10155
111.43/112.18 c #Conflicts: 101000 | #Constraints: 11155
111.43/112.18 c #Conflicts: 102000 | #Constraints: 12155
111.43/112.18 c #Conflicts: 103000 | #Constraints: 13155
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 104000 | #Constraints: 7748
111.43/112.18 c #Conflicts: 105000 | #Constraints: 8748
111.43/112.18 c #Conflicts: 106000 | #Constraints: 9748
111.43/112.18 c #Conflicts: 107000 | #Constraints: 10748
111.43/112.18 c #Conflicts: 108000 | #Constraints: 11748
111.43/112.18 c #Conflicts: 109000 | #Constraints: 12748
111.43/112.18 c #Conflicts: 110000 | #Constraints: 13748
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 111000 | #Constraints: 8157
111.43/112.18 c #Conflicts: 112000 | #Constraints: 9157
111.43/112.18 c #Conflicts: 113000 | #Constraints: 10157
111.43/112.18 c #Conflicts: 114000 | #Constraints: 11157
111.43/112.18 c #Conflicts: 115000 | #Constraints: 12157
111.43/112.18 c #Conflicts: 116000 | #Constraints: 13157
111.43/112.18 c #Conflicts: 117000 | #Constraints: 14157
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 118000 | #Constraints: 8358
111.43/112.18 c #Conflicts: 119000 | #Constraints: 9358
111.43/112.18 c #Conflicts: 120000 | #Constraints: 10358
111.43/112.18 c #Conflicts: 121000 | #Constraints: 11358
111.43/112.18 c #Conflicts: 122000 | #Constraints: 12358
111.43/112.18 c #Conflicts: 123000 | #Constraints: 13358
111.43/112.18 c #Conflicts: 124000 | #Constraints: 14358
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 125000 | #Constraints: 8357
111.43/112.18 c #Conflicts: 126000 | #Constraints: 9357
111.43/112.18 c #Conflicts: 127000 | #Constraints: 10357
111.43/112.18 c #Conflicts: 128000 | #Constraints: 11357
111.43/112.18 c #Conflicts: 129000 | #Constraints: 12357
111.43/112.18 c #Conflicts: 130000 | #Constraints: 13357
111.43/112.18 c #Conflicts: 131000 | #Constraints: 14357
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 132000 | #Constraints: 8155
111.43/112.18 c #Conflicts: 133000 | #Constraints: 9155
111.43/112.18 c #Conflicts: 134000 | #Constraints: 10155
111.43/112.18 c #Conflicts: 135000 | #Constraints: 11155
111.43/112.18 c #Conflicts: 136000 | #Constraints: 12155
111.43/112.18 c #Conflicts: 137000 | #Constraints: 13155
111.43/112.18 c #Conflicts: 138000 | #Constraints: 14155
111.43/112.18 c #Conflicts: 139000 | #Constraints: 15155
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 140000 | #Constraints: 8759
111.43/112.18 c #Conflicts: 141000 | #Constraints: 9759
111.43/112.18 c #Conflicts: 142000 | #Constraints: 10759
111.43/112.18 c #Conflicts: 143000 | #Constraints: 11759
111.43/112.18 c #Conflicts: 144000 | #Constraints: 12759
111.43/112.18 c #Conflicts: 145000 | #Constraints: 13759
111.43/112.18 c #Conflicts: 146000 | #Constraints: 14759
111.43/112.18 c #Conflicts: 147000 | #Constraints: 15759
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 148000 | #Constraints: 9164
111.43/112.18 c #Conflicts: 149000 | #Constraints: 10164
111.43/112.18 c #Conflicts: 150000 | #Constraints: 11164
111.43/112.18 c #Conflicts: 151000 | #Constraints: 12164
111.43/112.18 c #Conflicts: 152000 | #Constraints: 13164
111.43/112.18 c #Conflicts: 153000 | #Constraints: 14164
111.43/112.18 c #Conflicts: 154000 | #Constraints: 15164
111.43/112.18 c #Conflicts: 155000 | #Constraints: 16164
111.43/112.18 c INPROCESSING
111.43/112.18 c GARBAGE COLLECT
111.43/112.18 c #Conflicts: 156000 | #Constraints: 9364
111.43/112.18 c #Conflicts: 157000 | #Constraints: 10364
111.43/112.18 c #Conflicts: 158000 | #Constraints: 11364
111.43/112.18 c #Conflicts: 159000 | #Constraints: 12364
111.43/112.18 c #Conflicts: 160000 | #Constraints: 13364
188.52/189.44 c #Conflicts: 161000 | #Constraints: 14364
188.52/189.44 c #Conflicts: 162000 | #Constraints: 15364
188.52/189.44 c #Conflicts: 163000 | #Constraints: 16364
188.52/189.44 c INPROCESSING
188.52/189.44 c GARBAGE COLLECT
188.52/189.44 c #Conflicts: 164000 | #Constraints: 9369
188.52/189.44 c #Conflicts: 165000 | #Constraints: 10369
188.52/189.44 c #Conflicts: 166000 | #Constraints: 11369
188.52/189.44 c #Conflicts: 167000 | #Constraints: 12369
188.52/189.44 c #Conflicts: 168000 | #Constraints: 13369
188.52/189.44 c #Conflicts: 169000 | #Constraints: 14369
188.52/189.44 c #Conflicts: 170000 | #Constraints: 15369
188.52/189.44 c #Conflicts: 171000 | #Constraints: 16369
188.52/189.44 c INPROCESSING
188.52/189.44 c GARBAGE COLLECT
188.52/189.44 c #Conflicts: 172000 | #Constraints: 9165
188.52/189.44 c #Conflicts: 173000 | #Constraints: 10165
188.52/189.44 c #Conflicts: 174000 | #Constraints: 11165
188.52/189.44 c #Conflicts: 175000 | #Constraints: 12165
188.52/189.44 c #Conflicts: 176000 | #Constraints: 13165
188.52/189.44 c #Conflicts: 177000 | #Constraints: 14165
188.52/189.44 c #Conflicts: 178000 | #Constraints: 15165
188.52/189.44 c #Conflicts: 179000 | #Constraints: 16165
188.52/189.44 c #Conflicts: 180000 | #Constraints: 17165
188.52/189.44 c INPROCESSING
188.52/189.44 c GARBAGE COLLECT
188.52/189.44 c #Conflicts: 181000 | #Constraints: 9764
188.52/189.44 c #Conflicts: 182000 | #Constraints: 10764
188.52/189.44 c #Conflicts: 183000 | #Constraints: 11764
188.52/189.44 c #Conflicts: 184000 | #Constraints: 12764
188.52/189.44 c #Conflicts: 185000 | #Constraints: 13764
188.52/189.44 c #Conflicts: 186000 | #Constraints: 14764
188.52/189.44 c #Conflicts: 187000 | #Constraints: 15764
188.52/189.44 c #Conflicts: 188000 | #Constraints: 16764
188.52/189.44 c #Conflicts: 189000 | #Constraints: 17764
188.52/189.44 c INPROCESSING
188.52/189.44 c GARBAGE COLLECT
188.52/189.44 c #Conflicts: 190000 | #Constraints: 10162
188.52/189.44 c #Conflicts: 191000 | #Constraints: 11162
188.52/189.44 c #Conflicts: 192000 | #Constraints: 12162
188.52/189.44 c #Conflicts: 193000 | #Constraints: 13162
188.52/189.44 c #Conflicts: 194000 | #Constraints: 14162
188.52/189.44 c #Conflicts: 195000 | #Constraints: 15162
188.52/189.44 c #Conflicts: 196000 | #Constraints: 16162
188.52/189.44 c #Conflicts: 197000 | #Constraints: 17162
188.52/189.44 c #Conflicts: 198000 | #Constraints: 18162
188.52/189.44 c INPROCESSING
188.52/189.44 c GARBAGE COLLECT
188.52/189.44 c #Conflicts: 199000 | #Constraints: 10363
188.52/189.44 c #Conflicts: 200000 | #Constraints: 11363
188.52/189.44 c #Conflicts: 201000 | #Constraints: 12363
188.52/189.44 c #Conflicts: 202000 | #Constraints: 13363
188.52/189.44 c #Conflicts: 203000 | #Constraints: 14363
188.52/189.44 c #Conflicts: 204000 | #Constraints: 15363
188.52/189.44 c #Conflicts: 205000 | #Constraints: 16363
188.52/189.44 c #Conflicts: 206000 | #Constraints: 17363
188.52/189.44 c #Conflicts: 207000 | #Constraints: 18363
188.52/189.44 c INPROCESSING
188.52/189.44 c GARBAGE COLLECT
188.52/189.44 c #Conflicts: 208000 | #Constraints: 10361
188.52/189.44 c #Conflicts: 209000 | #Constraints: 11361
188.52/189.44 c #Conflicts: 210000 | #Constraints: 12361
188.52/189.44 c #Conflicts: 211000 | #Constraints: 13361
188.52/189.44 c #Conflicts: 212000 | #Constraints: 14361
188.52/189.44 c #Conflicts: 213000 | #Constraints: 15361
188.52/189.44 c #Conflicts: 214000 | #Constraints: 16361
188.52/189.44 c #Conflicts: 215000 | #Constraints: 17361
188.52/189.44 c #Conflicts: 216000 | #Constraints: 18361
188.52/189.44 c INPROCESSING
188.52/189.44 c GARBAGE COLLECT
188.52/189.44 c #Conflicts: 217000 | #Constraints: 10161
188.52/189.44 c #Conflicts: 218000 | #Constraints: 11161
188.52/189.44 c #Conflicts: 219000 | #Constraints: 12161
188.52/189.44 c #Conflicts: 220000 | #Constraints: 13161
188.52/189.44 c #Conflicts: 221000 | #Constraints: 14161
188.52/189.44 c #Conflicts: 222000 | #Constraints: 15161
188.52/189.44 c #Conflicts: 223000 | #Constraints: 16161
188.52/189.44 c #Conflicts: 224000 | #Constraints: 17161
188.52/189.44 c #Conflicts: 225000 | #Constraints: 18161
188.52/189.44 c #Conflicts: 226000 | #Constraints: 19161
188.52/189.44 c INPROCESSING
188.52/189.44 c GARBAGE COLLECT
188.52/189.44 c #Conflicts: 227000 | #Constraints: 10768
188.52/189.44 c #Conflicts: 228000 | #Constraints: 11768
188.52/189.44 c #Conflicts: 229000 | #Constraints: 12768
188.52/189.44 c #Conflicts: 230000 | #Constraints: 13768
188.52/189.44 c #Conflicts: 231000 | #Constraints: 14768
188.52/189.44 c #Conflicts: 232000 | #Constraints: 15768
188.52/189.44 c #Conflicts: 233000 | #Constraints: 16768
188.52/189.44 c #Conflicts: 234000 | #Constraints: 17768
269.20/270.33 c #Conflicts: 235000 | #Constraints: 18768
269.20/270.33 c #Conflicts: 236000 | #Constraints: 19768
269.20/270.33 c INPROCESSING
269.20/270.33 c GARBAGE COLLECT
269.20/270.33 c #Conflicts: 237000 | #Constraints: 11166
269.20/270.33 c #Conflicts: 238000 | #Constraints: 12166
269.20/270.33 c #Conflicts: 239000 | #Constraints: 13166
269.20/270.33 c #Conflicts: 240000 | #Constraints: 14166
269.20/270.33 c #Conflicts: 241000 | #Constraints: 15166
269.20/270.33 c #Conflicts: 242000 | #Constraints: 16166
269.20/270.33 c #Conflicts: 243000 | #Constraints: 17166
269.20/270.33 c #Conflicts: 244000 | #Constraints: 18166
269.20/270.33 c #Conflicts: 245000 | #Constraints: 19166
269.20/270.33 c #Conflicts: 246000 | #Constraints: 20166
269.20/270.33 c INPROCESSING
269.20/270.33 c GARBAGE COLLECT
269.20/270.33 c #Conflicts: 247000 | #Constraints: 11358
269.20/270.33 c #Conflicts: 248000 | #Constraints: 12358
269.20/270.33 c #Conflicts: 249000 | #Constraints: 13358
269.20/270.33 c #Conflicts: 250000 | #Constraints: 14358
269.20/270.33 c #Conflicts: 251000 | #Constraints: 15358
269.20/270.33 c #Conflicts: 252000 | #Constraints: 16358
269.20/270.33 c #Conflicts: 253000 | #Constraints: 17358
269.20/270.33 c #Conflicts: 254000 | #Constraints: 18358
269.20/270.33 c #Conflicts: 255000 | #Constraints: 19358
269.20/270.33 c #Conflicts: 256000 | #Constraints: 20358
269.20/270.33 c INPROCESSING
269.20/270.33 c GARBAGE COLLECT
269.20/270.33 c #Conflicts: 257000 | #Constraints: 11366
269.20/270.33 c #Conflicts: 258000 | #Constraints: 12366
269.20/270.33 c #Conflicts: 259000 | #Constraints: 13366
269.20/270.33 c #Conflicts: 260000 | #Constraints: 14366
269.20/270.33 c #Conflicts: 261000 | #Constraints: 15366
269.20/270.33 c #Conflicts: 262000 | #Constraints: 16366
269.20/270.33 c #Conflicts: 263000 | #Constraints: 17366
269.20/270.33 c #Conflicts: 264000 | #Constraints: 18366
269.20/270.33 c #Conflicts: 265000 | #Constraints: 19366
269.20/270.33 c #Conflicts: 266000 | #Constraints: 20366
269.20/270.33 c INPROCESSING
269.20/270.33 c GARBAGE COLLECT
269.20/270.33 c #Conflicts: 267000 | #Constraints: 11166
269.20/270.33 c #Conflicts: 268000 | #Constraints: 12166
269.20/270.33 c #Conflicts: 269000 | #Constraints: 13166
269.20/270.33 c #Conflicts: 270000 | #Constraints: 14166
269.20/270.33 c #Conflicts: 271000 | #Constraints: 15166
269.20/270.33 c #Conflicts: 272000 | #Constraints: 16166
269.20/270.33 c #Conflicts: 273000 | #Constraints: 17166
269.20/270.33 c #Conflicts: 274000 | #Constraints: 18166
269.20/270.33 c #Conflicts: 275000 | #Constraints: 19166
269.20/270.33 c #Conflicts: 276000 | #Constraints: 20166
269.20/270.33 c #Conflicts: 277000 | #Constraints: 21166
269.20/270.33 c INPROCESSING
269.20/270.33 c GARBAGE COLLECT
269.20/270.33 c #Conflicts: 278000 | #Constraints: 11768
269.20/270.33 c #Conflicts: 279000 | #Constraints: 12768
269.20/270.33 c #Conflicts: 280000 | #Constraints: 13768
269.20/270.33 c #Conflicts: 281000 | #Constraints: 14768
269.20/270.33 c #Conflicts: 282000 | #Constraints: 15768
269.20/270.33 c #Conflicts: 283000 | #Constraints: 16768
269.20/270.33 c #Conflicts: 284000 | #Constraints: 17768
269.20/270.33 c #Conflicts: 285000 | #Constraints: 18768
269.20/270.33 c #Conflicts: 286000 | #Constraints: 19768
269.20/270.33 c #Conflicts: 287000 | #Constraints: 20768
269.20/270.33 c #Conflicts: 288000 | #Constraints: 21768
269.20/270.33 c INPROCESSING
269.20/270.33 c GARBAGE COLLECT
269.20/270.33 c #Conflicts: 289000 | #Constraints: 12168
269.20/270.33 c #Conflicts: 290000 | #Constraints: 13168
269.20/270.33 c #Conflicts: 291000 | #Constraints: 14168
269.20/270.33 c #Conflicts: 292000 | #Constraints: 15168
269.20/270.33 c #Conflicts: 293000 | #Constraints: 16168
269.20/270.33 c #Conflicts: 294000 | #Constraints: 17168
269.20/270.33 c #Conflicts: 295000 | #Constraints: 18168
269.20/270.33 c #Conflicts: 296000 | #Constraints: 19168
269.20/270.33 c #Conflicts: 297000 | #Constraints: 20168
269.20/270.33 c #Conflicts: 298000 | #Constraints: 21168
269.20/270.33 c #Conflicts: 299000 | #Constraints: 22168
269.20/270.33 c INPROCESSING
269.20/270.33 c GARBAGE COLLECT
269.20/270.33 c #Conflicts: 300000 | #Constraints: 12369
269.20/270.33 c #Conflicts: 301000 | #Constraints: 13369
269.20/270.33 c #Conflicts: 302000 | #Constraints: 14369
269.20/270.33 c #Conflicts: 303000 | #Constraints: 15369
269.20/270.33 c #Conflicts: 304000 | #Constraints: 16369
269.20/270.33 c #Conflicts: 305000 | #Constraints: 17369
269.20/270.33 c #Conflicts: 306000 | #Constraints: 18369
269.20/270.33 c #Conflicts: 307000 | #Constraints: 19369
269.20/270.33 c #Conflicts: 308000 | #Constraints: 20369
351.99/353.38 c #Conflicts: 309000 | #Constraints: 21369
351.99/353.38 c #Conflicts: 310000 | #Constraints: 22369
351.99/353.38 c INPROCESSING
351.99/353.38 c GARBAGE COLLECT
351.99/353.38 c #Conflicts: 311000 | #Constraints: 12365
351.99/353.38 c #Conflicts: 312000 | #Constraints: 13365
351.99/353.38 c #Conflicts: 313000 | #Constraints: 14365
351.99/353.38 c #Conflicts: 314000 | #Constraints: 15365
351.99/353.38 c #Conflicts: 315000 | #Constraints: 16365
351.99/353.38 c #Conflicts: 316000 | #Constraints: 17365
351.99/353.38 c #Conflicts: 317000 | #Constraints: 18365
351.99/353.38 c #Conflicts: 318000 | #Constraints: 19365
351.99/353.38 c #Conflicts: 319000 | #Constraints: 20365
351.99/353.38 c #Conflicts: 320000 | #Constraints: 21365
351.99/353.38 c #Conflicts: 321000 | #Constraints: 22365
351.99/353.38 c INPROCESSING
351.99/353.38 c GARBAGE COLLECT
351.99/353.38 c #Conflicts: 322000 | #Constraints: 12165
351.99/353.38 c #Conflicts: 323000 | #Constraints: 13165
351.99/353.38 c #Conflicts: 324000 | #Constraints: 14165
351.99/353.38 c #Conflicts: 325000 | #Constraints: 15165
351.99/353.38 c #Conflicts: 326000 | #Constraints: 16165
351.99/353.38 c #Conflicts: 327000 | #Constraints: 17165
351.99/353.38 c #Conflicts: 328000 | #Constraints: 18165
351.99/353.38 c #Conflicts: 329000 | #Constraints: 19165
351.99/353.38 c #Conflicts: 330000 | #Constraints: 20165
351.99/353.38 c #Conflicts: 331000 | #Constraints: 21165
351.99/353.38 c #Conflicts: 332000 | #Constraints: 22165
351.99/353.38 c #Conflicts: 333000 | #Constraints: 23165
351.99/353.38 c INPROCESSING
351.99/353.38 c GARBAGE COLLECT
351.99/353.38 c #Conflicts: 334000 | #Constraints: 12762
351.99/353.38 c #Conflicts: 335000 | #Constraints: 13762
351.99/353.38 c #Conflicts: 336000 | #Constraints: 14762
351.99/353.38 c #Conflicts: 337000 | #Constraints: 15762
351.99/353.38 c #Conflicts: 338000 | #Constraints: 16762
351.99/353.38 c #Conflicts: 339000 | #Constraints: 17762
351.99/353.38 c #Conflicts: 340000 | #Constraints: 18762
351.99/353.38 c #Conflicts: 341000 | #Constraints: 19762
351.99/353.38 c #Conflicts: 342000 | #Constraints: 20762
351.99/353.38 c #Conflicts: 343000 | #Constraints: 21762
351.99/353.38 c #Conflicts: 344000 | #Constraints: 22762
351.99/353.38 c #Conflicts: 345000 | #Constraints: 23762
351.99/353.38 c INPROCESSING
351.99/353.38 c GARBAGE COLLECT
351.99/353.38 c #Conflicts: 346000 | #Constraints: 13174
351.99/353.38 c #Conflicts: 347000 | #Constraints: 14174
351.99/353.38 c #Conflicts: 348000 | #Constraints: 15174
351.99/353.38 c #Conflicts: 349000 | #Constraints: 16174
351.99/353.38 c #Conflicts: 350000 | #Constraints: 17174
351.99/353.38 c #Conflicts: 351000 | #Constraints: 18174
351.99/353.38 c #Conflicts: 352000 | #Constraints: 19174
351.99/353.38 c #Conflicts: 353000 | #Constraints: 20174
351.99/353.38 c #Conflicts: 354000 | #Constraints: 21174
351.99/353.38 c #Conflicts: 355000 | #Constraints: 22174
351.99/353.38 c #Conflicts: 356000 | #Constraints: 23174
351.99/353.38 c #Conflicts: 357000 | #Constraints: 24174
351.99/353.38 c INPROCESSING
351.99/353.38 c GARBAGE COLLECT
351.99/353.38 c #Conflicts: 358000 | #Constraints: 13367
351.99/353.38 c #Conflicts: 359000 | #Constraints: 14367
351.99/353.38 c #Conflicts: 360000 | #Constraints: 15367
351.99/353.38 c #Conflicts: 361000 | #Constraints: 16367
351.99/353.38 c #Conflicts: 362000 | #Constraints: 17367
351.99/353.38 c #Conflicts: 363000 | #Constraints: 18367
351.99/353.38 c #Conflicts: 364000 | #Constraints: 19367
351.99/353.38 c #Conflicts: 365000 | #Constraints: 20367
351.99/353.38 c #Conflicts: 366000 | #Constraints: 21367
351.99/353.38 c #Conflicts: 367000 | #Constraints: 22367
351.99/353.38 c #Conflicts: 368000 | #Constraints: 23367
351.99/353.38 c #Conflicts: 369000 | #Constraints: 24367
351.99/353.38 c INPROCESSING
351.99/353.38 c GARBAGE COLLECT
351.99/353.38 c #Conflicts: 370000 | #Constraints: 13369
351.99/353.38 c #Conflicts: 371000 | #Constraints: 14369
351.99/353.38 c #Conflicts: 372000 | #Constraints: 15369
351.99/353.38 c #Conflicts: 373000 | #Constraints: 16369
351.99/353.38 c #Conflicts: 374000 | #Constraints: 17369
351.99/353.38 c #Conflicts: 375000 | #Constraints: 18369
351.99/353.38 c #Conflicts: 376000 | #Constraints: 19369
351.99/353.38 c #Conflicts: 377000 | #Constraints: 20369
351.99/353.38 c #Conflicts: 378000 | #Constraints: 21369
351.99/353.38 c #Conflicts: 379000 | #Constraints: 22369
351.99/353.38 c #Conflicts: 380000 | #Constraints: 23369
351.99/353.38 c #Conflicts: 381000 | #Constraints: 24369
351.99/353.38 c INPROCESSING
351.99/353.38 c GARBAGE COLLECT
351.99/353.38 c #Conflicts: 382000 | #Constraints: 13176
444.46/446.05 c #Conflicts: 383000 | #Constraints: 14176
444.46/446.05 c #Conflicts: 384000 | #Constraints: 15176
444.46/446.05 c #Conflicts: 385000 | #Constraints: 16176
444.46/446.05 c #Conflicts: 386000 | #Constraints: 17176
444.46/446.05 c #Conflicts: 387000 | #Constraints: 18176
444.46/446.05 c #Conflicts: 388000 | #Constraints: 19176
444.46/446.05 c #Conflicts: 389000 | #Constraints: 20176
444.46/446.05 c #Conflicts: 390000 | #Constraints: 21176
444.46/446.05 c #Conflicts: 391000 | #Constraints: 22176
444.46/446.05 c #Conflicts: 392000 | #Constraints: 23176
444.46/446.05 c #Conflicts: 393000 | #Constraints: 24176
444.46/446.05 c #Conflicts: 394000 | #Constraints: 25176
444.46/446.05 c INPROCESSING
444.46/446.05 c GARBAGE COLLECT
444.46/446.05 c #Conflicts: 395000 | #Constraints: 13776
444.46/446.05 c #Conflicts: 396000 | #Constraints: 14776
444.46/446.05 c #Conflicts: 397000 | #Constraints: 15776
444.46/446.05 c #Conflicts: 398000 | #Constraints: 16776
444.46/446.05 c #Conflicts: 399000 | #Constraints: 17776
444.46/446.05 c #Conflicts: 400000 | #Constraints: 18776
444.46/446.05 c #Conflicts: 401000 | #Constraints: 19776
444.46/446.05 c #Conflicts: 402000 | #Constraints: 20776
444.46/446.05 c #Conflicts: 403000 | #Constraints: 21776
444.46/446.05 c #Conflicts: 404000 | #Constraints: 22776
444.46/446.05 c #Conflicts: 405000 | #Constraints: 23776
444.46/446.05 c #Conflicts: 406000 | #Constraints: 24776
444.46/446.05 c #Conflicts: 407000 | #Constraints: 25776
444.46/446.05 c INPROCESSING
444.46/446.05 c GARBAGE COLLECT
444.46/446.05 c #Conflicts: 408000 | #Constraints: 14175
444.46/446.05 c #Conflicts: 409000 | #Constraints: 15175
444.46/446.05 c #Conflicts: 410000 | #Constraints: 16175
444.46/446.05 c #Conflicts: 411000 | #Constraints: 17175
444.46/446.05 c #Conflicts: 412000 | #Constraints: 18175
444.46/446.05 c #Conflicts: 413000 | #Constraints: 19175
444.46/446.05 c #Conflicts: 414000 | #Constraints: 20175
444.46/446.05 c #Conflicts: 415000 | #Constraints: 21175
444.46/446.05 c #Conflicts: 416000 | #Constraints: 22175
444.46/446.05 c #Conflicts: 417000 | #Constraints: 23175
444.46/446.05 c #Conflicts: 418000 | #Constraints: 24175
444.46/446.05 c #Conflicts: 419000 | #Constraints: 25175
444.46/446.05 c #Conflicts: 420000 | #Constraints: 26175
444.46/446.05 c INPROCESSING
444.46/446.05 c GARBAGE COLLECT
444.46/446.05 c #Conflicts: 421000 | #Constraints: 14378
444.46/446.05 c #Conflicts: 422000 | #Constraints: 15378
444.46/446.05 c #Conflicts: 423000 | #Constraints: 16378
444.46/446.05 c #Conflicts: 424000 | #Constraints: 17378
444.46/446.05 c #Conflicts: 425000 | #Constraints: 18378
444.46/446.05 c #Conflicts: 426000 | #Constraints: 19378
444.46/446.05 c #Conflicts: 427000 | #Constraints: 20378
444.46/446.05 c #Conflicts: 428000 | #Constraints: 21378
444.46/446.05 c #Conflicts: 429000 | #Constraints: 22378
444.46/446.05 c #Conflicts: 430000 | #Constraints: 23378
444.46/446.05 c #Conflicts: 431000 | #Constraints: 24378
444.46/446.05 c #Conflicts: 432000 | #Constraints: 25378
444.46/446.05 c #Conflicts: 433000 | #Constraints: 26378
444.46/446.05 c INPROCESSING
444.46/446.05 c GARBAGE COLLECT
444.46/446.05 c #Conflicts: 434000 | #Constraints: 14367
444.46/446.05 c #Conflicts: 435000 | #Constraints: 15367
444.46/446.05 c #Conflicts: 436000 | #Constraints: 16367
444.46/446.05 c #Conflicts: 437000 | #Constraints: 17367
444.46/446.05 c #Conflicts: 438000 | #Constraints: 18367
444.46/446.05 c #Conflicts: 439000 | #Constraints: 19367
444.46/446.05 c #Conflicts: 440000 | #Constraints: 20367
444.46/446.05 c #Conflicts: 441000 | #Constraints: 21367
444.46/446.05 c #Conflicts: 442000 | #Constraints: 22367
444.46/446.05 c #Conflicts: 443000 | #Constraints: 23367
444.46/446.05 c #Conflicts: 444000 | #Constraints: 24367
444.46/446.05 c #Conflicts: 445000 | #Constraints: 25367
444.46/446.05 c #Conflicts: 446000 | #Constraints: 26367
444.46/446.05 c INPROCESSING
444.46/446.05 c GARBAGE COLLECT
444.46/446.05 c #Conflicts: 447000 | #Constraints: 14171
444.46/446.05 c #Conflicts: 448000 | #Constraints: 15171
444.46/446.05 c #Conflicts: 449000 | #Constraints: 16171
444.46/446.05 c #Conflicts: 450000 | #Constraints: 17171
444.46/446.05 c #Conflicts: 451000 | #Constraints: 18171
444.46/446.05 c #Conflicts: 452000 | #Constraints: 19171
444.46/446.05 c #Conflicts: 453000 | #Constraints: 20171
444.46/446.05 c #Conflicts: 454000 | #Constraints: 21171
444.46/446.05 c #Conflicts: 455000 | #Constraints: 22171
444.46/446.05 c #Conflicts: 456000 | #Constraints: 23171
444.46/446.05 c #Conflicts: 457000 | #Constraints: 24171
444.46/446.05 c #Conflicts: 458000 | #Constraints: 25171
561.36/563.24 c #Conflicts: 459000 | #Constraints: 26171
561.36/563.24 c #Conflicts: 460000 | #Constraints: 27171
561.36/563.24 c INPROCESSING
561.36/563.24 c GARBAGE COLLECT
561.36/563.24 c #Conflicts: 461000 | #Constraints: 14768
561.36/563.24 c #Conflicts: 462000 | #Constraints: 15768
561.36/563.24 c #Conflicts: 463000 | #Constraints: 16768
561.36/563.24 c #Conflicts: 464000 | #Constraints: 17768
561.36/563.24 c #Conflicts: 465000 | #Constraints: 18768
561.36/563.24 c #Conflicts: 466000 | #Constraints: 19768
561.36/563.24 c #Conflicts: 467000 | #Constraints: 20768
561.36/563.24 c #Conflicts: 468000 | #Constraints: 21768
561.36/563.24 c #Conflicts: 469000 | #Constraints: 22768
561.36/563.24 c #Conflicts: 470000 | #Constraints: 23768
561.36/563.24 c #Conflicts: 471000 | #Constraints: 24768
561.36/563.24 c #Conflicts: 472000 | #Constraints: 25768
561.36/563.24 c #Conflicts: 473000 | #Constraints: 26768
561.36/563.24 c #Conflicts: 474000 | #Constraints: 27768
561.36/563.24 c INPROCESSING
561.36/563.24 c GARBAGE COLLECT
561.36/563.24 c #Conflicts: 475000 | #Constraints: 15172
561.36/563.24 c #Conflicts: 476000 | #Constraints: 16172
561.36/563.24 c #Conflicts: 477000 | #Constraints: 17172
561.36/563.24 c #Conflicts: 478000 | #Constraints: 18172
561.36/563.24 c #Conflicts: 479000 | #Constraints: 19172
561.36/563.24 c #Conflicts: 480000 | #Constraints: 20172
561.36/563.24 c #Conflicts: 481000 | #Constraints: 21172
561.36/563.24 c #Conflicts: 482000 | #Constraints: 22172
561.36/563.24 c #Conflicts: 483000 | #Constraints: 23172
561.36/563.24 c #Conflicts: 484000 | #Constraints: 24172
561.36/563.24 c #Conflicts: 485000 | #Constraints: 25172
561.36/563.24 c #Conflicts: 486000 | #Constraints: 26172
561.36/563.24 c #Conflicts: 487000 | #Constraints: 27172
561.36/563.24 c #Conflicts: 488000 | #Constraints: 28172
561.36/563.24 c INPROCESSING
561.36/563.24 c GARBAGE COLLECT
561.36/563.24 c #Conflicts: 489000 | #Constraints: 15373
561.36/563.24 c #Conflicts: 490000 | #Constraints: 16373
561.36/563.24 c #Conflicts: 491000 | #Constraints: 17373
561.36/563.24 c #Conflicts: 492000 | #Constraints: 18373
561.36/563.24 c #Conflicts: 493000 | #Constraints: 19373
561.36/563.24 c #Conflicts: 494000 | #Constraints: 20373
561.36/563.24 c #Conflicts: 495000 | #Constraints: 21373
561.36/563.24 c #Conflicts: 496000 | #Constraints: 22373
561.36/563.24 c #Conflicts: 497000 | #Constraints: 23373
561.36/563.24 c #Conflicts: 498000 | #Constraints: 24373
561.36/563.24 c #Conflicts: 499000 | #Constraints: 25373
561.36/563.24 c #Conflicts: 500000 | #Constraints: 26373
561.36/563.24 c #Conflicts: 501000 | #Constraints: 27373
561.36/563.24 c #Conflicts: 502000 | #Constraints: 28373
561.36/563.24 c INPROCESSING
561.36/563.24 c GARBAGE COLLECT
561.36/563.24 c #Conflicts: 503000 | #Constraints: 15374
561.36/563.24 c #Conflicts: 504000 | #Constraints: 16374
561.36/563.24 c #Conflicts: 505000 | #Constraints: 17374
561.36/563.24 c #Conflicts: 506000 | #Constraints: 18374
561.36/563.24 c #Conflicts: 507000 | #Constraints: 19374
561.36/563.24 c #Conflicts: 508000 | #Constraints: 20374
561.36/563.24 c #Conflicts: 509000 | #Constraints: 21374
561.36/563.24 c #Conflicts: 510000 | #Constraints: 22374
561.36/563.24 c #Conflicts: 511000 | #Constraints: 23374
561.36/563.24 c #Conflicts: 512000 | #Constraints: 24374
561.36/563.24 c #Conflicts: 513000 | #Constraints: 25374
561.36/563.24 c #Conflicts: 514000 | #Constraints: 26374
561.36/563.24 c #Conflicts: 515000 | #Constraints: 27374
561.36/563.24 c #Conflicts: 516000 | #Constraints: 28374
561.36/563.24 c INPROCESSING
561.36/563.24 c GARBAGE COLLECT
561.36/563.24 c #Conflicts: 517000 | #Constraints: 15173
561.36/563.24 c #Conflicts: 518000 | #Constraints: 16173
561.36/563.24 c #Conflicts: 519000 | #Constraints: 17173
561.36/563.24 c #Conflicts: 520000 | #Constraints: 18173
561.36/563.24 c #Conflicts: 521000 | #Constraints: 19173
561.36/563.24 c #Conflicts: 522000 | #Constraints: 20173
561.36/563.24 c #Conflicts: 523000 | #Constraints: 21173
561.36/563.24 c #Conflicts: 524000 | #Constraints: 22173
561.36/563.24 c #Conflicts: 525000 | #Constraints: 23173
561.36/563.24 c #Conflicts: 526000 | #Constraints: 24173
561.36/563.24 c #Conflicts: 527000 | #Constraints: 25173
561.36/563.24 c #Conflicts: 528000 | #Constraints: 26173
561.36/563.24 c #Conflicts: 529000 | #Constraints: 27173
561.36/563.24 c #Conflicts: 530000 | #Constraints: 28173
561.36/563.24 c #Conflicts: 531000 | #Constraints: 29173
561.36/563.24 c INPROCESSING
561.36/563.24 c GARBAGE COLLECT
561.36/563.24 c #Conflicts: 532000 | #Constraints: 15767
561.36/563.24 c #Conflicts: 533000 | #Constraints: 16767
687.52/689.78 c #Conflicts: 534000 | #Constraints: 17767
687.52/689.78 c #Conflicts: 535000 | #Constraints: 18767
687.52/689.78 c #Conflicts: 536000 | #Constraints: 19767
687.52/689.78 c #Conflicts: 537000 | #Constraints: 20767
687.52/689.78 c #Conflicts: 538000 | #Constraints: 21767
687.52/689.78 c #Conflicts: 539000 | #Constraints: 22767
687.52/689.78 c #Conflicts: 540000 | #Constraints: 23767
687.52/689.78 c #Conflicts: 541000 | #Constraints: 24767
687.52/689.78 c #Conflicts: 542000 | #Constraints: 25767
687.52/689.78 c #Conflicts: 543000 | #Constraints: 26767
687.52/689.78 c #Conflicts: 544000 | #Constraints: 27767
687.52/689.78 c #Conflicts: 545000 | #Constraints: 28767
687.52/689.78 c #Conflicts: 546000 | #Constraints: 29767
687.52/689.78 c INPROCESSING
687.52/689.78 c GARBAGE COLLECT
687.52/689.78 c #Conflicts: 547000 | #Constraints: 16175
687.52/689.78 c #Conflicts: 548000 | #Constraints: 17175
687.52/689.78 c #Conflicts: 549000 | #Constraints: 18175
687.52/689.78 c #Conflicts: 550000 | #Constraints: 19175
687.52/689.78 c #Conflicts: 551000 | #Constraints: 20175
687.52/689.78 c #Conflicts: 552000 | #Constraints: 21175
687.52/689.78 c #Conflicts: 553000 | #Constraints: 22175
687.52/689.78 c #Conflicts: 554000 | #Constraints: 23175
687.52/689.78 c #Conflicts: 555000 | #Constraints: 24175
687.52/689.78 c #Conflicts: 556000 | #Constraints: 25175
687.52/689.78 c #Conflicts: 557000 | #Constraints: 26175
687.52/689.78 c #Conflicts: 558000 | #Constraints: 27175
687.52/689.78 c #Conflicts: 559000 | #Constraints: 28175
687.52/689.78 c #Conflicts: 560000 | #Constraints: 29175
687.52/689.78 c #Conflicts: 561000 | #Constraints: 30175
687.52/689.78 c INPROCESSING
687.52/689.78 c GARBAGE COLLECT
687.52/689.78 c #Conflicts: 562000 | #Constraints: 16376
687.52/689.78 c #Conflicts: 563000 | #Constraints: 17376
687.52/689.78 c #Conflicts: 564000 | #Constraints: 18376
687.52/689.78 c #Conflicts: 565000 | #Constraints: 19376
687.52/689.78 c #Conflicts: 566000 | #Constraints: 20376
687.52/689.78 c #Conflicts: 567000 | #Constraints: 21376
687.52/689.78 c #Conflicts: 568000 | #Constraints: 22376
687.52/689.78 c #Conflicts: 569000 | #Constraints: 23376
687.52/689.78 c #Conflicts: 570000 | #Constraints: 24376
687.52/689.78 c #Conflicts: 571000 | #Constraints: 25376
687.52/689.78 c #Conflicts: 572000 | #Constraints: 26376
687.52/689.78 c #Conflicts: 573000 | #Constraints: 27376
687.52/689.78 c #Conflicts: 574000 | #Constraints: 28376
687.52/689.78 c #Conflicts: 575000 | #Constraints: 29376
687.52/689.78 c #Conflicts: 576000 | #Constraints: 30376
687.52/689.78 c INPROCESSING
687.52/689.78 c GARBAGE COLLECT
687.52/689.78 c #Conflicts: 577000 | #Constraints: 16377
687.52/689.78 c #Conflicts: 578000 | #Constraints: 17377
687.52/689.78 c #Conflicts: 579000 | #Constraints: 18377
687.52/689.78 c #Conflicts: 580000 | #Constraints: 19377
687.52/689.78 c #Conflicts: 581000 | #Constraints: 20377
687.52/689.78 c #Conflicts: 582000 | #Constraints: 21377
687.52/689.78 c #Conflicts: 583000 | #Constraints: 22377
687.52/689.78 c #Conflicts: 584000 | #Constraints: 23377
687.52/689.78 c #Conflicts: 585000 | #Constraints: 24377
687.52/689.78 c #Conflicts: 586000 | #Constraints: 25377
687.52/689.78 c #Conflicts: 587000 | #Constraints: 26377
687.52/689.78 c #Conflicts: 588000 | #Constraints: 27377
687.52/689.78 c #Conflicts: 589000 | #Constraints: 28377
687.52/689.78 c #Conflicts: 590000 | #Constraints: 29377
687.52/689.78 c #Conflicts: 591000 | #Constraints: 30377
687.52/689.78 c INPROCESSING
687.52/689.78 c GARBAGE COLLECT
687.52/689.78 c #Conflicts: 592000 | #Constraints: 16178
687.52/689.78 c #Conflicts: 593000 | #Constraints: 17178
687.52/689.78 c #Conflicts: 594000 | #Constraints: 18178
687.52/689.78 c #Conflicts: 595000 | #Constraints: 19178
687.52/689.78 c #Conflicts: 596000 | #Constraints: 20178
687.52/689.78 c #Conflicts: 597000 | #Constraints: 21178
687.52/689.78 c #Conflicts: 598000 | #Constraints: 22178
687.52/689.78 c #Conflicts: 599000 | #Constraints: 23178
687.52/689.78 c #Conflicts: 600000 | #Constraints: 24178
687.52/689.78 c #Conflicts: 601000 | #Constraints: 25178
687.52/689.78 c #Conflicts: 602000 | #Constraints: 26178
687.52/689.78 c #Conflicts: 603000 | #Constraints: 27178
687.52/689.78 c #Conflicts: 604000 | #Constraints: 28178
687.52/689.78 c #Conflicts: 605000 | #Constraints: 29178
687.52/689.78 c #Conflicts: 606000 | #Constraints: 30178
687.52/689.78 c #Conflicts: 607000 | #Constraints: 31178
687.52/689.78 c INPROCESSING
687.52/689.78 c GARBAGE COLLECT
687.52/689.78 c #Conflicts: 608000 | #Constraints: 16775
776.58/779.10 c #Conflicts: 609000 | #Constraints: 17775
776.58/779.10 c #Conflicts: 610000 | #Constraints: 18775
776.58/779.10 c #Conflicts: 611000 | #Constraints: 19775
776.58/779.10 c #Conflicts: 612000 | #Constraints: 20775
776.58/779.10 c #Conflicts: 613000 | #Constraints: 21775
776.58/779.10 c #Conflicts: 614000 | #Constraints: 22775
776.58/779.10 c #Conflicts: 615000 | #Constraints: 23775
776.58/779.10 c #Conflicts: 616000 | #Constraints: 24775
776.58/779.10 c #Conflicts: 617000 | #Constraints: 25775
776.58/779.10 c #Conflicts: 618000 | #Constraints: 26775
776.58/779.10 c #Conflicts: 619000 | #Constraints: 27775
776.58/779.10 c #Conflicts: 620000 | #Constraints: 28775
776.58/779.10 c #Conflicts: 621000 | #Constraints: 29775
776.58/779.10 c #Conflicts: 622000 | #Constraints: 30775
776.58/779.10 c #Conflicts: 623000 | #Constraints: 31775
776.58/779.10 c INPROCESSING
776.58/779.10 c GARBAGE COLLECT
776.58/779.10 c #Conflicts: 624000 | #Constraints: 17170
776.58/779.10 c #Conflicts: 625000 | #Constraints: 18170
776.58/779.10 c #Conflicts: 626000 | #Constraints: 19170
776.58/779.10 c #Conflicts: 627000 | #Constraints: 20170
776.58/779.10 c #Conflicts: 628000 | #Constraints: 21170
776.58/779.10 c #Conflicts: 629000 | #Constraints: 22170
776.58/779.10 c #Conflicts: 630000 | #Constraints: 23170
776.58/779.10 c #Conflicts: 631000 | #Constraints: 24170
776.58/779.10 c #Conflicts: 632000 | #Constraints: 25170
776.58/779.10 c #Conflicts: 633000 | #Constraints: 26170
776.58/779.10 c #Conflicts: 634000 | #Constraints: 27170
776.58/779.10 c #Conflicts: 635000 | #Constraints: 28170
776.58/779.10 c #Conflicts: 636000 | #Constraints: 29170
776.58/779.10 c #Conflicts: 637000 | #Constraints: 30170
776.58/779.10 c #Conflicts: 638000 | #Constraints: 31170
776.58/779.10 c #Conflicts: 639000 | #Constraints: 32170
776.58/779.10 c INPROCESSING
776.58/779.10 c GARBAGE COLLECT
776.58/779.10 c #Conflicts: 640000 | #Constraints: 17374
776.58/779.10 c #Conflicts: 641000 | #Constraints: 18374
776.58/779.10 c #Conflicts: 642000 | #Constraints: 19374
776.58/779.10 c #Conflicts: 643000 | #Constraints: 20374
776.58/779.10 c #Conflicts: 644000 | #Constraints: 21374
776.58/779.10 c #Conflicts: 645000 | #Constraints: 22374
776.58/779.10 c #Conflicts: 646000 | #Constraints: 23374
776.58/779.10 c #Conflicts: 647000 | #Constraints: 24374
776.58/779.10 c #Conflicts: 648000 | #Constraints: 25374
776.58/779.10 c #Conflicts: 649000 | #Constraints: 26374
776.58/779.10 c #Conflicts: 650000 | #Constraints: 27374
776.58/779.10 c #Conflicts: 651000 | #Constraints: 28374
776.58/779.10 c #Conflicts: 652000 | #Constraints: 29374
776.58/779.10 c #Conflicts: 653000 | #Constraints: 30374
776.58/779.10 c #Conflicts: 654000 | #Constraints: 31374
776.58/779.10 c #Conflicts: 655000 | #Constraints: 32374
776.58/779.10 c INPROCESSING
776.58/779.10 c GARBAGE COLLECT
776.58/779.10 c #Conflicts: 656000 | #Constraints: 17372
776.58/779.10 c #Conflicts: 657000 | #Constraints: 18372
776.58/779.10 c #Conflicts: 658000 | #Constraints: 19372
776.58/779.10 c #Conflicts: 659000 | #Constraints: 20372
776.58/779.10 c #Conflicts: 660000 | #Constraints: 21372
776.58/779.10 c #Conflicts: 661000 | #Constraints: 22372
776.58/779.10 c GLOBAL bounds - >= 0 @ 771.337
895.38/898.12 c #Conflicts: 662000 | #Constraints: 23374
895.38/898.12 c #Conflicts: 663000 | #Constraints: 24374
895.38/898.12 c #Conflicts: 664000 | #Constraints: 25374
895.38/898.12 c #Conflicts: 665000 | #Constraints: 26374
895.38/898.12 c #Conflicts: 666000 | #Constraints: 27374
895.38/898.12 c #Conflicts: 667000 | #Constraints: 28374
895.38/898.12 c #Conflicts: 668000 | #Constraints: 29374
895.38/898.12 c #Conflicts: 669000 | #Constraints: 30374
895.38/898.12 c #Conflicts: 670000 | #Constraints: 31374
895.38/898.12 c #Conflicts: 671000 | #Constraints: 32374
895.38/898.12 c INPROCESSING
895.38/898.12 c GARBAGE COLLECT
895.38/898.12 c #Conflicts: 672000 | #Constraints: 17176
895.38/898.12 c #Conflicts: 673000 | #Constraints: 18176
895.38/898.12 c #Conflicts: 674000 | #Constraints: 19176
895.38/898.12 c #Conflicts: 675000 | #Constraints: 20176
895.38/898.12 c #Conflicts: 676000 | #Constraints: 21176
895.38/898.12 c #Conflicts: 677000 | #Constraints: 22176
895.38/898.12 c #Conflicts: 678000 | #Constraints: 23176
895.38/898.12 c #Conflicts: 679000 | #Constraints: 24176
895.38/898.12 c #Conflicts: 680000 | #Constraints: 25176
895.38/898.12 c #Conflicts: 681000 | #Constraints: 26176
895.38/898.12 c #Conflicts: 682000 | #Constraints: 27176
895.38/898.12 c #Conflicts: 683000 | #Constraints: 28176
895.38/898.12 c #Conflicts: 684000 | #Constraints: 29176
895.38/898.12 c #Conflicts: 685000 | #Constraints: 30176
895.38/898.12 c #Conflicts: 686000 | #Constraints: 31176
895.38/898.12 c #Conflicts: 687000 | #Constraints: 32176
895.38/898.12 c #Conflicts: 688000 | #Constraints: 33176
895.38/898.12 c INPROCESSING
895.38/898.12 c GARBAGE COLLECT
895.38/898.12 c #Conflicts: 689000 | #Constraints: 17778
895.38/898.12 c #Conflicts: 690000 | #Constraints: 18778
895.38/898.12 c #Conflicts: 691000 | #Constraints: 19778
895.38/898.12 c #Conflicts: 692000 | #Constraints: 20778
895.38/898.12 c #Conflicts: 693000 | #Constraints: 21778
895.38/898.12 c #Conflicts: 694000 | #Constraints: 22778
895.38/898.12 c #Conflicts: 695000 | #Constraints: 23778
895.38/898.12 c #Conflicts: 696000 | #Constraints: 24778
895.38/898.12 c #Conflicts: 697000 | #Constraints: 25778
895.38/898.12 c #Conflicts: 698000 | #Constraints: 26778
895.38/898.12 c #Conflicts: 699000 | #Constraints: 27778
895.38/898.12 c #Conflicts: 700000 | #Constraints: 28778
895.38/898.12 c #Conflicts: 701000 | #Constraints: 29778
895.38/898.12 c #Conflicts: 702000 | #Constraints: 30778
895.38/898.12 c #Conflicts: 703000 | #Constraints: 31778
895.38/898.12 c #Conflicts: 704000 | #Constraints: 32778
895.38/898.12 c #Conflicts: 705000 | #Constraints: 33778
895.38/898.12 c INPROCESSING
895.38/898.12 c GARBAGE COLLECT
895.38/898.12 c #Conflicts: 706000 | #Constraints: 18173
895.38/898.12 c #Conflicts: 707000 | #Constraints: 19173
895.38/898.12 c #Conflicts: 708000 | #Constraints: 20173
895.38/898.12 c #Conflicts: 709000 | #Constraints: 21173
895.38/898.12 c #Conflicts: 710000 | #Constraints: 22173
895.38/898.12 c #Conflicts: 711000 | #Constraints: 23173
895.38/898.12 c #Conflicts: 712000 | #Constraints: 24173
895.38/898.12 c #Conflicts: 713000 | #Constraints: 25173
895.38/898.12 c #Conflicts: 714000 | #Constraints: 26173
895.38/898.12 c #Conflicts: 715000 | #Constraints: 27173
895.38/898.12 c #Conflicts: 716000 | #Constraints: 28173
895.38/898.12 c #Conflicts: 717000 | #Constraints: 29173
895.38/898.12 c #Conflicts: 718000 | #Constraints: 30173
895.38/898.12 c #Conflicts: 719000 | #Constraints: 31173
895.38/898.12 c #Conflicts: 720000 | #Constraints: 32173
895.38/898.12 c #Conflicts: 721000 | #Constraints: 33173
895.38/898.12 c #Conflicts: 722000 | #Constraints: 34173
895.38/898.12 c INPROCESSING
895.38/898.12 c GARBAGE COLLECT
895.38/898.12 c #Conflicts: 723000 | #Constraints: 18369
895.38/898.12 c #Conflicts: 724000 | #Constraints: 19369
895.38/898.12 c #Conflicts: 725000 | #Constraints: 20369
895.38/898.12 c #Conflicts: 726000 | #Constraints: 21369
895.38/898.12 c #Conflicts: 727000 | #Constraints: 22369
895.38/898.12 c #Conflicts: 728000 | #Constraints: 23369
895.38/898.12 c #Conflicts: 729000 | #Constraints: 24369
895.38/898.12 c #Conflicts: 730000 | #Constraints: 25369
895.38/898.12 c #Conflicts: 731000 | #Constraints: 26369
895.38/898.12 c #Conflicts: 732000 | #Constraints: 27369
895.38/898.12 c #Conflicts: 733000 | #Constraints: 28369
895.38/898.12 c #Conflicts: 734000 | #Constraints: 29369
895.38/898.12 c #Conflicts: 735000 | #Constraints: 30369
895.38/898.12 c #Conflicts: 736000 | #Constraints: 31369
895.38/898.12 c #Conflicts: 737000 | #Constraints: 32369
895.38/898.12 c #Conflicts: 738000 | #Constraints: 33369
1025.84/1028.90 c #Conflicts: 739000 | #Constraints: 34369
1025.84/1028.90 c INPROCESSING
1025.84/1028.90 c GARBAGE COLLECT
1025.84/1028.90 c #Conflicts: 740000 | #Constraints: 18366
1025.84/1028.90 c #Conflicts: 741000 | #Constraints: 19366
1025.84/1028.90 c #Conflicts: 742000 | #Constraints: 20366
1025.84/1028.90 c #Conflicts: 743000 | #Constraints: 21366
1025.84/1028.90 c #Conflicts: 744000 | #Constraints: 22366
1025.84/1028.90 c #Conflicts: 745000 | #Constraints: 23366
1025.84/1028.90 c #Conflicts: 746000 | #Constraints: 24366
1025.84/1028.90 c #Conflicts: 747000 | #Constraints: 25366
1025.84/1028.90 c #Conflicts: 748000 | #Constraints: 26366
1025.84/1028.90 c #Conflicts: 749000 | #Constraints: 27366
1025.84/1028.90 c #Conflicts: 750000 | #Constraints: 28366
1025.84/1028.90 c #Conflicts: 751000 | #Constraints: 29366
1025.84/1028.90 c #Conflicts: 752000 | #Constraints: 30366
1025.84/1028.90 c #Conflicts: 753000 | #Constraints: 31366
1025.84/1028.90 c #Conflicts: 754000 | #Constraints: 32366
1025.84/1028.90 c #Conflicts: 755000 | #Constraints: 33366
1025.84/1028.90 c #Conflicts: 756000 | #Constraints: 34366
1025.84/1028.90 c INPROCESSING
1025.84/1028.90 c GARBAGE COLLECT
1025.84/1028.90 c #Conflicts: 757000 | #Constraints: 18168
1025.84/1028.90 c #Conflicts: 758000 | #Constraints: 19168
1025.84/1028.90 c #Conflicts: 759000 | #Constraints: 20168
1025.84/1028.90 c #Conflicts: 760000 | #Constraints: 21168
1025.84/1028.90 c #Conflicts: 761000 | #Constraints: 22168
1025.84/1028.90 c #Conflicts: 762000 | #Constraints: 23168
1025.84/1028.90 c #Conflicts: 763000 | #Constraints: 24168
1025.84/1028.90 c #Conflicts: 764000 | #Constraints: 25168
1025.84/1028.90 c #Conflicts: 765000 | #Constraints: 26168
1025.84/1028.90 c #Conflicts: 766000 | #Constraints: 27168
1025.84/1028.90 c #Conflicts: 767000 | #Constraints: 28168
1025.84/1028.90 c #Conflicts: 768000 | #Constraints: 29168
1025.84/1028.90 c #Conflicts: 769000 | #Constraints: 30168
1025.84/1028.90 c #Conflicts: 770000 | #Constraints: 31168
1025.84/1028.90 c #Conflicts: 771000 | #Constraints: 32168
1025.84/1028.90 c #Conflicts: 772000 | #Constraints: 33168
1025.84/1028.90 c #Conflicts: 773000 | #Constraints: 34168
1025.84/1028.90 c #Conflicts: 774000 | #Constraints: 35168
1025.84/1028.90 c INPROCESSING
1025.84/1028.90 c GARBAGE COLLECT
1025.84/1028.90 c #Conflicts: 775000 | #Constraints: 18767
1025.84/1028.90 c #Conflicts: 776000 | #Constraints: 19767
1025.84/1028.90 c #Conflicts: 777000 | #Constraints: 20767
1025.84/1028.90 c #Conflicts: 778000 | #Constraints: 21767
1025.84/1028.90 c #Conflicts: 779000 | #Constraints: 22767
1025.84/1028.90 c #Conflicts: 780000 | #Constraints: 23767
1025.84/1028.90 c #Conflicts: 781000 | #Constraints: 24767
1025.84/1028.90 c #Conflicts: 782000 | #Constraints: 25767
1025.84/1028.90 c #Conflicts: 783000 | #Constraints: 26767
1025.84/1028.90 c #Conflicts: 784000 | #Constraints: 27767
1025.84/1028.90 c #Conflicts: 785000 | #Constraints: 28767
1025.84/1028.90 c #Conflicts: 786000 | #Constraints: 29767
1025.84/1028.90 c #Conflicts: 787000 | #Constraints: 30767
1025.84/1028.90 c #Conflicts: 788000 | #Constraints: 31767
1025.84/1028.90 c #Conflicts: 789000 | #Constraints: 32767
1025.84/1028.90 c #Conflicts: 790000 | #Constraints: 33767
1025.84/1028.90 c #Conflicts: 791000 | #Constraints: 34767
1025.84/1028.90 c #Conflicts: 792000 | #Constraints: 35767
1025.84/1028.90 c INPROCESSING
1025.84/1028.90 c GARBAGE COLLECT
1025.84/1028.90 c #Conflicts: 793000 | #Constraints: 19172
1025.84/1028.90 c #Conflicts: 794000 | #Constraints: 20172
1025.84/1028.90 c #Conflicts: 795000 | #Constraints: 21172
1025.84/1028.90 c #Conflicts: 796000 | #Constraints: 22172
1025.84/1028.90 c #Conflicts: 797000 | #Constraints: 23172
1025.84/1028.90 c #Conflicts: 798000 | #Constraints: 24172
1025.84/1028.90 c #Conflicts: 799000 | #Constraints: 25172
1025.84/1028.90 c #Conflicts: 800000 | #Constraints: 26172
1025.84/1028.90 c #Conflicts: 801000 | #Constraints: 27172
1025.84/1028.90 c #Conflicts: 802000 | #Constraints: 28172
1025.84/1028.90 c #Conflicts: 803000 | #Constraints: 29172
1025.84/1028.90 c #Conflicts: 804000 | #Constraints: 30172
1025.84/1028.90 c #Conflicts: 805000 | #Constraints: 31172
1025.84/1028.90 c #Conflicts: 806000 | #Constraints: 32172
1025.84/1028.90 c #Conflicts: 807000 | #Constraints: 33172
1025.84/1028.90 c #Conflicts: 808000 | #Constraints: 34172
1025.84/1028.90 c #Conflicts: 809000 | #Constraints: 35172
1025.84/1028.90 c #Conflicts: 810000 | #Constraints: 36172
1025.84/1028.90 c INPROCESSING
1025.84/1028.90 c GARBAGE COLLECT
1025.84/1028.90 c #Conflicts: 811000 | #Constraints: 19369
1025.84/1028.90 c #Conflicts: 812000 | #Constraints: 20369
1025.84/1028.90 c #Conflicts: 813000 | #Constraints: 21369
1172.66/1176.19 c #Conflicts: 814000 | #Constraints: 22369
1172.66/1176.19 c #Conflicts: 815000 | #Constraints: 23369
1172.66/1176.19 c #Conflicts: 816000 | #Constraints: 24369
1172.66/1176.19 c #Conflicts: 817000 | #Constraints: 25369
1172.66/1176.19 c #Conflicts: 818000 | #Constraints: 26369
1172.66/1176.19 c #Conflicts: 819000 | #Constraints: 27369
1172.66/1176.19 c #Conflicts: 820000 | #Constraints: 28369
1172.66/1176.19 c #Conflicts: 821000 | #Constraints: 29369
1172.66/1176.19 c #Conflicts: 822000 | #Constraints: 30369
1172.66/1176.19 c #Conflicts: 823000 | #Constraints: 31369
1172.66/1176.19 c #Conflicts: 824000 | #Constraints: 32369
1172.66/1176.19 c #Conflicts: 825000 | #Constraints: 33369
1172.66/1176.19 c #Conflicts: 826000 | #Constraints: 34369
1172.66/1176.19 c #Conflicts: 827000 | #Constraints: 35369
1172.66/1176.19 c #Conflicts: 828000 | #Constraints: 36369
1172.66/1176.19 c INPROCESSING
1172.66/1176.19 c GARBAGE COLLECT
1172.66/1176.19 c #Conflicts: 829000 | #Constraints: 19371
1172.66/1176.19 c #Conflicts: 830000 | #Constraints: 20371
1172.66/1176.19 c #Conflicts: 831000 | #Constraints: 21371
1172.66/1176.19 c #Conflicts: 832000 | #Constraints: 22371
1172.66/1176.19 c #Conflicts: 833000 | #Constraints: 23371
1172.66/1176.19 c #Conflicts: 834000 | #Constraints: 24371
1172.66/1176.19 c #Conflicts: 835000 | #Constraints: 25371
1172.66/1176.19 c #Conflicts: 836000 | #Constraints: 26371
1172.66/1176.19 c #Conflicts: 837000 | #Constraints: 27371
1172.66/1176.19 c #Conflicts: 838000 | #Constraints: 28371
1172.66/1176.19 c #Conflicts: 839000 | #Constraints: 29371
1172.66/1176.19 c #Conflicts: 840000 | #Constraints: 30371
1172.66/1176.19 c #Conflicts: 841000 | #Constraints: 31371
1172.66/1176.19 c #Conflicts: 842000 | #Constraints: 32371
1172.66/1176.19 c #Conflicts: 843000 | #Constraints: 33371
1172.66/1176.19 c #Conflicts: 844000 | #Constraints: 34371
1172.66/1176.19 c #Conflicts: 845000 | #Constraints: 35371
1172.66/1176.19 c #Conflicts: 846000 | #Constraints: 36371
1172.66/1176.19 c INPROCESSING
1172.66/1176.19 c GARBAGE COLLECT
1172.66/1176.19 c #Conflicts: 847000 | #Constraints: 19168
1172.66/1176.19 c #Conflicts: 848000 | #Constraints: 20168
1172.66/1176.19 c #Conflicts: 849000 | #Constraints: 21168
1172.66/1176.19 c #Conflicts: 850000 | #Constraints: 22168
1172.66/1176.19 c #Conflicts: 851000 | #Constraints: 23168
1172.66/1176.19 c #Conflicts: 852000 | #Constraints: 24168
1172.66/1176.19 c #Conflicts: 853000 | #Constraints: 25168
1172.66/1176.19 c #Conflicts: 854000 | #Constraints: 26168
1172.66/1176.19 c #Conflicts: 855000 | #Constraints: 27168
1172.66/1176.19 c #Conflicts: 856000 | #Constraints: 28168
1172.66/1176.19 c #Conflicts: 857000 | #Constraints: 29168
1172.66/1176.19 c #Conflicts: 858000 | #Constraints: 30168
1172.66/1176.19 c #Conflicts: 859000 | #Constraints: 31168
1172.66/1176.19 c #Conflicts: 860000 | #Constraints: 32168
1172.66/1176.19 c #Conflicts: 861000 | #Constraints: 33168
1172.66/1176.19 c #Conflicts: 862000 | #Constraints: 34168
1172.66/1176.19 c #Conflicts: 863000 | #Constraints: 35168
1172.66/1176.19 c #Conflicts: 864000 | #Constraints: 36168
1172.66/1176.19 c #Conflicts: 865000 | #Constraints: 37168
1172.66/1176.19 c INPROCESSING
1172.66/1176.19 c GARBAGE COLLECT
1172.66/1176.19 c #Conflicts: 866000 | #Constraints: 19767
1172.66/1176.19 c #Conflicts: 867000 | #Constraints: 20767
1172.66/1176.19 c #Conflicts: 868000 | #Constraints: 21767
1172.66/1176.19 c #Conflicts: 869000 | #Constraints: 22767
1172.66/1176.19 c #Conflicts: 870000 | #Constraints: 23767
1172.66/1176.19 c #Conflicts: 871000 | #Constraints: 24767
1172.66/1176.19 c #Conflicts: 872000 | #Constraints: 25767
1172.66/1176.19 c #Conflicts: 873000 | #Constraints: 26767
1172.66/1176.19 c #Conflicts: 874000 | #Constraints: 27767
1172.66/1176.19 c #Conflicts: 875000 | #Constraints: 28767
1172.66/1176.19 c #Conflicts: 876000 | #Constraints: 29767
1172.66/1176.19 c #Conflicts: 877000 | #Constraints: 30767
1172.66/1176.19 c #Conflicts: 878000 | #Constraints: 31767
1172.66/1176.19 c #Conflicts: 879000 | #Constraints: 32767
1172.66/1176.19 c #Conflicts: 880000 | #Constraints: 33767
1172.66/1176.19 c #Conflicts: 881000 | #Constraints: 34767
1172.66/1176.19 c #Conflicts: 882000 | #Constraints: 35767
1172.66/1176.19 c #Conflicts: 883000 | #Constraints: 36767
1172.66/1176.19 c #Conflicts: 884000 | #Constraints: 37767
1172.66/1176.19 c INPROCESSING
1172.66/1176.19 c GARBAGE COLLECT
1172.66/1176.19 c #Conflicts: 885000 | #Constraints: 20166
1172.66/1176.19 c #Conflicts: 886000 | #Constraints: 21166
1172.66/1176.19 c #Conflicts: 887000 | #Constraints: 22166
1172.66/1176.19 c #Conflicts: 888000 | #Constraints: 23166
1172.66/1176.19 c #Conflicts: 889000 | #Constraints: 24166
1172.66/1176.19 c #Conflicts: 890000 | #Constraints: 25166
1322.28/1326.17 c #Conflicts: 891000 | #Constraints: 26166
1322.28/1326.17 c #Conflicts: 892000 | #Constraints: 27166
1322.28/1326.17 c #Conflicts: 893000 | #Constraints: 28166
1322.28/1326.17 c #Conflicts: 894000 | #Constraints: 29166
1322.28/1326.17 c #Conflicts: 895000 | #Constraints: 30166
1322.28/1326.17 c #Conflicts: 896000 | #Constraints: 31166
1322.28/1326.17 c #Conflicts: 897000 | #Constraints: 32166
1322.28/1326.17 c #Conflicts: 898000 | #Constraints: 33166
1322.28/1326.17 c #Conflicts: 899000 | #Constraints: 34166
1322.28/1326.17 c #Conflicts: 900000 | #Constraints: 35166
1322.28/1326.17 c #Conflicts: 901000 | #Constraints: 36166
1322.28/1326.17 c #Conflicts: 902000 | #Constraints: 37166
1322.28/1326.17 c #Conflicts: 903000 | #Constraints: 38166
1322.28/1326.17 c INPROCESSING
1322.28/1326.17 c GARBAGE COLLECT
1322.28/1326.17 c #Conflicts: 904000 | #Constraints: 20378
1322.28/1326.17 c #Conflicts: 905000 | #Constraints: 21378
1322.28/1326.17 c #Conflicts: 906000 | #Constraints: 22378
1322.28/1326.17 c #Conflicts: 907000 | #Constraints: 23378
1322.28/1326.17 c #Conflicts: 908000 | #Constraints: 24378
1322.28/1326.17 c #Conflicts: 909000 | #Constraints: 25378
1322.28/1326.17 c #Conflicts: 910000 | #Constraints: 26378
1322.28/1326.17 c #Conflicts: 911000 | #Constraints: 27378
1322.28/1326.17 c #Conflicts: 912000 | #Constraints: 28378
1322.28/1326.17 c #Conflicts: 913000 | #Constraints: 29378
1322.28/1326.17 c #Conflicts: 914000 | #Constraints: 30378
1322.28/1326.17 c #Conflicts: 915000 | #Constraints: 31378
1322.28/1326.17 c #Conflicts: 916000 | #Constraints: 32378
1322.28/1326.17 c #Conflicts: 917000 | #Constraints: 33378
1322.28/1326.17 c #Conflicts: 918000 | #Constraints: 34378
1322.28/1326.17 c #Conflicts: 919000 | #Constraints: 35378
1322.28/1326.17 c #Conflicts: 920000 | #Constraints: 36378
1322.28/1326.17 c #Conflicts: 921000 | #Constraints: 37378
1322.28/1326.17 c #Conflicts: 922000 | #Constraints: 38378
1322.28/1326.17 c INPROCESSING
1322.28/1326.17 c GARBAGE COLLECT
1322.28/1326.17 c #Conflicts: 923000 | #Constraints: 20383
1322.28/1326.17 c #Conflicts: 924000 | #Constraints: 21383
1322.28/1326.17 c #Conflicts: 925000 | #Constraints: 22383
1322.28/1326.17 c #Conflicts: 926000 | #Constraints: 23383
1322.28/1326.17 c #Conflicts: 927000 | #Constraints: 24383
1322.28/1326.17 c #Conflicts: 928000 | #Constraints: 25383
1322.28/1326.17 c #Conflicts: 929000 | #Constraints: 26383
1322.28/1326.17 c #Conflicts: 930000 | #Constraints: 27383
1322.28/1326.17 c #Conflicts: 931000 | #Constraints: 28383
1322.28/1326.17 c #Conflicts: 932000 | #Constraints: 29383
1322.28/1326.17 c #Conflicts: 933000 | #Constraints: 30383
1322.28/1326.17 c #Conflicts: 934000 | #Constraints: 31383
1322.28/1326.17 c #Conflicts: 935000 | #Constraints: 32383
1322.28/1326.17 c #Conflicts: 936000 | #Constraints: 33383
1322.28/1326.17 c #Conflicts: 937000 | #Constraints: 34383
1322.28/1326.17 c #Conflicts: 938000 | #Constraints: 35383
1322.28/1326.17 c #Conflicts: 939000 | #Constraints: 36383
1322.28/1326.17 c #Conflicts: 940000 | #Constraints: 37383
1322.28/1326.17 c #Conflicts: 941000 | #Constraints: 38383
1322.28/1326.17 c INPROCESSING
1322.28/1326.17 c GARBAGE COLLECT
1322.28/1326.17 c #Conflicts: 942000 | #Constraints: 20183
1322.28/1326.17 c #Conflicts: 943000 | #Constraints: 21183
1322.28/1326.17 c #Conflicts: 944000 | #Constraints: 22183
1322.28/1326.17 c #Conflicts: 945000 | #Constraints: 23183
1322.28/1326.17 c #Conflicts: 946000 | #Constraints: 24183
1322.28/1326.17 c #Conflicts: 947000 | #Constraints: 25183
1322.28/1326.17 c #Conflicts: 948000 | #Constraints: 26183
1322.28/1326.17 c #Conflicts: 949000 | #Constraints: 27183
1322.28/1326.17 c #Conflicts: 950000 | #Constraints: 28183
1322.28/1326.17 c #Conflicts: 951000 | #Constraints: 29183
1322.28/1326.17 c #Conflicts: 952000 | #Constraints: 30183
1322.28/1326.17 c #Conflicts: 953000 | #Constraints: 31183
1322.28/1326.17 c #Conflicts: 954000 | #Constraints: 32183
1322.28/1326.17 c #Conflicts: 955000 | #Constraints: 33183
1322.28/1326.17 c #Conflicts: 956000 | #Constraints: 34183
1322.28/1326.17 c #Conflicts: 957000 | #Constraints: 35183
1322.28/1326.17 c #Conflicts: 958000 | #Constraints: 36183
1322.28/1326.17 c #Conflicts: 959000 | #Constraints: 37183
1322.28/1326.17 c #Conflicts: 960000 | #Constraints: 38183
1322.28/1326.17 c #Conflicts: 961000 | #Constraints: 39183
1322.28/1326.17 c INPROCESSING
1322.28/1326.17 c GARBAGE COLLECT
1322.28/1326.17 c #Conflicts: 962000 | #Constraints: 20776
1322.28/1326.17 c #Conflicts: 963000 | #Constraints: 21776
1322.28/1326.17 c #Conflicts: 964000 | #Constraints: 22776
1322.28/1326.17 c #Conflicts: 965000 | #Constraints: 23776
1322.28/1326.17 c #Conflicts: 966000 | #Constraints: 24776
1508.99/1513.38 c #Conflicts: 967000 | #Constraints: 25776
1508.99/1513.38 c #Conflicts: 968000 | #Constraints: 26776
1508.99/1513.38 c #Conflicts: 969000 | #Constraints: 27776
1508.99/1513.38 c #Conflicts: 970000 | #Constraints: 28776
1508.99/1513.38 c #Conflicts: 971000 | #Constraints: 29776
1508.99/1513.38 c #Conflicts: 972000 | #Constraints: 30776
1508.99/1513.38 c #Conflicts: 973000 | #Constraints: 31776
1508.99/1513.38 c #Conflicts: 974000 | #Constraints: 32776
1508.99/1513.38 c #Conflicts: 975000 | #Constraints: 33776
1508.99/1513.38 c #Conflicts: 976000 | #Constraints: 34776
1508.99/1513.38 c #Conflicts: 977000 | #Constraints: 35776
1508.99/1513.38 c #Conflicts: 978000 | #Constraints: 36776
1508.99/1513.38 c #Conflicts: 979000 | #Constraints: 37776
1508.99/1513.38 c #Conflicts: 980000 | #Constraints: 38776
1508.99/1513.38 c #Conflicts: 981000 | #Constraints: 39776
1508.99/1513.38 c INPROCESSING
1508.99/1513.38 c GARBAGE COLLECT
1508.99/1513.38 c #Conflicts: 982000 | #Constraints: 21167
1508.99/1513.38 c #Conflicts: 983000 | #Constraints: 22167
1508.99/1513.38 c #Conflicts: 984000 | #Constraints: 23167
1508.99/1513.38 c #Conflicts: 985000 | #Constraints: 24167
1508.99/1513.38 c #Conflicts: 986000 | #Constraints: 25167
1508.99/1513.38 c #Conflicts: 987000 | #Constraints: 26167
1508.99/1513.38 c #Conflicts: 988000 | #Constraints: 27167
1508.99/1513.38 c #Conflicts: 989000 | #Constraints: 28167
1508.99/1513.38 c #Conflicts: 990000 | #Constraints: 29167
1508.99/1513.38 c #Conflicts: 991000 | #Constraints: 30167
1508.99/1513.38 c #Conflicts: 992000 | #Constraints: 31167
1508.99/1513.38 c #Conflicts: 993000 | #Constraints: 32167
1508.99/1513.38 c #Conflicts: 994000 | #Constraints: 33167
1508.99/1513.38 c #Conflicts: 995000 | #Constraints: 34167
1508.99/1513.38 c #Conflicts: 996000 | #Constraints: 35167
1508.99/1513.38 c #Conflicts: 997000 | #Constraints: 36167
1508.99/1513.38 c #Conflicts: 998000 | #Constraints: 37167
1508.99/1513.38 c #Conflicts: 999000 | #Constraints: 38167
1508.99/1513.38 c #Conflicts: 1000000 | #Constraints: 39167
1508.99/1513.38 c #Conflicts: 1001000 | #Constraints: 40167
1508.99/1513.38 c INPROCESSING
1508.99/1513.38 c GARBAGE COLLECT
1508.99/1513.38 c #Conflicts: 1002000 | #Constraints: 21371
1508.99/1513.38 c #Conflicts: 1003000 | #Constraints: 22371
1508.99/1513.38 c #Conflicts: 1004000 | #Constraints: 23371
1508.99/1513.38 c #Conflicts: 1005000 | #Constraints: 24371
1508.99/1513.38 c #Conflicts: 1006000 | #Constraints: 25371
1508.99/1513.38 c #Conflicts: 1007000 | #Constraints: 26371
1508.99/1513.38 c #Conflicts: 1008000 | #Constraints: 27371
1508.99/1513.38 c #Conflicts: 1009000 | #Constraints: 28371
1508.99/1513.38 c #Conflicts: 1010000 | #Constraints: 29371
1508.99/1513.38 c #Conflicts: 1011000 | #Constraints: 30371
1508.99/1513.38 c #Conflicts: 1012000 | #Constraints: 31371
1508.99/1513.38 c #Conflicts: 1013000 | #Constraints: 32371
1508.99/1513.38 c #Conflicts: 1014000 | #Constraints: 33371
1508.99/1513.38 c #Conflicts: 1015000 | #Constraints: 34371
1508.99/1513.38 c #Conflicts: 1016000 | #Constraints: 35371
1508.99/1513.38 c #Conflicts: 1017000 | #Constraints: 36371
1508.99/1513.38 c #Conflicts: 1018000 | #Constraints: 37371
1508.99/1513.38 c #Conflicts: 1019000 | #Constraints: 38371
1508.99/1513.38 c #Conflicts: 1020000 | #Constraints: 39371
1508.99/1513.38 c #Conflicts: 1021000 | #Constraints: 40371
1508.99/1513.38 c INPROCESSING
1508.99/1513.38 c GARBAGE COLLECT
1508.99/1513.38 c #Conflicts: 1022000 | #Constraints: 21371
1508.99/1513.38 c #Conflicts: 1023000 | #Constraints: 22371
1508.99/1513.38 c #Conflicts: 1024000 | #Constraints: 23371
1508.99/1513.38 c #Conflicts: 1025000 | #Constraints: 24371
1508.99/1513.38 c #Conflicts: 1026000 | #Constraints: 25371
1508.99/1513.38 c #Conflicts: 1027000 | #Constraints: 26371
1508.99/1513.38 c #Conflicts: 1028000 | #Constraints: 27371
1508.99/1513.38 c #Conflicts: 1029000 | #Constraints: 28371
1508.99/1513.38 c #Conflicts: 1030000 | #Constraints: 29371
1508.99/1513.38 c #Conflicts: 1031000 | #Constraints: 30371
1508.99/1513.38 c #Conflicts: 1032000 | #Constraints: 31371
1508.99/1513.38 c #Conflicts: 1033000 | #Constraints: 32371
1508.99/1513.38 c #Conflicts: 1034000 | #Constraints: 33371
1508.99/1513.38 c #Conflicts: 1035000 | #Constraints: 34371
1508.99/1513.38 c #Conflicts: 1036000 | #Constraints: 35371
1508.99/1513.38 c #Conflicts: 1037000 | #Constraints: 36371
1508.99/1513.38 c #Conflicts: 1038000 | #Constraints: 37371
1508.99/1513.38 c #Conflicts: 1039000 | #Constraints: 38371
1508.99/1513.38 c #Conflicts: 1040000 | #Constraints: 39371
1508.99/1513.38 c #Conflicts: 1041000 | #Constraints: 40371
1508.99/1513.38 c INPROCESSING
1508.99/1513.38 c GARBAGE COLLECT
1508.99/1513.38 c #Conflicts: 1042000 | #Constraints: 21165
1674.46/1679.26 c #Conflicts: 1043000 | #Constraints: 22165
1674.46/1679.26 c #Conflicts: 1044000 | #Constraints: 23165
1674.46/1679.26 c #Conflicts: 1045000 | #Constraints: 24165
1674.46/1679.26 c #Conflicts: 1046000 | #Constraints: 25165
1674.46/1679.26 c #Conflicts: 1047000 | #Constraints: 26165
1674.46/1679.26 c #Conflicts: 1048000 | #Constraints: 27165
1674.46/1679.26 c #Conflicts: 1049000 | #Constraints: 28165
1674.46/1679.26 c #Conflicts: 1050000 | #Constraints: 29165
1674.46/1679.26 c #Conflicts: 1051000 | #Constraints: 30165
1674.46/1679.26 c #Conflicts: 1052000 | #Constraints: 31165
1674.46/1679.26 c #Conflicts: 1053000 | #Constraints: 32165
1674.46/1679.26 c #Conflicts: 1054000 | #Constraints: 33165
1674.46/1679.26 c #Conflicts: 1055000 | #Constraints: 34165
1674.46/1679.26 c #Conflicts: 1056000 | #Constraints: 35165
1674.46/1679.26 c #Conflicts: 1057000 | #Constraints: 36165
1674.46/1679.26 c #Conflicts: 1058000 | #Constraints: 37165
1674.46/1679.26 c #Conflicts: 1059000 | #Constraints: 38165
1674.46/1679.26 c #Conflicts: 1060000 | #Constraints: 39165
1674.46/1679.26 c #Conflicts: 1061000 | #Constraints: 40165
1674.46/1679.26 c #Conflicts: 1062000 | #Constraints: 41165
1674.46/1679.26 c INPROCESSING
1674.46/1679.26 c GARBAGE COLLECT
1674.46/1679.26 c #Conflicts: 1063000 | #Constraints: 21766
1674.46/1679.26 c #Conflicts: 1064000 | #Constraints: 22766
1674.46/1679.26 c #Conflicts: 1065000 | #Constraints: 23766
1674.46/1679.26 c #Conflicts: 1066000 | #Constraints: 24766
1674.46/1679.26 c #Conflicts: 1067000 | #Constraints: 25766
1674.46/1679.26 c #Conflicts: 1068000 | #Constraints: 26766
1674.46/1679.26 c #Conflicts: 1069000 | #Constraints: 27766
1674.46/1679.26 c #Conflicts: 1070000 | #Constraints: 28766
1674.46/1679.26 c #Conflicts: 1071000 | #Constraints: 29766
1674.46/1679.26 c #Conflicts: 1072000 | #Constraints: 30766
1674.46/1679.26 c #Conflicts: 1073000 | #Constraints: 31766
1674.46/1679.26 c #Conflicts: 1074000 | #Constraints: 32766
1674.46/1679.26 c #Conflicts: 1075000 | #Constraints: 33766
1674.46/1679.26 c #Conflicts: 1076000 | #Constraints: 34766
1674.46/1679.26 c #Conflicts: 1077000 | #Constraints: 35766
1674.46/1679.26 c #Conflicts: 1078000 | #Constraints: 36766
1674.46/1679.26 c #Conflicts: 1079000 | #Constraints: 37766
1674.46/1679.26 c #Conflicts: 1080000 | #Constraints: 38766
1674.46/1679.26 c #Conflicts: 1081000 | #Constraints: 39766
1674.46/1679.26 c #Conflicts: 1082000 | #Constraints: 40766
1674.46/1679.26 c #Conflicts: 1083000 | #Constraints: 41766
1674.46/1679.26 c INPROCESSING
1674.46/1679.26 c GARBAGE COLLECT
1674.46/1679.26 c #Conflicts: 1084000 | #Constraints: 22165
1674.46/1679.26 c #Conflicts: 1085000 | #Constraints: 23165
1674.46/1679.26 c #Conflicts: 1086000 | #Constraints: 24165
1674.46/1679.26 c #Conflicts: 1087000 | #Constraints: 25165
1674.46/1679.26 c #Conflicts: 1088000 | #Constraints: 26165
1674.46/1679.26 c #Conflicts: 1089000 | #Constraints: 27165
1674.46/1679.26 c #Conflicts: 1090000 | #Constraints: 28165
1674.46/1679.26 c #Conflicts: 1091000 | #Constraints: 29165
1674.46/1679.26 c #Conflicts: 1092000 | #Constraints: 30165
1674.46/1679.26 c #Conflicts: 1093000 | #Constraints: 31165
1674.46/1679.26 c #Conflicts: 1094000 | #Constraints: 32165
1674.46/1679.26 c #Conflicts: 1095000 | #Constraints: 33165
1674.46/1679.26 c #Conflicts: 1096000 | #Constraints: 34165
1674.46/1679.26 c #Conflicts: 1097000 | #Constraints: 35165
1674.46/1679.26 c #Conflicts: 1098000 | #Constraints: 36165
1674.46/1679.26 c #Conflicts: 1099000 | #Constraints: 37165
1674.46/1679.26 c #Conflicts: 1100000 | #Constraints: 38165
1674.46/1679.26 c #Conflicts: 1101000 | #Constraints: 39165
1674.46/1679.26 c #Conflicts: 1102000 | #Constraints: 40165
1674.46/1679.26 c #Conflicts: 1103000 | #Constraints: 41165
1674.46/1679.26 c #Conflicts: 1104000 | #Constraints: 42165
1674.46/1679.26 c INPROCESSING
1674.46/1679.26 c GARBAGE COLLECT
1674.46/1679.26 c #Conflicts: 1105000 | #Constraints: 22365
1674.46/1679.26 c #Conflicts: 1106000 | #Constraints: 23365
1674.46/1679.26 c #Conflicts: 1107000 | #Constraints: 24365
1674.46/1679.26 c #Conflicts: 1108000 | #Constraints: 25365
1674.46/1679.26 c #Conflicts: 1109000 | #Constraints: 26365
1674.46/1679.26 c #Conflicts: 1110000 | #Constraints: 27365
1674.46/1679.26 c #Conflicts: 1111000 | #Constraints: 28365
1674.46/1679.26 c #Conflicts: 1112000 | #Constraints: 29365
1674.46/1679.26 c #Conflicts: 1113000 | #Constraints: 30365
1674.46/1679.26 c #Conflicts: 1114000 | #Constraints: 31365
1674.46/1679.26 c #Conflicts: 1115000 | #Constraints: 32365
1674.46/1679.26 c #Conflicts: 1116000 | #Constraints: 33365
1674.46/1679.26 c #Conflicts: 1117000 | #Constraints: 34365
1674.46/1679.26 c #Conflicts: 1118000 | #Constraints: 35365
1674.46/1679.26 c #Conflicts: 1119000 | #Constraints: 36365
1862.15/1867.48 c #Conflicts: 1120000 | #Constraints: 37365
1862.15/1867.48 c #Conflicts: 1121000 | #Constraints: 38365
1862.15/1867.48 c #Conflicts: 1122000 | #Constraints: 39365
1862.15/1867.48 c #Conflicts: 1123000 | #Constraints: 40365
1862.15/1867.48 c #Conflicts: 1124000 | #Constraints: 41365
1862.15/1867.48 c #Conflicts: 1125000 | #Constraints: 42365
1862.15/1867.48 c INPROCESSING
1862.15/1867.48 c GARBAGE COLLECT
1862.15/1867.48 c #Conflicts: 1126000 | #Constraints: 22369
1862.15/1867.48 c #Conflicts: 1127000 | #Constraints: 23369
1862.15/1867.48 c #Conflicts: 1128000 | #Constraints: 24369
1862.15/1867.48 c #Conflicts: 1129000 | #Constraints: 25369
1862.15/1867.48 c #Conflicts: 1130000 | #Constraints: 26369
1862.15/1867.48 c #Conflicts: 1131000 | #Constraints: 27369
1862.15/1867.48 c #Conflicts: 1132000 | #Constraints: 28369
1862.15/1867.48 c #Conflicts: 1133000 | #Constraints: 29369
1862.15/1867.48 c #Conflicts: 1134000 | #Constraints: 30369
1862.15/1867.48 c #Conflicts: 1135000 | #Constraints: 31369
1862.15/1867.48 c #Conflicts: 1136000 | #Constraints: 32369
1862.15/1867.48 c #Conflicts: 1137000 | #Constraints: 33369
1862.15/1867.48 c #Conflicts: 1138000 | #Constraints: 34369
1862.15/1867.48 c #Conflicts: 1139000 | #Constraints: 35369
1862.15/1867.48 c #Conflicts: 1140000 | #Constraints: 36369
1862.15/1867.48 c #Conflicts: 1141000 | #Constraints: 37369
1862.15/1867.48 c #Conflicts: 1142000 | #Constraints: 38369
1862.15/1867.48 c #Conflicts: 1143000 | #Constraints: 39369
1862.15/1867.48 c #Conflicts: 1144000 | #Constraints: 40369
1862.15/1867.48 c #Conflicts: 1145000 | #Constraints: 41369
1862.15/1867.48 c #Conflicts: 1146000 | #Constraints: 42369
1862.15/1867.48 c INPROCESSING
1862.15/1867.48 c GARBAGE COLLECT
1862.15/1867.48 c #Conflicts: 1147000 | #Constraints: 22164
1862.15/1867.48 c #Conflicts: 1148000 | #Constraints: 23164
1862.15/1867.48 c #Conflicts: 1149000 | #Constraints: 24164
1862.15/1867.48 c #Conflicts: 1150000 | #Constraints: 25164
1862.15/1867.48 c #Conflicts: 1151000 | #Constraints: 26164
1862.15/1867.48 c #Conflicts: 1152000 | #Constraints: 27164
1862.15/1867.48 c #Conflicts: 1153000 | #Constraints: 28164
1862.15/1867.48 c #Conflicts: 1154000 | #Constraints: 29164
1862.15/1867.48 c #Conflicts: 1155000 | #Constraints: 30164
1862.15/1867.48 c #Conflicts: 1156000 | #Constraints: 31164
1862.15/1867.48 c #Conflicts: 1157000 | #Constraints: 32164
1862.15/1867.48 c #Conflicts: 1158000 | #Constraints: 33164
1862.15/1867.48 c #Conflicts: 1159000 | #Constraints: 34164
1862.15/1867.48 c #Conflicts: 1160000 | #Constraints: 35164
1862.15/1867.48 c #Conflicts: 1161000 | #Constraints: 36164
1862.15/1867.48 c #Conflicts: 1162000 | #Constraints: 37164
1862.15/1867.48 c #Conflicts: 1163000 | #Constraints: 38164
1862.15/1867.48 c #Conflicts: 1164000 | #Constraints: 39164
1862.15/1867.48 c #Conflicts: 1165000 | #Constraints: 40164
1862.15/1867.48 c #Conflicts: 1166000 | #Constraints: 41164
1862.15/1867.48 c #Conflicts: 1167000 | #Constraints: 42164
1862.15/1867.48 c #Conflicts: 1168000 | #Constraints: 43164
1862.15/1867.48 c INPROCESSING
1862.15/1867.48 c GARBAGE COLLECT
1862.15/1867.48 c #Conflicts: 1169000 | #Constraints: 22764
1862.15/1867.48 c #Conflicts: 1170000 | #Constraints: 23764
1862.15/1867.48 c #Conflicts: 1171000 | #Constraints: 24764
1862.15/1867.48 c #Conflicts: 1172000 | #Constraints: 25764
1862.15/1867.48 c #Conflicts: 1173000 | #Constraints: 26764
1862.15/1867.48 c #Conflicts: 1174000 | #Constraints: 27764
1862.15/1867.48 c #Conflicts: 1175000 | #Constraints: 28764
1862.15/1867.48 c #Conflicts: 1176000 | #Constraints: 29764
1862.15/1867.48 c #Conflicts: 1177000 | #Constraints: 30764
1862.15/1867.48 c #Conflicts: 1178000 | #Constraints: 31764
1862.15/1867.48 c #Conflicts: 1179000 | #Constraints: 32764
1862.15/1867.48 c #Conflicts: 1180000 | #Constraints: 33764
1862.15/1867.48 c #Conflicts: 1181000 | #Constraints: 34764
1862.15/1867.48 c #Conflicts: 1182000 | #Constraints: 35764
1862.15/1867.48 c #Conflicts: 1183000 | #Constraints: 36764
1862.15/1867.48 c #Conflicts: 1184000 | #Constraints: 37764
1862.15/1867.48 c #Conflicts: 1185000 | #Constraints: 38764
1862.15/1867.48 c #Conflicts: 1186000 | #Constraints: 39764
1862.15/1867.48 c #Conflicts: 1187000 | #Constraints: 40764
1862.15/1867.48 c #Conflicts: 1188000 | #Constraints: 41764
1862.15/1867.48 c #Conflicts: 1189000 | #Constraints: 42764
1862.15/1867.48 c #Conflicts: 1190000 | #Constraints: 43764
1862.15/1867.48 c INPROCESSING
1862.15/1867.48 c GARBAGE COLLECT
1862.15/1867.48 c #Conflicts: 1191000 | #Constraints: 23164
1862.15/1867.48 c #Conflicts: 1192000 | #Constraints: 24164
1862.15/1867.48 c #Conflicts: 1193000 | #Constraints: 25164
1862.15/1867.48 c #Conflicts: 1194000 | #Constraints: 26164
1862.15/1867.48 c #Conflicts: 1195000 | #Constraints: 27164
2066.89/2072.71 c #Conflicts: 1196000 | #Constraints: 28164
2066.89/2072.71 c #Conflicts: 1197000 | #Constraints: 29164
2066.89/2072.71 c #Conflicts: 1198000 | #Constraints: 30164
2066.89/2072.71 c #Conflicts: 1199000 | #Constraints: 31164
2066.89/2072.71 c #Conflicts: 1200000 | #Constraints: 32164
2066.89/2072.71 c #Conflicts: 1201000 | #Constraints: 33164
2066.89/2072.71 c #Conflicts: 1202000 | #Constraints: 34164
2066.89/2072.71 c #Conflicts: 1203000 | #Constraints: 35164
2066.89/2072.71 c #Conflicts: 1204000 | #Constraints: 36164
2066.89/2072.71 c #Conflicts: 1205000 | #Constraints: 37164
2066.89/2072.71 c #Conflicts: 1206000 | #Constraints: 38164
2066.89/2072.71 c #Conflicts: 1207000 | #Constraints: 39164
2066.89/2072.71 c #Conflicts: 1208000 | #Constraints: 40164
2066.89/2072.71 c #Conflicts: 1209000 | #Constraints: 41164
2066.89/2072.71 c #Conflicts: 1210000 | #Constraints: 42164
2066.89/2072.71 c #Conflicts: 1211000 | #Constraints: 43164
2066.89/2072.71 c #Conflicts: 1212000 | #Constraints: 44164
2066.89/2072.71 c INPROCESSING
2066.89/2072.71 c GARBAGE COLLECT
2066.89/2072.71 c #Conflicts: 1213000 | #Constraints: 23367
2066.89/2072.71 c #Conflicts: 1214000 | #Constraints: 24367
2066.89/2072.71 c #Conflicts: 1215000 | #Constraints: 25367
2066.89/2072.71 c #Conflicts: 1216000 | #Constraints: 26367
2066.89/2072.71 c #Conflicts: 1217000 | #Constraints: 27367
2066.89/2072.71 c #Conflicts: 1218000 | #Constraints: 28367
2066.89/2072.71 c #Conflicts: 1219000 | #Constraints: 29367
2066.89/2072.71 c #Conflicts: 1220000 | #Constraints: 30367
2066.89/2072.71 c #Conflicts: 1221000 | #Constraints: 31367
2066.89/2072.71 c #Conflicts: 1222000 | #Constraints: 32367
2066.89/2072.71 c #Conflicts: 1223000 | #Constraints: 33367
2066.89/2072.71 c #Conflicts: 1224000 | #Constraints: 34367
2066.89/2072.71 c #Conflicts: 1225000 | #Constraints: 35367
2066.89/2072.71 c #Conflicts: 1226000 | #Constraints: 36367
2066.89/2072.71 c #Conflicts: 1227000 | #Constraints: 37367
2066.89/2072.71 c #Conflicts: 1228000 | #Constraints: 38367
2066.89/2072.71 c #Conflicts: 1229000 | #Constraints: 39367
2066.89/2072.71 c #Conflicts: 1230000 | #Constraints: 40367
2066.89/2072.71 c #Conflicts: 1231000 | #Constraints: 41367
2066.89/2072.71 c #Conflicts: 1232000 | #Constraints: 42367
2066.89/2072.71 c #Conflicts: 1233000 | #Constraints: 43367
2066.89/2072.71 c #Conflicts: 1234000 | #Constraints: 44367
2066.89/2072.71 c INPROCESSING
2066.89/2072.71 c GARBAGE COLLECT
2066.89/2072.71 c #Conflicts: 1235000 | #Constraints: 23365
2066.89/2072.71 c #Conflicts: 1236000 | #Constraints: 24365
2066.89/2072.71 c #Conflicts: 1237000 | #Constraints: 25365
2066.89/2072.71 c #Conflicts: 1238000 | #Constraints: 26365
2066.89/2072.71 c #Conflicts: 1239000 | #Constraints: 27365
2066.89/2072.71 c #Conflicts: 1240000 | #Constraints: 28365
2066.89/2072.71 c #Conflicts: 1241000 | #Constraints: 29365
2066.89/2072.71 c #Conflicts: 1242000 | #Constraints: 30365
2066.89/2072.71 c #Conflicts: 1243000 | #Constraints: 31365
2066.89/2072.71 c #Conflicts: 1244000 | #Constraints: 32365
2066.89/2072.71 c #Conflicts: 1245000 | #Constraints: 33365
2066.89/2072.71 c #Conflicts: 1246000 | #Constraints: 34365
2066.89/2072.71 c #Conflicts: 1247000 | #Constraints: 35365
2066.89/2072.71 c #Conflicts: 1248000 | #Constraints: 36365
2066.89/2072.71 c #Conflicts: 1249000 | #Constraints: 37365
2066.89/2072.71 c #Conflicts: 1250000 | #Constraints: 38365
2066.89/2072.71 c #Conflicts: 1251000 | #Constraints: 39365
2066.89/2072.71 c #Conflicts: 1252000 | #Constraints: 40365
2066.89/2072.71 c #Conflicts: 1253000 | #Constraints: 41365
2066.89/2072.71 c #Conflicts: 1254000 | #Constraints: 42365
2066.89/2072.71 c #Conflicts: 1255000 | #Constraints: 43365
2066.89/2072.71 c #Conflicts: 1256000 | #Constraints: 44365
2066.89/2072.71 c INPROCESSING
2066.89/2072.71 c GARBAGE COLLECT
2066.89/2072.71 c #Conflicts: 1257000 | #Constraints: 23169
2066.89/2072.71 c #Conflicts: 1258000 | #Constraints: 24169
2066.89/2072.71 c #Conflicts: 1259000 | #Constraints: 25169
2066.89/2072.71 c #Conflicts: 1260000 | #Constraints: 26169
2066.89/2072.71 c #Conflicts: 1261000 | #Constraints: 27169
2066.89/2072.71 c #Conflicts: 1262000 | #Constraints: 28169
2066.89/2072.71 c #Conflicts: 1263000 | #Constraints: 29169
2066.89/2072.71 c #Conflicts: 1264000 | #Constraints: 30169
2066.89/2072.71 c #Conflicts: 1265000 | #Constraints: 31169
2066.89/2072.71 c #Conflicts: 1266000 | #Constraints: 32169
2066.89/2072.71 c #Conflicts: 1267000 | #Constraints: 33169
2066.89/2072.71 c #Conflicts: 1268000 | #Constraints: 34169
2066.89/2072.71 c #Conflicts: 1269000 | #Constraints: 35169
2066.89/2072.71 c #Conflicts: 1270000 | #Constraints: 36169
2066.89/2072.71 c #Conflicts: 1271000 | #Constraints: 37169
2066.89/2072.71 c #Conflicts: 1272000 | #Constraints: 38169
2312.52/2319.02 c #Conflicts: 1273000 | #Constraints: 39169
2312.52/2319.02 c #Conflicts: 1274000 | #Constraints: 40169
2312.52/2319.02 c #Conflicts: 1275000 | #Constraints: 41169
2312.52/2319.02 c #Conflicts: 1276000 | #Constraints: 42169
2312.52/2319.02 c #Conflicts: 1277000 | #Constraints: 43169
2312.52/2319.02 c #Conflicts: 1278000 | #Constraints: 44169
2312.52/2319.02 c #Conflicts: 1279000 | #Constraints: 45169
2312.52/2319.02 c INPROCESSING
2312.52/2319.02 c GARBAGE COLLECT
2312.52/2319.02 c #Conflicts: 1280000 | #Constraints: 23776
2312.52/2319.02 c #Conflicts: 1281000 | #Constraints: 24776
2312.52/2319.02 c #Conflicts: 1282000 | #Constraints: 25776
2312.52/2319.02 c #Conflicts: 1283000 | #Constraints: 26776
2312.52/2319.02 c #Conflicts: 1284000 | #Constraints: 27776
2312.52/2319.02 c #Conflicts: 1285000 | #Constraints: 28776
2312.52/2319.02 c #Conflicts: 1286000 | #Constraints: 29776
2312.52/2319.02 c #Conflicts: 1287000 | #Constraints: 30776
2312.52/2319.02 c #Conflicts: 1288000 | #Constraints: 31776
2312.52/2319.02 c #Conflicts: 1289000 | #Constraints: 32776
2312.52/2319.02 c #Conflicts: 1290000 | #Constraints: 33776
2312.52/2319.02 c #Conflicts: 1291000 | #Constraints: 34776
2312.52/2319.02 c #Conflicts: 1292000 | #Constraints: 35776
2312.52/2319.02 c #Conflicts: 1293000 | #Constraints: 36776
2312.52/2319.02 c #Conflicts: 1294000 | #Constraints: 37776
2312.52/2319.02 c #Conflicts: 1295000 | #Constraints: 38776
2312.52/2319.02 c #Conflicts: 1296000 | #Constraints: 39776
2312.52/2319.02 c #Conflicts: 1297000 | #Constraints: 40776
2312.52/2319.02 c #Conflicts: 1298000 | #Constraints: 41776
2312.52/2319.02 c #Conflicts: 1299000 | #Constraints: 42776
2312.52/2319.02 c #Conflicts: 1300000 | #Constraints: 43776
2312.52/2319.02 c #Conflicts: 1301000 | #Constraints: 44776
2312.52/2319.02 c #Conflicts: 1302000 | #Constraints: 45776
2312.52/2319.02 c INPROCESSING
2312.52/2319.02 c GARBAGE COLLECT
2312.52/2319.02 c #Conflicts: 1303000 | #Constraints: 24181
2312.52/2319.02 c #Conflicts: 1304000 | #Constraints: 25181
2312.52/2319.02 c #Conflicts: 1305000 | #Constraints: 26181
2312.52/2319.02 c #Conflicts: 1306000 | #Constraints: 27181
2312.52/2319.02 c #Conflicts: 1307000 | #Constraints: 28181
2312.52/2319.02 c #Conflicts: 1308000 | #Constraints: 29181
2312.52/2319.02 c #Conflicts: 1309000 | #Constraints: 30181
2312.52/2319.02 c #Conflicts: 1310000 | #Constraints: 31181
2312.52/2319.02 c #Conflicts: 1311000 | #Constraints: 32181
2312.52/2319.02 c #Conflicts: 1312000 | #Constraints: 33181
2312.52/2319.02 c #Conflicts: 1313000 | #Constraints: 34181
2312.52/2319.02 c #Conflicts: 1314000 | #Constraints: 35181
2312.52/2319.02 c #Conflicts: 1315000 | #Constraints: 36181
2312.52/2319.02 c #Conflicts: 1316000 | #Constraints: 37181
2312.52/2319.02 c #Conflicts: 1317000 | #Constraints: 38181
2312.52/2319.02 c #Conflicts: 1318000 | #Constraints: 39181
2312.52/2319.02 c #Conflicts: 1319000 | #Constraints: 40181
2312.52/2319.02 c #Conflicts: 1320000 | #Constraints: 41181
2312.52/2319.02 c #Conflicts: 1321000 | #Constraints: 42181
2312.52/2319.02 c #Conflicts: 1322000 | #Constraints: 43181
2312.52/2319.02 c #Conflicts: 1323000 | #Constraints: 44181
2312.52/2319.02 c #Conflicts: 1324000 | #Constraints: 45181
2312.52/2319.02 c #Conflicts: 1325000 | #Constraints: 46181
2312.52/2319.02 c INPROCESSING
2312.52/2319.02 c GARBAGE COLLECT
2312.52/2319.02 c #Conflicts: 1326000 | #Constraints: 24376
2312.52/2319.02 c #Conflicts: 1327000 | #Constraints: 25376
2312.52/2319.02 c #Conflicts: 1328000 | #Constraints: 26376
2312.52/2319.02 c #Conflicts: 1329000 | #Constraints: 27376
2312.52/2319.02 c #Conflicts: 1330000 | #Constraints: 28376
2312.52/2319.02 c #Conflicts: 1331000 | #Constraints: 29376
2312.52/2319.02 c #Conflicts: 1332000 | #Constraints: 30376
2312.52/2319.02 c #Conflicts: 1333000 | #Constraints: 31376
2312.52/2319.02 c #Conflicts: 1334000 | #Constraints: 32376
2312.52/2319.02 c #Conflicts: 1335000 | #Constraints: 33376
2312.52/2319.02 c #Conflicts: 1336000 | #Constraints: 34376
2312.52/2319.02 c #Conflicts: 1337000 | #Constraints: 35376
2312.52/2319.02 c #Conflicts: 1338000 | #Constraints: 36376
2312.52/2319.02 c #Conflicts: 1339000 | #Constraints: 37376
2312.52/2319.02 c #Conflicts: 1340000 | #Constraints: 38376
2312.52/2319.02 c #Conflicts: 1341000 | #Constraints: 39376
2312.52/2319.02 c #Conflicts: 1342000 | #Constraints: 40376
2312.52/2319.02 c #Conflicts: 1343000 | #Constraints: 41376
2312.52/2319.02 c #Conflicts: 1344000 | #Constraints: 42376
2312.52/2319.02 c #Conflicts: 1345000 | #Constraints: 43376
2312.52/2319.02 c #Conflicts: 1346000 | #Constraints: 44376
2312.52/2319.02 c #Conflicts: 1347000 | #Constraints: 45376
2312.52/2319.02 c #Conflicts: 1348000 | #Constraints: 46376
2312.52/2319.02 c INPROCESSING
2312.52/2319.02 c GARBAGE COLLECT
2547.50/2554.79 c #Conflicts: 1349000 | #Constraints: 24367
2547.50/2554.79 c #Conflicts: 1350000 | #Constraints: 25367
2547.50/2554.79 c #Conflicts: 1351000 | #Constraints: 26367
2547.50/2554.79 c #Conflicts: 1352000 | #Constraints: 27367
2547.50/2554.79 c #Conflicts: 1353000 | #Constraints: 28367
2547.50/2554.79 c #Conflicts: 1354000 | #Constraints: 29367
2547.50/2554.79 c #Conflicts: 1355000 | #Constraints: 30367
2547.50/2554.79 c #Conflicts: 1356000 | #Constraints: 31367
2547.50/2554.79 c #Conflicts: 1357000 | #Constraints: 32367
2547.50/2554.79 c #Conflicts: 1358000 | #Constraints: 33367
2547.50/2554.79 c #Conflicts: 1359000 | #Constraints: 34367
2547.50/2554.79 c #Conflicts: 1360000 | #Constraints: 35367
2547.50/2554.79 c #Conflicts: 1361000 | #Constraints: 36367
2547.50/2554.79 c #Conflicts: 1362000 | #Constraints: 37367
2547.50/2554.79 c #Conflicts: 1363000 | #Constraints: 38367
2547.50/2554.79 c #Conflicts: 1364000 | #Constraints: 39367
2547.50/2554.79 c #Conflicts: 1365000 | #Constraints: 40367
2547.50/2554.79 c #Conflicts: 1366000 | #Constraints: 41367
2547.50/2554.79 c #Conflicts: 1367000 | #Constraints: 42367
2547.50/2554.79 c #Conflicts: 1368000 | #Constraints: 43367
2547.50/2554.79 c #Conflicts: 1369000 | #Constraints: 44367
2547.50/2554.79 c #Conflicts: 1370000 | #Constraints: 45367
2547.50/2554.79 c #Conflicts: 1371000 | #Constraints: 46367
2547.50/2554.79 c INPROCESSING
2547.50/2554.79 c GARBAGE COLLECT
2547.50/2554.79 c #Conflicts: 1372000 | #Constraints: 24174
2547.50/2554.79 c #Conflicts: 1373000 | #Constraints: 25174
2547.50/2554.79 c #Conflicts: 1374000 | #Constraints: 26174
2547.50/2554.79 c #Conflicts: 1375000 | #Constraints: 27174
2547.50/2554.79 c #Conflicts: 1376000 | #Constraints: 28174
2547.50/2554.79 c #Conflicts: 1377000 | #Constraints: 29174
2547.50/2554.79 c #Conflicts: 1378000 | #Constraints: 30174
2547.50/2554.79 c #Conflicts: 1379000 | #Constraints: 31174
2547.50/2554.79 c #Conflicts: 1380000 | #Constraints: 32174
2547.50/2554.79 c #Conflicts: 1381000 | #Constraints: 33174
2547.50/2554.79 c #Conflicts: 1382000 | #Constraints: 34174
2547.50/2554.79 c #Conflicts: 1383000 | #Constraints: 35174
2547.50/2554.79 c #Conflicts: 1384000 | #Constraints: 36174
2547.50/2554.79 c #Conflicts: 1385000 | #Constraints: 37174
2547.50/2554.79 c #Conflicts: 1386000 | #Constraints: 38174
2547.50/2554.79 c #Conflicts: 1387000 | #Constraints: 39174
2547.50/2554.79 c #Conflicts: 1388000 | #Constraints: 40174
2547.50/2554.79 c #Conflicts: 1389000 | #Constraints: 41174
2547.50/2554.79 c #Conflicts: 1390000 | #Constraints: 42174
2547.50/2554.79 c #Conflicts: 1391000 | #Constraints: 43174
2547.50/2554.79 c #Conflicts: 1392000 | #Constraints: 44174
2547.50/2554.79 c #Conflicts: 1393000 | #Constraints: 45174
2547.50/2554.79 c #Conflicts: 1394000 | #Constraints: 46174
2547.50/2554.79 c #Conflicts: 1395000 | #Constraints: 47174
2547.50/2554.79 c INPROCESSING
2547.50/2554.79 c GARBAGE COLLECT
2547.50/2554.79 c #Conflicts: 1396000 | #Constraints: 24775
2547.50/2554.79 c #Conflicts: 1397000 | #Constraints: 25775
2547.50/2554.79 c #Conflicts: 1398000 | #Constraints: 26775
2547.50/2554.79 c #Conflicts: 1399000 | #Constraints: 27775
2547.50/2554.79 c #Conflicts: 1400000 | #Constraints: 28775
2547.50/2554.79 c #Conflicts: 1401000 | #Constraints: 29775
2547.50/2554.79 c #Conflicts: 1402000 | #Constraints: 30775
2547.50/2554.79 c #Conflicts: 1403000 | #Constraints: 31775
2547.50/2554.79 c #Conflicts: 1404000 | #Constraints: 32775
2547.50/2554.79 c #Conflicts: 1405000 | #Constraints: 33775
2547.50/2554.79 c #Conflicts: 1406000 | #Constraints: 34775
2547.50/2554.79 c #Conflicts: 1407000 | #Constraints: 35775
2547.50/2554.79 c #Conflicts: 1408000 | #Constraints: 36775
2547.50/2554.79 c #Conflicts: 1409000 | #Constraints: 37775
2547.50/2554.79 c #Conflicts: 1410000 | #Constraints: 38775
2547.50/2554.79 c #Conflicts: 1411000 | #Constraints: 39775
2547.50/2554.79 c #Conflicts: 1412000 | #Constraints: 40775
2547.50/2554.79 c #Conflicts: 1413000 | #Constraints: 41775
2547.50/2554.79 c #Conflicts: 1414000 | #Constraints: 42775
2547.50/2554.79 c #Conflicts: 1415000 | #Constraints: 43775
2547.50/2554.79 c #Conflicts: 1416000 | #Constraints: 44775
2547.50/2554.79 c #Conflicts: 1417000 | #Constraints: 45775
2547.50/2554.79 c #Conflicts: 1418000 | #Constraints: 46775
2547.50/2554.79 c #Conflicts: 1419000 | #Constraints: 47775
2547.50/2554.79 c INPROCESSING
2547.50/2554.79 c GARBAGE COLLECT
2547.50/2554.79 c #Conflicts: 1420000 | #Constraints: 25177
2547.50/2554.79 c #Conflicts: 1421000 | #Constraints: 26177
2547.50/2554.79 c #Conflicts: 1422000 | #Constraints: 27177
2547.50/2554.79 c #Conflicts: 1423000 | #Constraints: 28177
2547.50/2554.79 c #Conflicts: 1424000 | #Constraints: 29177
2547.50/2554.79 c #Conflicts: 1425000 | #Constraints: 30177
2788.95/2796.93 c #Conflicts: 1426000 | #Constraints: 31177
2788.95/2796.93 c #Conflicts: 1427000 | #Constraints: 32177
2788.95/2796.93 c #Conflicts: 1428000 | #Constraints: 33177
2788.95/2796.93 c #Conflicts: 1429000 | #Constraints: 34177
2788.95/2796.93 c #Conflicts: 1430000 | #Constraints: 35177
2788.95/2796.93 c #Conflicts: 1431000 | #Constraints: 36177
2788.95/2796.93 c #Conflicts: 1432000 | #Constraints: 37177
2788.95/2796.93 c #Conflicts: 1433000 | #Constraints: 38177
2788.95/2796.93 c #Conflicts: 1434000 | #Constraints: 39177
2788.95/2796.93 c #Conflicts: 1435000 | #Constraints: 40177
2788.95/2796.93 c #Conflicts: 1436000 | #Constraints: 41177
2788.95/2796.93 c #Conflicts: 1437000 | #Constraints: 42177
2788.95/2796.93 c #Conflicts: 1438000 | #Constraints: 43177
2788.95/2796.93 c #Conflicts: 1439000 | #Constraints: 44177
2788.95/2796.93 c #Conflicts: 1440000 | #Constraints: 45177
2788.95/2796.93 c #Conflicts: 1441000 | #Constraints: 46177
2788.95/2796.93 c #Conflicts: 1442000 | #Constraints: 47177
2788.95/2796.93 c #Conflicts: 1443000 | #Constraints: 48177
2788.95/2796.93 c INPROCESSING
2788.95/2796.93 c GARBAGE COLLECT
2788.95/2796.93 c #Conflicts: 1444000 | #Constraints: 25373
2788.95/2796.93 c #Conflicts: 1445000 | #Constraints: 26373
2788.95/2796.93 c #Conflicts: 1446000 | #Constraints: 27373
2788.95/2796.93 c #Conflicts: 1447000 | #Constraints: 28373
2788.95/2796.93 c #Conflicts: 1448000 | #Constraints: 29373
2788.95/2796.93 c #Conflicts: 1449000 | #Constraints: 30373
2788.95/2796.93 c #Conflicts: 1450000 | #Constraints: 31373
2788.95/2796.93 c #Conflicts: 1451000 | #Constraints: 32373
2788.95/2796.93 c #Conflicts: 1452000 | #Constraints: 33373
2788.95/2796.93 c #Conflicts: 1453000 | #Constraints: 34373
2788.95/2796.93 c #Conflicts: 1454000 | #Constraints: 35373
2788.95/2796.93 c #Conflicts: 1455000 | #Constraints: 36373
2788.95/2796.93 c #Conflicts: 1456000 | #Constraints: 37373
2788.95/2796.93 c #Conflicts: 1457000 | #Constraints: 38373
2788.95/2796.93 c #Conflicts: 1458000 | #Constraints: 39373
2788.95/2796.93 c #Conflicts: 1459000 | #Constraints: 40373
2788.95/2796.93 c #Conflicts: 1460000 | #Constraints: 41373
2788.95/2796.93 c #Conflicts: 1461000 | #Constraints: 42373
2788.95/2796.93 c #Conflicts: 1462000 | #Constraints: 43373
2788.95/2796.93 c #Conflicts: 1463000 | #Constraints: 44373
2788.95/2796.93 c #Conflicts: 1464000 | #Constraints: 45373
2788.95/2796.93 c #Conflicts: 1465000 | #Constraints: 46373
2788.95/2796.93 c #Conflicts: 1466000 | #Constraints: 47373
2788.95/2796.93 c #Conflicts: 1467000 | #Constraints: 48373
2788.95/2796.93 c INPROCESSING
2788.95/2796.93 c GARBAGE COLLECT
2788.95/2796.93 c #Conflicts: 1468000 | #Constraints: 25373
2788.95/2796.93 c #Conflicts: 1469000 | #Constraints: 26373
2788.95/2796.93 c #Conflicts: 1470000 | #Constraints: 27373
2788.95/2796.93 c #Conflicts: 1471000 | #Constraints: 28373
2788.95/2796.93 c #Conflicts: 1472000 | #Constraints: 29373
2788.95/2796.93 c #Conflicts: 1473000 | #Constraints: 30373
2788.95/2796.93 c #Conflicts: 1474000 | #Constraints: 31373
2788.95/2796.93 c #Conflicts: 1475000 | #Constraints: 32373
2788.95/2796.93 c #Conflicts: 1476000 | #Constraints: 33373
2788.95/2796.93 c #Conflicts: 1477000 | #Constraints: 34373
2788.95/2796.93 c #Conflicts: 1478000 | #Constraints: 35373
2788.95/2796.93 c #Conflicts: 1479000 | #Constraints: 36373
2788.95/2796.93 c #Conflicts: 1480000 | #Constraints: 37373
2788.95/2796.93 c #Conflicts: 1481000 | #Constraints: 38373
2788.95/2796.93 c #Conflicts: 1482000 | #Constraints: 39373
2788.95/2796.93 c #Conflicts: 1483000 | #Constraints: 40373
2788.95/2796.93 c #Conflicts: 1484000 | #Constraints: 41373
2788.95/2796.93 c #Conflicts: 1485000 | #Constraints: 42373
2788.95/2796.93 c #Conflicts: 1486000 | #Constraints: 43373
2788.95/2796.93 c #Conflicts: 1487000 | #Constraints: 44373
2788.95/2796.93 c #Conflicts: 1488000 | #Constraints: 45373
2788.95/2796.93 c #Conflicts: 1489000 | #Constraints: 46373
2788.95/2796.93 c #Conflicts: 1490000 | #Constraints: 47373
2788.95/2796.93 c #Conflicts: 1491000 | #Constraints: 48373
2788.95/2796.93 c INPROCESSING
2788.95/2796.93 c GARBAGE COLLECT
2788.95/2796.93 c #Conflicts: 1492000 | #Constraints: 25167
2788.95/2796.93 c #Conflicts: 1493000 | #Constraints: 26167
2788.95/2796.93 c #Conflicts: 1494000 | #Constraints: 27167
2788.95/2796.93 c #Conflicts: 1495000 | #Constraints: 28167
2788.95/2796.93 c #Conflicts: 1496000 | #Constraints: 29167
2788.95/2796.93 c #Conflicts: 1497000 | #Constraints: 30167
2788.95/2796.93 c #Conflicts: 1498000 | #Constraints: 31167
2788.95/2796.93 c #Conflicts: 1499000 | #Constraints: 32167
2788.95/2796.93 c #Conflicts: 1500000 | #Constraints: 33167
2788.95/2796.93 c #Conflicts: 1501000 | #Constraints: 34167
2788.95/2796.93 c #Conflicts: 1502000 | #Constraints: 35167
3046.35/3055.10 c #Conflicts: 1503000 | #Constraints: 36167
3046.35/3055.10 c #Conflicts: 1504000 | #Constraints: 37167
3046.35/3055.10 c #Conflicts: 1505000 | #Constraints: 38167
3046.35/3055.10 c #Conflicts: 1506000 | #Constraints: 39167
3046.35/3055.10 c #Conflicts: 1507000 | #Constraints: 40167
3046.35/3055.10 c #Conflicts: 1508000 | #Constraints: 41167
3046.35/3055.10 c #Conflicts: 1509000 | #Constraints: 42167
3046.35/3055.10 c #Conflicts: 1510000 | #Constraints: 43167
3046.35/3055.10 c #Conflicts: 1511000 | #Constraints: 44167
3046.35/3055.10 c #Conflicts: 1512000 | #Constraints: 45167
3046.35/3055.10 c #Conflicts: 1513000 | #Constraints: 46167
3046.35/3055.10 c #Conflicts: 1514000 | #Constraints: 47167
3046.35/3055.10 c #Conflicts: 1515000 | #Constraints: 48167
3046.35/3055.10 c #Conflicts: 1516000 | #Constraints: 49167
3046.35/3055.10 c INPROCESSING
3046.35/3055.10 c GARBAGE COLLECT
3046.35/3055.10 c #Conflicts: 1517000 | #Constraints: 25785
3046.35/3055.10 c #Conflicts: 1518000 | #Constraints: 26785
3046.35/3055.10 c #Conflicts: 1519000 | #Constraints: 27785
3046.35/3055.10 c #Conflicts: 1520000 | #Constraints: 28785
3046.35/3055.10 c #Conflicts: 1521000 | #Constraints: 29785
3046.35/3055.10 c #Conflicts: 1522000 | #Constraints: 30785
3046.35/3055.10 c #Conflicts: 1523000 | #Constraints: 31785
3046.35/3055.10 c #Conflicts: 1524000 | #Constraints: 32785
3046.35/3055.10 c #Conflicts: 1525000 | #Constraints: 33785
3046.35/3055.10 c #Conflicts: 1526000 | #Constraints: 34785
3046.35/3055.10 c #Conflicts: 1527000 | #Constraints: 35785
3046.35/3055.10 c #Conflicts: 1528000 | #Constraints: 36785
3046.35/3055.10 c #Conflicts: 1529000 | #Constraints: 37785
3046.35/3055.10 c #Conflicts: 1530000 | #Constraints: 38785
3046.35/3055.10 c #Conflicts: 1531000 | #Constraints: 39785
3046.35/3055.10 c #Conflicts: 1532000 | #Constraints: 40785
3046.35/3055.10 c #Conflicts: 1533000 | #Constraints: 41785
3046.35/3055.10 c #Conflicts: 1534000 | #Constraints: 42785
3046.35/3055.10 c #Conflicts: 1535000 | #Constraints: 43785
3046.35/3055.10 c #Conflicts: 1536000 | #Constraints: 44785
3046.35/3055.10 c #Conflicts: 1537000 | #Constraints: 45785
3046.35/3055.10 c #Conflicts: 1538000 | #Constraints: 46785
3046.35/3055.10 c #Conflicts: 1539000 | #Constraints: 47785
3046.35/3055.10 c #Conflicts: 1540000 | #Constraints: 48785
3046.35/3055.10 c #Conflicts: 1541000 | #Constraints: 49785
3046.35/3055.10 c INPROCESSING
3046.35/3055.10 c GARBAGE COLLECT
3046.35/3055.10 c #Conflicts: 1542000 | #Constraints: 26181
3046.35/3055.10 c #Conflicts: 1543000 | #Constraints: 27181
3046.35/3055.10 c #Conflicts: 1544000 | #Constraints: 28181
3046.35/3055.10 c #Conflicts: 1545000 | #Constraints: 29181
3046.35/3055.10 c #Conflicts: 1546000 | #Constraints: 30181
3046.35/3055.10 c #Conflicts: 1547000 | #Constraints: 31181
3046.35/3055.10 c #Conflicts: 1548000 | #Constraints: 32181
3046.35/3055.10 c #Conflicts: 1549000 | #Constraints: 33181
3046.35/3055.10 c #Conflicts: 1550000 | #Constraints: 34181
3046.35/3055.10 c #Conflicts: 1551000 | #Constraints: 35181
3046.35/3055.10 c #Conflicts: 1552000 | #Constraints: 36181
3046.35/3055.10 c #Conflicts: 1553000 | #Constraints: 37181
3046.35/3055.10 c #Conflicts: 1554000 | #Constraints: 38181
3046.35/3055.10 c #Conflicts: 1555000 | #Constraints: 39181
3046.35/3055.10 c #Conflicts: 1556000 | #Constraints: 40181
3046.35/3055.10 c #Conflicts: 1557000 | #Constraints: 41181
3046.35/3055.10 c #Conflicts: 1558000 | #Constraints: 42181
3046.35/3055.10 c #Conflicts: 1559000 | #Constraints: 43181
3046.35/3055.10 c #Conflicts: 1560000 | #Constraints: 44181
3046.35/3055.10 c #Conflicts: 1561000 | #Constraints: 45181
3046.35/3055.10 c #Conflicts: 1562000 | #Constraints: 46181
3046.35/3055.10 c #Conflicts: 1563000 | #Constraints: 47181
3046.35/3055.10 c #Conflicts: 1564000 | #Constraints: 48181
3046.35/3055.10 c #Conflicts: 1565000 | #Constraints: 49181
3046.35/3055.10 c #Conflicts: 1566000 | #Constraints: 50181
3046.35/3055.10 c INPROCESSING
3046.35/3055.10 c GARBAGE COLLECT
3046.35/3055.10 c #Conflicts: 1567000 | #Constraints: 26380
3046.35/3055.10 c #Conflicts: 1568000 | #Constraints: 27380
3046.35/3055.10 c #Conflicts: 1569000 | #Constraints: 28380
3046.35/3055.10 c #Conflicts: 1570000 | #Constraints: 29380
3046.35/3055.10 c #Conflicts: 1571000 | #Constraints: 30380
3046.35/3055.10 c #Conflicts: 1572000 | #Constraints: 31380
3046.35/3055.10 c #Conflicts: 1573000 | #Constraints: 32380
3046.35/3055.10 c #Conflicts: 1574000 | #Constraints: 33380
3046.35/3055.10 c #Conflicts: 1575000 | #Constraints: 34380
3046.35/3055.10 c #Conflicts: 1576000 | #Constraints: 35380
3046.35/3055.10 c #Conflicts: 1577000 | #Constraints: 36380
3046.35/3055.10 c #Conflicts: 1578000 | #Constraints: 37380
3046.35/3055.10 c #Conflicts: 1579000 | #Constraints: 38380
3305.92/3315.49 c #Conflicts: 1580000 | #Constraints: 39380
3305.92/3315.49 c #Conflicts: 1581000 | #Constraints: 40380
3305.92/3315.49 c #Conflicts: 1582000 | #Constraints: 41380
3305.92/3315.49 c #Conflicts: 1583000 | #Constraints: 42380
3305.92/3315.49 c #Conflicts: 1584000 | #Constraints: 43380
3305.92/3315.49 c #Conflicts: 1585000 | #Constraints: 44380
3305.92/3315.49 c #Conflicts: 1586000 | #Constraints: 45380
3305.92/3315.49 c #Conflicts: 1587000 | #Constraints: 46380
3305.92/3315.49 c #Conflicts: 1588000 | #Constraints: 47380
3305.92/3315.49 c #Conflicts: 1589000 | #Constraints: 48380
3305.92/3315.49 c #Conflicts: 1590000 | #Constraints: 49380
3305.92/3315.49 c #Conflicts: 1591000 | #Constraints: 50380
3305.92/3315.49 c INPROCESSING
3305.92/3315.49 c GARBAGE COLLECT
3305.92/3315.49 c #Conflicts: 1592000 | #Constraints: 26381
3305.92/3315.49 c #Conflicts: 1593000 | #Constraints: 27381
3305.92/3315.49 c #Conflicts: 1594000 | #Constraints: 28381
3305.92/3315.49 c #Conflicts: 1595000 | #Constraints: 29381
3305.92/3315.49 c #Conflicts: 1596000 | #Constraints: 30381
3305.92/3315.49 c #Conflicts: 1597000 | #Constraints: 31381
3305.92/3315.49 c #Conflicts: 1598000 | #Constraints: 32381
3305.92/3315.49 c #Conflicts: 1599000 | #Constraints: 33381
3305.92/3315.49 c #Conflicts: 1600000 | #Constraints: 34381
3305.92/3315.49 c #Conflicts: 1601000 | #Constraints: 35381
3305.92/3315.49 c #Conflicts: 1602000 | #Constraints: 36381
3305.92/3315.49 c #Conflicts: 1603000 | #Constraints: 37381
3305.92/3315.49 c #Conflicts: 1604000 | #Constraints: 38381
3305.92/3315.49 c #Conflicts: 1605000 | #Constraints: 39381
3305.92/3315.49 c #Conflicts: 1606000 | #Constraints: 40381
3305.92/3315.49 c #Conflicts: 1607000 | #Constraints: 41381
3305.92/3315.49 c #Conflicts: 1608000 | #Constraints: 42381
3305.92/3315.49 c #Conflicts: 1609000 | #Constraints: 43381
3305.92/3315.49 c #Conflicts: 1610000 | #Constraints: 44381
3305.92/3315.49 c #Conflicts: 1611000 | #Constraints: 45381
3305.92/3315.49 c #Conflicts: 1612000 | #Constraints: 46381
3305.92/3315.49 c #Conflicts: 1613000 | #Constraints: 47381
3305.92/3315.49 c #Conflicts: 1614000 | #Constraints: 48381
3305.92/3315.49 c #Conflicts: 1615000 | #Constraints: 49381
3305.92/3315.49 c #Conflicts: 1616000 | #Constraints: 50381
3305.92/3315.49 c INPROCESSING
3305.92/3315.49 c GARBAGE COLLECT
3305.92/3315.49 c #Conflicts: 1617000 | #Constraints: 26180
3305.92/3315.49 c #Conflicts: 1618000 | #Constraints: 27180
3305.92/3315.49 c #Conflicts: 1619000 | #Constraints: 28180
3305.92/3315.49 c #Conflicts: 1620000 | #Constraints: 29180
3305.92/3315.49 c #Conflicts: 1621000 | #Constraints: 30180
3305.92/3315.49 c #Conflicts: 1622000 | #Constraints: 31180
3305.92/3315.49 c #Conflicts: 1623000 | #Constraints: 32180
3305.92/3315.49 c #Conflicts: 1624000 | #Constraints: 33180
3305.92/3315.49 c #Conflicts: 1625000 | #Constraints: 34180
3305.92/3315.49 c #Conflicts: 1626000 | #Constraints: 35180
3305.92/3315.49 c #Conflicts: 1627000 | #Constraints: 36180
3305.92/3315.49 c #Conflicts: 1628000 | #Constraints: 37180
3305.92/3315.49 c #Conflicts: 1629000 | #Constraints: 38180
3305.92/3315.49 c #Conflicts: 1630000 | #Constraints: 39180
3305.92/3315.49 c #Conflicts: 1631000 | #Constraints: 40180
3305.92/3315.49 c #Conflicts: 1632000 | #Constraints: 41180
3305.92/3315.49 c #Conflicts: 1633000 | #Constraints: 42180
3305.92/3315.49 c #Conflicts: 1634000 | #Constraints: 43180
3305.92/3315.49 c #Conflicts: 1635000 | #Constraints: 44180
3305.92/3315.49 c #Conflicts: 1636000 | #Constraints: 45180
3305.92/3315.49 c #Conflicts: 1637000 | #Constraints: 46180
3305.92/3315.49 c #Conflicts: 1638000 | #Constraints: 47180
3305.92/3315.49 c #Conflicts: 1639000 | #Constraints: 48180
3305.92/3315.49 c #Conflicts: 1640000 | #Constraints: 49180
3305.92/3315.49 c #Conflicts: 1641000 | #Constraints: 50180
3305.92/3315.49 c #Conflicts: 1642000 | #Constraints: 51180
3305.92/3315.49 c INPROCESSING
3305.92/3315.49 c GARBAGE COLLECT
3305.92/3315.49 c #Conflicts: 1643000 | #Constraints: 26782
3305.92/3315.49 c #Conflicts: 1644000 | #Constraints: 27782
3305.92/3315.49 c #Conflicts: 1645000 | #Constraints: 28782
3305.92/3315.49 c #Conflicts: 1646000 | #Constraints: 29782
3305.92/3315.49 c #Conflicts: 1647000 | #Constraints: 30782
3305.92/3315.49 c #Conflicts: 1648000 | #Constraints: 31782
3305.92/3315.49 c #Conflicts: 1649000 | #Constraints: 32782
3305.92/3315.49 c #Conflicts: 1650000 | #Constraints: 33782
3305.92/3315.49 c #Conflicts: 1651000 | #Constraints: 34782
3305.92/3315.49 c #Conflicts: 1652000 | #Constraints: 35782
3305.92/3315.49 c #Conflicts: 1653000 | #Constraints: 36782
3305.92/3315.49 c #Conflicts: 1654000 | #Constraints: 37782
3305.92/3315.49 c #Conflicts: 1655000 | #Constraints: 38782
3305.92/3315.49 c #Conflicts: 1656000 | #Constraints: 39782
3531.66/3541.82 c #Conflicts: 1657000 | #Constraints: 40782
3531.66/3541.82 c #Conflicts: 1658000 | #Constraints: 41782
3531.66/3541.82 c #Conflicts: 1659000 | #Constraints: 42782
3531.66/3541.82 c #Conflicts: 1660000 | #Constraints: 43782
3531.66/3541.82 c #Conflicts: 1661000 | #Constraints: 44782
3531.66/3541.82 c #Conflicts: 1662000 | #Constraints: 45782
3531.66/3541.82 c #Conflicts: 1663000 | #Constraints: 46782
3531.66/3541.82 c #Conflicts: 1664000 | #Constraints: 47782
3531.66/3541.82 c #Conflicts: 1665000 | #Constraints: 48782
3531.66/3541.82 c #Conflicts: 1666000 | #Constraints: 49782
3531.66/3541.82 c #Conflicts: 1667000 | #Constraints: 50782
3531.66/3541.82 c #Conflicts: 1668000 | #Constraints: 51782
3531.66/3541.82 c INPROCESSING
3531.66/3541.82 c GARBAGE COLLECT
3531.66/3541.82 c #Conflicts: 1669000 | #Constraints: 27174
3531.66/3541.82 c #Conflicts: 1670000 | #Constraints: 28174
3531.66/3541.82 c #Conflicts: 1671000 | #Constraints: 29174
3531.66/3541.82 c #Conflicts: 1672000 | #Constraints: 30174
3531.66/3541.82 c #Conflicts: 1673000 | #Constraints: 31174
3531.66/3541.82 c #Conflicts: 1674000 | #Constraints: 32174
3531.66/3541.82 c #Conflicts: 1675000 | #Constraints: 33174
3531.66/3541.82 c #Conflicts: 1676000 | #Constraints: 34174
3531.66/3541.82 c #Conflicts: 1677000 | #Constraints: 35174
3531.66/3541.82 c #Conflicts: 1678000 | #Constraints: 36174
3531.66/3541.82 c #Conflicts: 1679000 | #Constraints: 37174
3531.66/3541.82 c #Conflicts: 1680000 | #Constraints: 38174
3531.66/3541.82 c #Conflicts: 1681000 | #Constraints: 39174
3531.66/3541.82 c #Conflicts: 1682000 | #Constraints: 40174
3531.66/3541.82 c #Conflicts: 1683000 | #Constraints: 41174
3531.66/3541.82 c #Conflicts: 1684000 | #Constraints: 42174
3531.66/3541.82 c #Conflicts: 1685000 | #Constraints: 43174
3531.66/3541.82 c #Conflicts: 1686000 | #Constraints: 44174
3531.66/3541.82 c #Conflicts: 1687000 | #Constraints: 45174
3531.66/3541.82 c #Conflicts: 1688000 | #Constraints: 46174
3531.66/3541.82 c #Conflicts: 1689000 | #Constraints: 47174
3531.66/3541.82 c #Conflicts: 1690000 | #Constraints: 48174
3531.66/3541.82 c #Conflicts: 1691000 | #Constraints: 49174
3531.66/3541.82 c #Conflicts: 1692000 | #Constraints: 50174
3531.66/3541.82 c #Conflicts: 1693000 | #Constraints: 51174
3531.66/3541.82 c #Conflicts: 1694000 | #Constraints: 52174
3531.66/3541.82 c INPROCESSING
3531.66/3541.82 c GARBAGE COLLECT
3531.66/3541.82 c #Conflicts: 1695000 | #Constraints: 27374
3531.66/3541.82 c #Conflicts: 1696000 | #Constraints: 28374
3531.66/3541.82 c #Conflicts: 1697000 | #Constraints: 29374
3531.66/3541.82 c #Conflicts: 1698000 | #Constraints: 30374
3531.66/3541.82 c #Conflicts: 1699000 | #Constraints: 31374
3531.66/3541.82 c #Conflicts: 1700000 | #Constraints: 32374
3531.66/3541.82 c #Conflicts: 1701000 | #Constraints: 33374
3531.66/3541.82 c #Conflicts: 1702000 | #Constraints: 34374
3531.66/3541.82 c #Conflicts: 1703000 | #Constraints: 35374
3531.66/3541.82 c #Conflicts: 1704000 | #Constraints: 36374
3531.66/3541.82 c #Conflicts: 1705000 | #Constraints: 37374
3531.66/3541.82 c #Conflicts: 1706000 | #Constraints: 38374
3531.66/3541.82 c #Conflicts: 1707000 | #Constraints: 39374
3531.66/3541.82 c #Conflicts: 1708000 | #Constraints: 40374
3531.66/3541.82 c #Conflicts: 1709000 | #Constraints: 41374
3531.66/3541.82 c #Conflicts: 1710000 | #Constraints: 42374
3531.66/3541.82 c #Conflicts: 1711000 | #Constraints: 43374
3531.66/3541.82 c #Conflicts: 1712000 | #Constraints: 44374
3531.66/3541.82 c #Conflicts: 1713000 | #Constraints: 45374
3531.66/3541.82 c #Conflicts: 1714000 | #Constraints: 46374
3531.66/3541.82 c #Conflicts: 1715000 | #Constraints: 47374
3531.66/3541.82 c #Conflicts: 1716000 | #Constraints: 48374
3531.66/3541.82 c GLOBAL bounds - >= 0 @ 3516.88
3600.05/3610.40 c #Conflicts: 1717000 | #Constraints: 49376
3600.05/3610.40 c #Conflicts: 1718000 | #Constraints: 50376
3600.05/3610.40 c #Conflicts: 1719000 | #Constraints: 51376
3600.05/3610.40 c #Conflicts: 1720000 | #Constraints: 52376
3600.05/3610.40 c INPROCESSING
3600.05/3610.40 c GARBAGE COLLECT
3600.05/3610.40 c #Conflicts: 1721000 | #Constraints: 27374
3600.05/3610.40 c #Conflicts: 1722000 | #Constraints: 28374
3600.05/3610.40 c #Conflicts: 1723000 | #Constraints: 29374
3600.05/3610.40 c #Conflicts: 1724000 | #Constraints: 30374
3600.05/3610.40 c #Conflicts: 1725000 | #Constraints: 31374
3600.05/3610.40 c #Conflicts: 1726000 | #Constraints: 32374
3600.05/3610.40 c #Conflicts: 1727000 | #Constraints: 33374
3600.05/3610.40 c #Conflicts: 1728000 | #Constraints: 34374
3600.05/3610.40 c #Conflicts: 1729000 | #Constraints: 35374
3600.05/3610.40 c #Conflicts: 1730000 | #Constraints: 36374
3600.05/3610.40 c #Conflicts: 1731000 | #Constraints: 37374
3600.05/3610.40 c #Conflicts: 1732000 | #Constraints: 38374
3600.05/3610.40 c #Conflicts: 1733000 | #Constraints: 39374
3600.05/3610.40 c #Conflicts: 1734000 | #Constraints: 40374
3600.05/3610.40 c #Conflicts: 1735000 | #Constraints: 41374
3600.05/3610.40 c #Conflicts: 1736000 | #Constraints: 42374
3600.05/3610.40 c #Conflicts: 1737000 | #Constraints: 43374
3600.05/3610.40 c #Conflicts: 1738000 | #Constraints: 44374
3600.05/3610.40 c #Conflicts: 1739000 | #Constraints: 45374
3600.05/3610.40 c #Conflicts: 1740000 | #Constraints: 46374
3600.05/3610.40 c #Conflicts: 1741000 | #Constraints: 47374
3600.05/3610.40 c cpu time 3585.01 s
3600.05/3610.40 c deterministic time 1 1.00e+00
3600.05/3610.40 c optimization time 3585 s
3600.05/3610.40 c total solve time 0 s
3600.05/3610.40 c core-guided solve time 0 s
3600.05/3610.40 c propagation time 0.000217 s
3600.05/3610.40 c conflict analysis time 0 s
3600.05/3610.40 c propagations 0
3600.05/3610.40 c resolve steps 0
3600.05/3610.40 c decisions 0
3600.05/3610.40 c conflicts 0
3600.05/3610.40 c restarts 0
3600.05/3610.40 c inprocessing phases 0
3600.05/3610.40 c garbage collections 0 ,( -nan )
3600.05/3610.40 c input clauses 0 ,( 0.00 )
3600.05/3610.40 c input cardinalities 0 ,( 0.00 )
3600.05/3610.40 c input general constraints 466 ,( 100.00 )
3600.05/3610.40 c input average constraint length 9.05
3600.05/3610.40 c input average constraint degree 28.52
3600.05/3610.40 c learned clauses 0 ,( 0.00 )
3600.05/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.05/3610.40 c learned general constraints 0 ,( 0.00 )
3600.05/3610.40 c learned average constraint length 0.00
3600.05/3610.40 c learned average constraint degree 0.00
3600.05/3610.40 c watched CF 32, 64, 128, Arb: 13 , 0 , 0 , 0
3600.05/3610.40 c counting CF 32, 64, 128, Arb: 454 , 0 , 0 , 0
3600.05/3610.40 c watched constraints 13 ,( 2.79 )
3600.05/3610.40 c counting constraints 453 ,( 97.21 )
3600.05/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.40 c gcd simplifications 1
3600.05/3610.40 c detected cardinalities 0
3600.05/3610.40 c weakened non-implied lits 0
3600.05/3610.40 c weakened non-implying lits 0
3600.05/3610.40 c original variables 467
3600.05/3610.40 c clausal propagations 0
3600.05/3610.40 c cardinality propagations 0
3600.05/3610.40 c watched propagations 0
3600.05/3610.40 c counting propagations 0
3600.05/3610.40 c watch lookups 0
3600.05/3610.40 c watch backjump lookups 0
3600.05/3610.40 c watch checks 0
3600.05/3610.40 c propagation checks 0
3600.05/3610.40 c constraint additions 0
3600.05/3610.40 c trail pops 0
3600.05/3610.40 c formula constraints 466
3600.05/3610.40 c learned constraints 0
3600.05/3610.40 c bound constraints 0
3600.05/3610.40 c core-guided constraints 0
3600.05/3610.40 c encountered formula constraints 0
3600.05/3610.40 c encountered learned constraints 0
3600.05/3610.40 c encountered bound constraints 0
3600.05/3610.40 c encountered core-guided constraints 0
3600.05/3610.40 c LP total time 0 s
3600.05/3610.40 c LP solve time 0 s
3600.05/3610.40 c LP constraints added 0
3600.05/3610.40 c LP constraints removed 0
3600.05/3610.40 c LP pivots internal 0
3600.05/3610.40 c LP pivots root 0
3600.05/3610.40 c LP calls 0
3600.05/3610.40 c LP optimalities 0
3600.05/3610.40 c LP no pivot count 0
3600.05/3610.40 c LP infeasibilities 0
3600.05/3610.40 c LP valid Farkas constraints 0
3600.05/3610.40 c LP learned Farkas constraints 0
3600.05/3610.40 c LP basis resets 0
3600.05/3610.40 c LP cycling count 0
3600.05/3610.40 c LP singular count 0
3600.05/3610.40 c LP no primal count 0
3600.05/3610.40 c LP no farkas count 0
3600.05/3610.40 c LP other issue count 0
3600.05/3610.40 c LP Gomory cuts 0
3600.05/3610.40 c LP learned cuts 0
3600.05/3610.40 c LP deleted cuts 0
3600.05/3610.40 c LP encountered Gomory constraints 0
3600.05/3610.40 c LP encountered Farkas constraints 0
3600.05/3610.40 c LP encountered learned Farkas constraints 0
3600.05/3610.40 c CG auxiliary variables introduced 0
3600.05/3610.40 c CG solutions found 0
3600.05/3610.40 c CG cores constructed 0
3600.05/3610.40 c CG core cardinality constraints returned 0
3600.05/3610.40 c CG unit cores 0
3600.05/3610.40 c CG single cores 0
3600.05/3610.40 c CG blocks removed during cardinality reduction 0
3600.05/3610.40 c CG first core best 0
3600.05/3610.40 c CG decision core best 0
3600.05/3610.40 c CG core reduction tie 0
3600.05/3610.40 c CG core degree average 0.00
3600.05/3610.40 c CG core slack average 0.00
3600.05/3610.40 c CG core upper bound improvements 0
3600.05/3610.40 c STR number of successful calls 0
3600.05/3610.40 c STR number of unsuccessful calls 0
3600.05/3610.40 c STR number of inconclusive calls 0
3600.05/3610.40 c STR number of successful attempts 0
3600.05/3610.40 c STR number of unsuccessful attempts 0
3600.05/3610.40 c STR number of inconclusive attempts 0
3600.05/3610.40 c STR average degree increase per successful call inf
3600.05/3610.40 c STR average degree increase per successful attempt inf
3600.05/3610.40 c STR total number of conflicts for successful attempts 0
3600.05/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.40 c STR average number of conflicts per successful attempt inf
3600.05/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.40 c AVG.sumWPerc 70.27
3600.05/3610.40 c bigint constraints 0
3600.05/3610.40 s UNKNOWN
3600.05/3610.40 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 (59808 MiB free)
memory of node 1: 64507 MiB (59836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489185-1751355502/watcher-4489185-1751355502 -o /tmp/evaluation-result-4489185-1751355502/solver-4489185-1751355502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45610 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489185-1751355502.opb PROOFDIR/proof-4489185-1751355502
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=46383, runsolver pid=46380
[startup+0.100066 s]*
/proc/loadavg: 4.12 4.13 4.10 2/261 46385
/proc/meminfo: memFree=124343876/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/46385/stat : 46385 (roundingsat) D 46383 46383 45597 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 51229763 52015104 1888 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.20538 s]*
/proc/loadavg: 4.12 4.13 4.10 1/263 46388
/proc/meminfo: memFree=125872668/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/46385/stat : 46385 (roundingsat) D 46383 46383 45597 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 51229763 52015104 1888 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.304521 s]*
/proc/loadavg: 4.12 4.13 4.10 2/262 46392
/proc/meminfo: memFree=125872956/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/46385/stat : 46385 (roundingsat) D 46383 46383 45597 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 51229763 52015104 1888 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.700179 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 46405
/proc/meminfo: memFree=129120668/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=68420 memory=22372 CPUtime=0.36 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 2961 0 0 0 35 1 0 0 20 0 1 0 51229763 70062080 5593 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 17105 5593 2400 1147 0 4532 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 72612 KiB
Current children cumulated memory: 25316 KiB
[startup+1.50015 s]
/proc/loadavg: 4.12 4.13 4.10 4/267 46410
/proc/meminfo: memFree=129993928/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=78768 memory=32996 CPUtime=1.17 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 5616 0 0 0 113 4 0 0 20 0 1 0 51229763 80658432 8249 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 19692 8249 2400 1147 0 7119 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 82960 KiB
Current children cumulated memory: 35940 KiB
[startup+3.10554 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129853912/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=95800 memory=45604 CPUtime=2.76 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 8258 0 0 0 269 7 0 0 20 0 1 0 51229763 98099200 11401 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 23950 11401 2400 1147 0 11377 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 99992 KiB
Current children cumulated memory: 48548 KiB
[startup+6.30014 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129774960/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=104660 memory=50212 CPUtime=5.95 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 9408 0 0 0 581 14 0 0 20 0 1 0 51229763 107171840 12553 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 26165 12553 2400 1147 0 13592 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 108852 KiB
Current children cumulated memory: 53156 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129621752/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=123540 memory=66008 CPUtime=12.33 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 12857 0 0 0 1207 26 0 0 20 0 1 0 51229763 126504960 16502 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 30885 16502 2400 1147 0 18312 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 127732 KiB
Current children cumulated memory: 68952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.09 7/273 46427
/proc/meminfo: memFree=129358840/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=133272 memory=78472 CPUtime=25.09 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 15441 0 0 0 2466 43 0 0 20 0 1 0 51229763 136470528 19618 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 33318 19618 2400 1147 0 20745 0
Current children cumulated CPU time: 25.09 s
Current children cumulated vsize: 137464 KiB
Current children cumulated memory: 81416 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.13 4.09 5/273 46427
/proc/meminfo: memFree=128993332/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=150232 memory=90364 CPUtime=50.62 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 17927 0 0 0 4990 72 0 0 20 0 1 0 51229763 153837568 22591 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 37558 22591 2400 1147 0 24985 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 93308 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=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=175176 memory=110228 CPUtime=101.66 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 21862 0 0 0 10050 116 0 0 20 0 1 0 51229763 179380224 27557 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 43794 27557 2400 1147 0 31221 0
Current children cumulated CPU time: 101.66 s
Current children cumulated vsize: 179368 KiB
Current children cumulated memory: 113172 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/272 46431
/proc/meminfo: memFree=127815644/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=187916 memory=132900 CPUtime=161.49 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 24673 0 0 0 15988 161 0 0 20 0 1 0 51229763 192425984 33225 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 46979 33225 2400 1147 0 34406 0
Current children cumulated CPU time: 161.49 s
Current children cumulated vsize: 192108 KiB
Current children cumulated memory: 135844 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 46434
/proc/meminfo: memFree=127258444/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=219364 memory=151604 CPUtime=221.33 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 26808 0 0 0 21929 204 0 0 20 0 1 0 51229763 224628736 37901 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 54841 37901 2400 1147 0 42268 0
################
# More data... #
################
/proc/46385/statm: 115400 84196 2400 1147 0 102827 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 465792 KiB
Current children cumulated memory: 339728 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=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=462624 memory=337552 CPUtime=3093.4 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 70747 0 0 0 307986 1354 0 0 20 0 1 0 51229763 473726976 84388 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 115656 84388 2400 1147 0 103083 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 466816 KiB
Current children cumulated memory: 340496 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/271 46601
/proc/meminfo: memFree=115109488/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=464676 memory=344008 CPUtime=3153.24 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 71100 0 0 0 313946 1378 0 0 20 0 1 0 51229763 475828224 86002 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 116169 86002 2400 1147 0 103596 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 468868 KiB
Current children cumulated memory: 346952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 46605
/proc/meminfo: memFree=114925156/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=469796 memory=368408 CPUtime=3213.07 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 72333 0 0 0 319912 1395 0 0 20 0 1 0 51229763 481071104 92102 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 117449 92102 2400 1147 0 104876 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 473988 KiB
Current children cumulated memory: 371352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 46610
/proc/meminfo: memFree=114777904/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=470820 memory=371480 CPUtime=3272.91 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 72590 0 0 0 325879 1412 0 0 20 0 1 0 51229763 482119680 92870 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 117705 92870 2400 1147 0 105132 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 475012 KiB
Current children cumulated memory: 374424 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 46612
/proc/meminfo: memFree=114621248/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=470820 memory=371480 CPUtime=3332.75 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 72597 0 0 0 331847 1428 0 0 20 0 1 0 51229763 482119680 92870 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 117705 92870 2400 1147 0 105132 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 475012 KiB
Current children cumulated memory: 374424 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=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=479016 memory=372464 CPUtime=3392.58 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 74637 0 0 0 337814 1444 0 0 20 0 1 0 51229763 490512384 93116 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 119754 93116 2400 1147 0 107181 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 483208 KiB
Current children cumulated memory: 375408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/272 46616
/proc/meminfo: memFree=114287240/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=481576 memory=372596 CPUtime=3452.4 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 75319 0 0 0 343781 1459 0 0 20 0 1 0 51229763 493133824 93149 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 120394 93149 2400 1147 0 107821 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 375540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/272 46622
/proc/meminfo: memFree=114152000/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=481576 memory=372596 CPUtime=3512.22 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 75323 0 0 0 349747 1475 0 0 20 0 1 0 51229763 493133824 93149 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 120394 93149 2400 1147 0 107821 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 375540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/271 46624
/proc/meminfo: memFree=113998668/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=482600 memory=372976 CPUtime=3572.04 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 75555 0 0 0 355710 1494 0 0 20 0 1 0 51229763 494182400 93244 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 120650 93244 2400 1147 0 108077 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 486792 KiB
Current children cumulated memory: 375920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.16 4.17 4.12 5/272 46626
/proc/meminfo: memFree=113921556/131249996 swapFree=33010416/33010684
[pid=46383] ppid=46380 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46383/stat : 46383 (run-opt-log.sh) S 46380 46383 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51229762 4292608 736 18446744073709551615 93953106546688 93953107441221 140722813763008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93953107680272 93953107728016 93953128058880 140722813770017 140722813770212 140722813770212 140722813775814 0
/proc/46383/statm: 1048 736 672 219 0 110 0
[pid=46385] ppid=46383 vsize=482600 memory=372976 CPUtime=3600.05 cores=5,7
/proc/46385/stat : 46385 (roundingsat) R 46383 46383 45597 0 -1 4194304 75557 0 0 0 358500 1505 0 0 20 0 1 0 51229763 494182400 93244 18446744073709551615 4227072 8923433 140734413689904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30351360 140734413695314 140734413695528 140734413695528 140734413701098 0
/proc/46385/statm: 120650 93244 2400 1147 0 108077 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 486792 KiB
Current children cumulated memory: 375920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 46383 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002853 s
[startup+3610.44 s]
# the end of solver process 46385 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.01 s, system=15.0635 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.44
CPU time (s): 3600.07
CPU user time (s): 3585.01
CPU system time (s): 15.0635
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 486792
Max. memory (cumulated for all children) (KiB): 375920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.01
system time used= 15.0635
maximum resident set size= 373492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7038648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 782
involuntary context switches= 4836
# summary of solver processes directly reported to runsolver:
# pid: 46383,46385
# total CPU time (s): 3600.07
# total CPU user time (s): 3585.01
# total CPU system time (s): 15.0635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23781 second user time and 16.9734 second system time
The end
Begin job on nodeC030 at 2025-07-01 09:38:22
IDJOB=4489185
IDBENCH=147542
IDSOLVER=3351
FILE ID=nodeC030/4489185-1751355502
RUNJOBID= nodeC030-1751348277-45610
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_19.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-4489185-1751355502/watcher-4489185-1751355502 -o /tmp/evaluation-result-4489185-1751355502/solver-4489185-1751355502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45610 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489185-1751355502.opb PROOFDIR/proof-4489185-1751355502
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
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 : 1200.211
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.172
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 : 3700.000
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 : 3601.471
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 : 1200.834
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.295
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.478
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: 121726436 kB
MemAvailable: 129816908 kB
Buffers: 2564 kB
Cached: 8880932 kB
SwapCached: 16 kB
Active: 484452 kB
Inactive: 8463036 kB
Active(anon): 77496 kB
Inactive(anon): 4548 kB
Active(file): 406956 kB
Inactive(file): 8458488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14736 kB
Writeback: 16 kB
AnonPages: 66932 kB
Mapped: 106700 kB
Shmem: 18048 kB
KReclaimable: 128132 kB
Slab: 216544 kB
SReclaimable: 128132 kB
SUnreclaim: 88412 kB
KernelStack: 4144 kB
PageTables: 2924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 356036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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:32