0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 478 #constraints 478
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 7 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 472 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.003159
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.003159
0.07/0.11 c GLOBAL bounds - >= 0 @ 0.073133
0.07/0.11 c GLOBAL bounds - >= 0 @ 0.080152
0.37/0.41 c #Conflicts: 1000 | #Constraints: 1482
0.37/0.41 c GLOBAL bounds - >= 0 @ 0.365193
0.37/0.43 c GLOBAL bounds - >= 0 @ 0.386731
0.47/0.54 c #Conflicts: 2000 | #Constraints: 2486
0.47/0.54 c INPROCESSING
0.47/0.54 c GARBAGE COLLECT
0.47/0.54 c GLOBAL bounds - >= 0 @ 0.490635
0.86/0.97 c #Conflicts: 3000 | #Constraints: 2503
0.86/0.97 c GLOBAL bounds - >= 0 @ 0.916091
0.96/1.08 c #Conflicts: 4000 | #Constraints: 3505
0.96/1.08 c GLOBAL bounds - >= 0 @ 1.02285
1.06/1.18 c INPROCESSING
1.06/1.18 c GARBAGE COLLECT
1.06/1.18 c GLOBAL bounds - >= 0 @ 1.11807
1.26/1.31 c GLOBAL bounds - >= 0 @ 1.24213
1.26/1.36 c #Conflicts: 5000 | #Constraints: 2915
1.26/1.36 c GLOBAL bounds - >= 0 @ 1.29377
1.45/1.53 c GLOBAL bounds - >= 0 @ 1.46458
1.75/1.84 c #Conflicts: 6000 | #Constraints: 3919
1.75/1.84 c GLOBAL bounds - >= 0 @ 1.75863
2.06/2.15 c INPROCESSING
2.06/2.15 c GARBAGE COLLECT
2.06/2.15 c #Conflicts: 7000 | #Constraints: 2927
2.06/2.15 c GLOBAL bounds - >= 0 @ 2.05695
2.65/2.72 c #Conflicts: 8000 | #Constraints: 3929
2.65/2.72 c #Conflicts: 9000 | #Constraints: 4929
2.65/2.72 c INPROCESSING
2.65/2.72 c GARBAGE COLLECT
2.65/2.72 c GLOBAL bounds - >= 0 @ 2.621
2.65/2.76 c GLOBAL bounds - >= 0 @ 2.65018
3.35/3.41 c #Conflicts: 10000 | #Constraints: 3633
3.35/3.41 c #Conflicts: 11000 | #Constraints: 4633
3.35/3.41 c GLOBAL bounds - >= 0 @ 3.29214
3.45/3.55 c GLOBAL bounds - >= 0 @ 3.41795
3.55/3.62 c GLOBAL bounds - >= 0 @ 3.48949
3.65/3.73 c GLOBAL bounds - >= 0 @ 3.60418
3.95/4.10 c #Conflicts: 12000 | #Constraints: 5641
3.95/4.10 c INPROCESSING
3.95/4.10 c GARBAGE COLLECT
3.95/4.10 c #Conflicts: 13000 | #Constraints: 4094
3.95/4.10 c GLOBAL bounds - >= 0 @ 3.95892
4.05/4.12 c GLOBAL bounds - >= 0 @ 3.98457
4.54/4.60 c #Conflicts: 14000 | #Constraints: 5098
4.54/4.60 c GLOBAL bounds - >= 0 @ 4.44701
6.54/6.65 c #Conflicts: 15000 | #Constraints: 6100
6.54/6.65 c INPROCESSING
6.54/6.65 c GARBAGE COLLECT
6.54/6.65 c #Conflicts: 16000 | #Constraints: 4329
6.54/6.65 c #Conflicts: 17000 | #Constraints: 5329
6.54/6.65 c #Conflicts: 18000 | #Constraints: 6329
6.54/6.65 c INPROCESSING
6.54/6.65 c GARBAGE COLLECT
6.54/6.65 c #Conflicts: 19000 | #Constraints: 4340
6.54/6.65 c GLOBAL bounds - >= 0 @ 6.46639
7.95/8.08 c #Conflicts: 20000 | #Constraints: 5342
7.95/8.08 c #Conflicts: 21000 | #Constraints: 6342
7.95/8.08 c INPROCESSING
7.95/8.08 c GARBAGE COLLECT
7.95/8.08 c #Conflicts: 22000 | #Constraints: 4151
7.95/8.08 c GLOBAL bounds - >= 0 @ 7.8665
10.43/10.50 c #Conflicts: 23000 | #Constraints: 5153
10.43/10.50 c #Conflicts: 24000 | #Constraints: 6153
10.43/10.50 c #Conflicts: 25000 | #Constraints: 7153
10.43/10.50 c INPROCESSING
10.43/10.50 c GARBAGE COLLECT
10.43/10.50 c #Conflicts: 26000 | #Constraints: 4763
10.43/10.50 c #Conflicts: 27000 | #Constraints: 5763
10.43/10.50 c GLOBAL bounds - >= 0 @ 10.2395
11.23/11.37 c #Conflicts: 28000 | #Constraints: 6765
11.23/11.37 c #Conflicts: 29000 | #Constraints: 7765
11.23/11.37 c INPROCESSING
11.23/11.37 c GARBAGE COLLECT
11.23/11.37 c GLOBAL bounds - >= 0 @ 11.0968
12.32/12.45 c #Conflicts: 30000 | #Constraints: 5168
12.32/12.45 c #Conflicts: 31000 | #Constraints: 6168
12.32/12.45 c #Conflicts: 32000 | #Constraints: 7168
12.32/12.45 c GLOBAL bounds - >= 0 @ 12.1577
12.43/12.55 c GLOBAL bounds - >= 0 @ 12.2564
15.62/15.71 c #Conflicts: 33000 | #Constraints: 8172
15.62/15.71 c INPROCESSING
15.62/15.71 c GARBAGE COLLECT
15.62/15.71 c #Conflicts: 34000 | #Constraints: 5368
15.62/15.71 c #Conflicts: 35000 | #Constraints: 6368
15.62/15.71 c #Conflicts: 36000 | #Constraints: 7368
15.62/15.71 c #Conflicts: 37000 | #Constraints: 8368
15.62/15.71 c INPROCESSING
15.62/15.71 c GARBAGE COLLECT
15.62/15.71 c #Conflicts: 38000 | #Constraints: 5374
15.62/15.71 c #Conflicts: 39000 | #Constraints: 6374
15.62/15.71 c GLOBAL bounds - >= 0 @ 15.3628
18.51/18.63 c #Conflicts: 40000 | #Constraints: 7376
18.51/18.63 c #Conflicts: 41000 | #Constraints: 8376
18.51/18.63 c INPROCESSING
18.51/18.63 c GARBAGE COLLECT
18.51/18.63 c #Conflicts: 42000 | #Constraints: 5175
18.51/18.63 c #Conflicts: 43000 | #Constraints: 6175
18.51/18.63 c #Conflicts: 44000 | #Constraints: 7175
18.51/18.63 c GLOBAL bounds - >= 0 @ 18.2447
26.59/26.72 c #Conflicts: 45000 | #Constraints: 8177
26.59/26.72 c #Conflicts: 46000 | #Constraints: 9177
26.59/26.72 c INPROCESSING
26.59/26.72 c GARBAGE COLLECT
26.59/26.72 c #Conflicts: 47000 | #Constraints: 5775
26.59/26.72 c #Conflicts: 48000 | #Constraints: 6775
26.59/26.72 c #Conflicts: 49000 | #Constraints: 7775
26.59/26.72 c #Conflicts: 50000 | #Constraints: 8775
26.59/26.72 c #Conflicts: 51000 | #Constraints: 9775
26.59/26.72 c INPROCESSING
26.59/26.72 c GARBAGE COLLECT
26.59/26.72 c #Conflicts: 52000 | #Constraints: 6180
26.59/26.72 c #Conflicts: 53000 | #Constraints: 7180
26.59/26.72 c #Conflicts: 54000 | #Constraints: 8180
26.59/26.72 c #Conflicts: 55000 | #Constraints: 9180
26.59/26.72 c #Conflicts: 56000 | #Constraints: 10180
26.59/26.72 c INPROCESSING
26.59/26.72 c GARBAGE COLLECT
26.59/26.72 c #Conflicts: 57000 | #Constraints: 6379
26.59/26.72 c #Conflicts: 58000 | #Constraints: 7379
26.59/26.72 c GLOBAL bounds - >= 0 @ 26.1881
34.27/34.41 c #Conflicts: 59000 | #Constraints: 8381
34.27/34.41 c #Conflicts: 60000 | #Constraints: 9381
34.27/34.41 c #Conflicts: 61000 | #Constraints: 10381
34.27/34.41 c INPROCESSING
34.27/34.41 c GARBAGE COLLECT
34.27/34.41 c #Conflicts: 62000 | #Constraints: 6376
34.27/34.41 c #Conflicts: 63000 | #Constraints: 7376
34.27/34.41 c #Conflicts: 64000 | #Constraints: 8376
34.27/34.41 c #Conflicts: 65000 | #Constraints: 9376
34.27/34.41 c #Conflicts: 66000 | #Constraints: 10376
34.27/34.41 c INPROCESSING
34.27/34.41 c GARBAGE COLLECT
34.27/34.41 c #Conflicts: 67000 | #Constraints: 6170
34.27/34.41 c #Conflicts: 68000 | #Constraints: 7170
34.27/34.41 c #Conflicts: 69000 | #Constraints: 8170
34.27/34.41 c #Conflicts: 70000 | #Constraints: 9170
34.27/34.41 c GLOBAL bounds - >= 0 @ 33.7479
84.03/84.38 c #Conflicts: 71000 | #Constraints: 10172
84.03/84.38 c #Conflicts: 72000 | #Constraints: 11172
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 73000 | #Constraints: 6776
84.03/84.38 c #Conflicts: 74000 | #Constraints: 7776
84.03/84.38 c #Conflicts: 75000 | #Constraints: 8776
84.03/84.38 c #Conflicts: 76000 | #Constraints: 9776
84.03/84.38 c #Conflicts: 77000 | #Constraints: 10776
84.03/84.38 c #Conflicts: 78000 | #Constraints: 11776
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 79000 | #Constraints: 7180
84.03/84.38 c #Conflicts: 80000 | #Constraints: 8180
84.03/84.38 c #Conflicts: 81000 | #Constraints: 9180
84.03/84.38 c #Conflicts: 82000 | #Constraints: 10180
84.03/84.38 c #Conflicts: 83000 | #Constraints: 11180
84.03/84.38 c #Conflicts: 84000 | #Constraints: 12180
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 85000 | #Constraints: 7384
84.03/84.38 c #Conflicts: 86000 | #Constraints: 8384
84.03/84.38 c #Conflicts: 87000 | #Constraints: 9384
84.03/84.38 c #Conflicts: 88000 | #Constraints: 10384
84.03/84.38 c #Conflicts: 89000 | #Constraints: 11384
84.03/84.38 c #Conflicts: 90000 | #Constraints: 12384
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 91000 | #Constraints: 7385
84.03/84.38 c #Conflicts: 92000 | #Constraints: 8385
84.03/84.38 c #Conflicts: 93000 | #Constraints: 9385
84.03/84.38 c #Conflicts: 94000 | #Constraints: 10385
84.03/84.38 c #Conflicts: 95000 | #Constraints: 11385
84.03/84.38 c #Conflicts: 96000 | #Constraints: 12385
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 97000 | #Constraints: 7186
84.03/84.38 c #Conflicts: 98000 | #Constraints: 8186
84.03/84.38 c #Conflicts: 99000 | #Constraints: 9186
84.03/84.38 c #Conflicts: 100000 | #Constraints: 10186
84.03/84.38 c #Conflicts: 101000 | #Constraints: 11186
84.03/84.38 c #Conflicts: 102000 | #Constraints: 12186
84.03/84.38 c #Conflicts: 103000 | #Constraints: 13186
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 104000 | #Constraints: 7787
84.03/84.38 c #Conflicts: 105000 | #Constraints: 8787
84.03/84.38 c #Conflicts: 106000 | #Constraints: 9787
84.03/84.38 c #Conflicts: 107000 | #Constraints: 10787
84.03/84.38 c #Conflicts: 108000 | #Constraints: 11787
84.03/84.38 c #Conflicts: 109000 | #Constraints: 12787
84.03/84.38 c #Conflicts: 110000 | #Constraints: 13787
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 111000 | #Constraints: 8185
84.03/84.38 c #Conflicts: 112000 | #Constraints: 9185
84.03/84.38 c #Conflicts: 113000 | #Constraints: 10185
84.03/84.38 c #Conflicts: 114000 | #Constraints: 11185
84.03/84.38 c #Conflicts: 115000 | #Constraints: 12185
84.03/84.38 c #Conflicts: 116000 | #Constraints: 13185
84.03/84.38 c #Conflicts: 117000 | #Constraints: 14185
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 118000 | #Constraints: 8385
84.03/84.38 c #Conflicts: 119000 | #Constraints: 9385
84.03/84.38 c #Conflicts: 120000 | #Constraints: 10385
84.03/84.38 c #Conflicts: 121000 | #Constraints: 11385
84.03/84.38 c #Conflicts: 122000 | #Constraints: 12385
84.03/84.38 c #Conflicts: 123000 | #Constraints: 13385
84.03/84.38 c #Conflicts: 124000 | #Constraints: 14385
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 125000 | #Constraints: 8390
84.03/84.38 c #Conflicts: 126000 | #Constraints: 9390
84.03/84.38 c #Conflicts: 127000 | #Constraints: 10390
84.03/84.38 c #Conflicts: 128000 | #Constraints: 11390
84.03/84.38 c #Conflicts: 129000 | #Constraints: 12390
84.03/84.38 c #Conflicts: 130000 | #Constraints: 13390
84.03/84.38 c #Conflicts: 131000 | #Constraints: 14390
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 132000 | #Constraints: 8193
84.03/84.38 c #Conflicts: 133000 | #Constraints: 9193
84.03/84.38 c #Conflicts: 134000 | #Constraints: 10193
84.03/84.38 c #Conflicts: 135000 | #Constraints: 11193
84.03/84.38 c #Conflicts: 136000 | #Constraints: 12193
84.03/84.38 c #Conflicts: 137000 | #Constraints: 13193
84.03/84.38 c #Conflicts: 138000 | #Constraints: 14193
84.03/84.38 c #Conflicts: 139000 | #Constraints: 15193
84.03/84.38 c INPROCESSING
84.03/84.38 c GARBAGE COLLECT
84.03/84.38 c #Conflicts: 140000 | #Constraints: 8793
84.03/84.38 c #Conflicts: 141000 | #Constraints: 9793
84.03/84.38 c #Conflicts: 142000 | #Constraints: 10793
147.56/148.00 c #Conflicts: 143000 | #Constraints: 11793
147.56/148.00 c #Conflicts: 144000 | #Constraints: 12793
147.56/148.00 c #Conflicts: 145000 | #Constraints: 13793
147.56/148.00 c #Conflicts: 146000 | #Constraints: 14793
147.56/148.00 c #Conflicts: 147000 | #Constraints: 15793
147.56/148.00 c INPROCESSING
147.56/148.00 c GARBAGE COLLECT
147.56/148.00 c #Conflicts: 148000 | #Constraints: 9194
147.56/148.00 c #Conflicts: 149000 | #Constraints: 10194
147.56/148.00 c #Conflicts: 150000 | #Constraints: 11194
147.56/148.00 c #Conflicts: 151000 | #Constraints: 12194
147.56/148.00 c #Conflicts: 152000 | #Constraints: 13194
147.56/148.00 c #Conflicts: 153000 | #Constraints: 14194
147.56/148.00 c #Conflicts: 154000 | #Constraints: 15194
147.56/148.00 c #Conflicts: 155000 | #Constraints: 16194
147.56/148.00 c INPROCESSING
147.56/148.00 c GARBAGE COLLECT
147.56/148.00 c #Conflicts: 156000 | #Constraints: 9386
147.56/148.00 c #Conflicts: 157000 | #Constraints: 10386
147.56/148.00 c #Conflicts: 158000 | #Constraints: 11386
147.56/148.00 c #Conflicts: 159000 | #Constraints: 12386
147.56/148.00 c #Conflicts: 160000 | #Constraints: 13386
147.56/148.00 c #Conflicts: 161000 | #Constraints: 14386
147.56/148.00 c #Conflicts: 162000 | #Constraints: 15386
147.56/148.00 c #Conflicts: 163000 | #Constraints: 16386
147.56/148.00 c INPROCESSING
147.56/148.00 c GARBAGE COLLECT
147.56/148.00 c #Conflicts: 164000 | #Constraints: 9387
147.56/148.00 c #Conflicts: 165000 | #Constraints: 10387
147.56/148.00 c #Conflicts: 166000 | #Constraints: 11387
147.56/148.00 c #Conflicts: 167000 | #Constraints: 12387
147.56/148.00 c #Conflicts: 168000 | #Constraints: 13387
147.56/148.00 c #Conflicts: 169000 | #Constraints: 14387
147.56/148.00 c #Conflicts: 170000 | #Constraints: 15387
147.56/148.00 c #Conflicts: 171000 | #Constraints: 16387
147.56/148.00 c INPROCESSING
147.56/148.00 c GARBAGE COLLECT
147.56/148.00 c #Conflicts: 172000 | #Constraints: 9188
147.56/148.00 c #Conflicts: 173000 | #Constraints: 10188
147.56/148.00 c #Conflicts: 174000 | #Constraints: 11188
147.56/148.00 c #Conflicts: 175000 | #Constraints: 12188
147.56/148.00 c #Conflicts: 176000 | #Constraints: 13188
147.56/148.00 c #Conflicts: 177000 | #Constraints: 14188
147.56/148.00 c #Conflicts: 178000 | #Constraints: 15188
147.56/148.00 c #Conflicts: 179000 | #Constraints: 16188
147.56/148.00 c #Conflicts: 180000 | #Constraints: 17188
147.56/148.00 c INPROCESSING
147.56/148.00 c GARBAGE COLLECT
147.56/148.00 c #Conflicts: 181000 | #Constraints: 9788
147.56/148.00 c #Conflicts: 182000 | #Constraints: 10788
147.56/148.00 c #Conflicts: 183000 | #Constraints: 11788
147.56/148.00 c #Conflicts: 184000 | #Constraints: 12788
147.56/148.00 c #Conflicts: 185000 | #Constraints: 13788
147.56/148.00 c #Conflicts: 186000 | #Constraints: 14788
147.56/148.00 c #Conflicts: 187000 | #Constraints: 15788
147.56/148.00 c #Conflicts: 188000 | #Constraints: 16788
147.56/148.00 c #Conflicts: 189000 | #Constraints: 17788
147.56/148.00 c INPROCESSING
147.56/148.00 c GARBAGE COLLECT
147.56/148.00 c #Conflicts: 190000 | #Constraints: 10187
147.56/148.00 c #Conflicts: 191000 | #Constraints: 11187
147.56/148.00 c #Conflicts: 192000 | #Constraints: 12187
147.56/148.00 c #Conflicts: 193000 | #Constraints: 13187
147.56/148.00 c #Conflicts: 194000 | #Constraints: 14187
147.56/148.00 c #Conflicts: 195000 | #Constraints: 15187
147.56/148.00 c #Conflicts: 196000 | #Constraints: 16187
147.56/148.00 c #Conflicts: 197000 | #Constraints: 17187
147.56/148.00 c #Conflicts: 198000 | #Constraints: 18187
147.56/148.00 c INPROCESSING
147.56/148.00 c GARBAGE COLLECT
147.56/148.00 c #Conflicts: 199000 | #Constraints: 10392
147.56/148.00 c #Conflicts: 200000 | #Constraints: 11392
147.56/148.00 c #Conflicts: 201000 | #Constraints: 12392
147.56/148.00 c #Conflicts: 202000 | #Constraints: 13392
147.56/148.00 c #Conflicts: 203000 | #Constraints: 14392
147.56/148.00 c #Conflicts: 204000 | #Constraints: 15392
147.56/148.00 c #Conflicts: 205000 | #Constraints: 16392
147.56/148.00 c #Conflicts: 206000 | #Constraints: 17392
147.56/148.00 c #Conflicts: 207000 | #Constraints: 18392
147.56/148.00 c INPROCESSING
147.56/148.00 c GARBAGE COLLECT
147.56/148.00 c #Conflicts: 208000 | #Constraints: 10388
147.56/148.00 c #Conflicts: 209000 | #Constraints: 11388
147.56/148.00 c #Conflicts: 210000 | #Constraints: 12388
147.56/148.00 c #Conflicts: 211000 | #Constraints: 13388
147.56/148.00 c #Conflicts: 212000 | #Constraints: 14388
147.56/148.00 c #Conflicts: 213000 | #Constraints: 15388
147.56/148.00 c #Conflicts: 214000 | #Constraints: 16388
147.56/148.00 c #Conflicts: 215000 | #Constraints: 17388
147.56/148.00 c #Conflicts: 216000 | #Constraints: 18388
186.74/187.33 c INPROCESSING
186.74/187.33 c GARBAGE COLLECT
186.74/187.33 c #Conflicts: 217000 | #Constraints: 10187
186.74/187.33 c #Conflicts: 218000 | #Constraints: 11187
186.74/187.33 c #Conflicts: 219000 | #Constraints: 12187
186.74/187.33 c #Conflicts: 220000 | #Constraints: 13187
186.74/187.33 c #Conflicts: 221000 | #Constraints: 14187
186.74/187.33 c #Conflicts: 222000 | #Constraints: 15187
186.74/187.33 c #Conflicts: 223000 | #Constraints: 16187
186.74/187.33 c #Conflicts: 224000 | #Constraints: 17187
186.74/187.33 c #Conflicts: 225000 | #Constraints: 18187
186.74/187.33 c #Conflicts: 226000 | #Constraints: 19187
186.74/187.33 c INPROCESSING
186.74/187.33 c GARBAGE COLLECT
186.74/187.33 c #Conflicts: 227000 | #Constraints: 10792
186.74/187.33 c #Conflicts: 228000 | #Constraints: 11792
186.74/187.33 c #Conflicts: 229000 | #Constraints: 12792
186.74/187.33 c #Conflicts: 230000 | #Constraints: 13792
186.74/187.33 c #Conflicts: 231000 | #Constraints: 14792
186.74/187.33 c #Conflicts: 232000 | #Constraints: 15792
186.74/187.33 c #Conflicts: 233000 | #Constraints: 16792
186.74/187.33 c #Conflicts: 234000 | #Constraints: 17792
186.74/187.33 c #Conflicts: 235000 | #Constraints: 18792
186.74/187.33 c #Conflicts: 236000 | #Constraints: 19792
186.74/187.33 c INPROCESSING
186.74/187.33 c GARBAGE COLLECT
186.74/187.33 c #Conflicts: 237000 | #Constraints: 11191
186.74/187.33 c #Conflicts: 238000 | #Constraints: 12191
186.74/187.33 c #Conflicts: 239000 | #Constraints: 13191
186.74/187.33 c #Conflicts: 240000 | #Constraints: 14191
186.74/187.33 c #Conflicts: 241000 | #Constraints: 15191
186.74/187.33 c #Conflicts: 242000 | #Constraints: 16191
186.74/187.33 c #Conflicts: 243000 | #Constraints: 17191
186.74/187.33 c #Conflicts: 244000 | #Constraints: 18191
186.74/187.33 c #Conflicts: 245000 | #Constraints: 19191
186.74/187.33 c #Conflicts: 246000 | #Constraints: 20191
186.74/187.33 c INPROCESSING
186.74/187.33 c GARBAGE COLLECT
186.74/187.33 c #Conflicts: 247000 | #Constraints: 11395
186.74/187.33 c #Conflicts: 248000 | #Constraints: 12395
186.74/187.33 c #Conflicts: 249000 | #Constraints: 13395
186.74/187.33 c #Conflicts: 250000 | #Constraints: 14395
186.74/187.33 c #Conflicts: 251000 | #Constraints: 15395
186.74/187.33 c #Conflicts: 252000 | #Constraints: 16395
186.74/187.33 c #Conflicts: 253000 | #Constraints: 17395
186.74/187.33 c #Conflicts: 254000 | #Constraints: 18395
186.74/187.33 c #Conflicts: 255000 | #Constraints: 19395
186.74/187.33 c GLOBAL bounds - >= 0 @ 184.772
269.60/270.42 c #Conflicts: 256000 | #Constraints: 20397
269.60/270.42 c INPROCESSING
269.60/270.42 c GARBAGE COLLECT
269.60/270.42 c #Conflicts: 257000 | #Constraints: 11387
269.60/270.42 c #Conflicts: 258000 | #Constraints: 12387
269.60/270.42 c #Conflicts: 259000 | #Constraints: 13387
269.60/270.42 c #Conflicts: 260000 | #Constraints: 14387
269.60/270.42 c #Conflicts: 261000 | #Constraints: 15387
269.60/270.42 c #Conflicts: 262000 | #Constraints: 16387
269.60/270.42 c #Conflicts: 263000 | #Constraints: 17387
269.60/270.42 c #Conflicts: 264000 | #Constraints: 18387
269.60/270.42 c #Conflicts: 265000 | #Constraints: 19387
269.60/270.42 c #Conflicts: 266000 | #Constraints: 20387
269.60/270.42 c INPROCESSING
269.60/270.42 c GARBAGE COLLECT
269.60/270.42 c #Conflicts: 267000 | #Constraints: 11188
269.60/270.42 c #Conflicts: 268000 | #Constraints: 12188
269.60/270.42 c #Conflicts: 269000 | #Constraints: 13188
269.60/270.42 c #Conflicts: 270000 | #Constraints: 14188
269.60/270.42 c #Conflicts: 271000 | #Constraints: 15188
269.60/270.42 c #Conflicts: 272000 | #Constraints: 16188
269.60/270.42 c #Conflicts: 273000 | #Constraints: 17188
269.60/270.42 c #Conflicts: 274000 | #Constraints: 18188
269.60/270.42 c #Conflicts: 275000 | #Constraints: 19188
269.60/270.42 c #Conflicts: 276000 | #Constraints: 20188
269.60/270.42 c #Conflicts: 277000 | #Constraints: 21188
269.60/270.42 c INPROCESSING
269.60/270.42 c GARBAGE COLLECT
269.60/270.42 c #Conflicts: 278000 | #Constraints: 11791
269.60/270.42 c #Conflicts: 279000 | #Constraints: 12791
269.60/270.42 c #Conflicts: 280000 | #Constraints: 13791
269.60/270.42 c #Conflicts: 281000 | #Constraints: 14791
269.60/270.42 c #Conflicts: 282000 | #Constraints: 15791
269.60/270.42 c #Conflicts: 283000 | #Constraints: 16791
269.60/270.42 c #Conflicts: 284000 | #Constraints: 17791
269.60/270.42 c #Conflicts: 285000 | #Constraints: 18791
269.60/270.42 c #Conflicts: 286000 | #Constraints: 19791
269.60/270.42 c #Conflicts: 287000 | #Constraints: 20791
269.60/270.42 c #Conflicts: 288000 | #Constraints: 21791
269.60/270.42 c INPROCESSING
269.60/270.42 c GARBAGE COLLECT
269.60/270.42 c #Conflicts: 289000 | #Constraints: 12189
269.60/270.42 c #Conflicts: 290000 | #Constraints: 13189
269.60/270.42 c #Conflicts: 291000 | #Constraints: 14189
269.60/270.42 c #Conflicts: 292000 | #Constraints: 15189
269.60/270.42 c #Conflicts: 293000 | #Constraints: 16189
269.60/270.42 c #Conflicts: 294000 | #Constraints: 17189
269.60/270.42 c #Conflicts: 295000 | #Constraints: 18189
269.60/270.42 c #Conflicts: 296000 | #Constraints: 19189
269.60/270.42 c #Conflicts: 297000 | #Constraints: 20189
269.60/270.42 c #Conflicts: 298000 | #Constraints: 21189
269.60/270.42 c #Conflicts: 299000 | #Constraints: 22189
269.60/270.42 c INPROCESSING
269.60/270.42 c GARBAGE COLLECT
269.60/270.42 c #Conflicts: 300000 | #Constraints: 12393
269.60/270.42 c #Conflicts: 301000 | #Constraints: 13393
269.60/270.42 c #Conflicts: 302000 | #Constraints: 14393
269.60/270.42 c #Conflicts: 303000 | #Constraints: 15393
269.60/270.42 c #Conflicts: 304000 | #Constraints: 16393
269.60/270.42 c #Conflicts: 305000 | #Constraints: 17393
269.60/270.42 c #Conflicts: 306000 | #Constraints: 18393
269.60/270.42 c #Conflicts: 307000 | #Constraints: 19393
269.60/270.42 c #Conflicts: 308000 | #Constraints: 20393
269.60/270.42 c #Conflicts: 309000 | #Constraints: 21393
269.60/270.42 c #Conflicts: 310000 | #Constraints: 22393
269.60/270.42 c INPROCESSING
269.60/270.42 c GARBAGE COLLECT
269.60/270.42 c #Conflicts: 311000 | #Constraints: 12391
269.60/270.42 c #Conflicts: 312000 | #Constraints: 13391
269.60/270.42 c #Conflicts: 313000 | #Constraints: 14391
269.60/270.42 c #Conflicts: 314000 | #Constraints: 15391
269.60/270.42 c #Conflicts: 315000 | #Constraints: 16391
269.60/270.42 c #Conflicts: 316000 | #Constraints: 17391
269.60/270.42 c #Conflicts: 317000 | #Constraints: 18391
269.60/270.42 c #Conflicts: 318000 | #Constraints: 19391
269.60/270.42 c #Conflicts: 319000 | #Constraints: 20391
269.60/270.42 c #Conflicts: 320000 | #Constraints: 21391
269.60/270.42 c #Conflicts: 321000 | #Constraints: 22391
269.60/270.42 c INPROCESSING
269.60/270.42 c GARBAGE COLLECT
269.60/270.42 c #Conflicts: 322000 | #Constraints: 12191
269.60/270.42 c #Conflicts: 323000 | #Constraints: 13191
269.60/270.42 c #Conflicts: 324000 | #Constraints: 14191
269.60/270.42 c #Conflicts: 325000 | #Constraints: 15191
269.60/270.42 c #Conflicts: 326000 | #Constraints: 16191
269.60/270.42 c #Conflicts: 327000 | #Constraints: 17191
269.60/270.42 c #Conflicts: 328000 | #Constraints: 18191
269.60/270.42 c #Conflicts: 329000 | #Constraints: 19191
269.60/270.42 c #Conflicts: 330000 | #Constraints: 20191
362.63/363.71 c #Conflicts: 331000 | #Constraints: 21191
362.63/363.71 c #Conflicts: 332000 | #Constraints: 22191
362.63/363.71 c #Conflicts: 333000 | #Constraints: 23191
362.63/363.71 c INPROCESSING
362.63/363.71 c GARBAGE COLLECT
362.63/363.71 c #Conflicts: 334000 | #Constraints: 12794
362.63/363.71 c #Conflicts: 335000 | #Constraints: 13794
362.63/363.71 c #Conflicts: 336000 | #Constraints: 14794
362.63/363.71 c #Conflicts: 337000 | #Constraints: 15794
362.63/363.71 c #Conflicts: 338000 | #Constraints: 16794
362.63/363.71 c #Conflicts: 339000 | #Constraints: 17794
362.63/363.71 c #Conflicts: 340000 | #Constraints: 18794
362.63/363.71 c #Conflicts: 341000 | #Constraints: 19794
362.63/363.71 c #Conflicts: 342000 | #Constraints: 20794
362.63/363.71 c #Conflicts: 343000 | #Constraints: 21794
362.63/363.71 c #Conflicts: 344000 | #Constraints: 22794
362.63/363.71 c #Conflicts: 345000 | #Constraints: 23794
362.63/363.71 c INPROCESSING
362.63/363.71 c GARBAGE COLLECT
362.63/363.71 c #Conflicts: 346000 | #Constraints: 13198
362.63/363.71 c #Conflicts: 347000 | #Constraints: 14198
362.63/363.71 c #Conflicts: 348000 | #Constraints: 15198
362.63/363.71 c #Conflicts: 349000 | #Constraints: 16198
362.63/363.71 c #Conflicts: 350000 | #Constraints: 17198
362.63/363.71 c #Conflicts: 351000 | #Constraints: 18198
362.63/363.71 c #Conflicts: 352000 | #Constraints: 19198
362.63/363.71 c #Conflicts: 353000 | #Constraints: 20198
362.63/363.71 c #Conflicts: 354000 | #Constraints: 21198
362.63/363.71 c #Conflicts: 355000 | #Constraints: 22198
362.63/363.71 c #Conflicts: 356000 | #Constraints: 23198
362.63/363.71 c #Conflicts: 357000 | #Constraints: 24198
362.63/363.71 c INPROCESSING
362.63/363.71 c GARBAGE COLLECT
362.63/363.71 c #Conflicts: 358000 | #Constraints: 13391
362.63/363.71 c #Conflicts: 359000 | #Constraints: 14391
362.63/363.71 c #Conflicts: 360000 | #Constraints: 15391
362.63/363.71 c #Conflicts: 361000 | #Constraints: 16391
362.63/363.71 c #Conflicts: 362000 | #Constraints: 17391
362.63/363.71 c #Conflicts: 363000 | #Constraints: 18391
362.63/363.71 c #Conflicts: 364000 | #Constraints: 19391
362.63/363.71 c #Conflicts: 365000 | #Constraints: 20391
362.63/363.71 c #Conflicts: 366000 | #Constraints: 21391
362.63/363.71 c #Conflicts: 367000 | #Constraints: 22391
362.63/363.71 c #Conflicts: 368000 | #Constraints: 23391
362.63/363.71 c #Conflicts: 369000 | #Constraints: 24391
362.63/363.71 c INPROCESSING
362.63/363.71 c GARBAGE COLLECT
362.63/363.71 c #Conflicts: 370000 | #Constraints: 13393
362.63/363.71 c #Conflicts: 371000 | #Constraints: 14393
362.63/363.71 c #Conflicts: 372000 | #Constraints: 15393
362.63/363.71 c #Conflicts: 373000 | #Constraints: 16393
362.63/363.71 c #Conflicts: 374000 | #Constraints: 17393
362.63/363.71 c #Conflicts: 375000 | #Constraints: 18393
362.63/363.71 c #Conflicts: 376000 | #Constraints: 19393
362.63/363.71 c #Conflicts: 377000 | #Constraints: 20393
362.63/363.71 c #Conflicts: 378000 | #Constraints: 21393
362.63/363.71 c #Conflicts: 379000 | #Constraints: 22393
362.63/363.71 c #Conflicts: 380000 | #Constraints: 23393
362.63/363.71 c #Conflicts: 381000 | #Constraints: 24393
362.63/363.71 c INPROCESSING
362.63/363.71 c GARBAGE COLLECT
362.63/363.71 c #Conflicts: 382000 | #Constraints: 13195
362.63/363.71 c #Conflicts: 383000 | #Constraints: 14195
362.63/363.71 c #Conflicts: 384000 | #Constraints: 15195
362.63/363.71 c #Conflicts: 385000 | #Constraints: 16195
362.63/363.71 c #Conflicts: 386000 | #Constraints: 17195
362.63/363.71 c #Conflicts: 387000 | #Constraints: 18195
362.63/363.71 c #Conflicts: 388000 | #Constraints: 19195
362.63/363.71 c #Conflicts: 389000 | #Constraints: 20195
362.63/363.71 c #Conflicts: 390000 | #Constraints: 21195
362.63/363.71 c #Conflicts: 391000 | #Constraints: 22195
362.63/363.71 c #Conflicts: 392000 | #Constraints: 23195
362.63/363.71 c #Conflicts: 393000 | #Constraints: 24195
362.63/363.71 c #Conflicts: 394000 | #Constraints: 25195
362.63/363.71 c INPROCESSING
362.63/363.71 c GARBAGE COLLECT
362.63/363.71 c #Conflicts: 395000 | #Constraints: 13799
362.63/363.71 c #Conflicts: 396000 | #Constraints: 14799
362.63/363.71 c #Conflicts: 397000 | #Constraints: 15799
362.63/363.71 c #Conflicts: 398000 | #Constraints: 16799
362.63/363.71 c #Conflicts: 399000 | #Constraints: 17799
362.63/363.71 c #Conflicts: 400000 | #Constraints: 18799
362.63/363.71 c #Conflicts: 401000 | #Constraints: 19799
362.63/363.71 c #Conflicts: 402000 | #Constraints: 20799
362.63/363.71 c #Conflicts: 403000 | #Constraints: 21799
362.63/363.71 c #Conflicts: 404000 | #Constraints: 22799
362.63/363.71 c #Conflicts: 405000 | #Constraints: 23799
452.78/454.14 c #Conflicts: 406000 | #Constraints: 24799
452.78/454.14 c #Conflicts: 407000 | #Constraints: 25799
452.78/454.14 c INPROCESSING
452.78/454.14 c GARBAGE COLLECT
452.78/454.14 c #Conflicts: 408000 | #Constraints: 14196
452.78/454.14 c #Conflicts: 409000 | #Constraints: 15196
452.78/454.14 c #Conflicts: 410000 | #Constraints: 16196
452.78/454.14 c #Conflicts: 411000 | #Constraints: 17196
452.78/454.14 c #Conflicts: 412000 | #Constraints: 18196
452.78/454.14 c #Conflicts: 413000 | #Constraints: 19196
452.78/454.14 c #Conflicts: 414000 | #Constraints: 20196
452.78/454.14 c #Conflicts: 415000 | #Constraints: 21196
452.78/454.14 c #Conflicts: 416000 | #Constraints: 22196
452.78/454.14 c #Conflicts: 417000 | #Constraints: 23196
452.78/454.14 c #Conflicts: 418000 | #Constraints: 24196
452.78/454.14 c #Conflicts: 419000 | #Constraints: 25196
452.78/454.14 c #Conflicts: 420000 | #Constraints: 26196
452.78/454.14 c INPROCESSING
452.78/454.14 c GARBAGE COLLECT
452.78/454.14 c #Conflicts: 421000 | #Constraints: 14399
452.78/454.14 c #Conflicts: 422000 | #Constraints: 15399
452.78/454.14 c #Conflicts: 423000 | #Constraints: 16399
452.78/454.14 c #Conflicts: 424000 | #Constraints: 17399
452.78/454.14 c #Conflicts: 425000 | #Constraints: 18399
452.78/454.14 c #Conflicts: 426000 | #Constraints: 19399
452.78/454.14 c #Conflicts: 427000 | #Constraints: 20399
452.78/454.14 c #Conflicts: 428000 | #Constraints: 21399
452.78/454.14 c #Conflicts: 429000 | #Constraints: 22399
452.78/454.14 c #Conflicts: 430000 | #Constraints: 23399
452.78/454.14 c #Conflicts: 431000 | #Constraints: 24399
452.78/454.14 c #Conflicts: 432000 | #Constraints: 25399
452.78/454.14 c #Conflicts: 433000 | #Constraints: 26399
452.78/454.14 c INPROCESSING
452.78/454.14 c GARBAGE COLLECT
452.78/454.14 c #Conflicts: 434000 | #Constraints: 14392
452.78/454.14 c #Conflicts: 435000 | #Constraints: 15392
452.78/454.14 c #Conflicts: 436000 | #Constraints: 16392
452.78/454.14 c #Conflicts: 437000 | #Constraints: 17392
452.78/454.14 c #Conflicts: 438000 | #Constraints: 18392
452.78/454.14 c #Conflicts: 439000 | #Constraints: 19392
452.78/454.14 c #Conflicts: 440000 | #Constraints: 20392
452.78/454.14 c #Conflicts: 441000 | #Constraints: 21392
452.78/454.14 c #Conflicts: 442000 | #Constraints: 22392
452.78/454.14 c #Conflicts: 443000 | #Constraints: 23392
452.78/454.14 c #Conflicts: 444000 | #Constraints: 24392
452.78/454.14 c #Conflicts: 445000 | #Constraints: 25392
452.78/454.14 c #Conflicts: 446000 | #Constraints: 26392
452.78/454.14 c INPROCESSING
452.78/454.14 c GARBAGE COLLECT
452.78/454.14 c #Conflicts: 447000 | #Constraints: 14191
452.78/454.14 c #Conflicts: 448000 | #Constraints: 15191
452.78/454.14 c #Conflicts: 449000 | #Constraints: 16191
452.78/454.14 c #Conflicts: 450000 | #Constraints: 17191
452.78/454.14 c #Conflicts: 451000 | #Constraints: 18191
452.78/454.14 c #Conflicts: 452000 | #Constraints: 19191
452.78/454.14 c #Conflicts: 453000 | #Constraints: 20191
452.78/454.14 c #Conflicts: 454000 | #Constraints: 21191
452.78/454.14 c #Conflicts: 455000 | #Constraints: 22191
452.78/454.14 c #Conflicts: 456000 | #Constraints: 23191
452.78/454.14 c #Conflicts: 457000 | #Constraints: 24191
452.78/454.14 c #Conflicts: 458000 | #Constraints: 25191
452.78/454.14 c #Conflicts: 459000 | #Constraints: 26191
452.78/454.14 c #Conflicts: 460000 | #Constraints: 27191
452.78/454.14 c INPROCESSING
452.78/454.14 c GARBAGE COLLECT
452.78/454.14 c #Conflicts: 461000 | #Constraints: 14795
452.78/454.14 c #Conflicts: 462000 | #Constraints: 15795
452.78/454.14 c #Conflicts: 463000 | #Constraints: 16795
452.78/454.14 c #Conflicts: 464000 | #Constraints: 17795
452.78/454.14 c #Conflicts: 465000 | #Constraints: 18795
452.78/454.14 c #Conflicts: 466000 | #Constraints: 19795
452.78/454.14 c #Conflicts: 467000 | #Constraints: 20795
452.78/454.14 c #Conflicts: 468000 | #Constraints: 21795
452.78/454.14 c #Conflicts: 469000 | #Constraints: 22795
452.78/454.14 c #Conflicts: 470000 | #Constraints: 23795
452.78/454.14 c #Conflicts: 471000 | #Constraints: 24795
452.78/454.14 c #Conflicts: 472000 | #Constraints: 25795
452.78/454.14 c #Conflicts: 473000 | #Constraints: 26795
452.78/454.14 c #Conflicts: 474000 | #Constraints: 27795
452.78/454.14 c INPROCESSING
452.78/454.14 c GARBAGE COLLECT
452.78/454.14 c #Conflicts: 475000 | #Constraints: 15190
452.78/454.14 c #Conflicts: 476000 | #Constraints: 16190
452.78/454.14 c #Conflicts: 477000 | #Constraints: 17190
452.78/454.14 c #Conflicts: 478000 | #Constraints: 18190
452.78/454.14 c #Conflicts: 479000 | #Constraints: 19190
452.78/454.14 c #Conflicts: 480000 | #Constraints: 20190
559.57/561.21 c #Conflicts: 481000 | #Constraints: 21190
559.57/561.21 c #Conflicts: 482000 | #Constraints: 22190
559.57/561.21 c #Conflicts: 483000 | #Constraints: 23190
559.57/561.21 c #Conflicts: 484000 | #Constraints: 24190
559.57/561.21 c #Conflicts: 485000 | #Constraints: 25190
559.57/561.21 c #Conflicts: 486000 | #Constraints: 26190
559.57/561.21 c #Conflicts: 487000 | #Constraints: 27190
559.57/561.21 c #Conflicts: 488000 | #Constraints: 28190
559.57/561.21 c INPROCESSING
559.57/561.21 c GARBAGE COLLECT
559.57/561.21 c #Conflicts: 489000 | #Constraints: 15389
559.57/561.21 c #Conflicts: 490000 | #Constraints: 16389
559.57/561.21 c #Conflicts: 491000 | #Constraints: 17389
559.57/561.21 c #Conflicts: 492000 | #Constraints: 18389
559.57/561.21 c #Conflicts: 493000 | #Constraints: 19389
559.57/561.21 c #Conflicts: 494000 | #Constraints: 20389
559.57/561.21 c #Conflicts: 495000 | #Constraints: 21389
559.57/561.21 c #Conflicts: 496000 | #Constraints: 22389
559.57/561.21 c #Conflicts: 497000 | #Constraints: 23389
559.57/561.21 c #Conflicts: 498000 | #Constraints: 24389
559.57/561.21 c #Conflicts: 499000 | #Constraints: 25389
559.57/561.21 c #Conflicts: 500000 | #Constraints: 26389
559.57/561.21 c #Conflicts: 501000 | #Constraints: 27389
559.57/561.21 c #Conflicts: 502000 | #Constraints: 28389
559.57/561.21 c INPROCESSING
559.57/561.21 c GARBAGE COLLECT
559.57/561.21 c #Conflicts: 503000 | #Constraints: 15390
559.57/561.21 c #Conflicts: 504000 | #Constraints: 16390
559.57/561.21 c #Conflicts: 505000 | #Constraints: 17390
559.57/561.21 c #Conflicts: 506000 | #Constraints: 18390
559.57/561.21 c #Conflicts: 507000 | #Constraints: 19390
559.57/561.21 c #Conflicts: 508000 | #Constraints: 20390
559.57/561.21 c #Conflicts: 509000 | #Constraints: 21390
559.57/561.21 c #Conflicts: 510000 | #Constraints: 22390
559.57/561.21 c #Conflicts: 511000 | #Constraints: 23390
559.57/561.21 c #Conflicts: 512000 | #Constraints: 24390
559.57/561.21 c #Conflicts: 513000 | #Constraints: 25390
559.57/561.21 c #Conflicts: 514000 | #Constraints: 26390
559.57/561.21 c #Conflicts: 515000 | #Constraints: 27390
559.57/561.21 c #Conflicts: 516000 | #Constraints: 28390
559.57/561.21 c INPROCESSING
559.57/561.21 c GARBAGE COLLECT
559.57/561.21 c #Conflicts: 517000 | #Constraints: 15188
559.57/561.21 c #Conflicts: 518000 | #Constraints: 16188
559.57/561.21 c #Conflicts: 519000 | #Constraints: 17188
559.57/561.21 c #Conflicts: 520000 | #Constraints: 18188
559.57/561.21 c #Conflicts: 521000 | #Constraints: 19188
559.57/561.21 c #Conflicts: 522000 | #Constraints: 20188
559.57/561.21 c #Conflicts: 523000 | #Constraints: 21188
559.57/561.21 c #Conflicts: 524000 | #Constraints: 22188
559.57/561.21 c #Conflicts: 525000 | #Constraints: 23188
559.57/561.21 c #Conflicts: 526000 | #Constraints: 24188
559.57/561.21 c #Conflicts: 527000 | #Constraints: 25188
559.57/561.21 c #Conflicts: 528000 | #Constraints: 26188
559.57/561.21 c #Conflicts: 529000 | #Constraints: 27188
559.57/561.21 c #Conflicts: 530000 | #Constraints: 28188
559.57/561.21 c #Conflicts: 531000 | #Constraints: 29188
559.57/561.21 c INPROCESSING
559.57/561.21 c GARBAGE COLLECT
559.57/561.21 c #Conflicts: 532000 | #Constraints: 15790
559.57/561.21 c #Conflicts: 533000 | #Constraints: 16790
559.57/561.21 c #Conflicts: 534000 | #Constraints: 17790
559.57/561.21 c #Conflicts: 535000 | #Constraints: 18790
559.57/561.21 c #Conflicts: 536000 | #Constraints: 19790
559.57/561.21 c #Conflicts: 537000 | #Constraints: 20790
559.57/561.21 c #Conflicts: 538000 | #Constraints: 21790
559.57/561.21 c #Conflicts: 539000 | #Constraints: 22790
559.57/561.21 c #Conflicts: 540000 | #Constraints: 23790
559.57/561.21 c #Conflicts: 541000 | #Constraints: 24790
559.57/561.21 c #Conflicts: 542000 | #Constraints: 25790
559.57/561.21 c #Conflicts: 543000 | #Constraints: 26790
559.57/561.21 c #Conflicts: 544000 | #Constraints: 27790
559.57/561.21 c #Conflicts: 545000 | #Constraints: 28790
559.57/561.21 c #Conflicts: 546000 | #Constraints: 29790
559.57/561.21 c INPROCESSING
559.57/561.21 c GARBAGE COLLECT
559.57/561.21 c #Conflicts: 547000 | #Constraints: 16183
559.57/561.21 c #Conflicts: 548000 | #Constraints: 17183
559.57/561.21 c #Conflicts: 549000 | #Constraints: 18183
559.57/561.21 c #Conflicts: 550000 | #Constraints: 19183
559.57/561.21 c #Conflicts: 551000 | #Constraints: 20183
559.57/561.21 c #Conflicts: 552000 | #Constraints: 21183
559.57/561.21 c #Conflicts: 553000 | #Constraints: 22183
559.57/561.21 c #Conflicts: 554000 | #Constraints: 23183
559.57/561.21 c #Conflicts: 555000 | #Constraints: 24183
673.95/675.93 c #Conflicts: 556000 | #Constraints: 25183
673.95/675.93 c #Conflicts: 557000 | #Constraints: 26183
673.95/675.93 c #Conflicts: 558000 | #Constraints: 27183
673.95/675.93 c #Conflicts: 559000 | #Constraints: 28183
673.95/675.93 c #Conflicts: 560000 | #Constraints: 29183
673.95/675.93 c #Conflicts: 561000 | #Constraints: 30183
673.95/675.93 c INPROCESSING
673.95/675.93 c GARBAGE COLLECT
673.95/675.93 c #Conflicts: 562000 | #Constraints: 16388
673.95/675.93 c #Conflicts: 563000 | #Constraints: 17388
673.95/675.93 c #Conflicts: 564000 | #Constraints: 18388
673.95/675.93 c #Conflicts: 565000 | #Constraints: 19388
673.95/675.93 c #Conflicts: 566000 | #Constraints: 20388
673.95/675.93 c #Conflicts: 567000 | #Constraints: 21388
673.95/675.93 c #Conflicts: 568000 | #Constraints: 22388
673.95/675.93 c #Conflicts: 569000 | #Constraints: 23388
673.95/675.93 c #Conflicts: 570000 | #Constraints: 24388
673.95/675.93 c #Conflicts: 571000 | #Constraints: 25388
673.95/675.93 c #Conflicts: 572000 | #Constraints: 26388
673.95/675.93 c #Conflicts: 573000 | #Constraints: 27388
673.95/675.93 c #Conflicts: 574000 | #Constraints: 28388
673.95/675.93 c #Conflicts: 575000 | #Constraints: 29388
673.95/675.93 c #Conflicts: 576000 | #Constraints: 30388
673.95/675.93 c INPROCESSING
673.95/675.93 c GARBAGE COLLECT
673.95/675.93 c #Conflicts: 577000 | #Constraints: 16390
673.95/675.93 c #Conflicts: 578000 | #Constraints: 17390
673.95/675.93 c #Conflicts: 579000 | #Constraints: 18390
673.95/675.93 c #Conflicts: 580000 | #Constraints: 19390
673.95/675.93 c #Conflicts: 581000 | #Constraints: 20390
673.95/675.93 c #Conflicts: 582000 | #Constraints: 21390
673.95/675.93 c #Conflicts: 583000 | #Constraints: 22390
673.95/675.93 c #Conflicts: 584000 | #Constraints: 23390
673.95/675.93 c #Conflicts: 585000 | #Constraints: 24390
673.95/675.93 c #Conflicts: 586000 | #Constraints: 25390
673.95/675.93 c #Conflicts: 587000 | #Constraints: 26390
673.95/675.93 c #Conflicts: 588000 | #Constraints: 27390
673.95/675.93 c #Conflicts: 589000 | #Constraints: 28390
673.95/675.93 c #Conflicts: 590000 | #Constraints: 29390
673.95/675.93 c #Conflicts: 591000 | #Constraints: 30390
673.95/675.93 c INPROCESSING
673.95/675.93 c GARBAGE COLLECT
673.95/675.93 c #Conflicts: 592000 | #Constraints: 16191
673.95/675.93 c #Conflicts: 593000 | #Constraints: 17191
673.95/675.93 c #Conflicts: 594000 | #Constraints: 18191
673.95/675.93 c #Conflicts: 595000 | #Constraints: 19191
673.95/675.93 c #Conflicts: 596000 | #Constraints: 20191
673.95/675.93 c #Conflicts: 597000 | #Constraints: 21191
673.95/675.93 c #Conflicts: 598000 | #Constraints: 22191
673.95/675.93 c #Conflicts: 599000 | #Constraints: 23191
673.95/675.93 c #Conflicts: 600000 | #Constraints: 24191
673.95/675.93 c #Conflicts: 601000 | #Constraints: 25191
673.95/675.93 c #Conflicts: 602000 | #Constraints: 26191
673.95/675.93 c #Conflicts: 603000 | #Constraints: 27191
673.95/675.93 c #Conflicts: 604000 | #Constraints: 28191
673.95/675.93 c #Conflicts: 605000 | #Constraints: 29191
673.95/675.93 c #Conflicts: 606000 | #Constraints: 30191
673.95/675.93 c #Conflicts: 607000 | #Constraints: 31191
673.95/675.93 c INPROCESSING
673.95/675.93 c GARBAGE COLLECT
673.95/675.93 c #Conflicts: 608000 | #Constraints: 16783
673.95/675.93 c #Conflicts: 609000 | #Constraints: 17783
673.95/675.93 c #Conflicts: 610000 | #Constraints: 18783
673.95/675.93 c #Conflicts: 611000 | #Constraints: 19783
673.95/675.93 c #Conflicts: 612000 | #Constraints: 20783
673.95/675.93 c #Conflicts: 613000 | #Constraints: 21783
673.95/675.93 c #Conflicts: 614000 | #Constraints: 22783
673.95/675.93 c #Conflicts: 615000 | #Constraints: 23783
673.95/675.93 c #Conflicts: 616000 | #Constraints: 24783
673.95/675.93 c #Conflicts: 617000 | #Constraints: 25783
673.95/675.93 c #Conflicts: 618000 | #Constraints: 26783
673.95/675.93 c #Conflicts: 619000 | #Constraints: 27783
673.95/675.93 c #Conflicts: 620000 | #Constraints: 28783
673.95/675.93 c #Conflicts: 621000 | #Constraints: 29783
673.95/675.93 c #Conflicts: 622000 | #Constraints: 30783
673.95/675.93 c #Conflicts: 623000 | #Constraints: 31783
673.95/675.93 c INPROCESSING
673.95/675.93 c GARBAGE COLLECT
673.95/675.93 c #Conflicts: 624000 | #Constraints: 17187
673.95/675.93 c #Conflicts: 625000 | #Constraints: 18187
673.95/675.93 c #Conflicts: 626000 | #Constraints: 19187
673.95/675.93 c #Conflicts: 627000 | #Constraints: 20187
673.95/675.93 c #Conflicts: 628000 | #Constraints: 21187
673.95/675.93 c #Conflicts: 629000 | #Constraints: 22187
673.95/675.93 c #Conflicts: 630000 | #Constraints: 23187
673.95/675.93 c #Conflicts: 631000 | #Constraints: 24187
802.69/805.10 c #Conflicts: 632000 | #Constraints: 25187
802.69/805.10 c #Conflicts: 633000 | #Constraints: 26187
802.69/805.10 c #Conflicts: 634000 | #Constraints: 27187
802.69/805.10 c #Conflicts: 635000 | #Constraints: 28187
802.69/805.10 c #Conflicts: 636000 | #Constraints: 29187
802.69/805.10 c #Conflicts: 637000 | #Constraints: 30187
802.69/805.10 c #Conflicts: 638000 | #Constraints: 31187
802.69/805.10 c #Conflicts: 639000 | #Constraints: 32187
802.69/805.10 c INPROCESSING
802.69/805.10 c GARBAGE COLLECT
802.69/805.10 c #Conflicts: 640000 | #Constraints: 17393
802.69/805.10 c #Conflicts: 641000 | #Constraints: 18393
802.69/805.10 c #Conflicts: 642000 | #Constraints: 19393
802.69/805.10 c #Conflicts: 643000 | #Constraints: 20393
802.69/805.10 c #Conflicts: 644000 | #Constraints: 21393
802.69/805.10 c #Conflicts: 645000 | #Constraints: 22393
802.69/805.10 c #Conflicts: 646000 | #Constraints: 23393
802.69/805.10 c #Conflicts: 647000 | #Constraints: 24393
802.69/805.10 c #Conflicts: 648000 | #Constraints: 25393
802.69/805.10 c #Conflicts: 649000 | #Constraints: 26393
802.69/805.10 c #Conflicts: 650000 | #Constraints: 27393
802.69/805.10 c #Conflicts: 651000 | #Constraints: 28393
802.69/805.10 c #Conflicts: 652000 | #Constraints: 29393
802.69/805.10 c #Conflicts: 653000 | #Constraints: 30393
802.69/805.10 c #Conflicts: 654000 | #Constraints: 31393
802.69/805.10 c #Conflicts: 655000 | #Constraints: 32393
802.69/805.10 c INPROCESSING
802.69/805.10 c GARBAGE COLLECT
802.69/805.10 c #Conflicts: 656000 | #Constraints: 17397
802.69/805.10 c #Conflicts: 657000 | #Constraints: 18397
802.69/805.10 c #Conflicts: 658000 | #Constraints: 19397
802.69/805.10 c #Conflicts: 659000 | #Constraints: 20397
802.69/805.10 c #Conflicts: 660000 | #Constraints: 21397
802.69/805.10 c #Conflicts: 661000 | #Constraints: 22397
802.69/805.10 c #Conflicts: 662000 | #Constraints: 23397
802.69/805.10 c #Conflicts: 663000 | #Constraints: 24397
802.69/805.10 c #Conflicts: 664000 | #Constraints: 25397
802.69/805.10 c #Conflicts: 665000 | #Constraints: 26397
802.69/805.10 c #Conflicts: 666000 | #Constraints: 27397
802.69/805.10 c #Conflicts: 667000 | #Constraints: 28397
802.69/805.10 c #Conflicts: 668000 | #Constraints: 29397
802.69/805.10 c #Conflicts: 669000 | #Constraints: 30397
802.69/805.10 c #Conflicts: 670000 | #Constraints: 31397
802.69/805.10 c #Conflicts: 671000 | #Constraints: 32397
802.69/805.10 c INPROCESSING
802.69/805.10 c GARBAGE COLLECT
802.69/805.10 c #Conflicts: 672000 | #Constraints: 17197
802.69/805.10 c #Conflicts: 673000 | #Constraints: 18197
802.69/805.10 c #Conflicts: 674000 | #Constraints: 19197
802.69/805.10 c #Conflicts: 675000 | #Constraints: 20197
802.69/805.10 c #Conflicts: 676000 | #Constraints: 21197
802.69/805.10 c #Conflicts: 677000 | #Constraints: 22197
802.69/805.10 c #Conflicts: 678000 | #Constraints: 23197
802.69/805.10 c #Conflicts: 679000 | #Constraints: 24197
802.69/805.10 c #Conflicts: 680000 | #Constraints: 25197
802.69/805.10 c #Conflicts: 681000 | #Constraints: 26197
802.69/805.10 c #Conflicts: 682000 | #Constraints: 27197
802.69/805.10 c #Conflicts: 683000 | #Constraints: 28197
802.69/805.10 c #Conflicts: 684000 | #Constraints: 29197
802.69/805.10 c #Conflicts: 685000 | #Constraints: 30197
802.69/805.10 c #Conflicts: 686000 | #Constraints: 31197
802.69/805.10 c #Conflicts: 687000 | #Constraints: 32197
802.69/805.10 c #Conflicts: 688000 | #Constraints: 33197
802.69/805.10 c INPROCESSING
802.69/805.10 c GARBAGE COLLECT
802.69/805.10 c #Conflicts: 689000 | #Constraints: 17796
802.69/805.10 c #Conflicts: 690000 | #Constraints: 18796
802.69/805.10 c #Conflicts: 691000 | #Constraints: 19796
802.69/805.10 c #Conflicts: 692000 | #Constraints: 20796
802.69/805.10 c #Conflicts: 693000 | #Constraints: 21796
802.69/805.10 c #Conflicts: 694000 | #Constraints: 22796
802.69/805.10 c #Conflicts: 695000 | #Constraints: 23796
802.69/805.10 c #Conflicts: 696000 | #Constraints: 24796
802.69/805.10 c #Conflicts: 697000 | #Constraints: 25796
802.69/805.10 c #Conflicts: 698000 | #Constraints: 26796
802.69/805.10 c #Conflicts: 699000 | #Constraints: 27796
802.69/805.10 c #Conflicts: 700000 | #Constraints: 28796
802.69/805.10 c #Conflicts: 701000 | #Constraints: 29796
802.69/805.10 c #Conflicts: 702000 | #Constraints: 30796
802.69/805.10 c #Conflicts: 703000 | #Constraints: 31796
802.69/805.10 c #Conflicts: 704000 | #Constraints: 32796
802.69/805.10 c #Conflicts: 705000 | #Constraints: 33796
802.69/805.10 c INPROCESSING
802.69/805.10 c GARBAGE COLLECT
802.69/805.10 c #Conflicts: 706000 | #Constraints: 18200
802.69/805.10 c #Conflicts: 707000 | #Constraints: 19200
918.97/921.63 c #Conflicts: 708000 | #Constraints: 20200
918.97/921.63 c #Conflicts: 709000 | #Constraints: 21200
918.97/921.63 c #Conflicts: 710000 | #Constraints: 22200
918.97/921.63 c #Conflicts: 711000 | #Constraints: 23200
918.97/921.63 c #Conflicts: 712000 | #Constraints: 24200
918.97/921.63 c #Conflicts: 713000 | #Constraints: 25200
918.97/921.63 c #Conflicts: 714000 | #Constraints: 26200
918.97/921.63 c #Conflicts: 715000 | #Constraints: 27200
918.97/921.63 c #Conflicts: 716000 | #Constraints: 28200
918.97/921.63 c #Conflicts: 717000 | #Constraints: 29200
918.97/921.63 c #Conflicts: 718000 | #Constraints: 30200
918.97/921.63 c #Conflicts: 719000 | #Constraints: 31200
918.97/921.63 c #Conflicts: 720000 | #Constraints: 32200
918.97/921.63 c #Conflicts: 721000 | #Constraints: 33200
918.97/921.63 c #Conflicts: 722000 | #Constraints: 34200
918.97/921.63 c INPROCESSING
918.97/921.63 c GARBAGE COLLECT
918.97/921.63 c #Conflicts: 723000 | #Constraints: 18392
918.97/921.63 c #Conflicts: 724000 | #Constraints: 19392
918.97/921.63 c #Conflicts: 725000 | #Constraints: 20392
918.97/921.63 c #Conflicts: 726000 | #Constraints: 21392
918.97/921.63 c #Conflicts: 727000 | #Constraints: 22392
918.97/921.63 c #Conflicts: 728000 | #Constraints: 23392
918.97/921.63 c #Conflicts: 729000 | #Constraints: 24392
918.97/921.63 c #Conflicts: 730000 | #Constraints: 25392
918.97/921.63 c #Conflicts: 731000 | #Constraints: 26392
918.97/921.63 c #Conflicts: 732000 | #Constraints: 27392
918.97/921.63 c #Conflicts: 733000 | #Constraints: 28392
918.97/921.63 c #Conflicts: 734000 | #Constraints: 29392
918.97/921.63 c #Conflicts: 735000 | #Constraints: 30392
918.97/921.63 c #Conflicts: 736000 | #Constraints: 31392
918.97/921.63 c #Conflicts: 737000 | #Constraints: 32392
918.97/921.63 c #Conflicts: 738000 | #Constraints: 33392
918.97/921.63 c #Conflicts: 739000 | #Constraints: 34392
918.97/921.63 c INPROCESSING
918.97/921.63 c GARBAGE COLLECT
918.97/921.63 c #Conflicts: 740000 | #Constraints: 18391
918.97/921.63 c #Conflicts: 741000 | #Constraints: 19391
918.97/921.63 c #Conflicts: 742000 | #Constraints: 20391
918.97/921.63 c #Conflicts: 743000 | #Constraints: 21391
918.97/921.63 c #Conflicts: 744000 | #Constraints: 22391
918.97/921.63 c #Conflicts: 745000 | #Constraints: 23391
918.97/921.63 c #Conflicts: 746000 | #Constraints: 24391
918.97/921.63 c #Conflicts: 747000 | #Constraints: 25391
918.97/921.63 c #Conflicts: 748000 | #Constraints: 26391
918.97/921.63 c #Conflicts: 749000 | #Constraints: 27391
918.97/921.63 c #Conflicts: 750000 | #Constraints: 28391
918.97/921.63 c #Conflicts: 751000 | #Constraints: 29391
918.97/921.63 c #Conflicts: 752000 | #Constraints: 30391
918.97/921.63 c #Conflicts: 753000 | #Constraints: 31391
918.97/921.63 c #Conflicts: 754000 | #Constraints: 32391
918.97/921.63 c #Conflicts: 755000 | #Constraints: 33391
918.97/921.63 c #Conflicts: 756000 | #Constraints: 34391
918.97/921.63 c INPROCESSING
918.97/921.63 c GARBAGE COLLECT
918.97/921.63 c #Conflicts: 757000 | #Constraints: 18191
918.97/921.63 c #Conflicts: 758000 | #Constraints: 19191
918.97/921.63 c #Conflicts: 759000 | #Constraints: 20191
918.97/921.63 c #Conflicts: 760000 | #Constraints: 21191
918.97/921.63 c #Conflicts: 761000 | #Constraints: 22191
918.97/921.63 c #Conflicts: 762000 | #Constraints: 23191
918.97/921.63 c #Conflicts: 763000 | #Constraints: 24191
918.97/921.63 c #Conflicts: 764000 | #Constraints: 25191
918.97/921.63 c #Conflicts: 765000 | #Constraints: 26191
918.97/921.63 c #Conflicts: 766000 | #Constraints: 27191
918.97/921.63 c #Conflicts: 767000 | #Constraints: 28191
918.97/921.63 c #Conflicts: 768000 | #Constraints: 29191
918.97/921.63 c #Conflicts: 769000 | #Constraints: 30191
918.97/921.63 c #Conflicts: 770000 | #Constraints: 31191
918.97/921.63 c #Conflicts: 771000 | #Constraints: 32191
918.97/921.63 c #Conflicts: 772000 | #Constraints: 33191
918.97/921.63 c #Conflicts: 773000 | #Constraints: 34191
918.97/921.63 c #Conflicts: 774000 | #Constraints: 35191
918.97/921.63 c INPROCESSING
918.97/921.63 c GARBAGE COLLECT
918.97/921.63 c #Conflicts: 775000 | #Constraints: 18793
918.97/921.63 c #Conflicts: 776000 | #Constraints: 19793
918.97/921.63 c #Conflicts: 777000 | #Constraints: 20793
918.97/921.63 c #Conflicts: 778000 | #Constraints: 21793
918.97/921.63 c #Conflicts: 779000 | #Constraints: 22793
918.97/921.63 c #Conflicts: 780000 | #Constraints: 23793
918.97/921.63 c #Conflicts: 781000 | #Constraints: 24793
918.97/921.63 c #Conflicts: 782000 | #Constraints: 25793
918.97/921.63 c #Conflicts: 783000 | #Constraints: 26793
1045.32/1048.36 c #Conflicts: 784000 | #Constraints: 27793
1045.32/1048.36 c #Conflicts: 785000 | #Constraints: 28793
1045.32/1048.36 c #Conflicts: 786000 | #Constraints: 29793
1045.32/1048.36 c #Conflicts: 787000 | #Constraints: 30793
1045.32/1048.36 c #Conflicts: 788000 | #Constraints: 31793
1045.32/1048.36 c #Conflicts: 789000 | #Constraints: 32793
1045.32/1048.36 c #Conflicts: 790000 | #Constraints: 33793
1045.32/1048.36 c #Conflicts: 791000 | #Constraints: 34793
1045.32/1048.36 c #Conflicts: 792000 | #Constraints: 35793
1045.32/1048.36 c INPROCESSING
1045.32/1048.36 c GARBAGE COLLECT
1045.32/1048.36 c #Conflicts: 793000 | #Constraints: 19189
1045.32/1048.36 c #Conflicts: 794000 | #Constraints: 20189
1045.32/1048.36 c #Conflicts: 795000 | #Constraints: 21189
1045.32/1048.36 c #Conflicts: 796000 | #Constraints: 22189
1045.32/1048.36 c #Conflicts: 797000 | #Constraints: 23189
1045.32/1048.36 c #Conflicts: 798000 | #Constraints: 24189
1045.32/1048.36 c #Conflicts: 799000 | #Constraints: 25189
1045.32/1048.36 c #Conflicts: 800000 | #Constraints: 26189
1045.32/1048.36 c #Conflicts: 801000 | #Constraints: 27189
1045.32/1048.36 c #Conflicts: 802000 | #Constraints: 28189
1045.32/1048.36 c #Conflicts: 803000 | #Constraints: 29189
1045.32/1048.36 c #Conflicts: 804000 | #Constraints: 30189
1045.32/1048.36 c #Conflicts: 805000 | #Constraints: 31189
1045.32/1048.36 c #Conflicts: 806000 | #Constraints: 32189
1045.32/1048.36 c #Conflicts: 807000 | #Constraints: 33189
1045.32/1048.36 c #Conflicts: 808000 | #Constraints: 34189
1045.32/1048.36 c #Conflicts: 809000 | #Constraints: 35189
1045.32/1048.36 c #Conflicts: 810000 | #Constraints: 36189
1045.32/1048.36 c INPROCESSING
1045.32/1048.36 c GARBAGE COLLECT
1045.32/1048.36 c #Conflicts: 811000 | #Constraints: 19395
1045.32/1048.36 c #Conflicts: 812000 | #Constraints: 20395
1045.32/1048.36 c #Conflicts: 813000 | #Constraints: 21395
1045.32/1048.36 c #Conflicts: 814000 | #Constraints: 22395
1045.32/1048.36 c #Conflicts: 815000 | #Constraints: 23395
1045.32/1048.36 c #Conflicts: 816000 | #Constraints: 24395
1045.32/1048.36 c #Conflicts: 817000 | #Constraints: 25395
1045.32/1048.36 c #Conflicts: 818000 | #Constraints: 26395
1045.32/1048.36 c #Conflicts: 819000 | #Constraints: 27395
1045.32/1048.36 c #Conflicts: 820000 | #Constraints: 28395
1045.32/1048.36 c #Conflicts: 821000 | #Constraints: 29395
1045.32/1048.36 c #Conflicts: 822000 | #Constraints: 30395
1045.32/1048.36 c #Conflicts: 823000 | #Constraints: 31395
1045.32/1048.36 c #Conflicts: 824000 | #Constraints: 32395
1045.32/1048.36 c #Conflicts: 825000 | #Constraints: 33395
1045.32/1048.36 c #Conflicts: 826000 | #Constraints: 34395
1045.32/1048.36 c #Conflicts: 827000 | #Constraints: 35395
1045.32/1048.36 c #Conflicts: 828000 | #Constraints: 36395
1045.32/1048.36 c INPROCESSING
1045.32/1048.36 c GARBAGE COLLECT
1045.32/1048.36 c #Conflicts: 829000 | #Constraints: 19397
1045.32/1048.36 c #Conflicts: 830000 | #Constraints: 20397
1045.32/1048.36 c #Conflicts: 831000 | #Constraints: 21397
1045.32/1048.36 c #Conflicts: 832000 | #Constraints: 22397
1045.32/1048.36 c #Conflicts: 833000 | #Constraints: 23397
1045.32/1048.36 c #Conflicts: 834000 | #Constraints: 24397
1045.32/1048.36 c #Conflicts: 835000 | #Constraints: 25397
1045.32/1048.36 c #Conflicts: 836000 | #Constraints: 26397
1045.32/1048.36 c #Conflicts: 837000 | #Constraints: 27397
1045.32/1048.36 c #Conflicts: 838000 | #Constraints: 28397
1045.32/1048.36 c #Conflicts: 839000 | #Constraints: 29397
1045.32/1048.36 c #Conflicts: 840000 | #Constraints: 30397
1045.32/1048.36 c #Conflicts: 841000 | #Constraints: 31397
1045.32/1048.36 c #Conflicts: 842000 | #Constraints: 32397
1045.32/1048.36 c #Conflicts: 843000 | #Constraints: 33397
1045.32/1048.36 c #Conflicts: 844000 | #Constraints: 34397
1045.32/1048.36 c #Conflicts: 845000 | #Constraints: 35397
1045.32/1048.36 c #Conflicts: 846000 | #Constraints: 36397
1045.32/1048.36 c INPROCESSING
1045.32/1048.36 c GARBAGE COLLECT
1045.32/1048.36 c #Conflicts: 847000 | #Constraints: 19196
1045.32/1048.36 c #Conflicts: 848000 | #Constraints: 20196
1045.32/1048.36 c #Conflicts: 849000 | #Constraints: 21196
1045.32/1048.36 c #Conflicts: 850000 | #Constraints: 22196
1045.32/1048.36 c #Conflicts: 851000 | #Constraints: 23196
1045.32/1048.36 c #Conflicts: 852000 | #Constraints: 24196
1045.32/1048.36 c #Conflicts: 853000 | #Constraints: 25196
1045.32/1048.36 c #Conflicts: 854000 | #Constraints: 26196
1045.32/1048.36 c #Conflicts: 855000 | #Constraints: 27196
1045.32/1048.36 c #Conflicts: 856000 | #Constraints: 28196
1045.32/1048.36 c #Conflicts: 857000 | #Constraints: 29196
1045.32/1048.36 c #Conflicts: 858000 | #Constraints: 30196
1045.32/1048.36 c #Conflicts: 859000 | #Constraints: 31196
1179.47/1182.82 c #Conflicts: 860000 | #Constraints: 32196
1179.47/1182.82 c #Conflicts: 861000 | #Constraints: 33196
1179.47/1182.82 c #Conflicts: 862000 | #Constraints: 34196
1179.47/1182.82 c #Conflicts: 863000 | #Constraints: 35196
1179.47/1182.82 c #Conflicts: 864000 | #Constraints: 36196
1179.47/1182.82 c #Conflicts: 865000 | #Constraints: 37196
1179.47/1182.82 c INPROCESSING
1179.47/1182.82 c GARBAGE COLLECT
1179.47/1182.82 c #Conflicts: 866000 | #Constraints: 19796
1179.47/1182.82 c #Conflicts: 867000 | #Constraints: 20796
1179.47/1182.82 c #Conflicts: 868000 | #Constraints: 21796
1179.47/1182.82 c #Conflicts: 869000 | #Constraints: 22796
1179.47/1182.82 c #Conflicts: 870000 | #Constraints: 23796
1179.47/1182.82 c #Conflicts: 871000 | #Constraints: 24796
1179.47/1182.82 c #Conflicts: 872000 | #Constraints: 25796
1179.47/1182.82 c #Conflicts: 873000 | #Constraints: 26796
1179.47/1182.82 c #Conflicts: 874000 | #Constraints: 27796
1179.47/1182.82 c #Conflicts: 875000 | #Constraints: 28796
1179.47/1182.82 c #Conflicts: 876000 | #Constraints: 29796
1179.47/1182.82 c #Conflicts: 877000 | #Constraints: 30796
1179.47/1182.82 c #Conflicts: 878000 | #Constraints: 31796
1179.47/1182.82 c #Conflicts: 879000 | #Constraints: 32796
1179.47/1182.82 c #Conflicts: 880000 | #Constraints: 33796
1179.47/1182.82 c #Conflicts: 881000 | #Constraints: 34796
1179.47/1182.82 c #Conflicts: 882000 | #Constraints: 35796
1179.47/1182.82 c #Conflicts: 883000 | #Constraints: 36796
1179.47/1182.82 c #Conflicts: 884000 | #Constraints: 37796
1179.47/1182.82 c INPROCESSING
1179.47/1182.82 c GARBAGE COLLECT
1179.47/1182.82 c #Conflicts: 885000 | #Constraints: 20200
1179.47/1182.82 c #Conflicts: 886000 | #Constraints: 21200
1179.47/1182.82 c #Conflicts: 887000 | #Constraints: 22200
1179.47/1182.82 c #Conflicts: 888000 | #Constraints: 23200
1179.47/1182.82 c #Conflicts: 889000 | #Constraints: 24200
1179.47/1182.82 c #Conflicts: 890000 | #Constraints: 25200
1179.47/1182.82 c #Conflicts: 891000 | #Constraints: 26200
1179.47/1182.82 c #Conflicts: 892000 | #Constraints: 27200
1179.47/1182.82 c #Conflicts: 893000 | #Constraints: 28200
1179.47/1182.82 c #Conflicts: 894000 | #Constraints: 29200
1179.47/1182.82 c #Conflicts: 895000 | #Constraints: 30200
1179.47/1182.82 c #Conflicts: 896000 | #Constraints: 31200
1179.47/1182.82 c #Conflicts: 897000 | #Constraints: 32200
1179.47/1182.82 c #Conflicts: 898000 | #Constraints: 33200
1179.47/1182.82 c #Conflicts: 899000 | #Constraints: 34200
1179.47/1182.82 c #Conflicts: 900000 | #Constraints: 35200
1179.47/1182.82 c #Conflicts: 901000 | #Constraints: 36200
1179.47/1182.82 c #Conflicts: 902000 | #Constraints: 37200
1179.47/1182.82 c #Conflicts: 903000 | #Constraints: 38200
1179.47/1182.82 c INPROCESSING
1179.47/1182.82 c GARBAGE COLLECT
1179.47/1182.82 c #Conflicts: 904000 | #Constraints: 20396
1179.47/1182.82 c #Conflicts: 905000 | #Constraints: 21396
1179.47/1182.82 c #Conflicts: 906000 | #Constraints: 22396
1179.47/1182.82 c #Conflicts: 907000 | #Constraints: 23396
1179.47/1182.82 c #Conflicts: 908000 | #Constraints: 24396
1179.47/1182.82 c #Conflicts: 909000 | #Constraints: 25396
1179.47/1182.82 c #Conflicts: 910000 | #Constraints: 26396
1179.47/1182.82 c #Conflicts: 911000 | #Constraints: 27396
1179.47/1182.82 c #Conflicts: 912000 | #Constraints: 28396
1179.47/1182.82 c #Conflicts: 913000 | #Constraints: 29396
1179.47/1182.82 c #Conflicts: 914000 | #Constraints: 30396
1179.47/1182.82 c #Conflicts: 915000 | #Constraints: 31396
1179.47/1182.82 c #Conflicts: 916000 | #Constraints: 32396
1179.47/1182.82 c #Conflicts: 917000 | #Constraints: 33396
1179.47/1182.82 c #Conflicts: 918000 | #Constraints: 34396
1179.47/1182.82 c #Conflicts: 919000 | #Constraints: 35396
1179.47/1182.82 c #Conflicts: 920000 | #Constraints: 36396
1179.47/1182.82 c #Conflicts: 921000 | #Constraints: 37396
1179.47/1182.82 c #Conflicts: 922000 | #Constraints: 38396
1179.47/1182.82 c INPROCESSING
1179.47/1182.82 c GARBAGE COLLECT
1179.47/1182.82 c #Conflicts: 923000 | #Constraints: 20400
1179.47/1182.82 c #Conflicts: 924000 | #Constraints: 21400
1179.47/1182.82 c #Conflicts: 925000 | #Constraints: 22400
1179.47/1182.82 c #Conflicts: 926000 | #Constraints: 23400
1179.47/1182.82 c #Conflicts: 927000 | #Constraints: 24400
1179.47/1182.82 c #Conflicts: 928000 | #Constraints: 25400
1179.47/1182.82 c #Conflicts: 929000 | #Constraints: 26400
1179.47/1182.82 c #Conflicts: 930000 | #Constraints: 27400
1179.47/1182.82 c #Conflicts: 931000 | #Constraints: 28400
1179.47/1182.82 c #Conflicts: 932000 | #Constraints: 29400
1179.47/1182.82 c #Conflicts: 933000 | #Constraints: 30400
1179.47/1182.82 c #Conflicts: 934000 | #Constraints: 31400
1179.47/1182.82 c #Conflicts: 935000 | #Constraints: 32400
1307.23/1310.95 c #Conflicts: 936000 | #Constraints: 33400
1307.23/1310.95 c #Conflicts: 937000 | #Constraints: 34400
1307.23/1310.95 c #Conflicts: 938000 | #Constraints: 35400
1307.23/1310.95 c #Conflicts: 939000 | #Constraints: 36400
1307.23/1310.95 c #Conflicts: 940000 | #Constraints: 37400
1307.23/1310.95 c #Conflicts: 941000 | #Constraints: 38400
1307.23/1310.95 c INPROCESSING
1307.23/1310.95 c GARBAGE COLLECT
1307.23/1310.95 c #Conflicts: 942000 | #Constraints: 20196
1307.23/1310.95 c #Conflicts: 943000 | #Constraints: 21196
1307.23/1310.95 c #Conflicts: 944000 | #Constraints: 22196
1307.23/1310.95 c #Conflicts: 945000 | #Constraints: 23196
1307.23/1310.95 c #Conflicts: 946000 | #Constraints: 24196
1307.23/1310.95 c #Conflicts: 947000 | #Constraints: 25196
1307.23/1310.95 c #Conflicts: 948000 | #Constraints: 26196
1307.23/1310.95 c #Conflicts: 949000 | #Constraints: 27196
1307.23/1310.95 c #Conflicts: 950000 | #Constraints: 28196
1307.23/1310.95 c #Conflicts: 951000 | #Constraints: 29196
1307.23/1310.95 c #Conflicts: 952000 | #Constraints: 30196
1307.23/1310.95 c #Conflicts: 953000 | #Constraints: 31196
1307.23/1310.95 c #Conflicts: 954000 | #Constraints: 32196
1307.23/1310.95 c #Conflicts: 955000 | #Constraints: 33196
1307.23/1310.95 c #Conflicts: 956000 | #Constraints: 34196
1307.23/1310.95 c #Conflicts: 957000 | #Constraints: 35196
1307.23/1310.95 c #Conflicts: 958000 | #Constraints: 36196
1307.23/1310.95 c #Conflicts: 959000 | #Constraints: 37196
1307.23/1310.95 c #Conflicts: 960000 | #Constraints: 38196
1307.23/1310.95 c #Conflicts: 961000 | #Constraints: 39196
1307.23/1310.95 c INPROCESSING
1307.23/1310.95 c GARBAGE COLLECT
1307.23/1310.95 c #Conflicts: 962000 | #Constraints: 20797
1307.23/1310.95 c #Conflicts: 963000 | #Constraints: 21797
1307.23/1310.95 c #Conflicts: 964000 | #Constraints: 22797
1307.23/1310.95 c #Conflicts: 965000 | #Constraints: 23797
1307.23/1310.95 c #Conflicts: 966000 | #Constraints: 24797
1307.23/1310.95 c #Conflicts: 967000 | #Constraints: 25797
1307.23/1310.95 c #Conflicts: 968000 | #Constraints: 26797
1307.23/1310.95 c #Conflicts: 969000 | #Constraints: 27797
1307.23/1310.95 c #Conflicts: 970000 | #Constraints: 28797
1307.23/1310.95 c #Conflicts: 971000 | #Constraints: 29797
1307.23/1310.95 c #Conflicts: 972000 | #Constraints: 30797
1307.23/1310.95 c #Conflicts: 973000 | #Constraints: 31797
1307.23/1310.95 c #Conflicts: 974000 | #Constraints: 32797
1307.23/1310.95 c #Conflicts: 975000 | #Constraints: 33797
1307.23/1310.95 c #Conflicts: 976000 | #Constraints: 34797
1307.23/1310.95 c #Conflicts: 977000 | #Constraints: 35797
1307.23/1310.95 c #Conflicts: 978000 | #Constraints: 36797
1307.23/1310.95 c #Conflicts: 979000 | #Constraints: 37797
1307.23/1310.95 c #Conflicts: 980000 | #Constraints: 38797
1307.23/1310.95 c #Conflicts: 981000 | #Constraints: 39797
1307.23/1310.95 c INPROCESSING
1307.23/1310.95 c GARBAGE COLLECT
1307.23/1310.95 c #Conflicts: 982000 | #Constraints: 21194
1307.23/1310.95 c #Conflicts: 983000 | #Constraints: 22194
1307.23/1310.95 c #Conflicts: 984000 | #Constraints: 23194
1307.23/1310.95 c #Conflicts: 985000 | #Constraints: 24194
1307.23/1310.95 c #Conflicts: 986000 | #Constraints: 25194
1307.23/1310.95 c #Conflicts: 987000 | #Constraints: 26194
1307.23/1310.95 c #Conflicts: 988000 | #Constraints: 27194
1307.23/1310.95 c #Conflicts: 989000 | #Constraints: 28194
1307.23/1310.95 c #Conflicts: 990000 | #Constraints: 29194
1307.23/1310.95 c #Conflicts: 991000 | #Constraints: 30194
1307.23/1310.95 c #Conflicts: 992000 | #Constraints: 31194
1307.23/1310.95 c #Conflicts: 993000 | #Constraints: 32194
1307.23/1310.95 c #Conflicts: 994000 | #Constraints: 33194
1307.23/1310.95 c #Conflicts: 995000 | #Constraints: 34194
1307.23/1310.95 c #Conflicts: 996000 | #Constraints: 35194
1307.23/1310.95 c #Conflicts: 997000 | #Constraints: 36194
1307.23/1310.95 c #Conflicts: 998000 | #Constraints: 37194
1307.23/1310.95 c #Conflicts: 999000 | #Constraints: 38194
1307.23/1310.95 c #Conflicts: 1000000 | #Constraints: 39194
1307.23/1310.95 c #Conflicts: 1001000 | #Constraints: 40194
1307.23/1310.95 c INPROCESSING
1307.23/1310.95 c GARBAGE COLLECT
1307.23/1310.95 c #Conflicts: 1002000 | #Constraints: 21399
1307.23/1310.95 c #Conflicts: 1003000 | #Constraints: 22399
1307.23/1310.95 c #Conflicts: 1004000 | #Constraints: 23399
1307.23/1310.95 c #Conflicts: 1005000 | #Constraints: 24399
1307.23/1310.95 c #Conflicts: 1006000 | #Constraints: 25399
1307.23/1310.95 c #Conflicts: 1007000 | #Constraints: 26399
1307.23/1310.95 c #Conflicts: 1008000 | #Constraints: 27399
1307.23/1310.95 c #Conflicts: 1009000 | #Constraints: 28399
1307.23/1310.95 c #Conflicts: 1010000 | #Constraints: 29399
1307.23/1310.95 c #Conflicts: 1011000 | #Constraints: 30399
1440.28/1444.35 c #Conflicts: 1012000 | #Constraints: 31399
1440.28/1444.35 c #Conflicts: 1013000 | #Constraints: 32399
1440.28/1444.35 c #Conflicts: 1014000 | #Constraints: 33399
1440.28/1444.35 c #Conflicts: 1015000 | #Constraints: 34399
1440.28/1444.35 c #Conflicts: 1016000 | #Constraints: 35399
1440.28/1444.35 c #Conflicts: 1017000 | #Constraints: 36399
1440.28/1444.35 c #Conflicts: 1018000 | #Constraints: 37399
1440.28/1444.35 c #Conflicts: 1019000 | #Constraints: 38399
1440.28/1444.35 c #Conflicts: 1020000 | #Constraints: 39399
1440.28/1444.35 c #Conflicts: 1021000 | #Constraints: 40399
1440.28/1444.35 c INPROCESSING
1440.28/1444.35 c GARBAGE COLLECT
1440.28/1444.35 c #Conflicts: 1022000 | #Constraints: 21396
1440.28/1444.35 c #Conflicts: 1023000 | #Constraints: 22396
1440.28/1444.35 c #Conflicts: 1024000 | #Constraints: 23396
1440.28/1444.35 c #Conflicts: 1025000 | #Constraints: 24396
1440.28/1444.35 c #Conflicts: 1026000 | #Constraints: 25396
1440.28/1444.35 c #Conflicts: 1027000 | #Constraints: 26396
1440.28/1444.35 c #Conflicts: 1028000 | #Constraints: 27396
1440.28/1444.35 c #Conflicts: 1029000 | #Constraints: 28396
1440.28/1444.35 c #Conflicts: 1030000 | #Constraints: 29396
1440.28/1444.35 c #Conflicts: 1031000 | #Constraints: 30396
1440.28/1444.35 c #Conflicts: 1032000 | #Constraints: 31396
1440.28/1444.35 c #Conflicts: 1033000 | #Constraints: 32396
1440.28/1444.35 c #Conflicts: 1034000 | #Constraints: 33396
1440.28/1444.35 c #Conflicts: 1035000 | #Constraints: 34396
1440.28/1444.35 c #Conflicts: 1036000 | #Constraints: 35396
1440.28/1444.35 c #Conflicts: 1037000 | #Constraints: 36396
1440.28/1444.35 c #Conflicts: 1038000 | #Constraints: 37396
1440.28/1444.35 c #Conflicts: 1039000 | #Constraints: 38396
1440.28/1444.35 c #Conflicts: 1040000 | #Constraints: 39396
1440.28/1444.35 c #Conflicts: 1041000 | #Constraints: 40396
1440.28/1444.35 c INPROCESSING
1440.28/1444.35 c GARBAGE COLLECT
1440.28/1444.35 c #Conflicts: 1042000 | #Constraints: 21192
1440.28/1444.35 c #Conflicts: 1043000 | #Constraints: 22192
1440.28/1444.35 c #Conflicts: 1044000 | #Constraints: 23192
1440.28/1444.35 c #Conflicts: 1045000 | #Constraints: 24192
1440.28/1444.35 c #Conflicts: 1046000 | #Constraints: 25192
1440.28/1444.35 c #Conflicts: 1047000 | #Constraints: 26192
1440.28/1444.35 c #Conflicts: 1048000 | #Constraints: 27192
1440.28/1444.35 c #Conflicts: 1049000 | #Constraints: 28192
1440.28/1444.35 c #Conflicts: 1050000 | #Constraints: 29192
1440.28/1444.35 c #Conflicts: 1051000 | #Constraints: 30192
1440.28/1444.35 c #Conflicts: 1052000 | #Constraints: 31192
1440.28/1444.35 c #Conflicts: 1053000 | #Constraints: 32192
1440.28/1444.35 c #Conflicts: 1054000 | #Constraints: 33192
1440.28/1444.35 c #Conflicts: 1055000 | #Constraints: 34192
1440.28/1444.35 c #Conflicts: 1056000 | #Constraints: 35192
1440.28/1444.35 c #Conflicts: 1057000 | #Constraints: 36192
1440.28/1444.35 c #Conflicts: 1058000 | #Constraints: 37192
1440.28/1444.35 c #Conflicts: 1059000 | #Constraints: 38192
1440.28/1444.35 c #Conflicts: 1060000 | #Constraints: 39192
1440.28/1444.35 c #Conflicts: 1061000 | #Constraints: 40192
1440.28/1444.35 c #Conflicts: 1062000 | #Constraints: 41192
1440.28/1444.35 c INPROCESSING
1440.28/1444.35 c GARBAGE COLLECT
1440.28/1444.35 c #Conflicts: 1063000 | #Constraints: 21795
1440.28/1444.35 c #Conflicts: 1064000 | #Constraints: 22795
1440.28/1444.35 c #Conflicts: 1065000 | #Constraints: 23795
1440.28/1444.35 c #Conflicts: 1066000 | #Constraints: 24795
1440.28/1444.35 c #Conflicts: 1067000 | #Constraints: 25795
1440.28/1444.35 c #Conflicts: 1068000 | #Constraints: 26795
1440.28/1444.35 c #Conflicts: 1069000 | #Constraints: 27795
1440.28/1444.35 c #Conflicts: 1070000 | #Constraints: 28795
1440.28/1444.35 c #Conflicts: 1071000 | #Constraints: 29795
1440.28/1444.35 c #Conflicts: 1072000 | #Constraints: 30795
1440.28/1444.35 c #Conflicts: 1073000 | #Constraints: 31795
1440.28/1444.35 c #Conflicts: 1074000 | #Constraints: 32795
1440.28/1444.35 c #Conflicts: 1075000 | #Constraints: 33795
1440.28/1444.35 c #Conflicts: 1076000 | #Constraints: 34795
1440.28/1444.35 c #Conflicts: 1077000 | #Constraints: 35795
1440.28/1444.35 c #Conflicts: 1078000 | #Constraints: 36795
1440.28/1444.35 c #Conflicts: 1079000 | #Constraints: 37795
1440.28/1444.35 c #Conflicts: 1080000 | #Constraints: 38795
1440.28/1444.35 c #Conflicts: 1081000 | #Constraints: 39795
1440.28/1444.35 c #Conflicts: 1082000 | #Constraints: 40795
1440.28/1444.35 c #Conflicts: 1083000 | #Constraints: 41795
1440.28/1444.35 c INPROCESSING
1440.28/1444.35 c GARBAGE COLLECT
1440.28/1444.35 c #Conflicts: 1084000 | #Constraints: 22200
1440.28/1444.35 c #Conflicts: 1085000 | #Constraints: 23200
1440.28/1444.35 c #Conflicts: 1086000 | #Constraints: 24200
1440.28/1444.35 c #Conflicts: 1087000 | #Constraints: 25200
1440.28/1444.35 c #Conflicts: 1088000 | #Constraints: 26200
1596.69/1601.20 c #Conflicts: 1089000 | #Constraints: 27200
1596.69/1601.20 c #Conflicts: 1090000 | #Constraints: 28200
1596.69/1601.20 c #Conflicts: 1091000 | #Constraints: 29200
1596.69/1601.20 c #Conflicts: 1092000 | #Constraints: 30200
1596.69/1601.20 c #Conflicts: 1093000 | #Constraints: 31200
1596.69/1601.20 c #Conflicts: 1094000 | #Constraints: 32200
1596.69/1601.20 c #Conflicts: 1095000 | #Constraints: 33200
1596.69/1601.20 c #Conflicts: 1096000 | #Constraints: 34200
1596.69/1601.20 c #Conflicts: 1097000 | #Constraints: 35200
1596.69/1601.20 c #Conflicts: 1098000 | #Constraints: 36200
1596.69/1601.20 c #Conflicts: 1099000 | #Constraints: 37200
1596.69/1601.20 c #Conflicts: 1100000 | #Constraints: 38200
1596.69/1601.20 c #Conflicts: 1101000 | #Constraints: 39200
1596.69/1601.20 c #Conflicts: 1102000 | #Constraints: 40200
1596.69/1601.20 c #Conflicts: 1103000 | #Constraints: 41200
1596.69/1601.20 c #Conflicts: 1104000 | #Constraints: 42200
1596.69/1601.20 c INPROCESSING
1596.69/1601.20 c GARBAGE COLLECT
1596.69/1601.20 c #Conflicts: 1105000 | #Constraints: 22399
1596.69/1601.20 c #Conflicts: 1106000 | #Constraints: 23399
1596.69/1601.20 c #Conflicts: 1107000 | #Constraints: 24399
1596.69/1601.20 c #Conflicts: 1108000 | #Constraints: 25399
1596.69/1601.20 c #Conflicts: 1109000 | #Constraints: 26399
1596.69/1601.20 c #Conflicts: 1110000 | #Constraints: 27399
1596.69/1601.20 c #Conflicts: 1111000 | #Constraints: 28399
1596.69/1601.20 c #Conflicts: 1112000 | #Constraints: 29399
1596.69/1601.20 c #Conflicts: 1113000 | #Constraints: 30399
1596.69/1601.20 c #Conflicts: 1114000 | #Constraints: 31399
1596.69/1601.20 c #Conflicts: 1115000 | #Constraints: 32399
1596.69/1601.20 c #Conflicts: 1116000 | #Constraints: 33399
1596.69/1601.20 c #Conflicts: 1117000 | #Constraints: 34399
1596.69/1601.20 c #Conflicts: 1118000 | #Constraints: 35399
1596.69/1601.20 c #Conflicts: 1119000 | #Constraints: 36399
1596.69/1601.20 c #Conflicts: 1120000 | #Constraints: 37399
1596.69/1601.20 c #Conflicts: 1121000 | #Constraints: 38399
1596.69/1601.20 c #Conflicts: 1122000 | #Constraints: 39399
1596.69/1601.20 c #Conflicts: 1123000 | #Constraints: 40399
1596.69/1601.20 c #Conflicts: 1124000 | #Constraints: 41399
1596.69/1601.20 c #Conflicts: 1125000 | #Constraints: 42399
1596.69/1601.20 c INPROCESSING
1596.69/1601.20 c GARBAGE COLLECT
1596.69/1601.20 c #Conflicts: 1126000 | #Constraints: 22387
1596.69/1601.20 c #Conflicts: 1127000 | #Constraints: 23387
1596.69/1601.20 c #Conflicts: 1128000 | #Constraints: 24387
1596.69/1601.20 c #Conflicts: 1129000 | #Constraints: 25387
1596.69/1601.20 c #Conflicts: 1130000 | #Constraints: 26387
1596.69/1601.20 c #Conflicts: 1131000 | #Constraints: 27387
1596.69/1601.20 c #Conflicts: 1132000 | #Constraints: 28387
1596.69/1601.20 c #Conflicts: 1133000 | #Constraints: 29387
1596.69/1601.20 c #Conflicts: 1134000 | #Constraints: 30387
1596.69/1601.20 c #Conflicts: 1135000 | #Constraints: 31387
1596.69/1601.20 c #Conflicts: 1136000 | #Constraints: 32387
1596.69/1601.20 c #Conflicts: 1137000 | #Constraints: 33387
1596.69/1601.20 c #Conflicts: 1138000 | #Constraints: 34387
1596.69/1601.20 c #Conflicts: 1139000 | #Constraints: 35387
1596.69/1601.20 c #Conflicts: 1140000 | #Constraints: 36387
1596.69/1601.20 c #Conflicts: 1141000 | #Constraints: 37387
1596.69/1601.20 c #Conflicts: 1142000 | #Constraints: 38387
1596.69/1601.20 c #Conflicts: 1143000 | #Constraints: 39387
1596.69/1601.20 c #Conflicts: 1144000 | #Constraints: 40387
1596.69/1601.20 c #Conflicts: 1145000 | #Constraints: 41387
1596.69/1601.20 c #Conflicts: 1146000 | #Constraints: 42387
1596.69/1601.20 c INPROCESSING
1596.69/1601.20 c GARBAGE COLLECT
1596.69/1601.20 c #Conflicts: 1147000 | #Constraints: 22194
1596.69/1601.20 c #Conflicts: 1148000 | #Constraints: 23194
1596.69/1601.20 c #Conflicts: 1149000 | #Constraints: 24194
1596.69/1601.20 c #Conflicts: 1150000 | #Constraints: 25194
1596.69/1601.20 c #Conflicts: 1151000 | #Constraints: 26194
1596.69/1601.20 c #Conflicts: 1152000 | #Constraints: 27194
1596.69/1601.20 c #Conflicts: 1153000 | #Constraints: 28194
1596.69/1601.20 c #Conflicts: 1154000 | #Constraints: 29194
1596.69/1601.20 c #Conflicts: 1155000 | #Constraints: 30194
1596.69/1601.20 c #Conflicts: 1156000 | #Constraints: 31194
1596.69/1601.20 c #Conflicts: 1157000 | #Constraints: 32194
1596.69/1601.20 c #Conflicts: 1158000 | #Constraints: 33194
1596.69/1601.20 c #Conflicts: 1159000 | #Constraints: 34194
1596.69/1601.20 c #Conflicts: 1160000 | #Constraints: 35194
1596.69/1601.20 c #Conflicts: 1161000 | #Constraints: 36194
1596.69/1601.20 c #Conflicts: 1162000 | #Constraints: 37194
1596.69/1601.20 c #Conflicts: 1163000 | #Constraints: 38194
1596.69/1601.20 c #Conflicts: 1164000 | #Constraints: 39194
1596.69/1601.20 c #Conflicts: 1165000 | #Constraints: 40194
1757.31/1762.32 c #Conflicts: 1166000 | #Constraints: 41194
1757.31/1762.32 c #Conflicts: 1167000 | #Constraints: 42194
1757.31/1762.32 c #Conflicts: 1168000 | #Constraints: 43194
1757.31/1762.32 c INPROCESSING
1757.31/1762.32 c GARBAGE COLLECT
1757.31/1762.32 c #Conflicts: 1169000 | #Constraints: 22792
1757.31/1762.32 c #Conflicts: 1170000 | #Constraints: 23792
1757.31/1762.32 c #Conflicts: 1171000 | #Constraints: 24792
1757.31/1762.32 c #Conflicts: 1172000 | #Constraints: 25792
1757.31/1762.32 c #Conflicts: 1173000 | #Constraints: 26792
1757.31/1762.32 c #Conflicts: 1174000 | #Constraints: 27792
1757.31/1762.32 c #Conflicts: 1175000 | #Constraints: 28792
1757.31/1762.32 c #Conflicts: 1176000 | #Constraints: 29792
1757.31/1762.32 c #Conflicts: 1177000 | #Constraints: 30792
1757.31/1762.32 c #Conflicts: 1178000 | #Constraints: 31792
1757.31/1762.32 c #Conflicts: 1179000 | #Constraints: 32792
1757.31/1762.32 c #Conflicts: 1180000 | #Constraints: 33792
1757.31/1762.32 c #Conflicts: 1181000 | #Constraints: 34792
1757.31/1762.32 c #Conflicts: 1182000 | #Constraints: 35792
1757.31/1762.32 c #Conflicts: 1183000 | #Constraints: 36792
1757.31/1762.32 c #Conflicts: 1184000 | #Constraints: 37792
1757.31/1762.32 c #Conflicts: 1185000 | #Constraints: 38792
1757.31/1762.32 c #Conflicts: 1186000 | #Constraints: 39792
1757.31/1762.32 c #Conflicts: 1187000 | #Constraints: 40792
1757.31/1762.32 c #Conflicts: 1188000 | #Constraints: 41792
1757.31/1762.32 c #Conflicts: 1189000 | #Constraints: 42792
1757.31/1762.32 c #Conflicts: 1190000 | #Constraints: 43792
1757.31/1762.32 c INPROCESSING
1757.31/1762.32 c GARBAGE COLLECT
1757.31/1762.32 c #Conflicts: 1191000 | #Constraints: 23191
1757.31/1762.32 c #Conflicts: 1192000 | #Constraints: 24191
1757.31/1762.32 c #Conflicts: 1193000 | #Constraints: 25191
1757.31/1762.32 c #Conflicts: 1194000 | #Constraints: 26191
1757.31/1762.32 c #Conflicts: 1195000 | #Constraints: 27191
1757.31/1762.32 c #Conflicts: 1196000 | #Constraints: 28191
1757.31/1762.32 c #Conflicts: 1197000 | #Constraints: 29191
1757.31/1762.32 c #Conflicts: 1198000 | #Constraints: 30191
1757.31/1762.32 c #Conflicts: 1199000 | #Constraints: 31191
1757.31/1762.32 c #Conflicts: 1200000 | #Constraints: 32191
1757.31/1762.32 c #Conflicts: 1201000 | #Constraints: 33191
1757.31/1762.32 c #Conflicts: 1202000 | #Constraints: 34191
1757.31/1762.32 c #Conflicts: 1203000 | #Constraints: 35191
1757.31/1762.32 c #Conflicts: 1204000 | #Constraints: 36191
1757.31/1762.32 c #Conflicts: 1205000 | #Constraints: 37191
1757.31/1762.32 c #Conflicts: 1206000 | #Constraints: 38191
1757.31/1762.32 c #Conflicts: 1207000 | #Constraints: 39191
1757.31/1762.32 c #Conflicts: 1208000 | #Constraints: 40191
1757.31/1762.32 c #Conflicts: 1209000 | #Constraints: 41191
1757.31/1762.32 c #Conflicts: 1210000 | #Constraints: 42191
1757.31/1762.32 c #Conflicts: 1211000 | #Constraints: 43191
1757.31/1762.32 c #Conflicts: 1212000 | #Constraints: 44191
1757.31/1762.32 c INPROCESSING
1757.31/1762.32 c GARBAGE COLLECT
1757.31/1762.32 c #Conflicts: 1213000 | #Constraints: 23397
1757.31/1762.32 c #Conflicts: 1214000 | #Constraints: 24397
1757.31/1762.32 c #Conflicts: 1215000 | #Constraints: 25397
1757.31/1762.32 c #Conflicts: 1216000 | #Constraints: 26397
1757.31/1762.32 c #Conflicts: 1217000 | #Constraints: 27397
1757.31/1762.32 c #Conflicts: 1218000 | #Constraints: 28397
1757.31/1762.32 c #Conflicts: 1219000 | #Constraints: 29397
1757.31/1762.32 c #Conflicts: 1220000 | #Constraints: 30397
1757.31/1762.32 c #Conflicts: 1221000 | #Constraints: 31397
1757.31/1762.32 c #Conflicts: 1222000 | #Constraints: 32397
1757.31/1762.32 c #Conflicts: 1223000 | #Constraints: 33397
1757.31/1762.32 c #Conflicts: 1224000 | #Constraints: 34397
1757.31/1762.32 c #Conflicts: 1225000 | #Constraints: 35397
1757.31/1762.32 c #Conflicts: 1226000 | #Constraints: 36397
1757.31/1762.32 c #Conflicts: 1227000 | #Constraints: 37397
1757.31/1762.32 c #Conflicts: 1228000 | #Constraints: 38397
1757.31/1762.32 c #Conflicts: 1229000 | #Constraints: 39397
1757.31/1762.32 c #Conflicts: 1230000 | #Constraints: 40397
1757.31/1762.32 c #Conflicts: 1231000 | #Constraints: 41397
1757.31/1762.32 c #Conflicts: 1232000 | #Constraints: 42397
1757.31/1762.32 c #Conflicts: 1233000 | #Constraints: 43397
1757.31/1762.32 c #Conflicts: 1234000 | #Constraints: 44397
1757.31/1762.32 c INPROCESSING
1757.31/1762.32 c GARBAGE COLLECT
1757.31/1762.32 c #Conflicts: 1235000 | #Constraints: 23398
1757.31/1762.32 c #Conflicts: 1236000 | #Constraints: 24398
1757.31/1762.32 c #Conflicts: 1237000 | #Constraints: 25398
1757.31/1762.32 c #Conflicts: 1238000 | #Constraints: 26398
1757.31/1762.32 c #Conflicts: 1239000 | #Constraints: 27398
1757.31/1762.32 c #Conflicts: 1240000 | #Constraints: 28398
1757.31/1762.32 c #Conflicts: 1241000 | #Constraints: 29398
1925.78/1931.38 c #Conflicts: 1242000 | #Constraints: 30398
1925.78/1931.38 c #Conflicts: 1243000 | #Constraints: 31398
1925.78/1931.38 c #Conflicts: 1244000 | #Constraints: 32398
1925.78/1931.38 c #Conflicts: 1245000 | #Constraints: 33398
1925.78/1931.38 c #Conflicts: 1246000 | #Constraints: 34398
1925.78/1931.38 c #Conflicts: 1247000 | #Constraints: 35398
1925.78/1931.38 c #Conflicts: 1248000 | #Constraints: 36398
1925.78/1931.38 c #Conflicts: 1249000 | #Constraints: 37398
1925.78/1931.38 c #Conflicts: 1250000 | #Constraints: 38398
1925.78/1931.38 c #Conflicts: 1251000 | #Constraints: 39398
1925.78/1931.38 c #Conflicts: 1252000 | #Constraints: 40398
1925.78/1931.38 c #Conflicts: 1253000 | #Constraints: 41398
1925.78/1931.38 c #Conflicts: 1254000 | #Constraints: 42398
1925.78/1931.38 c #Conflicts: 1255000 | #Constraints: 43398
1925.78/1931.38 c #Conflicts: 1256000 | #Constraints: 44398
1925.78/1931.38 c INPROCESSING
1925.78/1931.38 c GARBAGE COLLECT
1925.78/1931.38 c #Conflicts: 1257000 | #Constraints: 23194
1925.78/1931.38 c #Conflicts: 1258000 | #Constraints: 24194
1925.78/1931.38 c #Conflicts: 1259000 | #Constraints: 25194
1925.78/1931.38 c #Conflicts: 1260000 | #Constraints: 26194
1925.78/1931.38 c #Conflicts: 1261000 | #Constraints: 27194
1925.78/1931.38 c #Conflicts: 1262000 | #Constraints: 28194
1925.78/1931.38 c #Conflicts: 1263000 | #Constraints: 29194
1925.78/1931.38 c #Conflicts: 1264000 | #Constraints: 30194
1925.78/1931.38 c #Conflicts: 1265000 | #Constraints: 31194
1925.78/1931.38 c #Conflicts: 1266000 | #Constraints: 32194
1925.78/1931.38 c #Conflicts: 1267000 | #Constraints: 33194
1925.78/1931.38 c #Conflicts: 1268000 | #Constraints: 34194
1925.78/1931.38 c #Conflicts: 1269000 | #Constraints: 35194
1925.78/1931.38 c #Conflicts: 1270000 | #Constraints: 36194
1925.78/1931.38 c #Conflicts: 1271000 | #Constraints: 37194
1925.78/1931.38 c #Conflicts: 1272000 | #Constraints: 38194
1925.78/1931.38 c #Conflicts: 1273000 | #Constraints: 39194
1925.78/1931.38 c #Conflicts: 1274000 | #Constraints: 40194
1925.78/1931.38 c #Conflicts: 1275000 | #Constraints: 41194
1925.78/1931.38 c #Conflicts: 1276000 | #Constraints: 42194
1925.78/1931.38 c #Conflicts: 1277000 | #Constraints: 43194
1925.78/1931.38 c #Conflicts: 1278000 | #Constraints: 44194
1925.78/1931.38 c #Conflicts: 1279000 | #Constraints: 45194
1925.78/1931.38 c INPROCESSING
1925.78/1931.38 c GARBAGE COLLECT
1925.78/1931.38 c #Conflicts: 1280000 | #Constraints: 23795
1925.78/1931.38 c #Conflicts: 1281000 | #Constraints: 24795
1925.78/1931.38 c #Conflicts: 1282000 | #Constraints: 25795
1925.78/1931.38 c #Conflicts: 1283000 | #Constraints: 26795
1925.78/1931.38 c #Conflicts: 1284000 | #Constraints: 27795
1925.78/1931.38 c #Conflicts: 1285000 | #Constraints: 28795
1925.78/1931.38 c #Conflicts: 1286000 | #Constraints: 29795
1925.78/1931.38 c #Conflicts: 1287000 | #Constraints: 30795
1925.78/1931.38 c #Conflicts: 1288000 | #Constraints: 31795
1925.78/1931.38 c #Conflicts: 1289000 | #Constraints: 32795
1925.78/1931.38 c #Conflicts: 1290000 | #Constraints: 33795
1925.78/1931.38 c #Conflicts: 1291000 | #Constraints: 34795
1925.78/1931.38 c #Conflicts: 1292000 | #Constraints: 35795
1925.78/1931.38 c #Conflicts: 1293000 | #Constraints: 36795
1925.78/1931.38 c #Conflicts: 1294000 | #Constraints: 37795
1925.78/1931.38 c #Conflicts: 1295000 | #Constraints: 38795
1925.78/1931.38 c #Conflicts: 1296000 | #Constraints: 39795
1925.78/1931.38 c #Conflicts: 1297000 | #Constraints: 40795
1925.78/1931.38 c #Conflicts: 1298000 | #Constraints: 41795
1925.78/1931.38 c #Conflicts: 1299000 | #Constraints: 42795
1925.78/1931.38 c #Conflicts: 1300000 | #Constraints: 43795
1925.78/1931.38 c #Conflicts: 1301000 | #Constraints: 44795
1925.78/1931.38 c #Conflicts: 1302000 | #Constraints: 45795
1925.78/1931.38 c INPROCESSING
1925.78/1931.38 c GARBAGE COLLECT
1925.78/1931.38 c #Conflicts: 1303000 | #Constraints: 24196
1925.78/1931.38 c #Conflicts: 1304000 | #Constraints: 25196
1925.78/1931.38 c #Conflicts: 1305000 | #Constraints: 26196
1925.78/1931.38 c #Conflicts: 1306000 | #Constraints: 27196
1925.78/1931.38 c #Conflicts: 1307000 | #Constraints: 28196
1925.78/1931.38 c #Conflicts: 1308000 | #Constraints: 29196
1925.78/1931.38 c #Conflicts: 1309000 | #Constraints: 30196
1925.78/1931.38 c #Conflicts: 1310000 | #Constraints: 31196
1925.78/1931.38 c #Conflicts: 1311000 | #Constraints: 32196
1925.78/1931.38 c #Conflicts: 1312000 | #Constraints: 33196
1925.78/1931.38 c #Conflicts: 1313000 | #Constraints: 34196
1925.78/1931.38 c #Conflicts: 1314000 | #Constraints: 35196
1925.78/1931.38 c #Conflicts: 1315000 | #Constraints: 36196
1925.78/1931.38 c #Conflicts: 1316000 | #Constraints: 37196
1925.78/1931.38 c #Conflicts: 1317000 | #Constraints: 38196
1925.78/1931.38 c #Conflicts: 1318000 | #Constraints: 39196
2099.26/2105.36 c #Conflicts: 1319000 | #Constraints: 40196
2099.26/2105.36 c #Conflicts: 1320000 | #Constraints: 41196
2099.26/2105.36 c #Conflicts: 1321000 | #Constraints: 42196
2099.26/2105.36 c #Conflicts: 1322000 | #Constraints: 43196
2099.26/2105.36 c #Conflicts: 1323000 | #Constraints: 44196
2099.26/2105.36 c #Conflicts: 1324000 | #Constraints: 45196
2099.26/2105.36 c #Conflicts: 1325000 | #Constraints: 46196
2099.26/2105.36 c INPROCESSING
2099.26/2105.36 c GARBAGE COLLECT
2099.26/2105.36 c #Conflicts: 1326000 | #Constraints: 24393
2099.26/2105.36 c #Conflicts: 1327000 | #Constraints: 25393
2099.26/2105.36 c #Conflicts: 1328000 | #Constraints: 26393
2099.26/2105.36 c #Conflicts: 1329000 | #Constraints: 27393
2099.26/2105.36 c #Conflicts: 1330000 | #Constraints: 28393
2099.26/2105.36 c #Conflicts: 1331000 | #Constraints: 29393
2099.26/2105.36 c #Conflicts: 1332000 | #Constraints: 30393
2099.26/2105.36 c #Conflicts: 1333000 | #Constraints: 31393
2099.26/2105.36 c #Conflicts: 1334000 | #Constraints: 32393
2099.26/2105.36 c #Conflicts: 1335000 | #Constraints: 33393
2099.26/2105.36 c #Conflicts: 1336000 | #Constraints: 34393
2099.26/2105.36 c #Conflicts: 1337000 | #Constraints: 35393
2099.26/2105.36 c #Conflicts: 1338000 | #Constraints: 36393
2099.26/2105.36 c #Conflicts: 1339000 | #Constraints: 37393
2099.26/2105.36 c #Conflicts: 1340000 | #Constraints: 38393
2099.26/2105.36 c #Conflicts: 1341000 | #Constraints: 39393
2099.26/2105.36 c #Conflicts: 1342000 | #Constraints: 40393
2099.26/2105.36 c #Conflicts: 1343000 | #Constraints: 41393
2099.26/2105.36 c #Conflicts: 1344000 | #Constraints: 42393
2099.26/2105.36 c #Conflicts: 1345000 | #Constraints: 43393
2099.26/2105.36 c #Conflicts: 1346000 | #Constraints: 44393
2099.26/2105.36 c #Conflicts: 1347000 | #Constraints: 45393
2099.26/2105.36 c #Conflicts: 1348000 | #Constraints: 46393
2099.26/2105.36 c INPROCESSING
2099.26/2105.36 c GARBAGE COLLECT
2099.26/2105.36 c #Conflicts: 1349000 | #Constraints: 24396
2099.26/2105.36 c #Conflicts: 1350000 | #Constraints: 25396
2099.26/2105.36 c #Conflicts: 1351000 | #Constraints: 26396
2099.26/2105.36 c #Conflicts: 1352000 | #Constraints: 27396
2099.26/2105.36 c #Conflicts: 1353000 | #Constraints: 28396
2099.26/2105.36 c #Conflicts: 1354000 | #Constraints: 29396
2099.26/2105.36 c #Conflicts: 1355000 | #Constraints: 30396
2099.26/2105.36 c #Conflicts: 1356000 | #Constraints: 31396
2099.26/2105.36 c #Conflicts: 1357000 | #Constraints: 32396
2099.26/2105.36 c #Conflicts: 1358000 | #Constraints: 33396
2099.26/2105.36 c #Conflicts: 1359000 | #Constraints: 34396
2099.26/2105.36 c #Conflicts: 1360000 | #Constraints: 35396
2099.26/2105.36 c #Conflicts: 1361000 | #Constraints: 36396
2099.26/2105.36 c #Conflicts: 1362000 | #Constraints: 37396
2099.26/2105.36 c #Conflicts: 1363000 | #Constraints: 38396
2099.26/2105.36 c #Conflicts: 1364000 | #Constraints: 39396
2099.26/2105.36 c #Conflicts: 1365000 | #Constraints: 40396
2099.26/2105.36 c #Conflicts: 1366000 | #Constraints: 41396
2099.26/2105.36 c #Conflicts: 1367000 | #Constraints: 42396
2099.26/2105.36 c #Conflicts: 1368000 | #Constraints: 43396
2099.26/2105.36 c #Conflicts: 1369000 | #Constraints: 44396
2099.26/2105.36 c #Conflicts: 1370000 | #Constraints: 45396
2099.26/2105.36 c #Conflicts: 1371000 | #Constraints: 46396
2099.26/2105.36 c INPROCESSING
2099.26/2105.36 c GARBAGE COLLECT
2099.26/2105.36 c #Conflicts: 1372000 | #Constraints: 24190
2099.26/2105.36 c #Conflicts: 1373000 | #Constraints: 25190
2099.26/2105.36 c #Conflicts: 1374000 | #Constraints: 26190
2099.26/2105.36 c #Conflicts: 1375000 | #Constraints: 27190
2099.26/2105.36 c #Conflicts: 1376000 | #Constraints: 28190
2099.26/2105.36 c #Conflicts: 1377000 | #Constraints: 29190
2099.26/2105.36 c #Conflicts: 1378000 | #Constraints: 30190
2099.26/2105.36 c #Conflicts: 1379000 | #Constraints: 31190
2099.26/2105.36 c #Conflicts: 1380000 | #Constraints: 32190
2099.26/2105.36 c #Conflicts: 1381000 | #Constraints: 33190
2099.26/2105.36 c #Conflicts: 1382000 | #Constraints: 34190
2099.26/2105.36 c #Conflicts: 1383000 | #Constraints: 35190
2099.26/2105.36 c #Conflicts: 1384000 | #Constraints: 36190
2099.26/2105.36 c #Conflicts: 1385000 | #Constraints: 37190
2099.26/2105.36 c #Conflicts: 1386000 | #Constraints: 38190
2099.26/2105.36 c #Conflicts: 1387000 | #Constraints: 39190
2099.26/2105.36 c #Conflicts: 1388000 | #Constraints: 40190
2099.26/2105.36 c #Conflicts: 1389000 | #Constraints: 41190
2099.26/2105.36 c #Conflicts: 1390000 | #Constraints: 42190
2099.26/2105.36 c #Conflicts: 1391000 | #Constraints: 43190
2099.26/2105.36 c #Conflicts: 1392000 | #Constraints: 44190
2099.26/2105.36 c #Conflicts: 1393000 | #Constraints: 45190
2099.26/2105.36 c #Conflicts: 1394000 | #Constraints: 46190
2099.26/2105.36 c #Conflicts: 1395000 | #Constraints: 47190
2282.47/2289.09 c INPROCESSING
2282.47/2289.09 c GARBAGE COLLECT
2282.47/2289.09 c #Conflicts: 1396000 | #Constraints: 24797
2282.47/2289.09 c #Conflicts: 1397000 | #Constraints: 25797
2282.47/2289.09 c #Conflicts: 1398000 | #Constraints: 26797
2282.47/2289.09 c #Conflicts: 1399000 | #Constraints: 27797
2282.47/2289.09 c #Conflicts: 1400000 | #Constraints: 28797
2282.47/2289.09 c #Conflicts: 1401000 | #Constraints: 29797
2282.47/2289.09 c #Conflicts: 1402000 | #Constraints: 30797
2282.47/2289.09 c #Conflicts: 1403000 | #Constraints: 31797
2282.47/2289.09 c #Conflicts: 1404000 | #Constraints: 32797
2282.47/2289.09 c #Conflicts: 1405000 | #Constraints: 33797
2282.47/2289.09 c #Conflicts: 1406000 | #Constraints: 34797
2282.47/2289.09 c #Conflicts: 1407000 | #Constraints: 35797
2282.47/2289.09 c #Conflicts: 1408000 | #Constraints: 36797
2282.47/2289.09 c #Conflicts: 1409000 | #Constraints: 37797
2282.47/2289.09 c #Conflicts: 1410000 | #Constraints: 38797
2282.47/2289.09 c #Conflicts: 1411000 | #Constraints: 39797
2282.47/2289.09 c #Conflicts: 1412000 | #Constraints: 40797
2282.47/2289.09 c #Conflicts: 1413000 | #Constraints: 41797
2282.47/2289.09 c #Conflicts: 1414000 | #Constraints: 42797
2282.47/2289.09 c #Conflicts: 1415000 | #Constraints: 43797
2282.47/2289.09 c #Conflicts: 1416000 | #Constraints: 44797
2282.47/2289.09 c #Conflicts: 1417000 | #Constraints: 45797
2282.47/2289.09 c #Conflicts: 1418000 | #Constraints: 46797
2282.47/2289.09 c #Conflicts: 1419000 | #Constraints: 47797
2282.47/2289.09 c INPROCESSING
2282.47/2289.09 c GARBAGE COLLECT
2282.47/2289.09 c #Conflicts: 1420000 | #Constraints: 25202
2282.47/2289.09 c #Conflicts: 1421000 | #Constraints: 26202
2282.47/2289.09 c #Conflicts: 1422000 | #Constraints: 27202
2282.47/2289.09 c #Conflicts: 1423000 | #Constraints: 28202
2282.47/2289.09 c #Conflicts: 1424000 | #Constraints: 29202
2282.47/2289.09 c #Conflicts: 1425000 | #Constraints: 30202
2282.47/2289.09 c #Conflicts: 1426000 | #Constraints: 31202
2282.47/2289.09 c #Conflicts: 1427000 | #Constraints: 32202
2282.47/2289.09 c #Conflicts: 1428000 | #Constraints: 33202
2282.47/2289.09 c #Conflicts: 1429000 | #Constraints: 34202
2282.47/2289.09 c #Conflicts: 1430000 | #Constraints: 35202
2282.47/2289.09 c #Conflicts: 1431000 | #Constraints: 36202
2282.47/2289.09 c #Conflicts: 1432000 | #Constraints: 37202
2282.47/2289.09 c #Conflicts: 1433000 | #Constraints: 38202
2282.47/2289.09 c #Conflicts: 1434000 | #Constraints: 39202
2282.47/2289.09 c #Conflicts: 1435000 | #Constraints: 40202
2282.47/2289.09 c #Conflicts: 1436000 | #Constraints: 41202
2282.47/2289.09 c #Conflicts: 1437000 | #Constraints: 42202
2282.47/2289.09 c #Conflicts: 1438000 | #Constraints: 43202
2282.47/2289.09 c #Conflicts: 1439000 | #Constraints: 44202
2282.47/2289.09 c #Conflicts: 1440000 | #Constraints: 45202
2282.47/2289.09 c #Conflicts: 1441000 | #Constraints: 46202
2282.47/2289.09 c #Conflicts: 1442000 | #Constraints: 47202
2282.47/2289.09 c #Conflicts: 1443000 | #Constraints: 48202
2282.47/2289.09 c INPROCESSING
2282.47/2289.09 c GARBAGE COLLECT
2282.47/2289.09 c #Conflicts: 1444000 | #Constraints: 25389
2282.47/2289.09 c #Conflicts: 1445000 | #Constraints: 26389
2282.47/2289.09 c #Conflicts: 1446000 | #Constraints: 27389
2282.47/2289.09 c #Conflicts: 1447000 | #Constraints: 28389
2282.47/2289.09 c #Conflicts: 1448000 | #Constraints: 29389
2282.47/2289.09 c #Conflicts: 1449000 | #Constraints: 30389
2282.47/2289.09 c #Conflicts: 1450000 | #Constraints: 31389
2282.47/2289.09 c #Conflicts: 1451000 | #Constraints: 32389
2282.47/2289.09 c #Conflicts: 1452000 | #Constraints: 33389
2282.47/2289.09 c #Conflicts: 1453000 | #Constraints: 34389
2282.47/2289.09 c #Conflicts: 1454000 | #Constraints: 35389
2282.47/2289.09 c #Conflicts: 1455000 | #Constraints: 36389
2282.47/2289.09 c #Conflicts: 1456000 | #Constraints: 37389
2282.47/2289.09 c #Conflicts: 1457000 | #Constraints: 38389
2282.47/2289.09 c #Conflicts: 1458000 | #Constraints: 39389
2282.47/2289.09 c #Conflicts: 1459000 | #Constraints: 40389
2282.47/2289.09 c #Conflicts: 1460000 | #Constraints: 41389
2282.47/2289.09 c #Conflicts: 1461000 | #Constraints: 42389
2282.47/2289.09 c #Conflicts: 1462000 | #Constraints: 43389
2282.47/2289.09 c #Conflicts: 1463000 | #Constraints: 44389
2282.47/2289.09 c #Conflicts: 1464000 | #Constraints: 45389
2282.47/2289.09 c #Conflicts: 1465000 | #Constraints: 46389
2282.47/2289.09 c #Conflicts: 1466000 | #Constraints: 47389
2282.47/2289.09 c #Conflicts: 1467000 | #Constraints: 48389
2282.47/2289.09 c INPROCESSING
2282.47/2289.09 c GARBAGE COLLECT
2282.47/2289.09 c #Conflicts: 1468000 | #Constraints: 25394
2282.47/2289.09 c #Conflicts: 1469000 | #Constraints: 26394
2282.47/2289.09 c #Conflicts: 1470000 | #Constraints: 27394
2282.47/2289.09 c #Conflicts: 1471000 | #Constraints: 28394
2473.05/2480.15 c #Conflicts: 1472000 | #Constraints: 29394
2473.05/2480.15 c #Conflicts: 1473000 | #Constraints: 30394
2473.05/2480.15 c #Conflicts: 1474000 | #Constraints: 31394
2473.05/2480.15 c #Conflicts: 1475000 | #Constraints: 32394
2473.05/2480.15 c #Conflicts: 1476000 | #Constraints: 33394
2473.05/2480.15 c #Conflicts: 1477000 | #Constraints: 34394
2473.05/2480.15 c #Conflicts: 1478000 | #Constraints: 35394
2473.05/2480.15 c #Conflicts: 1479000 | #Constraints: 36394
2473.05/2480.15 c #Conflicts: 1480000 | #Constraints: 37394
2473.05/2480.15 c #Conflicts: 1481000 | #Constraints: 38394
2473.05/2480.15 c #Conflicts: 1482000 | #Constraints: 39394
2473.05/2480.15 c #Conflicts: 1483000 | #Constraints: 40394
2473.05/2480.15 c #Conflicts: 1484000 | #Constraints: 41394
2473.05/2480.15 c #Conflicts: 1485000 | #Constraints: 42394
2473.05/2480.15 c #Conflicts: 1486000 | #Constraints: 43394
2473.05/2480.15 c #Conflicts: 1487000 | #Constraints: 44394
2473.05/2480.15 c #Conflicts: 1488000 | #Constraints: 45394
2473.05/2480.15 c #Conflicts: 1489000 | #Constraints: 46394
2473.05/2480.15 c #Conflicts: 1490000 | #Constraints: 47394
2473.05/2480.15 c #Conflicts: 1491000 | #Constraints: 48394
2473.05/2480.15 c INPROCESSING
2473.05/2480.15 c GARBAGE COLLECT
2473.05/2480.15 c #Conflicts: 1492000 | #Constraints: 25202
2473.05/2480.15 c #Conflicts: 1493000 | #Constraints: 26202
2473.05/2480.15 c #Conflicts: 1494000 | #Constraints: 27202
2473.05/2480.15 c #Conflicts: 1495000 | #Constraints: 28202
2473.05/2480.15 c #Conflicts: 1496000 | #Constraints: 29202
2473.05/2480.15 c #Conflicts: 1497000 | #Constraints: 30202
2473.05/2480.15 c #Conflicts: 1498000 | #Constraints: 31202
2473.05/2480.15 c #Conflicts: 1499000 | #Constraints: 32202
2473.05/2480.15 c #Conflicts: 1500000 | #Constraints: 33202
2473.05/2480.15 c #Conflicts: 1501000 | #Constraints: 34202
2473.05/2480.15 c #Conflicts: 1502000 | #Constraints: 35202
2473.05/2480.15 c #Conflicts: 1503000 | #Constraints: 36202
2473.05/2480.15 c #Conflicts: 1504000 | #Constraints: 37202
2473.05/2480.15 c #Conflicts: 1505000 | #Constraints: 38202
2473.05/2480.15 c #Conflicts: 1506000 | #Constraints: 39202
2473.05/2480.15 c #Conflicts: 1507000 | #Constraints: 40202
2473.05/2480.15 c #Conflicts: 1508000 | #Constraints: 41202
2473.05/2480.15 c #Conflicts: 1509000 | #Constraints: 42202
2473.05/2480.15 c #Conflicts: 1510000 | #Constraints: 43202
2473.05/2480.15 c #Conflicts: 1511000 | #Constraints: 44202
2473.05/2480.15 c #Conflicts: 1512000 | #Constraints: 45202
2473.05/2480.15 c #Conflicts: 1513000 | #Constraints: 46202
2473.05/2480.15 c #Conflicts: 1514000 | #Constraints: 47202
2473.05/2480.15 c #Conflicts: 1515000 | #Constraints: 48202
2473.05/2480.15 c #Conflicts: 1516000 | #Constraints: 49202
2473.05/2480.15 c INPROCESSING
2473.05/2480.15 c GARBAGE COLLECT
2473.05/2480.15 c #Conflicts: 1517000 | #Constraints: 25800
2473.05/2480.15 c #Conflicts: 1518000 | #Constraints: 26800
2473.05/2480.15 c #Conflicts: 1519000 | #Constraints: 27800
2473.05/2480.15 c #Conflicts: 1520000 | #Constraints: 28800
2473.05/2480.15 c #Conflicts: 1521000 | #Constraints: 29800
2473.05/2480.15 c #Conflicts: 1522000 | #Constraints: 30800
2473.05/2480.15 c #Conflicts: 1523000 | #Constraints: 31800
2473.05/2480.15 c #Conflicts: 1524000 | #Constraints: 32800
2473.05/2480.15 c #Conflicts: 1525000 | #Constraints: 33800
2473.05/2480.15 c #Conflicts: 1526000 | #Constraints: 34800
2473.05/2480.15 c #Conflicts: 1527000 | #Constraints: 35800
2473.05/2480.15 c #Conflicts: 1528000 | #Constraints: 36800
2473.05/2480.15 c #Conflicts: 1529000 | #Constraints: 37800
2473.05/2480.15 c #Conflicts: 1530000 | #Constraints: 38800
2473.05/2480.15 c #Conflicts: 1531000 | #Constraints: 39800
2473.05/2480.15 c #Conflicts: 1532000 | #Constraints: 40800
2473.05/2480.15 c #Conflicts: 1533000 | #Constraints: 41800
2473.05/2480.15 c #Conflicts: 1534000 | #Constraints: 42800
2473.05/2480.15 c #Conflicts: 1535000 | #Constraints: 43800
2473.05/2480.15 c #Conflicts: 1536000 | #Constraints: 44800
2473.05/2480.15 c #Conflicts: 1537000 | #Constraints: 45800
2473.05/2480.15 c #Conflicts: 1538000 | #Constraints: 46800
2473.05/2480.15 c #Conflicts: 1539000 | #Constraints: 47800
2473.05/2480.15 c #Conflicts: 1540000 | #Constraints: 48800
2473.05/2480.15 c #Conflicts: 1541000 | #Constraints: 49800
2473.05/2480.15 c INPROCESSING
2473.05/2480.15 c GARBAGE COLLECT
2473.05/2480.15 c #Conflicts: 1542000 | #Constraints: 26203
2473.05/2480.15 c #Conflicts: 1543000 | #Constraints: 27203
2473.05/2480.15 c #Conflicts: 1544000 | #Constraints: 28203
2473.05/2480.15 c #Conflicts: 1545000 | #Constraints: 29203
2473.05/2480.15 c #Conflicts: 1546000 | #Constraints: 30203
2473.05/2480.15 c #Conflicts: 1547000 | #Constraints: 31203
2473.05/2480.15 c #Conflicts: 1548000 | #Constraints: 32203
2651.16/2658.79 c #Conflicts: 1549000 | #Constraints: 33203
2651.16/2658.79 c #Conflicts: 1550000 | #Constraints: 34203
2651.16/2658.79 c #Conflicts: 1551000 | #Constraints: 35203
2651.16/2658.79 c #Conflicts: 1552000 | #Constraints: 36203
2651.16/2658.79 c #Conflicts: 1553000 | #Constraints: 37203
2651.16/2658.79 c #Conflicts: 1554000 | #Constraints: 38203
2651.16/2658.79 c #Conflicts: 1555000 | #Constraints: 39203
2651.16/2658.79 c #Conflicts: 1556000 | #Constraints: 40203
2651.16/2658.79 c #Conflicts: 1557000 | #Constraints: 41203
2651.16/2658.79 c #Conflicts: 1558000 | #Constraints: 42203
2651.16/2658.79 c #Conflicts: 1559000 | #Constraints: 43203
2651.16/2658.79 c #Conflicts: 1560000 | #Constraints: 44203
2651.16/2658.79 c #Conflicts: 1561000 | #Constraints: 45203
2651.16/2658.79 c #Conflicts: 1562000 | #Constraints: 46203
2651.16/2658.79 c #Conflicts: 1563000 | #Constraints: 47203
2651.16/2658.79 c #Conflicts: 1564000 | #Constraints: 48203
2651.16/2658.79 c #Conflicts: 1565000 | #Constraints: 49203
2651.16/2658.79 c #Conflicts: 1566000 | #Constraints: 50203
2651.16/2658.79 c INPROCESSING
2651.16/2658.79 c GARBAGE COLLECT
2651.16/2658.79 c #Conflicts: 1567000 | #Constraints: 26397
2651.16/2658.79 c #Conflicts: 1568000 | #Constraints: 27397
2651.16/2658.79 c #Conflicts: 1569000 | #Constraints: 28397
2651.16/2658.79 c #Conflicts: 1570000 | #Constraints: 29397
2651.16/2658.79 c #Conflicts: 1571000 | #Constraints: 30397
2651.16/2658.79 c #Conflicts: 1572000 | #Constraints: 31397
2651.16/2658.79 c #Conflicts: 1573000 | #Constraints: 32397
2651.16/2658.79 c #Conflicts: 1574000 | #Constraints: 33397
2651.16/2658.79 c #Conflicts: 1575000 | #Constraints: 34397
2651.16/2658.79 c #Conflicts: 1576000 | #Constraints: 35397
2651.16/2658.79 c #Conflicts: 1577000 | #Constraints: 36397
2651.16/2658.79 c #Conflicts: 1578000 | #Constraints: 37397
2651.16/2658.79 c #Conflicts: 1579000 | #Constraints: 38397
2651.16/2658.79 c #Conflicts: 1580000 | #Constraints: 39397
2651.16/2658.79 c #Conflicts: 1581000 | #Constraints: 40397
2651.16/2658.79 c #Conflicts: 1582000 | #Constraints: 41397
2651.16/2658.79 c #Conflicts: 1583000 | #Constraints: 42397
2651.16/2658.79 c #Conflicts: 1584000 | #Constraints: 43397
2651.16/2658.79 c #Conflicts: 1585000 | #Constraints: 44397
2651.16/2658.79 c #Conflicts: 1586000 | #Constraints: 45397
2651.16/2658.79 c #Conflicts: 1587000 | #Constraints: 46397
2651.16/2658.79 c #Conflicts: 1588000 | #Constraints: 47397
2651.16/2658.79 c #Conflicts: 1589000 | #Constraints: 48397
2651.16/2658.79 c #Conflicts: 1590000 | #Constraints: 49397
2651.16/2658.79 c #Conflicts: 1591000 | #Constraints: 50397
2651.16/2658.79 c INPROCESSING
2651.16/2658.79 c GARBAGE COLLECT
2651.16/2658.79 c #Conflicts: 1592000 | #Constraints: 26405
2651.16/2658.79 c #Conflicts: 1593000 | #Constraints: 27405
2651.16/2658.79 c #Conflicts: 1594000 | #Constraints: 28405
2651.16/2658.79 c #Conflicts: 1595000 | #Constraints: 29405
2651.16/2658.79 c #Conflicts: 1596000 | #Constraints: 30405
2651.16/2658.79 c #Conflicts: 1597000 | #Constraints: 31405
2651.16/2658.79 c #Conflicts: 1598000 | #Constraints: 32405
2651.16/2658.79 c #Conflicts: 1599000 | #Constraints: 33405
2651.16/2658.79 c #Conflicts: 1600000 | #Constraints: 34405
2651.16/2658.79 c #Conflicts: 1601000 | #Constraints: 35405
2651.16/2658.79 c #Conflicts: 1602000 | #Constraints: 36405
2651.16/2658.79 c #Conflicts: 1603000 | #Constraints: 37405
2651.16/2658.79 c #Conflicts: 1604000 | #Constraints: 38405
2651.16/2658.79 c #Conflicts: 1605000 | #Constraints: 39405
2651.16/2658.79 c #Conflicts: 1606000 | #Constraints: 40405
2651.16/2658.79 c #Conflicts: 1607000 | #Constraints: 41405
2651.16/2658.79 c #Conflicts: 1608000 | #Constraints: 42405
2651.16/2658.79 c #Conflicts: 1609000 | #Constraints: 43405
2651.16/2658.79 c #Conflicts: 1610000 | #Constraints: 44405
2651.16/2658.79 c #Conflicts: 1611000 | #Constraints: 45405
2651.16/2658.79 c #Conflicts: 1612000 | #Constraints: 46405
2651.16/2658.79 c #Conflicts: 1613000 | #Constraints: 47405
2651.16/2658.79 c #Conflicts: 1614000 | #Constraints: 48405
2651.16/2658.79 c #Conflicts: 1615000 | #Constraints: 49405
2651.16/2658.79 c #Conflicts: 1616000 | #Constraints: 50405
2651.16/2658.79 c INPROCESSING
2651.16/2658.79 c GARBAGE COLLECT
2651.16/2658.79 c #Conflicts: 1617000 | #Constraints: 26204
2651.16/2658.79 c #Conflicts: 1618000 | #Constraints: 27204
2651.16/2658.79 c #Conflicts: 1619000 | #Constraints: 28204
2651.16/2658.79 c #Conflicts: 1620000 | #Constraints: 29204
2651.16/2658.79 c #Conflicts: 1621000 | #Constraints: 30204
2651.16/2658.79 c #Conflicts: 1622000 | #Constraints: 31204
2651.16/2658.79 c #Conflicts: 1623000 | #Constraints: 32204
2651.16/2658.79 c #Conflicts: 1624000 | #Constraints: 33204
2889.29/2897.55 c #Conflicts: 1625000 | #Constraints: 34204
2889.29/2897.55 c #Conflicts: 1626000 | #Constraints: 35204
2889.29/2897.55 c #Conflicts: 1627000 | #Constraints: 36204
2889.29/2897.55 c #Conflicts: 1628000 | #Constraints: 37204
2889.29/2897.55 c #Conflicts: 1629000 | #Constraints: 38204
2889.29/2897.55 c #Conflicts: 1630000 | #Constraints: 39204
2889.29/2897.55 c #Conflicts: 1631000 | #Constraints: 40204
2889.29/2897.55 c #Conflicts: 1632000 | #Constraints: 41204
2889.29/2897.55 c #Conflicts: 1633000 | #Constraints: 42204
2889.29/2897.55 c #Conflicts: 1634000 | #Constraints: 43204
2889.29/2897.55 c #Conflicts: 1635000 | #Constraints: 44204
2889.29/2897.55 c #Conflicts: 1636000 | #Constraints: 45204
2889.29/2897.55 c #Conflicts: 1637000 | #Constraints: 46204
2889.29/2897.55 c #Conflicts: 1638000 | #Constraints: 47204
2889.29/2897.55 c #Conflicts: 1639000 | #Constraints: 48204
2889.29/2897.55 c #Conflicts: 1640000 | #Constraints: 49204
2889.29/2897.55 c #Conflicts: 1641000 | #Constraints: 50204
2889.29/2897.55 c #Conflicts: 1642000 | #Constraints: 51204
2889.29/2897.55 c INPROCESSING
2889.29/2897.55 c GARBAGE COLLECT
2889.29/2897.55 c #Conflicts: 1643000 | #Constraints: 26802
2889.29/2897.55 c #Conflicts: 1644000 | #Constraints: 27802
2889.29/2897.55 c #Conflicts: 1645000 | #Constraints: 28802
2889.29/2897.55 c #Conflicts: 1646000 | #Constraints: 29802
2889.29/2897.55 c #Conflicts: 1647000 | #Constraints: 30802
2889.29/2897.55 c #Conflicts: 1648000 | #Constraints: 31802
2889.29/2897.55 c #Conflicts: 1649000 | #Constraints: 32802
2889.29/2897.55 c #Conflicts: 1650000 | #Constraints: 33802
2889.29/2897.55 c #Conflicts: 1651000 | #Constraints: 34802
2889.29/2897.55 c #Conflicts: 1652000 | #Constraints: 35802
2889.29/2897.55 c #Conflicts: 1653000 | #Constraints: 36802
2889.29/2897.55 c #Conflicts: 1654000 | #Constraints: 37802
2889.29/2897.55 c #Conflicts: 1655000 | #Constraints: 38802
2889.29/2897.55 c #Conflicts: 1656000 | #Constraints: 39802
2889.29/2897.55 c #Conflicts: 1657000 | #Constraints: 40802
2889.29/2897.55 c #Conflicts: 1658000 | #Constraints: 41802
2889.29/2897.55 c #Conflicts: 1659000 | #Constraints: 42802
2889.29/2897.55 c #Conflicts: 1660000 | #Constraints: 43802
2889.29/2897.55 c #Conflicts: 1661000 | #Constraints: 44802
2889.29/2897.55 c #Conflicts: 1662000 | #Constraints: 45802
2889.29/2897.55 c #Conflicts: 1663000 | #Constraints: 46802
2889.29/2897.55 c #Conflicts: 1664000 | #Constraints: 47802
2889.29/2897.55 c #Conflicts: 1665000 | #Constraints: 48802
2889.29/2897.55 c #Conflicts: 1666000 | #Constraints: 49802
2889.29/2897.55 c #Conflicts: 1667000 | #Constraints: 50802
2889.29/2897.55 c #Conflicts: 1668000 | #Constraints: 51802
2889.29/2897.55 c INPROCESSING
2889.29/2897.55 c GARBAGE COLLECT
2889.29/2897.55 c #Conflicts: 1669000 | #Constraints: 27202
2889.29/2897.55 c #Conflicts: 1670000 | #Constraints: 28202
2889.29/2897.55 c #Conflicts: 1671000 | #Constraints: 29202
2889.29/2897.55 c #Conflicts: 1672000 | #Constraints: 30202
2889.29/2897.55 c #Conflicts: 1673000 | #Constraints: 31202
2889.29/2897.55 c #Conflicts: 1674000 | #Constraints: 32202
2889.29/2897.55 c #Conflicts: 1675000 | #Constraints: 33202
2889.29/2897.55 c #Conflicts: 1676000 | #Constraints: 34202
2889.29/2897.55 c #Conflicts: 1677000 | #Constraints: 35202
2889.29/2897.55 c #Conflicts: 1678000 | #Constraints: 36202
2889.29/2897.55 c #Conflicts: 1679000 | #Constraints: 37202
2889.29/2897.55 c #Conflicts: 1680000 | #Constraints: 38202
2889.29/2897.55 c #Conflicts: 1681000 | #Constraints: 39202
2889.29/2897.55 c #Conflicts: 1682000 | #Constraints: 40202
2889.29/2897.55 c #Conflicts: 1683000 | #Constraints: 41202
2889.29/2897.55 c #Conflicts: 1684000 | #Constraints: 42202
2889.29/2897.55 c #Conflicts: 1685000 | #Constraints: 43202
2889.29/2897.55 c #Conflicts: 1686000 | #Constraints: 44202
2889.29/2897.55 c #Conflicts: 1687000 | #Constraints: 45202
2889.29/2897.55 c #Conflicts: 1688000 | #Constraints: 46202
2889.29/2897.55 c #Conflicts: 1689000 | #Constraints: 47202
2889.29/2897.55 c #Conflicts: 1690000 | #Constraints: 48202
2889.29/2897.55 c #Conflicts: 1691000 | #Constraints: 49202
2889.29/2897.55 c #Conflicts: 1692000 | #Constraints: 50202
2889.29/2897.55 c #Conflicts: 1693000 | #Constraints: 51202
2889.29/2897.55 c #Conflicts: 1694000 | #Constraints: 52202
2889.29/2897.55 c INPROCESSING
2889.29/2897.55 c GARBAGE COLLECT
2889.29/2897.55 c #Conflicts: 1695000 | #Constraints: 27404
2889.29/2897.55 c #Conflicts: 1696000 | #Constraints: 28404
2889.29/2897.55 c #Conflicts: 1697000 | #Constraints: 29404
2889.29/2897.55 c #Conflicts: 1698000 | #Constraints: 30404
2889.29/2897.55 c #Conflicts: 1699000 | #Constraints: 31404
2889.29/2897.55 c #Conflicts: 1700000 | #Constraints: 32404
2889.29/2897.55 c #Conflicts: 1701000 | #Constraints: 33404
3114.44/3123.33 c #Conflicts: 1702000 | #Constraints: 34404
3114.44/3123.33 c #Conflicts: 1703000 | #Constraints: 35404
3114.44/3123.33 c #Conflicts: 1704000 | #Constraints: 36404
3114.44/3123.33 c #Conflicts: 1705000 | #Constraints: 37404
3114.44/3123.33 c #Conflicts: 1706000 | #Constraints: 38404
3114.44/3123.33 c #Conflicts: 1707000 | #Constraints: 39404
3114.44/3123.33 c #Conflicts: 1708000 | #Constraints: 40404
3114.44/3123.33 c #Conflicts: 1709000 | #Constraints: 41404
3114.44/3123.33 c #Conflicts: 1710000 | #Constraints: 42404
3114.44/3123.33 c #Conflicts: 1711000 | #Constraints: 43404
3114.44/3123.33 c #Conflicts: 1712000 | #Constraints: 44404
3114.44/3123.33 c #Conflicts: 1713000 | #Constraints: 45404
3114.44/3123.33 c #Conflicts: 1714000 | #Constraints: 46404
3114.44/3123.33 c #Conflicts: 1715000 | #Constraints: 47404
3114.44/3123.33 c #Conflicts: 1716000 | #Constraints: 48404
3114.44/3123.33 c #Conflicts: 1717000 | #Constraints: 49404
3114.44/3123.33 c #Conflicts: 1718000 | #Constraints: 50404
3114.44/3123.33 c #Conflicts: 1719000 | #Constraints: 51404
3114.44/3123.33 c #Conflicts: 1720000 | #Constraints: 52404
3114.44/3123.33 c INPROCESSING
3114.44/3123.33 c GARBAGE COLLECT
3114.44/3123.33 c #Conflicts: 1721000 | #Constraints: 27403
3114.44/3123.33 c #Conflicts: 1722000 | #Constraints: 28403
3114.44/3123.33 c #Conflicts: 1723000 | #Constraints: 29403
3114.44/3123.33 c #Conflicts: 1724000 | #Constraints: 30403
3114.44/3123.33 c #Conflicts: 1725000 | #Constraints: 31403
3114.44/3123.33 c #Conflicts: 1726000 | #Constraints: 32403
3114.44/3123.33 c #Conflicts: 1727000 | #Constraints: 33403
3114.44/3123.33 c #Conflicts: 1728000 | #Constraints: 34403
3114.44/3123.33 c #Conflicts: 1729000 | #Constraints: 35403
3114.44/3123.33 c #Conflicts: 1730000 | #Constraints: 36403
3114.44/3123.33 c #Conflicts: 1731000 | #Constraints: 37403
3114.44/3123.33 c #Conflicts: 1732000 | #Constraints: 38403
3114.44/3123.33 c #Conflicts: 1733000 | #Constraints: 39403
3114.44/3123.33 c #Conflicts: 1734000 | #Constraints: 40403
3114.44/3123.33 c #Conflicts: 1735000 | #Constraints: 41403
3114.44/3123.33 c #Conflicts: 1736000 | #Constraints: 42403
3114.44/3123.33 c #Conflicts: 1737000 | #Constraints: 43403
3114.44/3123.33 c #Conflicts: 1738000 | #Constraints: 44403
3114.44/3123.33 c #Conflicts: 1739000 | #Constraints: 45403
3114.44/3123.33 c #Conflicts: 1740000 | #Constraints: 46403
3114.44/3123.34 c #Conflicts: 1741000 | #Constraints: 47403
3114.44/3123.34 c #Conflicts: 1742000 | #Constraints: 48403
3114.44/3123.34 c #Conflicts: 1743000 | #Constraints: 49403
3114.44/3123.34 c #Conflicts: 1744000 | #Constraints: 50403
3114.44/3123.34 c #Conflicts: 1745000 | #Constraints: 51403
3114.44/3123.34 c #Conflicts: 1746000 | #Constraints: 52403
3114.44/3123.34 c INPROCESSING
3114.44/3123.34 c GARBAGE COLLECT
3114.44/3123.34 c #Conflicts: 1747000 | #Constraints: 27206
3114.44/3123.34 c #Conflicts: 1748000 | #Constraints: 28206
3114.44/3123.34 c #Conflicts: 1749000 | #Constraints: 29206
3114.44/3123.34 c #Conflicts: 1750000 | #Constraints: 30206
3114.44/3123.34 c #Conflicts: 1751000 | #Constraints: 31206
3114.44/3123.34 c #Conflicts: 1752000 | #Constraints: 32206
3114.44/3123.34 c #Conflicts: 1753000 | #Constraints: 33206
3114.44/3123.34 c #Conflicts: 1754000 | #Constraints: 34206
3114.44/3123.34 c #Conflicts: 1755000 | #Constraints: 35206
3114.44/3123.34 c #Conflicts: 1756000 | #Constraints: 36206
3114.44/3123.34 c #Conflicts: 1757000 | #Constraints: 37206
3114.44/3123.34 c #Conflicts: 1758000 | #Constraints: 38206
3114.44/3123.34 c #Conflicts: 1759000 | #Constraints: 39206
3114.44/3123.34 c #Conflicts: 1760000 | #Constraints: 40206
3114.44/3123.34 c #Conflicts: 1761000 | #Constraints: 41206
3114.44/3123.34 c #Conflicts: 1762000 | #Constraints: 42206
3114.44/3123.34 c #Conflicts: 1763000 | #Constraints: 43206
3114.44/3123.34 c #Conflicts: 1764000 | #Constraints: 44206
3114.44/3123.34 c #Conflicts: 1765000 | #Constraints: 45206
3114.44/3123.34 c #Conflicts: 1766000 | #Constraints: 46206
3114.44/3123.34 c #Conflicts: 1767000 | #Constraints: 47206
3114.44/3123.34 c #Conflicts: 1768000 | #Constraints: 48206
3114.44/3123.34 c #Conflicts: 1769000 | #Constraints: 49206
3114.44/3123.34 c #Conflicts: 1770000 | #Constraints: 50206
3114.44/3123.34 c #Conflicts: 1771000 | #Constraints: 51206
3114.44/3123.34 c #Conflicts: 1772000 | #Constraints: 52206
3114.44/3123.34 c #Conflicts: 1773000 | #Constraints: 53206
3114.44/3123.34 c INPROCESSING
3114.44/3123.34 c GARBAGE COLLECT
3114.44/3123.34 c #Conflicts: 1774000 | #Constraints: 27801
3114.44/3123.34 c #Conflicts: 1775000 | #Constraints: 28801
3114.44/3123.34 c #Conflicts: 1776000 | #Constraints: 29801
3114.44/3123.34 c #Conflicts: 1777000 | #Constraints: 30801
3114.44/3123.34 c #Conflicts: 1778000 | #Constraints: 31801
3348.83/3358.46 c #Conflicts: 1779000 | #Constraints: 32801
3348.83/3358.46 c #Conflicts: 1780000 | #Constraints: 33801
3348.83/3358.46 c #Conflicts: 1781000 | #Constraints: 34801
3348.83/3358.46 c #Conflicts: 1782000 | #Constraints: 35801
3348.83/3358.46 c #Conflicts: 1783000 | #Constraints: 36801
3348.83/3358.46 c #Conflicts: 1784000 | #Constraints: 37801
3348.83/3358.46 c #Conflicts: 1785000 | #Constraints: 38801
3348.83/3358.46 c #Conflicts: 1786000 | #Constraints: 39801
3348.83/3358.46 c #Conflicts: 1787000 | #Constraints: 40801
3348.83/3358.46 c #Conflicts: 1788000 | #Constraints: 41801
3348.83/3358.46 c #Conflicts: 1789000 | #Constraints: 42801
3348.83/3358.46 c #Conflicts: 1790000 | #Constraints: 43801
3348.83/3358.46 c #Conflicts: 1791000 | #Constraints: 44801
3348.83/3358.46 c #Conflicts: 1792000 | #Constraints: 45801
3348.83/3358.46 c #Conflicts: 1793000 | #Constraints: 46801
3348.83/3358.46 c #Conflicts: 1794000 | #Constraints: 47801
3348.83/3358.46 c #Conflicts: 1795000 | #Constraints: 48801
3348.83/3358.46 c #Conflicts: 1796000 | #Constraints: 49801
3348.83/3358.46 c #Conflicts: 1797000 | #Constraints: 50801
3348.83/3358.46 c #Conflicts: 1798000 | #Constraints: 51801
3348.83/3358.46 c #Conflicts: 1799000 | #Constraints: 52801
3348.83/3358.46 c #Conflicts: 1800000 | #Constraints: 53801
3348.83/3358.46 c INPROCESSING
3348.83/3358.46 c GARBAGE COLLECT
3348.83/3358.46 c #Conflicts: 1801000 | #Constraints: 28205
3348.83/3358.46 c #Conflicts: 1802000 | #Constraints: 29205
3348.83/3358.46 c #Conflicts: 1803000 | #Constraints: 30205
3348.83/3358.46 c #Conflicts: 1804000 | #Constraints: 31205
3348.83/3358.46 c #Conflicts: 1805000 | #Constraints: 32205
3348.83/3358.46 c #Conflicts: 1806000 | #Constraints: 33205
3348.83/3358.46 c #Conflicts: 1807000 | #Constraints: 34205
3348.83/3358.46 c #Conflicts: 1808000 | #Constraints: 35205
3348.83/3358.46 c #Conflicts: 1809000 | #Constraints: 36205
3348.83/3358.46 c #Conflicts: 1810000 | #Constraints: 37205
3348.83/3358.46 c #Conflicts: 1811000 | #Constraints: 38205
3348.83/3358.46 c #Conflicts: 1812000 | #Constraints: 39205
3348.83/3358.46 c #Conflicts: 1813000 | #Constraints: 40205
3348.83/3358.46 c #Conflicts: 1814000 | #Constraints: 41205
3348.83/3358.46 c #Conflicts: 1815000 | #Constraints: 42205
3348.83/3358.46 c #Conflicts: 1816000 | #Constraints: 43205
3348.83/3358.46 c #Conflicts: 1817000 | #Constraints: 44205
3348.83/3358.46 c #Conflicts: 1818000 | #Constraints: 45205
3348.83/3358.46 c #Conflicts: 1819000 | #Constraints: 46205
3348.83/3358.46 c #Conflicts: 1820000 | #Constraints: 47205
3348.83/3358.46 c #Conflicts: 1821000 | #Constraints: 48205
3348.83/3358.46 c #Conflicts: 1822000 | #Constraints: 49205
3348.83/3358.46 c #Conflicts: 1823000 | #Constraints: 50205
3348.83/3358.46 c #Conflicts: 1824000 | #Constraints: 51205
3348.83/3358.46 c #Conflicts: 1825000 | #Constraints: 52205
3348.83/3358.46 c #Conflicts: 1826000 | #Constraints: 53205
3348.83/3358.46 c #Conflicts: 1827000 | #Constraints: 54205
3348.83/3358.46 c INPROCESSING
3348.83/3358.46 c GARBAGE COLLECT
3348.83/3358.46 c #Conflicts: 1828000 | #Constraints: 28402
3348.83/3358.46 c #Conflicts: 1829000 | #Constraints: 29402
3348.83/3358.46 c #Conflicts: 1830000 | #Constraints: 30402
3348.83/3358.46 c #Conflicts: 1831000 | #Constraints: 31402
3348.83/3358.46 c #Conflicts: 1832000 | #Constraints: 32402
3348.83/3358.46 c #Conflicts: 1833000 | #Constraints: 33402
3348.83/3358.46 c #Conflicts: 1834000 | #Constraints: 34402
3348.83/3358.46 c #Conflicts: 1835000 | #Constraints: 35402
3348.83/3358.46 c #Conflicts: 1836000 | #Constraints: 36402
3348.83/3358.46 c #Conflicts: 1837000 | #Constraints: 37402
3348.83/3358.46 c #Conflicts: 1838000 | #Constraints: 38402
3348.83/3358.46 c #Conflicts: 1839000 | #Constraints: 39402
3348.83/3358.46 c #Conflicts: 1840000 | #Constraints: 40402
3348.83/3358.46 c #Conflicts: 1841000 | #Constraints: 41402
3348.83/3358.46 c #Conflicts: 1842000 | #Constraints: 42402
3348.83/3358.46 c #Conflicts: 1843000 | #Constraints: 43402
3348.83/3358.46 c #Conflicts: 1844000 | #Constraints: 44402
3348.83/3358.46 c #Conflicts: 1845000 | #Constraints: 45402
3348.83/3358.46 c #Conflicts: 1846000 | #Constraints: 46402
3348.83/3358.46 c #Conflicts: 1847000 | #Constraints: 47402
3348.83/3358.46 c #Conflicts: 1848000 | #Constraints: 48402
3348.83/3358.46 c #Conflicts: 1849000 | #Constraints: 49402
3348.83/3358.46 c #Conflicts: 1850000 | #Constraints: 50402
3348.83/3358.46 c #Conflicts: 1851000 | #Constraints: 51402
3348.83/3358.46 c #Conflicts: 1852000 | #Constraints: 52402
3348.83/3358.46 c #Conflicts: 1853000 | #Constraints: 53402
3348.83/3358.46 c #Conflicts: 1854000 | #Constraints: 54402
3348.83/3358.46 c INPROCESSING
3348.83/3358.46 c GARBAGE COLLECT
3348.83/3358.46 c #Conflicts: 1855000 | #Constraints: 28397
3581.90/3592.27 c #Conflicts: 1856000 | #Constraints: 29397
3581.90/3592.27 c #Conflicts: 1857000 | #Constraints: 30397
3581.90/3592.27 c #Conflicts: 1858000 | #Constraints: 31397
3581.90/3592.27 c #Conflicts: 1859000 | #Constraints: 32397
3581.90/3592.27 c #Conflicts: 1860000 | #Constraints: 33397
3581.90/3592.27 c #Conflicts: 1861000 | #Constraints: 34397
3581.90/3592.27 c #Conflicts: 1862000 | #Constraints: 35397
3581.90/3592.27 c #Conflicts: 1863000 | #Constraints: 36397
3581.90/3592.27 c #Conflicts: 1864000 | #Constraints: 37397
3581.90/3592.27 c #Conflicts: 1865000 | #Constraints: 38397
3581.90/3592.27 c #Conflicts: 1866000 | #Constraints: 39397
3581.90/3592.27 c #Conflicts: 1867000 | #Constraints: 40397
3581.90/3592.27 c #Conflicts: 1868000 | #Constraints: 41397
3581.90/3592.27 c #Conflicts: 1869000 | #Constraints: 42397
3581.90/3592.27 c #Conflicts: 1870000 | #Constraints: 43397
3581.90/3592.27 c #Conflicts: 1871000 | #Constraints: 44397
3581.90/3592.27 c #Conflicts: 1872000 | #Constraints: 45397
3581.90/3592.27 c #Conflicts: 1873000 | #Constraints: 46397
3581.90/3592.27 c #Conflicts: 1874000 | #Constraints: 47397
3581.90/3592.27 c #Conflicts: 1875000 | #Constraints: 48397
3581.90/3592.27 c #Conflicts: 1876000 | #Constraints: 49397
3581.90/3592.27 c #Conflicts: 1877000 | #Constraints: 50397
3581.90/3592.27 c #Conflicts: 1878000 | #Constraints: 51397
3581.90/3592.27 c #Conflicts: 1879000 | #Constraints: 52397
3581.90/3592.27 c #Conflicts: 1880000 | #Constraints: 53397
3581.90/3592.27 c #Conflicts: 1881000 | #Constraints: 54397
3581.90/3592.27 c INPROCESSING
3581.90/3592.27 c GARBAGE COLLECT
3581.90/3592.27 c #Conflicts: 1882000 | #Constraints: 28201
3581.90/3592.27 c #Conflicts: 1883000 | #Constraints: 29201
3581.90/3592.27 c #Conflicts: 1884000 | #Constraints: 30201
3581.90/3592.27 c #Conflicts: 1885000 | #Constraints: 31201
3581.90/3592.27 c #Conflicts: 1886000 | #Constraints: 32201
3581.90/3592.27 c #Conflicts: 1887000 | #Constraints: 33201
3581.90/3592.27 c #Conflicts: 1888000 | #Constraints: 34201
3581.90/3592.27 c #Conflicts: 1889000 | #Constraints: 35201
3581.90/3592.27 c #Conflicts: 1890000 | #Constraints: 36201
3581.90/3592.27 c #Conflicts: 1891000 | #Constraints: 37201
3581.90/3592.27 c #Conflicts: 1892000 | #Constraints: 38201
3581.90/3592.27 c #Conflicts: 1893000 | #Constraints: 39201
3581.90/3592.27 c #Conflicts: 1894000 | #Constraints: 40201
3581.90/3592.27 c #Conflicts: 1895000 | #Constraints: 41201
3581.90/3592.27 c #Conflicts: 1896000 | #Constraints: 42201
3581.90/3592.27 c #Conflicts: 1897000 | #Constraints: 43201
3581.90/3592.27 c #Conflicts: 1898000 | #Constraints: 44201
3581.90/3592.27 c #Conflicts: 1899000 | #Constraints: 45201
3581.90/3592.27 c #Conflicts: 1900000 | #Constraints: 46201
3581.90/3592.27 c #Conflicts: 1901000 | #Constraints: 47201
3581.90/3592.27 c #Conflicts: 1902000 | #Constraints: 48201
3581.90/3592.27 c #Conflicts: 1903000 | #Constraints: 49201
3581.90/3592.27 c #Conflicts: 1904000 | #Constraints: 50201
3581.90/3592.27 c #Conflicts: 1905000 | #Constraints: 51201
3581.90/3592.27 c #Conflicts: 1906000 | #Constraints: 52201
3581.90/3592.27 c #Conflicts: 1907000 | #Constraints: 53201
3581.90/3592.27 c #Conflicts: 1908000 | #Constraints: 54201
3581.90/3592.27 c #Conflicts: 1909000 | #Constraints: 55201
3581.90/3592.27 c INPROCESSING
3581.90/3592.27 c GARBAGE COLLECT
3581.90/3592.27 c #Conflicts: 1910000 | #Constraints: 28803
3581.90/3592.27 c #Conflicts: 1911000 | #Constraints: 29803
3581.90/3592.27 c #Conflicts: 1912000 | #Constraints: 30803
3581.90/3592.27 c #Conflicts: 1913000 | #Constraints: 31803
3581.90/3592.27 c #Conflicts: 1914000 | #Constraints: 32803
3581.90/3592.27 c #Conflicts: 1915000 | #Constraints: 33803
3581.90/3592.27 c #Conflicts: 1916000 | #Constraints: 34803
3581.90/3592.27 c #Conflicts: 1917000 | #Constraints: 35803
3581.90/3592.27 c #Conflicts: 1918000 | #Constraints: 36803
3581.90/3592.27 c #Conflicts: 1919000 | #Constraints: 37803
3581.90/3592.27 c #Conflicts: 1920000 | #Constraints: 38803
3581.90/3592.27 c #Conflicts: 1921000 | #Constraints: 39803
3581.90/3592.27 c #Conflicts: 1922000 | #Constraints: 40803
3581.90/3592.27 c #Conflicts: 1923000 | #Constraints: 41803
3581.90/3592.27 c #Conflicts: 1924000 | #Constraints: 42803
3581.90/3592.27 c #Conflicts: 1925000 | #Constraints: 43803
3581.90/3592.27 c #Conflicts: 1926000 | #Constraints: 44803
3581.90/3592.27 c #Conflicts: 1927000 | #Constraints: 45803
3581.90/3592.27 c #Conflicts: 1928000 | #Constraints: 46803
3581.90/3592.27 c #Conflicts: 1929000 | #Constraints: 47803
3581.90/3592.27 c #Conflicts: 1930000 | #Constraints: 48803
3581.90/3592.27 c #Conflicts: 1931000 | #Constraints: 49803
3581.90/3592.27 c #Conflicts: 1932000 | #Constraints: 50803
3581.90/3592.27 c #Conflicts: 1933000 | #Constraints: 51803
3600.04/3610.40 c #Conflicts: 1934000 | #Constraints: 52803
3600.04/3610.40 c #Conflicts: 1935000 | #Constraints: 53803
3600.04/3610.40 c #Conflicts: 1936000 | #Constraints: 54803
3600.04/3610.40 c #Conflicts: 1937000 | #Constraints: 55803
3600.04/3610.40 c INPROCESSING
3600.04/3610.40 c GARBAGE COLLECT
3600.04/3610.40 c #Conflicts: 1938000 | #Constraints: 29205
3600.04/3610.40 c cpu time 3581.43 s
3600.04/3610.40 c deterministic time 1 1.00e+00
3600.04/3610.40 c optimization time 3581.43 s
3600.04/3610.40 c total solve time 0 s
3600.04/3610.40 c core-guided solve time 0 s
3600.04/3610.40 c propagation time 0.000118 s
3600.04/3610.40 c conflict analysis time 0 s
3600.04/3610.40 c propagations 0
3600.04/3610.40 c resolve steps 0
3600.04/3610.40 c decisions 0
3600.04/3610.40 c conflicts 0
3600.04/3610.40 c restarts 0
3600.04/3610.40 c inprocessing phases 0
3600.04/3610.40 c garbage collections 0 ,( -nan )
3600.04/3610.40 c input clauses 0 ,( 0.00 )
3600.04/3610.40 c input cardinalities 0 ,( 0.00 )
3600.04/3610.40 c input general constraints 478 ,( 100.00 )
3600.04/3610.40 c input average constraint length 9.00
3600.04/3610.40 c input average constraint degree 28.84
3600.04/3610.40 c learned clauses 0 ,( 0.00 )
3600.04/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.04/3610.40 c learned general constraints 0 ,( 0.00 )
3600.04/3610.40 c learned average constraint length 0.00
3600.04/3610.40 c learned average constraint degree 0.00
3600.04/3610.40 c watched CF 32, 64, 128, Arb: 7 , 0 , 0 , 0
3600.04/3610.40 c counting CF 32, 64, 128, Arb: 472 , 0 , 0 , 0
3600.04/3610.40 c watched constraints 7 ,( 1.46 )
3600.04/3610.40 c counting constraints 471 ,( 98.54 )
3600.04/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.40 c gcd simplifications 0
3600.04/3610.40 c detected cardinalities 0
3600.04/3610.40 c weakened non-implied lits 0
3600.04/3610.40 c weakened non-implying lits 0
3600.04/3610.40 c original variables 478
3600.04/3610.40 c clausal propagations 0
3600.04/3610.40 c cardinality propagations 0
3600.04/3610.40 c watched propagations 0
3600.04/3610.40 c counting propagations 0
3600.04/3610.40 c watch lookups 0
3600.04/3610.40 c watch backjump lookups 0
3600.04/3610.40 c watch checks 0
3600.04/3610.40 c propagation checks 0
3600.04/3610.40 c constraint additions 0
3600.04/3610.40 c trail pops 0
3600.04/3610.40 c formula constraints 478
3600.04/3610.40 c learned constraints 0
3600.04/3610.40 c bound constraints 0
3600.04/3610.40 c core-guided constraints 0
3600.04/3610.40 c encountered formula constraints 0
3600.04/3610.40 c encountered learned constraints 0
3600.04/3610.40 c encountered bound constraints 0
3600.04/3610.40 c encountered core-guided constraints 0
3600.04/3610.40 c LP total time 0 s
3600.04/3610.40 c LP solve time 0 s
3600.04/3610.40 c LP constraints added 0
3600.04/3610.40 c LP constraints removed 0
3600.04/3610.40 c LP pivots internal 0
3600.04/3610.40 c LP pivots root 0
3600.04/3610.40 c LP calls 0
3600.04/3610.40 c LP optimalities 0
3600.04/3610.40 c LP no pivot count 0
3600.04/3610.40 c LP infeasibilities 0
3600.04/3610.40 c LP valid Farkas constraints 0
3600.04/3610.40 c LP learned Farkas constraints 0
3600.04/3610.40 c LP basis resets 0
3600.04/3610.40 c LP cycling count 0
3600.04/3610.40 c LP singular count 0
3600.04/3610.40 c LP no primal count 0
3600.04/3610.40 c LP no farkas count 0
3600.04/3610.40 c LP other issue count 0
3600.04/3610.40 c LP Gomory cuts 0
3600.04/3610.40 c LP learned cuts 0
3600.04/3610.40 c LP deleted cuts 0
3600.04/3610.40 c LP encountered Gomory constraints 0
3600.04/3610.40 c LP encountered Farkas constraints 0
3600.04/3610.40 c LP encountered learned Farkas constraints 0
3600.04/3610.40 c CG auxiliary variables introduced 0
3600.04/3610.40 c CG solutions found 0
3600.04/3610.40 c CG cores constructed 0
3600.04/3610.40 c CG core cardinality constraints returned 0
3600.04/3610.40 c CG unit cores 0
3600.04/3610.40 c CG single cores 0
3600.04/3610.40 c CG blocks removed during cardinality reduction 0
3600.04/3610.40 c CG first core best 0
3600.04/3610.40 c CG decision core best 0
3600.04/3610.40 c CG core reduction tie 0
3600.04/3610.40 c CG core degree average 0.00
3600.04/3610.40 c CG core slack average 0.00
3600.04/3610.40 c CG core upper bound improvements 0
3600.04/3610.40 c STR number of successful calls 0
3600.04/3610.40 c STR number of unsuccessful calls 0
3600.04/3610.40 c STR number of inconclusive calls 0
3600.04/3610.40 c STR number of successful attempts 0
3600.04/3610.40 c STR number of unsuccessful attempts 0
3600.04/3610.40 c STR number of inconclusive attempts 0
3600.04/3610.40 c STR average degree increase per successful call inf
3600.04/3610.40 c STR average degree increase per successful attempt inf
3600.04/3610.40 c STR total number of conflicts for successful attempts 0
3600.04/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.40 c STR average number of conflicts per successful attempt inf
3600.04/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.40 c AVG.sumWPerc 71.01
3600.04/3610.40 c bigint constraints 0
3600.04/3610.40 s UNKNOWN
3600.04/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63067 MiB free)
memory of node 1: 64507 MiB (63883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489047-1751351889/watcher-4489047-1751351889 -o /tmp/evaluation-result-4489047-1751351889/solver-4489047-1751351889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45609 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489047-1751351889.opb PROOFDIR/proof-4489047-1751351889
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46029, runsolver pid=46025
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.13 4.15 4.10 4/266 46038
/proc/meminfo: memFree=129964756/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=62516 memory=15596 CPUtime=0.07 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 1236 0 0 0 7 0 0 0 20 0 1 0 50868528 64016384 3899 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 15629 3899 2400 1147 0 3056 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66708 KiB
Current children cumulated memory: 18668 KiB
[startup+0.205635 s]*
/proc/loadavg: 4.13 4.15 4.10 5/269 46045
/proc/meminfo: memFree=129956944/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=64408 memory=17388 CPUtime=0.17 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 1702 0 0 0 17 0 0 0 20 0 1 0 50868528 65953792 4347 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 16102 4347 2400 1147 0 3529 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 68600 KiB
Current children cumulated memory: 20460 KiB
[startup+0.305612 s]*
/proc/loadavg: 4.13 4.15 4.10 5/269 46045
/proc/meminfo: memFree=129946800/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=67692 memory=19820 CPUtime=0.27 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 2330 0 0 0 27 0 0 0 20 0 1 0 50868528 69316608 4955 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 16923 4955 2400 1147 0 4350 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 22892 KiB
[startup+0.70018 s]
/proc/loadavg: 4.13 4.15 4.10 5/269 46045
/proc/meminfo: memFree=129926640/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=71080 memory=24684 CPUtime=0.66 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 3561 0 0 0 65 1 0 0 20 0 1 0 50868528 72785920 6171 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 17770 6171 2400 1147 0 5197 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 75272 KiB
Current children cumulated memory: 27756 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.15 4.10 5/269 46045
/proc/meminfo: memFree=129882372/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=79400 memory=33644 CPUtime=1.45 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 5780 0 0 0 142 3 0 0 20 0 1 0 50868528 81305600 8411 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 19850 8411 2400 1147 0 7277 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 83592 KiB
Current children cumulated memory: 36716 KiB
[startup+3.1054 s]
/proc/loadavg: 4.12 4.14 4.10 5/269 46046
/proc/meminfo: memFree=129767660/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=98368 memory=47736 CPUtime=3.06 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 8816 0 0 0 299 7 0 0 20 0 1 0 50868528 100728832 11934 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 24592 11934 2400 1147 0 12019 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 102560 KiB
Current children cumulated memory: 50808 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.14 4.10 5/269 46046
/proc/meminfo: memFree=129638484/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=107984 memory=51448 CPUtime=6.25 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 9725 0 0 0 612 13 0 0 20 0 1 0 50868528 110575616 12862 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 26996 12862 2400 1147 0 14423 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 112176 KiB
Current children cumulated memory: 54520 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.09 5/269 46046
/proc/meminfo: memFree=129509456/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=110032 memory=58920 CPUtime=12.62 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 11078 0 0 0 1239 23 0 0 20 0 1 0 50868528 112672768 14730 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 27508 14730 2400 1147 0 14935 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 114224 KiB
Current children cumulated memory: 61992 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.10 5/269 46046
/proc/meminfo: memFree=129064752/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=134096 memory=77488 CPUtime=25.4 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 15234 0 0 0 2499 41 0 0 20 0 1 0 50868528 137314304 19372 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 33524 19372 2400 1147 0 20951 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 138288 KiB
Current children cumulated memory: 80560 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 46046
/proc/meminfo: memFree=128740636/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=154644 memory=94380 CPUtime=50.93 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 18951 0 0 0 5020 73 0 0 20 0 1 0 50868528 158355456 23595 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 38661 23595 2400 1147 0 26088 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 158836 KiB
Current children cumulated memory: 97452 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/269 46048
/proc/meminfo: memFree=128069812/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=198324 memory=131732 CPUtime=101.98 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 26735 0 0 0 10072 126 0 0 20 0 1 0 50868528 203083776 32933 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 49581 32933 2400 1147 0 37008 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 202516 KiB
Current children cumulated memory: 134804 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/269 46050
/proc/meminfo: memFree=127551064/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=222492 memory=142444 CPUtime=161.81 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 28926 0 0 0 16003 178 0 0 20 0 1 0 50868528 227831808 35611 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 55623 35611 2400 1147 0 43050 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 226684 KiB
Current children cumulated memory: 145516 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 46052
/proc/meminfo: memFree=127066504/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=315592 memory=196848 CPUtime=221.64 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 51411 0 0 0 21935 229 0 0 20 0 1 0 50868528 323166208 49212 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 78898 49212 2400 1147 0 66325 0
################
# More data... #
################
/proc/46031/statm: 127401 97544 2400 1147 0 114828 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 513796 KiB
Current children cumulated memory: 393248 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 46214
/proc/meminfo: memFree=115144708/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=509604 memory=390176 CPUtime=3093.5 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 96716 0 0 0 307695 1655 0 0 20 0 1 0 50868528 521834496 97544 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 127401 97544 2400 1147 0 114828 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 513796 KiB
Current children cumulated memory: 393248 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 46217
/proc/meminfo: memFree=115019684/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=509112 memory=389992 CPUtime=3153.34 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 96861 0 0 0 313650 1684 0 0 20 0 1 0 50868528 521330688 97498 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 127278 97498 2400 1147 0 114705 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 513304 KiB
Current children cumulated memory: 393064 KiB
[startup+3222.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/272 46219
/proc/meminfo: memFree=114873316/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=509112 memory=390016 CPUtime=3213.16 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 97115 0 0 0 319609 1707 0 0 20 0 1 0 50868528 521330688 97504 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 127278 97504 2400 1147 0 114705 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 513304 KiB
Current children cumulated memory: 393088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/272 46223
/proc/meminfo: memFree=114719960/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=509304 memory=390196 CPUtime=3272.98 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 97422 0 0 0 325570 1728 0 0 20 0 1 0 50868528 521527296 97549 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 127326 97549 2400 1147 0 114753 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 513496 KiB
Current children cumulated memory: 393268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/272 46226
/proc/meminfo: memFree=114586512/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=509612 memory=390208 CPUtime=3332.78 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 97513 0 0 0 331525 1753 0 0 20 0 1 0 50868528 521842688 97552 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 127403 97552 2400 1147 0 114830 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 513804 KiB
Current children cumulated memory: 393280 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/271 46228
/proc/meminfo: memFree=114424076/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=510836 memory=393368 CPUtime=3392.58 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 97970 0 0 0 337478 1780 0 0 20 0 1 0 50868528 523096064 98342 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 127709 98342 2400 1147 0 115136 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 515028 KiB
Current children cumulated memory: 396440 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/272 46231
/proc/meminfo: memFree=114292972/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=511856 memory=394344 CPUtime=3452.39 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 98321 0 0 0 343434 1805 0 0 20 0 1 0 50868528 524140544 98586 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 127964 98586 2400 1147 0 115391 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 516048 KiB
Current children cumulated memory: 397416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/273 46238
/proc/meminfo: memFree=114170940/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=511640 memory=396392 CPUtime=3512.2 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 98397 0 0 0 349393 1827 0 0 20 0 1 0 50868528 523919360 99098 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 127910 99098 2400 1147 0 115337 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 515832 KiB
Current children cumulated memory: 399464 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/273 46240
/proc/meminfo: memFree=114015292/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=512068 memory=398748 CPUtime=3572.02 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 98627 0 0 0 355351 1851 0 0 20 0 1 0 50868528 524357632 99687 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 128017 99687 2400 1147 0 115444 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 516260 KiB
Current children cumulated memory: 401820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.13 4.14 4.10 4/263 46257
/proc/meminfo: memFree=115601596/131249996 swapFree=33010416/33010684
[pid=46029] ppid=46025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46029/stat : 46029 (run-opt-log.sh) S 46025 46029 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868527 4292608 768 18446744073709551615 94771429519360 94771430413893 140724958990688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94771430652944 94771430700688 94771453485056 140724958996769 140724958996964 140724958996964 140724959002566 0
/proc/46029/statm: 1048 768 704 219 0 110 0
[pid=46031] ppid=46029 vsize=513420 memory=399900 CPUtime=3600.04 cores=1,3
/proc/46031/stat : 46031 (roundingsat) R 46029 46029 45597 0 -1 4194304 98945 0 0 0 358143 1861 0 0 20 0 1 0 50868528 525742080 99975 18446744073709551615 4227072 8923433 140727381761456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33107968 140727381764434 140727381764648 140727381764648 140727381770218 0
/proc/46031/statm: 128355 99975 2400 1147 0 115782 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 517612 KiB
Current children cumulated memory: 402972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 46029 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001045 s, system=0.001314 s
[startup+3610.43 s]
# the end of solver process 46031 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.44 s, system=18.6335 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.43
CPU time (s): 3600.07
CPU user time (s): 3581.44
CPU system time (s): 18.6335
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 517612
Max. memory (cumulated for all children) (KiB): 402972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.44
system time used= 18.6335
maximum resident set size= 400156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8380416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 491
involuntary context switches= 4893
# summary of solver processes directly reported to runsolver:
# pid: 46029,46031
# total CPU time (s): 3600.07
# total CPU user time (s): 3581.44
# total CPU system time (s): 18.6335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32862 second user time and 16.6387 second system time
The end
Begin job on nodeC030 at 2025-07-01 08:38:09
IDJOB=4489047
IDBENCH=147538
IDSOLVER=3351
FILE ID=nodeC030/4489047-1751351889
RUNJOBID= nodeC030-1751348277-45609
SLURM_JOB_ID= 9598121
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489047-1751351889/watcher-4489047-1751351889 -o /tmp/evaluation-result-4489047-1751351889/solver-4489047-1751351889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45609 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489047-1751351889.opb PROOFDIR/proof-4489047-1751351889
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=1943168207
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.600
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.077
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3585.225
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3397.228
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.318
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.333
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.858
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129991260 kB
MemAvailable: 129729392 kB
Buffers: 2564 kB
Cached: 531880 kB
SwapCached: 16 kB
Active: 526636 kB
Inactive: 113988 kB
Active(anon): 119680 kB
Inactive(anon): 4548 kB
Active(file): 406956 kB
Inactive(file): 109440 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 24476 kB
Writeback: 0 kB
AnonPages: 109316 kB
Mapped: 112612 kB
Shmem: 18048 kB
KReclaimable: 121548 kB
Slab: 210040 kB
SReclaimable: 121548 kB
SUnreclaim: 88492 kB
KernelStack: 4256 kB
PageTables: 3176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 432452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-07-01 09:38:20