0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 468 #constraints 468
0.00/0.02 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 467 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.003638
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.00405
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.017603
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.064265
0.07/0.11 c GLOBAL bounds - >= 0 @ 0.080379
0.18/0.22 c GLOBAL bounds - >= 0 @ 0.188528
0.38/0.42 c #Conflicts: 1000 | #Constraints: 1476
0.38/0.42 c GLOBAL bounds - >= 0 @ 0.376387
0.67/0.71 c #Conflicts: 2000 | #Constraints: 2478
0.67/0.71 c INPROCESSING
0.67/0.71 c GARBAGE COLLECT
0.67/0.71 c GLOBAL bounds - >= 0 @ 0.664728
0.67/0.73 c #Conflicts: 3000 | #Constraints: 2495
0.67/0.73 c GLOBAL bounds - >= 0 @ 0.682386
0.87/0.92 c GLOBAL bounds - >= 0 @ 0.863926
1.17/1.22 c #Conflicts: 4000 | #Constraints: 3499
1.17/1.22 c INPROCESSING
1.17/1.22 c GARBAGE COLLECT
1.17/1.22 c GLOBAL bounds - >= 0 @ 1.16123
1.17/1.27 c GLOBAL bounds - >= 0 @ 1.21048
1.66/1.78 c #Conflicts: 5000 | #Constraints: 2912
1.66/1.78 c #Conflicts: 6000 | #Constraints: 3912
1.66/1.78 c GLOBAL bounds - >= 0 @ 1.70653
2.46/2.59 c INPROCESSING
2.46/2.59 c GARBAGE COLLECT
2.46/2.59 c #Conflicts: 7000 | #Constraints: 2920
2.46/2.59 c #Conflicts: 8000 | #Constraints: 3920
2.46/2.59 c GLOBAL bounds - >= 0 @ 2.49982
3.26/3.34 c #Conflicts: 9000 | #Constraints: 4922
3.26/3.34 c INPROCESSING
3.26/3.34 c GARBAGE COLLECT
3.26/3.34 c #Conflicts: 10000 | #Constraints: 3622
3.26/3.34 c GLOBAL bounds - >= 0 @ 3.22628
5.75/5.81 c #Conflicts: 11000 | #Constraints: 4624
5.75/5.81 c #Conflicts: 12000 | #Constraints: 5624
5.75/5.81 c INPROCESSING
5.75/5.81 c GARBAGE COLLECT
5.75/5.81 c #Conflicts: 13000 | #Constraints: 4074
5.75/5.81 c #Conflicts: 14000 | #Constraints: 5074
5.75/5.81 c #Conflicts: 15000 | #Constraints: 6074
5.75/5.81 c INPROCESSING
5.75/5.81 c GARBAGE COLLECT
5.75/5.81 c #Conflicts: 16000 | #Constraints: 4301
5.75/5.81 c GLOBAL bounds - >= 0 @ 5.64093
7.85/7.95 c #Conflicts: 17000 | #Constraints: 5303
7.85/7.95 c #Conflicts: 18000 | #Constraints: 6303
7.85/7.95 c INPROCESSING
7.85/7.95 c GARBAGE COLLECT
7.85/7.95 c #Conflicts: 19000 | #Constraints: 4316
7.85/7.95 c #Conflicts: 20000 | #Constraints: 5316
7.85/7.95 c GLOBAL bounds - >= 0 @ 7.74801
11.74/11.81 c #Conflicts: 21000 | #Constraints: 6318
11.74/11.81 c INPROCESSING
11.74/11.81 c GARBAGE COLLECT
11.74/11.81 c #Conflicts: 22000 | #Constraints: 4121
11.74/11.81 c #Conflicts: 23000 | #Constraints: 5121
11.74/11.81 c #Conflicts: 24000 | #Constraints: 6121
11.74/11.81 c #Conflicts: 25000 | #Constraints: 7121
11.74/11.81 c INPROCESSING
11.74/11.81 c GARBAGE COLLECT
11.74/11.81 c #Conflicts: 26000 | #Constraints: 4731
11.74/11.81 c #Conflicts: 27000 | #Constraints: 5731
11.74/11.81 c GLOBAL bounds - >= 0 @ 11.5413
13.53/13.62 c #Conflicts: 28000 | #Constraints: 6733
13.53/13.62 c #Conflicts: 29000 | #Constraints: 7733
13.53/13.62 c INPROCESSING
13.53/13.62 c GARBAGE COLLECT
13.53/13.62 c #Conflicts: 30000 | #Constraints: 5133
13.53/13.62 c #Conflicts: 31000 | #Constraints: 6133
13.53/13.62 c GLOBAL bounds - >= 0 @ 13.3218
20.21/20.34 c #Conflicts: 32000 | #Constraints: 7135
20.21/20.34 c #Conflicts: 33000 | #Constraints: 8135
20.21/20.34 c INPROCESSING
20.21/20.34 c GARBAGE COLLECT
20.21/20.34 c #Conflicts: 34000 | #Constraints: 5333
20.21/20.34 c #Conflicts: 35000 | #Constraints: 6333
20.21/20.34 c #Conflicts: 36000 | #Constraints: 7333
20.21/20.34 c #Conflicts: 37000 | #Constraints: 8333
20.21/20.34 c INPROCESSING
20.21/20.34 c GARBAGE COLLECT
20.21/20.34 c #Conflicts: 38000 | #Constraints: 5337
20.21/20.34 c #Conflicts: 39000 | #Constraints: 6337
20.21/20.34 c #Conflicts: 40000 | #Constraints: 7337
20.21/20.34 c #Conflicts: 41000 | #Constraints: 8337
20.21/20.34 c INPROCESSING
20.21/20.34 c GARBAGE COLLECT
20.21/20.34 c #Conflicts: 42000 | #Constraints: 5141
20.21/20.34 c #Conflicts: 43000 | #Constraints: 6141
20.21/20.34 c #Conflicts: 44000 | #Constraints: 7141
20.21/20.34 c GLOBAL bounds - >= 0 @ 19.9153
20.51/20.61 c #Conflicts: 45000 | #Constraints: 8143
20.51/20.61 c GLOBAL bounds - >= 0 @ 20.1748
21.01/21.11 c #Conflicts: 46000 | #Constraints: 9145
21.01/21.11 c INPROCESSING
21.01/21.11 c GARBAGE COLLECT
21.01/21.11 c GLOBAL bounds - >= 0 @ 20.6614
25.50/25.62 c #Conflicts: 47000 | #Constraints: 5739
25.50/25.62 c #Conflicts: 48000 | #Constraints: 6739
25.50/25.62 c #Conflicts: 49000 | #Constraints: 7739
25.50/25.62 c #Conflicts: 50000 | #Constraints: 8739
25.50/25.62 c #Conflicts: 51000 | #Constraints: 9739
25.50/25.62 c INPROCESSING
25.50/25.62 c GARBAGE COLLECT
25.50/25.62 c #Conflicts: 52000 | #Constraints: 6141
25.50/25.62 c #Conflicts: 53000 | #Constraints: 7141
25.50/25.62 c GLOBAL bounds - >= 0 @ 25.1044
27.70/27.85 c #Conflicts: 54000 | #Constraints: 8143
27.70/27.85 c #Conflicts: 55000 | #Constraints: 9143
27.70/27.85 c #Conflicts: 56000 | #Constraints: 10143
27.70/27.85 c INPROCESSING
27.70/27.85 c GARBAGE COLLECT
27.70/27.85 c GLOBAL bounds - >= 0 @ 27.2975
29.49/29.69 c #Conflicts: 57000 | #Constraints: 6348
29.49/29.69 c #Conflicts: 58000 | #Constraints: 7348
29.49/29.69 c #Conflicts: 59000 | #Constraints: 8348
29.49/29.69 c GLOBAL bounds - >= 0 @ 29.1152
33.38/33.52 c #Conflicts: 60000 | #Constraints: 9350
33.38/33.52 c #Conflicts: 61000 | #Constraints: 10350
33.38/33.52 c INPROCESSING
33.38/33.52 c GARBAGE COLLECT
33.38/33.52 c #Conflicts: 62000 | #Constraints: 6346
33.38/33.52 c #Conflicts: 63000 | #Constraints: 7346
33.38/33.52 c #Conflicts: 64000 | #Constraints: 8346
33.38/33.52 c #Conflicts: 65000 | #Constraints: 9346
33.38/33.52 c GLOBAL bounds - >= 0 @ 32.8893
35.47/35.65 c #Conflicts: 66000 | #Constraints: 10348
35.47/35.65 c INPROCESSING
35.47/35.65 c GARBAGE COLLECT
35.47/35.65 c #Conflicts: 67000 | #Constraints: 6152
35.47/35.65 c #Conflicts: 68000 | #Constraints: 7152
35.47/35.65 c GLOBAL bounds - >= 0 @ 34.9791
38.66/38.85 c #Conflicts: 69000 | #Constraints: 8154
38.66/38.85 c #Conflicts: 70000 | #Constraints: 9154
38.66/38.85 c #Conflicts: 71000 | #Constraints: 10154
38.66/38.85 c #Conflicts: 72000 | #Constraints: 11154
38.66/38.85 c INPROCESSING
38.66/38.85 c GARBAGE COLLECT
38.66/38.85 c #Conflicts: 73000 | #Constraints: 6754
38.66/38.85 c GLOBAL bounds - >= 0 @ 38.1231
41.25/41.45 c #Conflicts: 74000 | #Constraints: 7756
41.25/41.45 c #Conflicts: 75000 | #Constraints: 8756
41.25/41.45 c #Conflicts: 76000 | #Constraints: 9756
41.25/41.45 c GLOBAL bounds - >= 0 @ 40.6859
41.76/41.93 c #Conflicts: 77000 | #Constraints: 10758
41.76/41.93 c GLOBAL bounds - >= 0 @ 41.1625
47.14/47.34 c #Conflicts: 78000 | #Constraints: 11760
47.14/47.34 c INPROCESSING
47.14/47.34 c GARBAGE COLLECT
47.14/47.34 c #Conflicts: 79000 | #Constraints: 7154
47.14/47.34 c #Conflicts: 80000 | #Constraints: 8154
47.14/47.34 c #Conflicts: 81000 | #Constraints: 9154
47.14/47.34 c #Conflicts: 82000 | #Constraints: 10154
47.14/47.34 c #Conflicts: 83000 | #Constraints: 11154
47.14/47.34 c #Conflicts: 84000 | #Constraints: 12154
47.14/47.34 c INPROCESSING
47.14/47.34 c GARBAGE COLLECT
47.14/47.34 c #Conflicts: 85000 | #Constraints: 7357
47.14/47.34 c GLOBAL bounds - >= 0 @ 46.5138
83.24/83.54 c #Conflicts: 86000 | #Constraints: 8359
83.24/83.54 c #Conflicts: 87000 | #Constraints: 9359
83.24/83.54 c #Conflicts: 88000 | #Constraints: 10359
83.24/83.54 c #Conflicts: 89000 | #Constraints: 11359
83.24/83.54 c #Conflicts: 90000 | #Constraints: 12359
83.24/83.54 c INPROCESSING
83.24/83.54 c GARBAGE COLLECT
83.24/83.54 c #Conflicts: 91000 | #Constraints: 7353
83.24/83.54 c #Conflicts: 92000 | #Constraints: 8353
83.24/83.54 c #Conflicts: 93000 | #Constraints: 9353
83.24/83.54 c #Conflicts: 94000 | #Constraints: 10353
83.24/83.54 c #Conflicts: 95000 | #Constraints: 11353
83.24/83.54 c #Conflicts: 96000 | #Constraints: 12353
83.24/83.54 c INPROCESSING
83.24/83.54 c GARBAGE COLLECT
83.24/83.54 c #Conflicts: 97000 | #Constraints: 7162
83.24/83.54 c #Conflicts: 98000 | #Constraints: 8162
83.24/83.54 c #Conflicts: 99000 | #Constraints: 9162
83.24/83.54 c #Conflicts: 100000 | #Constraints: 10162
83.24/83.54 c #Conflicts: 101000 | #Constraints: 11162
83.24/83.54 c #Conflicts: 102000 | #Constraints: 12162
83.24/83.54 c #Conflicts: 103000 | #Constraints: 13162
83.24/83.54 c INPROCESSING
83.24/83.54 c GARBAGE COLLECT
83.24/83.54 c #Conflicts: 104000 | #Constraints: 7759
83.24/83.54 c #Conflicts: 105000 | #Constraints: 8759
83.24/83.54 c #Conflicts: 106000 | #Constraints: 9759
83.24/83.54 c #Conflicts: 107000 | #Constraints: 10759
83.24/83.54 c #Conflicts: 108000 | #Constraints: 11759
83.24/83.54 c #Conflicts: 109000 | #Constraints: 12759
83.24/83.54 c #Conflicts: 110000 | #Constraints: 13759
83.24/83.54 c INPROCESSING
83.24/83.54 c GARBAGE COLLECT
83.24/83.54 c #Conflicts: 111000 | #Constraints: 8161
83.24/83.54 c #Conflicts: 112000 | #Constraints: 9161
83.24/83.54 c #Conflicts: 113000 | #Constraints: 10161
83.24/83.54 c #Conflicts: 114000 | #Constraints: 11161
83.24/83.54 c #Conflicts: 115000 | #Constraints: 12161
83.24/83.54 c #Conflicts: 116000 | #Constraints: 13161
83.24/83.54 c #Conflicts: 117000 | #Constraints: 14161
83.24/83.54 c INPROCESSING
83.24/83.54 c GARBAGE COLLECT
83.24/83.54 c #Conflicts: 118000 | #Constraints: 8362
83.24/83.54 c #Conflicts: 119000 | #Constraints: 9362
83.24/83.54 c #Conflicts: 120000 | #Constraints: 10362
83.24/83.54 c #Conflicts: 121000 | #Constraints: 11362
83.24/83.54 c #Conflicts: 122000 | #Constraints: 12362
83.24/83.54 c #Conflicts: 123000 | #Constraints: 13362
83.24/83.54 c #Conflicts: 124000 | #Constraints: 14362
83.24/83.54 c INPROCESSING
83.24/83.54 c GARBAGE COLLECT
83.24/83.54 c #Conflicts: 125000 | #Constraints: 8362
83.24/83.54 c #Conflicts: 126000 | #Constraints: 9362
83.24/83.54 c #Conflicts: 127000 | #Constraints: 10362
83.24/83.54 c #Conflicts: 128000 | #Constraints: 11362
83.24/83.54 c #Conflicts: 129000 | #Constraints: 12362
83.24/83.54 c #Conflicts: 130000 | #Constraints: 13362
83.24/83.54 c #Conflicts: 131000 | #Constraints: 14362
83.24/83.54 c GLOBAL bounds - >= 0 @ 82.2177
154.94/155.41 c INPROCESSING
154.94/155.41 c GARBAGE COLLECT
154.94/155.41 c #Conflicts: 132000 | #Constraints: 8171
154.94/155.41 c #Conflicts: 133000 | #Constraints: 9171
154.94/155.41 c #Conflicts: 134000 | #Constraints: 10171
154.94/155.41 c #Conflicts: 135000 | #Constraints: 11171
154.94/155.41 c #Conflicts: 136000 | #Constraints: 12171
154.94/155.41 c #Conflicts: 137000 | #Constraints: 13171
154.94/155.41 c #Conflicts: 138000 | #Constraints: 14171
154.94/155.41 c #Conflicts: 139000 | #Constraints: 15171
154.94/155.41 c INPROCESSING
154.94/155.41 c GARBAGE COLLECT
154.94/155.41 c #Conflicts: 140000 | #Constraints: 8770
154.94/155.41 c #Conflicts: 141000 | #Constraints: 9770
154.94/155.41 c #Conflicts: 142000 | #Constraints: 10770
154.94/155.41 c #Conflicts: 143000 | #Constraints: 11770
154.94/155.41 c #Conflicts: 144000 | #Constraints: 12770
154.94/155.41 c #Conflicts: 145000 | #Constraints: 13770
154.94/155.41 c #Conflicts: 146000 | #Constraints: 14770
154.94/155.41 c #Conflicts: 147000 | #Constraints: 15770
154.94/155.41 c INPROCESSING
154.94/155.41 c GARBAGE COLLECT
154.94/155.41 c #Conflicts: 148000 | #Constraints: 9167
154.94/155.41 c #Conflicts: 149000 | #Constraints: 10167
154.94/155.41 c #Conflicts: 150000 | #Constraints: 11167
154.94/155.41 c #Conflicts: 151000 | #Constraints: 12167
154.94/155.41 c #Conflicts: 152000 | #Constraints: 13167
154.94/155.41 c #Conflicts: 153000 | #Constraints: 14167
154.94/155.41 c #Conflicts: 154000 | #Constraints: 15167
154.94/155.41 c #Conflicts: 155000 | #Constraints: 16167
154.94/155.41 c INPROCESSING
154.94/155.41 c GARBAGE COLLECT
154.94/155.41 c #Conflicts: 156000 | #Constraints: 9366
154.94/155.41 c #Conflicts: 157000 | #Constraints: 10366
154.94/155.41 c #Conflicts: 158000 | #Constraints: 11366
154.94/155.41 c #Conflicts: 159000 | #Constraints: 12366
154.94/155.41 c #Conflicts: 160000 | #Constraints: 13366
154.94/155.41 c #Conflicts: 161000 | #Constraints: 14366
154.94/155.41 c #Conflicts: 162000 | #Constraints: 15366
154.94/155.41 c #Conflicts: 163000 | #Constraints: 16366
154.94/155.41 c INPROCESSING
154.94/155.41 c GARBAGE COLLECT
154.94/155.41 c #Conflicts: 164000 | #Constraints: 9367
154.94/155.41 c #Conflicts: 165000 | #Constraints: 10367
154.94/155.41 c #Conflicts: 166000 | #Constraints: 11367
154.94/155.41 c #Conflicts: 167000 | #Constraints: 12367
154.94/155.41 c #Conflicts: 168000 | #Constraints: 13367
154.94/155.41 c #Conflicts: 169000 | #Constraints: 14367
154.94/155.41 c #Conflicts: 170000 | #Constraints: 15367
154.94/155.41 c #Conflicts: 171000 | #Constraints: 16367
154.94/155.41 c INPROCESSING
154.94/155.41 c GARBAGE COLLECT
154.94/155.41 c #Conflicts: 172000 | #Constraints: 9164
154.94/155.41 c #Conflicts: 173000 | #Constraints: 10164
154.94/155.41 c #Conflicts: 174000 | #Constraints: 11164
154.94/155.41 c #Conflicts: 175000 | #Constraints: 12164
154.94/155.41 c #Conflicts: 176000 | #Constraints: 13164
154.94/155.41 c #Conflicts: 177000 | #Constraints: 14164
154.94/155.41 c #Conflicts: 178000 | #Constraints: 15164
154.94/155.41 c #Conflicts: 179000 | #Constraints: 16164
154.94/155.41 c #Conflicts: 180000 | #Constraints: 17164
154.94/155.41 c INPROCESSING
154.94/155.41 c GARBAGE COLLECT
154.94/155.41 c #Conflicts: 181000 | #Constraints: 9765
154.94/155.41 c #Conflicts: 182000 | #Constraints: 10765
154.94/155.41 c #Conflicts: 183000 | #Constraints: 11765
154.94/155.41 c #Conflicts: 184000 | #Constraints: 12765
154.94/155.41 c #Conflicts: 185000 | #Constraints: 13765
154.94/155.41 c #Conflicts: 186000 | #Constraints: 14765
154.94/155.41 c #Conflicts: 187000 | #Constraints: 15765
154.94/155.41 c #Conflicts: 188000 | #Constraints: 16765
154.94/155.41 c #Conflicts: 189000 | #Constraints: 17765
154.94/155.41 c INPROCESSING
154.94/155.41 c GARBAGE COLLECT
154.94/155.41 c #Conflicts: 190000 | #Constraints: 10172
154.94/155.41 c #Conflicts: 191000 | #Constraints: 11172
154.94/155.41 c #Conflicts: 192000 | #Constraints: 12172
154.94/155.41 c #Conflicts: 193000 | #Constraints: 13172
154.94/155.41 c #Conflicts: 194000 | #Constraints: 14172
154.94/155.41 c #Conflicts: 195000 | #Constraints: 15172
154.94/155.41 c #Conflicts: 196000 | #Constraints: 16172
154.94/155.41 c #Conflicts: 197000 | #Constraints: 17172
154.94/155.41 c #Conflicts: 198000 | #Constraints: 18172
154.94/155.41 c INPROCESSING
154.94/155.41 c GARBAGE COLLECT
154.94/155.41 c #Conflicts: 199000 | #Constraints: 10368
154.94/155.41 c #Conflicts: 200000 | #Constraints: 11368
154.94/155.41 c #Conflicts: 201000 | #Constraints: 12368
154.94/155.41 c #Conflicts: 202000 | #Constraints: 13368
154.94/155.41 c #Conflicts: 203000 | #Constraints: 14368
154.94/155.41 c #Conflicts: 204000 | #Constraints: 15368
154.94/155.41 c #Conflicts: 205000 | #Constraints: 16368
206.71/207.33 c #Conflicts: 206000 | #Constraints: 17368
206.71/207.33 c #Conflicts: 207000 | #Constraints: 18368
206.71/207.33 c INPROCESSING
206.71/207.33 c GARBAGE COLLECT
206.71/207.33 c #Conflicts: 208000 | #Constraints: 10366
206.71/207.33 c #Conflicts: 209000 | #Constraints: 11366
206.71/207.33 c #Conflicts: 210000 | #Constraints: 12366
206.71/207.33 c #Conflicts: 211000 | #Constraints: 13366
206.71/207.33 c #Conflicts: 212000 | #Constraints: 14366
206.71/207.33 c #Conflicts: 213000 | #Constraints: 15366
206.71/207.33 c #Conflicts: 214000 | #Constraints: 16366
206.71/207.33 c #Conflicts: 215000 | #Constraints: 17366
206.71/207.33 c #Conflicts: 216000 | #Constraints: 18366
206.71/207.33 c INPROCESSING
206.71/207.33 c GARBAGE COLLECT
206.71/207.33 c #Conflicts: 217000 | #Constraints: 10168
206.71/207.33 c #Conflicts: 218000 | #Constraints: 11168
206.71/207.33 c #Conflicts: 219000 | #Constraints: 12168
206.71/207.33 c #Conflicts: 220000 | #Constraints: 13168
206.71/207.33 c #Conflicts: 221000 | #Constraints: 14168
206.71/207.33 c #Conflicts: 222000 | #Constraints: 15168
206.71/207.33 c #Conflicts: 223000 | #Constraints: 16168
206.71/207.33 c #Conflicts: 224000 | #Constraints: 17168
206.71/207.33 c #Conflicts: 225000 | #Constraints: 18168
206.71/207.33 c #Conflicts: 226000 | #Constraints: 19168
206.71/207.33 c INPROCESSING
206.71/207.33 c GARBAGE COLLECT
206.71/207.33 c #Conflicts: 227000 | #Constraints: 10767
206.71/207.33 c #Conflicts: 228000 | #Constraints: 11767
206.71/207.33 c #Conflicts: 229000 | #Constraints: 12767
206.71/207.33 c #Conflicts: 230000 | #Constraints: 13767
206.71/207.33 c #Conflicts: 231000 | #Constraints: 14767
206.71/207.33 c #Conflicts: 232000 | #Constraints: 15767
206.71/207.33 c #Conflicts: 233000 | #Constraints: 16767
206.71/207.33 c #Conflicts: 234000 | #Constraints: 17767
206.71/207.33 c #Conflicts: 235000 | #Constraints: 18767
206.71/207.33 c #Conflicts: 236000 | #Constraints: 19767
206.71/207.33 c INPROCESSING
206.71/207.33 c GARBAGE COLLECT
206.71/207.33 c #Conflicts: 237000 | #Constraints: 11163
206.71/207.33 c #Conflicts: 238000 | #Constraints: 12163
206.71/207.33 c #Conflicts: 239000 | #Constraints: 13163
206.71/207.33 c #Conflicts: 240000 | #Constraints: 14163
206.71/207.33 c #Conflicts: 241000 | #Constraints: 15163
206.71/207.33 c #Conflicts: 242000 | #Constraints: 16163
206.71/207.33 c #Conflicts: 243000 | #Constraints: 17163
206.71/207.33 c #Conflicts: 244000 | #Constraints: 18163
206.71/207.33 c #Conflicts: 245000 | #Constraints: 19163
206.71/207.33 c #Conflicts: 246000 | #Constraints: 20163
206.71/207.33 c INPROCESSING
206.71/207.33 c GARBAGE COLLECT
206.71/207.33 c #Conflicts: 247000 | #Constraints: 11369
206.71/207.33 c #Conflicts: 248000 | #Constraints: 12369
206.71/207.33 c #Conflicts: 249000 | #Constraints: 13369
206.71/207.33 c #Conflicts: 250000 | #Constraints: 14369
206.71/207.33 c GLOBAL bounds - >= 0 @ 204.678
250.69/251.40 c #Conflicts: 251000 | #Constraints: 15371
250.69/251.40 c #Conflicts: 252000 | #Constraints: 16371
250.69/251.40 c #Conflicts: 253000 | #Constraints: 17371
250.69/251.40 c #Conflicts: 254000 | #Constraints: 18371
250.69/251.40 c #Conflicts: 255000 | #Constraints: 19371
250.69/251.40 c #Conflicts: 256000 | #Constraints: 20371
250.69/251.40 c INPROCESSING
250.69/251.40 c GARBAGE COLLECT
250.69/251.40 c #Conflicts: 257000 | #Constraints: 11370
250.69/251.40 c #Conflicts: 258000 | #Constraints: 12370
250.69/251.40 c #Conflicts: 259000 | #Constraints: 13370
250.69/251.40 c #Conflicts: 260000 | #Constraints: 14370
250.69/251.40 c #Conflicts: 261000 | #Constraints: 15370
250.69/251.40 c #Conflicts: 262000 | #Constraints: 16370
250.69/251.40 c #Conflicts: 263000 | #Constraints: 17370
250.69/251.40 c #Conflicts: 264000 | #Constraints: 18370
250.69/251.40 c #Conflicts: 265000 | #Constraints: 19370
250.69/251.40 c #Conflicts: 266000 | #Constraints: 20370
250.69/251.40 c INPROCESSING
250.69/251.40 c GARBAGE COLLECT
250.69/251.40 c #Conflicts: 267000 | #Constraints: 11172
250.69/251.40 c #Conflicts: 268000 | #Constraints: 12172
250.69/251.40 c #Conflicts: 269000 | #Constraints: 13172
250.69/251.40 c #Conflicts: 270000 | #Constraints: 14172
250.69/251.40 c #Conflicts: 271000 | #Constraints: 15172
250.69/251.40 c #Conflicts: 272000 | #Constraints: 16172
250.69/251.40 c #Conflicts: 273000 | #Constraints: 17172
250.69/251.40 c #Conflicts: 274000 | #Constraints: 18172
250.69/251.40 c #Conflicts: 275000 | #Constraints: 19172
250.69/251.40 c #Conflicts: 276000 | #Constraints: 20172
250.69/251.40 c #Conflicts: 277000 | #Constraints: 21172
250.69/251.40 c INPROCESSING
250.69/251.40 c GARBAGE COLLECT
250.69/251.40 c #Conflicts: 278000 | #Constraints: 11774
250.69/251.40 c #Conflicts: 279000 | #Constraints: 12774
250.69/251.40 c #Conflicts: 280000 | #Constraints: 13774
250.69/251.40 c #Conflicts: 281000 | #Constraints: 14774
250.69/251.40 c #Conflicts: 282000 | #Constraints: 15774
250.69/251.40 c #Conflicts: 283000 | #Constraints: 16774
250.69/251.40 c #Conflicts: 284000 | #Constraints: 17774
250.69/251.40 c #Conflicts: 285000 | #Constraints: 18774
250.69/251.40 c #Conflicts: 286000 | #Constraints: 19774
250.69/251.40 c #Conflicts: 287000 | #Constraints: 20774
250.69/251.40 c #Conflicts: 288000 | #Constraints: 21774
250.69/251.40 c INPROCESSING
250.69/251.40 c GARBAGE COLLECT
250.69/251.40 c GLOBAL bounds - >= 0 @ 248.305
349.00/350.00 c #Conflicts: 289000 | #Constraints: 12177
349.00/350.00 c #Conflicts: 290000 | #Constraints: 13177
349.00/350.00 c #Conflicts: 291000 | #Constraints: 14177
349.00/350.00 c #Conflicts: 292000 | #Constraints: 15177
349.00/350.00 c #Conflicts: 293000 | #Constraints: 16177
349.00/350.00 c #Conflicts: 294000 | #Constraints: 17177
349.00/350.00 c #Conflicts: 295000 | #Constraints: 18177
349.00/350.00 c #Conflicts: 296000 | #Constraints: 19177
349.00/350.00 c #Conflicts: 297000 | #Constraints: 20177
349.00/350.00 c #Conflicts: 298000 | #Constraints: 21177
349.00/350.00 c #Conflicts: 299000 | #Constraints: 22177
349.00/350.00 c INPROCESSING
349.00/350.00 c GARBAGE COLLECT
349.00/350.00 c #Conflicts: 300000 | #Constraints: 12376
349.00/350.00 c #Conflicts: 301000 | #Constraints: 13376
349.00/350.00 c #Conflicts: 302000 | #Constraints: 14376
349.00/350.00 c #Conflicts: 303000 | #Constraints: 15376
349.00/350.00 c #Conflicts: 304000 | #Constraints: 16376
349.00/350.00 c #Conflicts: 305000 | #Constraints: 17376
349.00/350.00 c #Conflicts: 306000 | #Constraints: 18376
349.00/350.00 c #Conflicts: 307000 | #Constraints: 19376
349.00/350.00 c #Conflicts: 308000 | #Constraints: 20376
349.00/350.00 c #Conflicts: 309000 | #Constraints: 21376
349.00/350.00 c #Conflicts: 310000 | #Constraints: 22376
349.00/350.00 c INPROCESSING
349.00/350.00 c GARBAGE COLLECT
349.00/350.00 c #Conflicts: 311000 | #Constraints: 12378
349.00/350.00 c #Conflicts: 312000 | #Constraints: 13378
349.00/350.00 c #Conflicts: 313000 | #Constraints: 14378
349.00/350.00 c #Conflicts: 314000 | #Constraints: 15378
349.00/350.00 c #Conflicts: 315000 | #Constraints: 16378
349.00/350.00 c #Conflicts: 316000 | #Constraints: 17378
349.00/350.00 c #Conflicts: 317000 | #Constraints: 18378
349.00/350.00 c #Conflicts: 318000 | #Constraints: 19378
349.00/350.00 c #Conflicts: 319000 | #Constraints: 20378
349.00/350.00 c #Conflicts: 320000 | #Constraints: 21378
349.00/350.00 c #Conflicts: 321000 | #Constraints: 22378
349.00/350.00 c INPROCESSING
349.00/350.00 c GARBAGE COLLECT
349.00/350.00 c #Conflicts: 322000 | #Constraints: 12174
349.00/350.00 c #Conflicts: 323000 | #Constraints: 13174
349.00/350.00 c #Conflicts: 324000 | #Constraints: 14174
349.00/350.00 c #Conflicts: 325000 | #Constraints: 15174
349.00/350.00 c #Conflicts: 326000 | #Constraints: 16174
349.00/350.00 c #Conflicts: 327000 | #Constraints: 17174
349.00/350.00 c #Conflicts: 328000 | #Constraints: 18174
349.00/350.00 c #Conflicts: 329000 | #Constraints: 19174
349.00/350.00 c #Conflicts: 330000 | #Constraints: 20174
349.00/350.00 c #Conflicts: 331000 | #Constraints: 21174
349.00/350.00 c #Conflicts: 332000 | #Constraints: 22174
349.00/350.00 c #Conflicts: 333000 | #Constraints: 23174
349.00/350.00 c INPROCESSING
349.00/350.00 c GARBAGE COLLECT
349.00/350.00 c #Conflicts: 334000 | #Constraints: 12780
349.00/350.00 c #Conflicts: 335000 | #Constraints: 13780
349.00/350.00 c #Conflicts: 336000 | #Constraints: 14780
349.00/350.00 c #Conflicts: 337000 | #Constraints: 15780
349.00/350.00 c #Conflicts: 338000 | #Constraints: 16780
349.00/350.00 c #Conflicts: 339000 | #Constraints: 17780
349.00/350.00 c #Conflicts: 340000 | #Constraints: 18780
349.00/350.00 c #Conflicts: 341000 | #Constraints: 19780
349.00/350.00 c #Conflicts: 342000 | #Constraints: 20780
349.00/350.00 c #Conflicts: 343000 | #Constraints: 21780
349.00/350.00 c #Conflicts: 344000 | #Constraints: 22780
349.00/350.00 c #Conflicts: 345000 | #Constraints: 23780
349.00/350.00 c INPROCESSING
349.00/350.00 c GARBAGE COLLECT
349.00/350.00 c #Conflicts: 346000 | #Constraints: 13182
349.00/350.00 c #Conflicts: 347000 | #Constraints: 14182
349.00/350.00 c #Conflicts: 348000 | #Constraints: 15182
349.00/350.00 c #Conflicts: 349000 | #Constraints: 16182
349.00/350.00 c #Conflicts: 350000 | #Constraints: 17182
349.00/350.00 c #Conflicts: 351000 | #Constraints: 18182
349.00/350.00 c #Conflicts: 352000 | #Constraints: 19182
349.00/350.00 c #Conflicts: 353000 | #Constraints: 20182
349.00/350.00 c #Conflicts: 354000 | #Constraints: 21182
349.00/350.00 c #Conflicts: 355000 | #Constraints: 22182
349.00/350.00 c #Conflicts: 356000 | #Constraints: 23182
349.00/350.00 c #Conflicts: 357000 | #Constraints: 24182
349.00/350.00 c INPROCESSING
349.00/350.00 c GARBAGE COLLECT
349.00/350.00 c #Conflicts: 358000 | #Constraints: 13383
349.00/350.00 c #Conflicts: 359000 | #Constraints: 14383
349.00/350.00 c #Conflicts: 360000 | #Constraints: 15383
349.00/350.00 c #Conflicts: 361000 | #Constraints: 16383
349.00/350.00 c #Conflicts: 362000 | #Constraints: 17383
349.00/350.00 c #Conflicts: 363000 | #Constraints: 18383
440.74/442.01 c #Conflicts: 364000 | #Constraints: 19383
440.74/442.01 c #Conflicts: 365000 | #Constraints: 20383
440.74/442.01 c #Conflicts: 366000 | #Constraints: 21383
440.74/442.01 c #Conflicts: 367000 | #Constraints: 22383
440.74/442.01 c #Conflicts: 368000 | #Constraints: 23383
440.74/442.01 c #Conflicts: 369000 | #Constraints: 24383
440.74/442.01 c INPROCESSING
440.74/442.01 c GARBAGE COLLECT
440.74/442.01 c #Conflicts: 370000 | #Constraints: 13384
440.74/442.01 c #Conflicts: 371000 | #Constraints: 14384
440.74/442.01 c #Conflicts: 372000 | #Constraints: 15384
440.74/442.01 c #Conflicts: 373000 | #Constraints: 16384
440.74/442.01 c #Conflicts: 374000 | #Constraints: 17384
440.74/442.01 c #Conflicts: 375000 | #Constraints: 18384
440.74/442.01 c #Conflicts: 376000 | #Constraints: 19384
440.74/442.01 c #Conflicts: 377000 | #Constraints: 20384
440.74/442.01 c #Conflicts: 378000 | #Constraints: 21384
440.74/442.01 c #Conflicts: 379000 | #Constraints: 22384
440.74/442.01 c #Conflicts: 380000 | #Constraints: 23384
440.74/442.01 c #Conflicts: 381000 | #Constraints: 24384
440.74/442.01 c INPROCESSING
440.74/442.01 c GARBAGE COLLECT
440.74/442.01 c #Conflicts: 382000 | #Constraints: 13180
440.74/442.01 c #Conflicts: 383000 | #Constraints: 14180
440.74/442.01 c #Conflicts: 384000 | #Constraints: 15180
440.74/442.01 c #Conflicts: 385000 | #Constraints: 16180
440.74/442.01 c #Conflicts: 386000 | #Constraints: 17180
440.74/442.01 c #Conflicts: 387000 | #Constraints: 18180
440.74/442.01 c #Conflicts: 388000 | #Constraints: 19180
440.74/442.01 c #Conflicts: 389000 | #Constraints: 20180
440.74/442.01 c #Conflicts: 390000 | #Constraints: 21180
440.74/442.01 c #Conflicts: 391000 | #Constraints: 22180
440.74/442.01 c #Conflicts: 392000 | #Constraints: 23180
440.74/442.01 c #Conflicts: 393000 | #Constraints: 24180
440.74/442.01 c #Conflicts: 394000 | #Constraints: 25180
440.74/442.01 c INPROCESSING
440.74/442.01 c GARBAGE COLLECT
440.74/442.01 c #Conflicts: 395000 | #Constraints: 13782
440.74/442.01 c #Conflicts: 396000 | #Constraints: 14782
440.74/442.01 c #Conflicts: 397000 | #Constraints: 15782
440.74/442.01 c #Conflicts: 398000 | #Constraints: 16782
440.74/442.01 c #Conflicts: 399000 | #Constraints: 17782
440.74/442.01 c #Conflicts: 400000 | #Constraints: 18782
440.74/442.01 c #Conflicts: 401000 | #Constraints: 19782
440.74/442.01 c #Conflicts: 402000 | #Constraints: 20782
440.74/442.01 c #Conflicts: 403000 | #Constraints: 21782
440.74/442.01 c #Conflicts: 404000 | #Constraints: 22782
440.74/442.01 c #Conflicts: 405000 | #Constraints: 23782
440.74/442.01 c #Conflicts: 406000 | #Constraints: 24782
440.74/442.01 c #Conflicts: 407000 | #Constraints: 25782
440.74/442.01 c INPROCESSING
440.74/442.01 c GARBAGE COLLECT
440.74/442.01 c #Conflicts: 408000 | #Constraints: 14180
440.74/442.01 c #Conflicts: 409000 | #Constraints: 15180
440.74/442.01 c #Conflicts: 410000 | #Constraints: 16180
440.74/442.01 c #Conflicts: 411000 | #Constraints: 17180
440.74/442.01 c #Conflicts: 412000 | #Constraints: 18180
440.74/442.01 c #Conflicts: 413000 | #Constraints: 19180
440.74/442.01 c #Conflicts: 414000 | #Constraints: 20180
440.74/442.01 c #Conflicts: 415000 | #Constraints: 21180
440.74/442.01 c #Conflicts: 416000 | #Constraints: 22180
440.74/442.01 c #Conflicts: 417000 | #Constraints: 23180
440.74/442.01 c #Conflicts: 418000 | #Constraints: 24180
440.74/442.01 c #Conflicts: 419000 | #Constraints: 25180
440.74/442.01 c #Conflicts: 420000 | #Constraints: 26180
440.74/442.02 c INPROCESSING
440.74/442.02 c GARBAGE COLLECT
440.74/442.02 c #Conflicts: 421000 | #Constraints: 14383
440.74/442.02 c #Conflicts: 422000 | #Constraints: 15383
440.74/442.02 c #Conflicts: 423000 | #Constraints: 16383
440.74/442.02 c #Conflicts: 424000 | #Constraints: 17383
440.74/442.02 c #Conflicts: 425000 | #Constraints: 18383
440.74/442.02 c #Conflicts: 426000 | #Constraints: 19383
440.74/442.02 c #Conflicts: 427000 | #Constraints: 20383
440.74/442.02 c #Conflicts: 428000 | #Constraints: 21383
440.74/442.02 c #Conflicts: 429000 | #Constraints: 22383
440.74/442.02 c #Conflicts: 430000 | #Constraints: 23383
440.74/442.02 c #Conflicts: 431000 | #Constraints: 24383
440.74/442.02 c #Conflicts: 432000 | #Constraints: 25383
440.74/442.02 c #Conflicts: 433000 | #Constraints: 26383
440.74/442.02 c INPROCESSING
440.74/442.02 c GARBAGE COLLECT
440.74/442.02 c #Conflicts: 434000 | #Constraints: 14382
440.74/442.02 c #Conflicts: 435000 | #Constraints: 15382
440.74/442.02 c #Conflicts: 436000 | #Constraints: 16382
440.74/442.02 c #Conflicts: 437000 | #Constraints: 17382
440.74/442.02 c #Conflicts: 438000 | #Constraints: 18382
538.57/540.14 c #Conflicts: 439000 | #Constraints: 19382
538.57/540.14 c #Conflicts: 440000 | #Constraints: 20382
538.57/540.14 c #Conflicts: 441000 | #Constraints: 21382
538.57/540.14 c #Conflicts: 442000 | #Constraints: 22382
538.57/540.14 c #Conflicts: 443000 | #Constraints: 23382
538.57/540.14 c #Conflicts: 444000 | #Constraints: 24382
538.57/540.14 c #Conflicts: 445000 | #Constraints: 25382
538.57/540.14 c #Conflicts: 446000 | #Constraints: 26382
538.57/540.14 c INPROCESSING
538.57/540.14 c GARBAGE COLLECT
538.57/540.14 c #Conflicts: 447000 | #Constraints: 14187
538.57/540.14 c #Conflicts: 448000 | #Constraints: 15187
538.57/540.14 c #Conflicts: 449000 | #Constraints: 16187
538.57/540.14 c #Conflicts: 450000 | #Constraints: 17187
538.57/540.14 c #Conflicts: 451000 | #Constraints: 18187
538.57/540.14 c #Conflicts: 452000 | #Constraints: 19187
538.57/540.14 c #Conflicts: 453000 | #Constraints: 20187
538.57/540.14 c #Conflicts: 454000 | #Constraints: 21187
538.57/540.14 c #Conflicts: 455000 | #Constraints: 22187
538.57/540.14 c #Conflicts: 456000 | #Constraints: 23187
538.57/540.14 c #Conflicts: 457000 | #Constraints: 24187
538.57/540.14 c #Conflicts: 458000 | #Constraints: 25187
538.57/540.14 c #Conflicts: 459000 | #Constraints: 26187
538.57/540.14 c #Conflicts: 460000 | #Constraints: 27187
538.57/540.14 c INPROCESSING
538.57/540.14 c GARBAGE COLLECT
538.57/540.14 c #Conflicts: 461000 | #Constraints: 14784
538.57/540.14 c #Conflicts: 462000 | #Constraints: 15784
538.57/540.14 c #Conflicts: 463000 | #Constraints: 16784
538.57/540.14 c #Conflicts: 464000 | #Constraints: 17784
538.57/540.14 c #Conflicts: 465000 | #Constraints: 18784
538.57/540.14 c #Conflicts: 466000 | #Constraints: 19784
538.57/540.14 c #Conflicts: 467000 | #Constraints: 20784
538.57/540.14 c #Conflicts: 468000 | #Constraints: 21784
538.57/540.14 c #Conflicts: 469000 | #Constraints: 22784
538.57/540.14 c #Conflicts: 470000 | #Constraints: 23784
538.57/540.14 c #Conflicts: 471000 | #Constraints: 24784
538.57/540.14 c #Conflicts: 472000 | #Constraints: 25784
538.57/540.14 c #Conflicts: 473000 | #Constraints: 26784
538.57/540.14 c #Conflicts: 474000 | #Constraints: 27784
538.57/540.14 c INPROCESSING
538.57/540.14 c GARBAGE COLLECT
538.57/540.14 c #Conflicts: 475000 | #Constraints: 15183
538.57/540.14 c #Conflicts: 476000 | #Constraints: 16183
538.57/540.14 c #Conflicts: 477000 | #Constraints: 17183
538.57/540.14 c #Conflicts: 478000 | #Constraints: 18183
538.57/540.14 c #Conflicts: 479000 | #Constraints: 19183
538.57/540.14 c #Conflicts: 480000 | #Constraints: 20183
538.57/540.14 c #Conflicts: 481000 | #Constraints: 21183
538.57/540.14 c #Conflicts: 482000 | #Constraints: 22183
538.57/540.14 c #Conflicts: 483000 | #Constraints: 23183
538.57/540.14 c #Conflicts: 484000 | #Constraints: 24183
538.57/540.14 c #Conflicts: 485000 | #Constraints: 25183
538.57/540.14 c #Conflicts: 486000 | #Constraints: 26183
538.57/540.14 c #Conflicts: 487000 | #Constraints: 27183
538.57/540.14 c #Conflicts: 488000 | #Constraints: 28183
538.57/540.14 c INPROCESSING
538.57/540.14 c GARBAGE COLLECT
538.57/540.14 c #Conflicts: 489000 | #Constraints: 15393
538.57/540.14 c #Conflicts: 490000 | #Constraints: 16393
538.57/540.14 c #Conflicts: 491000 | #Constraints: 17393
538.57/540.14 c #Conflicts: 492000 | #Constraints: 18393
538.57/540.14 c #Conflicts: 493000 | #Constraints: 19393
538.57/540.14 c #Conflicts: 494000 | #Constraints: 20393
538.57/540.14 c #Conflicts: 495000 | #Constraints: 21393
538.57/540.14 c #Conflicts: 496000 | #Constraints: 22393
538.57/540.14 c #Conflicts: 497000 | #Constraints: 23393
538.57/540.14 c #Conflicts: 498000 | #Constraints: 24393
538.57/540.14 c #Conflicts: 499000 | #Constraints: 25393
538.57/540.14 c #Conflicts: 500000 | #Constraints: 26393
538.57/540.14 c #Conflicts: 501000 | #Constraints: 27393
538.57/540.14 c #Conflicts: 502000 | #Constraints: 28393
538.57/540.14 c INPROCESSING
538.57/540.14 c GARBAGE COLLECT
538.57/540.14 c #Conflicts: 503000 | #Constraints: 15387
538.57/540.14 c #Conflicts: 504000 | #Constraints: 16387
538.57/540.14 c #Conflicts: 505000 | #Constraints: 17387
538.57/540.14 c #Conflicts: 506000 | #Constraints: 18387
538.57/540.14 c #Conflicts: 507000 | #Constraints: 19387
538.57/540.14 c #Conflicts: 508000 | #Constraints: 20387
538.57/540.14 c #Conflicts: 509000 | #Constraints: 21387
538.57/540.14 c #Conflicts: 510000 | #Constraints: 22387
538.57/540.14 c #Conflicts: 511000 | #Constraints: 23387
538.57/540.14 c #Conflicts: 512000 | #Constraints: 24387
538.57/540.14 c #Conflicts: 513000 | #Constraints: 25387
538.57/540.14 c #Conflicts: 514000 | #Constraints: 26387
664.76/666.75 c #Conflicts: 515000 | #Constraints: 27387
664.76/666.75 c #Conflicts: 516000 | #Constraints: 28387
664.76/666.75 c INPROCESSING
664.76/666.75 c GARBAGE COLLECT
664.76/666.75 c #Conflicts: 517000 | #Constraints: 15185
664.76/666.75 c #Conflicts: 518000 | #Constraints: 16185
664.76/666.75 c #Conflicts: 519000 | #Constraints: 17185
664.76/666.75 c #Conflicts: 520000 | #Constraints: 18185
664.76/666.75 c #Conflicts: 521000 | #Constraints: 19185
664.76/666.75 c #Conflicts: 522000 | #Constraints: 20185
664.76/666.75 c #Conflicts: 523000 | #Constraints: 21185
664.76/666.75 c #Conflicts: 524000 | #Constraints: 22185
664.76/666.75 c #Conflicts: 525000 | #Constraints: 23185
664.76/666.75 c #Conflicts: 526000 | #Constraints: 24185
664.76/666.75 c #Conflicts: 527000 | #Constraints: 25185
664.76/666.75 c #Conflicts: 528000 | #Constraints: 26185
664.76/666.75 c #Conflicts: 529000 | #Constraints: 27185
664.76/666.75 c #Conflicts: 530000 | #Constraints: 28185
664.76/666.75 c #Conflicts: 531000 | #Constraints: 29185
664.76/666.75 c INPROCESSING
664.76/666.75 c GARBAGE COLLECT
664.76/666.75 c #Conflicts: 532000 | #Constraints: 15779
664.76/666.75 c #Conflicts: 533000 | #Constraints: 16779
664.76/666.75 c #Conflicts: 534000 | #Constraints: 17779
664.76/666.75 c #Conflicts: 535000 | #Constraints: 18779
664.76/666.75 c #Conflicts: 536000 | #Constraints: 19779
664.76/666.75 c #Conflicts: 537000 | #Constraints: 20779
664.76/666.75 c #Conflicts: 538000 | #Constraints: 21779
664.76/666.75 c #Conflicts: 539000 | #Constraints: 22779
664.76/666.75 c #Conflicts: 540000 | #Constraints: 23779
664.76/666.75 c #Conflicts: 541000 | #Constraints: 24779
664.76/666.75 c #Conflicts: 542000 | #Constraints: 25779
664.76/666.75 c #Conflicts: 543000 | #Constraints: 26779
664.76/666.75 c #Conflicts: 544000 | #Constraints: 27779
664.76/666.75 c #Conflicts: 545000 | #Constraints: 28779
664.76/666.75 c #Conflicts: 546000 | #Constraints: 29779
664.76/666.75 c INPROCESSING
664.76/666.75 c GARBAGE COLLECT
664.76/666.75 c #Conflicts: 547000 | #Constraints: 16185
664.76/666.75 c #Conflicts: 548000 | #Constraints: 17185
664.76/666.75 c #Conflicts: 549000 | #Constraints: 18185
664.76/666.75 c #Conflicts: 550000 | #Constraints: 19185
664.76/666.75 c #Conflicts: 551000 | #Constraints: 20185
664.76/666.75 c #Conflicts: 552000 | #Constraints: 21185
664.76/666.75 c #Conflicts: 553000 | #Constraints: 22185
664.76/666.75 c #Conflicts: 554000 | #Constraints: 23185
664.76/666.75 c #Conflicts: 555000 | #Constraints: 24185
664.76/666.75 c #Conflicts: 556000 | #Constraints: 25185
664.76/666.75 c #Conflicts: 557000 | #Constraints: 26185
664.76/666.75 c #Conflicts: 558000 | #Constraints: 27185
664.76/666.75 c #Conflicts: 559000 | #Constraints: 28185
664.76/666.75 c #Conflicts: 560000 | #Constraints: 29185
664.76/666.75 c #Conflicts: 561000 | #Constraints: 30185
664.76/666.75 c INPROCESSING
664.76/666.75 c GARBAGE COLLECT
664.76/666.75 c #Conflicts: 562000 | #Constraints: 16380
664.76/666.75 c #Conflicts: 563000 | #Constraints: 17380
664.76/666.75 c #Conflicts: 564000 | #Constraints: 18380
664.76/666.75 c #Conflicts: 565000 | #Constraints: 19380
664.76/666.75 c #Conflicts: 566000 | #Constraints: 20380
664.76/666.75 c #Conflicts: 567000 | #Constraints: 21380
664.76/666.75 c #Conflicts: 568000 | #Constraints: 22380
664.76/666.75 c #Conflicts: 569000 | #Constraints: 23380
664.76/666.75 c #Conflicts: 570000 | #Constraints: 24380
664.76/666.75 c #Conflicts: 571000 | #Constraints: 25380
664.76/666.75 c #Conflicts: 572000 | #Constraints: 26380
664.76/666.75 c #Conflicts: 573000 | #Constraints: 27380
664.76/666.75 c #Conflicts: 574000 | #Constraints: 28380
664.76/666.75 c #Conflicts: 575000 | #Constraints: 29380
664.76/666.75 c #Conflicts: 576000 | #Constraints: 30380
664.76/666.75 c INPROCESSING
664.76/666.75 c GARBAGE COLLECT
664.76/666.75 c #Conflicts: 577000 | #Constraints: 16378
664.76/666.75 c #Conflicts: 578000 | #Constraints: 17378
664.76/666.75 c #Conflicts: 579000 | #Constraints: 18378
664.76/666.75 c #Conflicts: 580000 | #Constraints: 19378
664.76/666.75 c #Conflicts: 581000 | #Constraints: 20378
664.76/666.75 c #Conflicts: 582000 | #Constraints: 21378
664.76/666.75 c #Conflicts: 583000 | #Constraints: 22378
664.76/666.75 c #Conflicts: 584000 | #Constraints: 23378
664.76/666.75 c #Conflicts: 585000 | #Constraints: 24378
664.76/666.75 c #Conflicts: 586000 | #Constraints: 25378
664.76/666.75 c #Conflicts: 587000 | #Constraints: 26378
664.76/666.75 c #Conflicts: 588000 | #Constraints: 27378
664.76/666.75 c #Conflicts: 589000 | #Constraints: 28378
664.76/666.75 c #Conflicts: 590000 | #Constraints: 29378
789.56/791.97 c #Conflicts: 591000 | #Constraints: 30378
789.56/791.97 c INPROCESSING
789.56/791.97 c GARBAGE COLLECT
789.56/791.97 c #Conflicts: 592000 | #Constraints: 16181
789.56/791.97 c #Conflicts: 593000 | #Constraints: 17181
789.56/791.97 c #Conflicts: 594000 | #Constraints: 18181
789.56/791.97 c #Conflicts: 595000 | #Constraints: 19181
789.56/791.97 c #Conflicts: 596000 | #Constraints: 20181
789.56/791.97 c #Conflicts: 597000 | #Constraints: 21181
789.56/791.97 c #Conflicts: 598000 | #Constraints: 22181
789.56/791.97 c #Conflicts: 599000 | #Constraints: 23181
789.56/791.97 c #Conflicts: 600000 | #Constraints: 24181
789.56/791.97 c #Conflicts: 601000 | #Constraints: 25181
789.56/791.97 c #Conflicts: 602000 | #Constraints: 26181
789.56/791.97 c #Conflicts: 603000 | #Constraints: 27181
789.56/791.97 c #Conflicts: 604000 | #Constraints: 28181
789.56/791.97 c #Conflicts: 605000 | #Constraints: 29181
789.56/791.97 c #Conflicts: 606000 | #Constraints: 30181
789.56/791.97 c #Conflicts: 607000 | #Constraints: 31181
789.56/791.97 c INPROCESSING
789.56/791.97 c GARBAGE COLLECT
789.56/791.97 c #Conflicts: 608000 | #Constraints: 16764
789.56/791.97 c #Conflicts: 609000 | #Constraints: 17764
789.56/791.97 c #Conflicts: 610000 | #Constraints: 18764
789.56/791.97 c #Conflicts: 611000 | #Constraints: 19764
789.56/791.97 c #Conflicts: 612000 | #Constraints: 20764
789.56/791.97 c #Conflicts: 613000 | #Constraints: 21764
789.56/791.97 c #Conflicts: 614000 | #Constraints: 22764
789.56/791.97 c #Conflicts: 615000 | #Constraints: 23764
789.56/791.97 c #Conflicts: 616000 | #Constraints: 24764
789.56/791.97 c #Conflicts: 617000 | #Constraints: 25764
789.56/791.97 c #Conflicts: 618000 | #Constraints: 26764
789.56/791.97 c #Conflicts: 619000 | #Constraints: 27764
789.56/791.97 c #Conflicts: 620000 | #Constraints: 28764
789.56/791.97 c #Conflicts: 621000 | #Constraints: 29764
789.56/791.97 c #Conflicts: 622000 | #Constraints: 30764
789.56/791.97 c #Conflicts: 623000 | #Constraints: 31764
789.56/791.97 c INPROCESSING
789.56/791.97 c GARBAGE COLLECT
789.56/791.97 c #Conflicts: 624000 | #Constraints: 17176
789.56/791.97 c #Conflicts: 625000 | #Constraints: 18176
789.56/791.97 c #Conflicts: 626000 | #Constraints: 19176
789.56/791.97 c #Conflicts: 627000 | #Constraints: 20176
789.56/791.97 c #Conflicts: 628000 | #Constraints: 21176
789.56/791.97 c #Conflicts: 629000 | #Constraints: 22176
789.56/791.97 c #Conflicts: 630000 | #Constraints: 23176
789.56/791.97 c #Conflicts: 631000 | #Constraints: 24176
789.56/791.97 c #Conflicts: 632000 | #Constraints: 25176
789.56/791.97 c #Conflicts: 633000 | #Constraints: 26176
789.56/791.97 c #Conflicts: 634000 | #Constraints: 27176
789.56/791.97 c #Conflicts: 635000 | #Constraints: 28176
789.56/791.97 c #Conflicts: 636000 | #Constraints: 29176
789.56/791.97 c #Conflicts: 637000 | #Constraints: 30176
789.56/791.97 c #Conflicts: 638000 | #Constraints: 31176
789.56/791.97 c #Conflicts: 639000 | #Constraints: 32176
789.56/791.97 c INPROCESSING
789.56/791.97 c GARBAGE COLLECT
789.56/791.97 c #Conflicts: 640000 | #Constraints: 17383
789.56/791.97 c #Conflicts: 641000 | #Constraints: 18383
789.56/791.97 c #Conflicts: 642000 | #Constraints: 19383
789.56/791.97 c #Conflicts: 643000 | #Constraints: 20383
789.56/791.97 c #Conflicts: 644000 | #Constraints: 21383
789.56/791.97 c #Conflicts: 645000 | #Constraints: 22383
789.56/791.97 c #Conflicts: 646000 | #Constraints: 23383
789.56/791.97 c #Conflicts: 647000 | #Constraints: 24383
789.56/791.97 c #Conflicts: 648000 | #Constraints: 25383
789.56/791.97 c #Conflicts: 649000 | #Constraints: 26383
789.56/791.97 c #Conflicts: 650000 | #Constraints: 27383
789.56/791.97 c #Conflicts: 651000 | #Constraints: 28383
789.56/791.97 c #Conflicts: 652000 | #Constraints: 29383
789.56/791.97 c #Conflicts: 653000 | #Constraints: 30383
789.56/791.97 c #Conflicts: 654000 | #Constraints: 31383
789.56/791.97 c #Conflicts: 655000 | #Constraints: 32383
789.56/791.97 c INPROCESSING
789.56/791.97 c GARBAGE COLLECT
789.56/791.97 c #Conflicts: 656000 | #Constraints: 17381
789.56/791.97 c #Conflicts: 657000 | #Constraints: 18381
789.56/791.97 c #Conflicts: 658000 | #Constraints: 19381
789.56/791.97 c #Conflicts: 659000 | #Constraints: 20381
789.56/791.97 c #Conflicts: 660000 | #Constraints: 21381
789.56/791.97 c #Conflicts: 661000 | #Constraints: 22381
789.56/791.97 c #Conflicts: 662000 | #Constraints: 23381
789.56/791.97 c #Conflicts: 663000 | #Constraints: 24381
789.56/791.97 c #Conflicts: 664000 | #Constraints: 25381
789.56/791.97 c #Conflicts: 665000 | #Constraints: 26381
834.72/837.26 c #Conflicts: 666000 | #Constraints: 27381
834.72/837.26 c #Conflicts: 667000 | #Constraints: 28381
834.72/837.26 c #Conflicts: 668000 | #Constraints: 29381
834.72/837.26 c #Conflicts: 669000 | #Constraints: 30381
834.72/837.26 c #Conflicts: 670000 | #Constraints: 31381
834.72/837.26 c #Conflicts: 671000 | #Constraints: 32381
834.72/837.26 c INPROCESSING
834.72/837.26 c GARBAGE COLLECT
834.72/837.26 c #Conflicts: 672000 | #Constraints: 17190
834.72/837.26 c #Conflicts: 673000 | #Constraints: 18190
834.72/837.26 c #Conflicts: 674000 | #Constraints: 19190
834.72/837.26 c #Conflicts: 675000 | #Constraints: 20190
834.72/837.26 c #Conflicts: 676000 | #Constraints: 21190
834.72/837.26 c #Conflicts: 677000 | #Constraints: 22190
834.72/837.26 c #Conflicts: 678000 | #Constraints: 23190
834.72/837.26 c #Conflicts: 679000 | #Constraints: 24190
834.72/837.26 c #Conflicts: 680000 | #Constraints: 25190
834.72/837.26 c #Conflicts: 681000 | #Constraints: 26190
834.72/837.26 c #Conflicts: 682000 | #Constraints: 27190
834.72/837.26 c #Conflicts: 683000 | #Constraints: 28190
834.72/837.26 c #Conflicts: 684000 | #Constraints: 29190
834.72/837.26 c #Conflicts: 685000 | #Constraints: 30190
834.72/837.26 c #Conflicts: 686000 | #Constraints: 31190
834.72/837.26 c #Conflicts: 687000 | #Constraints: 32190
834.72/837.26 c #Conflicts: 688000 | #Constraints: 33190
834.72/837.26 c INPROCESSING
834.72/837.26 c GARBAGE COLLECT
834.72/837.26 c GLOBAL bounds - >= 0 @ 829.017
968.68/971.67 c #Conflicts: 689000 | #Constraints: 17799
968.68/971.67 c #Conflicts: 690000 | #Constraints: 18799
968.68/971.67 c #Conflicts: 691000 | #Constraints: 19799
968.68/971.67 c #Conflicts: 692000 | #Constraints: 20799
968.68/971.67 c #Conflicts: 693000 | #Constraints: 21799
968.68/971.67 c #Conflicts: 694000 | #Constraints: 22799
968.68/971.67 c #Conflicts: 695000 | #Constraints: 23799
968.68/971.67 c #Conflicts: 696000 | #Constraints: 24799
968.68/971.67 c #Conflicts: 697000 | #Constraints: 25799
968.68/971.67 c #Conflicts: 698000 | #Constraints: 26799
968.68/971.67 c #Conflicts: 699000 | #Constraints: 27799
968.68/971.67 c #Conflicts: 700000 | #Constraints: 28799
968.68/971.67 c #Conflicts: 701000 | #Constraints: 29799
968.68/971.67 c #Conflicts: 702000 | #Constraints: 30799
968.68/971.67 c #Conflicts: 703000 | #Constraints: 31799
968.68/971.67 c #Conflicts: 704000 | #Constraints: 32799
968.68/971.67 c #Conflicts: 705000 | #Constraints: 33799
968.68/971.67 c INPROCESSING
968.68/971.67 c GARBAGE COLLECT
968.68/971.67 c #Conflicts: 706000 | #Constraints: 18187
968.68/971.67 c #Conflicts: 707000 | #Constraints: 19187
968.68/971.67 c #Conflicts: 708000 | #Constraints: 20187
968.68/971.67 c #Conflicts: 709000 | #Constraints: 21187
968.68/971.67 c #Conflicts: 710000 | #Constraints: 22187
968.68/971.67 c #Conflicts: 711000 | #Constraints: 23187
968.68/971.67 c #Conflicts: 712000 | #Constraints: 24187
968.68/971.67 c #Conflicts: 713000 | #Constraints: 25187
968.68/971.67 c #Conflicts: 714000 | #Constraints: 26187
968.68/971.67 c #Conflicts: 715000 | #Constraints: 27187
968.68/971.67 c #Conflicts: 716000 | #Constraints: 28187
968.68/971.67 c #Conflicts: 717000 | #Constraints: 29187
968.68/971.67 c #Conflicts: 718000 | #Constraints: 30187
968.68/971.67 c #Conflicts: 719000 | #Constraints: 31187
968.68/971.67 c #Conflicts: 720000 | #Constraints: 32187
968.68/971.67 c #Conflicts: 721000 | #Constraints: 33187
968.68/971.67 c #Conflicts: 722000 | #Constraints: 34187
968.68/971.67 c INPROCESSING
968.68/971.67 c GARBAGE COLLECT
968.68/971.67 c #Conflicts: 723000 | #Constraints: 18385
968.68/971.67 c #Conflicts: 724000 | #Constraints: 19385
968.68/971.67 c #Conflicts: 725000 | #Constraints: 20385
968.68/971.67 c #Conflicts: 726000 | #Constraints: 21385
968.68/971.67 c #Conflicts: 727000 | #Constraints: 22385
968.68/971.67 c #Conflicts: 728000 | #Constraints: 23385
968.68/971.67 c #Conflicts: 729000 | #Constraints: 24385
968.68/971.67 c #Conflicts: 730000 | #Constraints: 25385
968.68/971.67 c #Conflicts: 731000 | #Constraints: 26385
968.68/971.67 c #Conflicts: 732000 | #Constraints: 27385
968.68/971.67 c #Conflicts: 733000 | #Constraints: 28385
968.68/971.67 c #Conflicts: 734000 | #Constraints: 29385
968.68/971.67 c #Conflicts: 735000 | #Constraints: 30385
968.68/971.67 c #Conflicts: 736000 | #Constraints: 31385
968.68/971.67 c #Conflicts: 737000 | #Constraints: 32385
968.68/971.67 c #Conflicts: 738000 | #Constraints: 33385
968.68/971.67 c #Conflicts: 739000 | #Constraints: 34385
968.68/971.67 c INPROCESSING
968.68/971.67 c GARBAGE COLLECT
968.68/971.67 c #Conflicts: 740000 | #Constraints: 18385
968.68/971.67 c #Conflicts: 741000 | #Constraints: 19385
968.68/971.67 c #Conflicts: 742000 | #Constraints: 20385
968.68/971.67 c #Conflicts: 743000 | #Constraints: 21385
968.68/971.67 c #Conflicts: 744000 | #Constraints: 22385
968.68/971.67 c #Conflicts: 745000 | #Constraints: 23385
968.68/971.67 c #Conflicts: 746000 | #Constraints: 24385
968.68/971.67 c #Conflicts: 747000 | #Constraints: 25385
968.68/971.67 c #Conflicts: 748000 | #Constraints: 26385
968.68/971.67 c #Conflicts: 749000 | #Constraints: 27385
968.68/971.67 c #Conflicts: 750000 | #Constraints: 28385
968.68/971.67 c #Conflicts: 751000 | #Constraints: 29385
968.68/971.67 c #Conflicts: 752000 | #Constraints: 30385
968.68/971.67 c #Conflicts: 753000 | #Constraints: 31385
968.68/971.67 c #Conflicts: 754000 | #Constraints: 32385
968.68/971.67 c #Conflicts: 755000 | #Constraints: 33385
968.68/971.67 c #Conflicts: 756000 | #Constraints: 34385
968.68/971.67 c INPROCESSING
968.68/971.67 c GARBAGE COLLECT
968.68/971.67 c #Conflicts: 757000 | #Constraints: 18182
968.68/971.67 c #Conflicts: 758000 | #Constraints: 19182
968.68/971.67 c #Conflicts: 759000 | #Constraints: 20182
968.68/971.67 c #Conflicts: 760000 | #Constraints: 21182
968.68/971.67 c #Conflicts: 761000 | #Constraints: 22182
968.68/971.67 c #Conflicts: 762000 | #Constraints: 23182
968.68/971.67 c #Conflicts: 763000 | #Constraints: 24182
968.68/971.67 c #Conflicts: 764000 | #Constraints: 25182
968.68/971.67 c #Conflicts: 765000 | #Constraints: 26182
1117.84/1121.30 c #Conflicts: 766000 | #Constraints: 27182
1117.84/1121.30 c #Conflicts: 767000 | #Constraints: 28182
1117.84/1121.30 c #Conflicts: 768000 | #Constraints: 29182
1117.84/1121.30 c #Conflicts: 769000 | #Constraints: 30182
1117.84/1121.30 c #Conflicts: 770000 | #Constraints: 31182
1117.84/1121.30 c #Conflicts: 771000 | #Constraints: 32182
1117.84/1121.30 c #Conflicts: 772000 | #Constraints: 33182
1117.84/1121.30 c #Conflicts: 773000 | #Constraints: 34182
1117.84/1121.30 c #Conflicts: 774000 | #Constraints: 35182
1117.84/1121.30 c INPROCESSING
1117.84/1121.30 c GARBAGE COLLECT
1117.84/1121.30 c #Conflicts: 775000 | #Constraints: 18782
1117.84/1121.30 c #Conflicts: 776000 | #Constraints: 19782
1117.84/1121.30 c #Conflicts: 777000 | #Constraints: 20782
1117.84/1121.30 c #Conflicts: 778000 | #Constraints: 21782
1117.84/1121.30 c #Conflicts: 779000 | #Constraints: 22782
1117.84/1121.30 c #Conflicts: 780000 | #Constraints: 23782
1117.84/1121.30 c #Conflicts: 781000 | #Constraints: 24782
1117.84/1121.30 c #Conflicts: 782000 | #Constraints: 25782
1117.84/1121.30 c #Conflicts: 783000 | #Constraints: 26782
1117.84/1121.30 c #Conflicts: 784000 | #Constraints: 27782
1117.84/1121.30 c #Conflicts: 785000 | #Constraints: 28782
1117.84/1121.30 c #Conflicts: 786000 | #Constraints: 29782
1117.84/1121.30 c #Conflicts: 787000 | #Constraints: 30782
1117.84/1121.30 c #Conflicts: 788000 | #Constraints: 31782
1117.84/1121.30 c #Conflicts: 789000 | #Constraints: 32782
1117.84/1121.30 c #Conflicts: 790000 | #Constraints: 33782
1117.84/1121.30 c #Conflicts: 791000 | #Constraints: 34782
1117.84/1121.30 c #Conflicts: 792000 | #Constraints: 35782
1117.84/1121.30 c INPROCESSING
1117.84/1121.30 c GARBAGE COLLECT
1117.84/1121.30 c #Conflicts: 793000 | #Constraints: 19178
1117.84/1121.30 c #Conflicts: 794000 | #Constraints: 20178
1117.84/1121.30 c #Conflicts: 795000 | #Constraints: 21178
1117.84/1121.30 c #Conflicts: 796000 | #Constraints: 22178
1117.84/1121.30 c #Conflicts: 797000 | #Constraints: 23178
1117.84/1121.30 c #Conflicts: 798000 | #Constraints: 24178
1117.84/1121.30 c #Conflicts: 799000 | #Constraints: 25178
1117.84/1121.30 c #Conflicts: 800000 | #Constraints: 26178
1117.84/1121.30 c #Conflicts: 801000 | #Constraints: 27178
1117.84/1121.30 c #Conflicts: 802000 | #Constraints: 28178
1117.84/1121.30 c #Conflicts: 803000 | #Constraints: 29178
1117.84/1121.30 c #Conflicts: 804000 | #Constraints: 30178
1117.84/1121.30 c #Conflicts: 805000 | #Constraints: 31178
1117.84/1121.30 c #Conflicts: 806000 | #Constraints: 32178
1117.84/1121.30 c #Conflicts: 807000 | #Constraints: 33178
1117.84/1121.30 c #Conflicts: 808000 | #Constraints: 34178
1117.84/1121.30 c #Conflicts: 809000 | #Constraints: 35178
1117.84/1121.30 c #Conflicts: 810000 | #Constraints: 36178
1117.84/1121.30 c INPROCESSING
1117.84/1121.30 c GARBAGE COLLECT
1117.84/1121.30 c #Conflicts: 811000 | #Constraints: 19382
1117.84/1121.30 c #Conflicts: 812000 | #Constraints: 20382
1117.84/1121.30 c #Conflicts: 813000 | #Constraints: 21382
1117.84/1121.30 c #Conflicts: 814000 | #Constraints: 22382
1117.84/1121.30 c #Conflicts: 815000 | #Constraints: 23382
1117.84/1121.30 c #Conflicts: 816000 | #Constraints: 24382
1117.84/1121.30 c #Conflicts: 817000 | #Constraints: 25382
1117.84/1121.30 c #Conflicts: 818000 | #Constraints: 26382
1117.84/1121.30 c #Conflicts: 819000 | #Constraints: 27382
1117.84/1121.30 c #Conflicts: 820000 | #Constraints: 28382
1117.84/1121.30 c #Conflicts: 821000 | #Constraints: 29382
1117.84/1121.30 c #Conflicts: 822000 | #Constraints: 30382
1117.84/1121.30 c #Conflicts: 823000 | #Constraints: 31382
1117.84/1121.30 c #Conflicts: 824000 | #Constraints: 32382
1117.84/1121.30 c #Conflicts: 825000 | #Constraints: 33382
1117.84/1121.30 c #Conflicts: 826000 | #Constraints: 34382
1117.84/1121.30 c #Conflicts: 827000 | #Constraints: 35382
1117.84/1121.30 c #Conflicts: 828000 | #Constraints: 36382
1117.84/1121.30 c INPROCESSING
1117.84/1121.30 c GARBAGE COLLECT
1117.84/1121.30 c #Conflicts: 829000 | #Constraints: 19381
1117.84/1121.30 c #Conflicts: 830000 | #Constraints: 20381
1117.84/1121.30 c #Conflicts: 831000 | #Constraints: 21381
1117.84/1121.30 c #Conflicts: 832000 | #Constraints: 22381
1117.84/1121.30 c #Conflicts: 833000 | #Constraints: 23381
1117.84/1121.30 c #Conflicts: 834000 | #Constraints: 24381
1117.84/1121.30 c #Conflicts: 835000 | #Constraints: 25381
1117.84/1121.30 c #Conflicts: 836000 | #Constraints: 26381
1117.84/1121.30 c #Conflicts: 837000 | #Constraints: 27381
1117.84/1121.30 c #Conflicts: 838000 | #Constraints: 28381
1117.84/1121.30 c #Conflicts: 839000 | #Constraints: 29381
1117.84/1121.30 c #Conflicts: 840000 | #Constraints: 30381
1117.84/1121.30 c #Conflicts: 841000 | #Constraints: 31381
1275.22/1279.06 c #Conflicts: 842000 | #Constraints: 32381
1275.22/1279.06 c #Conflicts: 843000 | #Constraints: 33381
1275.22/1279.06 c #Conflicts: 844000 | #Constraints: 34381
1275.22/1279.06 c #Conflicts: 845000 | #Constraints: 35381
1275.22/1279.06 c #Conflicts: 846000 | #Constraints: 36381
1275.22/1279.06 c INPROCESSING
1275.22/1279.06 c GARBAGE COLLECT
1275.22/1279.06 c #Conflicts: 847000 | #Constraints: 19192
1275.22/1279.06 c #Conflicts: 848000 | #Constraints: 20192
1275.22/1279.06 c #Conflicts: 849000 | #Constraints: 21192
1275.22/1279.06 c #Conflicts: 850000 | #Constraints: 22192
1275.22/1279.06 c #Conflicts: 851000 | #Constraints: 23192
1275.22/1279.06 c #Conflicts: 852000 | #Constraints: 24192
1275.22/1279.06 c #Conflicts: 853000 | #Constraints: 25192
1275.22/1279.06 c #Conflicts: 854000 | #Constraints: 26192
1275.22/1279.06 c #Conflicts: 855000 | #Constraints: 27192
1275.22/1279.06 c #Conflicts: 856000 | #Constraints: 28192
1275.22/1279.06 c #Conflicts: 857000 | #Constraints: 29192
1275.22/1279.06 c #Conflicts: 858000 | #Constraints: 30192
1275.22/1279.06 c #Conflicts: 859000 | #Constraints: 31192
1275.22/1279.06 c #Conflicts: 860000 | #Constraints: 32192
1275.22/1279.06 c #Conflicts: 861000 | #Constraints: 33192
1275.22/1279.06 c #Conflicts: 862000 | #Constraints: 34192
1275.22/1279.06 c #Conflicts: 863000 | #Constraints: 35192
1275.22/1279.06 c #Conflicts: 864000 | #Constraints: 36192
1275.22/1279.06 c #Conflicts: 865000 | #Constraints: 37192
1275.22/1279.06 c INPROCESSING
1275.22/1279.06 c GARBAGE COLLECT
1275.22/1279.06 c #Conflicts: 866000 | #Constraints: 19781
1275.22/1279.06 c #Conflicts: 867000 | #Constraints: 20781
1275.22/1279.06 c #Conflicts: 868000 | #Constraints: 21781
1275.22/1279.06 c #Conflicts: 869000 | #Constraints: 22781
1275.22/1279.06 c #Conflicts: 870000 | #Constraints: 23781
1275.22/1279.06 c #Conflicts: 871000 | #Constraints: 24781
1275.22/1279.06 c #Conflicts: 872000 | #Constraints: 25781
1275.22/1279.06 c #Conflicts: 873000 | #Constraints: 26781
1275.22/1279.06 c #Conflicts: 874000 | #Constraints: 27781
1275.22/1279.06 c #Conflicts: 875000 | #Constraints: 28781
1275.22/1279.06 c #Conflicts: 876000 | #Constraints: 29781
1275.22/1279.06 c #Conflicts: 877000 | #Constraints: 30781
1275.22/1279.06 c #Conflicts: 878000 | #Constraints: 31781
1275.22/1279.06 c #Conflicts: 879000 | #Constraints: 32781
1275.22/1279.06 c #Conflicts: 880000 | #Constraints: 33781
1275.22/1279.06 c #Conflicts: 881000 | #Constraints: 34781
1275.22/1279.06 c #Conflicts: 882000 | #Constraints: 35781
1275.22/1279.06 c #Conflicts: 883000 | #Constraints: 36781
1275.22/1279.06 c #Conflicts: 884000 | #Constraints: 37781
1275.22/1279.06 c INPROCESSING
1275.22/1279.06 c GARBAGE COLLECT
1275.22/1279.06 c #Conflicts: 885000 | #Constraints: 20183
1275.22/1279.06 c #Conflicts: 886000 | #Constraints: 21183
1275.22/1279.06 c #Conflicts: 887000 | #Constraints: 22183
1275.22/1279.06 c #Conflicts: 888000 | #Constraints: 23183
1275.22/1279.06 c #Conflicts: 889000 | #Constraints: 24183
1275.22/1279.06 c #Conflicts: 890000 | #Constraints: 25183
1275.22/1279.06 c #Conflicts: 891000 | #Constraints: 26183
1275.22/1279.06 c #Conflicts: 892000 | #Constraints: 27183
1275.22/1279.06 c #Conflicts: 893000 | #Constraints: 28183
1275.22/1279.06 c #Conflicts: 894000 | #Constraints: 29183
1275.22/1279.06 c #Conflicts: 895000 | #Constraints: 30183
1275.22/1279.06 c #Conflicts: 896000 | #Constraints: 31183
1275.22/1279.06 c #Conflicts: 897000 | #Constraints: 32183
1275.22/1279.06 c #Conflicts: 898000 | #Constraints: 33183
1275.22/1279.06 c #Conflicts: 899000 | #Constraints: 34183
1275.22/1279.06 c #Conflicts: 900000 | #Constraints: 35183
1275.22/1279.06 c #Conflicts: 901000 | #Constraints: 36183
1275.22/1279.06 c #Conflicts: 902000 | #Constraints: 37183
1275.22/1279.06 c #Conflicts: 903000 | #Constraints: 38183
1275.22/1279.06 c INPROCESSING
1275.22/1279.06 c GARBAGE COLLECT
1275.22/1279.06 c #Conflicts: 904000 | #Constraints: 20381
1275.22/1279.06 c #Conflicts: 905000 | #Constraints: 21381
1275.22/1279.06 c #Conflicts: 906000 | #Constraints: 22381
1275.22/1279.06 c #Conflicts: 907000 | #Constraints: 23381
1275.22/1279.06 c #Conflicts: 908000 | #Constraints: 24381
1275.22/1279.06 c #Conflicts: 909000 | #Constraints: 25381
1275.22/1279.06 c #Conflicts: 910000 | #Constraints: 26381
1275.22/1279.06 c #Conflicts: 911000 | #Constraints: 27381
1275.22/1279.06 c #Conflicts: 912000 | #Constraints: 28381
1275.22/1279.06 c #Conflicts: 913000 | #Constraints: 29381
1275.22/1279.06 c #Conflicts: 914000 | #Constraints: 30381
1275.22/1279.06 c #Conflicts: 915000 | #Constraints: 31381
1275.22/1279.06 c #Conflicts: 916000 | #Constraints: 32381
1275.22/1279.06 c #Conflicts: 917000 | #Constraints: 33381
1437.37/1441.68 c #Conflicts: 918000 | #Constraints: 34381
1437.37/1441.68 c #Conflicts: 919000 | #Constraints: 35381
1437.37/1441.68 c #Conflicts: 920000 | #Constraints: 36381
1437.37/1441.68 c #Conflicts: 921000 | #Constraints: 37381
1437.37/1441.68 c #Conflicts: 922000 | #Constraints: 38381
1437.37/1441.68 c INPROCESSING
1437.37/1441.68 c GARBAGE COLLECT
1437.37/1441.68 c #Conflicts: 923000 | #Constraints: 20380
1437.37/1441.68 c #Conflicts: 924000 | #Constraints: 21380
1437.37/1441.68 c #Conflicts: 925000 | #Constraints: 22380
1437.37/1441.68 c #Conflicts: 926000 | #Constraints: 23380
1437.37/1441.68 c #Conflicts: 927000 | #Constraints: 24380
1437.37/1441.68 c #Conflicts: 928000 | #Constraints: 25380
1437.37/1441.68 c #Conflicts: 929000 | #Constraints: 26380
1437.37/1441.68 c #Conflicts: 930000 | #Constraints: 27380
1437.37/1441.68 c #Conflicts: 931000 | #Constraints: 28380
1437.37/1441.68 c #Conflicts: 932000 | #Constraints: 29380
1437.37/1441.68 c #Conflicts: 933000 | #Constraints: 30380
1437.37/1441.68 c #Conflicts: 934000 | #Constraints: 31380
1437.37/1441.68 c #Conflicts: 935000 | #Constraints: 32380
1437.37/1441.68 c #Conflicts: 936000 | #Constraints: 33380
1437.37/1441.68 c #Conflicts: 937000 | #Constraints: 34380
1437.37/1441.68 c #Conflicts: 938000 | #Constraints: 35380
1437.37/1441.68 c #Conflicts: 939000 | #Constraints: 36380
1437.37/1441.68 c #Conflicts: 940000 | #Constraints: 37380
1437.37/1441.68 c #Conflicts: 941000 | #Constraints: 38380
1437.37/1441.68 c INPROCESSING
1437.37/1441.68 c GARBAGE COLLECT
1437.37/1441.68 c #Conflicts: 942000 | #Constraints: 20179
1437.37/1441.68 c #Conflicts: 943000 | #Constraints: 21179
1437.37/1441.68 c #Conflicts: 944000 | #Constraints: 22179
1437.37/1441.68 c #Conflicts: 945000 | #Constraints: 23179
1437.37/1441.68 c #Conflicts: 946000 | #Constraints: 24179
1437.37/1441.68 c #Conflicts: 947000 | #Constraints: 25179
1437.37/1441.68 c #Conflicts: 948000 | #Constraints: 26179
1437.37/1441.68 c #Conflicts: 949000 | #Constraints: 27179
1437.37/1441.68 c #Conflicts: 950000 | #Constraints: 28179
1437.37/1441.68 c #Conflicts: 951000 | #Constraints: 29179
1437.37/1441.68 c #Conflicts: 952000 | #Constraints: 30179
1437.37/1441.68 c #Conflicts: 953000 | #Constraints: 31179
1437.37/1441.68 c #Conflicts: 954000 | #Constraints: 32179
1437.37/1441.68 c #Conflicts: 955000 | #Constraints: 33179
1437.37/1441.68 c #Conflicts: 956000 | #Constraints: 34179
1437.37/1441.68 c #Conflicts: 957000 | #Constraints: 35179
1437.37/1441.68 c #Conflicts: 958000 | #Constraints: 36179
1437.37/1441.68 c #Conflicts: 959000 | #Constraints: 37179
1437.37/1441.68 c #Conflicts: 960000 | #Constraints: 38179
1437.37/1441.68 c #Conflicts: 961000 | #Constraints: 39179
1437.37/1441.68 c INPROCESSING
1437.37/1441.68 c GARBAGE COLLECT
1437.37/1441.68 c #Conflicts: 962000 | #Constraints: 20787
1437.37/1441.68 c #Conflicts: 963000 | #Constraints: 21787
1437.37/1441.68 c #Conflicts: 964000 | #Constraints: 22787
1437.37/1441.68 c #Conflicts: 965000 | #Constraints: 23787
1437.37/1441.68 c #Conflicts: 966000 | #Constraints: 24787
1437.37/1441.68 c #Conflicts: 967000 | #Constraints: 25787
1437.37/1441.68 c #Conflicts: 968000 | #Constraints: 26787
1437.37/1441.68 c #Conflicts: 969000 | #Constraints: 27787
1437.37/1441.68 c #Conflicts: 970000 | #Constraints: 28787
1437.37/1441.68 c #Conflicts: 971000 | #Constraints: 29787
1437.37/1441.68 c #Conflicts: 972000 | #Constraints: 30787
1437.37/1441.68 c #Conflicts: 973000 | #Constraints: 31787
1437.37/1441.68 c #Conflicts: 974000 | #Constraints: 32787
1437.37/1441.68 c #Conflicts: 975000 | #Constraints: 33787
1437.37/1441.68 c #Conflicts: 976000 | #Constraints: 34787
1437.37/1441.68 c #Conflicts: 977000 | #Constraints: 35787
1437.37/1441.68 c #Conflicts: 978000 | #Constraints: 36787
1437.37/1441.68 c #Conflicts: 979000 | #Constraints: 37787
1437.37/1441.68 c #Conflicts: 980000 | #Constraints: 38787
1437.37/1441.68 c #Conflicts: 981000 | #Constraints: 39787
1437.37/1441.68 c INPROCESSING
1437.37/1441.68 c GARBAGE COLLECT
1437.37/1441.68 c #Conflicts: 982000 | #Constraints: 21180
1437.37/1441.68 c #Conflicts: 983000 | #Constraints: 22180
1437.37/1441.68 c #Conflicts: 984000 | #Constraints: 23180
1437.37/1441.68 c #Conflicts: 985000 | #Constraints: 24180
1437.37/1441.68 c #Conflicts: 986000 | #Constraints: 25180
1437.37/1441.68 c #Conflicts: 987000 | #Constraints: 26180
1437.37/1441.68 c #Conflicts: 988000 | #Constraints: 27180
1437.37/1441.68 c #Conflicts: 989000 | #Constraints: 28180
1437.37/1441.68 c #Conflicts: 990000 | #Constraints: 29180
1437.37/1441.68 c #Conflicts: 991000 | #Constraints: 30180
1437.37/1441.68 c #Conflicts: 992000 | #Constraints: 31180
1437.37/1441.68 c #Conflicts: 993000 | #Constraints: 32180
1606.20/1610.92 c #Conflicts: 994000 | #Constraints: 33180
1606.20/1610.92 c #Conflicts: 995000 | #Constraints: 34180
1606.20/1610.92 c #Conflicts: 996000 | #Constraints: 35180
1606.20/1610.92 c #Conflicts: 997000 | #Constraints: 36180
1606.20/1610.92 c #Conflicts: 998000 | #Constraints: 37180
1606.20/1610.92 c #Conflicts: 999000 | #Constraints: 38180
1606.20/1610.92 c #Conflicts: 1000000 | #Constraints: 39180
1606.20/1610.92 c #Conflicts: 1001000 | #Constraints: 40180
1606.20/1610.92 c INPROCESSING
1606.20/1610.92 c GARBAGE COLLECT
1606.20/1610.92 c #Conflicts: 1002000 | #Constraints: 21383
1606.20/1610.92 c #Conflicts: 1003000 | #Constraints: 22383
1606.20/1610.92 c #Conflicts: 1004000 | #Constraints: 23383
1606.20/1610.92 c #Conflicts: 1005000 | #Constraints: 24383
1606.20/1610.92 c #Conflicts: 1006000 | #Constraints: 25383
1606.20/1610.92 c #Conflicts: 1007000 | #Constraints: 26383
1606.20/1610.92 c #Conflicts: 1008000 | #Constraints: 27383
1606.20/1610.92 c #Conflicts: 1009000 | #Constraints: 28383
1606.20/1610.92 c #Conflicts: 1010000 | #Constraints: 29383
1606.20/1610.92 c #Conflicts: 1011000 | #Constraints: 30383
1606.20/1610.92 c #Conflicts: 1012000 | #Constraints: 31383
1606.20/1610.92 c #Conflicts: 1013000 | #Constraints: 32383
1606.20/1610.92 c #Conflicts: 1014000 | #Constraints: 33383
1606.20/1610.92 c #Conflicts: 1015000 | #Constraints: 34383
1606.20/1610.92 c #Conflicts: 1016000 | #Constraints: 35383
1606.20/1610.92 c #Conflicts: 1017000 | #Constraints: 36383
1606.20/1610.92 c #Conflicts: 1018000 | #Constraints: 37383
1606.20/1610.92 c #Conflicts: 1019000 | #Constraints: 38383
1606.20/1610.92 c #Conflicts: 1020000 | #Constraints: 39383
1606.20/1610.92 c #Conflicts: 1021000 | #Constraints: 40383
1606.20/1610.92 c INPROCESSING
1606.20/1610.92 c GARBAGE COLLECT
1606.20/1610.92 c #Conflicts: 1022000 | #Constraints: 21380
1606.20/1610.92 c #Conflicts: 1023000 | #Constraints: 22380
1606.20/1610.92 c #Conflicts: 1024000 | #Constraints: 23380
1606.20/1610.92 c #Conflicts: 1025000 | #Constraints: 24380
1606.20/1610.92 c #Conflicts: 1026000 | #Constraints: 25380
1606.20/1610.92 c #Conflicts: 1027000 | #Constraints: 26380
1606.20/1610.92 c #Conflicts: 1028000 | #Constraints: 27380
1606.20/1610.92 c #Conflicts: 1029000 | #Constraints: 28380
1606.20/1610.92 c #Conflicts: 1030000 | #Constraints: 29380
1606.20/1610.92 c #Conflicts: 1031000 | #Constraints: 30380
1606.20/1610.92 c #Conflicts: 1032000 | #Constraints: 31380
1606.20/1610.92 c #Conflicts: 1033000 | #Constraints: 32380
1606.20/1610.92 c #Conflicts: 1034000 | #Constraints: 33380
1606.20/1610.92 c #Conflicts: 1035000 | #Constraints: 34380
1606.20/1610.92 c #Conflicts: 1036000 | #Constraints: 35380
1606.20/1610.92 c #Conflicts: 1037000 | #Constraints: 36380
1606.20/1610.92 c #Conflicts: 1038000 | #Constraints: 37380
1606.20/1610.92 c #Conflicts: 1039000 | #Constraints: 38380
1606.20/1610.92 c #Conflicts: 1040000 | #Constraints: 39380
1606.20/1610.92 c #Conflicts: 1041000 | #Constraints: 40380
1606.20/1610.92 c INPROCESSING
1606.20/1610.92 c GARBAGE COLLECT
1606.20/1610.92 c #Conflicts: 1042000 | #Constraints: 21181
1606.20/1610.92 c #Conflicts: 1043000 | #Constraints: 22181
1606.20/1610.92 c #Conflicts: 1044000 | #Constraints: 23181
1606.20/1610.92 c #Conflicts: 1045000 | #Constraints: 24181
1606.20/1610.92 c #Conflicts: 1046000 | #Constraints: 25181
1606.20/1610.92 c #Conflicts: 1047000 | #Constraints: 26181
1606.20/1610.92 c #Conflicts: 1048000 | #Constraints: 27181
1606.20/1610.92 c #Conflicts: 1049000 | #Constraints: 28181
1606.20/1610.92 c #Conflicts: 1050000 | #Constraints: 29181
1606.20/1610.92 c #Conflicts: 1051000 | #Constraints: 30181
1606.20/1610.92 c #Conflicts: 1052000 | #Constraints: 31181
1606.20/1610.92 c #Conflicts: 1053000 | #Constraints: 32181
1606.20/1610.92 c #Conflicts: 1054000 | #Constraints: 33181
1606.20/1610.92 c #Conflicts: 1055000 | #Constraints: 34181
1606.20/1610.92 c #Conflicts: 1056000 | #Constraints: 35181
1606.20/1610.92 c #Conflicts: 1057000 | #Constraints: 36181
1606.20/1610.92 c #Conflicts: 1058000 | #Constraints: 37181
1606.20/1610.92 c #Conflicts: 1059000 | #Constraints: 38181
1606.20/1610.92 c #Conflicts: 1060000 | #Constraints: 39181
1606.20/1610.92 c #Conflicts: 1061000 | #Constraints: 40181
1606.20/1610.92 c #Conflicts: 1062000 | #Constraints: 41181
1606.20/1610.92 c INPROCESSING
1606.20/1610.92 c GARBAGE COLLECT
1606.20/1610.92 c #Conflicts: 1063000 | #Constraints: 21785
1606.20/1610.92 c #Conflicts: 1064000 | #Constraints: 22785
1606.20/1610.92 c #Conflicts: 1065000 | #Constraints: 23785
1606.20/1610.92 c #Conflicts: 1066000 | #Constraints: 24785
1606.20/1610.92 c #Conflicts: 1067000 | #Constraints: 25785
1606.20/1610.92 c #Conflicts: 1068000 | #Constraints: 26785
1606.20/1610.92 c #Conflicts: 1069000 | #Constraints: 27785
1606.20/1610.92 c #Conflicts: 1070000 | #Constraints: 28785
1794.88/1800.17 c #Conflicts: 1071000 | #Constraints: 29785
1794.88/1800.17 c #Conflicts: 1072000 | #Constraints: 30785
1794.88/1800.17 c #Conflicts: 1073000 | #Constraints: 31785
1794.88/1800.17 c #Conflicts: 1074000 | #Constraints: 32785
1794.88/1800.17 c #Conflicts: 1075000 | #Constraints: 33785
1794.88/1800.17 c #Conflicts: 1076000 | #Constraints: 34785
1794.88/1800.17 c #Conflicts: 1077000 | #Constraints: 35785
1794.88/1800.17 c #Conflicts: 1078000 | #Constraints: 36785
1794.88/1800.17 c #Conflicts: 1079000 | #Constraints: 37785
1794.88/1800.17 c #Conflicts: 1080000 | #Constraints: 38785
1794.88/1800.17 c #Conflicts: 1081000 | #Constraints: 39785
1794.88/1800.17 c #Conflicts: 1082000 | #Constraints: 40785
1794.88/1800.17 c #Conflicts: 1083000 | #Constraints: 41785
1794.88/1800.17 c INPROCESSING
1794.88/1800.17 c GARBAGE COLLECT
1794.88/1800.17 c #Conflicts: 1084000 | #Constraints: 22179
1794.88/1800.17 c #Conflicts: 1085000 | #Constraints: 23179
1794.88/1800.17 c #Conflicts: 1086000 | #Constraints: 24179
1794.88/1800.17 c #Conflicts: 1087000 | #Constraints: 25179
1794.88/1800.17 c #Conflicts: 1088000 | #Constraints: 26179
1794.88/1800.17 c #Conflicts: 1089000 | #Constraints: 27179
1794.88/1800.17 c #Conflicts: 1090000 | #Constraints: 28179
1794.88/1800.17 c #Conflicts: 1091000 | #Constraints: 29179
1794.88/1800.17 c #Conflicts: 1092000 | #Constraints: 30179
1794.88/1800.17 c #Conflicts: 1093000 | #Constraints: 31179
1794.88/1800.17 c #Conflicts: 1094000 | #Constraints: 32179
1794.88/1800.17 c #Conflicts: 1095000 | #Constraints: 33179
1794.88/1800.17 c #Conflicts: 1096000 | #Constraints: 34179
1794.88/1800.17 c #Conflicts: 1097000 | #Constraints: 35179
1794.88/1800.17 c #Conflicts: 1098000 | #Constraints: 36179
1794.88/1800.17 c #Conflicts: 1099000 | #Constraints: 37179
1794.88/1800.17 c #Conflicts: 1100000 | #Constraints: 38179
1794.88/1800.17 c #Conflicts: 1101000 | #Constraints: 39179
1794.88/1800.17 c #Conflicts: 1102000 | #Constraints: 40179
1794.88/1800.17 c #Conflicts: 1103000 | #Constraints: 41179
1794.88/1800.17 c #Conflicts: 1104000 | #Constraints: 42179
1794.88/1800.17 c INPROCESSING
1794.88/1800.17 c GARBAGE COLLECT
1794.88/1800.17 c #Conflicts: 1105000 | #Constraints: 22378
1794.88/1800.17 c #Conflicts: 1106000 | #Constraints: 23378
1794.88/1800.17 c #Conflicts: 1107000 | #Constraints: 24378
1794.88/1800.17 c #Conflicts: 1108000 | #Constraints: 25378
1794.88/1800.17 c #Conflicts: 1109000 | #Constraints: 26378
1794.88/1800.17 c #Conflicts: 1110000 | #Constraints: 27378
1794.88/1800.17 c #Conflicts: 1111000 | #Constraints: 28378
1794.88/1800.17 c #Conflicts: 1112000 | #Constraints: 29378
1794.88/1800.17 c #Conflicts: 1113000 | #Constraints: 30378
1794.88/1800.17 c #Conflicts: 1114000 | #Constraints: 31378
1794.88/1800.17 c #Conflicts: 1115000 | #Constraints: 32378
1794.88/1800.17 c #Conflicts: 1116000 | #Constraints: 33378
1794.88/1800.17 c #Conflicts: 1117000 | #Constraints: 34378
1794.88/1800.17 c #Conflicts: 1118000 | #Constraints: 35378
1794.88/1800.17 c #Conflicts: 1119000 | #Constraints: 36378
1794.88/1800.17 c #Conflicts: 1120000 | #Constraints: 37378
1794.88/1800.17 c #Conflicts: 1121000 | #Constraints: 38378
1794.88/1800.17 c #Conflicts: 1122000 | #Constraints: 39378
1794.88/1800.17 c #Conflicts: 1123000 | #Constraints: 40378
1794.88/1800.17 c #Conflicts: 1124000 | #Constraints: 41378
1794.88/1800.17 c #Conflicts: 1125000 | #Constraints: 42378
1794.88/1800.17 c INPROCESSING
1794.88/1800.17 c GARBAGE COLLECT
1794.88/1800.17 c #Conflicts: 1126000 | #Constraints: 22383
1794.88/1800.17 c #Conflicts: 1127000 | #Constraints: 23383
1794.88/1800.17 c #Conflicts: 1128000 | #Constraints: 24383
1794.88/1800.17 c #Conflicts: 1129000 | #Constraints: 25383
1794.88/1800.17 c #Conflicts: 1130000 | #Constraints: 26383
1794.88/1800.17 c #Conflicts: 1131000 | #Constraints: 27383
1794.88/1800.17 c #Conflicts: 1132000 | #Constraints: 28383
1794.88/1800.17 c #Conflicts: 1133000 | #Constraints: 29383
1794.88/1800.17 c #Conflicts: 1134000 | #Constraints: 30383
1794.88/1800.17 c #Conflicts: 1135000 | #Constraints: 31383
1794.88/1800.17 c #Conflicts: 1136000 | #Constraints: 32383
1794.88/1800.17 c #Conflicts: 1137000 | #Constraints: 33383
1794.88/1800.17 c #Conflicts: 1138000 | #Constraints: 34383
1794.88/1800.17 c #Conflicts: 1139000 | #Constraints: 35383
1794.88/1800.17 c #Conflicts: 1140000 | #Constraints: 36383
1794.88/1800.17 c #Conflicts: 1141000 | #Constraints: 37383
1794.88/1800.17 c #Conflicts: 1142000 | #Constraints: 38383
1794.88/1800.17 c #Conflicts: 1143000 | #Constraints: 39383
1794.88/1800.17 c #Conflicts: 1144000 | #Constraints: 40383
1794.88/1800.17 c #Conflicts: 1145000 | #Constraints: 41383
1794.88/1800.17 c #Conflicts: 1146000 | #Constraints: 42383
1794.88/1800.17 c INPROCESSING
2002.19/2008.06 c GARBAGE COLLECT
2002.19/2008.06 c #Conflicts: 1147000 | #Constraints: 22175
2002.19/2008.06 c #Conflicts: 1148000 | #Constraints: 23175
2002.19/2008.06 c #Conflicts: 1149000 | #Constraints: 24175
2002.19/2008.06 c #Conflicts: 1150000 | #Constraints: 25175
2002.19/2008.06 c #Conflicts: 1151000 | #Constraints: 26175
2002.19/2008.06 c #Conflicts: 1152000 | #Constraints: 27175
2002.19/2008.06 c #Conflicts: 1153000 | #Constraints: 28175
2002.19/2008.06 c #Conflicts: 1154000 | #Constraints: 29175
2002.19/2008.06 c #Conflicts: 1155000 | #Constraints: 30175
2002.19/2008.06 c #Conflicts: 1156000 | #Constraints: 31175
2002.19/2008.06 c #Conflicts: 1157000 | #Constraints: 32175
2002.19/2008.06 c #Conflicts: 1158000 | #Constraints: 33175
2002.19/2008.06 c #Conflicts: 1159000 | #Constraints: 34175
2002.19/2008.06 c #Conflicts: 1160000 | #Constraints: 35175
2002.19/2008.06 c #Conflicts: 1161000 | #Constraints: 36175
2002.19/2008.06 c #Conflicts: 1162000 | #Constraints: 37175
2002.19/2008.06 c #Conflicts: 1163000 | #Constraints: 38175
2002.19/2008.06 c #Conflicts: 1164000 | #Constraints: 39175
2002.19/2008.06 c #Conflicts: 1165000 | #Constraints: 40175
2002.19/2008.06 c #Conflicts: 1166000 | #Constraints: 41175
2002.19/2008.06 c #Conflicts: 1167000 | #Constraints: 42175
2002.19/2008.06 c #Conflicts: 1168000 | #Constraints: 43175
2002.19/2008.06 c INPROCESSING
2002.19/2008.06 c GARBAGE COLLECT
2002.19/2008.06 c #Conflicts: 1169000 | #Constraints: 22778
2002.19/2008.06 c #Conflicts: 1170000 | #Constraints: 23778
2002.19/2008.06 c #Conflicts: 1171000 | #Constraints: 24778
2002.19/2008.06 c #Conflicts: 1172000 | #Constraints: 25778
2002.19/2008.06 c #Conflicts: 1173000 | #Constraints: 26778
2002.19/2008.06 c #Conflicts: 1174000 | #Constraints: 27778
2002.19/2008.06 c #Conflicts: 1175000 | #Constraints: 28778
2002.19/2008.06 c #Conflicts: 1176000 | #Constraints: 29778
2002.19/2008.06 c #Conflicts: 1177000 | #Constraints: 30778
2002.19/2008.06 c #Conflicts: 1178000 | #Constraints: 31778
2002.19/2008.06 c #Conflicts: 1179000 | #Constraints: 32778
2002.19/2008.06 c #Conflicts: 1180000 | #Constraints: 33778
2002.19/2008.06 c #Conflicts: 1181000 | #Constraints: 34778
2002.19/2008.06 c #Conflicts: 1182000 | #Constraints: 35778
2002.19/2008.06 c #Conflicts: 1183000 | #Constraints: 36778
2002.19/2008.06 c #Conflicts: 1184000 | #Constraints: 37778
2002.19/2008.06 c #Conflicts: 1185000 | #Constraints: 38778
2002.19/2008.06 c #Conflicts: 1186000 | #Constraints: 39778
2002.19/2008.06 c #Conflicts: 1187000 | #Constraints: 40778
2002.19/2008.06 c #Conflicts: 1188000 | #Constraints: 41778
2002.19/2008.06 c #Conflicts: 1189000 | #Constraints: 42778
2002.19/2008.06 c #Conflicts: 1190000 | #Constraints: 43778
2002.19/2008.06 c INPROCESSING
2002.19/2008.06 c GARBAGE COLLECT
2002.19/2008.06 c #Conflicts: 1191000 | #Constraints: 23177
2002.19/2008.06 c #Conflicts: 1192000 | #Constraints: 24177
2002.19/2008.06 c #Conflicts: 1193000 | #Constraints: 25177
2002.19/2008.06 c #Conflicts: 1194000 | #Constraints: 26177
2002.19/2008.06 c #Conflicts: 1195000 | #Constraints: 27177
2002.19/2008.06 c #Conflicts: 1196000 | #Constraints: 28177
2002.19/2008.06 c #Conflicts: 1197000 | #Constraints: 29177
2002.19/2008.06 c #Conflicts: 1198000 | #Constraints: 30177
2002.19/2008.06 c #Conflicts: 1199000 | #Constraints: 31177
2002.19/2008.06 c #Conflicts: 1200000 | #Constraints: 32177
2002.19/2008.06 c #Conflicts: 1201000 | #Constraints: 33177
2002.19/2008.06 c #Conflicts: 1202000 | #Constraints: 34177
2002.19/2008.06 c #Conflicts: 1203000 | #Constraints: 35177
2002.19/2008.06 c #Conflicts: 1204000 | #Constraints: 36177
2002.19/2008.06 c #Conflicts: 1205000 | #Constraints: 37177
2002.19/2008.06 c #Conflicts: 1206000 | #Constraints: 38177
2002.19/2008.06 c #Conflicts: 1207000 | #Constraints: 39177
2002.19/2008.06 c #Conflicts: 1208000 | #Constraints: 40177
2002.19/2008.06 c #Conflicts: 1209000 | #Constraints: 41177
2002.19/2008.06 c #Conflicts: 1210000 | #Constraints: 42177
2002.19/2008.06 c #Conflicts: 1211000 | #Constraints: 43177
2002.19/2008.06 c #Conflicts: 1212000 | #Constraints: 44177
2002.19/2008.06 c INPROCESSING
2002.19/2008.06 c GARBAGE COLLECT
2002.19/2008.06 c #Conflicts: 1213000 | #Constraints: 23376
2002.19/2008.06 c #Conflicts: 1214000 | #Constraints: 24376
2002.19/2008.06 c #Conflicts: 1215000 | #Constraints: 25376
2002.19/2008.06 c #Conflicts: 1216000 | #Constraints: 26376
2002.19/2008.06 c #Conflicts: 1217000 | #Constraints: 27376
2002.19/2008.06 c #Conflicts: 1218000 | #Constraints: 28376
2002.19/2008.06 c #Conflicts: 1219000 | #Constraints: 29376
2002.19/2008.06 c #Conflicts: 1220000 | #Constraints: 30376
2002.19/2008.06 c #Conflicts: 1221000 | #Constraints: 31376
2002.19/2008.06 c #Conflicts: 1222000 | #Constraints: 32376
2002.19/2008.06 c #Conflicts: 1223000 | #Constraints: 33376
2234.62/2241.15 c #Conflicts: 1224000 | #Constraints: 34376
2234.62/2241.15 c #Conflicts: 1225000 | #Constraints: 35376
2234.62/2241.15 c #Conflicts: 1226000 | #Constraints: 36376
2234.62/2241.15 c #Conflicts: 1227000 | #Constraints: 37376
2234.62/2241.15 c #Conflicts: 1228000 | #Constraints: 38376
2234.62/2241.15 c #Conflicts: 1229000 | #Constraints: 39376
2234.62/2241.15 c #Conflicts: 1230000 | #Constraints: 40376
2234.62/2241.15 c #Conflicts: 1231000 | #Constraints: 41376
2234.62/2241.15 c #Conflicts: 1232000 | #Constraints: 42376
2234.62/2241.15 c #Conflicts: 1233000 | #Constraints: 43376
2234.62/2241.15 c #Conflicts: 1234000 | #Constraints: 44376
2234.62/2241.15 c INPROCESSING
2234.62/2241.15 c GARBAGE COLLECT
2234.62/2241.15 c #Conflicts: 1235000 | #Constraints: 23378
2234.62/2241.15 c #Conflicts: 1236000 | #Constraints: 24378
2234.62/2241.15 c #Conflicts: 1237000 | #Constraints: 25378
2234.62/2241.15 c #Conflicts: 1238000 | #Constraints: 26378
2234.62/2241.15 c #Conflicts: 1239000 | #Constraints: 27378
2234.62/2241.15 c #Conflicts: 1240000 | #Constraints: 28378
2234.62/2241.15 c #Conflicts: 1241000 | #Constraints: 29378
2234.62/2241.15 c #Conflicts: 1242000 | #Constraints: 30378
2234.62/2241.15 c #Conflicts: 1243000 | #Constraints: 31378
2234.62/2241.15 c #Conflicts: 1244000 | #Constraints: 32378
2234.62/2241.15 c #Conflicts: 1245000 | #Constraints: 33378
2234.62/2241.15 c #Conflicts: 1246000 | #Constraints: 34378
2234.62/2241.15 c #Conflicts: 1247000 | #Constraints: 35378
2234.62/2241.15 c #Conflicts: 1248000 | #Constraints: 36378
2234.62/2241.15 c #Conflicts: 1249000 | #Constraints: 37378
2234.62/2241.15 c #Conflicts: 1250000 | #Constraints: 38378
2234.62/2241.15 c #Conflicts: 1251000 | #Constraints: 39378
2234.62/2241.15 c #Conflicts: 1252000 | #Constraints: 40378
2234.62/2241.15 c #Conflicts: 1253000 | #Constraints: 41378
2234.62/2241.15 c #Conflicts: 1254000 | #Constraints: 42378
2234.62/2241.15 c #Conflicts: 1255000 | #Constraints: 43378
2234.62/2241.15 c #Conflicts: 1256000 | #Constraints: 44378
2234.62/2241.15 c INPROCESSING
2234.62/2241.15 c GARBAGE COLLECT
2234.62/2241.15 c #Conflicts: 1257000 | #Constraints: 23179
2234.62/2241.15 c #Conflicts: 1258000 | #Constraints: 24179
2234.62/2241.15 c #Conflicts: 1259000 | #Constraints: 25179
2234.62/2241.15 c #Conflicts: 1260000 | #Constraints: 26179
2234.62/2241.15 c #Conflicts: 1261000 | #Constraints: 27179
2234.62/2241.15 c #Conflicts: 1262000 | #Constraints: 28179
2234.62/2241.15 c #Conflicts: 1263000 | #Constraints: 29179
2234.62/2241.15 c #Conflicts: 1264000 | #Constraints: 30179
2234.62/2241.15 c #Conflicts: 1265000 | #Constraints: 31179
2234.62/2241.15 c #Conflicts: 1266000 | #Constraints: 32179
2234.62/2241.15 c #Conflicts: 1267000 | #Constraints: 33179
2234.62/2241.15 c #Conflicts: 1268000 | #Constraints: 34179
2234.62/2241.15 c #Conflicts: 1269000 | #Constraints: 35179
2234.62/2241.15 c #Conflicts: 1270000 | #Constraints: 36179
2234.62/2241.15 c #Conflicts: 1271000 | #Constraints: 37179
2234.62/2241.15 c #Conflicts: 1272000 | #Constraints: 38179
2234.62/2241.15 c #Conflicts: 1273000 | #Constraints: 39179
2234.62/2241.15 c #Conflicts: 1274000 | #Constraints: 40179
2234.62/2241.15 c #Conflicts: 1275000 | #Constraints: 41179
2234.62/2241.15 c #Conflicts: 1276000 | #Constraints: 42179
2234.62/2241.15 c #Conflicts: 1277000 | #Constraints: 43179
2234.62/2241.15 c #Conflicts: 1278000 | #Constraints: 44179
2234.62/2241.15 c #Conflicts: 1279000 | #Constraints: 45179
2234.62/2241.15 c INPROCESSING
2234.62/2241.15 c GARBAGE COLLECT
2234.62/2241.15 c #Conflicts: 1280000 | #Constraints: 23786
2234.62/2241.15 c #Conflicts: 1281000 | #Constraints: 24786
2234.62/2241.15 c #Conflicts: 1282000 | #Constraints: 25786
2234.62/2241.15 c #Conflicts: 1283000 | #Constraints: 26786
2234.62/2241.15 c #Conflicts: 1284000 | #Constraints: 27786
2234.62/2241.15 c #Conflicts: 1285000 | #Constraints: 28786
2234.62/2241.15 c #Conflicts: 1286000 | #Constraints: 29786
2234.62/2241.15 c #Conflicts: 1287000 | #Constraints: 30786
2234.62/2241.15 c #Conflicts: 1288000 | #Constraints: 31786
2234.62/2241.15 c #Conflicts: 1289000 | #Constraints: 32786
2234.62/2241.15 c #Conflicts: 1290000 | #Constraints: 33786
2234.62/2241.15 c #Conflicts: 1291000 | #Constraints: 34786
2234.62/2241.15 c #Conflicts: 1292000 | #Constraints: 35786
2234.62/2241.15 c #Conflicts: 1293000 | #Constraints: 36786
2234.62/2241.15 c #Conflicts: 1294000 | #Constraints: 37786
2234.62/2241.15 c #Conflicts: 1295000 | #Constraints: 38786
2234.62/2241.15 c #Conflicts: 1296000 | #Constraints: 39786
2234.62/2241.15 c #Conflicts: 1297000 | #Constraints: 40786
2234.62/2241.15 c #Conflicts: 1298000 | #Constraints: 41786
2234.62/2241.15 c #Conflicts: 1299000 | #Constraints: 42786
2234.62/2241.15 c #Conflicts: 1300000 | #Constraints: 43786
2498.95/2506.20 c #Conflicts: 1301000 | #Constraints: 44786
2498.95/2506.20 c #Conflicts: 1302000 | #Constraints: 45786
2498.95/2506.20 c INPROCESSING
2498.95/2506.20 c GARBAGE COLLECT
2498.95/2506.20 c #Conflicts: 1303000 | #Constraints: 24178
2498.95/2506.20 c #Conflicts: 1304000 | #Constraints: 25178
2498.95/2506.20 c #Conflicts: 1305000 | #Constraints: 26178
2498.95/2506.20 c #Conflicts: 1306000 | #Constraints: 27178
2498.95/2506.20 c #Conflicts: 1307000 | #Constraints: 28178
2498.95/2506.20 c #Conflicts: 1308000 | #Constraints: 29178
2498.95/2506.20 c #Conflicts: 1309000 | #Constraints: 30178
2498.95/2506.20 c #Conflicts: 1310000 | #Constraints: 31178
2498.95/2506.20 c #Conflicts: 1311000 | #Constraints: 32178
2498.95/2506.20 c #Conflicts: 1312000 | #Constraints: 33178
2498.95/2506.20 c #Conflicts: 1313000 | #Constraints: 34178
2498.95/2506.20 c #Conflicts: 1314000 | #Constraints: 35178
2498.95/2506.20 c #Conflicts: 1315000 | #Constraints: 36178
2498.95/2506.20 c #Conflicts: 1316000 | #Constraints: 37178
2498.95/2506.20 c #Conflicts: 1317000 | #Constraints: 38178
2498.95/2506.20 c #Conflicts: 1318000 | #Constraints: 39178
2498.95/2506.20 c #Conflicts: 1319000 | #Constraints: 40178
2498.95/2506.20 c #Conflicts: 1320000 | #Constraints: 41178
2498.95/2506.20 c #Conflicts: 1321000 | #Constraints: 42178
2498.95/2506.20 c #Conflicts: 1322000 | #Constraints: 43178
2498.95/2506.20 c #Conflicts: 1323000 | #Constraints: 44178
2498.95/2506.20 c #Conflicts: 1324000 | #Constraints: 45178
2498.95/2506.20 c #Conflicts: 1325000 | #Constraints: 46178
2498.95/2506.20 c INPROCESSING
2498.95/2506.20 c GARBAGE COLLECT
2498.95/2506.20 c #Conflicts: 1326000 | #Constraints: 24376
2498.95/2506.20 c #Conflicts: 1327000 | #Constraints: 25376
2498.95/2506.20 c #Conflicts: 1328000 | #Constraints: 26376
2498.95/2506.20 c #Conflicts: 1329000 | #Constraints: 27376
2498.95/2506.20 c #Conflicts: 1330000 | #Constraints: 28376
2498.95/2506.20 c #Conflicts: 1331000 | #Constraints: 29376
2498.95/2506.20 c #Conflicts: 1332000 | #Constraints: 30376
2498.95/2506.20 c #Conflicts: 1333000 | #Constraints: 31376
2498.95/2506.20 c #Conflicts: 1334000 | #Constraints: 32376
2498.95/2506.20 c #Conflicts: 1335000 | #Constraints: 33376
2498.95/2506.20 c #Conflicts: 1336000 | #Constraints: 34376
2498.95/2506.20 c #Conflicts: 1337000 | #Constraints: 35376
2498.95/2506.20 c #Conflicts: 1338000 | #Constraints: 36376
2498.95/2506.20 c #Conflicts: 1339000 | #Constraints: 37376
2498.95/2506.20 c #Conflicts: 1340000 | #Constraints: 38376
2498.95/2506.20 c #Conflicts: 1341000 | #Constraints: 39376
2498.95/2506.20 c #Conflicts: 1342000 | #Constraints: 40376
2498.95/2506.20 c #Conflicts: 1343000 | #Constraints: 41376
2498.95/2506.20 c #Conflicts: 1344000 | #Constraints: 42376
2498.95/2506.20 c #Conflicts: 1345000 | #Constraints: 43376
2498.95/2506.20 c #Conflicts: 1346000 | #Constraints: 44376
2498.95/2506.20 c #Conflicts: 1347000 | #Constraints: 45376
2498.95/2506.20 c #Conflicts: 1348000 | #Constraints: 46376
2498.95/2506.20 c INPROCESSING
2498.95/2506.20 c GARBAGE COLLECT
2498.95/2506.20 c #Conflicts: 1349000 | #Constraints: 24374
2498.95/2506.20 c #Conflicts: 1350000 | #Constraints: 25374
2498.95/2506.20 c #Conflicts: 1351000 | #Constraints: 26374
2498.95/2506.20 c #Conflicts: 1352000 | #Constraints: 27374
2498.95/2506.20 c #Conflicts: 1353000 | #Constraints: 28374
2498.95/2506.20 c #Conflicts: 1354000 | #Constraints: 29374
2498.95/2506.20 c #Conflicts: 1355000 | #Constraints: 30374
2498.95/2506.20 c #Conflicts: 1356000 | #Constraints: 31374
2498.95/2506.20 c #Conflicts: 1357000 | #Constraints: 32374
2498.95/2506.20 c #Conflicts: 1358000 | #Constraints: 33374
2498.95/2506.20 c #Conflicts: 1359000 | #Constraints: 34374
2498.95/2506.20 c #Conflicts: 1360000 | #Constraints: 35374
2498.95/2506.20 c #Conflicts: 1361000 | #Constraints: 36374
2498.95/2506.20 c #Conflicts: 1362000 | #Constraints: 37374
2498.95/2506.20 c #Conflicts: 1363000 | #Constraints: 38374
2498.95/2506.20 c #Conflicts: 1364000 | #Constraints: 39374
2498.95/2506.20 c #Conflicts: 1365000 | #Constraints: 40374
2498.95/2506.20 c #Conflicts: 1366000 | #Constraints: 41374
2498.95/2506.20 c #Conflicts: 1367000 | #Constraints: 42374
2498.95/2506.20 c #Conflicts: 1368000 | #Constraints: 43374
2498.95/2506.20 c #Conflicts: 1369000 | #Constraints: 44374
2498.95/2506.20 c #Conflicts: 1370000 | #Constraints: 45374
2498.95/2506.20 c #Conflicts: 1371000 | #Constraints: 46374
2498.95/2506.20 c INPROCESSING
2498.95/2506.20 c GARBAGE COLLECT
2498.95/2506.20 c #Conflicts: 1372000 | #Constraints: 24175
2498.95/2506.20 c #Conflicts: 1373000 | #Constraints: 25175
2498.95/2506.20 c #Conflicts: 1374000 | #Constraints: 26175
2498.95/2506.20 c #Conflicts: 1375000 | #Constraints: 27175
2498.95/2506.20 c #Conflicts: 1376000 | #Constraints: 28175
2760.86/2768.99 c #Conflicts: 1377000 | #Constraints: 29175
2760.86/2768.99 c #Conflicts: 1378000 | #Constraints: 30175
2760.86/2768.99 c #Conflicts: 1379000 | #Constraints: 31175
2760.86/2768.99 c #Conflicts: 1380000 | #Constraints: 32175
2760.86/2768.99 c #Conflicts: 1381000 | #Constraints: 33175
2760.86/2768.99 c #Conflicts: 1382000 | #Constraints: 34175
2760.86/2768.99 c #Conflicts: 1383000 | #Constraints: 35175
2760.86/2768.99 c #Conflicts: 1384000 | #Constraints: 36175
2760.86/2768.99 c #Conflicts: 1385000 | #Constraints: 37175
2760.86/2768.99 c #Conflicts: 1386000 | #Constraints: 38175
2760.86/2768.99 c #Conflicts: 1387000 | #Constraints: 39175
2760.86/2768.99 c #Conflicts: 1388000 | #Constraints: 40175
2760.86/2768.99 c #Conflicts: 1389000 | #Constraints: 41175
2760.86/2768.99 c #Conflicts: 1390000 | #Constraints: 42175
2760.86/2768.99 c #Conflicts: 1391000 | #Constraints: 43175
2760.86/2768.99 c #Conflicts: 1392000 | #Constraints: 44175
2760.86/2768.99 c #Conflicts: 1393000 | #Constraints: 45175
2760.86/2768.99 c #Conflicts: 1394000 | #Constraints: 46175
2760.86/2768.99 c #Conflicts: 1395000 | #Constraints: 47175
2760.86/2768.99 c INPROCESSING
2760.86/2768.99 c GARBAGE COLLECT
2760.86/2768.99 c #Conflicts: 1396000 | #Constraints: 24785
2760.86/2768.99 c #Conflicts: 1397000 | #Constraints: 25785
2760.86/2768.99 c #Conflicts: 1398000 | #Constraints: 26785
2760.86/2768.99 c #Conflicts: 1399000 | #Constraints: 27785
2760.86/2768.99 c #Conflicts: 1400000 | #Constraints: 28785
2760.86/2768.99 c #Conflicts: 1401000 | #Constraints: 29785
2760.86/2768.99 c #Conflicts: 1402000 | #Constraints: 30785
2760.86/2768.99 c #Conflicts: 1403000 | #Constraints: 31785
2760.86/2768.99 c #Conflicts: 1404000 | #Constraints: 32785
2760.86/2768.99 c #Conflicts: 1405000 | #Constraints: 33785
2760.86/2768.99 c #Conflicts: 1406000 | #Constraints: 34785
2760.86/2768.99 c #Conflicts: 1407000 | #Constraints: 35785
2760.86/2768.99 c #Conflicts: 1408000 | #Constraints: 36785
2760.86/2768.99 c #Conflicts: 1409000 | #Constraints: 37785
2760.86/2768.99 c #Conflicts: 1410000 | #Constraints: 38785
2760.86/2768.99 c #Conflicts: 1411000 | #Constraints: 39785
2760.86/2768.99 c #Conflicts: 1412000 | #Constraints: 40785
2760.86/2768.99 c #Conflicts: 1413000 | #Constraints: 41785
2760.86/2768.99 c #Conflicts: 1414000 | #Constraints: 42785
2760.86/2768.99 c #Conflicts: 1415000 | #Constraints: 43785
2760.86/2768.99 c #Conflicts: 1416000 | #Constraints: 44785
2760.86/2768.99 c #Conflicts: 1417000 | #Constraints: 45785
2760.86/2768.99 c #Conflicts: 1418000 | #Constraints: 46785
2760.86/2768.99 c #Conflicts: 1419000 | #Constraints: 47785
2760.86/2768.99 c INPROCESSING
2760.86/2768.99 c GARBAGE COLLECT
2760.86/2768.99 c #Conflicts: 1420000 | #Constraints: 25184
2760.86/2768.99 c #Conflicts: 1421000 | #Constraints: 26184
2760.86/2768.99 c #Conflicts: 1422000 | #Constraints: 27184
2760.86/2768.99 c #Conflicts: 1423000 | #Constraints: 28184
2760.86/2768.99 c #Conflicts: 1424000 | #Constraints: 29184
2760.86/2768.99 c #Conflicts: 1425000 | #Constraints: 30184
2760.86/2768.99 c #Conflicts: 1426000 | #Constraints: 31184
2760.86/2768.99 c #Conflicts: 1427000 | #Constraints: 32184
2760.86/2768.99 c #Conflicts: 1428000 | #Constraints: 33184
2760.86/2768.99 c #Conflicts: 1429000 | #Constraints: 34184
2760.86/2768.99 c #Conflicts: 1430000 | #Constraints: 35184
2760.86/2768.99 c #Conflicts: 1431000 | #Constraints: 36184
2760.86/2768.99 c #Conflicts: 1432000 | #Constraints: 37184
2760.86/2768.99 c #Conflicts: 1433000 | #Constraints: 38184
2760.86/2768.99 c #Conflicts: 1434000 | #Constraints: 39184
2760.86/2768.99 c #Conflicts: 1435000 | #Constraints: 40184
2760.86/2768.99 c #Conflicts: 1436000 | #Constraints: 41184
2760.86/2768.99 c #Conflicts: 1437000 | #Constraints: 42184
2760.86/2768.99 c #Conflicts: 1438000 | #Constraints: 43184
2760.86/2768.99 c #Conflicts: 1439000 | #Constraints: 44184
2760.86/2768.99 c #Conflicts: 1440000 | #Constraints: 45184
2760.86/2768.99 c #Conflicts: 1441000 | #Constraints: 46184
2760.86/2768.99 c #Conflicts: 1442000 | #Constraints: 47184
2760.86/2768.99 c #Conflicts: 1443000 | #Constraints: 48184
2760.86/2768.99 c INPROCESSING
2760.86/2768.99 c GARBAGE COLLECT
2760.86/2768.99 c #Conflicts: 1444000 | #Constraints: 25379
2760.86/2768.99 c #Conflicts: 1445000 | #Constraints: 26379
2760.86/2768.99 c #Conflicts: 1446000 | #Constraints: 27379
2760.86/2768.99 c #Conflicts: 1447000 | #Constraints: 28379
2760.86/2768.99 c #Conflicts: 1448000 | #Constraints: 29379
2760.86/2768.99 c #Conflicts: 1449000 | #Constraints: 30379
2760.86/2768.99 c #Conflicts: 1450000 | #Constraints: 31379
2760.86/2768.99 c #Conflicts: 1451000 | #Constraints: 32379
2760.86/2768.99 c #Conflicts: 1452000 | #Constraints: 33379
2760.86/2768.99 c #Conflicts: 1453000 | #Constraints: 34379
3015.72/3024.54 c #Conflicts: 1454000 | #Constraints: 35379
3015.72/3024.54 c #Conflicts: 1455000 | #Constraints: 36379
3015.72/3024.54 c #Conflicts: 1456000 | #Constraints: 37379
3015.72/3024.54 c #Conflicts: 1457000 | #Constraints: 38379
3015.72/3024.54 c #Conflicts: 1458000 | #Constraints: 39379
3015.72/3024.54 c #Conflicts: 1459000 | #Constraints: 40379
3015.72/3024.54 c #Conflicts: 1460000 | #Constraints: 41379
3015.72/3024.54 c #Conflicts: 1461000 | #Constraints: 42379
3015.72/3024.54 c #Conflicts: 1462000 | #Constraints: 43379
3015.72/3024.54 c #Conflicts: 1463000 | #Constraints: 44379
3015.72/3024.54 c #Conflicts: 1464000 | #Constraints: 45379
3015.72/3024.54 c #Conflicts: 1465000 | #Constraints: 46379
3015.72/3024.54 c #Conflicts: 1466000 | #Constraints: 47379
3015.72/3024.54 c #Conflicts: 1467000 | #Constraints: 48379
3015.72/3024.54 c INPROCESSING
3015.72/3024.54 c GARBAGE COLLECT
3015.72/3024.54 c #Conflicts: 1468000 | #Constraints: 25383
3015.72/3024.54 c #Conflicts: 1469000 | #Constraints: 26383
3015.72/3024.54 c #Conflicts: 1470000 | #Constraints: 27383
3015.72/3024.54 c #Conflicts: 1471000 | #Constraints: 28383
3015.72/3024.54 c #Conflicts: 1472000 | #Constraints: 29383
3015.72/3024.54 c #Conflicts: 1473000 | #Constraints: 30383
3015.72/3024.54 c #Conflicts: 1474000 | #Constraints: 31383
3015.72/3024.54 c #Conflicts: 1475000 | #Constraints: 32383
3015.72/3024.54 c #Conflicts: 1476000 | #Constraints: 33383
3015.72/3024.54 c #Conflicts: 1477000 | #Constraints: 34383
3015.72/3024.54 c #Conflicts: 1478000 | #Constraints: 35383
3015.72/3024.54 c #Conflicts: 1479000 | #Constraints: 36383
3015.72/3024.54 c #Conflicts: 1480000 | #Constraints: 37383
3015.72/3024.54 c #Conflicts: 1481000 | #Constraints: 38383
3015.72/3024.54 c #Conflicts: 1482000 | #Constraints: 39383
3015.72/3024.54 c #Conflicts: 1483000 | #Constraints: 40383
3015.72/3024.54 c #Conflicts: 1484000 | #Constraints: 41383
3015.72/3024.54 c #Conflicts: 1485000 | #Constraints: 42383
3015.72/3024.54 c #Conflicts: 1486000 | #Constraints: 43383
3015.72/3024.54 c #Conflicts: 1487000 | #Constraints: 44383
3015.72/3024.54 c #Conflicts: 1488000 | #Constraints: 45383
3015.72/3024.54 c #Conflicts: 1489000 | #Constraints: 46383
3015.72/3024.54 c #Conflicts: 1490000 | #Constraints: 47383
3015.72/3024.54 c #Conflicts: 1491000 | #Constraints: 48383
3015.72/3024.54 c INPROCESSING
3015.72/3024.54 c GARBAGE COLLECT
3015.72/3024.54 c #Conflicts: 1492000 | #Constraints: 25186
3015.72/3024.54 c #Conflicts: 1493000 | #Constraints: 26186
3015.72/3024.54 c #Conflicts: 1494000 | #Constraints: 27186
3015.72/3024.54 c #Conflicts: 1495000 | #Constraints: 28186
3015.72/3024.54 c #Conflicts: 1496000 | #Constraints: 29186
3015.72/3024.54 c #Conflicts: 1497000 | #Constraints: 30186
3015.72/3024.54 c #Conflicts: 1498000 | #Constraints: 31186
3015.72/3024.54 c #Conflicts: 1499000 | #Constraints: 32186
3015.72/3024.54 c #Conflicts: 1500000 | #Constraints: 33186
3015.72/3024.54 c #Conflicts: 1501000 | #Constraints: 34186
3015.72/3024.54 c #Conflicts: 1502000 | #Constraints: 35186
3015.72/3024.54 c #Conflicts: 1503000 | #Constraints: 36186
3015.72/3024.54 c #Conflicts: 1504000 | #Constraints: 37186
3015.72/3024.54 c #Conflicts: 1505000 | #Constraints: 38186
3015.72/3024.54 c #Conflicts: 1506000 | #Constraints: 39186
3015.72/3024.54 c #Conflicts: 1507000 | #Constraints: 40186
3015.72/3024.54 c #Conflicts: 1508000 | #Constraints: 41186
3015.72/3024.54 c #Conflicts: 1509000 | #Constraints: 42186
3015.72/3024.54 c #Conflicts: 1510000 | #Constraints: 43186
3015.72/3024.54 c #Conflicts: 1511000 | #Constraints: 44186
3015.72/3024.54 c #Conflicts: 1512000 | #Constraints: 45186
3015.72/3024.54 c #Conflicts: 1513000 | #Constraints: 46186
3015.72/3024.54 c #Conflicts: 1514000 | #Constraints: 47186
3015.72/3024.54 c #Conflicts: 1515000 | #Constraints: 48186
3015.72/3024.54 c #Conflicts: 1516000 | #Constraints: 49186
3015.72/3024.54 c INPROCESSING
3015.72/3024.54 c GARBAGE COLLECT
3015.72/3024.54 c #Conflicts: 1517000 | #Constraints: 25779
3015.72/3024.54 c #Conflicts: 1518000 | #Constraints: 26779
3015.72/3024.54 c #Conflicts: 1519000 | #Constraints: 27779
3015.72/3024.54 c #Conflicts: 1520000 | #Constraints: 28779
3015.72/3024.54 c #Conflicts: 1521000 | #Constraints: 29779
3015.72/3024.54 c #Conflicts: 1522000 | #Constraints: 30779
3015.72/3024.54 c #Conflicts: 1523000 | #Constraints: 31779
3015.72/3024.54 c #Conflicts: 1524000 | #Constraints: 32779
3015.72/3024.54 c #Conflicts: 1525000 | #Constraints: 33779
3015.72/3024.54 c #Conflicts: 1526000 | #Constraints: 34779
3015.72/3024.54 c #Conflicts: 1527000 | #Constraints: 35779
3015.72/3024.54 c #Conflicts: 1528000 | #Constraints: 36779
3015.72/3024.54 c #Conflicts: 1529000 | #Constraints: 37779
3015.72/3024.54 c #Conflicts: 1530000 | #Constraints: 38779
3252.35/3261.85 c #Conflicts: 1531000 | #Constraints: 39779
3252.35/3261.85 c #Conflicts: 1532000 | #Constraints: 40779
3252.35/3261.85 c #Conflicts: 1533000 | #Constraints: 41779
3252.35/3261.85 c #Conflicts: 1534000 | #Constraints: 42779
3252.35/3261.85 c #Conflicts: 1535000 | #Constraints: 43779
3252.35/3261.85 c #Conflicts: 1536000 | #Constraints: 44779
3252.35/3261.85 c #Conflicts: 1537000 | #Constraints: 45779
3252.35/3261.85 c #Conflicts: 1538000 | #Constraints: 46779
3252.35/3261.85 c #Conflicts: 1539000 | #Constraints: 47779
3252.35/3261.85 c #Conflicts: 1540000 | #Constraints: 48779
3252.35/3261.85 c #Conflicts: 1541000 | #Constraints: 49779
3252.35/3261.85 c INPROCESSING
3252.35/3261.85 c GARBAGE COLLECT
3252.35/3261.85 c #Conflicts: 1542000 | #Constraints: 26174
3252.35/3261.85 c #Conflicts: 1543000 | #Constraints: 27174
3252.35/3261.85 c #Conflicts: 1544000 | #Constraints: 28174
3252.35/3261.85 c #Conflicts: 1545000 | #Constraints: 29174
3252.35/3261.85 c #Conflicts: 1546000 | #Constraints: 30174
3252.35/3261.85 c #Conflicts: 1547000 | #Constraints: 31174
3252.35/3261.85 c #Conflicts: 1548000 | #Constraints: 32174
3252.35/3261.85 c #Conflicts: 1549000 | #Constraints: 33174
3252.35/3261.85 c #Conflicts: 1550000 | #Constraints: 34174
3252.35/3261.85 c #Conflicts: 1551000 | #Constraints: 35174
3252.35/3261.85 c #Conflicts: 1552000 | #Constraints: 36174
3252.35/3261.85 c #Conflicts: 1553000 | #Constraints: 37174
3252.35/3261.85 c #Conflicts: 1554000 | #Constraints: 38174
3252.35/3261.85 c #Conflicts: 1555000 | #Constraints: 39174
3252.35/3261.85 c #Conflicts: 1556000 | #Constraints: 40174
3252.35/3261.85 c #Conflicts: 1557000 | #Constraints: 41174
3252.35/3261.85 c #Conflicts: 1558000 | #Constraints: 42174
3252.35/3261.85 c #Conflicts: 1559000 | #Constraints: 43174
3252.35/3261.85 c #Conflicts: 1560000 | #Constraints: 44174
3252.35/3261.85 c #Conflicts: 1561000 | #Constraints: 45174
3252.35/3261.85 c #Conflicts: 1562000 | #Constraints: 46174
3252.35/3261.85 c #Conflicts: 1563000 | #Constraints: 47174
3252.35/3261.85 c #Conflicts: 1564000 | #Constraints: 48174
3252.35/3261.85 c #Conflicts: 1565000 | #Constraints: 49174
3252.35/3261.85 c #Conflicts: 1566000 | #Constraints: 50174
3252.35/3261.85 c INPROCESSING
3252.35/3261.85 c GARBAGE COLLECT
3252.35/3261.85 c #Conflicts: 1567000 | #Constraints: 26381
3252.35/3261.85 c #Conflicts: 1568000 | #Constraints: 27381
3252.35/3261.85 c #Conflicts: 1569000 | #Constraints: 28381
3252.35/3261.85 c #Conflicts: 1570000 | #Constraints: 29381
3252.35/3261.85 c #Conflicts: 1571000 | #Constraints: 30381
3252.35/3261.85 c #Conflicts: 1572000 | #Constraints: 31381
3252.35/3261.85 c #Conflicts: 1573000 | #Constraints: 32381
3252.35/3261.85 c #Conflicts: 1574000 | #Constraints: 33381
3252.35/3261.85 c #Conflicts: 1575000 | #Constraints: 34381
3252.35/3261.85 c #Conflicts: 1576000 | #Constraints: 35381
3252.35/3261.85 c #Conflicts: 1577000 | #Constraints: 36381
3252.35/3261.85 c #Conflicts: 1578000 | #Constraints: 37381
3252.35/3261.85 c #Conflicts: 1579000 | #Constraints: 38381
3252.35/3261.85 c #Conflicts: 1580000 | #Constraints: 39381
3252.35/3261.85 c #Conflicts: 1581000 | #Constraints: 40381
3252.35/3261.85 c #Conflicts: 1582000 | #Constraints: 41381
3252.35/3261.85 c #Conflicts: 1583000 | #Constraints: 42381
3252.35/3261.85 c #Conflicts: 1584000 | #Constraints: 43381
3252.35/3261.85 c #Conflicts: 1585000 | #Constraints: 44381
3252.35/3261.85 c #Conflicts: 1586000 | #Constraints: 45381
3252.35/3261.85 c #Conflicts: 1587000 | #Constraints: 46381
3252.35/3261.85 c #Conflicts: 1588000 | #Constraints: 47381
3252.35/3261.85 c #Conflicts: 1589000 | #Constraints: 48381
3252.35/3261.85 c #Conflicts: 1590000 | #Constraints: 49381
3252.35/3261.85 c #Conflicts: 1591000 | #Constraints: 50381
3252.35/3261.85 c INPROCESSING
3252.35/3261.85 c GARBAGE COLLECT
3252.35/3261.85 c #Conflicts: 1592000 | #Constraints: 26387
3252.35/3261.85 c #Conflicts: 1593000 | #Constraints: 27387
3252.35/3261.85 c #Conflicts: 1594000 | #Constraints: 28387
3252.35/3261.85 c #Conflicts: 1595000 | #Constraints: 29387
3252.35/3261.85 c #Conflicts: 1596000 | #Constraints: 30387
3252.35/3261.85 c #Conflicts: 1597000 | #Constraints: 31387
3252.35/3261.85 c #Conflicts: 1598000 | #Constraints: 32387
3252.35/3261.85 c #Conflicts: 1599000 | #Constraints: 33387
3252.35/3261.85 c #Conflicts: 1600000 | #Constraints: 34387
3252.35/3261.85 c #Conflicts: 1601000 | #Constraints: 35387
3252.35/3261.85 c #Conflicts: 1602000 | #Constraints: 36387
3252.35/3261.85 c #Conflicts: 1603000 | #Constraints: 37387
3252.35/3261.85 c #Conflicts: 1604000 | #Constraints: 38387
3252.35/3261.85 c #Conflicts: 1605000 | #Constraints: 39387
3252.35/3261.85 c #Conflicts: 1606000 | #Constraints: 40387
3489.67/3499.82 c #Conflicts: 1607000 | #Constraints: 41387
3489.67/3499.82 c #Conflicts: 1608000 | #Constraints: 42387
3489.67/3499.82 c #Conflicts: 1609000 | #Constraints: 43387
3489.67/3499.82 c #Conflicts: 1610000 | #Constraints: 44387
3489.67/3499.82 c #Conflicts: 1611000 | #Constraints: 45387
3489.67/3499.82 c #Conflicts: 1612000 | #Constraints: 46387
3489.67/3499.82 c #Conflicts: 1613000 | #Constraints: 47387
3489.67/3499.82 c #Conflicts: 1614000 | #Constraints: 48387
3489.67/3499.82 c #Conflicts: 1615000 | #Constraints: 49387
3489.67/3499.82 c #Conflicts: 1616000 | #Constraints: 50387
3489.67/3499.82 c INPROCESSING
3489.67/3499.82 c GARBAGE COLLECT
3489.67/3499.82 c #Conflicts: 1617000 | #Constraints: 26184
3489.67/3499.82 c #Conflicts: 1618000 | #Constraints: 27184
3489.67/3499.82 c #Conflicts: 1619000 | #Constraints: 28184
3489.67/3499.82 c #Conflicts: 1620000 | #Constraints: 29184
3489.67/3499.82 c #Conflicts: 1621000 | #Constraints: 30184
3489.67/3499.82 c #Conflicts: 1622000 | #Constraints: 31184
3489.67/3499.82 c #Conflicts: 1623000 | #Constraints: 32184
3489.67/3499.82 c #Conflicts: 1624000 | #Constraints: 33184
3489.67/3499.82 c #Conflicts: 1625000 | #Constraints: 34184
3489.67/3499.82 c #Conflicts: 1626000 | #Constraints: 35184
3489.67/3499.82 c #Conflicts: 1627000 | #Constraints: 36184
3489.67/3499.82 c #Conflicts: 1628000 | #Constraints: 37184
3489.67/3499.82 c #Conflicts: 1629000 | #Constraints: 38184
3489.67/3499.82 c #Conflicts: 1630000 | #Constraints: 39184
3489.67/3499.82 c #Conflicts: 1631000 | #Constraints: 40184
3489.67/3499.82 c #Conflicts: 1632000 | #Constraints: 41184
3489.67/3499.82 c #Conflicts: 1633000 | #Constraints: 42184
3489.67/3499.82 c #Conflicts: 1634000 | #Constraints: 43184
3489.67/3499.82 c #Conflicts: 1635000 | #Constraints: 44184
3489.67/3499.82 c #Conflicts: 1636000 | #Constraints: 45184
3489.67/3499.82 c #Conflicts: 1637000 | #Constraints: 46184
3489.67/3499.82 c #Conflicts: 1638000 | #Constraints: 47184
3489.67/3499.82 c #Conflicts: 1639000 | #Constraints: 48184
3489.67/3499.82 c #Conflicts: 1640000 | #Constraints: 49184
3489.67/3499.82 c #Conflicts: 1641000 | #Constraints: 50184
3489.67/3499.82 c #Conflicts: 1642000 | #Constraints: 51184
3489.67/3499.82 c INPROCESSING
3489.67/3499.82 c GARBAGE COLLECT
3489.67/3499.82 c #Conflicts: 1643000 | #Constraints: 26781
3489.67/3499.82 c #Conflicts: 1644000 | #Constraints: 27781
3489.67/3499.82 c #Conflicts: 1645000 | #Constraints: 28781
3489.67/3499.82 c #Conflicts: 1646000 | #Constraints: 29781
3489.67/3499.82 c #Conflicts: 1647000 | #Constraints: 30781
3489.67/3499.82 c #Conflicts: 1648000 | #Constraints: 31781
3489.67/3499.82 c #Conflicts: 1649000 | #Constraints: 32781
3489.67/3499.82 c #Conflicts: 1650000 | #Constraints: 33781
3489.67/3499.82 c #Conflicts: 1651000 | #Constraints: 34781
3489.67/3499.82 c #Conflicts: 1652000 | #Constraints: 35781
3489.67/3499.82 c #Conflicts: 1653000 | #Constraints: 36781
3489.67/3499.82 c #Conflicts: 1654000 | #Constraints: 37781
3489.67/3499.82 c #Conflicts: 1655000 | #Constraints: 38781
3489.67/3499.82 c #Conflicts: 1656000 | #Constraints: 39781
3489.67/3499.82 c #Conflicts: 1657000 | #Constraints: 40781
3489.67/3499.82 c #Conflicts: 1658000 | #Constraints: 41781
3489.67/3499.82 c #Conflicts: 1659000 | #Constraints: 42781
3489.67/3499.82 c #Conflicts: 1660000 | #Constraints: 43781
3489.67/3499.82 c #Conflicts: 1661000 | #Constraints: 44781
3489.67/3499.82 c #Conflicts: 1662000 | #Constraints: 45781
3489.67/3499.82 c #Conflicts: 1663000 | #Constraints: 46781
3489.67/3499.82 c #Conflicts: 1664000 | #Constraints: 47781
3489.67/3499.82 c #Conflicts: 1665000 | #Constraints: 48781
3489.67/3499.82 c #Conflicts: 1666000 | #Constraints: 49781
3489.67/3499.82 c #Conflicts: 1667000 | #Constraints: 50781
3489.67/3499.82 c #Conflicts: 1668000 | #Constraints: 51781
3489.67/3499.82 c INPROCESSING
3489.67/3499.82 c GARBAGE COLLECT
3489.67/3499.82 c #Conflicts: 1669000 | #Constraints: 27185
3489.67/3499.82 c #Conflicts: 1670000 | #Constraints: 28185
3489.67/3499.82 c #Conflicts: 1671000 | #Constraints: 29185
3489.67/3499.82 c #Conflicts: 1672000 | #Constraints: 30185
3489.67/3499.82 c #Conflicts: 1673000 | #Constraints: 31185
3489.67/3499.82 c #Conflicts: 1674000 | #Constraints: 32185
3489.67/3499.82 c #Conflicts: 1675000 | #Constraints: 33185
3489.67/3499.82 c #Conflicts: 1676000 | #Constraints: 34185
3489.67/3499.82 c #Conflicts: 1677000 | #Constraints: 35185
3489.67/3499.82 c #Conflicts: 1678000 | #Constraints: 36185
3489.67/3499.82 c #Conflicts: 1679000 | #Constraints: 37185
3489.67/3499.82 c #Conflicts: 1680000 | #Constraints: 38185
3489.67/3499.82 c #Conflicts: 1681000 | #Constraints: 39185
3489.67/3499.82 c #Conflicts: 1682000 | #Constraints: 40185
3489.67/3499.82 c #Conflicts: 1683000 | #Constraints: 41185
3600.05/3610.50 c #Conflicts: 1684000 | #Constraints: 42185
3600.05/3610.50 c #Conflicts: 1685000 | #Constraints: 43185
3600.05/3610.50 c #Conflicts: 1686000 | #Constraints: 44185
3600.05/3610.50 c #Conflicts: 1687000 | #Constraints: 45185
3600.05/3610.50 c #Conflicts: 1688000 | #Constraints: 46185
3600.05/3610.50 c #Conflicts: 1689000 | #Constraints: 47185
3600.05/3610.50 c #Conflicts: 1690000 | #Constraints: 48185
3600.05/3610.50 c #Conflicts: 1691000 | #Constraints: 49185
3600.05/3610.50 c #Conflicts: 1692000 | #Constraints: 50185
3600.05/3610.50 c #Conflicts: 1693000 | #Constraints: 51185
3600.05/3610.50 c #Conflicts: 1694000 | #Constraints: 52185
3600.05/3610.50 c INPROCESSING
3600.05/3610.50 c GARBAGE COLLECT
3600.05/3610.50 c #Conflicts: 1695000 | #Constraints: 27384
3600.05/3610.50 c #Conflicts: 1696000 | #Constraints: 28384
3600.05/3610.50 c #Conflicts: 1697000 | #Constraints: 29384
3600.05/3610.50 c #Conflicts: 1698000 | #Constraints: 30384
3600.05/3610.50 c #Conflicts: 1699000 | #Constraints: 31384
3600.05/3610.50 c #Conflicts: 1700000 | #Constraints: 32384
3600.05/3610.50 c #Conflicts: 1701000 | #Constraints: 33384
3600.05/3610.50 c #Conflicts: 1702000 | #Constraints: 34384
3600.05/3610.50 c #Conflicts: 1703000 | #Constraints: 35384
3600.05/3610.50 c #Conflicts: 1704000 | #Constraints: 36384
3600.05/3610.50 c #Conflicts: 1705000 | #Constraints: 37384
3600.05/3610.50 c #Conflicts: 1706000 | #Constraints: 38384
3600.05/3610.50 c #Conflicts: 1707000 | #Constraints: 39384
3600.05/3610.50 c #Conflicts: 1708000 | #Constraints: 40384
3600.05/3610.50 c #Conflicts: 1709000 | #Constraints: 41384
3600.05/3610.50 c #Conflicts: 1710000 | #Constraints: 42384
3600.05/3610.50 c #Conflicts: 1711000 | #Constraints: 43384
3600.05/3610.50 c #Conflicts: 1712000 | #Constraints: 44384
3600.05/3610.50 c #Conflicts: 1713000 | #Constraints: 45384
3600.05/3610.50 c #Conflicts: 1714000 | #Constraints: 46384
3600.05/3610.50 c cpu time 3584.3 s
3600.05/3610.50 c deterministic time 1 1.00e+00
3600.05/3610.50 c optimization time 3584.3 s
3600.05/3610.50 c total solve time 0 s
3600.05/3610.50 c core-guided solve time 0 s
3600.05/3610.50 c propagation time 0.000192 s
3600.05/3610.50 c conflict analysis time 0 s
3600.05/3610.50 c propagations 0
3600.05/3610.50 c resolve steps 0
3600.05/3610.50 c decisions 0
3600.05/3610.50 c conflicts 0
3600.05/3610.50 c restarts 0
3600.05/3610.50 c inprocessing phases 0
3600.05/3610.50 c garbage collections 0 ,( -nan )
3600.05/3610.50 c input clauses 0 ,( 0.00 )
3600.05/3610.50 c input cardinalities 0 ,( 0.00 )
3600.05/3610.50 c input general constraints 468 ,( 100.00 )
3600.05/3610.50 c input average constraint length 9.04
3600.05/3610.50 c input average constraint degree 28.55
3600.05/3610.50 c learned clauses 0 ,( 0.00 )
3600.05/3610.50 c learned cardinalities 0 ,( 0.00 )
3600.05/3610.50 c learned general constraints 0 ,( 0.00 )
3600.05/3610.50 c learned average constraint length 0.00
3600.05/3610.50 c learned average constraint degree 0.00
3600.05/3610.50 c watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.05/3610.50 c counting CF 32, 64, 128, Arb: 467 , 0 , 0 , 0
3600.05/3610.50 c watched constraints 2 ,( 0.43 )
3600.05/3610.50 c counting constraints 466 ,( 99.57 )
3600.05/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.50 c gcd simplifications 0
3600.05/3610.50 c detected cardinalities 0
3600.05/3610.50 c weakened non-implied lits 0
3600.05/3610.50 c weakened non-implying lits 0
3600.05/3610.50 c original variables 468
3600.05/3610.50 c clausal propagations 0
3600.05/3610.50 c cardinality propagations 0
3600.05/3610.50 c watched propagations 0
3600.05/3610.50 c counting propagations 0
3600.05/3610.50 c watch lookups 0
3600.05/3610.50 c watch backjump lookups 0
3600.05/3610.50 c watch checks 0
3600.05/3610.50 c propagation checks 0
3600.05/3610.50 c constraint additions 0
3600.05/3610.50 c trail pops 0
3600.05/3610.50 c formula constraints 468
3600.05/3610.50 c learned constraints 0
3600.05/3610.50 c bound constraints 0
3600.05/3610.50 c core-guided constraints 0
3600.05/3610.50 c encountered formula constraints 0
3600.05/3610.50 c encountered learned constraints 0
3600.05/3610.50 c encountered bound constraints 0
3600.05/3610.50 c encountered core-guided constraints 0
3600.05/3610.50 c LP total time 0 s
3600.05/3610.50 c LP solve time 0 s
3600.05/3610.50 c LP constraints added 0
3600.05/3610.50 c LP constraints removed 0
3600.05/3610.50 c LP pivots internal 0
3600.05/3610.50 c LP pivots root 0
3600.05/3610.50 c LP calls 0
3600.05/3610.50 c LP optimalities 0
3600.05/3610.50 c LP no pivot count 0
3600.05/3610.50 c LP infeasibilities 0
3600.05/3610.50 c LP valid Farkas constraints 0
3600.05/3610.50 c LP learned Farkas constraints 0
3600.05/3610.50 c LP basis resets 0
3600.05/3610.50 c LP cycling count 0
3600.05/3610.50 c LP singular count 0
3600.05/3610.50 c LP no primal count 0
3600.05/3610.50 c LP no farkas count 0
3600.05/3610.50 c LP other issue count 0
3600.05/3610.50 c LP Gomory cuts 0
3600.05/3610.50 c LP learned cuts 0
3600.05/3610.50 c LP deleted cuts 0
3600.05/3610.50 c LP encountered Gomory constraints 0
3600.05/3610.50 c LP encountered Farkas constraints 0
3600.05/3610.50 c LP encountered learned Farkas constraints 0
3600.05/3610.50 c CG auxiliary variables introduced 0
3600.05/3610.50 c CG solutions found 0
3600.05/3610.50 c CG cores constructed 0
3600.05/3610.50 c CG core cardinality constraints returned 0
3600.05/3610.50 c CG unit cores 0
3600.05/3610.50 c CG single cores 0
3600.05/3610.50 c CG blocks removed during cardinality reduction 0
3600.05/3610.50 c CG first core best 0
3600.05/3610.50 c CG decision core best 0
3600.05/3610.50 c CG core reduction tie 0
3600.05/3610.50 c CG core degree average 0.00
3600.05/3610.50 c CG core slack average 0.00
3600.05/3610.50 c CG core upper bound improvements 0
3600.05/3610.50 c STR number of successful calls 0
3600.05/3610.50 c STR number of unsuccessful calls 0
3600.05/3610.50 c STR number of inconclusive calls 0
3600.05/3610.50 c STR number of successful attempts 0
3600.05/3610.50 c STR number of unsuccessful attempts 0
3600.05/3610.50 c STR number of inconclusive attempts 0
3600.05/3610.50 c STR average degree increase per successful call inf
3600.05/3610.50 c STR average degree increase per successful attempt inf
3600.05/3610.50 c STR total number of conflicts for successful attempts 0
3600.05/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.50 c STR average number of conflicts per successful attempt inf
3600.05/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.50 c AVG.sumWPerc 71.62
3600.05/3610.50 c bigint constraints 0
3600.05/3610.50 s UNKNOWN
3600.05/3610.50 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 (63033 MiB free)
memory of node 1: 64507 MiB (63902 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489277-1751355503/watcher-4489277-1751355503 -o /tmp/evaluation-result-4489277-1751355503/solver-4489277-1751355503 -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-4489277-1751355503.opb PROOFDIR/proof-4489277-1751355503
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=46423, runsolver pid=46420
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.13 4.10 5/273 46425
/proc/meminfo: memFree=129977772/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=62776 memory=15508 CPUtime=0.07 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 1286 0 0 0 7 0 0 0 20 0 1 0 51229880 64282624 3877 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 15694 3877 2368 1147 0 3121 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66968 KiB
Current children cumulated memory: 18580 KiB
[startup+0.205757 s]*
/proc/loadavg: 4.12 4.13 4.10 5/273 46425
/proc/meminfo: memFree=129965172/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=67400 memory=19604 CPUtime=0.18 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 2299 0 0 0 17 1 0 0 20 0 1 0 51229880 69017600 4901 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 16850 4901 2368 1147 0 4277 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 71592 KiB
Current children cumulated memory: 22676 KiB
[startup+0.30566 s]*
/proc/loadavg: 4.12 4.13 4.10 5/273 46425
/proc/meminfo: memFree=129953076/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=68264 memory=21524 CPUtime=0.28 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 2788 0 0 0 27 1 0 0 20 0 1 0 51229880 69902336 5381 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 17066 5381 2368 1147 0 4493 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72456 KiB
Current children cumulated memory: 24596 KiB
[startup+0.70018 s]
/proc/loadavg: 4.12 4.13 4.10 5/273 46425
/proc/meminfo: memFree=129940980/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=77476 memory=28052 CPUtime=0.67 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 4408 0 0 0 65 2 0 0 20 0 1 0 51229880 79335424 7013 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 19369 7013 2368 1147 0 6796 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81668 KiB
Current children cumulated memory: 31124 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.13 4.10 5/273 46425
/proc/meminfo: memFree=129893728/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=83208 memory=33300 CPUtime=1.47 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 5713 0 0 0 143 4 0 0 20 0 1 0 51229880 85204992 8325 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 20802 8325 2368 1147 0 8229 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 87400 KiB
Current children cumulated memory: 36372 KiB
[startup+3.10555 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129811024/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=95436 memory=45416 CPUtime=3.07 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 8248 0 0 0 300 7 0 0 20 0 1 0 51229880 97726464 11354 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 23859 11354 2368 1147 0 11286 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 99628 KiB
Current children cumulated memory: 48488 KiB
[startup+6.30019 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129750768/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=105064 memory=49512 CPUtime=6.25 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 9257 0 0 0 612 13 0 0 20 0 1 0 51229880 107585536 12378 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 26266 12378 2368 1147 0 13693 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 109256 KiB
Current children cumulated memory: 52584 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129585504/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=124972 memory=66596 CPUtime=12.64 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 13038 0 0 0 1242 22 0 0 20 0 1 0 51229880 127971328 16649 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 31243 16649 2368 1147 0 18670 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 129164 KiB
Current children cumulated memory: 69668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.09 5/273 46427
/proc/meminfo: memFree=129369352/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=147144 memory=79700 CPUtime=25.4 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 15811 0 0 0 2498 42 0 0 20 0 1 0 51229880 150675456 19925 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 36786 19925 2368 1147 0 24213 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 151336 KiB
Current children cumulated memory: 82772 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.13 4.09 5/273 46427
/proc/meminfo: memFree=128955232/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=154988 memory=96068 CPUtime=50.94 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 18881 0 0 0 5023 71 0 0 20 0 1 0 51229880 158707712 24017 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 38747 24017 2368 1147 0 26174 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 99140 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 46429
/proc/meminfo: memFree=128342688/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=191128 memory=123372 CPUtime=101.99 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 24669 0 0 0 10075 124 0 0 20 0 1 0 51229880 195715072 30843 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 47782 30843 2368 1147 0 35209 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 195320 KiB
Current children cumulated memory: 126444 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/272 46431
/proc/meminfo: memFree=127799548/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=219716 memory=136260 CPUtime=161.82 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 27381 0 0 0 16007 175 0 0 20 0 1 0 51229880 224989184 34065 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 54929 34065 2368 1147 0 42356 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 223908 KiB
Current children cumulated memory: 139332 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 46434
/proc/meminfo: memFree=127246700/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=228816 memory=150228 CPUtime=221.66 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 29872 0 0 0 21948 218 0 0 20 0 1 0 51229880 234307584 37557 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 57204 37557 2368 1147 0 44631 0
################
# More data... #
################
/proc/46425/statm: 113610 82181 2368 1147 0 101037 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 458632 KiB
Current children cumulated memory: 331796 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/271 46601
/proc/meminfo: memFree=115101172/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=454440 memory=328724 CPUtime=3153.13 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 72048 0 0 0 313892 1421 0 0 20 0 1 0 51229880 465346560 82181 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 113610 82181 2368 1147 0 101037 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 458632 KiB
Current children cumulated memory: 331796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 46605
/proc/meminfo: memFree=114924400/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=454440 memory=328724 CPUtime=3212.96 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 72066 0 0 0 319857 1439 0 0 20 0 1 0 51229880 465346560 82181 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 113610 82181 2368 1147 0 101037 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 458632 KiB
Current children cumulated memory: 331796 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 46610
/proc/meminfo: memFree=114778156/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=456740 memory=329752 CPUtime=3272.79 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 72497 0 0 0 325816 1463 0 0 20 0 1 0 51229880 467701760 82438 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 114185 82438 2368 1147 0 101612 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 460932 KiB
Current children cumulated memory: 332824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 46612
/proc/meminfo: memFree=114620240/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=457508 memory=334240 CPUtime=3332.62 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 72674 0 0 0 331776 1486 0 0 20 0 1 0 51229880 468488192 83560 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 114377 83560 2368 1147 0 101804 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 461700 KiB
Current children cumulated memory: 337312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.20 4.12 5/272 46614
/proc/meminfo: memFree=114462996/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=471076 memory=336460 CPUtime=3392.46 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 76239 0 0 0 337736 1510 0 0 20 0 1 0 51229880 482381824 84115 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 117769 84115 2368 1147 0 105196 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 475268 KiB
Current children cumulated memory: 339532 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/272 46616
/proc/meminfo: memFree=114283460/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=473888 memory=336860 CPUtime=3452.28 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 77055 0 0 0 343701 1527 0 0 20 0 1 0 51229880 485261312 84215 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 118472 84215 2368 1147 0 105899 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 478080 KiB
Current children cumulated memory: 339932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/272 46622
/proc/meminfo: memFree=114144196/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=473888 memory=336860 CPUtime=3512.1 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 77056 0 0 0 349664 1546 0 0 20 0 1 0 51229880 485261312 84215 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 118472 84215 2368 1147 0 105899 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 478080 KiB
Current children cumulated memory: 339932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/271 46624
/proc/meminfo: memFree=113998416/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=476960 memory=341144 CPUtime=3571.93 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 77769 0 0 0 355626 1567 0 0 20 0 1 0 51229880 488407040 85286 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 119240 85286 2368 1147 0 106667 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 481152 KiB
Current children cumulated memory: 344216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.22 4.18 4.12 3/262 46642
/proc/meminfo: memFree=114822556/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=476960 memory=341144 CPUtime=3600.05 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 77769 0 0 0 358429 1576 0 0 20 0 1 0 51229880 488407040 85286 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 119240 85286 2368 1147 0 106667 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 481152 KiB
Current children cumulated memory: 344216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 46423 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001044 s, system=0.001046 s
[startup+3610.54 s]
# the end of solver process 46425 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.31 s, system=15.7716 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.22 4.18 4.12 3/262 46642
/proc/meminfo: memFree=114822556/131249996 swapFree=33010416/33010684
[pid=46423] ppid=46420 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/46423/stat : 46423 (run-opt-log.sh) S 46420 46423 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51229880 4292608 768 18446744073709551615 94073340575744 94073341470277 140724485352240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94073341709328 94073341757072 94073369509888 140724485359905 140724485360100 140724485360100 140724485365702 0
/proc/46423/statm: 1048 768 704 219 0 110 0
[pid=46425] ppid=46423 vsize=476960 memory=341144 CPUtime=3600.05 cores=1,3
/proc/46425/stat : 46425 (roundingsat) R 46423 46423 45597 0 -1 4194304 77769 0 0 0 358429 1576 0 0 20 0 1 0 51229880 488407040 85286 18446744073709551615 4227072 8923433 140726632824080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29085696 140726632827218 140726632827432 140726632827432 140726632833002 0
/proc/46425/statm: 119240 85286 2368 1147 0 106667 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 481152 KiB
Current children cumulated memory: 344216 KiB
Child status: 2
Real time (s): 3610.54
CPU time (s): 3600.08
CPU user time (s): 3584.31
CPU system time (s): 15.7716
CPU usage (%): 99.7103
Max. virtual memory (cumulated for all children) (KiB): 481152
Max. memory (cumulated for all children) (KiB): 344216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.31
system time used= 15.7716
maximum resident set size= 341400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7159888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 435
involuntary context switches= 4942
# summary of solver processes directly reported to runsolver:
# pid: 46423,46425
# total CPU time (s): 3600.08
# total CPU user time (s): 3584.31
# total CPU system time (s): 15.7716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.3134 second user time and 14.927 second system time
The end
Begin job on nodeC030 at 2025-07-01 09:38:23
IDJOB=4489277
IDBENCH=147544
IDSOLVER=3351
FILE ID=nodeC030/4489277-1751355503
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_14.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-4489277-1751355503/watcher-4489277-1751355503 -o /tmp/evaluation-result-4489277-1751355503/solver-4489277-1751355503 -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-4489277-1751355503.opb PROOFDIR/proof-4489277-1751355503
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c9dbdd12375057f4b915bf781d219fad
RANDOM SEED=347128419
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.343
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.149
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 : 3627.589
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 : 3602.155
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.326
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.327
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 : 3603.594
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 : 3572.587
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: 129986620 kB
MemAvailable: 129757432 kB
Buffers: 2564 kB
Cached: 564664 kB
SwapCached: 16 kB
Active: 547440 kB
Inactive: 146768 kB
Active(anon): 140484 kB
Inactive(anon): 4548 kB
Active(file): 406956 kB
Inactive(file): 142220 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43760 kB
Writeback: 0 kB
AnonPages: 130116 kB
Mapped: 116340 kB
Shmem: 18048 kB
KReclaimable: 121348 kB
Slab: 209340 kB
SReclaimable: 121348 kB
SUnreclaim: 87992 kB
KernelStack: 4400 kB
PageTables: 3360 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 488012 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 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 10:38:34