0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.03 c #variables 467 #constraints 466
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 13 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 454 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.003971
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.004218
0.06/0.18 c GLOBAL bounds - >= 0 @ 0.142094
0.06/0.19 c GLOBAL bounds - >= 0 @ 0.154966
0.17/0.21 c #Conflicts: 1000 | #Constraints: 1470
0.17/0.21 c GLOBAL bounds - >= 0 @ 0.174993
0.17/0.27 c GLOBAL bounds - >= 0 @ 0.22521
0.17/0.28 c GLOBAL bounds - >= 0 @ 0.242178
0.37/0.43 c #Conflicts: 2000 | #Constraints: 2476
0.37/0.43 c INPROCESSING
0.37/0.43 c GARBAGE COLLECT
0.37/0.43 c GLOBAL bounds - >= 0 @ 0.375418
0.37/0.45 c GLOBAL bounds - >= 0 @ 0.400041
0.37/0.49 c GLOBAL bounds - >= 0 @ 0.436277
0.47/0.52 c GLOBAL bounds - >= 0 @ 0.464611
0.97/1.04 c #Conflicts: 3000 | #Constraints: 2494
0.97/1.04 c #Conflicts: 4000 | #Constraints: 3494
0.97/1.04 c INPROCESSING
0.97/1.04 c GARBAGE COLLECT
0.97/1.04 c GLOBAL bounds - >= 0 @ 0.969956
1.16/1.28 c #Conflicts: 5000 | #Constraints: 2902
1.16/1.28 c GLOBAL bounds - >= 0 @ 1.20534
3.55/3.60 c #Conflicts: 6000 | #Constraints: 3904
3.55/3.60 c INPROCESSING
3.55/3.60 c GARBAGE COLLECT
3.55/3.60 c #Conflicts: 7000 | #Constraints: 2910
3.55/3.60 c #Conflicts: 8000 | #Constraints: 3910
3.55/3.60 c #Conflicts: 9000 | #Constraints: 4910
3.55/3.60 c INPROCESSING
3.55/3.60 c GARBAGE COLLECT
3.55/3.60 c #Conflicts: 10000 | #Constraints: 3611
3.55/3.60 c #Conflicts: 11000 | #Constraints: 4611
3.55/3.60 c GLOBAL bounds - >= 0 @ 3.48685
4.05/4.12 c #Conflicts: 12000 | #Constraints: 5613
4.05/4.12 c INPROCESSING
4.05/4.12 c GARBAGE COLLECT
4.05/4.12 c #Conflicts: 13000 | #Constraints: 4066
4.05/4.12 c GLOBAL bounds - >= 0 @ 3.99626
12.13/12.26 c #Conflicts: 14000 | #Constraints: 5068
12.13/12.26 c #Conflicts: 15000 | #Constraints: 6068
12.13/12.26 c INPROCESSING
12.13/12.26 c GARBAGE COLLECT
12.13/12.26 c #Conflicts: 16000 | #Constraints: 4296
12.13/12.26 c #Conflicts: 17000 | #Constraints: 5296
12.13/12.26 c #Conflicts: 18000 | #Constraints: 6296
12.13/12.26 c INPROCESSING
12.13/12.26 c GARBAGE COLLECT
12.13/12.26 c #Conflicts: 19000 | #Constraints: 4315
12.13/12.26 c #Conflicts: 20000 | #Constraints: 5315
12.13/12.26 c #Conflicts: 21000 | #Constraints: 6315
12.13/12.26 c INPROCESSING
12.13/12.26 c GARBAGE COLLECT
12.13/12.26 c #Conflicts: 22000 | #Constraints: 4124
12.13/12.26 c #Conflicts: 23000 | #Constraints: 5124
12.13/12.26 c #Conflicts: 24000 | #Constraints: 6124
12.13/12.26 c #Conflicts: 25000 | #Constraints: 7124
12.13/12.26 c INPROCESSING
12.13/12.26 c GARBAGE COLLECT
12.13/12.26 c #Conflicts: 26000 | #Constraints: 4731
12.13/12.26 c #Conflicts: 27000 | #Constraints: 5731
12.13/12.26 c #Conflicts: 28000 | #Constraints: 6731
12.13/12.26 c #Conflicts: 29000 | #Constraints: 7731
12.13/12.26 c INPROCESSING
12.13/12.26 c GARBAGE COLLECT
12.13/12.26 c #Conflicts: 30000 | #Constraints: 5129
12.13/12.26 c #Conflicts: 31000 | #Constraints: 6129
12.13/12.26 c #Conflicts: 32000 | #Constraints: 7129
12.13/12.26 c GLOBAL bounds - >= 0 @ 11.9998
12.82/12.94 c #Conflicts: 33000 | #Constraints: 8131
12.82/12.94 c INPROCESSING
12.82/12.94 c GARBAGE COLLECT
12.82/12.94 c GLOBAL bounds - >= 0 @ 12.6669
16.51/16.62 c #Conflicts: 34000 | #Constraints: 5336
16.51/16.62 c #Conflicts: 35000 | #Constraints: 6336
16.51/16.62 c #Conflicts: 36000 | #Constraints: 7336
16.51/16.62 c #Conflicts: 37000 | #Constraints: 8336
16.51/16.62 c INPROCESSING
16.51/16.62 c GARBAGE COLLECT
16.51/16.62 c #Conflicts: 38000 | #Constraints: 5336
16.51/16.62 c #Conflicts: 39000 | #Constraints: 6336
16.51/16.62 c #Conflicts: 40000 | #Constraints: 7336
16.51/16.62 c #Conflicts: 41000 | #Constraints: 8336
16.51/16.62 c GLOBAL bounds - >= 0 @ 16.2965
17.91/18.03 c INPROCESSING
17.91/18.03 c GARBAGE COLLECT
17.91/18.03 c #Conflicts: 42000 | #Constraints: 5136
17.91/18.03 c #Conflicts: 43000 | #Constraints: 6136
17.91/18.03 c #Conflicts: 44000 | #Constraints: 7136
17.91/18.03 c GLOBAL bounds - >= 0 @ 17.6889
18.01/18.16 c #Conflicts: 45000 | #Constraints: 8138
18.01/18.16 c GLOBAL bounds - >= 0 @ 17.8185
18.41/18.52 c #Conflicts: 46000 | #Constraints: 9140
18.41/18.52 c GLOBAL bounds - >= 0 @ 18.1697
18.90/19.01 c INPROCESSING
18.90/19.01 c GARBAGE COLLECT
18.90/19.01 c #Conflicts: 47000 | #Constraints: 5734
18.90/19.01 c GLOBAL bounds - >= 0 @ 18.6449
19.30/19.45 c #Conflicts: 48000 | #Constraints: 6736
19.30/19.45 c GLOBAL bounds - >= 0 @ 19.0756
19.40/19.59 c GLOBAL bounds - >= 0 @ 19.2162
20.30/20.43 c #Conflicts: 49000 | #Constraints: 7740
20.30/20.43 c #Conflicts: 50000 | #Constraints: 8740
20.30/20.43 c GLOBAL bounds - >= 0 @ 20.0409
20.59/20.77 c GLOBAL bounds - >= 0 @ 20.3832
37.04/37.25 c #Conflicts: 51000 | #Constraints: 9744
37.04/37.25 c INPROCESSING
37.04/37.25 c GARBAGE COLLECT
37.04/37.25 c #Conflicts: 52000 | #Constraints: 6143
37.04/37.25 c #Conflicts: 53000 | #Constraints: 7143
37.04/37.25 c #Conflicts: 54000 | #Constraints: 8143
37.04/37.25 c #Conflicts: 55000 | #Constraints: 9143
37.04/37.25 c #Conflicts: 56000 | #Constraints: 10143
37.04/37.25 c INPROCESSING
37.04/37.25 c GARBAGE COLLECT
37.04/37.25 c #Conflicts: 57000 | #Constraints: 6349
37.04/37.25 c #Conflicts: 58000 | #Constraints: 7349
37.04/37.25 c #Conflicts: 59000 | #Constraints: 8349
37.04/37.25 c #Conflicts: 60000 | #Constraints: 9349
37.04/37.25 c #Conflicts: 61000 | #Constraints: 10349
37.04/37.25 c INPROCESSING
37.04/37.25 c GARBAGE COLLECT
37.04/37.25 c #Conflicts: 62000 | #Constraints: 6345
37.04/37.25 c #Conflicts: 63000 | #Constraints: 7345
37.04/37.25 c #Conflicts: 64000 | #Constraints: 8345
37.04/37.25 c #Conflicts: 65000 | #Constraints: 9345
37.04/37.25 c #Conflicts: 66000 | #Constraints: 10345
37.04/37.25 c INPROCESSING
37.04/37.25 c GARBAGE COLLECT
37.04/37.25 c #Conflicts: 67000 | #Constraints: 6150
37.04/37.25 c #Conflicts: 68000 | #Constraints: 7150
37.04/37.25 c #Conflicts: 69000 | #Constraints: 8150
37.04/37.25 c #Conflicts: 70000 | #Constraints: 9150
37.04/37.25 c #Conflicts: 71000 | #Constraints: 10150
37.04/37.25 c #Conflicts: 72000 | #Constraints: 11150
37.04/37.25 c INPROCESSING
37.04/37.25 c GARBAGE COLLECT
37.04/37.25 c #Conflicts: 73000 | #Constraints: 6754
37.04/37.25 c #Conflicts: 74000 | #Constraints: 7754
37.04/37.25 c #Conflicts: 75000 | #Constraints: 8754
37.04/37.25 c #Conflicts: 76000 | #Constraints: 9754
37.04/37.25 c #Conflicts: 77000 | #Constraints: 10754
37.04/37.25 c #Conflicts: 78000 | #Constraints: 11754
37.04/37.25 c INPROCESSING
37.04/37.25 c GARBAGE COLLECT
37.04/37.25 c #Conflicts: 79000 | #Constraints: 7158
37.04/37.25 c GLOBAL bounds - >= 0 @ 36.6446
41.24/41.47 c #Conflicts: 80000 | #Constraints: 8160
41.24/41.47 c #Conflicts: 81000 | #Constraints: 9160
41.24/41.47 c #Conflicts: 82000 | #Constraints: 10160
41.24/41.47 c #Conflicts: 83000 | #Constraints: 11160
41.24/41.47 c #Conflicts: 84000 | #Constraints: 12160
41.24/41.47 c INPROCESSING
41.24/41.47 c GARBAGE COLLECT
41.24/41.47 c #Conflicts: 85000 | #Constraints: 7359
41.24/41.47 c #Conflicts: 86000 | #Constraints: 8359
41.24/41.47 c #Conflicts: 87000 | #Constraints: 9359
41.24/41.47 c GLOBAL bounds - >= 0 @ 40.8152
103.94/104.31 c #Conflicts: 88000 | #Constraints: 10361
103.94/104.31 c #Conflicts: 89000 | #Constraints: 11361
103.94/104.31 c #Conflicts: 90000 | #Constraints: 12361
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 91000 | #Constraints: 7353
103.94/104.31 c #Conflicts: 92000 | #Constraints: 8353
103.94/104.31 c #Conflicts: 93000 | #Constraints: 9353
103.94/104.31 c #Conflicts: 94000 | #Constraints: 10353
103.94/104.31 c #Conflicts: 95000 | #Constraints: 11353
103.94/104.31 c #Conflicts: 96000 | #Constraints: 12353
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 97000 | #Constraints: 7155
103.94/104.31 c #Conflicts: 98000 | #Constraints: 8155
103.94/104.31 c #Conflicts: 99000 | #Constraints: 9155
103.94/104.31 c #Conflicts: 100000 | #Constraints: 10155
103.94/104.31 c #Conflicts: 101000 | #Constraints: 11155
103.94/104.31 c #Conflicts: 102000 | #Constraints: 12155
103.94/104.31 c #Conflicts: 103000 | #Constraints: 13155
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 104000 | #Constraints: 7748
103.94/104.31 c #Conflicts: 105000 | #Constraints: 8748
103.94/104.31 c #Conflicts: 106000 | #Constraints: 9748
103.94/104.31 c #Conflicts: 107000 | #Constraints: 10748
103.94/104.31 c #Conflicts: 108000 | #Constraints: 11748
103.94/104.31 c #Conflicts: 109000 | #Constraints: 12748
103.94/104.31 c #Conflicts: 110000 | #Constraints: 13748
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 111000 | #Constraints: 8157
103.94/104.31 c #Conflicts: 112000 | #Constraints: 9157
103.94/104.31 c #Conflicts: 113000 | #Constraints: 10157
103.94/104.31 c #Conflicts: 114000 | #Constraints: 11157
103.94/104.31 c #Conflicts: 115000 | #Constraints: 12157
103.94/104.31 c #Conflicts: 116000 | #Constraints: 13157
103.94/104.31 c #Conflicts: 117000 | #Constraints: 14157
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 118000 | #Constraints: 8358
103.94/104.31 c #Conflicts: 119000 | #Constraints: 9358
103.94/104.31 c #Conflicts: 120000 | #Constraints: 10358
103.94/104.31 c #Conflicts: 121000 | #Constraints: 11358
103.94/104.31 c #Conflicts: 122000 | #Constraints: 12358
103.94/104.31 c #Conflicts: 123000 | #Constraints: 13358
103.94/104.31 c #Conflicts: 124000 | #Constraints: 14358
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 125000 | #Constraints: 8357
103.94/104.31 c #Conflicts: 126000 | #Constraints: 9357
103.94/104.31 c #Conflicts: 127000 | #Constraints: 10357
103.94/104.31 c #Conflicts: 128000 | #Constraints: 11357
103.94/104.31 c #Conflicts: 129000 | #Constraints: 12357
103.94/104.31 c #Conflicts: 130000 | #Constraints: 13357
103.94/104.31 c #Conflicts: 131000 | #Constraints: 14357
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 132000 | #Constraints: 8155
103.94/104.31 c #Conflicts: 133000 | #Constraints: 9155
103.94/104.31 c #Conflicts: 134000 | #Constraints: 10155
103.94/104.31 c #Conflicts: 135000 | #Constraints: 11155
103.94/104.31 c #Conflicts: 136000 | #Constraints: 12155
103.94/104.31 c #Conflicts: 137000 | #Constraints: 13155
103.94/104.31 c #Conflicts: 138000 | #Constraints: 14155
103.94/104.31 c #Conflicts: 139000 | #Constraints: 15155
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 140000 | #Constraints: 8759
103.94/104.31 c #Conflicts: 141000 | #Constraints: 9759
103.94/104.31 c #Conflicts: 142000 | #Constraints: 10759
103.94/104.31 c #Conflicts: 143000 | #Constraints: 11759
103.94/104.31 c #Conflicts: 144000 | #Constraints: 12759
103.94/104.31 c #Conflicts: 145000 | #Constraints: 13759
103.94/104.31 c #Conflicts: 146000 | #Constraints: 14759
103.94/104.31 c #Conflicts: 147000 | #Constraints: 15759
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 148000 | #Constraints: 9164
103.94/104.31 c #Conflicts: 149000 | #Constraints: 10164
103.94/104.31 c #Conflicts: 150000 | #Constraints: 11164
103.94/104.31 c #Conflicts: 151000 | #Constraints: 12164
103.94/104.31 c #Conflicts: 152000 | #Constraints: 13164
103.94/104.31 c #Conflicts: 153000 | #Constraints: 14164
103.94/104.31 c #Conflicts: 154000 | #Constraints: 15164
103.94/104.31 c #Conflicts: 155000 | #Constraints: 16164
103.94/104.31 c INPROCESSING
103.94/104.31 c GARBAGE COLLECT
103.94/104.31 c #Conflicts: 156000 | #Constraints: 9364
103.94/104.31 c #Conflicts: 157000 | #Constraints: 10364
103.94/104.31 c #Conflicts: 158000 | #Constraints: 11364
103.94/104.31 c #Conflicts: 159000 | #Constraints: 12364
103.94/104.31 c #Conflicts: 160000 | #Constraints: 13364
176.74/177.34 c #Conflicts: 161000 | #Constraints: 14364
176.74/177.34 c #Conflicts: 162000 | #Constraints: 15364
176.74/177.34 c #Conflicts: 163000 | #Constraints: 16364
176.74/177.34 c INPROCESSING
176.74/177.34 c GARBAGE COLLECT
176.74/177.34 c #Conflicts: 164000 | #Constraints: 9369
176.74/177.34 c #Conflicts: 165000 | #Constraints: 10369
176.74/177.34 c #Conflicts: 166000 | #Constraints: 11369
176.74/177.34 c #Conflicts: 167000 | #Constraints: 12369
176.74/177.34 c #Conflicts: 168000 | #Constraints: 13369
176.74/177.34 c #Conflicts: 169000 | #Constraints: 14369
176.74/177.34 c #Conflicts: 170000 | #Constraints: 15369
176.74/177.34 c #Conflicts: 171000 | #Constraints: 16369
176.74/177.34 c INPROCESSING
176.74/177.34 c GARBAGE COLLECT
176.74/177.34 c #Conflicts: 172000 | #Constraints: 9165
176.74/177.34 c #Conflicts: 173000 | #Constraints: 10165
176.74/177.34 c #Conflicts: 174000 | #Constraints: 11165
176.74/177.34 c #Conflicts: 175000 | #Constraints: 12165
176.74/177.34 c #Conflicts: 176000 | #Constraints: 13165
176.74/177.34 c #Conflicts: 177000 | #Constraints: 14165
176.74/177.34 c #Conflicts: 178000 | #Constraints: 15165
176.74/177.34 c #Conflicts: 179000 | #Constraints: 16165
176.74/177.34 c #Conflicts: 180000 | #Constraints: 17165
176.74/177.34 c INPROCESSING
176.74/177.34 c GARBAGE COLLECT
176.74/177.34 c #Conflicts: 181000 | #Constraints: 9764
176.74/177.34 c #Conflicts: 182000 | #Constraints: 10764
176.74/177.34 c #Conflicts: 183000 | #Constraints: 11764
176.74/177.34 c #Conflicts: 184000 | #Constraints: 12764
176.74/177.34 c #Conflicts: 185000 | #Constraints: 13764
176.74/177.34 c #Conflicts: 186000 | #Constraints: 14764
176.74/177.34 c #Conflicts: 187000 | #Constraints: 15764
176.74/177.34 c #Conflicts: 188000 | #Constraints: 16764
176.74/177.34 c #Conflicts: 189000 | #Constraints: 17764
176.74/177.34 c INPROCESSING
176.74/177.34 c GARBAGE COLLECT
176.74/177.34 c #Conflicts: 190000 | #Constraints: 10162
176.74/177.34 c #Conflicts: 191000 | #Constraints: 11162
176.74/177.34 c #Conflicts: 192000 | #Constraints: 12162
176.74/177.34 c #Conflicts: 193000 | #Constraints: 13162
176.74/177.34 c #Conflicts: 194000 | #Constraints: 14162
176.74/177.34 c #Conflicts: 195000 | #Constraints: 15162
176.74/177.34 c #Conflicts: 196000 | #Constraints: 16162
176.74/177.34 c #Conflicts: 197000 | #Constraints: 17162
176.74/177.34 c #Conflicts: 198000 | #Constraints: 18162
176.74/177.34 c INPROCESSING
176.74/177.34 c GARBAGE COLLECT
176.74/177.34 c #Conflicts: 199000 | #Constraints: 10363
176.74/177.34 c #Conflicts: 200000 | #Constraints: 11363
176.74/177.34 c #Conflicts: 201000 | #Constraints: 12363
176.74/177.34 c #Conflicts: 202000 | #Constraints: 13363
176.74/177.34 c #Conflicts: 203000 | #Constraints: 14363
176.74/177.34 c #Conflicts: 204000 | #Constraints: 15363
176.74/177.34 c #Conflicts: 205000 | #Constraints: 16363
176.74/177.34 c #Conflicts: 206000 | #Constraints: 17363
176.74/177.34 c #Conflicts: 207000 | #Constraints: 18363
176.74/177.34 c INPROCESSING
176.74/177.34 c GARBAGE COLLECT
176.74/177.34 c #Conflicts: 208000 | #Constraints: 10361
176.74/177.34 c #Conflicts: 209000 | #Constraints: 11361
176.74/177.34 c #Conflicts: 210000 | #Constraints: 12361
176.74/177.34 c #Conflicts: 211000 | #Constraints: 13361
176.74/177.34 c #Conflicts: 212000 | #Constraints: 14361
176.74/177.34 c #Conflicts: 213000 | #Constraints: 15361
176.74/177.34 c #Conflicts: 214000 | #Constraints: 16361
176.74/177.34 c #Conflicts: 215000 | #Constraints: 17361
176.74/177.34 c #Conflicts: 216000 | #Constraints: 18361
176.74/177.34 c INPROCESSING
176.74/177.34 c GARBAGE COLLECT
176.74/177.34 c #Conflicts: 217000 | #Constraints: 10161
176.74/177.34 c #Conflicts: 218000 | #Constraints: 11161
176.74/177.34 c #Conflicts: 219000 | #Constraints: 12161
176.74/177.34 c #Conflicts: 220000 | #Constraints: 13161
176.74/177.34 c #Conflicts: 221000 | #Constraints: 14161
176.74/177.34 c #Conflicts: 222000 | #Constraints: 15161
176.74/177.34 c #Conflicts: 223000 | #Constraints: 16161
176.74/177.34 c #Conflicts: 224000 | #Constraints: 17161
176.74/177.34 c #Conflicts: 225000 | #Constraints: 18161
176.74/177.34 c #Conflicts: 226000 | #Constraints: 19161
176.74/177.34 c INPROCESSING
176.74/177.34 c GARBAGE COLLECT
176.74/177.34 c #Conflicts: 227000 | #Constraints: 10768
176.74/177.34 c #Conflicts: 228000 | #Constraints: 11768
176.74/177.34 c #Conflicts: 229000 | #Constraints: 12768
176.74/177.34 c #Conflicts: 230000 | #Constraints: 13768
176.74/177.34 c #Conflicts: 231000 | #Constraints: 14768
176.74/177.34 c #Conflicts: 232000 | #Constraints: 15768
176.74/177.34 c #Conflicts: 233000 | #Constraints: 16768
176.74/177.34 c #Conflicts: 234000 | #Constraints: 17768
253.64/254.49 c #Conflicts: 235000 | #Constraints: 18768
253.64/254.49 c #Conflicts: 236000 | #Constraints: 19768
253.64/254.49 c INPROCESSING
253.64/254.49 c GARBAGE COLLECT
253.64/254.49 c #Conflicts: 237000 | #Constraints: 11166
253.64/254.49 c #Conflicts: 238000 | #Constraints: 12166
253.64/254.49 c #Conflicts: 239000 | #Constraints: 13166
253.64/254.49 c #Conflicts: 240000 | #Constraints: 14166
253.64/254.49 c #Conflicts: 241000 | #Constraints: 15166
253.64/254.49 c #Conflicts: 242000 | #Constraints: 16166
253.64/254.49 c #Conflicts: 243000 | #Constraints: 17166
253.64/254.49 c #Conflicts: 244000 | #Constraints: 18166
253.64/254.49 c #Conflicts: 245000 | #Constraints: 19166
253.64/254.49 c #Conflicts: 246000 | #Constraints: 20166
253.64/254.49 c INPROCESSING
253.64/254.49 c GARBAGE COLLECT
253.64/254.49 c #Conflicts: 247000 | #Constraints: 11358
253.64/254.49 c #Conflicts: 248000 | #Constraints: 12358
253.64/254.49 c #Conflicts: 249000 | #Constraints: 13358
253.64/254.49 c #Conflicts: 250000 | #Constraints: 14358
253.64/254.49 c #Conflicts: 251000 | #Constraints: 15358
253.64/254.49 c #Conflicts: 252000 | #Constraints: 16358
253.64/254.49 c #Conflicts: 253000 | #Constraints: 17358
253.64/254.49 c #Conflicts: 254000 | #Constraints: 18358
253.64/254.49 c #Conflicts: 255000 | #Constraints: 19358
253.64/254.49 c #Conflicts: 256000 | #Constraints: 20358
253.64/254.49 c INPROCESSING
253.64/254.49 c GARBAGE COLLECT
253.64/254.49 c #Conflicts: 257000 | #Constraints: 11366
253.64/254.49 c #Conflicts: 258000 | #Constraints: 12366
253.64/254.49 c #Conflicts: 259000 | #Constraints: 13366
253.64/254.49 c #Conflicts: 260000 | #Constraints: 14366
253.64/254.49 c #Conflicts: 261000 | #Constraints: 15366
253.64/254.49 c #Conflicts: 262000 | #Constraints: 16366
253.64/254.49 c #Conflicts: 263000 | #Constraints: 17366
253.64/254.49 c #Conflicts: 264000 | #Constraints: 18366
253.64/254.49 c #Conflicts: 265000 | #Constraints: 19366
253.64/254.49 c #Conflicts: 266000 | #Constraints: 20366
253.64/254.49 c INPROCESSING
253.64/254.49 c GARBAGE COLLECT
253.64/254.49 c #Conflicts: 267000 | #Constraints: 11166
253.64/254.49 c #Conflicts: 268000 | #Constraints: 12166
253.64/254.49 c #Conflicts: 269000 | #Constraints: 13166
253.64/254.49 c #Conflicts: 270000 | #Constraints: 14166
253.64/254.49 c #Conflicts: 271000 | #Constraints: 15166
253.64/254.49 c #Conflicts: 272000 | #Constraints: 16166
253.64/254.49 c #Conflicts: 273000 | #Constraints: 17166
253.64/254.49 c #Conflicts: 274000 | #Constraints: 18166
253.64/254.49 c #Conflicts: 275000 | #Constraints: 19166
253.64/254.49 c #Conflicts: 276000 | #Constraints: 20166
253.64/254.49 c #Conflicts: 277000 | #Constraints: 21166
253.64/254.49 c INPROCESSING
253.64/254.49 c GARBAGE COLLECT
253.64/254.49 c #Conflicts: 278000 | #Constraints: 11768
253.64/254.49 c #Conflicts: 279000 | #Constraints: 12768
253.64/254.49 c #Conflicts: 280000 | #Constraints: 13768
253.64/254.49 c #Conflicts: 281000 | #Constraints: 14768
253.64/254.49 c #Conflicts: 282000 | #Constraints: 15768
253.64/254.49 c #Conflicts: 283000 | #Constraints: 16768
253.64/254.49 c #Conflicts: 284000 | #Constraints: 17768
253.64/254.49 c #Conflicts: 285000 | #Constraints: 18768
253.64/254.49 c #Conflicts: 286000 | #Constraints: 19768
253.64/254.49 c #Conflicts: 287000 | #Constraints: 20768
253.64/254.49 c #Conflicts: 288000 | #Constraints: 21768
253.64/254.49 c INPROCESSING
253.64/254.49 c GARBAGE COLLECT
253.64/254.49 c #Conflicts: 289000 | #Constraints: 12168
253.64/254.49 c #Conflicts: 290000 | #Constraints: 13168
253.64/254.49 c #Conflicts: 291000 | #Constraints: 14168
253.64/254.49 c #Conflicts: 292000 | #Constraints: 15168
253.64/254.49 c #Conflicts: 293000 | #Constraints: 16168
253.64/254.49 c #Conflicts: 294000 | #Constraints: 17168
253.64/254.49 c #Conflicts: 295000 | #Constraints: 18168
253.64/254.49 c #Conflicts: 296000 | #Constraints: 19168
253.64/254.49 c #Conflicts: 297000 | #Constraints: 20168
253.64/254.49 c #Conflicts: 298000 | #Constraints: 21168
253.64/254.49 c #Conflicts: 299000 | #Constraints: 22168
253.64/254.49 c INPROCESSING
253.64/254.49 c GARBAGE COLLECT
253.64/254.49 c #Conflicts: 300000 | #Constraints: 12369
253.64/254.49 c #Conflicts: 301000 | #Constraints: 13369
253.64/254.49 c #Conflicts: 302000 | #Constraints: 14369
253.64/254.49 c #Conflicts: 303000 | #Constraints: 15369
253.64/254.49 c #Conflicts: 304000 | #Constraints: 16369
253.64/254.49 c #Conflicts: 305000 | #Constraints: 17369
253.64/254.49 c #Conflicts: 306000 | #Constraints: 18369
253.64/254.49 c #Conflicts: 307000 | #Constraints: 19369
253.64/254.49 c #Conflicts: 308000 | #Constraints: 20369
332.94/333.92 c #Conflicts: 309000 | #Constraints: 21369
332.94/333.92 c #Conflicts: 310000 | #Constraints: 22369
332.94/333.92 c INPROCESSING
332.94/333.92 c GARBAGE COLLECT
332.94/333.92 c #Conflicts: 311000 | #Constraints: 12365
332.94/333.92 c #Conflicts: 312000 | #Constraints: 13365
332.94/333.92 c #Conflicts: 313000 | #Constraints: 14365
332.94/333.92 c #Conflicts: 314000 | #Constraints: 15365
332.94/333.92 c #Conflicts: 315000 | #Constraints: 16365
332.94/333.92 c #Conflicts: 316000 | #Constraints: 17365
332.94/333.92 c #Conflicts: 317000 | #Constraints: 18365
332.94/333.92 c #Conflicts: 318000 | #Constraints: 19365
332.94/333.92 c #Conflicts: 319000 | #Constraints: 20365
332.94/333.92 c #Conflicts: 320000 | #Constraints: 21365
332.94/333.92 c #Conflicts: 321000 | #Constraints: 22365
332.94/333.92 c INPROCESSING
332.94/333.92 c GARBAGE COLLECT
332.94/333.92 c #Conflicts: 322000 | #Constraints: 12165
332.94/333.92 c #Conflicts: 323000 | #Constraints: 13165
332.94/333.92 c #Conflicts: 324000 | #Constraints: 14165
332.94/333.92 c #Conflicts: 325000 | #Constraints: 15165
332.94/333.92 c #Conflicts: 326000 | #Constraints: 16165
332.94/333.92 c #Conflicts: 327000 | #Constraints: 17165
332.94/333.92 c #Conflicts: 328000 | #Constraints: 18165
332.94/333.92 c #Conflicts: 329000 | #Constraints: 19165
332.94/333.92 c #Conflicts: 330000 | #Constraints: 20165
332.94/333.92 c #Conflicts: 331000 | #Constraints: 21165
332.94/333.92 c #Conflicts: 332000 | #Constraints: 22165
332.94/333.92 c #Conflicts: 333000 | #Constraints: 23165
332.94/333.92 c INPROCESSING
332.94/333.92 c GARBAGE COLLECT
332.94/333.92 c #Conflicts: 334000 | #Constraints: 12762
332.94/333.92 c #Conflicts: 335000 | #Constraints: 13762
332.94/333.92 c #Conflicts: 336000 | #Constraints: 14762
332.94/333.92 c #Conflicts: 337000 | #Constraints: 15762
332.94/333.92 c #Conflicts: 338000 | #Constraints: 16762
332.94/333.92 c #Conflicts: 339000 | #Constraints: 17762
332.94/333.92 c #Conflicts: 340000 | #Constraints: 18762
332.94/333.92 c #Conflicts: 341000 | #Constraints: 19762
332.94/333.92 c #Conflicts: 342000 | #Constraints: 20762
332.94/333.92 c #Conflicts: 343000 | #Constraints: 21762
332.94/333.92 c #Conflicts: 344000 | #Constraints: 22762
332.94/333.92 c #Conflicts: 345000 | #Constraints: 23762
332.94/333.92 c INPROCESSING
332.94/333.92 c GARBAGE COLLECT
332.94/333.92 c #Conflicts: 346000 | #Constraints: 13174
332.94/333.92 c #Conflicts: 347000 | #Constraints: 14174
332.94/333.92 c #Conflicts: 348000 | #Constraints: 15174
332.94/333.92 c #Conflicts: 349000 | #Constraints: 16174
332.94/333.92 c #Conflicts: 350000 | #Constraints: 17174
332.94/333.92 c #Conflicts: 351000 | #Constraints: 18174
332.94/333.92 c #Conflicts: 352000 | #Constraints: 19174
332.94/333.92 c #Conflicts: 353000 | #Constraints: 20174
332.94/333.92 c #Conflicts: 354000 | #Constraints: 21174
332.94/333.92 c #Conflicts: 355000 | #Constraints: 22174
332.94/333.92 c #Conflicts: 356000 | #Constraints: 23174
332.94/333.92 c #Conflicts: 357000 | #Constraints: 24174
332.94/333.92 c INPROCESSING
332.94/333.92 c GARBAGE COLLECT
332.94/333.92 c #Conflicts: 358000 | #Constraints: 13367
332.94/333.92 c #Conflicts: 359000 | #Constraints: 14367
332.94/333.92 c #Conflicts: 360000 | #Constraints: 15367
332.94/333.92 c #Conflicts: 361000 | #Constraints: 16367
332.94/333.92 c #Conflicts: 362000 | #Constraints: 17367
332.94/333.92 c #Conflicts: 363000 | #Constraints: 18367
332.94/333.92 c #Conflicts: 364000 | #Constraints: 19367
332.94/333.92 c #Conflicts: 365000 | #Constraints: 20367
332.94/333.92 c #Conflicts: 366000 | #Constraints: 21367
332.94/333.92 c #Conflicts: 367000 | #Constraints: 22367
332.94/333.92 c #Conflicts: 368000 | #Constraints: 23367
332.94/333.92 c #Conflicts: 369000 | #Constraints: 24367
332.94/333.92 c INPROCESSING
332.94/333.92 c GARBAGE COLLECT
332.94/333.92 c #Conflicts: 370000 | #Constraints: 13369
332.94/333.92 c #Conflicts: 371000 | #Constraints: 14369
332.94/333.92 c #Conflicts: 372000 | #Constraints: 15369
332.94/333.92 c #Conflicts: 373000 | #Constraints: 16369
332.94/333.92 c #Conflicts: 374000 | #Constraints: 17369
332.94/333.92 c #Conflicts: 375000 | #Constraints: 18369
332.94/333.92 c #Conflicts: 376000 | #Constraints: 19369
332.94/333.92 c #Conflicts: 377000 | #Constraints: 20369
332.94/333.92 c #Conflicts: 378000 | #Constraints: 21369
332.94/333.92 c #Conflicts: 379000 | #Constraints: 22369
332.94/333.92 c #Conflicts: 380000 | #Constraints: 23369
332.94/333.92 c #Conflicts: 381000 | #Constraints: 24369
332.94/333.92 c INPROCESSING
332.94/333.92 c GARBAGE COLLECT
332.94/333.92 c #Conflicts: 382000 | #Constraints: 13176
421.52/422.75 c #Conflicts: 383000 | #Constraints: 14176
421.52/422.75 c #Conflicts: 384000 | #Constraints: 15176
421.52/422.75 c #Conflicts: 385000 | #Constraints: 16176
421.52/422.75 c #Conflicts: 386000 | #Constraints: 17176
421.52/422.75 c #Conflicts: 387000 | #Constraints: 18176
421.52/422.75 c #Conflicts: 388000 | #Constraints: 19176
421.52/422.75 c #Conflicts: 389000 | #Constraints: 20176
421.52/422.75 c #Conflicts: 390000 | #Constraints: 21176
421.52/422.75 c #Conflicts: 391000 | #Constraints: 22176
421.52/422.75 c #Conflicts: 392000 | #Constraints: 23176
421.52/422.75 c #Conflicts: 393000 | #Constraints: 24176
421.52/422.75 c #Conflicts: 394000 | #Constraints: 25176
421.52/422.75 c INPROCESSING
421.52/422.75 c GARBAGE COLLECT
421.52/422.75 c #Conflicts: 395000 | #Constraints: 13776
421.52/422.75 c #Conflicts: 396000 | #Constraints: 14776
421.52/422.75 c #Conflicts: 397000 | #Constraints: 15776
421.52/422.75 c #Conflicts: 398000 | #Constraints: 16776
421.52/422.75 c #Conflicts: 399000 | #Constraints: 17776
421.52/422.75 c #Conflicts: 400000 | #Constraints: 18776
421.52/422.75 c #Conflicts: 401000 | #Constraints: 19776
421.52/422.75 c #Conflicts: 402000 | #Constraints: 20776
421.52/422.75 c #Conflicts: 403000 | #Constraints: 21776
421.52/422.75 c #Conflicts: 404000 | #Constraints: 22776
421.52/422.75 c #Conflicts: 405000 | #Constraints: 23776
421.52/422.75 c #Conflicts: 406000 | #Constraints: 24776
421.52/422.75 c #Conflicts: 407000 | #Constraints: 25776
421.52/422.75 c INPROCESSING
421.52/422.75 c GARBAGE COLLECT
421.52/422.75 c #Conflicts: 408000 | #Constraints: 14175
421.52/422.75 c #Conflicts: 409000 | #Constraints: 15175
421.52/422.75 c #Conflicts: 410000 | #Constraints: 16175
421.52/422.75 c #Conflicts: 411000 | #Constraints: 17175
421.52/422.75 c #Conflicts: 412000 | #Constraints: 18175
421.52/422.75 c #Conflicts: 413000 | #Constraints: 19175
421.52/422.75 c #Conflicts: 414000 | #Constraints: 20175
421.52/422.75 c #Conflicts: 415000 | #Constraints: 21175
421.52/422.75 c #Conflicts: 416000 | #Constraints: 22175
421.52/422.75 c #Conflicts: 417000 | #Constraints: 23175
421.52/422.75 c #Conflicts: 418000 | #Constraints: 24175
421.52/422.75 c #Conflicts: 419000 | #Constraints: 25175
421.52/422.75 c #Conflicts: 420000 | #Constraints: 26175
421.52/422.75 c INPROCESSING
421.52/422.75 c GARBAGE COLLECT
421.52/422.75 c #Conflicts: 421000 | #Constraints: 14378
421.52/422.75 c #Conflicts: 422000 | #Constraints: 15378
421.52/422.75 c #Conflicts: 423000 | #Constraints: 16378
421.52/422.75 c #Conflicts: 424000 | #Constraints: 17378
421.52/422.75 c #Conflicts: 425000 | #Constraints: 18378
421.52/422.75 c #Conflicts: 426000 | #Constraints: 19378
421.52/422.75 c #Conflicts: 427000 | #Constraints: 20378
421.52/422.75 c #Conflicts: 428000 | #Constraints: 21378
421.52/422.75 c #Conflicts: 429000 | #Constraints: 22378
421.52/422.75 c #Conflicts: 430000 | #Constraints: 23378
421.52/422.75 c #Conflicts: 431000 | #Constraints: 24378
421.52/422.75 c #Conflicts: 432000 | #Constraints: 25378
421.52/422.75 c #Conflicts: 433000 | #Constraints: 26378
421.52/422.75 c INPROCESSING
421.52/422.75 c GARBAGE COLLECT
421.52/422.75 c #Conflicts: 434000 | #Constraints: 14367
421.52/422.75 c #Conflicts: 435000 | #Constraints: 15367
421.52/422.75 c #Conflicts: 436000 | #Constraints: 16367
421.52/422.75 c #Conflicts: 437000 | #Constraints: 17367
421.52/422.75 c #Conflicts: 438000 | #Constraints: 18367
421.52/422.75 c #Conflicts: 439000 | #Constraints: 19367
421.52/422.75 c #Conflicts: 440000 | #Constraints: 20367
421.52/422.75 c #Conflicts: 441000 | #Constraints: 21367
421.52/422.75 c #Conflicts: 442000 | #Constraints: 22367
421.52/422.75 c #Conflicts: 443000 | #Constraints: 23367
421.52/422.75 c #Conflicts: 444000 | #Constraints: 24367
421.52/422.75 c #Conflicts: 445000 | #Constraints: 25367
421.52/422.75 c #Conflicts: 446000 | #Constraints: 26367
421.52/422.75 c INPROCESSING
421.52/422.75 c GARBAGE COLLECT
421.52/422.75 c #Conflicts: 447000 | #Constraints: 14171
421.52/422.75 c #Conflicts: 448000 | #Constraints: 15171
421.52/422.75 c #Conflicts: 449000 | #Constraints: 16171
421.52/422.75 c #Conflicts: 450000 | #Constraints: 17171
421.52/422.75 c #Conflicts: 451000 | #Constraints: 18171
421.52/422.75 c #Conflicts: 452000 | #Constraints: 19171
421.52/422.75 c #Conflicts: 453000 | #Constraints: 20171
421.52/422.75 c #Conflicts: 454000 | #Constraints: 21171
421.52/422.75 c #Conflicts: 455000 | #Constraints: 22171
421.52/422.75 c #Conflicts: 456000 | #Constraints: 23171
421.52/422.75 c #Conflicts: 457000 | #Constraints: 24171
421.52/422.75 c #Conflicts: 458000 | #Constraints: 25171
534.23/535.78 c #Conflicts: 459000 | #Constraints: 26171
534.23/535.78 c #Conflicts: 460000 | #Constraints: 27171
534.23/535.78 c INPROCESSING
534.23/535.78 c GARBAGE COLLECT
534.23/535.78 c #Conflicts: 461000 | #Constraints: 14768
534.23/535.78 c #Conflicts: 462000 | #Constraints: 15768
534.23/535.78 c #Conflicts: 463000 | #Constraints: 16768
534.23/535.78 c #Conflicts: 464000 | #Constraints: 17768
534.23/535.78 c #Conflicts: 465000 | #Constraints: 18768
534.23/535.78 c #Conflicts: 466000 | #Constraints: 19768
534.23/535.78 c #Conflicts: 467000 | #Constraints: 20768
534.23/535.78 c #Conflicts: 468000 | #Constraints: 21768
534.23/535.78 c #Conflicts: 469000 | #Constraints: 22768
534.23/535.78 c #Conflicts: 470000 | #Constraints: 23768
534.23/535.78 c #Conflicts: 471000 | #Constraints: 24768
534.23/535.78 c #Conflicts: 472000 | #Constraints: 25768
534.23/535.78 c #Conflicts: 473000 | #Constraints: 26768
534.23/535.78 c #Conflicts: 474000 | #Constraints: 27768
534.23/535.78 c INPROCESSING
534.23/535.78 c GARBAGE COLLECT
534.23/535.78 c #Conflicts: 475000 | #Constraints: 15172
534.23/535.78 c #Conflicts: 476000 | #Constraints: 16172
534.23/535.78 c #Conflicts: 477000 | #Constraints: 17172
534.23/535.78 c #Conflicts: 478000 | #Constraints: 18172
534.23/535.78 c #Conflicts: 479000 | #Constraints: 19172
534.23/535.78 c #Conflicts: 480000 | #Constraints: 20172
534.23/535.78 c #Conflicts: 481000 | #Constraints: 21172
534.23/535.78 c #Conflicts: 482000 | #Constraints: 22172
534.23/535.78 c #Conflicts: 483000 | #Constraints: 23172
534.23/535.78 c #Conflicts: 484000 | #Constraints: 24172
534.23/535.78 c #Conflicts: 485000 | #Constraints: 25172
534.23/535.78 c #Conflicts: 486000 | #Constraints: 26172
534.23/535.78 c #Conflicts: 487000 | #Constraints: 27172
534.23/535.78 c #Conflicts: 488000 | #Constraints: 28172
534.23/535.78 c INPROCESSING
534.23/535.78 c GARBAGE COLLECT
534.23/535.78 c #Conflicts: 489000 | #Constraints: 15373
534.23/535.78 c #Conflicts: 490000 | #Constraints: 16373
534.23/535.78 c #Conflicts: 491000 | #Constraints: 17373
534.23/535.78 c #Conflicts: 492000 | #Constraints: 18373
534.23/535.78 c #Conflicts: 493000 | #Constraints: 19373
534.23/535.78 c #Conflicts: 494000 | #Constraints: 20373
534.23/535.78 c #Conflicts: 495000 | #Constraints: 21373
534.23/535.78 c #Conflicts: 496000 | #Constraints: 22373
534.23/535.78 c #Conflicts: 497000 | #Constraints: 23373
534.23/535.78 c #Conflicts: 498000 | #Constraints: 24373
534.23/535.78 c #Conflicts: 499000 | #Constraints: 25373
534.23/535.78 c #Conflicts: 500000 | #Constraints: 26373
534.23/535.78 c #Conflicts: 501000 | #Constraints: 27373
534.23/535.78 c #Conflicts: 502000 | #Constraints: 28373
534.23/535.78 c INPROCESSING
534.23/535.78 c GARBAGE COLLECT
534.23/535.78 c #Conflicts: 503000 | #Constraints: 15374
534.23/535.78 c #Conflicts: 504000 | #Constraints: 16374
534.23/535.78 c #Conflicts: 505000 | #Constraints: 17374
534.23/535.78 c #Conflicts: 506000 | #Constraints: 18374
534.23/535.78 c #Conflicts: 507000 | #Constraints: 19374
534.23/535.78 c #Conflicts: 508000 | #Constraints: 20374
534.23/535.78 c #Conflicts: 509000 | #Constraints: 21374
534.23/535.78 c #Conflicts: 510000 | #Constraints: 22374
534.23/535.78 c #Conflicts: 511000 | #Constraints: 23374
534.23/535.78 c #Conflicts: 512000 | #Constraints: 24374
534.23/535.78 c #Conflicts: 513000 | #Constraints: 25374
534.23/535.78 c #Conflicts: 514000 | #Constraints: 26374
534.23/535.78 c #Conflicts: 515000 | #Constraints: 27374
534.23/535.78 c #Conflicts: 516000 | #Constraints: 28374
534.23/535.78 c INPROCESSING
534.23/535.78 c GARBAGE COLLECT
534.23/535.78 c #Conflicts: 517000 | #Constraints: 15173
534.23/535.78 c #Conflicts: 518000 | #Constraints: 16173
534.23/535.78 c #Conflicts: 519000 | #Constraints: 17173
534.23/535.78 c #Conflicts: 520000 | #Constraints: 18173
534.23/535.78 c #Conflicts: 521000 | #Constraints: 19173
534.23/535.78 c #Conflicts: 522000 | #Constraints: 20173
534.23/535.78 c #Conflicts: 523000 | #Constraints: 21173
534.23/535.78 c #Conflicts: 524000 | #Constraints: 22173
534.23/535.78 c #Conflicts: 525000 | #Constraints: 23173
534.23/535.78 c #Conflicts: 526000 | #Constraints: 24173
534.23/535.78 c #Conflicts: 527000 | #Constraints: 25173
534.23/535.78 c #Conflicts: 528000 | #Constraints: 26173
534.23/535.78 c #Conflicts: 529000 | #Constraints: 27173
534.23/535.78 c #Conflicts: 530000 | #Constraints: 28173
534.23/535.78 c #Conflicts: 531000 | #Constraints: 29173
534.23/535.78 c INPROCESSING
534.23/535.78 c GARBAGE COLLECT
534.23/535.78 c #Conflicts: 532000 | #Constraints: 15767
534.23/535.78 c #Conflicts: 533000 | #Constraints: 16767
655.82/657.74 c #Conflicts: 534000 | #Constraints: 17767
655.82/657.74 c #Conflicts: 535000 | #Constraints: 18767
655.82/657.74 c #Conflicts: 536000 | #Constraints: 19767
655.82/657.74 c #Conflicts: 537000 | #Constraints: 20767
655.82/657.74 c #Conflicts: 538000 | #Constraints: 21767
655.82/657.74 c #Conflicts: 539000 | #Constraints: 22767
655.82/657.74 c #Conflicts: 540000 | #Constraints: 23767
655.82/657.74 c #Conflicts: 541000 | #Constraints: 24767
655.82/657.74 c #Conflicts: 542000 | #Constraints: 25767
655.82/657.74 c #Conflicts: 543000 | #Constraints: 26767
655.82/657.74 c #Conflicts: 544000 | #Constraints: 27767
655.82/657.74 c #Conflicts: 545000 | #Constraints: 28767
655.82/657.74 c #Conflicts: 546000 | #Constraints: 29767
655.82/657.74 c INPROCESSING
655.82/657.74 c GARBAGE COLLECT
655.82/657.74 c #Conflicts: 547000 | #Constraints: 16175
655.82/657.74 c #Conflicts: 548000 | #Constraints: 17175
655.82/657.74 c #Conflicts: 549000 | #Constraints: 18175
655.82/657.74 c #Conflicts: 550000 | #Constraints: 19175
655.82/657.74 c #Conflicts: 551000 | #Constraints: 20175
655.82/657.74 c #Conflicts: 552000 | #Constraints: 21175
655.82/657.74 c #Conflicts: 553000 | #Constraints: 22175
655.82/657.74 c #Conflicts: 554000 | #Constraints: 23175
655.82/657.74 c #Conflicts: 555000 | #Constraints: 24175
655.82/657.74 c #Conflicts: 556000 | #Constraints: 25175
655.82/657.74 c #Conflicts: 557000 | #Constraints: 26175
655.82/657.74 c #Conflicts: 558000 | #Constraints: 27175
655.82/657.74 c #Conflicts: 559000 | #Constraints: 28175
655.82/657.74 c #Conflicts: 560000 | #Constraints: 29175
655.82/657.74 c #Conflicts: 561000 | #Constraints: 30175
655.82/657.74 c INPROCESSING
655.82/657.74 c GARBAGE COLLECT
655.82/657.74 c #Conflicts: 562000 | #Constraints: 16376
655.82/657.74 c #Conflicts: 563000 | #Constraints: 17376
655.82/657.74 c #Conflicts: 564000 | #Constraints: 18376
655.82/657.74 c #Conflicts: 565000 | #Constraints: 19376
655.82/657.74 c #Conflicts: 566000 | #Constraints: 20376
655.82/657.74 c #Conflicts: 567000 | #Constraints: 21376
655.82/657.74 c #Conflicts: 568000 | #Constraints: 22376
655.82/657.74 c #Conflicts: 569000 | #Constraints: 23376
655.82/657.74 c #Conflicts: 570000 | #Constraints: 24376
655.82/657.74 c #Conflicts: 571000 | #Constraints: 25376
655.82/657.74 c #Conflicts: 572000 | #Constraints: 26376
655.82/657.74 c #Conflicts: 573000 | #Constraints: 27376
655.82/657.74 c #Conflicts: 574000 | #Constraints: 28376
655.82/657.74 c #Conflicts: 575000 | #Constraints: 29376
655.82/657.74 c #Conflicts: 576000 | #Constraints: 30376
655.82/657.74 c INPROCESSING
655.82/657.74 c GARBAGE COLLECT
655.82/657.74 c #Conflicts: 577000 | #Constraints: 16377
655.82/657.74 c #Conflicts: 578000 | #Constraints: 17377
655.82/657.74 c #Conflicts: 579000 | #Constraints: 18377
655.82/657.74 c #Conflicts: 580000 | #Constraints: 19377
655.82/657.74 c #Conflicts: 581000 | #Constraints: 20377
655.82/657.74 c #Conflicts: 582000 | #Constraints: 21377
655.82/657.74 c #Conflicts: 583000 | #Constraints: 22377
655.82/657.74 c #Conflicts: 584000 | #Constraints: 23377
655.82/657.74 c #Conflicts: 585000 | #Constraints: 24377
655.82/657.74 c #Conflicts: 586000 | #Constraints: 25377
655.82/657.74 c #Conflicts: 587000 | #Constraints: 26377
655.82/657.74 c #Conflicts: 588000 | #Constraints: 27377
655.82/657.74 c #Conflicts: 589000 | #Constraints: 28377
655.82/657.74 c #Conflicts: 590000 | #Constraints: 29377
655.82/657.74 c #Conflicts: 591000 | #Constraints: 30377
655.82/657.74 c INPROCESSING
655.82/657.74 c GARBAGE COLLECT
655.82/657.74 c #Conflicts: 592000 | #Constraints: 16178
655.82/657.74 c #Conflicts: 593000 | #Constraints: 17178
655.82/657.74 c #Conflicts: 594000 | #Constraints: 18178
655.82/657.74 c #Conflicts: 595000 | #Constraints: 19178
655.82/657.74 c #Conflicts: 596000 | #Constraints: 20178
655.82/657.74 c #Conflicts: 597000 | #Constraints: 21178
655.82/657.74 c #Conflicts: 598000 | #Constraints: 22178
655.82/657.74 c #Conflicts: 599000 | #Constraints: 23178
655.82/657.74 c #Conflicts: 600000 | #Constraints: 24178
655.82/657.74 c #Conflicts: 601000 | #Constraints: 25178
655.82/657.74 c #Conflicts: 602000 | #Constraints: 26178
655.82/657.74 c #Conflicts: 603000 | #Constraints: 27178
655.82/657.74 c #Conflicts: 604000 | #Constraints: 28178
655.82/657.74 c #Conflicts: 605000 | #Constraints: 29178
655.82/657.74 c #Conflicts: 606000 | #Constraints: 30178
655.82/657.74 c #Conflicts: 607000 | #Constraints: 31178
655.82/657.74 c INPROCESSING
655.82/657.74 c GARBAGE COLLECT
655.82/657.74 c #Conflicts: 608000 | #Constraints: 16775
748.43/750.63 c #Conflicts: 609000 | #Constraints: 17775
748.43/750.63 c #Conflicts: 610000 | #Constraints: 18775
748.43/750.63 c #Conflicts: 611000 | #Constraints: 19775
748.43/750.63 c #Conflicts: 612000 | #Constraints: 20775
748.43/750.63 c #Conflicts: 613000 | #Constraints: 21775
748.43/750.63 c #Conflicts: 614000 | #Constraints: 22775
748.43/750.63 c #Conflicts: 615000 | #Constraints: 23775
748.43/750.63 c #Conflicts: 616000 | #Constraints: 24775
748.43/750.63 c #Conflicts: 617000 | #Constraints: 25775
748.43/750.63 c #Conflicts: 618000 | #Constraints: 26775
748.43/750.63 c #Conflicts: 619000 | #Constraints: 27775
748.43/750.63 c #Conflicts: 620000 | #Constraints: 28775
748.43/750.63 c #Conflicts: 621000 | #Constraints: 29775
748.43/750.63 c #Conflicts: 622000 | #Constraints: 30775
748.43/750.63 c #Conflicts: 623000 | #Constraints: 31775
748.43/750.63 c INPROCESSING
748.43/750.63 c GARBAGE COLLECT
748.43/750.63 c #Conflicts: 624000 | #Constraints: 17170
748.43/750.63 c #Conflicts: 625000 | #Constraints: 18170
748.43/750.63 c #Conflicts: 626000 | #Constraints: 19170
748.43/750.63 c #Conflicts: 627000 | #Constraints: 20170
748.43/750.63 c #Conflicts: 628000 | #Constraints: 21170
748.43/750.63 c #Conflicts: 629000 | #Constraints: 22170
748.43/750.63 c #Conflicts: 630000 | #Constraints: 23170
748.43/750.63 c #Conflicts: 631000 | #Constraints: 24170
748.43/750.63 c #Conflicts: 632000 | #Constraints: 25170
748.43/750.63 c #Conflicts: 633000 | #Constraints: 26170
748.43/750.63 c #Conflicts: 634000 | #Constraints: 27170
748.43/750.63 c #Conflicts: 635000 | #Constraints: 28170
748.43/750.63 c #Conflicts: 636000 | #Constraints: 29170
748.43/750.63 c #Conflicts: 637000 | #Constraints: 30170
748.43/750.63 c #Conflicts: 638000 | #Constraints: 31170
748.43/750.63 c #Conflicts: 639000 | #Constraints: 32170
748.43/750.63 c INPROCESSING
748.43/750.63 c GARBAGE COLLECT
748.43/750.63 c #Conflicts: 640000 | #Constraints: 17374
748.43/750.63 c #Conflicts: 641000 | #Constraints: 18374
748.43/750.63 c #Conflicts: 642000 | #Constraints: 19374
748.43/750.63 c #Conflicts: 643000 | #Constraints: 20374
748.43/750.63 c #Conflicts: 644000 | #Constraints: 21374
748.43/750.63 c #Conflicts: 645000 | #Constraints: 22374
748.43/750.63 c #Conflicts: 646000 | #Constraints: 23374
748.43/750.63 c #Conflicts: 647000 | #Constraints: 24374
748.43/750.63 c #Conflicts: 648000 | #Constraints: 25374
748.43/750.63 c #Conflicts: 649000 | #Constraints: 26374
748.43/750.63 c #Conflicts: 650000 | #Constraints: 27374
748.43/750.63 c #Conflicts: 651000 | #Constraints: 28374
748.43/750.63 c #Conflicts: 652000 | #Constraints: 29374
748.43/750.63 c #Conflicts: 653000 | #Constraints: 30374
748.43/750.63 c #Conflicts: 654000 | #Constraints: 31374
748.43/750.63 c #Conflicts: 655000 | #Constraints: 32374
748.43/750.63 c INPROCESSING
748.43/750.63 c GARBAGE COLLECT
748.43/750.63 c #Conflicts: 656000 | #Constraints: 17372
748.43/750.63 c #Conflicts: 657000 | #Constraints: 18372
748.43/750.63 c #Conflicts: 658000 | #Constraints: 19372
748.43/750.63 c #Conflicts: 659000 | #Constraints: 20372
748.43/750.63 c #Conflicts: 660000 | #Constraints: 21372
748.43/750.63 c #Conflicts: 661000 | #Constraints: 22372
748.43/750.63 c GLOBAL bounds - >= 0 @ 744.8
863.02/865.59 c #Conflicts: 662000 | #Constraints: 23374
863.02/865.59 c #Conflicts: 663000 | #Constraints: 24374
863.02/865.59 c #Conflicts: 664000 | #Constraints: 25374
863.02/865.59 c #Conflicts: 665000 | #Constraints: 26374
863.02/865.59 c #Conflicts: 666000 | #Constraints: 27374
863.02/865.59 c #Conflicts: 667000 | #Constraints: 28374
863.02/865.59 c #Conflicts: 668000 | #Constraints: 29374
863.02/865.59 c #Conflicts: 669000 | #Constraints: 30374
863.02/865.59 c #Conflicts: 670000 | #Constraints: 31374
863.02/865.59 c #Conflicts: 671000 | #Constraints: 32374
863.02/865.59 c INPROCESSING
863.02/865.59 c GARBAGE COLLECT
863.02/865.59 c #Conflicts: 672000 | #Constraints: 17176
863.02/865.59 c #Conflicts: 673000 | #Constraints: 18176
863.02/865.59 c #Conflicts: 674000 | #Constraints: 19176
863.02/865.59 c #Conflicts: 675000 | #Constraints: 20176
863.02/865.59 c #Conflicts: 676000 | #Constraints: 21176
863.02/865.59 c #Conflicts: 677000 | #Constraints: 22176
863.02/865.59 c #Conflicts: 678000 | #Constraints: 23176
863.02/865.59 c #Conflicts: 679000 | #Constraints: 24176
863.02/865.59 c #Conflicts: 680000 | #Constraints: 25176
863.02/865.59 c #Conflicts: 681000 | #Constraints: 26176
863.02/865.59 c #Conflicts: 682000 | #Constraints: 27176
863.02/865.59 c #Conflicts: 683000 | #Constraints: 28176
863.02/865.59 c #Conflicts: 684000 | #Constraints: 29176
863.02/865.59 c #Conflicts: 685000 | #Constraints: 30176
863.02/865.59 c #Conflicts: 686000 | #Constraints: 31176
863.02/865.59 c #Conflicts: 687000 | #Constraints: 32176
863.02/865.59 c #Conflicts: 688000 | #Constraints: 33176
863.02/865.59 c INPROCESSING
863.02/865.59 c GARBAGE COLLECT
863.02/865.59 c #Conflicts: 689000 | #Constraints: 17778
863.02/865.59 c #Conflicts: 690000 | #Constraints: 18778
863.02/865.59 c #Conflicts: 691000 | #Constraints: 19778
863.02/865.59 c #Conflicts: 692000 | #Constraints: 20778
863.02/865.59 c #Conflicts: 693000 | #Constraints: 21778
863.02/865.59 c #Conflicts: 694000 | #Constraints: 22778
863.02/865.59 c #Conflicts: 695000 | #Constraints: 23778
863.02/865.59 c #Conflicts: 696000 | #Constraints: 24778
863.02/865.59 c #Conflicts: 697000 | #Constraints: 25778
863.02/865.59 c #Conflicts: 698000 | #Constraints: 26778
863.02/865.59 c #Conflicts: 699000 | #Constraints: 27778
863.02/865.59 c #Conflicts: 700000 | #Constraints: 28778
863.02/865.59 c #Conflicts: 701000 | #Constraints: 29778
863.02/865.59 c #Conflicts: 702000 | #Constraints: 30778
863.02/865.59 c #Conflicts: 703000 | #Constraints: 31778
863.02/865.59 c #Conflicts: 704000 | #Constraints: 32778
863.02/865.59 c #Conflicts: 705000 | #Constraints: 33778
863.02/865.59 c INPROCESSING
863.02/865.59 c GARBAGE COLLECT
863.02/865.59 c #Conflicts: 706000 | #Constraints: 18173
863.02/865.59 c #Conflicts: 707000 | #Constraints: 19173
863.02/865.59 c #Conflicts: 708000 | #Constraints: 20173
863.02/865.59 c #Conflicts: 709000 | #Constraints: 21173
863.02/865.59 c #Conflicts: 710000 | #Constraints: 22173
863.02/865.59 c #Conflicts: 711000 | #Constraints: 23173
863.02/865.59 c #Conflicts: 712000 | #Constraints: 24173
863.02/865.59 c #Conflicts: 713000 | #Constraints: 25173
863.02/865.59 c #Conflicts: 714000 | #Constraints: 26173
863.02/865.59 c #Conflicts: 715000 | #Constraints: 27173
863.02/865.59 c #Conflicts: 716000 | #Constraints: 28173
863.02/865.59 c #Conflicts: 717000 | #Constraints: 29173
863.02/865.59 c #Conflicts: 718000 | #Constraints: 30173
863.02/865.59 c #Conflicts: 719000 | #Constraints: 31173
863.02/865.59 c #Conflicts: 720000 | #Constraints: 32173
863.02/865.59 c #Conflicts: 721000 | #Constraints: 33173
863.02/865.59 c #Conflicts: 722000 | #Constraints: 34173
863.02/865.59 c INPROCESSING
863.02/865.59 c GARBAGE COLLECT
863.02/865.59 c #Conflicts: 723000 | #Constraints: 18369
863.02/865.59 c #Conflicts: 724000 | #Constraints: 19369
863.02/865.59 c #Conflicts: 725000 | #Constraints: 20369
863.02/865.59 c #Conflicts: 726000 | #Constraints: 21369
863.02/865.59 c #Conflicts: 727000 | #Constraints: 22369
863.02/865.59 c #Conflicts: 728000 | #Constraints: 23369
863.02/865.59 c #Conflicts: 729000 | #Constraints: 24369
863.02/865.59 c #Conflicts: 730000 | #Constraints: 25369
863.02/865.59 c #Conflicts: 731000 | #Constraints: 26369
863.02/865.59 c #Conflicts: 732000 | #Constraints: 27369
863.02/865.59 c #Conflicts: 733000 | #Constraints: 28369
863.02/865.59 c #Conflicts: 734000 | #Constraints: 29369
863.02/865.59 c #Conflicts: 735000 | #Constraints: 30369
863.02/865.59 c #Conflicts: 736000 | #Constraints: 31369
863.02/865.59 c #Conflicts: 737000 | #Constraints: 32369
863.02/865.59 c #Conflicts: 738000 | #Constraints: 33369
988.90/991.73 c #Conflicts: 739000 | #Constraints: 34369
988.90/991.73 c INPROCESSING
988.90/991.73 c GARBAGE COLLECT
988.90/991.73 c #Conflicts: 740000 | #Constraints: 18366
988.90/991.73 c #Conflicts: 741000 | #Constraints: 19366
988.90/991.73 c #Conflicts: 742000 | #Constraints: 20366
988.90/991.73 c #Conflicts: 743000 | #Constraints: 21366
988.90/991.73 c #Conflicts: 744000 | #Constraints: 22366
988.90/991.73 c #Conflicts: 745000 | #Constraints: 23366
988.90/991.73 c #Conflicts: 746000 | #Constraints: 24366
988.90/991.73 c #Conflicts: 747000 | #Constraints: 25366
988.90/991.73 c #Conflicts: 748000 | #Constraints: 26366
988.90/991.73 c #Conflicts: 749000 | #Constraints: 27366
988.90/991.73 c #Conflicts: 750000 | #Constraints: 28366
988.90/991.73 c #Conflicts: 751000 | #Constraints: 29366
988.90/991.73 c #Conflicts: 752000 | #Constraints: 30366
988.90/991.73 c #Conflicts: 753000 | #Constraints: 31366
988.90/991.73 c #Conflicts: 754000 | #Constraints: 32366
988.90/991.73 c #Conflicts: 755000 | #Constraints: 33366
988.90/991.73 c #Conflicts: 756000 | #Constraints: 34366
988.90/991.73 c INPROCESSING
988.90/991.73 c GARBAGE COLLECT
988.90/991.73 c #Conflicts: 757000 | #Constraints: 18168
988.90/991.73 c #Conflicts: 758000 | #Constraints: 19168
988.90/991.73 c #Conflicts: 759000 | #Constraints: 20168
988.90/991.73 c #Conflicts: 760000 | #Constraints: 21168
988.90/991.73 c #Conflicts: 761000 | #Constraints: 22168
988.90/991.73 c #Conflicts: 762000 | #Constraints: 23168
988.90/991.73 c #Conflicts: 763000 | #Constraints: 24168
988.90/991.73 c #Conflicts: 764000 | #Constraints: 25168
988.90/991.73 c #Conflicts: 765000 | #Constraints: 26168
988.90/991.73 c #Conflicts: 766000 | #Constraints: 27168
988.90/991.73 c #Conflicts: 767000 | #Constraints: 28168
988.90/991.73 c #Conflicts: 768000 | #Constraints: 29168
988.90/991.73 c #Conflicts: 769000 | #Constraints: 30168
988.90/991.73 c #Conflicts: 770000 | #Constraints: 31168
988.90/991.73 c #Conflicts: 771000 | #Constraints: 32168
988.90/991.73 c #Conflicts: 772000 | #Constraints: 33168
988.90/991.73 c #Conflicts: 773000 | #Constraints: 34168
988.90/991.73 c #Conflicts: 774000 | #Constraints: 35168
988.90/991.73 c INPROCESSING
988.90/991.73 c GARBAGE COLLECT
988.90/991.73 c #Conflicts: 775000 | #Constraints: 18767
988.90/991.73 c #Conflicts: 776000 | #Constraints: 19767
988.90/991.73 c #Conflicts: 777000 | #Constraints: 20767
988.90/991.73 c #Conflicts: 778000 | #Constraints: 21767
988.90/991.73 c #Conflicts: 779000 | #Constraints: 22767
988.90/991.73 c #Conflicts: 780000 | #Constraints: 23767
988.90/991.73 c #Conflicts: 781000 | #Constraints: 24767
988.90/991.73 c #Conflicts: 782000 | #Constraints: 25767
988.90/991.73 c #Conflicts: 783000 | #Constraints: 26767
988.90/991.73 c #Conflicts: 784000 | #Constraints: 27767
988.90/991.73 c #Conflicts: 785000 | #Constraints: 28767
988.90/991.73 c #Conflicts: 786000 | #Constraints: 29767
988.90/991.73 c #Conflicts: 787000 | #Constraints: 30767
988.90/991.73 c #Conflicts: 788000 | #Constraints: 31767
988.90/991.73 c #Conflicts: 789000 | #Constraints: 32767
988.90/991.73 c #Conflicts: 790000 | #Constraints: 33767
988.90/991.73 c #Conflicts: 791000 | #Constraints: 34767
988.90/991.73 c #Conflicts: 792000 | #Constraints: 35767
988.90/991.73 c INPROCESSING
988.90/991.73 c GARBAGE COLLECT
988.90/991.73 c #Conflicts: 793000 | #Constraints: 19172
988.90/991.73 c #Conflicts: 794000 | #Constraints: 20172
988.90/991.73 c #Conflicts: 795000 | #Constraints: 21172
988.90/991.73 c #Conflicts: 796000 | #Constraints: 22172
988.90/991.73 c #Conflicts: 797000 | #Constraints: 23172
988.90/991.73 c #Conflicts: 798000 | #Constraints: 24172
988.90/991.73 c #Conflicts: 799000 | #Constraints: 25172
988.90/991.73 c #Conflicts: 800000 | #Constraints: 26172
988.90/991.73 c #Conflicts: 801000 | #Constraints: 27172
988.90/991.73 c #Conflicts: 802000 | #Constraints: 28172
988.90/991.73 c #Conflicts: 803000 | #Constraints: 29172
988.90/991.73 c #Conflicts: 804000 | #Constraints: 30172
988.90/991.73 c #Conflicts: 805000 | #Constraints: 31172
988.90/991.73 c #Conflicts: 806000 | #Constraints: 32172
988.90/991.73 c #Conflicts: 807000 | #Constraints: 33172
988.90/991.73 c #Conflicts: 808000 | #Constraints: 34172
988.90/991.73 c #Conflicts: 809000 | #Constraints: 35172
988.90/991.73 c #Conflicts: 810000 | #Constraints: 36172
988.90/991.73 c INPROCESSING
988.90/991.73 c GARBAGE COLLECT
988.90/991.73 c #Conflicts: 811000 | #Constraints: 19369
988.90/991.73 c #Conflicts: 812000 | #Constraints: 20369
988.90/991.73 c #Conflicts: 813000 | #Constraints: 21369
1130.13/1133.34 c #Conflicts: 814000 | #Constraints: 22369
1130.13/1133.34 c #Conflicts: 815000 | #Constraints: 23369
1130.13/1133.34 c #Conflicts: 816000 | #Constraints: 24369
1130.13/1133.34 c #Conflicts: 817000 | #Constraints: 25369
1130.13/1133.34 c #Conflicts: 818000 | #Constraints: 26369
1130.13/1133.34 c #Conflicts: 819000 | #Constraints: 27369
1130.13/1133.34 c #Conflicts: 820000 | #Constraints: 28369
1130.13/1133.34 c #Conflicts: 821000 | #Constraints: 29369
1130.13/1133.34 c #Conflicts: 822000 | #Constraints: 30369
1130.13/1133.34 c #Conflicts: 823000 | #Constraints: 31369
1130.13/1133.34 c #Conflicts: 824000 | #Constraints: 32369
1130.13/1133.34 c #Conflicts: 825000 | #Constraints: 33369
1130.13/1133.34 c #Conflicts: 826000 | #Constraints: 34369
1130.13/1133.34 c #Conflicts: 827000 | #Constraints: 35369
1130.13/1133.34 c #Conflicts: 828000 | #Constraints: 36369
1130.13/1133.34 c INPROCESSING
1130.13/1133.34 c GARBAGE COLLECT
1130.13/1133.34 c #Conflicts: 829000 | #Constraints: 19371
1130.13/1133.34 c #Conflicts: 830000 | #Constraints: 20371
1130.13/1133.34 c #Conflicts: 831000 | #Constraints: 21371
1130.13/1133.34 c #Conflicts: 832000 | #Constraints: 22371
1130.13/1133.34 c #Conflicts: 833000 | #Constraints: 23371
1130.13/1133.34 c #Conflicts: 834000 | #Constraints: 24371
1130.13/1133.34 c #Conflicts: 835000 | #Constraints: 25371
1130.13/1133.34 c #Conflicts: 836000 | #Constraints: 26371
1130.13/1133.34 c #Conflicts: 837000 | #Constraints: 27371
1130.13/1133.34 c #Conflicts: 838000 | #Constraints: 28371
1130.13/1133.34 c #Conflicts: 839000 | #Constraints: 29371
1130.13/1133.34 c #Conflicts: 840000 | #Constraints: 30371
1130.13/1133.34 c #Conflicts: 841000 | #Constraints: 31371
1130.13/1133.34 c #Conflicts: 842000 | #Constraints: 32371
1130.13/1133.34 c #Conflicts: 843000 | #Constraints: 33371
1130.13/1133.34 c #Conflicts: 844000 | #Constraints: 34371
1130.13/1133.34 c #Conflicts: 845000 | #Constraints: 35371
1130.13/1133.34 c #Conflicts: 846000 | #Constraints: 36371
1130.13/1133.34 c INPROCESSING
1130.13/1133.34 c GARBAGE COLLECT
1130.13/1133.34 c #Conflicts: 847000 | #Constraints: 19168
1130.13/1133.34 c #Conflicts: 848000 | #Constraints: 20168
1130.13/1133.34 c #Conflicts: 849000 | #Constraints: 21168
1130.13/1133.34 c #Conflicts: 850000 | #Constraints: 22168
1130.13/1133.34 c #Conflicts: 851000 | #Constraints: 23168
1130.13/1133.34 c #Conflicts: 852000 | #Constraints: 24168
1130.13/1133.34 c #Conflicts: 853000 | #Constraints: 25168
1130.13/1133.34 c #Conflicts: 854000 | #Constraints: 26168
1130.13/1133.34 c #Conflicts: 855000 | #Constraints: 27168
1130.13/1133.34 c #Conflicts: 856000 | #Constraints: 28168
1130.13/1133.34 c #Conflicts: 857000 | #Constraints: 29168
1130.13/1133.34 c #Conflicts: 858000 | #Constraints: 30168
1130.13/1133.34 c #Conflicts: 859000 | #Constraints: 31168
1130.13/1133.34 c #Conflicts: 860000 | #Constraints: 32168
1130.13/1133.34 c #Conflicts: 861000 | #Constraints: 33168
1130.13/1133.34 c #Conflicts: 862000 | #Constraints: 34168
1130.13/1133.34 c #Conflicts: 863000 | #Constraints: 35168
1130.13/1133.34 c #Conflicts: 864000 | #Constraints: 36168
1130.13/1133.34 c #Conflicts: 865000 | #Constraints: 37168
1130.13/1133.34 c INPROCESSING
1130.13/1133.34 c GARBAGE COLLECT
1130.13/1133.34 c #Conflicts: 866000 | #Constraints: 19767
1130.13/1133.34 c #Conflicts: 867000 | #Constraints: 20767
1130.13/1133.34 c #Conflicts: 868000 | #Constraints: 21767
1130.13/1133.34 c #Conflicts: 869000 | #Constraints: 22767
1130.13/1133.34 c #Conflicts: 870000 | #Constraints: 23767
1130.13/1133.34 c #Conflicts: 871000 | #Constraints: 24767
1130.13/1133.34 c #Conflicts: 872000 | #Constraints: 25767
1130.13/1133.34 c #Conflicts: 873000 | #Constraints: 26767
1130.13/1133.34 c #Conflicts: 874000 | #Constraints: 27767
1130.13/1133.34 c #Conflicts: 875000 | #Constraints: 28767
1130.13/1133.34 c #Conflicts: 876000 | #Constraints: 29767
1130.13/1133.34 c #Conflicts: 877000 | #Constraints: 30767
1130.13/1133.34 c #Conflicts: 878000 | #Constraints: 31767
1130.13/1133.34 c #Conflicts: 879000 | #Constraints: 32767
1130.13/1133.34 c #Conflicts: 880000 | #Constraints: 33767
1130.13/1133.34 c #Conflicts: 881000 | #Constraints: 34767
1130.13/1133.34 c #Conflicts: 882000 | #Constraints: 35767
1130.13/1133.34 c #Conflicts: 883000 | #Constraints: 36767
1130.13/1133.34 c #Conflicts: 884000 | #Constraints: 37767
1130.13/1133.34 c INPROCESSING
1130.13/1133.34 c GARBAGE COLLECT
1130.13/1133.34 c #Conflicts: 885000 | #Constraints: 20166
1130.13/1133.34 c #Conflicts: 886000 | #Constraints: 21166
1130.13/1133.34 c #Conflicts: 887000 | #Constraints: 22166
1130.13/1133.34 c #Conflicts: 888000 | #Constraints: 23166
1130.13/1133.34 c #Conflicts: 889000 | #Constraints: 24166
1130.13/1133.34 c #Conflicts: 890000 | #Constraints: 25166
1273.97/1277.54 c #Conflicts: 891000 | #Constraints: 26166
1273.97/1277.54 c #Conflicts: 892000 | #Constraints: 27166
1273.97/1277.54 c #Conflicts: 893000 | #Constraints: 28166
1273.97/1277.54 c #Conflicts: 894000 | #Constraints: 29166
1273.97/1277.54 c #Conflicts: 895000 | #Constraints: 30166
1273.97/1277.54 c #Conflicts: 896000 | #Constraints: 31166
1273.97/1277.54 c #Conflicts: 897000 | #Constraints: 32166
1273.97/1277.54 c #Conflicts: 898000 | #Constraints: 33166
1273.97/1277.54 c #Conflicts: 899000 | #Constraints: 34166
1273.97/1277.54 c #Conflicts: 900000 | #Constraints: 35166
1273.97/1277.54 c #Conflicts: 901000 | #Constraints: 36166
1273.97/1277.54 c #Conflicts: 902000 | #Constraints: 37166
1273.97/1277.54 c #Conflicts: 903000 | #Constraints: 38166
1273.97/1277.54 c INPROCESSING
1273.97/1277.54 c GARBAGE COLLECT
1273.97/1277.54 c #Conflicts: 904000 | #Constraints: 20378
1273.97/1277.54 c #Conflicts: 905000 | #Constraints: 21378
1273.97/1277.54 c #Conflicts: 906000 | #Constraints: 22378
1273.97/1277.54 c #Conflicts: 907000 | #Constraints: 23378
1273.97/1277.54 c #Conflicts: 908000 | #Constraints: 24378
1273.97/1277.54 c #Conflicts: 909000 | #Constraints: 25378
1273.97/1277.54 c #Conflicts: 910000 | #Constraints: 26378
1273.97/1277.54 c #Conflicts: 911000 | #Constraints: 27378
1273.97/1277.54 c #Conflicts: 912000 | #Constraints: 28378
1273.97/1277.54 c #Conflicts: 913000 | #Constraints: 29378
1273.97/1277.54 c #Conflicts: 914000 | #Constraints: 30378
1273.97/1277.54 c #Conflicts: 915000 | #Constraints: 31378
1273.97/1277.54 c #Conflicts: 916000 | #Constraints: 32378
1273.97/1277.54 c #Conflicts: 917000 | #Constraints: 33378
1273.97/1277.54 c #Conflicts: 918000 | #Constraints: 34378
1273.97/1277.54 c #Conflicts: 919000 | #Constraints: 35378
1273.97/1277.54 c #Conflicts: 920000 | #Constraints: 36378
1273.97/1277.54 c #Conflicts: 921000 | #Constraints: 37378
1273.97/1277.54 c #Conflicts: 922000 | #Constraints: 38378
1273.97/1277.54 c INPROCESSING
1273.97/1277.54 c GARBAGE COLLECT
1273.97/1277.54 c #Conflicts: 923000 | #Constraints: 20383
1273.97/1277.54 c #Conflicts: 924000 | #Constraints: 21383
1273.97/1277.54 c #Conflicts: 925000 | #Constraints: 22383
1273.97/1277.54 c #Conflicts: 926000 | #Constraints: 23383
1273.97/1277.54 c #Conflicts: 927000 | #Constraints: 24383
1273.97/1277.54 c #Conflicts: 928000 | #Constraints: 25383
1273.97/1277.54 c #Conflicts: 929000 | #Constraints: 26383
1273.97/1277.54 c #Conflicts: 930000 | #Constraints: 27383
1273.97/1277.54 c #Conflicts: 931000 | #Constraints: 28383
1273.97/1277.54 c #Conflicts: 932000 | #Constraints: 29383
1273.97/1277.54 c #Conflicts: 933000 | #Constraints: 30383
1273.97/1277.54 c #Conflicts: 934000 | #Constraints: 31383
1273.97/1277.54 c #Conflicts: 935000 | #Constraints: 32383
1273.97/1277.54 c #Conflicts: 936000 | #Constraints: 33383
1273.97/1277.54 c #Conflicts: 937000 | #Constraints: 34383
1273.97/1277.54 c #Conflicts: 938000 | #Constraints: 35383
1273.97/1277.54 c #Conflicts: 939000 | #Constraints: 36383
1273.97/1277.54 c #Conflicts: 940000 | #Constraints: 37383
1273.97/1277.54 c #Conflicts: 941000 | #Constraints: 38383
1273.97/1277.54 c INPROCESSING
1273.97/1277.54 c GARBAGE COLLECT
1273.97/1277.54 c #Conflicts: 942000 | #Constraints: 20183
1273.97/1277.54 c #Conflicts: 943000 | #Constraints: 21183
1273.97/1277.54 c #Conflicts: 944000 | #Constraints: 22183
1273.97/1277.54 c #Conflicts: 945000 | #Constraints: 23183
1273.97/1277.54 c #Conflicts: 946000 | #Constraints: 24183
1273.97/1277.54 c #Conflicts: 947000 | #Constraints: 25183
1273.97/1277.54 c #Conflicts: 948000 | #Constraints: 26183
1273.97/1277.54 c #Conflicts: 949000 | #Constraints: 27183
1273.97/1277.54 c #Conflicts: 950000 | #Constraints: 28183
1273.97/1277.54 c #Conflicts: 951000 | #Constraints: 29183
1273.97/1277.54 c #Conflicts: 952000 | #Constraints: 30183
1273.97/1277.54 c #Conflicts: 953000 | #Constraints: 31183
1273.97/1277.54 c #Conflicts: 954000 | #Constraints: 32183
1273.97/1277.54 c #Conflicts: 955000 | #Constraints: 33183
1273.97/1277.54 c #Conflicts: 956000 | #Constraints: 34183
1273.97/1277.54 c #Conflicts: 957000 | #Constraints: 35183
1273.97/1277.54 c #Conflicts: 958000 | #Constraints: 36183
1273.97/1277.54 c #Conflicts: 959000 | #Constraints: 37183
1273.97/1277.54 c #Conflicts: 960000 | #Constraints: 38183
1273.97/1277.54 c #Conflicts: 961000 | #Constraints: 39183
1273.97/1277.54 c INPROCESSING
1273.97/1277.54 c GARBAGE COLLECT
1273.97/1277.54 c #Conflicts: 962000 | #Constraints: 20776
1273.97/1277.54 c #Conflicts: 963000 | #Constraints: 21776
1273.97/1277.54 c #Conflicts: 964000 | #Constraints: 22776
1273.97/1277.54 c #Conflicts: 965000 | #Constraints: 23776
1273.97/1277.54 c #Conflicts: 966000 | #Constraints: 24776
1455.49/1459.55 c #Conflicts: 967000 | #Constraints: 25776
1455.49/1459.55 c #Conflicts: 968000 | #Constraints: 26776
1455.49/1459.55 c #Conflicts: 969000 | #Constraints: 27776
1455.49/1459.55 c #Conflicts: 970000 | #Constraints: 28776
1455.49/1459.55 c #Conflicts: 971000 | #Constraints: 29776
1455.49/1459.55 c #Conflicts: 972000 | #Constraints: 30776
1455.49/1459.55 c #Conflicts: 973000 | #Constraints: 31776
1455.49/1459.55 c #Conflicts: 974000 | #Constraints: 32776
1455.49/1459.55 c #Conflicts: 975000 | #Constraints: 33776
1455.49/1459.55 c #Conflicts: 976000 | #Constraints: 34776
1455.49/1459.55 c #Conflicts: 977000 | #Constraints: 35776
1455.49/1459.55 c #Conflicts: 978000 | #Constraints: 36776
1455.49/1459.55 c #Conflicts: 979000 | #Constraints: 37776
1455.49/1459.55 c #Conflicts: 980000 | #Constraints: 38776
1455.49/1459.55 c #Conflicts: 981000 | #Constraints: 39776
1455.49/1459.55 c INPROCESSING
1455.49/1459.55 c GARBAGE COLLECT
1455.49/1459.55 c #Conflicts: 982000 | #Constraints: 21167
1455.49/1459.55 c #Conflicts: 983000 | #Constraints: 22167
1455.49/1459.55 c #Conflicts: 984000 | #Constraints: 23167
1455.49/1459.55 c #Conflicts: 985000 | #Constraints: 24167
1455.49/1459.55 c #Conflicts: 986000 | #Constraints: 25167
1455.49/1459.55 c #Conflicts: 987000 | #Constraints: 26167
1455.49/1459.55 c #Conflicts: 988000 | #Constraints: 27167
1455.49/1459.55 c #Conflicts: 989000 | #Constraints: 28167
1455.49/1459.55 c #Conflicts: 990000 | #Constraints: 29167
1455.49/1459.55 c #Conflicts: 991000 | #Constraints: 30167
1455.49/1459.55 c #Conflicts: 992000 | #Constraints: 31167
1455.49/1459.55 c #Conflicts: 993000 | #Constraints: 32167
1455.49/1459.55 c #Conflicts: 994000 | #Constraints: 33167
1455.49/1459.55 c #Conflicts: 995000 | #Constraints: 34167
1455.49/1459.55 c #Conflicts: 996000 | #Constraints: 35167
1455.49/1459.55 c #Conflicts: 997000 | #Constraints: 36167
1455.49/1459.55 c #Conflicts: 998000 | #Constraints: 37167
1455.49/1459.55 c #Conflicts: 999000 | #Constraints: 38167
1455.49/1459.55 c #Conflicts: 1000000 | #Constraints: 39167
1455.49/1459.55 c #Conflicts: 1001000 | #Constraints: 40167
1455.49/1459.55 c INPROCESSING
1455.49/1459.55 c GARBAGE COLLECT
1455.49/1459.55 c #Conflicts: 1002000 | #Constraints: 21371
1455.49/1459.55 c #Conflicts: 1003000 | #Constraints: 22371
1455.49/1459.55 c #Conflicts: 1004000 | #Constraints: 23371
1455.49/1459.55 c #Conflicts: 1005000 | #Constraints: 24371
1455.49/1459.55 c #Conflicts: 1006000 | #Constraints: 25371
1455.49/1459.55 c #Conflicts: 1007000 | #Constraints: 26371
1455.49/1459.55 c #Conflicts: 1008000 | #Constraints: 27371
1455.49/1459.55 c #Conflicts: 1009000 | #Constraints: 28371
1455.49/1459.55 c #Conflicts: 1010000 | #Constraints: 29371
1455.49/1459.55 c #Conflicts: 1011000 | #Constraints: 30371
1455.49/1459.55 c #Conflicts: 1012000 | #Constraints: 31371
1455.49/1459.55 c #Conflicts: 1013000 | #Constraints: 32371
1455.49/1459.55 c #Conflicts: 1014000 | #Constraints: 33371
1455.49/1459.55 c #Conflicts: 1015000 | #Constraints: 34371
1455.49/1459.55 c #Conflicts: 1016000 | #Constraints: 35371
1455.49/1459.55 c #Conflicts: 1017000 | #Constraints: 36371
1455.49/1459.55 c #Conflicts: 1018000 | #Constraints: 37371
1455.49/1459.55 c #Conflicts: 1019000 | #Constraints: 38371
1455.49/1459.55 c #Conflicts: 1020000 | #Constraints: 39371
1455.49/1459.55 c #Conflicts: 1021000 | #Constraints: 40371
1455.49/1459.55 c INPROCESSING
1455.49/1459.55 c GARBAGE COLLECT
1455.49/1459.55 c #Conflicts: 1022000 | #Constraints: 21371
1455.49/1459.55 c #Conflicts: 1023000 | #Constraints: 22371
1455.49/1459.55 c #Conflicts: 1024000 | #Constraints: 23371
1455.49/1459.55 c #Conflicts: 1025000 | #Constraints: 24371
1455.49/1459.55 c #Conflicts: 1026000 | #Constraints: 25371
1455.49/1459.55 c #Conflicts: 1027000 | #Constraints: 26371
1455.49/1459.55 c #Conflicts: 1028000 | #Constraints: 27371
1455.49/1459.55 c #Conflicts: 1029000 | #Constraints: 28371
1455.49/1459.55 c #Conflicts: 1030000 | #Constraints: 29371
1455.49/1459.55 c #Conflicts: 1031000 | #Constraints: 30371
1455.49/1459.55 c #Conflicts: 1032000 | #Constraints: 31371
1455.49/1459.55 c #Conflicts: 1033000 | #Constraints: 32371
1455.49/1459.55 c #Conflicts: 1034000 | #Constraints: 33371
1455.49/1459.55 c #Conflicts: 1035000 | #Constraints: 34371
1455.49/1459.55 c #Conflicts: 1036000 | #Constraints: 35371
1455.49/1459.55 c #Conflicts: 1037000 | #Constraints: 36371
1455.49/1459.55 c #Conflicts: 1038000 | #Constraints: 37371
1455.49/1459.55 c #Conflicts: 1039000 | #Constraints: 38371
1455.49/1459.55 c #Conflicts: 1040000 | #Constraints: 39371
1455.49/1459.55 c #Conflicts: 1041000 | #Constraints: 40371
1455.49/1459.55 c INPROCESSING
1455.49/1459.55 c GARBAGE COLLECT
1455.49/1459.55 c #Conflicts: 1042000 | #Constraints: 21165
1615.76/1620.23 c #Conflicts: 1043000 | #Constraints: 22165
1615.76/1620.23 c #Conflicts: 1044000 | #Constraints: 23165
1615.76/1620.23 c #Conflicts: 1045000 | #Constraints: 24165
1615.76/1620.23 c #Conflicts: 1046000 | #Constraints: 25165
1615.76/1620.23 c #Conflicts: 1047000 | #Constraints: 26165
1615.76/1620.23 c #Conflicts: 1048000 | #Constraints: 27165
1615.76/1620.23 c #Conflicts: 1049000 | #Constraints: 28165
1615.76/1620.23 c #Conflicts: 1050000 | #Constraints: 29165
1615.76/1620.23 c #Conflicts: 1051000 | #Constraints: 30165
1615.76/1620.23 c #Conflicts: 1052000 | #Constraints: 31165
1615.76/1620.23 c #Conflicts: 1053000 | #Constraints: 32165
1615.76/1620.23 c #Conflicts: 1054000 | #Constraints: 33165
1615.76/1620.23 c #Conflicts: 1055000 | #Constraints: 34165
1615.76/1620.23 c #Conflicts: 1056000 | #Constraints: 35165
1615.76/1620.23 c #Conflicts: 1057000 | #Constraints: 36165
1615.76/1620.23 c #Conflicts: 1058000 | #Constraints: 37165
1615.76/1620.23 c #Conflicts: 1059000 | #Constraints: 38165
1615.76/1620.23 c #Conflicts: 1060000 | #Constraints: 39165
1615.76/1620.23 c #Conflicts: 1061000 | #Constraints: 40165
1615.76/1620.23 c #Conflicts: 1062000 | #Constraints: 41165
1615.76/1620.23 c INPROCESSING
1615.76/1620.23 c GARBAGE COLLECT
1615.76/1620.23 c #Conflicts: 1063000 | #Constraints: 21766
1615.76/1620.23 c #Conflicts: 1064000 | #Constraints: 22766
1615.76/1620.23 c #Conflicts: 1065000 | #Constraints: 23766
1615.76/1620.23 c #Conflicts: 1066000 | #Constraints: 24766
1615.76/1620.23 c #Conflicts: 1067000 | #Constraints: 25766
1615.76/1620.23 c #Conflicts: 1068000 | #Constraints: 26766
1615.76/1620.23 c #Conflicts: 1069000 | #Constraints: 27766
1615.76/1620.23 c #Conflicts: 1070000 | #Constraints: 28766
1615.76/1620.23 c #Conflicts: 1071000 | #Constraints: 29766
1615.76/1620.23 c #Conflicts: 1072000 | #Constraints: 30766
1615.76/1620.23 c #Conflicts: 1073000 | #Constraints: 31766
1615.76/1620.23 c #Conflicts: 1074000 | #Constraints: 32766
1615.76/1620.23 c #Conflicts: 1075000 | #Constraints: 33766
1615.76/1620.23 c #Conflicts: 1076000 | #Constraints: 34766
1615.76/1620.23 c #Conflicts: 1077000 | #Constraints: 35766
1615.76/1620.23 c #Conflicts: 1078000 | #Constraints: 36766
1615.76/1620.23 c #Conflicts: 1079000 | #Constraints: 37766
1615.76/1620.23 c #Conflicts: 1080000 | #Constraints: 38766
1615.76/1620.23 c #Conflicts: 1081000 | #Constraints: 39766
1615.76/1620.23 c #Conflicts: 1082000 | #Constraints: 40766
1615.76/1620.23 c #Conflicts: 1083000 | #Constraints: 41766
1615.76/1620.23 c INPROCESSING
1615.76/1620.23 c GARBAGE COLLECT
1615.76/1620.23 c #Conflicts: 1084000 | #Constraints: 22165
1615.76/1620.23 c #Conflicts: 1085000 | #Constraints: 23165
1615.76/1620.23 c #Conflicts: 1086000 | #Constraints: 24165
1615.76/1620.23 c #Conflicts: 1087000 | #Constraints: 25165
1615.76/1620.23 c #Conflicts: 1088000 | #Constraints: 26165
1615.76/1620.23 c #Conflicts: 1089000 | #Constraints: 27165
1615.76/1620.23 c #Conflicts: 1090000 | #Constraints: 28165
1615.76/1620.23 c #Conflicts: 1091000 | #Constraints: 29165
1615.76/1620.23 c #Conflicts: 1092000 | #Constraints: 30165
1615.76/1620.23 c #Conflicts: 1093000 | #Constraints: 31165
1615.76/1620.23 c #Conflicts: 1094000 | #Constraints: 32165
1615.76/1620.23 c #Conflicts: 1095000 | #Constraints: 33165
1615.76/1620.23 c #Conflicts: 1096000 | #Constraints: 34165
1615.76/1620.23 c #Conflicts: 1097000 | #Constraints: 35165
1615.76/1620.23 c #Conflicts: 1098000 | #Constraints: 36165
1615.76/1620.23 c #Conflicts: 1099000 | #Constraints: 37165
1615.76/1620.23 c #Conflicts: 1100000 | #Constraints: 38165
1615.76/1620.23 c #Conflicts: 1101000 | #Constraints: 39165
1615.76/1620.23 c #Conflicts: 1102000 | #Constraints: 40165
1615.76/1620.23 c #Conflicts: 1103000 | #Constraints: 41165
1615.76/1620.23 c #Conflicts: 1104000 | #Constraints: 42165
1615.76/1620.23 c INPROCESSING
1615.76/1620.23 c GARBAGE COLLECT
1615.76/1620.23 c #Conflicts: 1105000 | #Constraints: 22365
1615.76/1620.23 c #Conflicts: 1106000 | #Constraints: 23365
1615.76/1620.23 c #Conflicts: 1107000 | #Constraints: 24365
1615.76/1620.23 c #Conflicts: 1108000 | #Constraints: 25365
1615.76/1620.23 c #Conflicts: 1109000 | #Constraints: 26365
1615.76/1620.23 c #Conflicts: 1110000 | #Constraints: 27365
1615.76/1620.23 c #Conflicts: 1111000 | #Constraints: 28365
1615.76/1620.23 c #Conflicts: 1112000 | #Constraints: 29365
1615.76/1620.23 c #Conflicts: 1113000 | #Constraints: 30365
1615.76/1620.23 c #Conflicts: 1114000 | #Constraints: 31365
1615.76/1620.23 c #Conflicts: 1115000 | #Constraints: 32365
1615.76/1620.23 c #Conflicts: 1116000 | #Constraints: 33365
1615.76/1620.23 c #Conflicts: 1117000 | #Constraints: 34365
1615.76/1620.23 c #Conflicts: 1118000 | #Constraints: 35365
1615.76/1620.23 c #Conflicts: 1119000 | #Constraints: 36365
1797.78/1802.77 c #Conflicts: 1120000 | #Constraints: 37365
1797.78/1802.77 c #Conflicts: 1121000 | #Constraints: 38365
1797.78/1802.77 c #Conflicts: 1122000 | #Constraints: 39365
1797.78/1802.77 c #Conflicts: 1123000 | #Constraints: 40365
1797.78/1802.77 c #Conflicts: 1124000 | #Constraints: 41365
1797.78/1802.77 c #Conflicts: 1125000 | #Constraints: 42365
1797.78/1802.77 c INPROCESSING
1797.78/1802.77 c GARBAGE COLLECT
1797.78/1802.77 c #Conflicts: 1126000 | #Constraints: 22369
1797.78/1802.77 c #Conflicts: 1127000 | #Constraints: 23369
1797.78/1802.77 c #Conflicts: 1128000 | #Constraints: 24369
1797.78/1802.77 c #Conflicts: 1129000 | #Constraints: 25369
1797.78/1802.77 c #Conflicts: 1130000 | #Constraints: 26369
1797.78/1802.77 c #Conflicts: 1131000 | #Constraints: 27369
1797.78/1802.77 c #Conflicts: 1132000 | #Constraints: 28369
1797.78/1802.77 c #Conflicts: 1133000 | #Constraints: 29369
1797.78/1802.77 c #Conflicts: 1134000 | #Constraints: 30369
1797.78/1802.77 c #Conflicts: 1135000 | #Constraints: 31369
1797.78/1802.77 c #Conflicts: 1136000 | #Constraints: 32369
1797.78/1802.77 c #Conflicts: 1137000 | #Constraints: 33369
1797.78/1802.77 c #Conflicts: 1138000 | #Constraints: 34369
1797.78/1802.77 c #Conflicts: 1139000 | #Constraints: 35369
1797.78/1802.77 c #Conflicts: 1140000 | #Constraints: 36369
1797.78/1802.77 c #Conflicts: 1141000 | #Constraints: 37369
1797.78/1802.77 c #Conflicts: 1142000 | #Constraints: 38369
1797.78/1802.77 c #Conflicts: 1143000 | #Constraints: 39369
1797.78/1802.77 c #Conflicts: 1144000 | #Constraints: 40369
1797.78/1802.77 c #Conflicts: 1145000 | #Constraints: 41369
1797.78/1802.77 c #Conflicts: 1146000 | #Constraints: 42369
1797.78/1802.77 c INPROCESSING
1797.78/1802.77 c GARBAGE COLLECT
1797.78/1802.77 c #Conflicts: 1147000 | #Constraints: 22164
1797.78/1802.77 c #Conflicts: 1148000 | #Constraints: 23164
1797.78/1802.77 c #Conflicts: 1149000 | #Constraints: 24164
1797.78/1802.77 c #Conflicts: 1150000 | #Constraints: 25164
1797.78/1802.77 c #Conflicts: 1151000 | #Constraints: 26164
1797.78/1802.77 c #Conflicts: 1152000 | #Constraints: 27164
1797.78/1802.77 c #Conflicts: 1153000 | #Constraints: 28164
1797.78/1802.77 c #Conflicts: 1154000 | #Constraints: 29164
1797.78/1802.77 c #Conflicts: 1155000 | #Constraints: 30164
1797.78/1802.77 c #Conflicts: 1156000 | #Constraints: 31164
1797.78/1802.77 c #Conflicts: 1157000 | #Constraints: 32164
1797.78/1802.77 c #Conflicts: 1158000 | #Constraints: 33164
1797.78/1802.77 c #Conflicts: 1159000 | #Constraints: 34164
1797.78/1802.77 c #Conflicts: 1160000 | #Constraints: 35164
1797.78/1802.77 c #Conflicts: 1161000 | #Constraints: 36164
1797.78/1802.77 c #Conflicts: 1162000 | #Constraints: 37164
1797.78/1802.77 c #Conflicts: 1163000 | #Constraints: 38164
1797.78/1802.77 c #Conflicts: 1164000 | #Constraints: 39164
1797.78/1802.77 c #Conflicts: 1165000 | #Constraints: 40164
1797.78/1802.77 c #Conflicts: 1166000 | #Constraints: 41164
1797.78/1802.77 c #Conflicts: 1167000 | #Constraints: 42164
1797.78/1802.77 c #Conflicts: 1168000 | #Constraints: 43164
1797.78/1802.77 c INPROCESSING
1797.78/1802.77 c GARBAGE COLLECT
1797.78/1802.77 c #Conflicts: 1169000 | #Constraints: 22764
1797.78/1802.77 c #Conflicts: 1170000 | #Constraints: 23764
1797.78/1802.77 c #Conflicts: 1171000 | #Constraints: 24764
1797.78/1802.77 c #Conflicts: 1172000 | #Constraints: 25764
1797.78/1802.77 c #Conflicts: 1173000 | #Constraints: 26764
1797.78/1802.77 c #Conflicts: 1174000 | #Constraints: 27764
1797.78/1802.77 c #Conflicts: 1175000 | #Constraints: 28764
1797.78/1802.77 c #Conflicts: 1176000 | #Constraints: 29764
1797.78/1802.77 c #Conflicts: 1177000 | #Constraints: 30764
1797.78/1802.77 c #Conflicts: 1178000 | #Constraints: 31764
1797.78/1802.77 c #Conflicts: 1179000 | #Constraints: 32764
1797.78/1802.77 c #Conflicts: 1180000 | #Constraints: 33764
1797.78/1802.77 c #Conflicts: 1181000 | #Constraints: 34764
1797.78/1802.77 c #Conflicts: 1182000 | #Constraints: 35764
1797.78/1802.77 c #Conflicts: 1183000 | #Constraints: 36764
1797.78/1802.77 c #Conflicts: 1184000 | #Constraints: 37764
1797.78/1802.77 c #Conflicts: 1185000 | #Constraints: 38764
1797.78/1802.77 c #Conflicts: 1186000 | #Constraints: 39764
1797.78/1802.77 c #Conflicts: 1187000 | #Constraints: 40764
1797.78/1802.77 c #Conflicts: 1188000 | #Constraints: 41764
1797.78/1802.77 c #Conflicts: 1189000 | #Constraints: 42764
1797.78/1802.77 c #Conflicts: 1190000 | #Constraints: 43764
1797.78/1802.77 c INPROCESSING
1797.78/1802.77 c GARBAGE COLLECT
1797.78/1802.77 c #Conflicts: 1191000 | #Constraints: 23164
1797.78/1802.77 c #Conflicts: 1192000 | #Constraints: 24164
1797.78/1802.77 c #Conflicts: 1193000 | #Constraints: 25164
1797.78/1802.77 c #Conflicts: 1194000 | #Constraints: 26164
1797.78/1802.77 c #Conflicts: 1195000 | #Constraints: 27164
1995.84/2001.36 c #Conflicts: 1196000 | #Constraints: 28164
1995.84/2001.36 c #Conflicts: 1197000 | #Constraints: 29164
1995.84/2001.36 c #Conflicts: 1198000 | #Constraints: 30164
1995.84/2001.36 c #Conflicts: 1199000 | #Constraints: 31164
1995.84/2001.36 c #Conflicts: 1200000 | #Constraints: 32164
1995.84/2001.36 c #Conflicts: 1201000 | #Constraints: 33164
1995.84/2001.36 c #Conflicts: 1202000 | #Constraints: 34164
1995.84/2001.36 c #Conflicts: 1203000 | #Constraints: 35164
1995.84/2001.36 c #Conflicts: 1204000 | #Constraints: 36164
1995.84/2001.36 c #Conflicts: 1205000 | #Constraints: 37164
1995.84/2001.36 c #Conflicts: 1206000 | #Constraints: 38164
1995.84/2001.36 c #Conflicts: 1207000 | #Constraints: 39164
1995.84/2001.36 c #Conflicts: 1208000 | #Constraints: 40164
1995.84/2001.36 c #Conflicts: 1209000 | #Constraints: 41164
1995.84/2001.36 c #Conflicts: 1210000 | #Constraints: 42164
1995.84/2001.36 c #Conflicts: 1211000 | #Constraints: 43164
1995.84/2001.36 c #Conflicts: 1212000 | #Constraints: 44164
1995.84/2001.36 c INPROCESSING
1995.84/2001.36 c GARBAGE COLLECT
1995.84/2001.36 c #Conflicts: 1213000 | #Constraints: 23367
1995.84/2001.36 c #Conflicts: 1214000 | #Constraints: 24367
1995.84/2001.36 c #Conflicts: 1215000 | #Constraints: 25367
1995.84/2001.36 c #Conflicts: 1216000 | #Constraints: 26367
1995.84/2001.36 c #Conflicts: 1217000 | #Constraints: 27367
1995.84/2001.36 c #Conflicts: 1218000 | #Constraints: 28367
1995.84/2001.36 c #Conflicts: 1219000 | #Constraints: 29367
1995.84/2001.36 c #Conflicts: 1220000 | #Constraints: 30367
1995.84/2001.36 c #Conflicts: 1221000 | #Constraints: 31367
1995.84/2001.36 c #Conflicts: 1222000 | #Constraints: 32367
1995.84/2001.36 c #Conflicts: 1223000 | #Constraints: 33367
1995.84/2001.36 c #Conflicts: 1224000 | #Constraints: 34367
1995.84/2001.36 c #Conflicts: 1225000 | #Constraints: 35367
1995.84/2001.36 c #Conflicts: 1226000 | #Constraints: 36367
1995.84/2001.36 c #Conflicts: 1227000 | #Constraints: 37367
1995.84/2001.36 c #Conflicts: 1228000 | #Constraints: 38367
1995.84/2001.36 c #Conflicts: 1229000 | #Constraints: 39367
1995.84/2001.36 c #Conflicts: 1230000 | #Constraints: 40367
1995.84/2001.36 c #Conflicts: 1231000 | #Constraints: 41367
1995.84/2001.36 c #Conflicts: 1232000 | #Constraints: 42367
1995.84/2001.36 c #Conflicts: 1233000 | #Constraints: 43367
1995.84/2001.36 c #Conflicts: 1234000 | #Constraints: 44367
1995.84/2001.36 c INPROCESSING
1995.84/2001.36 c GARBAGE COLLECT
1995.84/2001.36 c #Conflicts: 1235000 | #Constraints: 23365
1995.84/2001.36 c #Conflicts: 1236000 | #Constraints: 24365
1995.84/2001.36 c #Conflicts: 1237000 | #Constraints: 25365
1995.84/2001.36 c #Conflicts: 1238000 | #Constraints: 26365
1995.84/2001.36 c #Conflicts: 1239000 | #Constraints: 27365
1995.84/2001.36 c #Conflicts: 1240000 | #Constraints: 28365
1995.84/2001.36 c #Conflicts: 1241000 | #Constraints: 29365
1995.84/2001.36 c #Conflicts: 1242000 | #Constraints: 30365
1995.84/2001.36 c #Conflicts: 1243000 | #Constraints: 31365
1995.84/2001.36 c #Conflicts: 1244000 | #Constraints: 32365
1995.84/2001.36 c #Conflicts: 1245000 | #Constraints: 33365
1995.84/2001.36 c #Conflicts: 1246000 | #Constraints: 34365
1995.84/2001.36 c #Conflicts: 1247000 | #Constraints: 35365
1995.84/2001.36 c #Conflicts: 1248000 | #Constraints: 36365
1995.84/2001.36 c #Conflicts: 1249000 | #Constraints: 37365
1995.84/2001.36 c #Conflicts: 1250000 | #Constraints: 38365
1995.84/2001.36 c #Conflicts: 1251000 | #Constraints: 39365
1995.84/2001.36 c #Conflicts: 1252000 | #Constraints: 40365
1995.84/2001.36 c #Conflicts: 1253000 | #Constraints: 41365
1995.84/2001.36 c #Conflicts: 1254000 | #Constraints: 42365
1995.84/2001.36 c #Conflicts: 1255000 | #Constraints: 43365
1995.84/2001.36 c #Conflicts: 1256000 | #Constraints: 44365
1995.84/2001.36 c INPROCESSING
1995.84/2001.36 c GARBAGE COLLECT
1995.84/2001.36 c #Conflicts: 1257000 | #Constraints: 23169
1995.84/2001.36 c #Conflicts: 1258000 | #Constraints: 24169
1995.84/2001.36 c #Conflicts: 1259000 | #Constraints: 25169
1995.84/2001.36 c #Conflicts: 1260000 | #Constraints: 26169
1995.84/2001.36 c #Conflicts: 1261000 | #Constraints: 27169
1995.84/2001.36 c #Conflicts: 1262000 | #Constraints: 28169
1995.84/2001.36 c #Conflicts: 1263000 | #Constraints: 29169
1995.84/2001.36 c #Conflicts: 1264000 | #Constraints: 30169
1995.84/2001.36 c #Conflicts: 1265000 | #Constraints: 31169
1995.84/2001.36 c #Conflicts: 1266000 | #Constraints: 32169
1995.84/2001.36 c #Conflicts: 1267000 | #Constraints: 33169
1995.84/2001.36 c #Conflicts: 1268000 | #Constraints: 34169
1995.84/2001.36 c #Conflicts: 1269000 | #Constraints: 35169
1995.84/2001.36 c #Conflicts: 1270000 | #Constraints: 36169
1995.84/2001.36 c #Conflicts: 1271000 | #Constraints: 37169
1995.84/2001.36 c #Conflicts: 1272000 | #Constraints: 38169
2249.11/2255.35 c #Conflicts: 1273000 | #Constraints: 39169
2249.11/2255.35 c #Conflicts: 1274000 | #Constraints: 40169
2249.11/2255.35 c #Conflicts: 1275000 | #Constraints: 41169
2249.11/2255.35 c #Conflicts: 1276000 | #Constraints: 42169
2249.11/2255.35 c #Conflicts: 1277000 | #Constraints: 43169
2249.11/2255.35 c #Conflicts: 1278000 | #Constraints: 44169
2249.11/2255.35 c #Conflicts: 1279000 | #Constraints: 45169
2249.11/2255.35 c INPROCESSING
2249.11/2255.35 c GARBAGE COLLECT
2249.11/2255.35 c #Conflicts: 1280000 | #Constraints: 23776
2249.11/2255.35 c #Conflicts: 1281000 | #Constraints: 24776
2249.11/2255.35 c #Conflicts: 1282000 | #Constraints: 25776
2249.11/2255.35 c #Conflicts: 1283000 | #Constraints: 26776
2249.11/2255.35 c #Conflicts: 1284000 | #Constraints: 27776
2249.11/2255.35 c #Conflicts: 1285000 | #Constraints: 28776
2249.11/2255.35 c #Conflicts: 1286000 | #Constraints: 29776
2249.11/2255.35 c #Conflicts: 1287000 | #Constraints: 30776
2249.11/2255.35 c #Conflicts: 1288000 | #Constraints: 31776
2249.11/2255.35 c #Conflicts: 1289000 | #Constraints: 32776
2249.11/2255.35 c #Conflicts: 1290000 | #Constraints: 33776
2249.11/2255.35 c #Conflicts: 1291000 | #Constraints: 34776
2249.11/2255.35 c #Conflicts: 1292000 | #Constraints: 35776
2249.11/2255.35 c #Conflicts: 1293000 | #Constraints: 36776
2249.11/2255.35 c #Conflicts: 1294000 | #Constraints: 37776
2249.11/2255.35 c #Conflicts: 1295000 | #Constraints: 38776
2249.11/2255.35 c #Conflicts: 1296000 | #Constraints: 39776
2249.11/2255.35 c #Conflicts: 1297000 | #Constraints: 40776
2249.11/2255.35 c #Conflicts: 1298000 | #Constraints: 41776
2249.11/2255.35 c #Conflicts: 1299000 | #Constraints: 42776
2249.11/2255.35 c #Conflicts: 1300000 | #Constraints: 43776
2249.11/2255.35 c #Conflicts: 1301000 | #Constraints: 44776
2249.11/2255.35 c #Conflicts: 1302000 | #Constraints: 45776
2249.11/2255.35 c INPROCESSING
2249.11/2255.35 c GARBAGE COLLECT
2249.11/2255.35 c #Conflicts: 1303000 | #Constraints: 24181
2249.11/2255.35 c #Conflicts: 1304000 | #Constraints: 25181
2249.11/2255.35 c #Conflicts: 1305000 | #Constraints: 26181
2249.11/2255.35 c #Conflicts: 1306000 | #Constraints: 27181
2249.11/2255.35 c #Conflicts: 1307000 | #Constraints: 28181
2249.11/2255.35 c #Conflicts: 1308000 | #Constraints: 29181
2249.11/2255.35 c #Conflicts: 1309000 | #Constraints: 30181
2249.11/2255.35 c #Conflicts: 1310000 | #Constraints: 31181
2249.11/2255.35 c #Conflicts: 1311000 | #Constraints: 32181
2249.11/2255.35 c #Conflicts: 1312000 | #Constraints: 33181
2249.11/2255.35 c #Conflicts: 1313000 | #Constraints: 34181
2249.11/2255.35 c #Conflicts: 1314000 | #Constraints: 35181
2249.11/2255.35 c #Conflicts: 1315000 | #Constraints: 36181
2249.11/2255.35 c #Conflicts: 1316000 | #Constraints: 37181
2249.11/2255.35 c #Conflicts: 1317000 | #Constraints: 38181
2249.11/2255.35 c #Conflicts: 1318000 | #Constraints: 39181
2249.11/2255.35 c #Conflicts: 1319000 | #Constraints: 40181
2249.11/2255.35 c #Conflicts: 1320000 | #Constraints: 41181
2249.11/2255.35 c #Conflicts: 1321000 | #Constraints: 42181
2249.11/2255.35 c #Conflicts: 1322000 | #Constraints: 43181
2249.11/2255.35 c #Conflicts: 1323000 | #Constraints: 44181
2249.11/2255.35 c #Conflicts: 1324000 | #Constraints: 45181
2249.11/2255.35 c #Conflicts: 1325000 | #Constraints: 46181
2249.11/2255.35 c INPROCESSING
2249.11/2255.35 c GARBAGE COLLECT
2249.11/2255.35 c #Conflicts: 1326000 | #Constraints: 24376
2249.11/2255.35 c #Conflicts: 1327000 | #Constraints: 25376
2249.11/2255.35 c #Conflicts: 1328000 | #Constraints: 26376
2249.11/2255.35 c #Conflicts: 1329000 | #Constraints: 27376
2249.11/2255.35 c #Conflicts: 1330000 | #Constraints: 28376
2249.11/2255.35 c #Conflicts: 1331000 | #Constraints: 29376
2249.11/2255.35 c #Conflicts: 1332000 | #Constraints: 30376
2249.11/2255.35 c #Conflicts: 1333000 | #Constraints: 31376
2249.11/2255.35 c #Conflicts: 1334000 | #Constraints: 32376
2249.11/2255.35 c #Conflicts: 1335000 | #Constraints: 33376
2249.11/2255.35 c #Conflicts: 1336000 | #Constraints: 34376
2249.11/2255.35 c #Conflicts: 1337000 | #Constraints: 35376
2249.11/2255.35 c #Conflicts: 1338000 | #Constraints: 36376
2249.11/2255.35 c #Conflicts: 1339000 | #Constraints: 37376
2249.11/2255.35 c #Conflicts: 1340000 | #Constraints: 38376
2249.11/2255.35 c #Conflicts: 1341000 | #Constraints: 39376
2249.11/2255.35 c #Conflicts: 1342000 | #Constraints: 40376
2249.11/2255.35 c #Conflicts: 1343000 | #Constraints: 41376
2249.11/2255.35 c #Conflicts: 1344000 | #Constraints: 42376
2249.11/2255.35 c #Conflicts: 1345000 | #Constraints: 43376
2249.11/2255.35 c #Conflicts: 1346000 | #Constraints: 44376
2249.11/2255.35 c #Conflicts: 1347000 | #Constraints: 45376
2249.11/2255.35 c #Conflicts: 1348000 | #Constraints: 46376
2249.11/2255.35 c INPROCESSING
2249.11/2255.35 c GARBAGE COLLECT
2487.05/2493.96 c #Conflicts: 1349000 | #Constraints: 24367
2487.05/2493.96 c #Conflicts: 1350000 | #Constraints: 25367
2487.05/2493.96 c #Conflicts: 1351000 | #Constraints: 26367
2487.05/2493.96 c #Conflicts: 1352000 | #Constraints: 27367
2487.05/2493.96 c #Conflicts: 1353000 | #Constraints: 28367
2487.05/2493.96 c #Conflicts: 1354000 | #Constraints: 29367
2487.05/2493.96 c #Conflicts: 1355000 | #Constraints: 30367
2487.05/2493.96 c #Conflicts: 1356000 | #Constraints: 31367
2487.05/2493.96 c #Conflicts: 1357000 | #Constraints: 32367
2487.05/2493.96 c #Conflicts: 1358000 | #Constraints: 33367
2487.05/2493.96 c #Conflicts: 1359000 | #Constraints: 34367
2487.05/2493.96 c #Conflicts: 1360000 | #Constraints: 35367
2487.05/2493.96 c #Conflicts: 1361000 | #Constraints: 36367
2487.05/2493.96 c #Conflicts: 1362000 | #Constraints: 37367
2487.05/2493.96 c #Conflicts: 1363000 | #Constraints: 38367
2487.05/2493.96 c #Conflicts: 1364000 | #Constraints: 39367
2487.05/2493.96 c #Conflicts: 1365000 | #Constraints: 40367
2487.05/2493.96 c #Conflicts: 1366000 | #Constraints: 41367
2487.05/2493.96 c #Conflicts: 1367000 | #Constraints: 42367
2487.05/2493.96 c #Conflicts: 1368000 | #Constraints: 43367
2487.05/2493.96 c #Conflicts: 1369000 | #Constraints: 44367
2487.05/2493.96 c #Conflicts: 1370000 | #Constraints: 45367
2487.05/2493.96 c #Conflicts: 1371000 | #Constraints: 46367
2487.05/2493.96 c INPROCESSING
2487.05/2493.96 c GARBAGE COLLECT
2487.05/2493.96 c #Conflicts: 1372000 | #Constraints: 24174
2487.05/2493.96 c #Conflicts: 1373000 | #Constraints: 25174
2487.05/2493.96 c #Conflicts: 1374000 | #Constraints: 26174
2487.05/2493.96 c #Conflicts: 1375000 | #Constraints: 27174
2487.05/2493.96 c #Conflicts: 1376000 | #Constraints: 28174
2487.05/2493.96 c #Conflicts: 1377000 | #Constraints: 29174
2487.05/2493.96 c #Conflicts: 1378000 | #Constraints: 30174
2487.05/2493.96 c #Conflicts: 1379000 | #Constraints: 31174
2487.05/2493.96 c #Conflicts: 1380000 | #Constraints: 32174
2487.05/2493.96 c #Conflicts: 1381000 | #Constraints: 33174
2487.05/2493.96 c #Conflicts: 1382000 | #Constraints: 34174
2487.05/2493.96 c #Conflicts: 1383000 | #Constraints: 35174
2487.05/2493.96 c #Conflicts: 1384000 | #Constraints: 36174
2487.05/2493.96 c #Conflicts: 1385000 | #Constraints: 37174
2487.05/2493.96 c #Conflicts: 1386000 | #Constraints: 38174
2487.05/2493.96 c #Conflicts: 1387000 | #Constraints: 39174
2487.05/2493.96 c #Conflicts: 1388000 | #Constraints: 40174
2487.05/2493.96 c #Conflicts: 1389000 | #Constraints: 41174
2487.05/2493.96 c #Conflicts: 1390000 | #Constraints: 42174
2487.05/2493.96 c #Conflicts: 1391000 | #Constraints: 43174
2487.05/2493.96 c #Conflicts: 1392000 | #Constraints: 44174
2487.05/2493.96 c #Conflicts: 1393000 | #Constraints: 45174
2487.05/2493.96 c #Conflicts: 1394000 | #Constraints: 46174
2487.05/2493.96 c #Conflicts: 1395000 | #Constraints: 47174
2487.05/2493.96 c INPROCESSING
2487.05/2493.96 c GARBAGE COLLECT
2487.05/2493.96 c #Conflicts: 1396000 | #Constraints: 24775
2487.05/2493.96 c #Conflicts: 1397000 | #Constraints: 25775
2487.05/2493.96 c #Conflicts: 1398000 | #Constraints: 26775
2487.05/2493.96 c #Conflicts: 1399000 | #Constraints: 27775
2487.05/2493.96 c #Conflicts: 1400000 | #Constraints: 28775
2487.05/2493.96 c #Conflicts: 1401000 | #Constraints: 29775
2487.05/2493.96 c #Conflicts: 1402000 | #Constraints: 30775
2487.05/2493.96 c #Conflicts: 1403000 | #Constraints: 31775
2487.05/2493.96 c #Conflicts: 1404000 | #Constraints: 32775
2487.05/2493.96 c #Conflicts: 1405000 | #Constraints: 33775
2487.05/2493.96 c #Conflicts: 1406000 | #Constraints: 34775
2487.05/2493.96 c #Conflicts: 1407000 | #Constraints: 35775
2487.05/2493.96 c #Conflicts: 1408000 | #Constraints: 36775
2487.05/2493.96 c #Conflicts: 1409000 | #Constraints: 37775
2487.05/2493.96 c #Conflicts: 1410000 | #Constraints: 38775
2487.05/2493.96 c #Conflicts: 1411000 | #Constraints: 39775
2487.05/2493.96 c #Conflicts: 1412000 | #Constraints: 40775
2487.05/2493.96 c #Conflicts: 1413000 | #Constraints: 41775
2487.05/2493.96 c #Conflicts: 1414000 | #Constraints: 42775
2487.05/2493.96 c #Conflicts: 1415000 | #Constraints: 43775
2487.05/2493.96 c #Conflicts: 1416000 | #Constraints: 44775
2487.05/2493.96 c #Conflicts: 1417000 | #Constraints: 45775
2487.05/2493.96 c #Conflicts: 1418000 | #Constraints: 46775
2487.05/2493.96 c #Conflicts: 1419000 | #Constraints: 47775
2487.05/2493.96 c INPROCESSING
2487.05/2493.96 c GARBAGE COLLECT
2487.05/2493.96 c #Conflicts: 1420000 | #Constraints: 25177
2487.05/2493.96 c #Conflicts: 1421000 | #Constraints: 26177
2487.05/2493.96 c #Conflicts: 1422000 | #Constraints: 27177
2487.05/2493.96 c #Conflicts: 1423000 | #Constraints: 28177
2487.05/2493.96 c #Conflicts: 1424000 | #Constraints: 29177
2487.05/2493.96 c #Conflicts: 1425000 | #Constraints: 30177
2719.02/2726.55 c #Conflicts: 1426000 | #Constraints: 31177
2719.02/2726.55 c #Conflicts: 1427000 | #Constraints: 32177
2719.02/2726.55 c #Conflicts: 1428000 | #Constraints: 33177
2719.02/2726.55 c #Conflicts: 1429000 | #Constraints: 34177
2719.02/2726.55 c #Conflicts: 1430000 | #Constraints: 35177
2719.02/2726.55 c #Conflicts: 1431000 | #Constraints: 36177
2719.02/2726.55 c #Conflicts: 1432000 | #Constraints: 37177
2719.02/2726.55 c #Conflicts: 1433000 | #Constraints: 38177
2719.02/2726.55 c #Conflicts: 1434000 | #Constraints: 39177
2719.02/2726.55 c #Conflicts: 1435000 | #Constraints: 40177
2719.02/2726.55 c #Conflicts: 1436000 | #Constraints: 41177
2719.02/2726.55 c #Conflicts: 1437000 | #Constraints: 42177
2719.02/2726.55 c #Conflicts: 1438000 | #Constraints: 43177
2719.02/2726.55 c #Conflicts: 1439000 | #Constraints: 44177
2719.02/2726.55 c #Conflicts: 1440000 | #Constraints: 45177
2719.02/2726.55 c #Conflicts: 1441000 | #Constraints: 46177
2719.02/2726.55 c #Conflicts: 1442000 | #Constraints: 47177
2719.02/2726.55 c #Conflicts: 1443000 | #Constraints: 48177
2719.02/2726.55 c INPROCESSING
2719.02/2726.55 c GARBAGE COLLECT
2719.02/2726.55 c #Conflicts: 1444000 | #Constraints: 25373
2719.02/2726.55 c #Conflicts: 1445000 | #Constraints: 26373
2719.02/2726.55 c #Conflicts: 1446000 | #Constraints: 27373
2719.02/2726.55 c #Conflicts: 1447000 | #Constraints: 28373
2719.02/2726.55 c #Conflicts: 1448000 | #Constraints: 29373
2719.02/2726.55 c #Conflicts: 1449000 | #Constraints: 30373
2719.02/2726.55 c #Conflicts: 1450000 | #Constraints: 31373
2719.02/2726.55 c #Conflicts: 1451000 | #Constraints: 32373
2719.02/2726.55 c #Conflicts: 1452000 | #Constraints: 33373
2719.02/2726.55 c #Conflicts: 1453000 | #Constraints: 34373
2719.02/2726.55 c #Conflicts: 1454000 | #Constraints: 35373
2719.02/2726.55 c #Conflicts: 1455000 | #Constraints: 36373
2719.02/2726.55 c #Conflicts: 1456000 | #Constraints: 37373
2719.02/2726.55 c #Conflicts: 1457000 | #Constraints: 38373
2719.02/2726.55 c #Conflicts: 1458000 | #Constraints: 39373
2719.02/2726.55 c #Conflicts: 1459000 | #Constraints: 40373
2719.02/2726.55 c #Conflicts: 1460000 | #Constraints: 41373
2719.02/2726.55 c #Conflicts: 1461000 | #Constraints: 42373
2719.02/2726.55 c #Conflicts: 1462000 | #Constraints: 43373
2719.02/2726.55 c #Conflicts: 1463000 | #Constraints: 44373
2719.02/2726.55 c #Conflicts: 1464000 | #Constraints: 45373
2719.02/2726.55 c #Conflicts: 1465000 | #Constraints: 46373
2719.02/2726.55 c #Conflicts: 1466000 | #Constraints: 47373
2719.02/2726.55 c #Conflicts: 1467000 | #Constraints: 48373
2719.02/2726.55 c INPROCESSING
2719.02/2726.55 c GARBAGE COLLECT
2719.02/2726.55 c #Conflicts: 1468000 | #Constraints: 25373
2719.02/2726.55 c #Conflicts: 1469000 | #Constraints: 26373
2719.02/2726.55 c #Conflicts: 1470000 | #Constraints: 27373
2719.02/2726.55 c #Conflicts: 1471000 | #Constraints: 28373
2719.02/2726.55 c #Conflicts: 1472000 | #Constraints: 29373
2719.02/2726.55 c #Conflicts: 1473000 | #Constraints: 30373
2719.02/2726.55 c #Conflicts: 1474000 | #Constraints: 31373
2719.02/2726.55 c #Conflicts: 1475000 | #Constraints: 32373
2719.02/2726.55 c #Conflicts: 1476000 | #Constraints: 33373
2719.02/2726.55 c #Conflicts: 1477000 | #Constraints: 34373
2719.02/2726.55 c #Conflicts: 1478000 | #Constraints: 35373
2719.02/2726.55 c #Conflicts: 1479000 | #Constraints: 36373
2719.02/2726.55 c #Conflicts: 1480000 | #Constraints: 37373
2719.02/2726.55 c #Conflicts: 1481000 | #Constraints: 38373
2719.02/2726.55 c #Conflicts: 1482000 | #Constraints: 39373
2719.02/2726.55 c #Conflicts: 1483000 | #Constraints: 40373
2719.02/2726.55 c #Conflicts: 1484000 | #Constraints: 41373
2719.02/2726.55 c #Conflicts: 1485000 | #Constraints: 42373
2719.02/2726.55 c #Conflicts: 1486000 | #Constraints: 43373
2719.02/2726.55 c #Conflicts: 1487000 | #Constraints: 44373
2719.02/2726.55 c #Conflicts: 1488000 | #Constraints: 45373
2719.02/2726.55 c #Conflicts: 1489000 | #Constraints: 46373
2719.02/2726.55 c #Conflicts: 1490000 | #Constraints: 47373
2719.02/2726.55 c #Conflicts: 1491000 | #Constraints: 48373
2719.02/2726.55 c INPROCESSING
2719.02/2726.55 c GARBAGE COLLECT
2719.02/2726.55 c #Conflicts: 1492000 | #Constraints: 25167
2719.02/2726.55 c #Conflicts: 1493000 | #Constraints: 26167
2719.02/2726.55 c #Conflicts: 1494000 | #Constraints: 27167
2719.02/2726.55 c #Conflicts: 1495000 | #Constraints: 28167
2719.02/2726.55 c #Conflicts: 1496000 | #Constraints: 29167
2719.02/2726.55 c #Conflicts: 1497000 | #Constraints: 30167
2719.02/2726.55 c #Conflicts: 1498000 | #Constraints: 31167
2719.02/2726.55 c #Conflicts: 1499000 | #Constraints: 32167
2719.02/2726.55 c #Conflicts: 1500000 | #Constraints: 33167
2719.02/2726.55 c #Conflicts: 1501000 | #Constraints: 34167
2719.02/2726.55 c #Conflicts: 1502000 | #Constraints: 35167
2969.47/2977.69 c #Conflicts: 1503000 | #Constraints: 36167
2969.47/2977.69 c #Conflicts: 1504000 | #Constraints: 37167
2969.47/2977.69 c #Conflicts: 1505000 | #Constraints: 38167
2969.47/2977.69 c #Conflicts: 1506000 | #Constraints: 39167
2969.47/2977.69 c #Conflicts: 1507000 | #Constraints: 40167
2969.47/2977.69 c #Conflicts: 1508000 | #Constraints: 41167
2969.47/2977.69 c #Conflicts: 1509000 | #Constraints: 42167
2969.47/2977.69 c #Conflicts: 1510000 | #Constraints: 43167
2969.47/2977.69 c #Conflicts: 1511000 | #Constraints: 44167
2969.47/2977.69 c #Conflicts: 1512000 | #Constraints: 45167
2969.47/2977.69 c #Conflicts: 1513000 | #Constraints: 46167
2969.47/2977.69 c #Conflicts: 1514000 | #Constraints: 47167
2969.47/2977.69 c #Conflicts: 1515000 | #Constraints: 48167
2969.47/2977.69 c #Conflicts: 1516000 | #Constraints: 49167
2969.47/2977.69 c INPROCESSING
2969.47/2977.69 c GARBAGE COLLECT
2969.47/2977.69 c #Conflicts: 1517000 | #Constraints: 25785
2969.47/2977.69 c #Conflicts: 1518000 | #Constraints: 26785
2969.47/2977.69 c #Conflicts: 1519000 | #Constraints: 27785
2969.47/2977.69 c #Conflicts: 1520000 | #Constraints: 28785
2969.47/2977.69 c #Conflicts: 1521000 | #Constraints: 29785
2969.47/2977.69 c #Conflicts: 1522000 | #Constraints: 30785
2969.47/2977.69 c #Conflicts: 1523000 | #Constraints: 31785
2969.47/2977.69 c #Conflicts: 1524000 | #Constraints: 32785
2969.47/2977.69 c #Conflicts: 1525000 | #Constraints: 33785
2969.47/2977.69 c #Conflicts: 1526000 | #Constraints: 34785
2969.47/2977.69 c #Conflicts: 1527000 | #Constraints: 35785
2969.47/2977.69 c #Conflicts: 1528000 | #Constraints: 36785
2969.47/2977.69 c #Conflicts: 1529000 | #Constraints: 37785
2969.47/2977.69 c #Conflicts: 1530000 | #Constraints: 38785
2969.47/2977.69 c #Conflicts: 1531000 | #Constraints: 39785
2969.47/2977.69 c #Conflicts: 1532000 | #Constraints: 40785
2969.47/2977.69 c #Conflicts: 1533000 | #Constraints: 41785
2969.47/2977.69 c #Conflicts: 1534000 | #Constraints: 42785
2969.47/2977.69 c #Conflicts: 1535000 | #Constraints: 43785
2969.47/2977.69 c #Conflicts: 1536000 | #Constraints: 44785
2969.47/2977.69 c #Conflicts: 1537000 | #Constraints: 45785
2969.47/2977.69 c #Conflicts: 1538000 | #Constraints: 46785
2969.47/2977.69 c #Conflicts: 1539000 | #Constraints: 47785
2969.47/2977.69 c #Conflicts: 1540000 | #Constraints: 48785
2969.47/2977.69 c #Conflicts: 1541000 | #Constraints: 49785
2969.47/2977.69 c INPROCESSING
2969.47/2977.69 c GARBAGE COLLECT
2969.47/2977.69 c #Conflicts: 1542000 | #Constraints: 26181
2969.47/2977.69 c #Conflicts: 1543000 | #Constraints: 27181
2969.47/2977.69 c #Conflicts: 1544000 | #Constraints: 28181
2969.47/2977.69 c #Conflicts: 1545000 | #Constraints: 29181
2969.47/2977.69 c #Conflicts: 1546000 | #Constraints: 30181
2969.47/2977.69 c #Conflicts: 1547000 | #Constraints: 31181
2969.47/2977.69 c #Conflicts: 1548000 | #Constraints: 32181
2969.47/2977.69 c #Conflicts: 1549000 | #Constraints: 33181
2969.47/2977.69 c #Conflicts: 1550000 | #Constraints: 34181
2969.47/2977.69 c #Conflicts: 1551000 | #Constraints: 35181
2969.47/2977.69 c #Conflicts: 1552000 | #Constraints: 36181
2969.47/2977.69 c #Conflicts: 1553000 | #Constraints: 37181
2969.47/2977.69 c #Conflicts: 1554000 | #Constraints: 38181
2969.47/2977.69 c #Conflicts: 1555000 | #Constraints: 39181
2969.47/2977.69 c #Conflicts: 1556000 | #Constraints: 40181
2969.47/2977.69 c #Conflicts: 1557000 | #Constraints: 41181
2969.47/2977.69 c #Conflicts: 1558000 | #Constraints: 42181
2969.47/2977.69 c #Conflicts: 1559000 | #Constraints: 43181
2969.47/2977.69 c #Conflicts: 1560000 | #Constraints: 44181
2969.47/2977.69 c #Conflicts: 1561000 | #Constraints: 45181
2969.47/2977.69 c #Conflicts: 1562000 | #Constraints: 46181
2969.47/2977.69 c #Conflicts: 1563000 | #Constraints: 47181
2969.47/2977.69 c #Conflicts: 1564000 | #Constraints: 48181
2969.47/2977.69 c #Conflicts: 1565000 | #Constraints: 49181
2969.47/2977.69 c #Conflicts: 1566000 | #Constraints: 50181
2969.47/2977.69 c INPROCESSING
2969.47/2977.69 c GARBAGE COLLECT
2969.47/2977.69 c #Conflicts: 1567000 | #Constraints: 26380
2969.47/2977.69 c #Conflicts: 1568000 | #Constraints: 27380
2969.47/2977.69 c #Conflicts: 1569000 | #Constraints: 28380
2969.47/2977.69 c #Conflicts: 1570000 | #Constraints: 29380
2969.47/2977.69 c #Conflicts: 1571000 | #Constraints: 30380
2969.47/2977.69 c #Conflicts: 1572000 | #Constraints: 31380
2969.47/2977.69 c #Conflicts: 1573000 | #Constraints: 32380
2969.47/2977.69 c #Conflicts: 1574000 | #Constraints: 33380
2969.47/2977.69 c #Conflicts: 1575000 | #Constraints: 34380
2969.47/2977.69 c #Conflicts: 1576000 | #Constraints: 35380
2969.47/2977.69 c #Conflicts: 1577000 | #Constraints: 36380
2969.47/2977.69 c #Conflicts: 1578000 | #Constraints: 37380
2969.47/2977.69 c #Conflicts: 1579000 | #Constraints: 38380
3222.99/3231.86 c #Conflicts: 1580000 | #Constraints: 39380
3222.99/3231.86 c #Conflicts: 1581000 | #Constraints: 40380
3222.99/3231.86 c #Conflicts: 1582000 | #Constraints: 41380
3222.99/3231.86 c #Conflicts: 1583000 | #Constraints: 42380
3222.99/3231.86 c #Conflicts: 1584000 | #Constraints: 43380
3222.99/3231.86 c #Conflicts: 1585000 | #Constraints: 44380
3222.99/3231.86 c #Conflicts: 1586000 | #Constraints: 45380
3222.99/3231.86 c #Conflicts: 1587000 | #Constraints: 46380
3222.99/3231.86 c #Conflicts: 1588000 | #Constraints: 47380
3222.99/3231.86 c #Conflicts: 1589000 | #Constraints: 48380
3222.99/3231.86 c #Conflicts: 1590000 | #Constraints: 49380
3222.99/3231.86 c #Conflicts: 1591000 | #Constraints: 50380
3222.99/3231.86 c INPROCESSING
3222.99/3231.86 c GARBAGE COLLECT
3222.99/3231.86 c #Conflicts: 1592000 | #Constraints: 26381
3222.99/3231.86 c #Conflicts: 1593000 | #Constraints: 27381
3222.99/3231.86 c #Conflicts: 1594000 | #Constraints: 28381
3222.99/3231.86 c #Conflicts: 1595000 | #Constraints: 29381
3222.99/3231.86 c #Conflicts: 1596000 | #Constraints: 30381
3222.99/3231.86 c #Conflicts: 1597000 | #Constraints: 31381
3222.99/3231.86 c #Conflicts: 1598000 | #Constraints: 32381
3222.99/3231.86 c #Conflicts: 1599000 | #Constraints: 33381
3222.99/3231.86 c #Conflicts: 1600000 | #Constraints: 34381
3222.99/3231.86 c #Conflicts: 1601000 | #Constraints: 35381
3222.99/3231.86 c #Conflicts: 1602000 | #Constraints: 36381
3222.99/3231.86 c #Conflicts: 1603000 | #Constraints: 37381
3222.99/3231.86 c #Conflicts: 1604000 | #Constraints: 38381
3222.99/3231.86 c #Conflicts: 1605000 | #Constraints: 39381
3222.99/3231.86 c #Conflicts: 1606000 | #Constraints: 40381
3222.99/3231.86 c #Conflicts: 1607000 | #Constraints: 41381
3222.99/3231.86 c #Conflicts: 1608000 | #Constraints: 42381
3222.99/3231.86 c #Conflicts: 1609000 | #Constraints: 43381
3222.99/3231.86 c #Conflicts: 1610000 | #Constraints: 44381
3222.99/3231.86 c #Conflicts: 1611000 | #Constraints: 45381
3222.99/3231.86 c #Conflicts: 1612000 | #Constraints: 46381
3222.99/3231.86 c #Conflicts: 1613000 | #Constraints: 47381
3222.99/3231.86 c #Conflicts: 1614000 | #Constraints: 48381
3222.99/3231.86 c #Conflicts: 1615000 | #Constraints: 49381
3222.99/3231.86 c #Conflicts: 1616000 | #Constraints: 50381
3222.99/3231.86 c INPROCESSING
3222.99/3231.86 c GARBAGE COLLECT
3222.99/3231.86 c #Conflicts: 1617000 | #Constraints: 26180
3222.99/3231.86 c #Conflicts: 1618000 | #Constraints: 27180
3222.99/3231.86 c #Conflicts: 1619000 | #Constraints: 28180
3222.99/3231.86 c #Conflicts: 1620000 | #Constraints: 29180
3222.99/3231.86 c #Conflicts: 1621000 | #Constraints: 30180
3222.99/3231.86 c #Conflicts: 1622000 | #Constraints: 31180
3222.99/3231.86 c #Conflicts: 1623000 | #Constraints: 32180
3222.99/3231.86 c #Conflicts: 1624000 | #Constraints: 33180
3222.99/3231.86 c #Conflicts: 1625000 | #Constraints: 34180
3222.99/3231.86 c #Conflicts: 1626000 | #Constraints: 35180
3222.99/3231.86 c #Conflicts: 1627000 | #Constraints: 36180
3222.99/3231.86 c #Conflicts: 1628000 | #Constraints: 37180
3222.99/3231.86 c #Conflicts: 1629000 | #Constraints: 38180
3222.99/3231.86 c #Conflicts: 1630000 | #Constraints: 39180
3222.99/3231.86 c #Conflicts: 1631000 | #Constraints: 40180
3222.99/3231.86 c #Conflicts: 1632000 | #Constraints: 41180
3222.99/3231.86 c #Conflicts: 1633000 | #Constraints: 42180
3222.99/3231.86 c #Conflicts: 1634000 | #Constraints: 43180
3222.99/3231.86 c #Conflicts: 1635000 | #Constraints: 44180
3222.99/3231.86 c #Conflicts: 1636000 | #Constraints: 45180
3222.99/3231.86 c #Conflicts: 1637000 | #Constraints: 46180
3222.99/3231.86 c #Conflicts: 1638000 | #Constraints: 47180
3222.99/3231.86 c #Conflicts: 1639000 | #Constraints: 48180
3222.99/3231.86 c #Conflicts: 1640000 | #Constraints: 49180
3222.99/3231.86 c #Conflicts: 1641000 | #Constraints: 50180
3222.99/3231.86 c #Conflicts: 1642000 | #Constraints: 51180
3222.99/3231.86 c INPROCESSING
3222.99/3231.86 c GARBAGE COLLECT
3222.99/3231.86 c #Conflicts: 1643000 | #Constraints: 26782
3222.99/3231.86 c #Conflicts: 1644000 | #Constraints: 27782
3222.99/3231.86 c #Conflicts: 1645000 | #Constraints: 28782
3222.99/3231.86 c #Conflicts: 1646000 | #Constraints: 29782
3222.99/3231.86 c #Conflicts: 1647000 | #Constraints: 30782
3222.99/3231.86 c #Conflicts: 1648000 | #Constraints: 31782
3222.99/3231.86 c #Conflicts: 1649000 | #Constraints: 32782
3222.99/3231.86 c #Conflicts: 1650000 | #Constraints: 33782
3222.99/3231.86 c #Conflicts: 1651000 | #Constraints: 34782
3222.99/3231.86 c #Conflicts: 1652000 | #Constraints: 35782
3222.99/3231.86 c #Conflicts: 1653000 | #Constraints: 36782
3222.99/3231.86 c #Conflicts: 1654000 | #Constraints: 37782
3222.99/3231.86 c #Conflicts: 1655000 | #Constraints: 38782
3222.99/3231.86 c #Conflicts: 1656000 | #Constraints: 39782
3442.20/3451.60 c #Conflicts: 1657000 | #Constraints: 40782
3442.20/3451.60 c #Conflicts: 1658000 | #Constraints: 41782
3442.20/3451.60 c #Conflicts: 1659000 | #Constraints: 42782
3442.20/3451.60 c #Conflicts: 1660000 | #Constraints: 43782
3442.20/3451.60 c #Conflicts: 1661000 | #Constraints: 44782
3442.20/3451.60 c #Conflicts: 1662000 | #Constraints: 45782
3442.20/3451.60 c #Conflicts: 1663000 | #Constraints: 46782
3442.20/3451.60 c #Conflicts: 1664000 | #Constraints: 47782
3442.20/3451.60 c #Conflicts: 1665000 | #Constraints: 48782
3442.20/3451.60 c #Conflicts: 1666000 | #Constraints: 49782
3442.20/3451.60 c #Conflicts: 1667000 | #Constraints: 50782
3442.20/3451.60 c #Conflicts: 1668000 | #Constraints: 51782
3442.20/3451.60 c INPROCESSING
3442.20/3451.60 c GARBAGE COLLECT
3442.20/3451.60 c #Conflicts: 1669000 | #Constraints: 27174
3442.20/3451.60 c #Conflicts: 1670000 | #Constraints: 28174
3442.20/3451.60 c #Conflicts: 1671000 | #Constraints: 29174
3442.20/3451.60 c #Conflicts: 1672000 | #Constraints: 30174
3442.20/3451.60 c #Conflicts: 1673000 | #Constraints: 31174
3442.20/3451.60 c #Conflicts: 1674000 | #Constraints: 32174
3442.20/3451.60 c #Conflicts: 1675000 | #Constraints: 33174
3442.20/3451.60 c #Conflicts: 1676000 | #Constraints: 34174
3442.20/3451.60 c #Conflicts: 1677000 | #Constraints: 35174
3442.20/3451.60 c #Conflicts: 1678000 | #Constraints: 36174
3442.20/3451.60 c #Conflicts: 1679000 | #Constraints: 37174
3442.20/3451.60 c #Conflicts: 1680000 | #Constraints: 38174
3442.20/3451.60 c #Conflicts: 1681000 | #Constraints: 39174
3442.20/3451.60 c #Conflicts: 1682000 | #Constraints: 40174
3442.20/3451.60 c #Conflicts: 1683000 | #Constraints: 41174
3442.20/3451.60 c #Conflicts: 1684000 | #Constraints: 42174
3442.20/3451.60 c #Conflicts: 1685000 | #Constraints: 43174
3442.20/3451.60 c #Conflicts: 1686000 | #Constraints: 44174
3442.20/3451.60 c #Conflicts: 1687000 | #Constraints: 45174
3442.20/3451.60 c #Conflicts: 1688000 | #Constraints: 46174
3442.20/3451.60 c #Conflicts: 1689000 | #Constraints: 47174
3442.20/3451.60 c #Conflicts: 1690000 | #Constraints: 48174
3442.20/3451.60 c #Conflicts: 1691000 | #Constraints: 49174
3442.20/3451.60 c #Conflicts: 1692000 | #Constraints: 50174
3442.20/3451.60 c #Conflicts: 1693000 | #Constraints: 51174
3442.20/3451.60 c #Conflicts: 1694000 | #Constraints: 52174
3442.20/3451.60 c INPROCESSING
3442.20/3451.60 c GARBAGE COLLECT
3442.20/3451.60 c #Conflicts: 1695000 | #Constraints: 27374
3442.20/3451.60 c #Conflicts: 1696000 | #Constraints: 28374
3442.20/3451.60 c #Conflicts: 1697000 | #Constraints: 29374
3442.20/3451.60 c #Conflicts: 1698000 | #Constraints: 30374
3442.20/3451.60 c #Conflicts: 1699000 | #Constraints: 31374
3442.20/3451.60 c #Conflicts: 1700000 | #Constraints: 32374
3442.20/3451.60 c #Conflicts: 1701000 | #Constraints: 33374
3442.20/3451.60 c #Conflicts: 1702000 | #Constraints: 34374
3442.20/3451.60 c #Conflicts: 1703000 | #Constraints: 35374
3442.20/3451.60 c #Conflicts: 1704000 | #Constraints: 36374
3442.20/3451.60 c #Conflicts: 1705000 | #Constraints: 37374
3442.20/3451.60 c #Conflicts: 1706000 | #Constraints: 38374
3442.20/3451.60 c #Conflicts: 1707000 | #Constraints: 39374
3442.20/3451.60 c #Conflicts: 1708000 | #Constraints: 40374
3442.20/3451.60 c #Conflicts: 1709000 | #Constraints: 41374
3442.20/3451.60 c #Conflicts: 1710000 | #Constraints: 42374
3442.20/3451.60 c #Conflicts: 1711000 | #Constraints: 43374
3442.20/3451.60 c #Conflicts: 1712000 | #Constraints: 44374
3442.20/3451.60 c #Conflicts: 1713000 | #Constraints: 45374
3442.20/3451.60 c #Conflicts: 1714000 | #Constraints: 46374
3442.20/3451.60 c #Conflicts: 1715000 | #Constraints: 47374
3442.20/3451.60 c #Conflicts: 1716000 | #Constraints: 48374
3442.20/3451.60 c GLOBAL bounds - >= 0 @ 3433.34
3600.09/3609.90 c #Conflicts: 1717000 | #Constraints: 49376
3600.09/3609.90 c #Conflicts: 1718000 | #Constraints: 50376
3600.09/3609.90 c #Conflicts: 1719000 | #Constraints: 51376
3600.09/3609.90 c #Conflicts: 1720000 | #Constraints: 52376
3600.09/3609.90 c INPROCESSING
3600.09/3609.90 c GARBAGE COLLECT
3600.09/3609.90 c #Conflicts: 1721000 | #Constraints: 27374
3600.09/3609.90 c #Conflicts: 1722000 | #Constraints: 28374
3600.09/3609.90 c #Conflicts: 1723000 | #Constraints: 29374
3600.09/3609.90 c #Conflicts: 1724000 | #Constraints: 30374
3600.09/3609.90 c #Conflicts: 1725000 | #Constraints: 31374
3600.09/3609.90 c #Conflicts: 1726000 | #Constraints: 32374
3600.09/3609.90 c #Conflicts: 1727000 | #Constraints: 33374
3600.09/3609.90 c #Conflicts: 1728000 | #Constraints: 34374
3600.09/3609.90 c #Conflicts: 1729000 | #Constraints: 35374
3600.09/3609.90 c #Conflicts: 1730000 | #Constraints: 36374
3600.09/3609.90 c #Conflicts: 1731000 | #Constraints: 37374
3600.09/3609.90 c #Conflicts: 1732000 | #Constraints: 38374
3600.09/3609.90 c #Conflicts: 1733000 | #Constraints: 39374
3600.09/3609.90 c #Conflicts: 1734000 | #Constraints: 40374
3600.09/3609.90 c #Conflicts: 1735000 | #Constraints: 41374
3600.09/3609.90 c #Conflicts: 1736000 | #Constraints: 42374
3600.09/3609.90 c #Conflicts: 1737000 | #Constraints: 43374
3600.09/3609.90 c #Conflicts: 1738000 | #Constraints: 44374
3600.09/3609.90 c #Conflicts: 1739000 | #Constraints: 45374
3600.09/3609.90 c #Conflicts: 1740000 | #Constraints: 46374
3600.09/3609.90 c #Conflicts: 1741000 | #Constraints: 47374
3600.09/3609.90 c #Conflicts: 1742000 | #Constraints: 48374
3600.09/3609.90 c #Conflicts: 1743000 | #Constraints: 49374
3600.09/3609.90 c #Conflicts: 1744000 | #Constraints: 50374
3600.09/3609.90 c #Conflicts: 1745000 | #Constraints: 51374
3600.09/3609.90 c #Conflicts: 1746000 | #Constraints: 52374
3600.09/3609.90 c INPROCESSING
3600.09/3609.90 c GARBAGE COLLECT
3600.09/3609.90 c #Conflicts: 1747000 | #Constraints: 27170
3600.09/3609.90 c #Conflicts: 1748000 | #Constraints: 28170
3600.09/3609.90 c #Conflicts: 1749000 | #Constraints: 29170
3600.09/3609.90 c #Conflicts: 1750000 | #Constraints: 30170
3600.09/3609.90 c #Conflicts: 1751000 | #Constraints: 31170
3600.09/3609.90 c #Conflicts: 1752000 | #Constraints: 32170
3600.09/3609.90 c #Conflicts: 1753000 | #Constraints: 33170
3600.09/3609.90 c #Conflicts: 1754000 | #Constraints: 34170
3600.09/3609.90 c #Conflicts: 1755000 | #Constraints: 35170
3600.09/3609.90 c #Conflicts: 1756000 | #Constraints: 36170
3600.09/3609.90 c #Conflicts: 1757000 | #Constraints: 37170
3600.09/3609.90 c #Conflicts: 1758000 | #Constraints: 38170
3600.09/3609.90 c #Conflicts: 1759000 | #Constraints: 39170
3600.09/3609.90 c #Conflicts: 1760000 | #Constraints: 40170
3600.09/3609.90 c #Conflicts: 1761000 | #Constraints: 41170
3600.09/3609.90 c #Conflicts: 1762000 | #Constraints: 42170
3600.09/3609.90 c #Conflicts: 1763000 | #Constraints: 43170
3600.09/3609.90 c #Conflicts: 1764000 | #Constraints: 44170
3600.09/3609.90 c #Conflicts: 1765000 | #Constraints: 45170
3600.09/3609.90 c #Conflicts: 1766000 | #Constraints: 46170
3600.09/3609.90 c #Conflicts: 1767000 | #Constraints: 47170
3600.09/3609.90 c #Conflicts: 1768000 | #Constraints: 48170
3600.09/3609.90 c cpu time 3590.95 s
3600.09/3609.90 c deterministic time 1 1.00e+00
3600.09/3609.90 c optimization time 3590.94 s
3600.09/3609.90 c total solve time 0 s
3600.09/3609.90 c core-guided solve time 0 s
3600.09/3609.90 c propagation time 0.000162 s
3600.09/3609.90 c conflict analysis time 0 s
3600.09/3609.90 c propagations 0
3600.09/3609.90 c resolve steps 0
3600.09/3609.90 c decisions 0
3600.09/3609.90 c conflicts 0
3600.09/3609.90 c restarts 0
3600.09/3609.90 c inprocessing phases 0
3600.09/3609.90 c garbage collections 0 ,( -nan )
3600.09/3609.90 c input clauses 0 ,( 0.00 )
3600.09/3609.90 c input cardinalities 0 ,( 0.00 )
3600.09/3609.90 c input general constraints 466 ,( 100.00 )
3600.09/3609.90 c input average constraint length 9.05
3600.09/3609.90 c input average constraint degree 28.52
3600.09/3609.90 c learned clauses 0 ,( 0.00 )
3600.09/3609.90 c learned cardinalities 0 ,( 0.00 )
3600.09/3609.90 c learned general constraints 0 ,( 0.00 )
3600.09/3609.90 c learned average constraint length 0.00
3600.09/3609.90 c learned average constraint degree 0.00
3600.09/3609.90 c watched CF 32, 64, 128, Arb: 13 , 0 , 0 , 0
3600.09/3609.90 c counting CF 32, 64, 128, Arb: 454 , 0 , 0 , 0
3600.09/3609.90 c watched constraints 13 ,( 2.79 )
3600.09/3609.90 c counting constraints 453 ,( 97.21 )
3600.09/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3609.90 c gcd simplifications 1
3600.09/3609.90 c detected cardinalities 0
3600.09/3609.90 c weakened non-implied lits 0
3600.09/3609.90 c weakened non-implying lits 0
3600.09/3609.90 c original variables 467
3600.09/3609.90 c clausal propagations 0
3600.09/3609.90 c cardinality propagations 0
3600.09/3609.90 c watched propagations 0
3600.09/3609.90 c counting propagations 0
3600.09/3609.90 c watch lookups 0
3600.09/3609.90 c watch backjump lookups 0
3600.09/3609.90 c watch checks 0
3600.09/3609.90 c propagation checks 0
3600.09/3609.90 c constraint additions 0
3600.09/3609.90 c trail pops 0
3600.09/3609.90 c formula constraints 466
3600.09/3609.90 c learned constraints 0
3600.09/3609.90 c bound constraints 0
3600.09/3609.90 c core-guided constraints 0
3600.09/3609.90 c encountered formula constraints 0
3600.09/3609.90 c encountered learned constraints 0
3600.09/3609.90 c encountered bound constraints 0
3600.09/3609.90 c encountered core-guided constraints 0
3600.09/3609.90 c LP total time 0 s
3600.09/3609.90 c LP solve time 0 s
3600.09/3609.90 c LP constraints added 0
3600.09/3609.90 c LP constraints removed 0
3600.09/3609.90 c LP pivots internal 0
3600.09/3609.90 c LP pivots root 0
3600.09/3609.90 c LP calls 0
3600.09/3609.90 c LP optimalities 0
3600.09/3609.90 c LP no pivot count 0
3600.09/3609.90 c LP infeasibilities 0
3600.09/3609.90 c LP valid Farkas constraints 0
3600.09/3609.90 c LP learned Farkas constraints 0
3600.09/3609.90 c LP basis resets 0
3600.09/3609.90 c LP cycling count 0
3600.09/3609.90 c LP singular count 0
3600.09/3609.90 c LP no primal count 0
3600.09/3609.90 c LP no farkas count 0
3600.09/3609.90 c LP other issue count 0
3600.09/3609.90 c LP Gomory cuts 0
3600.09/3609.90 c LP learned cuts 0
3600.09/3609.90 c LP deleted cuts 0
3600.09/3609.90 c LP encountered Gomory constraints 0
3600.09/3609.90 c LP encountered Farkas constraints 0
3600.09/3609.90 c LP encountered learned Farkas constraints 0
3600.09/3609.90 c CG auxiliary variables introduced 0
3600.09/3609.90 c CG solutions found 0
3600.09/3609.90 c CG cores constructed 0
3600.09/3609.90 c CG core cardinality constraints returned 0
3600.09/3609.90 c CG unit cores 0
3600.09/3609.90 c CG single cores 0
3600.09/3609.90 c CG blocks removed during cardinality reduction 0
3600.09/3609.90 c CG first core best 0
3600.09/3609.90 c CG decision core best 0
3600.09/3609.90 c CG core reduction tie 0
3600.09/3609.90 c CG core degree average 0.00
3600.09/3609.90 c CG core slack average 0.00
3600.09/3609.90 c CG core upper bound improvements 0
3600.09/3609.90 c STR number of successful calls 0
3600.09/3609.90 c STR number of unsuccessful calls 0
3600.09/3609.90 c STR number of inconclusive calls 0
3600.09/3609.90 c STR number of successful attempts 0
3600.09/3609.90 c STR number of unsuccessful attempts 0
3600.09/3609.90 c STR number of inconclusive attempts 0
3600.09/3609.90 c STR average degree increase per successful call inf
3600.09/3609.90 c STR average degree increase per successful attempt inf
3600.09/3609.90 c STR total number of conflicts for successful attempts 0
3600.09/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.90 c STR average number of conflicts per successful attempt inf
3600.09/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.90 c AVG.sumWPerc 70.27
3600.09/3609.90 c bigint constraints 0
3600.09/3609.90 s UNKNOWN
3600.09/3609.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63018 MiB free)
memory of node 1: 64465 MiB (64055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489184-1751355440/watcher-4489184-1751355440 -o /tmp/evaluation-result-4489184-1751355440/solver-4489184-1751355440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50578 --watchdog 3760 run-opt.sh HOME/instance-4489184-1751355440.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51368, runsolver pid=51362
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.04 4.07 4.08 4/261 51384
/proc/meminfo: memFree=130107764/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=62472 memory=15248 CPUtime=0.06 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 1218 0 0 0 6 0 0 0 20 0 1 0 51221497 63971328 3812 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 15618 3812 2336 1147 0 3045 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 66664 KiB
Current children cumulated memory: 18192 KiB
[startup+0.205354 s]*
/proc/loadavg: 4.04 4.07 4.08 5/261 51389
/proc/meminfo: memFree=130092868/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=67372 memory=19472 CPUtime=0.17 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 2275 0 0 0 16 1 0 0 20 0 1 0 51221497 68988928 4868 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 16843 4868 2336 1147 0 4270 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 71564 KiB
Current children cumulated memory: 22416 KiB
[startup+0.305304 s]*
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130092948/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=67948 memory=21392 CPUtime=0.27 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 2770 0 0 0 26 1 0 0 20 0 1 0 51221497 69578752 5348 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 16987 5348 2336 1147 0 4414 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72140 KiB
Current children cumulated memory: 24336 KiB
[startup+0.70018 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130089168/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=77472 memory=28176 CPUtime=0.66 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 4470 0 0 0 63 3 0 0 20 0 1 0 51221497 79331328 7044 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 19368 7044 2336 1147 0 6795 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 81664 KiB
Current children cumulated memory: 31120 KiB
[startup+1.50016 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130061120/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=90632 memory=38544 CPUtime=1.46 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 7063 0 0 0 142 4 0 0 20 0 1 0 51221497 92807168 9636 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 22658 9636 2336 1147 0 10085 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 94824 KiB
Current children cumulated memory: 41488 KiB
[startup+3.10531 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130007912/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=96008 memory=45892 CPUtime=3.06 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 8383 0 0 0 299 7 0 0 20 0 1 0 51221497 98312192 11473 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 24002 11473 2336 1147 0 11429 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 100200 KiB
Current children cumulated memory: 48836 KiB
[startup+6.30015 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130007532/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=106324 memory=51396 CPUtime=6.25 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 9764 0 0 0 614 11 0 0 20 0 1 0 51221497 108875776 12849 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 26581 12849 2336 1147 0 14008 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 110516 KiB
Current children cumulated memory: 54340 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 51399
/proc/meminfo: memFree=129937360/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=126808 memory=70564 CPUtime=12.62 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 13531 0 0 0 1242 20 0 0 20 0 1 0 51221497 129851392 17641 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 31702 17641 2336 1147 0 19129 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 131000 KiB
Current children cumulated memory: 73508 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 51400
/proc/meminfo: memFree=129844748/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=135000 memory=79396 CPUtime=25.38 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 15759 0 0 0 2503 35 0 0 20 0 1 0 51221497 138240000 19849 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 33750 19849 2336 1147 0 21177 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 139192 KiB
Current children cumulated memory: 82340 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 51401
/proc/meminfo: memFree=129797096/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=152308 memory=91904 CPUtime=50.91 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 18369 0 0 0 5033 58 0 0 20 0 1 0 51221497 155963392 22976 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 38077 22976 2336 1147 0 25504 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 156500 KiB
Current children cumulated memory: 94848 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/269 51404
/proc/meminfo: memFree=129641952/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=177260 memory=111988 CPUtime=101.95 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 22335 0 0 0 10106 89 0 0 20 0 1 0 51221497 181514240 27997 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 44315 27997 2336 1147 0 31742 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 181452 KiB
Current children cumulated memory: 114932 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 51409
/proc/meminfo: memFree=129557432/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=206108 memory=138856 CPUtime=161.78 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 25071 0 0 0 16058 120 0 0 20 0 1 0 51221497 211054592 34714 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 51527 34714 2336 1147 0 38954 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 210300 KiB
Current children cumulated memory: 141800 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 51411
/proc/meminfo: memFree=129437336/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=222488 memory=154740 CPUtime=221.62 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 28016 0 0 0 22009 153 0 0 20 0 1 0 51221497 227827712 38685 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 55622 38685 2336 1147 0 43049 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
/proc/51373/statm: 116426 85527 2336 1147 0 103853 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 469896 KiB
Current children cumulated memory: 345052 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/270 51575
/proc/meminfo: memFree=128475212/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=468264 memory=342652 CPUtime=3153.68 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 72635 0 0 0 314522 846 0 0 20 0 1 0 51221497 479502336 85663 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 117066 85663 2336 1147 0 104493 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 472456 KiB
Current children cumulated memory: 345596 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 51577
/proc/meminfo: memFree=128470968/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=469176 memory=343064 CPUtime=3213.52 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 72876 0 0 0 320498 854 0 0 20 0 1 0 51221497 480436224 85766 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 117294 85766 2336 1147 0 104721 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 473368 KiB
Current children cumulated memory: 346008 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 51579
/proc/meminfo: memFree=128470936/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=476348 memory=349008 CPUtime=3273.36 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 74697 0 0 0 326474 862 0 0 20 0 1 0 51221497 487780352 87252 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 119087 87252 2336 1147 0 106514 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 480540 KiB
Current children cumulated memory: 351952 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 51586
/proc/meminfo: memFree=128445108/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=477888 memory=352564 CPUtime=3333.2 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 74970 0 0 0 332450 870 0 0 20 0 1 0 51221497 489357312 88141 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 119472 88141 2336 1147 0 106899 0
Current children cumulated CPU time: 3333.2 s
Current children cumulated vsize: 482080 KiB
Current children cumulated memory: 355508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 51588
/proc/meminfo: memFree=128418708/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=480964 memory=378056 CPUtime=3393.04 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 75667 0 0 0 338425 879 0 0 20 0 1 0 51221497 492507136 94514 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 120241 94514 2336 1147 0 107668 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 485156 KiB
Current children cumulated memory: 381000 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 51590
/proc/meminfo: memFree=128418584/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=480964 memory=378184 CPUtime=3452.88 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 75680 0 0 0 344399 889 0 0 20 0 1 0 51221497 492507136 94546 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 120241 94546 2336 1147 0 107668 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 485156 KiB
Current children cumulated memory: 381128 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 51592
/proc/meminfo: memFree=128410220/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=481476 memory=378200 CPUtime=3512.73 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 75828 0 0 0 350372 901 0 0 20 0 1 0 51221497 493031424 94550 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 120369 94550 2336 1147 0 107796 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 485668 KiB
Current children cumulated memory: 381144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51594
/proc/meminfo: memFree=128361656/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=483524 memory=378680 CPUtime=3572.56 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 76439 0 0 0 356345 911 0 0 20 0 1 0 51221497 495128576 94670 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 120881 94670 2336 1147 0 108308 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 487716 KiB
Current children cumulated memory: 381624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.25 4.12 4.10 5/268 51595
/proc/meminfo: memFree=128344640/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=483524 memory=378680 CPUtime=3600.09 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 76484 0 0 0 359094 915 0 0 20 0 1 0 51221497 495128576 94670 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 120881 94670 2336 1147 0 108308 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 487716 KiB
Current children cumulated memory: 381624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 51368 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.002909 s
[startup+3609.91 s]
# the end of solver process 51373 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3590.95 s, system=9.16897 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.25 4.12 4.10 5/268 51595
/proc/meminfo: memFree=128344640/131249996 swapFree=33006296/33010684
[pid=51368] ppid=51362 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/51368/stat : 51368 (run-opt.sh) S 51362 51368 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221496 4292608 736 18446744073709551615 94789135478784 94789136373317 140723597724768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94789136612368 94789136660112 94789160869888 140723597728109 140723597728232 140723597728232 140723597733834 0
/proc/51368/statm: 1048 736 672 219 0 110 0
[pid=51373] ppid=51368 vsize=483524 memory=378680 CPUtime=3600.09 cores=1,3
/proc/51373/stat : 51373 (roundingsat) R 51368 51368 50566 0 -1 4194304 76484 0 0 0 359094 915 0 0 20 0 1 0 51221497 495128576 94670 18446744073709551615 4227072 8923433 140735136018640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32894976 140735136020898 140735136021032 140735136021032 140735136026602 0
/proc/51373/statm: 120881 94670 2336 1147 0 108308 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 487716 KiB
Current children cumulated memory: 381624 KiB
Child status: 2
Real time (s): 3609.91
CPU time (s): 3600.12
CPU user time (s): 3590.95
CPU system time (s): 9.16897
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 487716
Max. memory (cumulated for all children) (KiB): 381624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.95
system time used= 9.16897
maximum resident set size= 379088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 332
involuntary context switches= 5971
# summary of solver processes directly reported to runsolver:
# pid: 51368,51373
# total CPU time (s): 3600.12
# total CPU user time (s): 3590.95
# total CPU system time (s): 9.16897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0307 second user time and 16.6964 second system time
The end
Begin job on nodeC015 at 2025-07-01 09:37:20
IDJOB=4489184
IDBENCH=147542
IDSOLVER=3350
FILE ID=nodeC015/4489184-1751355440
RUNJOBID= nodeC015-1751348216-50578
SLURM_JOB_ID= 9598120
Free space on /tmp= 433004 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489184-1751355440/watcher-4489184-1751355440 -o /tmp/evaluation-result-4489184-1751355440/solver-4489184-1751355440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50578 --watchdog 3760 run-opt.sh HOME/instance-4489184-1751355440.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=1503438144
nodeC015 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 : 3599.984
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.14
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 : 3599.541
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.14
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 : 3600.300
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.069
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.208
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.14
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 : 3605.604
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.14
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 : 3597.628
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.14
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 : 3602.524
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130129916 kB
MemAvailable: 129773028 kB
Buffers: 1508 kB
Cached: 401828 kB
SwapCached: 3876 kB
Active: 315648 kB
Inactive: 167752 kB
Active(anon): 45128 kB
Inactive(anon): 49080 kB
Active(file): 270520 kB
Inactive(file): 118672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14648 kB
Writeback: 0 kB
AnonPages: 79588 kB
Mapped: 99420 kB
Shmem: 14144 kB
KReclaimable: 132392 kB
Slab: 222264 kB
SReclaimable: 132392 kB
SUnreclaim: 89872 kB
KernelStack: 4080 kB
PageTables: 3004 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 344456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 10:37:30