0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 1073 #constraints 832
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.007029
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.007852
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.015044
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.019457
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.022466
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.026355
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.034079
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.03717
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.041496
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.046539
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.050277
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.054899
0.00/0.10 c GLOBAL bounds - >= 0 @ 0.062561
0.07/0.11 c GLOBAL bounds - >= 0 @ 0.068662
0.07/0.12 c GLOBAL bounds - >= 0 @ 0.081563
0.07/0.13 c GLOBAL bounds - >= 0 @ 0.090601
0.07/0.16 c GLOBAL bounds - >= 0 @ 0.119235
0.07/0.18 c GLOBAL bounds - >= 0 @ 0.132247
0.07/0.19 c GLOBAL bounds - >= 0 @ 0.142658
0.28/0.38 c #Conflicts: 1000 | #Constraints: 1866
0.28/0.38 c GLOBAL bounds - >= 0 @ 0.326552
0.38/0.42 c GLOBAL bounds - >= 0 @ 0.35692
0.38/0.46 c GLOBAL bounds - >= 0 @ 0.39588
0.38/0.48 c GLOBAL bounds - >= 0 @ 0.417025
0.38/0.51 c GLOBAL bounds - >= 0 @ 0.436051
0.47/0.54 c GLOBAL bounds - >= 0 @ 0.464499
0.47/0.56 c GLOBAL bounds - >= 0 @ 0.484951
0.47/0.58 c GLOBAL bounds - >= 0 @ 0.498908
0.57/0.61 c GLOBAL bounds - >= 0 @ 0.527043
0.57/0.64 c GLOBAL bounds - >= 0 @ 0.558036
0.57/0.69 c #Conflicts: 2000 | #Constraints: 2886
0.57/0.69 c INPROCESSING
0.57/0.69 c GARBAGE COLLECT
0.57/0.69 c GLOBAL bounds - >= 0 @ 0.603472
0.67/0.72 c GLOBAL bounds - >= 0 @ 0.638987
0.77/0.81 c GLOBAL bounds - >= 0 @ 0.720128
0.77/0.83 c GLOBAL bounds - >= 0 @ 0.741663
0.77/0.88 c GLOBAL bounds - >= 0 @ 0.790918
1.56/1.64 c #Conflicts: 3000 | #Constraints: 2917
1.56/1.64 c #Conflicts: 4000 | #Constraints: 3917
1.56/1.64 c INPROCESSING
1.56/1.64 c GARBAGE COLLECT
1.56/1.64 c #Conflicts: 5000 | #Constraints: 3354
1.56/1.64 c GLOBAL bounds - >= 0 @ 1.52926
2.36/2.46 c #Conflicts: 6000 | #Constraints: 4356
2.36/2.46 c INPROCESSING
2.36/2.46 c GARBAGE COLLECT
2.36/2.46 c #Conflicts: 7000 | #Constraints: 3375
2.36/2.46 c GLOBAL bounds - >= 0 @ 2.33012
2.66/2.78 c #Conflicts: 8000 | #Constraints: 4377
2.66/2.78 c GLOBAL bounds - >= 0 @ 2.63455
2.76/2.86 c #Conflicts: 9000 | #Constraints: 5379
2.76/2.86 c GLOBAL bounds - >= 0 @ 2.71297
2.86/2.95 c INPROCESSING
2.86/2.95 c GARBAGE COLLECT
2.86/2.95 c GLOBAL bounds - >= 0 @ 2.79602
2.96/3.02 c GLOBAL bounds - >= 0 @ 2.86294
4.36/4.49 c #Conflicts: 10000 | #Constraints: 4082
4.36/4.49 c #Conflicts: 11000 | #Constraints: 5082
4.36/4.49 c #Conflicts: 12000 | #Constraints: 6082
4.36/4.49 c INPROCESSING
4.36/4.49 c GARBAGE COLLECT
4.36/4.49 c GLOBAL bounds - >= 0 @ 4.29531
4.46/4.55 c GLOBAL bounds - >= 0 @ 4.35486
4.55/4.61 c #Conflicts: 13000 | #Constraints: 4552
4.55/4.61 c GLOBAL bounds - >= 0 @ 4.41241
4.55/4.65 c GLOBAL bounds - >= 0 @ 4.45081
4.55/4.69 c GLOBAL bounds - >= 0 @ 4.48635
4.65/4.75 c GLOBAL bounds - >= 0 @ 4.53994
5.25/5.36 c #Conflicts: 14000 | #Constraints: 5560
5.25/5.36 c #Conflicts: 15000 | #Constraints: 6560
5.25/5.36 c INPROCESSING
5.25/5.36 c GARBAGE COLLECT
5.25/5.36 c GLOBAL bounds - >= 0 @ 5.13959
5.45/5.57 c #Conflicts: 16000 | #Constraints: 4787
5.45/5.57 c GLOBAL bounds - >= 0 @ 5.33835
5.55/5.67 c GLOBAL bounds - >= 0 @ 5.43623
5.85/5.90 c #Conflicts: 17000 | #Constraints: 5791
5.85/5.90 c GLOBAL bounds - >= 0 @ 5.658
6.65/6.79 c #Conflicts: 18000 | #Constraints: 6793
6.65/6.79 c INPROCESSING
6.65/6.79 c GARBAGE COLLECT
6.65/6.79 c #Conflicts: 19000 | #Constraints: 4821
6.65/6.79 c GLOBAL bounds - >= 0 @ 6.52825
6.75/6.86 c #Conflicts: 20000 | #Constraints: 5823
6.75/6.86 c GLOBAL bounds - >= 0 @ 6.59371
7.24/7.31 c #Conflicts: 21000 | #Constraints: 6825
7.24/7.31 c GLOBAL bounds - >= 0 @ 7.02653
8.25/8.31 c INPROCESSING
8.25/8.31 c GARBAGE COLLECT
8.25/8.31 c #Conflicts: 22000 | #Constraints: 4626
8.25/8.31 c #Conflicts: 23000 | #Constraints: 5626
8.25/8.31 c #Conflicts: 24000 | #Constraints: 6626
8.25/8.31 c GLOBAL bounds - >= 0 @ 7.99619
8.85/8.95 c #Conflicts: 25000 | #Constraints: 7628
8.85/8.95 c INPROCESSING
8.85/8.95 c GARBAGE COLLECT
8.85/8.95 c #Conflicts: 26000 | #Constraints: 5233
8.85/8.95 c GLOBAL bounds - >= 0 @ 8.62473
9.84/9.93 c #Conflicts: 27000 | #Constraints: 6235
9.84/9.93 c #Conflicts: 28000 | #Constraints: 7235
9.84/9.93 c GLOBAL bounds - >= 0 @ 9.57261
16.93/17.03 c #Conflicts: 29000 | #Constraints: 8237
16.93/17.03 c INPROCESSING
16.93/17.03 c GARBAGE COLLECT
16.93/17.03 c #Conflicts: 30000 | #Constraints: 5619
16.93/17.03 c #Conflicts: 31000 | #Constraints: 6619
16.93/17.03 c #Conflicts: 32000 | #Constraints: 7619
16.93/17.03 c #Conflicts: 33000 | #Constraints: 8619
16.93/17.03 c INPROCESSING
16.93/17.03 c GARBAGE COLLECT
16.93/17.03 c #Conflicts: 34000 | #Constraints: 5837
16.93/17.03 c #Conflicts: 35000 | #Constraints: 6837
16.93/17.03 c #Conflicts: 36000 | #Constraints: 7837
16.93/17.03 c #Conflicts: 37000 | #Constraints: 8837
16.93/17.03 c INPROCESSING
16.93/17.03 c GARBAGE COLLECT
16.93/17.03 c #Conflicts: 38000 | #Constraints: 5864
16.93/17.03 c #Conflicts: 39000 | #Constraints: 6864
16.93/17.03 c #Conflicts: 40000 | #Constraints: 7864
16.93/17.03 c #Conflicts: 41000 | #Constraints: 8864
16.93/17.03 c INPROCESSING
16.93/17.03 c GARBAGE COLLECT
16.93/17.03 c #Conflicts: 42000 | #Constraints: 5660
16.93/17.03 c #Conflicts: 43000 | #Constraints: 6660
16.93/17.03 c #Conflicts: 44000 | #Constraints: 7660
16.93/17.03 c #Conflicts: 45000 | #Constraints: 8660
16.93/17.03 c #Conflicts: 46000 | #Constraints: 9660
16.93/17.03 c GLOBAL bounds - >= 0 @ 16.5267
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 47000 | #Constraints: 6259
59.81/60.10 c #Conflicts: 48000 | #Constraints: 7259
59.81/60.10 c #Conflicts: 49000 | #Constraints: 8259
59.81/60.10 c #Conflicts: 50000 | #Constraints: 9259
59.81/60.10 c #Conflicts: 51000 | #Constraints: 10259
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 52000 | #Constraints: 6670
59.81/60.10 c #Conflicts: 53000 | #Constraints: 7670
59.81/60.10 c #Conflicts: 54000 | #Constraints: 8670
59.81/60.10 c #Conflicts: 55000 | #Constraints: 9670
59.81/60.10 c #Conflicts: 56000 | #Constraints: 10670
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 57000 | #Constraints: 6882
59.81/60.10 c #Conflicts: 58000 | #Constraints: 7882
59.81/60.10 c #Conflicts: 59000 | #Constraints: 8882
59.81/60.10 c #Conflicts: 60000 | #Constraints: 9882
59.81/60.10 c #Conflicts: 61000 | #Constraints: 10882
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 62000 | #Constraints: 6880
59.81/60.10 c #Conflicts: 63000 | #Constraints: 7880
59.81/60.10 c #Conflicts: 64000 | #Constraints: 8880
59.81/60.10 c #Conflicts: 65000 | #Constraints: 9880
59.81/60.10 c #Conflicts: 66000 | #Constraints: 10880
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 67000 | #Constraints: 6689
59.81/60.10 c #Conflicts: 68000 | #Constraints: 7689
59.81/60.10 c #Conflicts: 69000 | #Constraints: 8689
59.81/60.10 c #Conflicts: 70000 | #Constraints: 9689
59.81/60.10 c #Conflicts: 71000 | #Constraints: 10689
59.81/60.10 c #Conflicts: 72000 | #Constraints: 11689
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 73000 | #Constraints: 7293
59.81/60.10 c #Conflicts: 74000 | #Constraints: 8293
59.81/60.10 c #Conflicts: 75000 | #Constraints: 9293
59.81/60.10 c #Conflicts: 76000 | #Constraints: 10293
59.81/60.10 c #Conflicts: 77000 | #Constraints: 11293
59.81/60.10 c #Conflicts: 78000 | #Constraints: 12293
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 79000 | #Constraints: 7693
59.81/60.10 c #Conflicts: 80000 | #Constraints: 8693
59.81/60.10 c #Conflicts: 81000 | #Constraints: 9693
59.81/60.10 c #Conflicts: 82000 | #Constraints: 10693
59.81/60.10 c #Conflicts: 83000 | #Constraints: 11693
59.81/60.10 c #Conflicts: 84000 | #Constraints: 12693
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 85000 | #Constraints: 7889
59.81/60.10 c #Conflicts: 86000 | #Constraints: 8889
59.81/60.10 c #Conflicts: 87000 | #Constraints: 9889
59.81/60.10 c #Conflicts: 88000 | #Constraints: 10889
59.81/60.10 c #Conflicts: 89000 | #Constraints: 11889
59.81/60.10 c #Conflicts: 90000 | #Constraints: 12889
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 91000 | #Constraints: 7895
59.81/60.10 c #Conflicts: 92000 | #Constraints: 8895
59.81/60.10 c #Conflicts: 93000 | #Constraints: 9895
59.81/60.10 c #Conflicts: 94000 | #Constraints: 10895
59.81/60.10 c #Conflicts: 95000 | #Constraints: 11895
59.81/60.10 c #Conflicts: 96000 | #Constraints: 12895
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 97000 | #Constraints: 7694
59.81/60.10 c #Conflicts: 98000 | #Constraints: 8694
59.81/60.10 c #Conflicts: 99000 | #Constraints: 9694
59.81/60.10 c #Conflicts: 100000 | #Constraints: 10694
59.81/60.10 c #Conflicts: 101000 | #Constraints: 11694
59.81/60.10 c #Conflicts: 102000 | #Constraints: 12694
59.81/60.10 c #Conflicts: 103000 | #Constraints: 13694
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 104000 | #Constraints: 8295
59.81/60.10 c #Conflicts: 105000 | #Constraints: 9295
59.81/60.10 c #Conflicts: 106000 | #Constraints: 10295
59.81/60.10 c #Conflicts: 107000 | #Constraints: 11295
59.81/60.10 c #Conflicts: 108000 | #Constraints: 12295
59.81/60.10 c #Conflicts: 109000 | #Constraints: 13295
59.81/60.10 c #Conflicts: 110000 | #Constraints: 14295
59.81/60.10 c INPROCESSING
59.81/60.10 c GARBAGE COLLECT
59.81/60.10 c #Conflicts: 111000 | #Constraints: 8698
59.81/60.10 c #Conflicts: 112000 | #Constraints: 9698
59.81/60.10 c #Conflicts: 113000 | #Constraints: 10698
59.81/60.10 c #Conflicts: 114000 | #Constraints: 11698
59.81/60.10 c #Conflicts: 115000 | #Constraints: 12698
59.81/60.10 c #Conflicts: 116000 | #Constraints: 13698
59.81/60.10 c #Conflicts: 117000 | #Constraints: 14698
59.81/60.10 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 118000 | #Constraints: 8896
121.44/121.83 c #Conflicts: 119000 | #Constraints: 9896
121.44/121.83 c #Conflicts: 120000 | #Constraints: 10896
121.44/121.83 c #Conflicts: 121000 | #Constraints: 11896
121.44/121.83 c #Conflicts: 122000 | #Constraints: 12896
121.44/121.83 c #Conflicts: 123000 | #Constraints: 13896
121.44/121.83 c #Conflicts: 124000 | #Constraints: 14896
121.44/121.83 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 125000 | #Constraints: 8899
121.44/121.83 c #Conflicts: 126000 | #Constraints: 9899
121.44/121.83 c #Conflicts: 127000 | #Constraints: 10899
121.44/121.83 c #Conflicts: 128000 | #Constraints: 11899
121.44/121.83 c #Conflicts: 129000 | #Constraints: 12899
121.44/121.83 c #Conflicts: 130000 | #Constraints: 13899
121.44/121.83 c #Conflicts: 131000 | #Constraints: 14899
121.44/121.83 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 132000 | #Constraints: 8695
121.44/121.83 c #Conflicts: 133000 | #Constraints: 9695
121.44/121.83 c #Conflicts: 134000 | #Constraints: 10695
121.44/121.83 c #Conflicts: 135000 | #Constraints: 11695
121.44/121.83 c #Conflicts: 136000 | #Constraints: 12695
121.44/121.83 c #Conflicts: 137000 | #Constraints: 13695
121.44/121.83 c #Conflicts: 138000 | #Constraints: 14695
121.44/121.83 c #Conflicts: 139000 | #Constraints: 15695
121.44/121.83 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 140000 | #Constraints: 9299
121.44/121.83 c #Conflicts: 141000 | #Constraints: 10299
121.44/121.83 c #Conflicts: 142000 | #Constraints: 11299
121.44/121.83 c #Conflicts: 143000 | #Constraints: 12299
121.44/121.83 c #Conflicts: 144000 | #Constraints: 13299
121.44/121.83 c #Conflicts: 145000 | #Constraints: 14299
121.44/121.83 c #Conflicts: 146000 | #Constraints: 15299
121.44/121.83 c #Conflicts: 147000 | #Constraints: 16299
121.44/121.83 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 148000 | #Constraints: 9695
121.44/121.83 c #Conflicts: 149000 | #Constraints: 10695
121.44/121.83 c #Conflicts: 150000 | #Constraints: 11695
121.44/121.83 c #Conflicts: 151000 | #Constraints: 12695
121.44/121.83 c #Conflicts: 152000 | #Constraints: 13695
121.44/121.83 c #Conflicts: 153000 | #Constraints: 14695
121.44/121.83 c #Conflicts: 154000 | #Constraints: 15695
121.44/121.83 c #Conflicts: 155000 | #Constraints: 16695
121.44/121.83 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 156000 | #Constraints: 9902
121.44/121.83 c #Conflicts: 157000 | #Constraints: 10902
121.44/121.83 c #Conflicts: 158000 | #Constraints: 11902
121.44/121.83 c #Conflicts: 159000 | #Constraints: 12902
121.44/121.83 c #Conflicts: 160000 | #Constraints: 13902
121.44/121.83 c #Conflicts: 161000 | #Constraints: 14902
121.44/121.83 c #Conflicts: 162000 | #Constraints: 15902
121.44/121.83 c #Conflicts: 163000 | #Constraints: 16902
121.44/121.83 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 164000 | #Constraints: 9892
121.44/121.83 c #Conflicts: 165000 | #Constraints: 10892
121.44/121.83 c #Conflicts: 166000 | #Constraints: 11892
121.44/121.83 c #Conflicts: 167000 | #Constraints: 12892
121.44/121.83 c #Conflicts: 168000 | #Constraints: 13892
121.44/121.83 c #Conflicts: 169000 | #Constraints: 14892
121.44/121.83 c #Conflicts: 170000 | #Constraints: 15892
121.44/121.83 c #Conflicts: 171000 | #Constraints: 16892
121.44/121.83 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 172000 | #Constraints: 9698
121.44/121.83 c #Conflicts: 173000 | #Constraints: 10698
121.44/121.83 c #Conflicts: 174000 | #Constraints: 11698
121.44/121.83 c #Conflicts: 175000 | #Constraints: 12698
121.44/121.83 c #Conflicts: 176000 | #Constraints: 13698
121.44/121.83 c #Conflicts: 177000 | #Constraints: 14698
121.44/121.83 c #Conflicts: 178000 | #Constraints: 15698
121.44/121.83 c #Conflicts: 179000 | #Constraints: 16698
121.44/121.83 c #Conflicts: 180000 | #Constraints: 17698
121.44/121.83 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 181000 | #Constraints: 10299
121.44/121.83 c #Conflicts: 182000 | #Constraints: 11299
121.44/121.83 c #Conflicts: 183000 | #Constraints: 12299
121.44/121.83 c #Conflicts: 184000 | #Constraints: 13299
121.44/121.83 c #Conflicts: 185000 | #Constraints: 14299
121.44/121.83 c #Conflicts: 186000 | #Constraints: 15299
121.44/121.83 c #Conflicts: 187000 | #Constraints: 16299
121.44/121.83 c #Conflicts: 188000 | #Constraints: 17299
121.44/121.83 c #Conflicts: 189000 | #Constraints: 18299
121.44/121.83 c INPROCESSING
121.44/121.83 c GARBAGE COLLECT
121.44/121.83 c #Conflicts: 190000 | #Constraints: 10701
194.34/194.97 c #Conflicts: 191000 | #Constraints: 11701
194.34/194.97 c #Conflicts: 192000 | #Constraints: 12701
194.34/194.97 c #Conflicts: 193000 | #Constraints: 13701
194.34/194.97 c #Conflicts: 194000 | #Constraints: 14701
194.34/194.97 c #Conflicts: 195000 | #Constraints: 15701
194.34/194.97 c #Conflicts: 196000 | #Constraints: 16701
194.34/194.97 c #Conflicts: 197000 | #Constraints: 17701
194.34/194.97 c #Conflicts: 198000 | #Constraints: 18701
194.34/194.97 c INPROCESSING
194.34/194.97 c GARBAGE COLLECT
194.34/194.97 c #Conflicts: 199000 | #Constraints: 10900
194.34/194.97 c #Conflicts: 200000 | #Constraints: 11900
194.34/194.97 c #Conflicts: 201000 | #Constraints: 12900
194.34/194.97 c #Conflicts: 202000 | #Constraints: 13900
194.34/194.97 c #Conflicts: 203000 | #Constraints: 14900
194.34/194.97 c #Conflicts: 204000 | #Constraints: 15900
194.34/194.97 c #Conflicts: 205000 | #Constraints: 16900
194.34/194.97 c #Conflicts: 206000 | #Constraints: 17900
194.34/194.97 c #Conflicts: 207000 | #Constraints: 18900
194.34/194.97 c INPROCESSING
194.34/194.97 c GARBAGE COLLECT
194.34/194.97 c #Conflicts: 208000 | #Constraints: 10899
194.34/194.97 c #Conflicts: 209000 | #Constraints: 11899
194.34/194.97 c #Conflicts: 210000 | #Constraints: 12899
194.34/194.97 c #Conflicts: 211000 | #Constraints: 13899
194.34/194.97 c #Conflicts: 212000 | #Constraints: 14899
194.34/194.97 c #Conflicts: 213000 | #Constraints: 15899
194.34/194.97 c #Conflicts: 214000 | #Constraints: 16899
194.34/194.97 c #Conflicts: 215000 | #Constraints: 17899
194.34/194.97 c #Conflicts: 216000 | #Constraints: 18899
194.34/194.97 c INPROCESSING
194.34/194.97 c GARBAGE COLLECT
194.34/194.97 c #Conflicts: 217000 | #Constraints: 10700
194.34/194.97 c #Conflicts: 218000 | #Constraints: 11700
194.34/194.97 c #Conflicts: 219000 | #Constraints: 12700
194.34/194.97 c #Conflicts: 220000 | #Constraints: 13700
194.34/194.97 c #Conflicts: 221000 | #Constraints: 14700
194.34/194.97 c #Conflicts: 222000 | #Constraints: 15700
194.34/194.97 c #Conflicts: 223000 | #Constraints: 16700
194.34/194.97 c #Conflicts: 224000 | #Constraints: 17700
194.34/194.97 c #Conflicts: 225000 | #Constraints: 18700
194.34/194.97 c #Conflicts: 226000 | #Constraints: 19700
194.34/194.97 c INPROCESSING
194.34/194.97 c GARBAGE COLLECT
194.34/194.97 c #Conflicts: 227000 | #Constraints: 11303
194.34/194.97 c #Conflicts: 228000 | #Constraints: 12303
194.34/194.97 c #Conflicts: 229000 | #Constraints: 13303
194.34/194.97 c #Conflicts: 230000 | #Constraints: 14303
194.34/194.97 c #Conflicts: 231000 | #Constraints: 15303
194.34/194.97 c #Conflicts: 232000 | #Constraints: 16303
194.34/194.97 c #Conflicts: 233000 | #Constraints: 17303
194.34/194.97 c #Conflicts: 234000 | #Constraints: 18303
194.34/194.97 c #Conflicts: 235000 | #Constraints: 19303
194.34/194.97 c #Conflicts: 236000 | #Constraints: 20303
194.34/194.97 c INPROCESSING
194.34/194.97 c GARBAGE COLLECT
194.34/194.97 c #Conflicts: 237000 | #Constraints: 11705
194.34/194.97 c #Conflicts: 238000 | #Constraints: 12705
194.34/194.97 c #Conflicts: 239000 | #Constraints: 13705
194.34/194.97 c #Conflicts: 240000 | #Constraints: 14705
194.34/194.97 c #Conflicts: 241000 | #Constraints: 15705
194.34/194.97 c #Conflicts: 242000 | #Constraints: 16705
194.34/194.97 c #Conflicts: 243000 | #Constraints: 17705
194.34/194.97 c #Conflicts: 244000 | #Constraints: 18705
194.34/194.97 c #Conflicts: 245000 | #Constraints: 19705
194.34/194.97 c #Conflicts: 246000 | #Constraints: 20705
194.34/194.97 c INPROCESSING
194.34/194.97 c GARBAGE COLLECT
194.34/194.97 c #Conflicts: 247000 | #Constraints: 11914
194.34/194.97 c #Conflicts: 248000 | #Constraints: 12914
194.34/194.97 c #Conflicts: 249000 | #Constraints: 13914
194.34/194.97 c #Conflicts: 250000 | #Constraints: 14914
194.34/194.97 c #Conflicts: 251000 | #Constraints: 15914
194.34/194.97 c #Conflicts: 252000 | #Constraints: 16914
194.34/194.97 c #Conflicts: 253000 | #Constraints: 17914
194.34/194.97 c #Conflicts: 254000 | #Constraints: 18914
194.34/194.97 c #Conflicts: 255000 | #Constraints: 19914
194.34/194.97 c #Conflicts: 256000 | #Constraints: 20914
194.34/194.97 c INPROCESSING
194.34/194.97 c GARBAGE COLLECT
194.34/194.97 c #Conflicts: 257000 | #Constraints: 11908
194.34/194.97 c #Conflicts: 258000 | #Constraints: 12908
194.34/194.97 c #Conflicts: 259000 | #Constraints: 13908
194.34/194.97 c #Conflicts: 260000 | #Constraints: 14908
194.34/194.97 c #Conflicts: 261000 | #Constraints: 15908
194.34/194.97 c #Conflicts: 262000 | #Constraints: 16908
194.34/194.97 c #Conflicts: 263000 | #Constraints: 17908
194.34/194.97 c #Conflicts: 264000 | #Constraints: 18908
274.82/275.66 c #Conflicts: 265000 | #Constraints: 19908
274.82/275.66 c #Conflicts: 266000 | #Constraints: 20908
274.82/275.66 c INPROCESSING
274.82/275.66 c GARBAGE COLLECT
274.82/275.66 c #Conflicts: 267000 | #Constraints: 11712
274.82/275.66 c #Conflicts: 268000 | #Constraints: 12712
274.82/275.66 c #Conflicts: 269000 | #Constraints: 13712
274.82/275.66 c #Conflicts: 270000 | #Constraints: 14712
274.82/275.66 c #Conflicts: 271000 | #Constraints: 15712
274.82/275.66 c #Conflicts: 272000 | #Constraints: 16712
274.82/275.66 c #Conflicts: 273000 | #Constraints: 17712
274.82/275.66 c #Conflicts: 274000 | #Constraints: 18712
274.82/275.66 c #Conflicts: 275000 | #Constraints: 19712
274.82/275.66 c #Conflicts: 276000 | #Constraints: 20712
274.82/275.66 c #Conflicts: 277000 | #Constraints: 21712
274.82/275.66 c INPROCESSING
274.82/275.66 c GARBAGE COLLECT
274.82/275.66 c #Conflicts: 278000 | #Constraints: 12310
274.82/275.66 c #Conflicts: 279000 | #Constraints: 13310
274.82/275.66 c #Conflicts: 280000 | #Constraints: 14310
274.82/275.66 c #Conflicts: 281000 | #Constraints: 15310
274.82/275.66 c #Conflicts: 282000 | #Constraints: 16310
274.82/275.66 c #Conflicts: 283000 | #Constraints: 17310
274.82/275.66 c #Conflicts: 284000 | #Constraints: 18310
274.82/275.66 c #Conflicts: 285000 | #Constraints: 19310
274.82/275.66 c #Conflicts: 286000 | #Constraints: 20310
274.82/275.66 c #Conflicts: 287000 | #Constraints: 21310
274.82/275.66 c #Conflicts: 288000 | #Constraints: 22310
274.82/275.66 c INPROCESSING
274.82/275.66 c GARBAGE COLLECT
274.82/275.66 c #Conflicts: 289000 | #Constraints: 12707
274.82/275.66 c #Conflicts: 290000 | #Constraints: 13707
274.82/275.66 c #Conflicts: 291000 | #Constraints: 14707
274.82/275.66 c #Conflicts: 292000 | #Constraints: 15707
274.82/275.66 c #Conflicts: 293000 | #Constraints: 16707
274.82/275.66 c #Conflicts: 294000 | #Constraints: 17707
274.82/275.66 c #Conflicts: 295000 | #Constraints: 18707
274.82/275.66 c #Conflicts: 296000 | #Constraints: 19707
274.82/275.66 c #Conflicts: 297000 | #Constraints: 20707
274.82/275.66 c #Conflicts: 298000 | #Constraints: 21707
274.82/275.66 c #Conflicts: 299000 | #Constraints: 22707
274.82/275.66 c INPROCESSING
274.82/275.66 c GARBAGE COLLECT
274.82/275.66 c #Conflicts: 300000 | #Constraints: 12915
274.82/275.66 c #Conflicts: 301000 | #Constraints: 13915
274.82/275.66 c #Conflicts: 302000 | #Constraints: 14915
274.82/275.66 c #Conflicts: 303000 | #Constraints: 15915
274.82/275.66 c #Conflicts: 304000 | #Constraints: 16915
274.82/275.66 c #Conflicts: 305000 | #Constraints: 17915
274.82/275.66 c #Conflicts: 306000 | #Constraints: 18915
274.82/275.66 c #Conflicts: 307000 | #Constraints: 19915
274.82/275.66 c #Conflicts: 308000 | #Constraints: 20915
274.82/275.66 c #Conflicts: 309000 | #Constraints: 21915
274.82/275.66 c #Conflicts: 310000 | #Constraints: 22915
274.82/275.66 c INPROCESSING
274.82/275.66 c GARBAGE COLLECT
274.82/275.66 c #Conflicts: 311000 | #Constraints: 12887
274.82/275.66 c #Conflicts: 312000 | #Constraints: 13887
274.82/275.66 c #Conflicts: 313000 | #Constraints: 14887
274.82/275.66 c #Conflicts: 314000 | #Constraints: 15887
274.82/275.66 c #Conflicts: 315000 | #Constraints: 16887
274.82/275.66 c #Conflicts: 316000 | #Constraints: 17887
274.82/275.66 c #Conflicts: 317000 | #Constraints: 18887
274.82/275.66 c #Conflicts: 318000 | #Constraints: 19887
274.82/275.66 c #Conflicts: 319000 | #Constraints: 20887
274.82/275.66 c #Conflicts: 320000 | #Constraints: 21887
274.82/275.66 c #Conflicts: 321000 | #Constraints: 22887
274.82/275.66 c INPROCESSING
274.82/275.66 c GARBAGE COLLECT
274.82/275.66 c #Conflicts: 322000 | #Constraints: 12698
274.82/275.66 c #Conflicts: 323000 | #Constraints: 13698
274.82/275.66 c #Conflicts: 324000 | #Constraints: 14698
274.82/275.66 c #Conflicts: 325000 | #Constraints: 15698
274.82/275.66 c #Conflicts: 326000 | #Constraints: 16698
274.82/275.66 c #Conflicts: 327000 | #Constraints: 17698
274.82/275.66 c #Conflicts: 328000 | #Constraints: 18698
274.82/275.66 c #Conflicts: 329000 | #Constraints: 19698
274.82/275.66 c #Conflicts: 330000 | #Constraints: 20698
274.82/275.66 c #Conflicts: 331000 | #Constraints: 21698
274.82/275.66 c #Conflicts: 332000 | #Constraints: 22698
274.82/275.66 c #Conflicts: 333000 | #Constraints: 23698
274.82/275.66 c INPROCESSING
274.82/275.66 c GARBAGE COLLECT
274.82/275.66 c #Conflicts: 334000 | #Constraints: 13292
274.82/275.66 c #Conflicts: 335000 | #Constraints: 14292
274.82/275.66 c #Conflicts: 336000 | #Constraints: 15292
274.82/275.66 c #Conflicts: 337000 | #Constraints: 16292
274.82/275.66 c #Conflicts: 338000 | #Constraints: 17292
274.82/275.66 c #Conflicts: 339000 | #Constraints: 18292
368.36/369.40 c #Conflicts: 340000 | #Constraints: 19292
368.36/369.40 c #Conflicts: 341000 | #Constraints: 20292
368.36/369.40 c #Conflicts: 342000 | #Constraints: 21292
368.36/369.40 c #Conflicts: 343000 | #Constraints: 22292
368.36/369.40 c #Conflicts: 344000 | #Constraints: 23292
368.36/369.40 c #Conflicts: 345000 | #Constraints: 24292
368.36/369.40 c INPROCESSING
368.36/369.40 c GARBAGE COLLECT
368.36/369.40 c #Conflicts: 346000 | #Constraints: 13691
368.36/369.40 c #Conflicts: 347000 | #Constraints: 14691
368.36/369.40 c #Conflicts: 348000 | #Constraints: 15691
368.36/369.40 c #Conflicts: 349000 | #Constraints: 16691
368.36/369.40 c #Conflicts: 350000 | #Constraints: 17691
368.36/369.40 c #Conflicts: 351000 | #Constraints: 18691
368.36/369.40 c #Conflicts: 352000 | #Constraints: 19691
368.36/369.40 c #Conflicts: 353000 | #Constraints: 20691
368.36/369.40 c #Conflicts: 354000 | #Constraints: 21691
368.36/369.40 c #Conflicts: 355000 | #Constraints: 22691
368.36/369.40 c #Conflicts: 356000 | #Constraints: 23691
368.36/369.40 c #Conflicts: 357000 | #Constraints: 24691
368.36/369.40 c INPROCESSING
368.36/369.40 c GARBAGE COLLECT
368.36/369.40 c #Conflicts: 358000 | #Constraints: 13894
368.36/369.40 c #Conflicts: 359000 | #Constraints: 14894
368.36/369.40 c #Conflicts: 360000 | #Constraints: 15894
368.36/369.40 c #Conflicts: 361000 | #Constraints: 16894
368.36/369.40 c #Conflicts: 362000 | #Constraints: 17894
368.36/369.40 c #Conflicts: 363000 | #Constraints: 18894
368.36/369.40 c #Conflicts: 364000 | #Constraints: 19894
368.36/369.40 c #Conflicts: 365000 | #Constraints: 20894
368.36/369.40 c #Conflicts: 366000 | #Constraints: 21894
368.36/369.40 c #Conflicts: 367000 | #Constraints: 22894
368.36/369.40 c #Conflicts: 368000 | #Constraints: 23894
368.36/369.40 c #Conflicts: 369000 | #Constraints: 24894
368.36/369.40 c INPROCESSING
368.36/369.40 c GARBAGE COLLECT
368.36/369.40 c #Conflicts: 370000 | #Constraints: 13909
368.36/369.40 c #Conflicts: 371000 | #Constraints: 14909
368.36/369.40 c #Conflicts: 372000 | #Constraints: 15909
368.36/369.40 c #Conflicts: 373000 | #Constraints: 16909
368.36/369.40 c #Conflicts: 374000 | #Constraints: 17909
368.36/369.40 c #Conflicts: 375000 | #Constraints: 18909
368.36/369.40 c #Conflicts: 376000 | #Constraints: 19909
368.36/369.40 c #Conflicts: 377000 | #Constraints: 20909
368.36/369.40 c #Conflicts: 378000 | #Constraints: 21909
368.36/369.40 c #Conflicts: 379000 | #Constraints: 22909
368.36/369.40 c #Conflicts: 380000 | #Constraints: 23909
368.36/369.40 c #Conflicts: 381000 | #Constraints: 24909
368.36/369.40 c INPROCESSING
368.36/369.40 c GARBAGE COLLECT
368.36/369.40 c #Conflicts: 382000 | #Constraints: 13703
368.36/369.40 c #Conflicts: 383000 | #Constraints: 14703
368.36/369.40 c #Conflicts: 384000 | #Constraints: 15703
368.36/369.40 c #Conflicts: 385000 | #Constraints: 16703
368.36/369.40 c #Conflicts: 386000 | #Constraints: 17703
368.36/369.40 c #Conflicts: 387000 | #Constraints: 18703
368.36/369.40 c #Conflicts: 388000 | #Constraints: 19703
368.36/369.40 c #Conflicts: 389000 | #Constraints: 20703
368.36/369.40 c #Conflicts: 390000 | #Constraints: 21703
368.36/369.40 c #Conflicts: 391000 | #Constraints: 22703
368.36/369.40 c #Conflicts: 392000 | #Constraints: 23703
368.36/369.40 c #Conflicts: 393000 | #Constraints: 24703
368.36/369.40 c #Conflicts: 394000 | #Constraints: 25703
368.36/369.40 c INPROCESSING
368.36/369.40 c GARBAGE COLLECT
368.36/369.40 c #Conflicts: 395000 | #Constraints: 14297
368.36/369.40 c #Conflicts: 396000 | #Constraints: 15297
368.36/369.40 c #Conflicts: 397000 | #Constraints: 16297
368.36/369.40 c #Conflicts: 398000 | #Constraints: 17297
368.36/369.40 c #Conflicts: 399000 | #Constraints: 18297
368.36/369.40 c #Conflicts: 400000 | #Constraints: 19297
368.36/369.40 c #Conflicts: 401000 | #Constraints: 20297
368.36/369.40 c #Conflicts: 402000 | #Constraints: 21297
368.36/369.40 c #Conflicts: 403000 | #Constraints: 22297
368.36/369.40 c #Conflicts: 404000 | #Constraints: 23297
368.36/369.40 c #Conflicts: 405000 | #Constraints: 24297
368.36/369.40 c #Conflicts: 406000 | #Constraints: 25297
368.36/369.40 c #Conflicts: 407000 | #Constraints: 26297
368.36/369.40 c INPROCESSING
368.36/369.40 c GARBAGE COLLECT
368.36/369.40 c #Conflicts: 408000 | #Constraints: 14698
368.36/369.40 c #Conflicts: 409000 | #Constraints: 15698
368.36/369.40 c #Conflicts: 410000 | #Constraints: 16698
368.36/369.40 c #Conflicts: 411000 | #Constraints: 17698
368.36/369.40 c #Conflicts: 412000 | #Constraints: 18698
368.36/369.40 c #Conflicts: 413000 | #Constraints: 19698
368.36/369.40 c #Conflicts: 414000 | #Constraints: 20698
467.19/468.59 c #Conflicts: 415000 | #Constraints: 21698
467.19/468.59 c #Conflicts: 416000 | #Constraints: 22698
467.19/468.59 c #Conflicts: 417000 | #Constraints: 23698
467.19/468.59 c #Conflicts: 418000 | #Constraints: 24698
467.19/468.59 c #Conflicts: 419000 | #Constraints: 25698
467.19/468.59 c #Conflicts: 420000 | #Constraints: 26698
467.19/468.59 c INPROCESSING
467.19/468.59 c GARBAGE COLLECT
467.19/468.59 c #Conflicts: 421000 | #Constraints: 14908
467.19/468.59 c #Conflicts: 422000 | #Constraints: 15908
467.19/468.59 c #Conflicts: 423000 | #Constraints: 16908
467.19/468.59 c #Conflicts: 424000 | #Constraints: 17908
467.19/468.59 c #Conflicts: 425000 | #Constraints: 18908
467.19/468.59 c #Conflicts: 426000 | #Constraints: 19908
467.19/468.59 c #Conflicts: 427000 | #Constraints: 20908
467.19/468.59 c #Conflicts: 428000 | #Constraints: 21908
467.19/468.59 c #Conflicts: 429000 | #Constraints: 22908
467.19/468.59 c #Conflicts: 430000 | #Constraints: 23908
467.19/468.59 c #Conflicts: 431000 | #Constraints: 24908
467.19/468.59 c #Conflicts: 432000 | #Constraints: 25908
467.19/468.59 c #Conflicts: 433000 | #Constraints: 26908
467.19/468.59 c INPROCESSING
467.19/468.59 c GARBAGE COLLECT
467.19/468.59 c #Conflicts: 434000 | #Constraints: 14902
467.19/468.59 c #Conflicts: 435000 | #Constraints: 15902
467.19/468.59 c #Conflicts: 436000 | #Constraints: 16902
467.19/468.59 c #Conflicts: 437000 | #Constraints: 17902
467.19/468.59 c #Conflicts: 438000 | #Constraints: 18902
467.19/468.59 c #Conflicts: 439000 | #Constraints: 19902
467.19/468.59 c #Conflicts: 440000 | #Constraints: 20902
467.19/468.59 c #Conflicts: 441000 | #Constraints: 21902
467.19/468.59 c #Conflicts: 442000 | #Constraints: 22902
467.19/468.59 c #Conflicts: 443000 | #Constraints: 23902
467.19/468.59 c #Conflicts: 444000 | #Constraints: 24902
467.19/468.59 c #Conflicts: 445000 | #Constraints: 25902
467.19/468.59 c #Conflicts: 446000 | #Constraints: 26902
467.19/468.59 c INPROCESSING
467.19/468.59 c GARBAGE COLLECT
467.19/468.59 c #Conflicts: 447000 | #Constraints: 14709
467.19/468.59 c #Conflicts: 448000 | #Constraints: 15709
467.19/468.59 c #Conflicts: 449000 | #Constraints: 16709
467.19/468.59 c #Conflicts: 450000 | #Constraints: 17709
467.19/468.59 c #Conflicts: 451000 | #Constraints: 18709
467.19/468.59 c #Conflicts: 452000 | #Constraints: 19709
467.19/468.59 c #Conflicts: 453000 | #Constraints: 20709
467.19/468.59 c #Conflicts: 454000 | #Constraints: 21709
467.19/468.59 c #Conflicts: 455000 | #Constraints: 22709
467.19/468.59 c #Conflicts: 456000 | #Constraints: 23709
467.19/468.59 c #Conflicts: 457000 | #Constraints: 24709
467.19/468.59 c #Conflicts: 458000 | #Constraints: 25709
467.19/468.59 c #Conflicts: 459000 | #Constraints: 26709
467.19/468.59 c #Conflicts: 460000 | #Constraints: 27709
467.19/468.59 c INPROCESSING
467.19/468.59 c GARBAGE COLLECT
467.19/468.59 c #Conflicts: 461000 | #Constraints: 15324
467.19/468.59 c #Conflicts: 462000 | #Constraints: 16324
467.19/468.59 c #Conflicts: 463000 | #Constraints: 17324
467.19/468.59 c #Conflicts: 464000 | #Constraints: 18324
467.19/468.59 c #Conflicts: 465000 | #Constraints: 19324
467.19/468.59 c #Conflicts: 466000 | #Constraints: 20324
467.19/468.59 c #Conflicts: 467000 | #Constraints: 21324
467.19/468.59 c #Conflicts: 468000 | #Constraints: 22324
467.19/468.59 c #Conflicts: 469000 | #Constraints: 23324
467.19/468.59 c #Conflicts: 470000 | #Constraints: 24324
467.19/468.59 c #Conflicts: 471000 | #Constraints: 25324
467.19/468.59 c #Conflicts: 472000 | #Constraints: 26324
467.19/468.59 c #Conflicts: 473000 | #Constraints: 27324
467.19/468.59 c #Conflicts: 474000 | #Constraints: 28324
467.19/468.59 c INPROCESSING
467.19/468.59 c GARBAGE COLLECT
467.19/468.59 c #Conflicts: 475000 | #Constraints: 15711
467.19/468.59 c #Conflicts: 476000 | #Constraints: 16711
467.19/468.59 c #Conflicts: 477000 | #Constraints: 17711
467.19/468.59 c #Conflicts: 478000 | #Constraints: 18711
467.19/468.59 c #Conflicts: 479000 | #Constraints: 19711
467.19/468.59 c #Conflicts: 480000 | #Constraints: 20711
467.19/468.59 c #Conflicts: 481000 | #Constraints: 21711
467.19/468.59 c #Conflicts: 482000 | #Constraints: 22711
467.19/468.59 c #Conflicts: 483000 | #Constraints: 23711
467.19/468.59 c #Conflicts: 484000 | #Constraints: 24711
467.19/468.59 c #Conflicts: 485000 | #Constraints: 25711
467.19/468.59 c #Conflicts: 486000 | #Constraints: 26711
467.19/468.59 c #Conflicts: 487000 | #Constraints: 27711
467.19/468.59 c #Conflicts: 488000 | #Constraints: 28711
467.19/468.59 c INPROCESSING
467.19/468.59 c GARBAGE COLLECT
467.19/468.59 c #Conflicts: 489000 | #Constraints: 15901
565.82/567.48 c #Conflicts: 490000 | #Constraints: 16901
565.82/567.48 c #Conflicts: 491000 | #Constraints: 17901
565.82/567.48 c #Conflicts: 492000 | #Constraints: 18901
565.82/567.48 c #Conflicts: 493000 | #Constraints: 19901
565.82/567.48 c #Conflicts: 494000 | #Constraints: 20901
565.82/567.48 c #Conflicts: 495000 | #Constraints: 21901
565.82/567.48 c #Conflicts: 496000 | #Constraints: 22901
565.82/567.48 c #Conflicts: 497000 | #Constraints: 23901
565.82/567.48 c #Conflicts: 498000 | #Constraints: 24901
565.82/567.48 c #Conflicts: 499000 | #Constraints: 25901
565.82/567.48 c #Conflicts: 500000 | #Constraints: 26901
565.82/567.48 c #Conflicts: 501000 | #Constraints: 27901
565.82/567.48 c #Conflicts: 502000 | #Constraints: 28901
565.82/567.48 c INPROCESSING
565.82/567.48 c GARBAGE COLLECT
565.82/567.48 c #Conflicts: 503000 | #Constraints: 15909
565.82/567.48 c #Conflicts: 504000 | #Constraints: 16909
565.82/567.48 c #Conflicts: 505000 | #Constraints: 17909
565.82/567.48 c #Conflicts: 506000 | #Constraints: 18909
565.82/567.48 c #Conflicts: 507000 | #Constraints: 19909
565.82/567.48 c #Conflicts: 508000 | #Constraints: 20909
565.82/567.48 c #Conflicts: 509000 | #Constraints: 21909
565.82/567.48 c #Conflicts: 510000 | #Constraints: 22909
565.82/567.48 c #Conflicts: 511000 | #Constraints: 23909
565.82/567.48 c #Conflicts: 512000 | #Constraints: 24909
565.82/567.48 c #Conflicts: 513000 | #Constraints: 25909
565.82/567.48 c #Conflicts: 514000 | #Constraints: 26909
565.82/567.48 c #Conflicts: 515000 | #Constraints: 27909
565.82/567.48 c #Conflicts: 516000 | #Constraints: 28909
565.82/567.48 c INPROCESSING
565.82/567.48 c GARBAGE COLLECT
565.82/567.48 c #Conflicts: 517000 | #Constraints: 15707
565.82/567.48 c #Conflicts: 518000 | #Constraints: 16707
565.82/567.48 c #Conflicts: 519000 | #Constraints: 17707
565.82/567.48 c #Conflicts: 520000 | #Constraints: 18707
565.82/567.48 c #Conflicts: 521000 | #Constraints: 19707
565.82/567.48 c #Conflicts: 522000 | #Constraints: 20707
565.82/567.48 c #Conflicts: 523000 | #Constraints: 21707
565.82/567.48 c #Conflicts: 524000 | #Constraints: 22707
565.82/567.48 c #Conflicts: 525000 | #Constraints: 23707
565.82/567.48 c #Conflicts: 526000 | #Constraints: 24707
565.82/567.48 c #Conflicts: 527000 | #Constraints: 25707
565.82/567.48 c #Conflicts: 528000 | #Constraints: 26707
565.82/567.48 c #Conflicts: 529000 | #Constraints: 27707
565.82/567.48 c #Conflicts: 530000 | #Constraints: 28707
565.82/567.48 c #Conflicts: 531000 | #Constraints: 29707
565.82/567.48 c INPROCESSING
565.82/567.48 c GARBAGE COLLECT
565.82/567.48 c #Conflicts: 532000 | #Constraints: 16294
565.82/567.48 c #Conflicts: 533000 | #Constraints: 17294
565.82/567.48 c #Conflicts: 534000 | #Constraints: 18294
565.82/567.48 c #Conflicts: 535000 | #Constraints: 19294
565.82/567.48 c #Conflicts: 536000 | #Constraints: 20294
565.82/567.48 c #Conflicts: 537000 | #Constraints: 21294
565.82/567.48 c #Conflicts: 538000 | #Constraints: 22294
565.82/567.48 c #Conflicts: 539000 | #Constraints: 23294
565.82/567.48 c #Conflicts: 540000 | #Constraints: 24294
565.82/567.48 c #Conflicts: 541000 | #Constraints: 25294
565.82/567.48 c #Conflicts: 542000 | #Constraints: 26294
565.82/567.48 c #Conflicts: 543000 | #Constraints: 27294
565.82/567.48 c #Conflicts: 544000 | #Constraints: 28294
565.82/567.48 c #Conflicts: 545000 | #Constraints: 29294
565.82/567.48 c #Conflicts: 546000 | #Constraints: 30294
565.82/567.48 c INPROCESSING
565.82/567.48 c GARBAGE COLLECT
565.82/567.48 c #Conflicts: 547000 | #Constraints: 16702
565.82/567.48 c #Conflicts: 548000 | #Constraints: 17702
565.82/567.48 c #Conflicts: 549000 | #Constraints: 18702
565.82/567.48 c #Conflicts: 550000 | #Constraints: 19702
565.82/567.48 c #Conflicts: 551000 | #Constraints: 20702
565.82/567.48 c #Conflicts: 552000 | #Constraints: 21702
565.82/567.48 c #Conflicts: 553000 | #Constraints: 22702
565.82/567.48 c #Conflicts: 554000 | #Constraints: 23702
565.82/567.48 c #Conflicts: 555000 | #Constraints: 24702
565.82/567.48 c #Conflicts: 556000 | #Constraints: 25702
565.82/567.48 c #Conflicts: 557000 | #Constraints: 26702
565.82/567.48 c #Conflicts: 558000 | #Constraints: 27702
565.82/567.48 c #Conflicts: 559000 | #Constraints: 28702
565.82/567.48 c #Conflicts: 560000 | #Constraints: 29702
565.82/567.48 c #Conflicts: 561000 | #Constraints: 30702
565.82/567.48 c INPROCESSING
565.82/567.48 c GARBAGE COLLECT
565.82/567.48 c #Conflicts: 562000 | #Constraints: 16906
565.82/567.48 c #Conflicts: 563000 | #Constraints: 17906
565.82/567.48 c #Conflicts: 564000 | #Constraints: 18906
678.83/680.72 c #Conflicts: 565000 | #Constraints: 19906
678.83/680.72 c #Conflicts: 566000 | #Constraints: 20906
678.83/680.72 c #Conflicts: 567000 | #Constraints: 21906
678.83/680.72 c #Conflicts: 568000 | #Constraints: 22906
678.83/680.72 c #Conflicts: 569000 | #Constraints: 23906
678.83/680.72 c #Conflicts: 570000 | #Constraints: 24906
678.83/680.72 c #Conflicts: 571000 | #Constraints: 25906
678.83/680.72 c #Conflicts: 572000 | #Constraints: 26906
678.83/680.72 c #Conflicts: 573000 | #Constraints: 27906
678.83/680.72 c #Conflicts: 574000 | #Constraints: 28906
678.83/680.72 c #Conflicts: 575000 | #Constraints: 29906
678.83/680.72 c #Conflicts: 576000 | #Constraints: 30906
678.83/680.72 c INPROCESSING
678.83/680.72 c GARBAGE COLLECT
678.83/680.72 c #Conflicts: 577000 | #Constraints: 16904
678.83/680.72 c #Conflicts: 578000 | #Constraints: 17904
678.83/680.72 c #Conflicts: 579000 | #Constraints: 18904
678.83/680.72 c #Conflicts: 580000 | #Constraints: 19904
678.83/680.72 c #Conflicts: 581000 | #Constraints: 20904
678.83/680.72 c #Conflicts: 582000 | #Constraints: 21904
678.83/680.72 c #Conflicts: 583000 | #Constraints: 22904
678.83/680.72 c #Conflicts: 584000 | #Constraints: 23904
678.83/680.72 c #Conflicts: 585000 | #Constraints: 24904
678.83/680.72 c #Conflicts: 586000 | #Constraints: 25904
678.83/680.72 c #Conflicts: 587000 | #Constraints: 26904
678.83/680.72 c #Conflicts: 588000 | #Constraints: 27904
678.83/680.72 c #Conflicts: 589000 | #Constraints: 28904
678.83/680.72 c #Conflicts: 590000 | #Constraints: 29904
678.83/680.72 c #Conflicts: 591000 | #Constraints: 30904
678.83/680.72 c INPROCESSING
678.83/680.72 c GARBAGE COLLECT
678.83/680.72 c #Conflicts: 592000 | #Constraints: 16710
678.83/680.72 c #Conflicts: 593000 | #Constraints: 17710
678.83/680.72 c #Conflicts: 594000 | #Constraints: 18710
678.83/680.72 c #Conflicts: 595000 | #Constraints: 19710
678.83/680.72 c #Conflicts: 596000 | #Constraints: 20710
678.83/680.72 c #Conflicts: 597000 | #Constraints: 21710
678.83/680.72 c #Conflicts: 598000 | #Constraints: 22710
678.83/680.72 c #Conflicts: 599000 | #Constraints: 23710
678.83/680.72 c #Conflicts: 600000 | #Constraints: 24710
678.83/680.72 c #Conflicts: 601000 | #Constraints: 25710
678.83/680.72 c #Conflicts: 602000 | #Constraints: 26710
678.83/680.72 c #Conflicts: 603000 | #Constraints: 27710
678.83/680.72 c #Conflicts: 604000 | #Constraints: 28710
678.83/680.72 c #Conflicts: 605000 | #Constraints: 29710
678.83/680.72 c #Conflicts: 606000 | #Constraints: 30710
678.83/680.72 c #Conflicts: 607000 | #Constraints: 31710
678.83/680.72 c INPROCESSING
678.83/680.72 c GARBAGE COLLECT
678.83/680.72 c #Conflicts: 608000 | #Constraints: 17299
678.83/680.72 c #Conflicts: 609000 | #Constraints: 18299
678.83/680.72 c #Conflicts: 610000 | #Constraints: 19299
678.83/680.72 c #Conflicts: 611000 | #Constraints: 20299
678.83/680.72 c #Conflicts: 612000 | #Constraints: 21299
678.83/680.72 c #Conflicts: 613000 | #Constraints: 22299
678.83/680.72 c #Conflicts: 614000 | #Constraints: 23299
678.83/680.72 c #Conflicts: 615000 | #Constraints: 24299
678.83/680.72 c #Conflicts: 616000 | #Constraints: 25299
678.83/680.72 c #Conflicts: 617000 | #Constraints: 26299
678.83/680.72 c #Conflicts: 618000 | #Constraints: 27299
678.83/680.72 c #Conflicts: 619000 | #Constraints: 28299
678.83/680.72 c #Conflicts: 620000 | #Constraints: 29299
678.83/680.72 c #Conflicts: 621000 | #Constraints: 30299
678.83/680.72 c #Conflicts: 622000 | #Constraints: 31299
678.83/680.72 c #Conflicts: 623000 | #Constraints: 32299
678.83/680.72 c INPROCESSING
678.83/680.72 c GARBAGE COLLECT
678.83/680.72 c #Conflicts: 624000 | #Constraints: 17696
678.83/680.72 c #Conflicts: 625000 | #Constraints: 18696
678.83/680.72 c #Conflicts: 626000 | #Constraints: 19696
678.83/680.72 c #Conflicts: 627000 | #Constraints: 20696
678.83/680.72 c #Conflicts: 628000 | #Constraints: 21696
678.83/680.72 c #Conflicts: 629000 | #Constraints: 22696
678.83/680.72 c #Conflicts: 630000 | #Constraints: 23696
678.83/680.72 c #Conflicts: 631000 | #Constraints: 24696
678.83/680.72 c #Conflicts: 632000 | #Constraints: 25696
678.83/680.72 c #Conflicts: 633000 | #Constraints: 26696
678.83/680.72 c #Conflicts: 634000 | #Constraints: 27696
678.83/680.72 c #Conflicts: 635000 | #Constraints: 28696
678.83/680.72 c #Conflicts: 636000 | #Constraints: 29696
678.83/680.72 c #Conflicts: 637000 | #Constraints: 30696
678.83/680.72 c #Conflicts: 638000 | #Constraints: 31696
678.83/680.72 c #Conflicts: 639000 | #Constraints: 32696
678.83/680.72 c INPROCESSING
678.83/680.72 c GARBAGE COLLECT
678.83/680.72 c #Conflicts: 640000 | #Constraints: 17901
799.43/801.69 c #Conflicts: 641000 | #Constraints: 18901
799.43/801.69 c #Conflicts: 642000 | #Constraints: 19901
799.43/801.69 c #Conflicts: 643000 | #Constraints: 20901
799.43/801.69 c #Conflicts: 644000 | #Constraints: 21901
799.43/801.69 c #Conflicts: 645000 | #Constraints: 22901
799.43/801.69 c #Conflicts: 646000 | #Constraints: 23901
799.43/801.69 c #Conflicts: 647000 | #Constraints: 24901
799.43/801.69 c #Conflicts: 648000 | #Constraints: 25901
799.43/801.69 c #Conflicts: 649000 | #Constraints: 26901
799.43/801.69 c #Conflicts: 650000 | #Constraints: 27901
799.43/801.69 c #Conflicts: 651000 | #Constraints: 28901
799.43/801.69 c #Conflicts: 652000 | #Constraints: 29901
799.43/801.69 c #Conflicts: 653000 | #Constraints: 30901
799.43/801.69 c #Conflicts: 654000 | #Constraints: 31901
799.43/801.69 c #Conflicts: 655000 | #Constraints: 32901
799.43/801.69 c INPROCESSING
799.43/801.69 c GARBAGE COLLECT
799.43/801.69 c #Conflicts: 656000 | #Constraints: 17904
799.43/801.69 c #Conflicts: 657000 | #Constraints: 18904
799.43/801.69 c #Conflicts: 658000 | #Constraints: 19904
799.43/801.69 c #Conflicts: 659000 | #Constraints: 20904
799.43/801.69 c #Conflicts: 660000 | #Constraints: 21904
799.43/801.69 c #Conflicts: 661000 | #Constraints: 22904
799.43/801.69 c #Conflicts: 662000 | #Constraints: 23904
799.43/801.69 c #Conflicts: 663000 | #Constraints: 24904
799.43/801.69 c #Conflicts: 664000 | #Constraints: 25904
799.43/801.69 c #Conflicts: 665000 | #Constraints: 26904
799.43/801.69 c #Conflicts: 666000 | #Constraints: 27904
799.43/801.69 c #Conflicts: 667000 | #Constraints: 28904
799.43/801.69 c #Conflicts: 668000 | #Constraints: 29904
799.43/801.69 c #Conflicts: 669000 | #Constraints: 30904
799.43/801.69 c #Conflicts: 670000 | #Constraints: 31904
799.43/801.69 c #Conflicts: 671000 | #Constraints: 32904
799.43/801.69 c INPROCESSING
799.43/801.69 c GARBAGE COLLECT
799.43/801.69 c #Conflicts: 672000 | #Constraints: 17702
799.43/801.69 c #Conflicts: 673000 | #Constraints: 18702
799.43/801.69 c #Conflicts: 674000 | #Constraints: 19702
799.43/801.69 c #Conflicts: 675000 | #Constraints: 20702
799.43/801.69 c #Conflicts: 676000 | #Constraints: 21702
799.43/801.69 c #Conflicts: 677000 | #Constraints: 22702
799.43/801.69 c #Conflicts: 678000 | #Constraints: 23702
799.43/801.69 c #Conflicts: 679000 | #Constraints: 24702
799.43/801.69 c #Conflicts: 680000 | #Constraints: 25702
799.43/801.69 c #Conflicts: 681000 | #Constraints: 26702
799.43/801.69 c #Conflicts: 682000 | #Constraints: 27702
799.43/801.69 c #Conflicts: 683000 | #Constraints: 28702
799.43/801.69 c #Conflicts: 684000 | #Constraints: 29702
799.43/801.69 c #Conflicts: 685000 | #Constraints: 30702
799.43/801.69 c #Conflicts: 686000 | #Constraints: 31702
799.43/801.69 c #Conflicts: 687000 | #Constraints: 32702
799.43/801.69 c #Conflicts: 688000 | #Constraints: 33702
799.43/801.69 c INPROCESSING
799.43/801.69 c GARBAGE COLLECT
799.43/801.69 c #Conflicts: 689000 | #Constraints: 18307
799.43/801.69 c #Conflicts: 690000 | #Constraints: 19307
799.43/801.69 c #Conflicts: 691000 | #Constraints: 20307
799.43/801.69 c #Conflicts: 692000 | #Constraints: 21307
799.43/801.69 c #Conflicts: 693000 | #Constraints: 22307
799.43/801.69 c #Conflicts: 694000 | #Constraints: 23307
799.43/801.69 c #Conflicts: 695000 | #Constraints: 24307
799.43/801.69 c #Conflicts: 696000 | #Constraints: 25307
799.43/801.69 c #Conflicts: 697000 | #Constraints: 26307
799.43/801.69 c #Conflicts: 698000 | #Constraints: 27307
799.43/801.69 c #Conflicts: 699000 | #Constraints: 28307
799.43/801.69 c #Conflicts: 700000 | #Constraints: 29307
799.43/801.69 c #Conflicts: 701000 | #Constraints: 30307
799.43/801.69 c #Conflicts: 702000 | #Constraints: 31307
799.43/801.69 c #Conflicts: 703000 | #Constraints: 32307
799.43/801.69 c #Conflicts: 704000 | #Constraints: 33307
799.43/801.69 c #Conflicts: 705000 | #Constraints: 34307
799.43/801.69 c INPROCESSING
799.43/801.69 c GARBAGE COLLECT
799.43/801.69 c #Conflicts: 706000 | #Constraints: 18711
799.43/801.69 c #Conflicts: 707000 | #Constraints: 19711
799.43/801.69 c #Conflicts: 708000 | #Constraints: 20711
799.43/801.69 c #Conflicts: 709000 | #Constraints: 21711
799.43/801.69 c #Conflicts: 710000 | #Constraints: 22711
799.43/801.69 c #Conflicts: 711000 | #Constraints: 23711
799.43/801.69 c #Conflicts: 712000 | #Constraints: 24711
799.43/801.69 c #Conflicts: 713000 | #Constraints: 25711
799.43/801.69 c #Conflicts: 714000 | #Constraints: 26711
799.43/801.69 c #Conflicts: 715000 | #Constraints: 27711
799.43/801.69 c #Conflicts: 716000 | #Constraints: 28711
926.89/929.45 c #Conflicts: 717000 | #Constraints: 29711
926.89/929.45 c #Conflicts: 718000 | #Constraints: 30711
926.89/929.45 c #Conflicts: 719000 | #Constraints: 31711
926.89/929.45 c #Conflicts: 720000 | #Constraints: 32711
926.89/929.45 c #Conflicts: 721000 | #Constraints: 33711
926.89/929.45 c #Conflicts: 722000 | #Constraints: 34711
926.89/929.45 c INPROCESSING
926.89/929.45 c GARBAGE COLLECT
926.89/929.45 c #Conflicts: 723000 | #Constraints: 18904
926.89/929.45 c #Conflicts: 724000 | #Constraints: 19904
926.89/929.45 c #Conflicts: 725000 | #Constraints: 20904
926.89/929.45 c #Conflicts: 726000 | #Constraints: 21904
926.89/929.45 c #Conflicts: 727000 | #Constraints: 22904
926.89/929.45 c #Conflicts: 728000 | #Constraints: 23904
926.89/929.45 c #Conflicts: 729000 | #Constraints: 24904
926.89/929.45 c #Conflicts: 730000 | #Constraints: 25904
926.89/929.45 c #Conflicts: 731000 | #Constraints: 26904
926.89/929.45 c #Conflicts: 732000 | #Constraints: 27904
926.89/929.45 c #Conflicts: 733000 | #Constraints: 28904
926.89/929.45 c #Conflicts: 734000 | #Constraints: 29904
926.89/929.45 c #Conflicts: 735000 | #Constraints: 30904
926.89/929.45 c #Conflicts: 736000 | #Constraints: 31904
926.89/929.45 c #Conflicts: 737000 | #Constraints: 32904
926.89/929.45 c #Conflicts: 738000 | #Constraints: 33904
926.89/929.45 c #Conflicts: 739000 | #Constraints: 34904
926.89/929.45 c INPROCESSING
926.89/929.45 c GARBAGE COLLECT
926.89/929.45 c #Conflicts: 740000 | #Constraints: 18900
926.89/929.45 c #Conflicts: 741000 | #Constraints: 19900
926.89/929.45 c #Conflicts: 742000 | #Constraints: 20900
926.89/929.45 c #Conflicts: 743000 | #Constraints: 21900
926.89/929.45 c #Conflicts: 744000 | #Constraints: 22900
926.89/929.45 c #Conflicts: 745000 | #Constraints: 23900
926.89/929.45 c #Conflicts: 746000 | #Constraints: 24900
926.89/929.45 c #Conflicts: 747000 | #Constraints: 25900
926.89/929.45 c #Conflicts: 748000 | #Constraints: 26900
926.89/929.45 c #Conflicts: 749000 | #Constraints: 27900
926.89/929.45 c #Conflicts: 750000 | #Constraints: 28900
926.89/929.45 c #Conflicts: 751000 | #Constraints: 29900
926.89/929.45 c #Conflicts: 752000 | #Constraints: 30900
926.89/929.45 c #Conflicts: 753000 | #Constraints: 31900
926.89/929.45 c #Conflicts: 754000 | #Constraints: 32900
926.89/929.45 c #Conflicts: 755000 | #Constraints: 33900
926.89/929.45 c #Conflicts: 756000 | #Constraints: 34900
926.89/929.45 c INPROCESSING
926.89/929.45 c GARBAGE COLLECT
926.89/929.45 c #Conflicts: 757000 | #Constraints: 18697
926.89/929.45 c #Conflicts: 758000 | #Constraints: 19697
926.89/929.45 c #Conflicts: 759000 | #Constraints: 20697
926.89/929.45 c #Conflicts: 760000 | #Constraints: 21697
926.89/929.45 c #Conflicts: 761000 | #Constraints: 22697
926.89/929.45 c #Conflicts: 762000 | #Constraints: 23697
926.89/929.45 c #Conflicts: 763000 | #Constraints: 24697
926.89/929.45 c #Conflicts: 764000 | #Constraints: 25697
926.89/929.45 c #Conflicts: 765000 | #Constraints: 26697
926.89/929.45 c #Conflicts: 766000 | #Constraints: 27697
926.89/929.45 c #Conflicts: 767000 | #Constraints: 28697
926.89/929.45 c #Conflicts: 768000 | #Constraints: 29697
926.89/929.45 c #Conflicts: 769000 | #Constraints: 30697
926.89/929.45 c #Conflicts: 770000 | #Constraints: 31697
926.89/929.45 c #Conflicts: 771000 | #Constraints: 32697
926.89/929.45 c #Conflicts: 772000 | #Constraints: 33697
926.89/929.45 c #Conflicts: 773000 | #Constraints: 34697
926.89/929.45 c #Conflicts: 774000 | #Constraints: 35697
926.89/929.45 c INPROCESSING
926.89/929.45 c GARBAGE COLLECT
926.89/929.45 c #Conflicts: 775000 | #Constraints: 19306
926.89/929.45 c #Conflicts: 776000 | #Constraints: 20306
926.89/929.45 c #Conflicts: 777000 | #Constraints: 21306
926.89/929.45 c #Conflicts: 778000 | #Constraints: 22306
926.89/929.45 c #Conflicts: 779000 | #Constraints: 23306
926.89/929.45 c #Conflicts: 780000 | #Constraints: 24306
926.89/929.45 c #Conflicts: 781000 | #Constraints: 25306
926.89/929.45 c #Conflicts: 782000 | #Constraints: 26306
926.89/929.45 c #Conflicts: 783000 | #Constraints: 27306
926.89/929.45 c #Conflicts: 784000 | #Constraints: 28306
926.89/929.45 c #Conflicts: 785000 | #Constraints: 29306
926.89/929.45 c #Conflicts: 786000 | #Constraints: 30306
926.89/929.45 c #Conflicts: 787000 | #Constraints: 31306
926.89/929.45 c #Conflicts: 788000 | #Constraints: 32306
926.89/929.45 c #Conflicts: 789000 | #Constraints: 33306
926.89/929.45 c #Conflicts: 790000 | #Constraints: 34306
926.89/929.45 c #Conflicts: 791000 | #Constraints: 35306
926.89/929.45 c #Conflicts: 792000 | #Constraints: 36306
1056.45/1059.39 c INPROCESSING
1056.45/1059.39 c GARBAGE COLLECT
1056.45/1059.39 c #Conflicts: 793000 | #Constraints: 19704
1056.45/1059.39 c #Conflicts: 794000 | #Constraints: 20704
1056.45/1059.39 c #Conflicts: 795000 | #Constraints: 21704
1056.45/1059.39 c #Conflicts: 796000 | #Constraints: 22704
1056.45/1059.39 c #Conflicts: 797000 | #Constraints: 23704
1056.45/1059.39 c #Conflicts: 798000 | #Constraints: 24704
1056.45/1059.39 c #Conflicts: 799000 | #Constraints: 25704
1056.45/1059.39 c #Conflicts: 800000 | #Constraints: 26704
1056.45/1059.39 c #Conflicts: 801000 | #Constraints: 27704
1056.45/1059.39 c #Conflicts: 802000 | #Constraints: 28704
1056.45/1059.39 c #Conflicts: 803000 | #Constraints: 29704
1056.45/1059.39 c #Conflicts: 804000 | #Constraints: 30704
1056.45/1059.39 c #Conflicts: 805000 | #Constraints: 31704
1056.45/1059.39 c #Conflicts: 806000 | #Constraints: 32704
1056.45/1059.39 c #Conflicts: 807000 | #Constraints: 33704
1056.45/1059.39 c #Conflicts: 808000 | #Constraints: 34704
1056.45/1059.39 c #Conflicts: 809000 | #Constraints: 35704
1056.45/1059.39 c #Conflicts: 810000 | #Constraints: 36704
1056.45/1059.39 c INPROCESSING
1056.45/1059.39 c GARBAGE COLLECT
1056.45/1059.39 c #Conflicts: 811000 | #Constraints: 19906
1056.45/1059.39 c #Conflicts: 812000 | #Constraints: 20906
1056.45/1059.39 c #Conflicts: 813000 | #Constraints: 21906
1056.45/1059.39 c #Conflicts: 814000 | #Constraints: 22906
1056.45/1059.39 c #Conflicts: 815000 | #Constraints: 23906
1056.45/1059.39 c #Conflicts: 816000 | #Constraints: 24906
1056.45/1059.39 c #Conflicts: 817000 | #Constraints: 25906
1056.45/1059.39 c #Conflicts: 818000 | #Constraints: 26906
1056.45/1059.39 c #Conflicts: 819000 | #Constraints: 27906
1056.45/1059.39 c #Conflicts: 820000 | #Constraints: 28906
1056.45/1059.39 c #Conflicts: 821000 | #Constraints: 29906
1056.45/1059.39 c #Conflicts: 822000 | #Constraints: 30906
1056.45/1059.39 c #Conflicts: 823000 | #Constraints: 31906
1056.45/1059.39 c #Conflicts: 824000 | #Constraints: 32906
1056.45/1059.39 c #Conflicts: 825000 | #Constraints: 33906
1056.45/1059.39 c #Conflicts: 826000 | #Constraints: 34906
1056.45/1059.39 c #Conflicts: 827000 | #Constraints: 35906
1056.45/1059.39 c #Conflicts: 828000 | #Constraints: 36906
1056.45/1059.39 c INPROCESSING
1056.45/1059.39 c GARBAGE COLLECT
1056.45/1059.39 c #Conflicts: 829000 | #Constraints: 19909
1056.45/1059.39 c #Conflicts: 830000 | #Constraints: 20909
1056.45/1059.39 c #Conflicts: 831000 | #Constraints: 21909
1056.45/1059.39 c #Conflicts: 832000 | #Constraints: 22909
1056.45/1059.39 c #Conflicts: 833000 | #Constraints: 23909
1056.45/1059.39 c #Conflicts: 834000 | #Constraints: 24909
1056.45/1059.39 c #Conflicts: 835000 | #Constraints: 25909
1056.45/1059.39 c #Conflicts: 836000 | #Constraints: 26909
1056.45/1059.39 c #Conflicts: 837000 | #Constraints: 27909
1056.45/1059.39 c #Conflicts: 838000 | #Constraints: 28909
1056.45/1059.39 c #Conflicts: 839000 | #Constraints: 29909
1056.45/1059.39 c #Conflicts: 840000 | #Constraints: 30909
1056.45/1059.39 c #Conflicts: 841000 | #Constraints: 31909
1056.45/1059.39 c #Conflicts: 842000 | #Constraints: 32909
1056.45/1059.39 c #Conflicts: 843000 | #Constraints: 33909
1056.45/1059.39 c #Conflicts: 844000 | #Constraints: 34909
1056.45/1059.39 c #Conflicts: 845000 | #Constraints: 35909
1056.45/1059.39 c #Conflicts: 846000 | #Constraints: 36909
1056.45/1059.39 c INPROCESSING
1056.45/1059.39 c GARBAGE COLLECT
1056.45/1059.39 c #Conflicts: 847000 | #Constraints: 19707
1056.45/1059.39 c #Conflicts: 848000 | #Constraints: 20707
1056.45/1059.39 c #Conflicts: 849000 | #Constraints: 21707
1056.45/1059.39 c #Conflicts: 850000 | #Constraints: 22707
1056.45/1059.39 c #Conflicts: 851000 | #Constraints: 23707
1056.45/1059.39 c #Conflicts: 852000 | #Constraints: 24707
1056.45/1059.39 c #Conflicts: 853000 | #Constraints: 25707
1056.45/1059.39 c #Conflicts: 854000 | #Constraints: 26707
1056.45/1059.39 c #Conflicts: 855000 | #Constraints: 27707
1056.45/1059.39 c #Conflicts: 856000 | #Constraints: 28707
1056.45/1059.39 c #Conflicts: 857000 | #Constraints: 29707
1056.45/1059.39 c #Conflicts: 858000 | #Constraints: 30707
1056.45/1059.39 c #Conflicts: 859000 | #Constraints: 31707
1056.45/1059.39 c #Conflicts: 860000 | #Constraints: 32707
1056.45/1059.39 c #Conflicts: 861000 | #Constraints: 33707
1056.45/1059.39 c #Conflicts: 862000 | #Constraints: 34707
1056.45/1059.39 c #Conflicts: 863000 | #Constraints: 35707
1056.45/1059.39 c #Conflicts: 864000 | #Constraints: 36707
1056.45/1059.39 c #Conflicts: 865000 | #Constraints: 37707
1056.45/1059.39 c INPROCESSING
1056.45/1059.39 c GARBAGE COLLECT
1056.45/1059.39 c #Conflicts: 866000 | #Constraints: 20317
1056.45/1059.39 c #Conflicts: 867000 | #Constraints: 21317
1056.45/1059.39 c #Conflicts: 868000 | #Constraints: 22317
1196.17/1199.40 c #Conflicts: 869000 | #Constraints: 23317
1196.17/1199.40 c #Conflicts: 870000 | #Constraints: 24317
1196.17/1199.40 c #Conflicts: 871000 | #Constraints: 25317
1196.17/1199.40 c #Conflicts: 872000 | #Constraints: 26317
1196.17/1199.40 c #Conflicts: 873000 | #Constraints: 27317
1196.17/1199.40 c #Conflicts: 874000 | #Constraints: 28317
1196.17/1199.40 c #Conflicts: 875000 | #Constraints: 29317
1196.17/1199.40 c #Conflicts: 876000 | #Constraints: 30317
1196.17/1199.40 c #Conflicts: 877000 | #Constraints: 31317
1196.17/1199.40 c #Conflicts: 878000 | #Constraints: 32317
1196.17/1199.40 c #Conflicts: 879000 | #Constraints: 33317
1196.17/1199.40 c #Conflicts: 880000 | #Constraints: 34317
1196.17/1199.40 c #Conflicts: 881000 | #Constraints: 35317
1196.17/1199.40 c #Conflicts: 882000 | #Constraints: 36317
1196.17/1199.40 c #Conflicts: 883000 | #Constraints: 37317
1196.17/1199.40 c #Conflicts: 884000 | #Constraints: 38317
1196.17/1199.40 c INPROCESSING
1196.17/1199.40 c GARBAGE COLLECT
1196.17/1199.40 c #Conflicts: 885000 | #Constraints: 20718
1196.17/1199.40 c #Conflicts: 886000 | #Constraints: 21718
1196.17/1199.40 c #Conflicts: 887000 | #Constraints: 22718
1196.17/1199.40 c #Conflicts: 888000 | #Constraints: 23718
1196.17/1199.40 c #Conflicts: 889000 | #Constraints: 24718
1196.17/1199.40 c #Conflicts: 890000 | #Constraints: 25718
1196.17/1199.40 c #Conflicts: 891000 | #Constraints: 26718
1196.17/1199.40 c #Conflicts: 892000 | #Constraints: 27718
1196.17/1199.40 c #Conflicts: 893000 | #Constraints: 28718
1196.17/1199.40 c #Conflicts: 894000 | #Constraints: 29718
1196.17/1199.40 c #Conflicts: 895000 | #Constraints: 30718
1196.17/1199.40 c #Conflicts: 896000 | #Constraints: 31718
1196.17/1199.40 c #Conflicts: 897000 | #Constraints: 32718
1196.17/1199.40 c #Conflicts: 898000 | #Constraints: 33718
1196.17/1199.40 c #Conflicts: 899000 | #Constraints: 34718
1196.17/1199.40 c #Conflicts: 900000 | #Constraints: 35718
1196.17/1199.40 c #Conflicts: 901000 | #Constraints: 36718
1196.17/1199.40 c #Conflicts: 902000 | #Constraints: 37718
1196.17/1199.40 c #Conflicts: 903000 | #Constraints: 38718
1196.17/1199.40 c INPROCESSING
1196.17/1199.40 c GARBAGE COLLECT
1196.17/1199.40 c #Conflicts: 904000 | #Constraints: 20905
1196.17/1199.40 c #Conflicts: 905000 | #Constraints: 21905
1196.17/1199.40 c #Conflicts: 906000 | #Constraints: 22905
1196.17/1199.40 c #Conflicts: 907000 | #Constraints: 23905
1196.17/1199.40 c #Conflicts: 908000 | #Constraints: 24905
1196.17/1199.40 c #Conflicts: 909000 | #Constraints: 25905
1196.17/1199.40 c #Conflicts: 910000 | #Constraints: 26905
1196.17/1199.40 c #Conflicts: 911000 | #Constraints: 27905
1196.17/1199.40 c #Conflicts: 912000 | #Constraints: 28905
1196.17/1199.40 c #Conflicts: 913000 | #Constraints: 29905
1196.17/1199.40 c #Conflicts: 914000 | #Constraints: 30905
1196.17/1199.40 c #Conflicts: 915000 | #Constraints: 31905
1196.17/1199.40 c #Conflicts: 916000 | #Constraints: 32905
1196.17/1199.40 c #Conflicts: 917000 | #Constraints: 33905
1196.17/1199.40 c #Conflicts: 918000 | #Constraints: 34905
1196.17/1199.40 c #Conflicts: 919000 | #Constraints: 35905
1196.17/1199.40 c #Conflicts: 920000 | #Constraints: 36905
1196.17/1199.40 c #Conflicts: 921000 | #Constraints: 37905
1196.17/1199.40 c #Conflicts: 922000 | #Constraints: 38905
1196.17/1199.40 c INPROCESSING
1196.17/1199.40 c GARBAGE COLLECT
1196.17/1199.40 c #Conflicts: 923000 | #Constraints: 20903
1196.17/1199.40 c #Conflicts: 924000 | #Constraints: 21903
1196.17/1199.40 c #Conflicts: 925000 | #Constraints: 22903
1196.17/1199.40 c #Conflicts: 926000 | #Constraints: 23903
1196.17/1199.40 c #Conflicts: 927000 | #Constraints: 24903
1196.17/1199.40 c #Conflicts: 928000 | #Constraints: 25903
1196.17/1199.40 c #Conflicts: 929000 | #Constraints: 26903
1196.17/1199.40 c #Conflicts: 930000 | #Constraints: 27903
1196.17/1199.40 c #Conflicts: 931000 | #Constraints: 28903
1196.17/1199.40 c #Conflicts: 932000 | #Constraints: 29903
1196.17/1199.40 c #Conflicts: 933000 | #Constraints: 30903
1196.17/1199.40 c #Conflicts: 934000 | #Constraints: 31903
1196.17/1199.40 c #Conflicts: 935000 | #Constraints: 32903
1196.17/1199.40 c #Conflicts: 936000 | #Constraints: 33903
1196.17/1199.40 c #Conflicts: 937000 | #Constraints: 34903
1196.17/1199.40 c #Conflicts: 938000 | #Constraints: 35903
1196.17/1199.40 c #Conflicts: 939000 | #Constraints: 36903
1196.17/1199.40 c #Conflicts: 940000 | #Constraints: 37903
1196.17/1199.40 c #Conflicts: 941000 | #Constraints: 38903
1196.17/1199.40 c INPROCESSING
1196.17/1199.40 c GARBAGE COLLECT
1196.17/1199.40 c #Conflicts: 942000 | #Constraints: 20697
1196.17/1199.40 c #Conflicts: 943000 | #Constraints: 21697
1196.17/1199.40 c #Conflicts: 944000 | #Constraints: 22697
1339.50/1343.15 c #Conflicts: 945000 | #Constraints: 23697
1339.50/1343.15 c #Conflicts: 946000 | #Constraints: 24697
1339.50/1343.15 c #Conflicts: 947000 | #Constraints: 25697
1339.50/1343.15 c #Conflicts: 948000 | #Constraints: 26697
1339.50/1343.15 c #Conflicts: 949000 | #Constraints: 27697
1339.50/1343.15 c #Conflicts: 950000 | #Constraints: 28697
1339.50/1343.15 c #Conflicts: 951000 | #Constraints: 29697
1339.50/1343.15 c #Conflicts: 952000 | #Constraints: 30697
1339.50/1343.15 c #Conflicts: 953000 | #Constraints: 31697
1339.50/1343.15 c #Conflicts: 954000 | #Constraints: 32697
1339.50/1343.15 c #Conflicts: 955000 | #Constraints: 33697
1339.50/1343.15 c #Conflicts: 956000 | #Constraints: 34697
1339.50/1343.15 c #Conflicts: 957000 | #Constraints: 35697
1339.50/1343.15 c #Conflicts: 958000 | #Constraints: 36697
1339.50/1343.15 c #Conflicts: 959000 | #Constraints: 37697
1339.50/1343.15 c #Conflicts: 960000 | #Constraints: 38697
1339.50/1343.15 c #Conflicts: 961000 | #Constraints: 39697
1339.50/1343.15 c INPROCESSING
1339.50/1343.15 c GARBAGE COLLECT
1339.50/1343.15 c #Conflicts: 962000 | #Constraints: 21304
1339.50/1343.15 c #Conflicts: 963000 | #Constraints: 22304
1339.50/1343.15 c #Conflicts: 964000 | #Constraints: 23304
1339.50/1343.15 c #Conflicts: 965000 | #Constraints: 24304
1339.50/1343.15 c #Conflicts: 966000 | #Constraints: 25304
1339.50/1343.15 c #Conflicts: 967000 | #Constraints: 26304
1339.50/1343.15 c #Conflicts: 968000 | #Constraints: 27304
1339.50/1343.15 c #Conflicts: 969000 | #Constraints: 28304
1339.50/1343.15 c #Conflicts: 970000 | #Constraints: 29304
1339.50/1343.15 c #Conflicts: 971000 | #Constraints: 30304
1339.50/1343.15 c #Conflicts: 972000 | #Constraints: 31304
1339.50/1343.15 c #Conflicts: 973000 | #Constraints: 32304
1339.50/1343.15 c #Conflicts: 974000 | #Constraints: 33304
1339.50/1343.15 c #Conflicts: 975000 | #Constraints: 34304
1339.50/1343.15 c #Conflicts: 976000 | #Constraints: 35304
1339.50/1343.15 c #Conflicts: 977000 | #Constraints: 36304
1339.50/1343.15 c #Conflicts: 978000 | #Constraints: 37304
1339.50/1343.15 c #Conflicts: 979000 | #Constraints: 38304
1339.50/1343.15 c #Conflicts: 980000 | #Constraints: 39304
1339.50/1343.15 c #Conflicts: 981000 | #Constraints: 40304
1339.50/1343.15 c INPROCESSING
1339.50/1343.15 c GARBAGE COLLECT
1339.50/1343.15 c #Conflicts: 982000 | #Constraints: 21713
1339.50/1343.15 c #Conflicts: 983000 | #Constraints: 22713
1339.50/1343.15 c #Conflicts: 984000 | #Constraints: 23713
1339.50/1343.15 c #Conflicts: 985000 | #Constraints: 24713
1339.50/1343.15 c #Conflicts: 986000 | #Constraints: 25713
1339.50/1343.15 c #Conflicts: 987000 | #Constraints: 26713
1339.50/1343.15 c #Conflicts: 988000 | #Constraints: 27713
1339.50/1343.15 c #Conflicts: 989000 | #Constraints: 28713
1339.50/1343.15 c #Conflicts: 990000 | #Constraints: 29713
1339.50/1343.15 c #Conflicts: 991000 | #Constraints: 30713
1339.50/1343.15 c #Conflicts: 992000 | #Constraints: 31713
1339.50/1343.15 c #Conflicts: 993000 | #Constraints: 32713
1339.50/1343.15 c #Conflicts: 994000 | #Constraints: 33713
1339.50/1343.15 c #Conflicts: 995000 | #Constraints: 34713
1339.50/1343.15 c #Conflicts: 996000 | #Constraints: 35713
1339.50/1343.15 c #Conflicts: 997000 | #Constraints: 36713
1339.50/1343.15 c #Conflicts: 998000 | #Constraints: 37713
1339.50/1343.15 c #Conflicts: 999000 | #Constraints: 38713
1339.50/1343.15 c #Conflicts: 1000000 | #Constraints: 39713
1339.50/1343.15 c #Conflicts: 1001000 | #Constraints: 40713
1339.50/1343.15 c INPROCESSING
1339.50/1343.15 c GARBAGE COLLECT
1339.50/1343.15 c #Conflicts: 1002000 | #Constraints: 21921
1339.50/1343.15 c #Conflicts: 1003000 | #Constraints: 22921
1339.50/1343.15 c #Conflicts: 1004000 | #Constraints: 23921
1339.50/1343.15 c #Conflicts: 1005000 | #Constraints: 24921
1339.50/1343.15 c #Conflicts: 1006000 | #Constraints: 25921
1339.50/1343.15 c #Conflicts: 1007000 | #Constraints: 26921
1339.50/1343.15 c #Conflicts: 1008000 | #Constraints: 27921
1339.50/1343.15 c #Conflicts: 1009000 | #Constraints: 28921
1339.50/1343.15 c #Conflicts: 1010000 | #Constraints: 29921
1339.50/1343.15 c #Conflicts: 1011000 | #Constraints: 30921
1339.50/1343.15 c #Conflicts: 1012000 | #Constraints: 31921
1339.50/1343.15 c #Conflicts: 1013000 | #Constraints: 32921
1339.50/1343.15 c #Conflicts: 1014000 | #Constraints: 33921
1339.50/1343.15 c #Conflicts: 1015000 | #Constraints: 34921
1339.50/1343.15 c #Conflicts: 1016000 | #Constraints: 35921
1339.50/1343.15 c #Conflicts: 1017000 | #Constraints: 36921
1339.50/1343.15 c #Conflicts: 1018000 | #Constraints: 37921
1339.50/1343.15 c #Conflicts: 1019000 | #Constraints: 38921
1339.50/1343.15 c #Conflicts: 1020000 | #Constraints: 39921
1339.50/1343.15 c #Conflicts: 1021000 | #Constraints: 40921
1470.44/1474.48 c INPROCESSING
1470.44/1474.48 c GARBAGE COLLECT
1470.44/1474.48 c #Conflicts: 1022000 | #Constraints: 21911
1470.44/1474.48 c #Conflicts: 1023000 | #Constraints: 22911
1470.44/1474.48 c #Conflicts: 1024000 | #Constraints: 23911
1470.44/1474.48 c #Conflicts: 1025000 | #Constraints: 24911
1470.44/1474.48 c #Conflicts: 1026000 | #Constraints: 25911
1470.44/1474.48 c #Conflicts: 1027000 | #Constraints: 26911
1470.44/1474.48 c #Conflicts: 1028000 | #Constraints: 27911
1470.44/1474.48 c #Conflicts: 1029000 | #Constraints: 28911
1470.44/1474.48 c #Conflicts: 1030000 | #Constraints: 29911
1470.44/1474.48 c #Conflicts: 1031000 | #Constraints: 30911
1470.44/1474.48 c #Conflicts: 1032000 | #Constraints: 31911
1470.44/1474.48 c #Conflicts: 1033000 | #Constraints: 32911
1470.44/1474.48 c #Conflicts: 1034000 | #Constraints: 33911
1470.44/1474.48 c #Conflicts: 1035000 | #Constraints: 34911
1470.44/1474.48 c #Conflicts: 1036000 | #Constraints: 35911
1470.44/1474.48 c #Conflicts: 1037000 | #Constraints: 36911
1470.44/1474.48 c #Conflicts: 1038000 | #Constraints: 37911
1470.44/1474.48 c #Conflicts: 1039000 | #Constraints: 38911
1470.44/1474.48 c #Conflicts: 1040000 | #Constraints: 39911
1470.44/1474.48 c #Conflicts: 1041000 | #Constraints: 40911
1470.44/1474.48 c INPROCESSING
1470.44/1474.48 c GARBAGE COLLECT
1470.44/1474.48 c #Conflicts: 1042000 | #Constraints: 21716
1470.44/1474.48 c #Conflicts: 1043000 | #Constraints: 22716
1470.44/1474.48 c #Conflicts: 1044000 | #Constraints: 23716
1470.44/1474.48 c #Conflicts: 1045000 | #Constraints: 24716
1470.44/1474.48 c #Conflicts: 1046000 | #Constraints: 25716
1470.44/1474.48 c #Conflicts: 1047000 | #Constraints: 26716
1470.44/1474.48 c #Conflicts: 1048000 | #Constraints: 27716
1470.44/1474.48 c #Conflicts: 1049000 | #Constraints: 28716
1470.44/1474.48 c #Conflicts: 1050000 | #Constraints: 29716
1470.44/1474.48 c #Conflicts: 1051000 | #Constraints: 30716
1470.44/1474.48 c #Conflicts: 1052000 | #Constraints: 31716
1470.44/1474.48 c #Conflicts: 1053000 | #Constraints: 32716
1470.44/1474.48 c #Conflicts: 1054000 | #Constraints: 33716
1470.44/1474.48 c #Conflicts: 1055000 | #Constraints: 34716
1470.44/1474.48 c #Conflicts: 1056000 | #Constraints: 35716
1470.44/1474.48 c #Conflicts: 1057000 | #Constraints: 36716
1470.44/1474.48 c #Conflicts: 1058000 | #Constraints: 37716
1470.44/1474.48 c #Conflicts: 1059000 | #Constraints: 38716
1470.44/1474.48 c #Conflicts: 1060000 | #Constraints: 39716
1470.44/1474.48 c #Conflicts: 1061000 | #Constraints: 40716
1470.44/1474.48 c #Conflicts: 1062000 | #Constraints: 41716
1470.44/1474.48 c INPROCESSING
1470.44/1474.48 c GARBAGE COLLECT
1470.44/1474.48 c #Conflicts: 1063000 | #Constraints: 22314
1470.44/1474.48 c #Conflicts: 1064000 | #Constraints: 23314
1470.44/1474.48 c #Conflicts: 1065000 | #Constraints: 24314
1470.44/1474.48 c #Conflicts: 1066000 | #Constraints: 25314
1470.44/1474.48 c #Conflicts: 1067000 | #Constraints: 26314
1470.44/1474.48 c #Conflicts: 1068000 | #Constraints: 27314
1470.44/1474.48 c #Conflicts: 1069000 | #Constraints: 28314
1470.44/1474.48 c #Conflicts: 1070000 | #Constraints: 29314
1470.44/1474.48 c #Conflicts: 1071000 | #Constraints: 30314
1470.44/1474.48 c #Conflicts: 1072000 | #Constraints: 31314
1470.44/1474.48 c #Conflicts: 1073000 | #Constraints: 32314
1470.44/1474.48 c #Conflicts: 1074000 | #Constraints: 33314
1470.44/1474.48 c #Conflicts: 1075000 | #Constraints: 34314
1470.44/1474.48 c #Conflicts: 1076000 | #Constraints: 35314
1470.44/1474.48 c #Conflicts: 1077000 | #Constraints: 36314
1470.44/1474.48 c #Conflicts: 1078000 | #Constraints: 37314
1470.44/1474.48 c #Conflicts: 1079000 | #Constraints: 38314
1470.44/1474.48 c #Conflicts: 1080000 | #Constraints: 39314
1470.44/1474.48 c #Conflicts: 1081000 | #Constraints: 40314
1470.44/1474.48 c #Conflicts: 1082000 | #Constraints: 41314
1470.44/1474.48 c #Conflicts: 1083000 | #Constraints: 42314
1470.44/1474.48 c INPROCESSING
1470.44/1474.48 c GARBAGE COLLECT
1470.44/1474.48 c #Conflicts: 1084000 | #Constraints: 22707
1470.44/1474.48 c #Conflicts: 1085000 | #Constraints: 23707
1470.44/1474.48 c #Conflicts: 1086000 | #Constraints: 24707
1470.44/1474.48 c #Conflicts: 1087000 | #Constraints: 25707
1470.44/1474.48 c #Conflicts: 1088000 | #Constraints: 26707
1470.44/1474.48 c #Conflicts: 1089000 | #Constraints: 27707
1470.44/1474.48 c #Conflicts: 1090000 | #Constraints: 28707
1470.44/1474.48 c #Conflicts: 1091000 | #Constraints: 29707
1470.44/1474.48 c #Conflicts: 1092000 | #Constraints: 30707
1470.44/1474.48 c #Conflicts: 1093000 | #Constraints: 31707
1470.44/1474.48 c #Conflicts: 1094000 | #Constraints: 32707
1470.44/1474.48 c #Conflicts: 1095000 | #Constraints: 33707
1470.44/1474.48 c #Conflicts: 1096000 | #Constraints: 34707
1470.44/1474.48 c #Conflicts: 1097000 | #Constraints: 35707
1606.57/1610.94 c #Conflicts: 1098000 | #Constraints: 36707
1606.57/1610.94 c #Conflicts: 1099000 | #Constraints: 37707
1606.57/1610.94 c #Conflicts: 1100000 | #Constraints: 38707
1606.57/1610.94 c #Conflicts: 1101000 | #Constraints: 39707
1606.57/1610.94 c #Conflicts: 1102000 | #Constraints: 40707
1606.57/1610.94 c #Conflicts: 1103000 | #Constraints: 41707
1606.57/1610.94 c #Conflicts: 1104000 | #Constraints: 42707
1606.57/1610.94 c INPROCESSING
1606.57/1610.94 c GARBAGE COLLECT
1606.57/1610.94 c #Conflicts: 1105000 | #Constraints: 22907
1606.57/1610.94 c #Conflicts: 1106000 | #Constraints: 23907
1606.57/1610.94 c #Conflicts: 1107000 | #Constraints: 24907
1606.57/1610.94 c #Conflicts: 1108000 | #Constraints: 25907
1606.57/1610.94 c #Conflicts: 1109000 | #Constraints: 26907
1606.57/1610.94 c #Conflicts: 1110000 | #Constraints: 27907
1606.57/1610.94 c #Conflicts: 1111000 | #Constraints: 28907
1606.57/1610.94 c #Conflicts: 1112000 | #Constraints: 29907
1606.57/1610.94 c #Conflicts: 1113000 | #Constraints: 30907
1606.57/1610.94 c #Conflicts: 1114000 | #Constraints: 31907
1606.57/1610.94 c #Conflicts: 1115000 | #Constraints: 32907
1606.57/1610.94 c #Conflicts: 1116000 | #Constraints: 33907
1606.57/1610.94 c #Conflicts: 1117000 | #Constraints: 34907
1606.57/1610.94 c #Conflicts: 1118000 | #Constraints: 35907
1606.57/1610.94 c #Conflicts: 1119000 | #Constraints: 36907
1606.57/1610.94 c #Conflicts: 1120000 | #Constraints: 37907
1606.57/1610.94 c #Conflicts: 1121000 | #Constraints: 38907
1606.57/1610.94 c #Conflicts: 1122000 | #Constraints: 39907
1606.57/1610.94 c #Conflicts: 1123000 | #Constraints: 40907
1606.57/1610.94 c #Conflicts: 1124000 | #Constraints: 41907
1606.57/1610.94 c #Conflicts: 1125000 | #Constraints: 42907
1606.57/1610.94 c INPROCESSING
1606.57/1610.94 c GARBAGE COLLECT
1606.57/1610.94 c #Conflicts: 1126000 | #Constraints: 22909
1606.57/1610.94 c #Conflicts: 1127000 | #Constraints: 23909
1606.57/1610.94 c #Conflicts: 1128000 | #Constraints: 24909
1606.57/1610.94 c #Conflicts: 1129000 | #Constraints: 25909
1606.57/1610.94 c #Conflicts: 1130000 | #Constraints: 26909
1606.57/1610.94 c #Conflicts: 1131000 | #Constraints: 27909
1606.57/1610.94 c #Conflicts: 1132000 | #Constraints: 28909
1606.57/1610.94 c #Conflicts: 1133000 | #Constraints: 29909
1606.57/1610.94 c #Conflicts: 1134000 | #Constraints: 30909
1606.57/1610.94 c #Conflicts: 1135000 | #Constraints: 31909
1606.57/1610.94 c #Conflicts: 1136000 | #Constraints: 32909
1606.57/1610.94 c #Conflicts: 1137000 | #Constraints: 33909
1606.57/1610.94 c #Conflicts: 1138000 | #Constraints: 34909
1606.57/1610.94 c #Conflicts: 1139000 | #Constraints: 35909
1606.57/1610.94 c #Conflicts: 1140000 | #Constraints: 36909
1606.57/1610.94 c #Conflicts: 1141000 | #Constraints: 37909
1606.57/1610.94 c #Conflicts: 1142000 | #Constraints: 38909
1606.57/1610.94 c #Conflicts: 1143000 | #Constraints: 39909
1606.57/1610.94 c #Conflicts: 1144000 | #Constraints: 40909
1606.57/1610.94 c #Conflicts: 1145000 | #Constraints: 41909
1606.57/1610.94 c #Conflicts: 1146000 | #Constraints: 42909
1606.57/1610.94 c INPROCESSING
1606.57/1610.94 c GARBAGE COLLECT
1606.57/1610.94 c #Conflicts: 1147000 | #Constraints: 22715
1606.57/1610.94 c #Conflicts: 1148000 | #Constraints: 23715
1606.57/1610.94 c #Conflicts: 1149000 | #Constraints: 24715
1606.57/1610.94 c #Conflicts: 1150000 | #Constraints: 25715
1606.57/1610.94 c #Conflicts: 1151000 | #Constraints: 26715
1606.57/1610.94 c #Conflicts: 1152000 | #Constraints: 27715
1606.57/1610.94 c #Conflicts: 1153000 | #Constraints: 28715
1606.57/1610.94 c #Conflicts: 1154000 | #Constraints: 29715
1606.57/1610.94 c #Conflicts: 1155000 | #Constraints: 30715
1606.57/1610.94 c #Conflicts: 1156000 | #Constraints: 31715
1606.57/1610.94 c #Conflicts: 1157000 | #Constraints: 32715
1606.57/1610.94 c #Conflicts: 1158000 | #Constraints: 33715
1606.57/1610.94 c #Conflicts: 1159000 | #Constraints: 34715
1606.57/1610.94 c #Conflicts: 1160000 | #Constraints: 35715
1606.57/1610.94 c #Conflicts: 1161000 | #Constraints: 36715
1606.57/1610.94 c #Conflicts: 1162000 | #Constraints: 37715
1606.57/1610.94 c #Conflicts: 1163000 | #Constraints: 38715
1606.57/1610.94 c #Conflicts: 1164000 | #Constraints: 39715
1606.57/1610.94 c #Conflicts: 1165000 | #Constraints: 40715
1606.57/1610.94 c #Conflicts: 1166000 | #Constraints: 41715
1606.57/1610.94 c #Conflicts: 1167000 | #Constraints: 42715
1606.57/1610.94 c #Conflicts: 1168000 | #Constraints: 43715
1606.57/1610.94 c INPROCESSING
1606.57/1610.94 c GARBAGE COLLECT
1606.57/1610.94 c #Conflicts: 1169000 | #Constraints: 23311
1606.57/1610.94 c #Conflicts: 1170000 | #Constraints: 24311
1606.57/1610.94 c #Conflicts: 1171000 | #Constraints: 25311
1606.57/1610.94 c #Conflicts: 1172000 | #Constraints: 26311
1606.57/1610.94 c #Conflicts: 1173000 | #Constraints: 27311
1744.12/1748.82 c #Conflicts: 1174000 | #Constraints: 28311
1744.12/1748.82 c #Conflicts: 1175000 | #Constraints: 29311
1744.12/1748.82 c #Conflicts: 1176000 | #Constraints: 30311
1744.12/1748.82 c #Conflicts: 1177000 | #Constraints: 31311
1744.12/1748.82 c #Conflicts: 1178000 | #Constraints: 32311
1744.12/1748.82 c #Conflicts: 1179000 | #Constraints: 33311
1744.12/1748.82 c #Conflicts: 1180000 | #Constraints: 34311
1744.12/1748.82 c #Conflicts: 1181000 | #Constraints: 35311
1744.12/1748.82 c #Conflicts: 1182000 | #Constraints: 36311
1744.12/1748.82 c #Conflicts: 1183000 | #Constraints: 37311
1744.12/1748.82 c #Conflicts: 1184000 | #Constraints: 38311
1744.12/1748.82 c #Conflicts: 1185000 | #Constraints: 39311
1744.12/1748.82 c #Conflicts: 1186000 | #Constraints: 40311
1744.12/1748.82 c #Conflicts: 1187000 | #Constraints: 41311
1744.12/1748.82 c #Conflicts: 1188000 | #Constraints: 42311
1744.12/1748.82 c #Conflicts: 1189000 | #Constraints: 43311
1744.12/1748.82 c #Conflicts: 1190000 | #Constraints: 44311
1744.12/1748.82 c INPROCESSING
1744.12/1748.82 c GARBAGE COLLECT
1744.12/1748.82 c #Conflicts: 1191000 | #Constraints: 23714
1744.12/1748.82 c #Conflicts: 1192000 | #Constraints: 24714
1744.12/1748.82 c #Conflicts: 1193000 | #Constraints: 25714
1744.12/1748.82 c #Conflicts: 1194000 | #Constraints: 26714
1744.12/1748.82 c #Conflicts: 1195000 | #Constraints: 27714
1744.12/1748.82 c #Conflicts: 1196000 | #Constraints: 28714
1744.12/1748.82 c #Conflicts: 1197000 | #Constraints: 29714
1744.12/1748.82 c #Conflicts: 1198000 | #Constraints: 30714
1744.12/1748.82 c #Conflicts: 1199000 | #Constraints: 31714
1744.12/1748.82 c #Conflicts: 1200000 | #Constraints: 32714
1744.12/1748.82 c #Conflicts: 1201000 | #Constraints: 33714
1744.12/1748.82 c #Conflicts: 1202000 | #Constraints: 34714
1744.12/1748.82 c #Conflicts: 1203000 | #Constraints: 35714
1744.12/1748.82 c #Conflicts: 1204000 | #Constraints: 36714
1744.12/1748.82 c #Conflicts: 1205000 | #Constraints: 37714
1744.12/1748.82 c #Conflicts: 1206000 | #Constraints: 38714
1744.12/1748.82 c #Conflicts: 1207000 | #Constraints: 39714
1744.12/1748.82 c #Conflicts: 1208000 | #Constraints: 40714
1744.12/1748.82 c #Conflicts: 1209000 | #Constraints: 41714
1744.12/1748.82 c #Conflicts: 1210000 | #Constraints: 42714
1744.12/1748.82 c #Conflicts: 1211000 | #Constraints: 43714
1744.12/1748.82 c #Conflicts: 1212000 | #Constraints: 44714
1744.12/1748.82 c INPROCESSING
1744.12/1748.82 c GARBAGE COLLECT
1744.12/1748.82 c #Conflicts: 1213000 | #Constraints: 23905
1744.12/1748.82 c #Conflicts: 1214000 | #Constraints: 24905
1744.12/1748.82 c #Conflicts: 1215000 | #Constraints: 25905
1744.12/1748.82 c #Conflicts: 1216000 | #Constraints: 26905
1744.12/1748.82 c #Conflicts: 1217000 | #Constraints: 27905
1744.12/1748.82 c #Conflicts: 1218000 | #Constraints: 28905
1744.12/1748.82 c #Conflicts: 1219000 | #Constraints: 29905
1744.12/1748.82 c #Conflicts: 1220000 | #Constraints: 30905
1744.12/1748.82 c #Conflicts: 1221000 | #Constraints: 31905
1744.12/1748.82 c #Conflicts: 1222000 | #Constraints: 32905
1744.12/1748.82 c #Conflicts: 1223000 | #Constraints: 33905
1744.12/1748.82 c #Conflicts: 1224000 | #Constraints: 34905
1744.12/1748.82 c #Conflicts: 1225000 | #Constraints: 35905
1744.12/1748.82 c #Conflicts: 1226000 | #Constraints: 36905
1744.12/1748.82 c #Conflicts: 1227000 | #Constraints: 37905
1744.12/1748.82 c #Conflicts: 1228000 | #Constraints: 38905
1744.12/1748.82 c #Conflicts: 1229000 | #Constraints: 39905
1744.12/1748.82 c #Conflicts: 1230000 | #Constraints: 40905
1744.12/1748.82 c #Conflicts: 1231000 | #Constraints: 41905
1744.12/1748.82 c #Conflicts: 1232000 | #Constraints: 42905
1744.12/1748.82 c #Conflicts: 1233000 | #Constraints: 43905
1744.12/1748.82 c #Conflicts: 1234000 | #Constraints: 44905
1744.12/1748.82 c INPROCESSING
1744.12/1748.82 c GARBAGE COLLECT
1744.12/1748.82 c #Conflicts: 1235000 | #Constraints: 23903
1744.12/1748.82 c #Conflicts: 1236000 | #Constraints: 24903
1744.12/1748.82 c #Conflicts: 1237000 | #Constraints: 25903
1744.12/1748.82 c #Conflicts: 1238000 | #Constraints: 26903
1744.12/1748.82 c #Conflicts: 1239000 | #Constraints: 27903
1744.12/1748.82 c #Conflicts: 1240000 | #Constraints: 28903
1744.12/1748.82 c #Conflicts: 1241000 | #Constraints: 29903
1744.12/1748.82 c #Conflicts: 1242000 | #Constraints: 30903
1744.12/1748.82 c #Conflicts: 1243000 | #Constraints: 31903
1744.12/1748.82 c #Conflicts: 1244000 | #Constraints: 32903
1744.12/1748.82 c #Conflicts: 1245000 | #Constraints: 33903
1744.12/1748.82 c #Conflicts: 1246000 | #Constraints: 34903
1744.12/1748.82 c #Conflicts: 1247000 | #Constraints: 35903
1744.12/1748.82 c #Conflicts: 1248000 | #Constraints: 36903
1744.12/1748.82 c #Conflicts: 1249000 | #Constraints: 37903
1744.12/1748.82 c #Conflicts: 1250000 | #Constraints: 38903
1887.95/1893.08 c #Conflicts: 1251000 | #Constraints: 39903
1887.95/1893.08 c #Conflicts: 1252000 | #Constraints: 40903
1887.95/1893.08 c #Conflicts: 1253000 | #Constraints: 41903
1887.95/1893.08 c #Conflicts: 1254000 | #Constraints: 42903
1887.95/1893.08 c #Conflicts: 1255000 | #Constraints: 43903
1887.95/1893.08 c #Conflicts: 1256000 | #Constraints: 44903
1887.95/1893.08 c INPROCESSING
1887.95/1893.08 c GARBAGE COLLECT
1887.95/1893.08 c #Conflicts: 1257000 | #Constraints: 23710
1887.95/1893.08 c #Conflicts: 1258000 | #Constraints: 24710
1887.95/1893.08 c #Conflicts: 1259000 | #Constraints: 25710
1887.95/1893.08 c #Conflicts: 1260000 | #Constraints: 26710
1887.95/1893.08 c #Conflicts: 1261000 | #Constraints: 27710
1887.95/1893.08 c #Conflicts: 1262000 | #Constraints: 28710
1887.95/1893.08 c #Conflicts: 1263000 | #Constraints: 29710
1887.95/1893.08 c #Conflicts: 1264000 | #Constraints: 30710
1887.95/1893.08 c #Conflicts: 1265000 | #Constraints: 31710
1887.95/1893.08 c #Conflicts: 1266000 | #Constraints: 32710
1887.95/1893.08 c #Conflicts: 1267000 | #Constraints: 33710
1887.95/1893.08 c #Conflicts: 1268000 | #Constraints: 34710
1887.95/1893.08 c #Conflicts: 1269000 | #Constraints: 35710
1887.95/1893.08 c #Conflicts: 1270000 | #Constraints: 36710
1887.95/1893.08 c #Conflicts: 1271000 | #Constraints: 37710
1887.95/1893.08 c #Conflicts: 1272000 | #Constraints: 38710
1887.95/1893.08 c #Conflicts: 1273000 | #Constraints: 39710
1887.95/1893.08 c #Conflicts: 1274000 | #Constraints: 40710
1887.95/1893.08 c #Conflicts: 1275000 | #Constraints: 41710
1887.95/1893.08 c #Conflicts: 1276000 | #Constraints: 42710
1887.95/1893.08 c #Conflicts: 1277000 | #Constraints: 43710
1887.95/1893.08 c #Conflicts: 1278000 | #Constraints: 44710
1887.95/1893.08 c #Conflicts: 1279000 | #Constraints: 45710
1887.95/1893.08 c INPROCESSING
1887.95/1893.08 c GARBAGE COLLECT
1887.95/1893.08 c #Conflicts: 1280000 | #Constraints: 24306
1887.95/1893.08 c #Conflicts: 1281000 | #Constraints: 25306
1887.95/1893.08 c #Conflicts: 1282000 | #Constraints: 26306
1887.95/1893.08 c #Conflicts: 1283000 | #Constraints: 27306
1887.95/1893.08 c #Conflicts: 1284000 | #Constraints: 28306
1887.95/1893.08 c #Conflicts: 1285000 | #Constraints: 29306
1887.95/1893.08 c #Conflicts: 1286000 | #Constraints: 30306
1887.95/1893.08 c #Conflicts: 1287000 | #Constraints: 31306
1887.95/1893.08 c #Conflicts: 1288000 | #Constraints: 32306
1887.95/1893.08 c #Conflicts: 1289000 | #Constraints: 33306
1887.95/1893.08 c #Conflicts: 1290000 | #Constraints: 34306
1887.95/1893.08 c #Conflicts: 1291000 | #Constraints: 35306
1887.95/1893.08 c #Conflicts: 1292000 | #Constraints: 36306
1887.95/1893.08 c #Conflicts: 1293000 | #Constraints: 37306
1887.95/1893.08 c #Conflicts: 1294000 | #Constraints: 38306
1887.95/1893.08 c #Conflicts: 1295000 | #Constraints: 39306
1887.95/1893.08 c #Conflicts: 1296000 | #Constraints: 40306
1887.95/1893.08 c #Conflicts: 1297000 | #Constraints: 41306
1887.95/1893.08 c #Conflicts: 1298000 | #Constraints: 42306
1887.95/1893.08 c #Conflicts: 1299000 | #Constraints: 43306
1887.95/1893.08 c #Conflicts: 1300000 | #Constraints: 44306
1887.95/1893.08 c #Conflicts: 1301000 | #Constraints: 45306
1887.95/1893.08 c #Conflicts: 1302000 | #Constraints: 46306
1887.95/1893.08 c INPROCESSING
1887.95/1893.08 c GARBAGE COLLECT
1887.95/1893.08 c #Conflicts: 1303000 | #Constraints: 24704
1887.95/1893.08 c #Conflicts: 1304000 | #Constraints: 25704
1887.95/1893.08 c #Conflicts: 1305000 | #Constraints: 26704
1887.95/1893.08 c #Conflicts: 1306000 | #Constraints: 27704
1887.95/1893.08 c #Conflicts: 1307000 | #Constraints: 28704
1887.95/1893.08 c #Conflicts: 1308000 | #Constraints: 29704
1887.95/1893.08 c #Conflicts: 1309000 | #Constraints: 30704
1887.95/1893.08 c #Conflicts: 1310000 | #Constraints: 31704
1887.95/1893.08 c #Conflicts: 1311000 | #Constraints: 32704
1887.95/1893.08 c #Conflicts: 1312000 | #Constraints: 33704
1887.95/1893.08 c #Conflicts: 1313000 | #Constraints: 34704
1887.95/1893.08 c #Conflicts: 1314000 | #Constraints: 35704
1887.95/1893.08 c #Conflicts: 1315000 | #Constraints: 36704
1887.95/1893.08 c #Conflicts: 1316000 | #Constraints: 37704
1887.95/1893.08 c #Conflicts: 1317000 | #Constraints: 38704
1887.95/1893.08 c #Conflicts: 1318000 | #Constraints: 39704
1887.95/1893.08 c #Conflicts: 1319000 | #Constraints: 40704
1887.95/1893.08 c #Conflicts: 1320000 | #Constraints: 41704
1887.95/1893.08 c #Conflicts: 1321000 | #Constraints: 42704
1887.95/1893.08 c #Conflicts: 1322000 | #Constraints: 43704
1887.95/1893.08 c #Conflicts: 1323000 | #Constraints: 44704
1887.95/1893.08 c #Conflicts: 1324000 | #Constraints: 45704
1887.95/1893.08 c #Conflicts: 1325000 | #Constraints: 46704
1887.95/1893.08 c INPROCESSING
1887.95/1893.08 c GARBAGE COLLECT
1887.95/1893.08 c #Conflicts: 1326000 | #Constraints: 24906
1887.95/1893.08 c #Conflicts: 1327000 | #Constraints: 25906
2025.78/2031.20 c #Conflicts: 1328000 | #Constraints: 26906
2025.78/2031.20 c #Conflicts: 1329000 | #Constraints: 27906
2025.78/2031.20 c #Conflicts: 1330000 | #Constraints: 28906
2025.78/2031.20 c #Conflicts: 1331000 | #Constraints: 29906
2025.78/2031.20 c #Conflicts: 1332000 | #Constraints: 30906
2025.78/2031.20 c #Conflicts: 1333000 | #Constraints: 31906
2025.78/2031.20 c #Conflicts: 1334000 | #Constraints: 32906
2025.78/2031.20 c #Conflicts: 1335000 | #Constraints: 33906
2025.78/2031.20 c #Conflicts: 1336000 | #Constraints: 34906
2025.78/2031.20 c #Conflicts: 1337000 | #Constraints: 35906
2025.78/2031.20 c #Conflicts: 1338000 | #Constraints: 36906
2025.78/2031.20 c #Conflicts: 1339000 | #Constraints: 37906
2025.78/2031.20 c #Conflicts: 1340000 | #Constraints: 38906
2025.78/2031.20 c #Conflicts: 1341000 | #Constraints: 39906
2025.78/2031.20 c #Conflicts: 1342000 | #Constraints: 40906
2025.78/2031.20 c #Conflicts: 1343000 | #Constraints: 41906
2025.78/2031.20 c #Conflicts: 1344000 | #Constraints: 42906
2025.78/2031.20 c #Conflicts: 1345000 | #Constraints: 43906
2025.78/2031.20 c #Conflicts: 1346000 | #Constraints: 44906
2025.78/2031.20 c #Conflicts: 1347000 | #Constraints: 45906
2025.78/2031.20 c #Conflicts: 1348000 | #Constraints: 46906
2025.78/2031.20 c INPROCESSING
2025.78/2031.20 c GARBAGE COLLECT
2025.78/2031.20 c #Conflicts: 1349000 | #Constraints: 24906
2025.78/2031.20 c #Conflicts: 1350000 | #Constraints: 25906
2025.78/2031.20 c #Conflicts: 1351000 | #Constraints: 26906
2025.78/2031.20 c #Conflicts: 1352000 | #Constraints: 27906
2025.78/2031.20 c #Conflicts: 1353000 | #Constraints: 28906
2025.78/2031.20 c #Conflicts: 1354000 | #Constraints: 29906
2025.78/2031.20 c #Conflicts: 1355000 | #Constraints: 30906
2025.78/2031.20 c #Conflicts: 1356000 | #Constraints: 31906
2025.78/2031.20 c #Conflicts: 1357000 | #Constraints: 32906
2025.78/2031.20 c #Conflicts: 1358000 | #Constraints: 33906
2025.78/2031.20 c #Conflicts: 1359000 | #Constraints: 34906
2025.78/2031.20 c #Conflicts: 1360000 | #Constraints: 35906
2025.78/2031.20 c #Conflicts: 1361000 | #Constraints: 36906
2025.78/2031.20 c #Conflicts: 1362000 | #Constraints: 37906
2025.78/2031.20 c #Conflicts: 1363000 | #Constraints: 38906
2025.78/2031.20 c #Conflicts: 1364000 | #Constraints: 39906
2025.78/2031.20 c #Conflicts: 1365000 | #Constraints: 40906
2025.78/2031.20 c #Conflicts: 1366000 | #Constraints: 41906
2025.78/2031.20 c #Conflicts: 1367000 | #Constraints: 42906
2025.78/2031.20 c #Conflicts: 1368000 | #Constraints: 43906
2025.78/2031.20 c #Conflicts: 1369000 | #Constraints: 44906
2025.78/2031.20 c #Conflicts: 1370000 | #Constraints: 45906
2025.78/2031.20 c #Conflicts: 1371000 | #Constraints: 46906
2025.78/2031.20 c INPROCESSING
2025.78/2031.20 c GARBAGE COLLECT
2025.78/2031.20 c #Conflicts: 1372000 | #Constraints: 24707
2025.78/2031.20 c #Conflicts: 1373000 | #Constraints: 25707
2025.78/2031.20 c #Conflicts: 1374000 | #Constraints: 26707
2025.78/2031.20 c #Conflicts: 1375000 | #Constraints: 27707
2025.78/2031.20 c #Conflicts: 1376000 | #Constraints: 28707
2025.78/2031.20 c #Conflicts: 1377000 | #Constraints: 29707
2025.78/2031.20 c #Conflicts: 1378000 | #Constraints: 30707
2025.78/2031.20 c #Conflicts: 1379000 | #Constraints: 31707
2025.78/2031.20 c #Conflicts: 1380000 | #Constraints: 32707
2025.78/2031.20 c #Conflicts: 1381000 | #Constraints: 33707
2025.78/2031.20 c #Conflicts: 1382000 | #Constraints: 34707
2025.78/2031.20 c #Conflicts: 1383000 | #Constraints: 35707
2025.78/2031.20 c #Conflicts: 1384000 | #Constraints: 36707
2025.78/2031.20 c #Conflicts: 1385000 | #Constraints: 37707
2025.78/2031.20 c #Conflicts: 1386000 | #Constraints: 38707
2025.78/2031.20 c #Conflicts: 1387000 | #Constraints: 39707
2025.78/2031.20 c #Conflicts: 1388000 | #Constraints: 40707
2025.78/2031.20 c #Conflicts: 1389000 | #Constraints: 41707
2025.78/2031.20 c #Conflicts: 1390000 | #Constraints: 42707
2025.78/2031.20 c #Conflicts: 1391000 | #Constraints: 43707
2025.78/2031.20 c #Conflicts: 1392000 | #Constraints: 44707
2025.78/2031.20 c #Conflicts: 1393000 | #Constraints: 45707
2025.78/2031.20 c #Conflicts: 1394000 | #Constraints: 46707
2025.78/2031.20 c #Conflicts: 1395000 | #Constraints: 47707
2025.78/2031.20 c INPROCESSING
2025.78/2031.20 c GARBAGE COLLECT
2025.78/2031.20 c #Conflicts: 1396000 | #Constraints: 25304
2025.78/2031.20 c #Conflicts: 1397000 | #Constraints: 26304
2025.78/2031.20 c #Conflicts: 1398000 | #Constraints: 27304
2025.78/2031.20 c #Conflicts: 1399000 | #Constraints: 28304
2025.78/2031.20 c #Conflicts: 1400000 | #Constraints: 29304
2025.78/2031.20 c #Conflicts: 1401000 | #Constraints: 30304
2025.78/2031.20 c #Conflicts: 1402000 | #Constraints: 31304
2025.78/2031.20 c #Conflicts: 1403000 | #Constraints: 32304
2172.11/2177.92 c #Conflicts: 1404000 | #Constraints: 33304
2172.11/2177.92 c #Conflicts: 1405000 | #Constraints: 34304
2172.11/2177.92 c #Conflicts: 1406000 | #Constraints: 35304
2172.11/2177.92 c #Conflicts: 1407000 | #Constraints: 36304
2172.11/2177.92 c #Conflicts: 1408000 | #Constraints: 37304
2172.11/2177.92 c #Conflicts: 1409000 | #Constraints: 38304
2172.11/2177.92 c #Conflicts: 1410000 | #Constraints: 39304
2172.11/2177.92 c #Conflicts: 1411000 | #Constraints: 40304
2172.11/2177.92 c #Conflicts: 1412000 | #Constraints: 41304
2172.11/2177.92 c #Conflicts: 1413000 | #Constraints: 42304
2172.11/2177.92 c #Conflicts: 1414000 | #Constraints: 43304
2172.11/2177.92 c #Conflicts: 1415000 | #Constraints: 44304
2172.11/2177.92 c #Conflicts: 1416000 | #Constraints: 45304
2172.11/2177.92 c #Conflicts: 1417000 | #Constraints: 46304
2172.11/2177.92 c #Conflicts: 1418000 | #Constraints: 47304
2172.11/2177.92 c #Conflicts: 1419000 | #Constraints: 48304
2172.11/2177.92 c INPROCESSING
2172.11/2177.92 c GARBAGE COLLECT
2172.11/2177.92 c #Conflicts: 1420000 | #Constraints: 25708
2172.11/2177.92 c #Conflicts: 1421000 | #Constraints: 26708
2172.11/2177.92 c #Conflicts: 1422000 | #Constraints: 27708
2172.11/2177.92 c #Conflicts: 1423000 | #Constraints: 28708
2172.11/2177.92 c #Conflicts: 1424000 | #Constraints: 29708
2172.11/2177.92 c #Conflicts: 1425000 | #Constraints: 30708
2172.11/2177.92 c #Conflicts: 1426000 | #Constraints: 31708
2172.11/2177.92 c #Conflicts: 1427000 | #Constraints: 32708
2172.11/2177.92 c #Conflicts: 1428000 | #Constraints: 33708
2172.11/2177.92 c #Conflicts: 1429000 | #Constraints: 34708
2172.11/2177.92 c #Conflicts: 1430000 | #Constraints: 35708
2172.11/2177.92 c #Conflicts: 1431000 | #Constraints: 36708
2172.11/2177.92 c #Conflicts: 1432000 | #Constraints: 37708
2172.11/2177.92 c #Conflicts: 1433000 | #Constraints: 38708
2172.11/2177.92 c #Conflicts: 1434000 | #Constraints: 39708
2172.11/2177.92 c #Conflicts: 1435000 | #Constraints: 40708
2172.11/2177.92 c #Conflicts: 1436000 | #Constraints: 41708
2172.11/2177.92 c #Conflicts: 1437000 | #Constraints: 42708
2172.11/2177.92 c #Conflicts: 1438000 | #Constraints: 43708
2172.11/2177.92 c #Conflicts: 1439000 | #Constraints: 44708
2172.11/2177.92 c #Conflicts: 1440000 | #Constraints: 45708
2172.11/2177.92 c #Conflicts: 1441000 | #Constraints: 46708
2172.11/2177.92 c #Conflicts: 1442000 | #Constraints: 47708
2172.11/2177.92 c #Conflicts: 1443000 | #Constraints: 48708
2172.11/2177.92 c INPROCESSING
2172.11/2177.92 c GARBAGE COLLECT
2172.11/2177.92 c #Conflicts: 1444000 | #Constraints: 25904
2172.11/2177.92 c #Conflicts: 1445000 | #Constraints: 26904
2172.11/2177.92 c #Conflicts: 1446000 | #Constraints: 27904
2172.11/2177.92 c #Conflicts: 1447000 | #Constraints: 28904
2172.11/2177.92 c #Conflicts: 1448000 | #Constraints: 29904
2172.11/2177.92 c #Conflicts: 1449000 | #Constraints: 30904
2172.11/2177.92 c #Conflicts: 1450000 | #Constraints: 31904
2172.11/2177.92 c #Conflicts: 1451000 | #Constraints: 32904
2172.11/2177.92 c #Conflicts: 1452000 | #Constraints: 33904
2172.11/2177.92 c #Conflicts: 1453000 | #Constraints: 34904
2172.11/2177.92 c #Conflicts: 1454000 | #Constraints: 35904
2172.11/2177.92 c #Conflicts: 1455000 | #Constraints: 36904
2172.11/2177.92 c #Conflicts: 1456000 | #Constraints: 37904
2172.11/2177.92 c #Conflicts: 1457000 | #Constraints: 38904
2172.11/2177.92 c #Conflicts: 1458000 | #Constraints: 39904
2172.11/2177.92 c #Conflicts: 1459000 | #Constraints: 40904
2172.11/2177.92 c #Conflicts: 1460000 | #Constraints: 41904
2172.11/2177.92 c #Conflicts: 1461000 | #Constraints: 42904
2172.11/2177.92 c #Conflicts: 1462000 | #Constraints: 43904
2172.11/2177.92 c #Conflicts: 1463000 | #Constraints: 44904
2172.11/2177.92 c #Conflicts: 1464000 | #Constraints: 45904
2172.11/2177.92 c #Conflicts: 1465000 | #Constraints: 46904
2172.11/2177.92 c #Conflicts: 1466000 | #Constraints: 47904
2172.11/2177.92 c #Conflicts: 1467000 | #Constraints: 48904
2172.11/2177.92 c INPROCESSING
2172.11/2177.92 c GARBAGE COLLECT
2172.11/2177.92 c #Conflicts: 1468000 | #Constraints: 25904
2172.11/2177.92 c #Conflicts: 1469000 | #Constraints: 26904
2172.11/2177.92 c #Conflicts: 1470000 | #Constraints: 27904
2172.11/2177.92 c #Conflicts: 1471000 | #Constraints: 28904
2172.11/2177.92 c #Conflicts: 1472000 | #Constraints: 29904
2172.11/2177.92 c #Conflicts: 1473000 | #Constraints: 30904
2172.11/2177.92 c #Conflicts: 1474000 | #Constraints: 31904
2172.11/2177.92 c #Conflicts: 1475000 | #Constraints: 32904
2172.11/2177.92 c #Conflicts: 1476000 | #Constraints: 33904
2172.11/2177.92 c #Conflicts: 1477000 | #Constraints: 34904
2172.11/2177.92 c #Conflicts: 1478000 | #Constraints: 35904
2172.11/2177.92 c #Conflicts: 1479000 | #Constraints: 36904
2172.11/2177.92 c #Conflicts: 1480000 | #Constraints: 37904
2317.72/2323.97 c #Conflicts: 1481000 | #Constraints: 38904
2317.72/2323.97 c #Conflicts: 1482000 | #Constraints: 39904
2317.72/2323.97 c #Conflicts: 1483000 | #Constraints: 40904
2317.72/2323.97 c #Conflicts: 1484000 | #Constraints: 41904
2317.72/2323.97 c #Conflicts: 1485000 | #Constraints: 42904
2317.72/2323.97 c #Conflicts: 1486000 | #Constraints: 43904
2317.72/2323.97 c #Conflicts: 1487000 | #Constraints: 44904
2317.72/2323.97 c #Conflicts: 1488000 | #Constraints: 45904
2317.72/2323.97 c #Conflicts: 1489000 | #Constraints: 46904
2317.72/2323.97 c #Conflicts: 1490000 | #Constraints: 47904
2317.72/2323.97 c #Conflicts: 1491000 | #Constraints: 48904
2317.72/2323.97 c INPROCESSING
2317.72/2323.97 c GARBAGE COLLECT
2317.72/2323.97 c #Conflicts: 1492000 | #Constraints: 25708
2317.72/2323.97 c #Conflicts: 1493000 | #Constraints: 26708
2317.72/2323.97 c #Conflicts: 1494000 | #Constraints: 27708
2317.72/2323.97 c #Conflicts: 1495000 | #Constraints: 28708
2317.72/2323.97 c #Conflicts: 1496000 | #Constraints: 29708
2317.72/2323.97 c #Conflicts: 1497000 | #Constraints: 30708
2317.72/2323.97 c #Conflicts: 1498000 | #Constraints: 31708
2317.72/2323.97 c #Conflicts: 1499000 | #Constraints: 32708
2317.72/2323.97 c #Conflicts: 1500000 | #Constraints: 33708
2317.72/2323.97 c #Conflicts: 1501000 | #Constraints: 34708
2317.72/2323.97 c #Conflicts: 1502000 | #Constraints: 35708
2317.72/2323.97 c #Conflicts: 1503000 | #Constraints: 36708
2317.72/2323.97 c #Conflicts: 1504000 | #Constraints: 37708
2317.72/2323.97 c #Conflicts: 1505000 | #Constraints: 38708
2317.72/2323.97 c #Conflicts: 1506000 | #Constraints: 39708
2317.72/2323.97 c #Conflicts: 1507000 | #Constraints: 40708
2317.72/2323.97 c #Conflicts: 1508000 | #Constraints: 41708
2317.72/2323.97 c #Conflicts: 1509000 | #Constraints: 42708
2317.72/2323.97 c #Conflicts: 1510000 | #Constraints: 43708
2317.72/2323.97 c #Conflicts: 1511000 | #Constraints: 44708
2317.72/2323.97 c #Conflicts: 1512000 | #Constraints: 45708
2317.72/2323.97 c #Conflicts: 1513000 | #Constraints: 46708
2317.72/2323.97 c #Conflicts: 1514000 | #Constraints: 47708
2317.72/2323.97 c #Conflicts: 1515000 | #Constraints: 48708
2317.72/2323.97 c #Conflicts: 1516000 | #Constraints: 49708
2317.72/2323.97 c INPROCESSING
2317.72/2323.97 c GARBAGE COLLECT
2317.72/2323.97 c #Conflicts: 1517000 | #Constraints: 26310
2317.72/2323.97 c #Conflicts: 1518000 | #Constraints: 27310
2317.72/2323.97 c #Conflicts: 1519000 | #Constraints: 28310
2317.72/2323.97 c #Conflicts: 1520000 | #Constraints: 29310
2317.72/2323.97 c #Conflicts: 1521000 | #Constraints: 30310
2317.72/2323.97 c #Conflicts: 1522000 | #Constraints: 31310
2317.72/2323.97 c #Conflicts: 1523000 | #Constraints: 32310
2317.72/2323.97 c #Conflicts: 1524000 | #Constraints: 33310
2317.72/2323.97 c #Conflicts: 1525000 | #Constraints: 34310
2317.72/2323.97 c #Conflicts: 1526000 | #Constraints: 35310
2317.72/2323.97 c #Conflicts: 1527000 | #Constraints: 36310
2317.72/2323.97 c #Conflicts: 1528000 | #Constraints: 37310
2317.72/2323.97 c #Conflicts: 1529000 | #Constraints: 38310
2317.72/2323.97 c #Conflicts: 1530000 | #Constraints: 39310
2317.72/2323.97 c #Conflicts: 1531000 | #Constraints: 40310
2317.72/2323.97 c #Conflicts: 1532000 | #Constraints: 41310
2317.72/2323.97 c #Conflicts: 1533000 | #Constraints: 42310
2317.72/2323.97 c #Conflicts: 1534000 | #Constraints: 43310
2317.72/2323.97 c #Conflicts: 1535000 | #Constraints: 44310
2317.72/2323.97 c #Conflicts: 1536000 | #Constraints: 45310
2317.72/2323.97 c #Conflicts: 1537000 | #Constraints: 46310
2317.72/2323.97 c #Conflicts: 1538000 | #Constraints: 47310
2317.72/2323.97 c #Conflicts: 1539000 | #Constraints: 48310
2317.72/2323.97 c #Conflicts: 1540000 | #Constraints: 49310
2317.72/2323.97 c #Conflicts: 1541000 | #Constraints: 50310
2317.72/2323.97 c INPROCESSING
2317.72/2323.97 c GARBAGE COLLECT
2317.72/2323.97 c #Conflicts: 1542000 | #Constraints: 26711
2317.72/2323.97 c #Conflicts: 1543000 | #Constraints: 27711
2317.72/2323.97 c #Conflicts: 1544000 | #Constraints: 28711
2317.72/2323.97 c #Conflicts: 1545000 | #Constraints: 29711
2317.72/2323.97 c #Conflicts: 1546000 | #Constraints: 30711
2317.72/2323.97 c #Conflicts: 1547000 | #Constraints: 31711
2317.72/2323.97 c #Conflicts: 1548000 | #Constraints: 32711
2317.72/2323.97 c #Conflicts: 1549000 | #Constraints: 33711
2317.72/2323.97 c #Conflicts: 1550000 | #Constraints: 34711
2317.72/2323.97 c #Conflicts: 1551000 | #Constraints: 35711
2317.72/2323.97 c #Conflicts: 1552000 | #Constraints: 36711
2317.72/2323.97 c #Conflicts: 1553000 | #Constraints: 37711
2317.72/2323.97 c #Conflicts: 1554000 | #Constraints: 38711
2317.72/2323.97 c #Conflicts: 1555000 | #Constraints: 39711
2317.72/2323.97 c #Conflicts: 1556000 | #Constraints: 40711
2317.72/2323.97 c #Conflicts: 1557000 | #Constraints: 41711
2456.85/2463.44 c #Conflicts: 1558000 | #Constraints: 42711
2456.85/2463.44 c #Conflicts: 1559000 | #Constraints: 43711
2456.85/2463.44 c #Conflicts: 1560000 | #Constraints: 44711
2456.85/2463.44 c #Conflicts: 1561000 | #Constraints: 45711
2456.85/2463.44 c #Conflicts: 1562000 | #Constraints: 46711
2456.85/2463.44 c #Conflicts: 1563000 | #Constraints: 47711
2456.85/2463.44 c #Conflicts: 1564000 | #Constraints: 48711
2456.85/2463.44 c #Conflicts: 1565000 | #Constraints: 49711
2456.85/2463.44 c #Conflicts: 1566000 | #Constraints: 50711
2456.85/2463.44 c INPROCESSING
2456.85/2463.44 c GARBAGE COLLECT
2456.85/2463.44 c #Conflicts: 1567000 | #Constraints: 26910
2456.85/2463.44 c #Conflicts: 1568000 | #Constraints: 27910
2456.85/2463.44 c #Conflicts: 1569000 | #Constraints: 28910
2456.85/2463.44 c #Conflicts: 1570000 | #Constraints: 29910
2456.85/2463.44 c #Conflicts: 1571000 | #Constraints: 30910
2456.85/2463.44 c #Conflicts: 1572000 | #Constraints: 31910
2456.85/2463.44 c #Conflicts: 1573000 | #Constraints: 32910
2456.85/2463.44 c #Conflicts: 1574000 | #Constraints: 33910
2456.85/2463.44 c #Conflicts: 1575000 | #Constraints: 34910
2456.85/2463.44 c #Conflicts: 1576000 | #Constraints: 35910
2456.85/2463.44 c #Conflicts: 1577000 | #Constraints: 36910
2456.85/2463.44 c #Conflicts: 1578000 | #Constraints: 37910
2456.85/2463.44 c #Conflicts: 1579000 | #Constraints: 38910
2456.85/2463.44 c #Conflicts: 1580000 | #Constraints: 39910
2456.85/2463.44 c #Conflicts: 1581000 | #Constraints: 40910
2456.85/2463.44 c #Conflicts: 1582000 | #Constraints: 41910
2456.85/2463.44 c #Conflicts: 1583000 | #Constraints: 42910
2456.85/2463.44 c #Conflicts: 1584000 | #Constraints: 43910
2456.85/2463.44 c #Conflicts: 1585000 | #Constraints: 44910
2456.85/2463.44 c #Conflicts: 1586000 | #Constraints: 45910
2456.85/2463.44 c #Conflicts: 1587000 | #Constraints: 46910
2456.85/2463.44 c #Conflicts: 1588000 | #Constraints: 47910
2456.85/2463.44 c #Conflicts: 1589000 | #Constraints: 48910
2456.85/2463.44 c #Conflicts: 1590000 | #Constraints: 49910
2456.85/2463.44 c #Conflicts: 1591000 | #Constraints: 50910
2456.85/2463.44 c INPROCESSING
2456.85/2463.44 c GARBAGE COLLECT
2456.85/2463.44 c #Conflicts: 1592000 | #Constraints: 26908
2456.85/2463.44 c #Conflicts: 1593000 | #Constraints: 27908
2456.85/2463.44 c #Conflicts: 1594000 | #Constraints: 28908
2456.85/2463.44 c #Conflicts: 1595000 | #Constraints: 29908
2456.85/2463.44 c #Conflicts: 1596000 | #Constraints: 30908
2456.85/2463.44 c #Conflicts: 1597000 | #Constraints: 31908
2456.85/2463.44 c #Conflicts: 1598000 | #Constraints: 32908
2456.85/2463.44 c #Conflicts: 1599000 | #Constraints: 33908
2456.85/2463.44 c #Conflicts: 1600000 | #Constraints: 34908
2456.85/2463.44 c #Conflicts: 1601000 | #Constraints: 35908
2456.85/2463.44 c #Conflicts: 1602000 | #Constraints: 36908
2456.85/2463.44 c #Conflicts: 1603000 | #Constraints: 37908
2456.85/2463.44 c #Conflicts: 1604000 | #Constraints: 38908
2456.85/2463.44 c #Conflicts: 1605000 | #Constraints: 39908
2456.85/2463.44 c #Conflicts: 1606000 | #Constraints: 40908
2456.85/2463.44 c #Conflicts: 1607000 | #Constraints: 41908
2456.85/2463.44 c #Conflicts: 1608000 | #Constraints: 42908
2456.85/2463.44 c #Conflicts: 1609000 | #Constraints: 43908
2456.85/2463.44 c #Conflicts: 1610000 | #Constraints: 44908
2456.85/2463.44 c #Conflicts: 1611000 | #Constraints: 45908
2456.85/2463.44 c #Conflicts: 1612000 | #Constraints: 46908
2456.85/2463.44 c #Conflicts: 1613000 | #Constraints: 47908
2456.85/2463.44 c #Conflicts: 1614000 | #Constraints: 48908
2456.85/2463.44 c #Conflicts: 1615000 | #Constraints: 49908
2456.85/2463.44 c #Conflicts: 1616000 | #Constraints: 50908
2456.85/2463.44 c INPROCESSING
2456.85/2463.44 c GARBAGE COLLECT
2456.85/2463.44 c #Conflicts: 1617000 | #Constraints: 26718
2456.85/2463.44 c #Conflicts: 1618000 | #Constraints: 27718
2456.85/2463.44 c #Conflicts: 1619000 | #Constraints: 28718
2456.85/2463.44 c #Conflicts: 1620000 | #Constraints: 29718
2456.85/2463.44 c #Conflicts: 1621000 | #Constraints: 30718
2456.85/2463.44 c #Conflicts: 1622000 | #Constraints: 31718
2456.85/2463.44 c #Conflicts: 1623000 | #Constraints: 32718
2456.85/2463.44 c #Conflicts: 1624000 | #Constraints: 33718
2456.85/2463.44 c #Conflicts: 1625000 | #Constraints: 34718
2456.85/2463.44 c #Conflicts: 1626000 | #Constraints: 35718
2456.85/2463.44 c #Conflicts: 1627000 | #Constraints: 36718
2456.85/2463.44 c #Conflicts: 1628000 | #Constraints: 37718
2456.85/2463.44 c #Conflicts: 1629000 | #Constraints: 38718
2456.85/2463.44 c #Conflicts: 1630000 | #Constraints: 39718
2456.85/2463.44 c #Conflicts: 1631000 | #Constraints: 40718
2456.85/2463.44 c #Conflicts: 1632000 | #Constraints: 41718
2456.85/2463.44 c #Conflicts: 1633000 | #Constraints: 42718
2456.85/2463.44 c #Conflicts: 1634000 | #Constraints: 43718
2610.44/2617.42 c #Conflicts: 1635000 | #Constraints: 44718
2610.44/2617.42 c #Conflicts: 1636000 | #Constraints: 45718
2610.44/2617.42 c #Conflicts: 1637000 | #Constraints: 46718
2610.44/2617.42 c #Conflicts: 1638000 | #Constraints: 47718
2610.44/2617.42 c #Conflicts: 1639000 | #Constraints: 48718
2610.44/2617.42 c #Conflicts: 1640000 | #Constraints: 49718
2610.44/2617.42 c #Conflicts: 1641000 | #Constraints: 50718
2610.44/2617.42 c #Conflicts: 1642000 | #Constraints: 51718
2610.44/2617.42 c INPROCESSING
2610.44/2617.42 c GARBAGE COLLECT
2610.44/2617.42 c #Conflicts: 1643000 | #Constraints: 27312
2610.44/2617.42 c #Conflicts: 1644000 | #Constraints: 28312
2610.44/2617.42 c #Conflicts: 1645000 | #Constraints: 29312
2610.44/2617.42 c #Conflicts: 1646000 | #Constraints: 30312
2610.44/2617.42 c #Conflicts: 1647000 | #Constraints: 31312
2610.44/2617.42 c #Conflicts: 1648000 | #Constraints: 32312
2610.44/2617.42 c #Conflicts: 1649000 | #Constraints: 33312
2610.44/2617.42 c #Conflicts: 1650000 | #Constraints: 34312
2610.44/2617.42 c #Conflicts: 1651000 | #Constraints: 35312
2610.44/2617.42 c #Conflicts: 1652000 | #Constraints: 36312
2610.44/2617.42 c #Conflicts: 1653000 | #Constraints: 37312
2610.44/2617.42 c #Conflicts: 1654000 | #Constraints: 38312
2610.44/2617.42 c #Conflicts: 1655000 | #Constraints: 39312
2610.44/2617.42 c #Conflicts: 1656000 | #Constraints: 40312
2610.44/2617.42 c #Conflicts: 1657000 | #Constraints: 41312
2610.44/2617.42 c #Conflicts: 1658000 | #Constraints: 42312
2610.44/2617.42 c #Conflicts: 1659000 | #Constraints: 43312
2610.44/2617.42 c #Conflicts: 1660000 | #Constraints: 44312
2610.44/2617.42 c #Conflicts: 1661000 | #Constraints: 45312
2610.44/2617.42 c #Conflicts: 1662000 | #Constraints: 46312
2610.44/2617.42 c #Conflicts: 1663000 | #Constraints: 47312
2610.44/2617.42 c #Conflicts: 1664000 | #Constraints: 48312
2610.44/2617.42 c #Conflicts: 1665000 | #Constraints: 49312
2610.44/2617.42 c #Conflicts: 1666000 | #Constraints: 50312
2610.44/2617.42 c #Conflicts: 1667000 | #Constraints: 51312
2610.44/2617.42 c #Conflicts: 1668000 | #Constraints: 52312
2610.44/2617.42 c INPROCESSING
2610.44/2617.42 c GARBAGE COLLECT
2610.44/2617.42 c #Conflicts: 1669000 | #Constraints: 27710
2610.44/2617.42 c #Conflicts: 1670000 | #Constraints: 28710
2610.44/2617.42 c #Conflicts: 1671000 | #Constraints: 29710
2610.44/2617.42 c #Conflicts: 1672000 | #Constraints: 30710
2610.44/2617.42 c #Conflicts: 1673000 | #Constraints: 31710
2610.44/2617.42 c #Conflicts: 1674000 | #Constraints: 32710
2610.44/2617.42 c #Conflicts: 1675000 | #Constraints: 33710
2610.44/2617.42 c #Conflicts: 1676000 | #Constraints: 34710
2610.44/2617.42 c #Conflicts: 1677000 | #Constraints: 35710
2610.44/2617.42 c #Conflicts: 1678000 | #Constraints: 36710
2610.44/2617.42 c #Conflicts: 1679000 | #Constraints: 37710
2610.44/2617.42 c #Conflicts: 1680000 | #Constraints: 38710
2610.44/2617.42 c #Conflicts: 1681000 | #Constraints: 39710
2610.44/2617.42 c #Conflicts: 1682000 | #Constraints: 40710
2610.44/2617.42 c #Conflicts: 1683000 | #Constraints: 41710
2610.44/2617.42 c #Conflicts: 1684000 | #Constraints: 42710
2610.44/2617.42 c #Conflicts: 1685000 | #Constraints: 43710
2610.44/2617.42 c #Conflicts: 1686000 | #Constraints: 44710
2610.44/2617.42 c #Conflicts: 1687000 | #Constraints: 45710
2610.44/2617.42 c #Conflicts: 1688000 | #Constraints: 46710
2610.44/2617.42 c #Conflicts: 1689000 | #Constraints: 47710
2610.44/2617.42 c #Conflicts: 1690000 | #Constraints: 48710
2610.44/2617.42 c #Conflicts: 1691000 | #Constraints: 49710
2610.44/2617.42 c #Conflicts: 1692000 | #Constraints: 50710
2610.44/2617.42 c #Conflicts: 1693000 | #Constraints: 51710
2610.44/2617.42 c #Conflicts: 1694000 | #Constraints: 52710
2610.44/2617.42 c INPROCESSING
2610.44/2617.42 c GARBAGE COLLECT
2610.44/2617.42 c #Conflicts: 1695000 | #Constraints: 27903
2610.44/2617.42 c #Conflicts: 1696000 | #Constraints: 28903
2610.44/2617.42 c #Conflicts: 1697000 | #Constraints: 29903
2610.44/2617.42 c #Conflicts: 1698000 | #Constraints: 30903
2610.44/2617.42 c #Conflicts: 1699000 | #Constraints: 31903
2610.44/2617.42 c #Conflicts: 1700000 | #Constraints: 32903
2610.44/2617.42 c #Conflicts: 1701000 | #Constraints: 33903
2610.44/2617.42 c #Conflicts: 1702000 | #Constraints: 34903
2610.44/2617.42 c #Conflicts: 1703000 | #Constraints: 35903
2610.44/2617.42 c #Conflicts: 1704000 | #Constraints: 36903
2610.44/2617.42 c #Conflicts: 1705000 | #Constraints: 37903
2610.44/2617.42 c #Conflicts: 1706000 | #Constraints: 38903
2610.44/2617.42 c #Conflicts: 1707000 | #Constraints: 39903
2610.44/2617.42 c #Conflicts: 1708000 | #Constraints: 40903
2610.44/2617.42 c #Conflicts: 1709000 | #Constraints: 41903
2610.44/2617.42 c #Conflicts: 1710000 | #Constraints: 42903
2610.44/2617.42 c #Conflicts: 1711000 | #Constraints: 43903
2767.82/2775.29 c #Conflicts: 1712000 | #Constraints: 44903
2767.82/2775.29 c #Conflicts: 1713000 | #Constraints: 45903
2767.82/2775.29 c #Conflicts: 1714000 | #Constraints: 46903
2767.82/2775.29 c #Conflicts: 1715000 | #Constraints: 47903
2767.82/2775.29 c #Conflicts: 1716000 | #Constraints: 48903
2767.82/2775.29 c #Conflicts: 1717000 | #Constraints: 49903
2767.82/2775.29 c #Conflicts: 1718000 | #Constraints: 50903
2767.82/2775.29 c #Conflicts: 1719000 | #Constraints: 51903
2767.82/2775.29 c #Conflicts: 1720000 | #Constraints: 52903
2767.82/2775.29 c INPROCESSING
2767.82/2775.29 c GARBAGE COLLECT
2767.82/2775.29 c #Conflicts: 1721000 | #Constraints: 27900
2767.82/2775.29 c #Conflicts: 1722000 | #Constraints: 28900
2767.82/2775.29 c #Conflicts: 1723000 | #Constraints: 29900
2767.82/2775.29 c #Conflicts: 1724000 | #Constraints: 30900
2767.82/2775.29 c #Conflicts: 1725000 | #Constraints: 31900
2767.82/2775.29 c #Conflicts: 1726000 | #Constraints: 32900
2767.82/2775.29 c #Conflicts: 1727000 | #Constraints: 33900
2767.82/2775.29 c #Conflicts: 1728000 | #Constraints: 34900
2767.82/2775.29 c #Conflicts: 1729000 | #Constraints: 35900
2767.82/2775.29 c #Conflicts: 1730000 | #Constraints: 36900
2767.82/2775.29 c #Conflicts: 1731000 | #Constraints: 37900
2767.82/2775.29 c #Conflicts: 1732000 | #Constraints: 38900
2767.82/2775.29 c #Conflicts: 1733000 | #Constraints: 39900
2767.82/2775.29 c #Conflicts: 1734000 | #Constraints: 40900
2767.82/2775.29 c #Conflicts: 1735000 | #Constraints: 41900
2767.82/2775.29 c #Conflicts: 1736000 | #Constraints: 42900
2767.82/2775.29 c #Conflicts: 1737000 | #Constraints: 43900
2767.82/2775.29 c #Conflicts: 1738000 | #Constraints: 44900
2767.82/2775.29 c #Conflicts: 1739000 | #Constraints: 45900
2767.82/2775.29 c #Conflicts: 1740000 | #Constraints: 46900
2767.82/2775.29 c #Conflicts: 1741000 | #Constraints: 47900
2767.82/2775.29 c #Conflicts: 1742000 | #Constraints: 48900
2767.82/2775.29 c #Conflicts: 1743000 | #Constraints: 49900
2767.82/2775.29 c #Conflicts: 1744000 | #Constraints: 50900
2767.82/2775.29 c #Conflicts: 1745000 | #Constraints: 51900
2767.82/2775.29 c #Conflicts: 1746000 | #Constraints: 52900
2767.82/2775.29 c INPROCESSING
2767.82/2775.29 c GARBAGE COLLECT
2767.82/2775.29 c #Conflicts: 1747000 | #Constraints: 27711
2767.82/2775.29 c #Conflicts: 1748000 | #Constraints: 28711
2767.82/2775.29 c #Conflicts: 1749000 | #Constraints: 29711
2767.82/2775.29 c #Conflicts: 1750000 | #Constraints: 30711
2767.82/2775.29 c #Conflicts: 1751000 | #Constraints: 31711
2767.82/2775.29 c #Conflicts: 1752000 | #Constraints: 32711
2767.82/2775.29 c #Conflicts: 1753000 | #Constraints: 33711
2767.82/2775.29 c #Conflicts: 1754000 | #Constraints: 34711
2767.82/2775.29 c #Conflicts: 1755000 | #Constraints: 35711
2767.82/2775.29 c #Conflicts: 1756000 | #Constraints: 36711
2767.82/2775.29 c #Conflicts: 1757000 | #Constraints: 37711
2767.82/2775.29 c #Conflicts: 1758000 | #Constraints: 38711
2767.82/2775.29 c #Conflicts: 1759000 | #Constraints: 39711
2767.82/2775.29 c #Conflicts: 1760000 | #Constraints: 40711
2767.82/2775.29 c #Conflicts: 1761000 | #Constraints: 41711
2767.82/2775.29 c #Conflicts: 1762000 | #Constraints: 42711
2767.82/2775.29 c #Conflicts: 1763000 | #Constraints: 43711
2767.82/2775.29 c #Conflicts: 1764000 | #Constraints: 44711
2767.82/2775.29 c #Conflicts: 1765000 | #Constraints: 45711
2767.82/2775.29 c #Conflicts: 1766000 | #Constraints: 46711
2767.82/2775.29 c #Conflicts: 1767000 | #Constraints: 47711
2767.82/2775.29 c #Conflicts: 1768000 | #Constraints: 48711
2767.82/2775.29 c #Conflicts: 1769000 | #Constraints: 49711
2767.82/2775.29 c #Conflicts: 1770000 | #Constraints: 50711
2767.82/2775.29 c #Conflicts: 1771000 | #Constraints: 51711
2767.82/2775.29 c #Conflicts: 1772000 | #Constraints: 52711
2767.82/2775.29 c #Conflicts: 1773000 | #Constraints: 53711
2767.82/2775.29 c INPROCESSING
2767.82/2775.29 c GARBAGE COLLECT
2767.82/2775.29 c #Conflicts: 1774000 | #Constraints: 28304
2767.82/2775.29 c #Conflicts: 1775000 | #Constraints: 29304
2767.82/2775.29 c #Conflicts: 1776000 | #Constraints: 30304
2767.82/2775.29 c #Conflicts: 1777000 | #Constraints: 31304
2767.82/2775.29 c #Conflicts: 1778000 | #Constraints: 32304
2767.82/2775.29 c #Conflicts: 1779000 | #Constraints: 33304
2767.82/2775.29 c #Conflicts: 1780000 | #Constraints: 34304
2767.82/2775.29 c #Conflicts: 1781000 | #Constraints: 35304
2767.82/2775.29 c #Conflicts: 1782000 | #Constraints: 36304
2767.82/2775.29 c #Conflicts: 1783000 | #Constraints: 37304
2767.82/2775.29 c #Conflicts: 1784000 | #Constraints: 38304
2767.82/2775.29 c #Conflicts: 1785000 | #Constraints: 39304
2767.82/2775.29 c #Conflicts: 1786000 | #Constraints: 40304
2767.82/2775.29 c #Conflicts: 1787000 | #Constraints: 41304
2767.82/2775.29 c #Conflicts: 1788000 | #Constraints: 42304
2939.37/2947.22 c #Conflicts: 1789000 | #Constraints: 43304
2939.37/2947.22 c #Conflicts: 1790000 | #Constraints: 44304
2939.37/2947.22 c #Conflicts: 1791000 | #Constraints: 45304
2939.37/2947.22 c #Conflicts: 1792000 | #Constraints: 46304
2939.37/2947.22 c #Conflicts: 1793000 | #Constraints: 47304
2939.37/2947.22 c #Conflicts: 1794000 | #Constraints: 48304
2939.37/2947.22 c #Conflicts: 1795000 | #Constraints: 49304
2939.37/2947.22 c #Conflicts: 1796000 | #Constraints: 50304
2939.37/2947.22 c #Conflicts: 1797000 | #Constraints: 51304
2939.37/2947.22 c #Conflicts: 1798000 | #Constraints: 52304
2939.37/2947.22 c #Conflicts: 1799000 | #Constraints: 53304
2939.37/2947.22 c #Conflicts: 1800000 | #Constraints: 54304
2939.37/2947.22 c INPROCESSING
2939.37/2947.22 c GARBAGE COLLECT
2939.37/2947.22 c #Conflicts: 1801000 | #Constraints: 28707
2939.37/2947.22 c #Conflicts: 1802000 | #Constraints: 29707
2939.37/2947.22 c #Conflicts: 1803000 | #Constraints: 30707
2939.37/2947.22 c #Conflicts: 1804000 | #Constraints: 31707
2939.37/2947.22 c #Conflicts: 1805000 | #Constraints: 32707
2939.37/2947.22 c #Conflicts: 1806000 | #Constraints: 33707
2939.37/2947.22 c #Conflicts: 1807000 | #Constraints: 34707
2939.37/2947.22 c #Conflicts: 1808000 | #Constraints: 35707
2939.37/2947.22 c #Conflicts: 1809000 | #Constraints: 36707
2939.37/2947.22 c #Conflicts: 1810000 | #Constraints: 37707
2939.37/2947.22 c #Conflicts: 1811000 | #Constraints: 38707
2939.37/2947.22 c #Conflicts: 1812000 | #Constraints: 39707
2939.37/2947.22 c #Conflicts: 1813000 | #Constraints: 40707
2939.37/2947.22 c #Conflicts: 1814000 | #Constraints: 41707
2939.37/2947.22 c #Conflicts: 1815000 | #Constraints: 42707
2939.37/2947.22 c #Conflicts: 1816000 | #Constraints: 43707
2939.37/2947.22 c #Conflicts: 1817000 | #Constraints: 44707
2939.37/2947.22 c #Conflicts: 1818000 | #Constraints: 45707
2939.37/2947.22 c #Conflicts: 1819000 | #Constraints: 46707
2939.37/2947.22 c #Conflicts: 1820000 | #Constraints: 47707
2939.37/2947.22 c #Conflicts: 1821000 | #Constraints: 48707
2939.37/2947.22 c #Conflicts: 1822000 | #Constraints: 49707
2939.37/2947.22 c #Conflicts: 1823000 | #Constraints: 50707
2939.37/2947.22 c #Conflicts: 1824000 | #Constraints: 51707
2939.37/2947.22 c #Conflicts: 1825000 | #Constraints: 52707
2939.37/2947.22 c #Conflicts: 1826000 | #Constraints: 53707
2939.37/2947.22 c #Conflicts: 1827000 | #Constraints: 54707
2939.37/2947.22 c INPROCESSING
2939.37/2947.22 c GARBAGE COLLECT
2939.37/2947.22 c #Conflicts: 1828000 | #Constraints: 28911
2939.37/2947.22 c #Conflicts: 1829000 | #Constraints: 29911
2939.37/2947.22 c #Conflicts: 1830000 | #Constraints: 30911
2939.37/2947.22 c #Conflicts: 1831000 | #Constraints: 31911
2939.37/2947.22 c #Conflicts: 1832000 | #Constraints: 32911
2939.37/2947.22 c #Conflicts: 1833000 | #Constraints: 33911
2939.37/2947.22 c #Conflicts: 1834000 | #Constraints: 34911
2939.37/2947.22 c #Conflicts: 1835000 | #Constraints: 35911
2939.37/2947.22 c #Conflicts: 1836000 | #Constraints: 36911
2939.37/2947.22 c #Conflicts: 1837000 | #Constraints: 37911
2939.37/2947.22 c #Conflicts: 1838000 | #Constraints: 38911
2939.37/2947.22 c #Conflicts: 1839000 | #Constraints: 39911
2939.37/2947.22 c #Conflicts: 1840000 | #Constraints: 40911
2939.37/2947.22 c #Conflicts: 1841000 | #Constraints: 41911
2939.37/2947.22 c #Conflicts: 1842000 | #Constraints: 42911
2939.37/2947.22 c #Conflicts: 1843000 | #Constraints: 43911
2939.37/2947.22 c #Conflicts: 1844000 | #Constraints: 44911
2939.37/2947.22 c #Conflicts: 1845000 | #Constraints: 45911
2939.37/2947.22 c #Conflicts: 1846000 | #Constraints: 46911
2939.37/2947.22 c #Conflicts: 1847000 | #Constraints: 47911
2939.37/2947.22 c #Conflicts: 1848000 | #Constraints: 48911
2939.37/2947.22 c #Conflicts: 1849000 | #Constraints: 49911
2939.37/2947.22 c #Conflicts: 1850000 | #Constraints: 50911
2939.37/2947.22 c #Conflicts: 1851000 | #Constraints: 51911
2939.37/2947.22 c #Conflicts: 1852000 | #Constraints: 52911
2939.37/2947.22 c #Conflicts: 1853000 | #Constraints: 53911
2939.37/2947.22 c #Conflicts: 1854000 | #Constraints: 54911
2939.37/2947.22 c INPROCESSING
2939.37/2947.22 c GARBAGE COLLECT
2939.37/2947.22 c #Conflicts: 1855000 | #Constraints: 28907
2939.37/2947.22 c #Conflicts: 1856000 | #Constraints: 29907
2939.37/2947.22 c #Conflicts: 1857000 | #Constraints: 30907
2939.37/2947.22 c #Conflicts: 1858000 | #Constraints: 31907
2939.37/2947.22 c #Conflicts: 1859000 | #Constraints: 32907
2939.37/2947.22 c #Conflicts: 1860000 | #Constraints: 33907
2939.37/2947.22 c #Conflicts: 1861000 | #Constraints: 34907
2939.37/2947.22 c #Conflicts: 1862000 | #Constraints: 35907
2939.37/2947.22 c #Conflicts: 1863000 | #Constraints: 36907
2939.37/2947.22 c #Conflicts: 1864000 | #Constraints: 37907
2939.37/2947.22 c #Conflicts: 1865000 | #Constraints: 38907
3129.17/3137.55 c #Conflicts: 1866000 | #Constraints: 39907
3129.17/3137.55 c #Conflicts: 1867000 | #Constraints: 40907
3129.17/3137.55 c #Conflicts: 1868000 | #Constraints: 41907
3129.17/3137.55 c #Conflicts: 1869000 | #Constraints: 42907
3129.17/3137.55 c #Conflicts: 1870000 | #Constraints: 43907
3129.17/3137.55 c #Conflicts: 1871000 | #Constraints: 44907
3129.17/3137.55 c #Conflicts: 1872000 | #Constraints: 45907
3129.17/3137.55 c #Conflicts: 1873000 | #Constraints: 46907
3129.17/3137.55 c #Conflicts: 1874000 | #Constraints: 47907
3129.17/3137.55 c #Conflicts: 1875000 | #Constraints: 48907
3129.17/3137.55 c #Conflicts: 1876000 | #Constraints: 49907
3129.17/3137.55 c #Conflicts: 1877000 | #Constraints: 50907
3129.17/3137.55 c #Conflicts: 1878000 | #Constraints: 51907
3129.17/3137.55 c #Conflicts: 1879000 | #Constraints: 52907
3129.17/3137.55 c #Conflicts: 1880000 | #Constraints: 53907
3129.17/3137.55 c #Conflicts: 1881000 | #Constraints: 54907
3129.17/3137.55 c INPROCESSING
3129.17/3137.55 c GARBAGE COLLECT
3129.17/3137.55 c #Conflicts: 1882000 | #Constraints: 28704
3129.17/3137.55 c #Conflicts: 1883000 | #Constraints: 29704
3129.17/3137.55 c #Conflicts: 1884000 | #Constraints: 30704
3129.17/3137.55 c #Conflicts: 1885000 | #Constraints: 31704
3129.17/3137.55 c #Conflicts: 1886000 | #Constraints: 32704
3129.17/3137.55 c #Conflicts: 1887000 | #Constraints: 33704
3129.17/3137.55 c #Conflicts: 1888000 | #Constraints: 34704
3129.17/3137.55 c #Conflicts: 1889000 | #Constraints: 35704
3129.17/3137.55 c #Conflicts: 1890000 | #Constraints: 36704
3129.17/3137.55 c #Conflicts: 1891000 | #Constraints: 37704
3129.17/3137.55 c #Conflicts: 1892000 | #Constraints: 38704
3129.17/3137.55 c #Conflicts: 1893000 | #Constraints: 39704
3129.17/3137.55 c #Conflicts: 1894000 | #Constraints: 40704
3129.17/3137.55 c #Conflicts: 1895000 | #Constraints: 41704
3129.17/3137.55 c #Conflicts: 1896000 | #Constraints: 42704
3129.17/3137.55 c #Conflicts: 1897000 | #Constraints: 43704
3129.17/3137.55 c #Conflicts: 1898000 | #Constraints: 44704
3129.17/3137.55 c #Conflicts: 1899000 | #Constraints: 45704
3129.17/3137.55 c #Conflicts: 1900000 | #Constraints: 46704
3129.17/3137.55 c #Conflicts: 1901000 | #Constraints: 47704
3129.17/3137.55 c #Conflicts: 1902000 | #Constraints: 48704
3129.17/3137.55 c #Conflicts: 1903000 | #Constraints: 49704
3129.17/3137.55 c #Conflicts: 1904000 | #Constraints: 50704
3129.17/3137.55 c #Conflicts: 1905000 | #Constraints: 51704
3129.17/3137.55 c #Conflicts: 1906000 | #Constraints: 52704
3129.17/3137.55 c #Conflicts: 1907000 | #Constraints: 53704
3129.17/3137.55 c #Conflicts: 1908000 | #Constraints: 54704
3129.17/3137.55 c #Conflicts: 1909000 | #Constraints: 55704
3129.17/3137.55 c INPROCESSING
3129.17/3137.55 c GARBAGE COLLECT
3129.17/3137.55 c #Conflicts: 1910000 | #Constraints: 29302
3129.17/3137.55 c #Conflicts: 1911000 | #Constraints: 30302
3129.17/3137.55 c #Conflicts: 1912000 | #Constraints: 31302
3129.17/3137.55 c #Conflicts: 1913000 | #Constraints: 32302
3129.17/3137.55 c #Conflicts: 1914000 | #Constraints: 33302
3129.17/3137.55 c #Conflicts: 1915000 | #Constraints: 34302
3129.17/3137.55 c #Conflicts: 1916000 | #Constraints: 35302
3129.17/3137.55 c #Conflicts: 1917000 | #Constraints: 36302
3129.17/3137.55 c #Conflicts: 1918000 | #Constraints: 37302
3129.17/3137.55 c #Conflicts: 1919000 | #Constraints: 38302
3129.17/3137.55 c #Conflicts: 1920000 | #Constraints: 39302
3129.17/3137.55 c #Conflicts: 1921000 | #Constraints: 40302
3129.17/3137.55 c #Conflicts: 1922000 | #Constraints: 41302
3129.17/3137.55 c #Conflicts: 1923000 | #Constraints: 42302
3129.17/3137.55 c #Conflicts: 1924000 | #Constraints: 43302
3129.17/3137.55 c #Conflicts: 1925000 | #Constraints: 44302
3129.17/3137.55 c #Conflicts: 1926000 | #Constraints: 45302
3129.17/3137.55 c #Conflicts: 1927000 | #Constraints: 46302
3129.17/3137.55 c #Conflicts: 1928000 | #Constraints: 47302
3129.17/3137.55 c #Conflicts: 1929000 | #Constraints: 48302
3129.17/3137.55 c #Conflicts: 1930000 | #Constraints: 49302
3129.17/3137.55 c #Conflicts: 1931000 | #Constraints: 50302
3129.17/3137.55 c #Conflicts: 1932000 | #Constraints: 51302
3129.17/3137.55 c #Conflicts: 1933000 | #Constraints: 52302
3129.17/3137.55 c #Conflicts: 1934000 | #Constraints: 53302
3129.17/3137.55 c #Conflicts: 1935000 | #Constraints: 54302
3129.17/3137.55 c #Conflicts: 1936000 | #Constraints: 55302
3129.17/3137.55 c #Conflicts: 1937000 | #Constraints: 56302
3129.17/3137.55 c INPROCESSING
3129.17/3137.55 c GARBAGE COLLECT
3129.17/3137.55 c #Conflicts: 1938000 | #Constraints: 29709
3129.17/3137.55 c #Conflicts: 1939000 | #Constraints: 30709
3129.17/3137.55 c #Conflicts: 1940000 | #Constraints: 31709
3129.17/3137.55 c #Conflicts: 1941000 | #Constraints: 32709
3301.62/3310.46 c #Conflicts: 1942000 | #Constraints: 33709
3301.62/3310.46 c #Conflicts: 1943000 | #Constraints: 34709
3301.62/3310.46 c #Conflicts: 1944000 | #Constraints: 35709
3301.62/3310.46 c #Conflicts: 1945000 | #Constraints: 36709
3301.62/3310.46 c #Conflicts: 1946000 | #Constraints: 37709
3301.62/3310.46 c #Conflicts: 1947000 | #Constraints: 38709
3301.62/3310.46 c #Conflicts: 1948000 | #Constraints: 39709
3301.62/3310.46 c #Conflicts: 1949000 | #Constraints: 40709
3301.62/3310.46 c #Conflicts: 1950000 | #Constraints: 41709
3301.62/3310.46 c #Conflicts: 1951000 | #Constraints: 42709
3301.62/3310.46 c #Conflicts: 1952000 | #Constraints: 43709
3301.62/3310.46 c #Conflicts: 1953000 | #Constraints: 44709
3301.62/3310.46 c #Conflicts: 1954000 | #Constraints: 45709
3301.62/3310.46 c #Conflicts: 1955000 | #Constraints: 46709
3301.62/3310.46 c #Conflicts: 1956000 | #Constraints: 47709
3301.62/3310.46 c #Conflicts: 1957000 | #Constraints: 48709
3301.62/3310.46 c #Conflicts: 1958000 | #Constraints: 49709
3301.62/3310.46 c #Conflicts: 1959000 | #Constraints: 50709
3301.62/3310.46 c #Conflicts: 1960000 | #Constraints: 51709
3301.62/3310.46 c #Conflicts: 1961000 | #Constraints: 52709
3301.62/3310.46 c #Conflicts: 1962000 | #Constraints: 53709
3301.62/3310.46 c #Conflicts: 1963000 | #Constraints: 54709
3301.62/3310.46 c #Conflicts: 1964000 | #Constraints: 55709
3301.62/3310.46 c #Conflicts: 1965000 | #Constraints: 56709
3301.62/3310.46 c INPROCESSING
3301.62/3310.46 c GARBAGE COLLECT
3301.62/3310.46 c #Conflicts: 1966000 | #Constraints: 29910
3301.62/3310.46 c #Conflicts: 1967000 | #Constraints: 30910
3301.62/3310.46 c #Conflicts: 1968000 | #Constraints: 31910
3301.62/3310.46 c #Conflicts: 1969000 | #Constraints: 32910
3301.62/3310.46 c #Conflicts: 1970000 | #Constraints: 33910
3301.62/3310.46 c #Conflicts: 1971000 | #Constraints: 34910
3301.62/3310.46 c #Conflicts: 1972000 | #Constraints: 35910
3301.62/3310.46 c #Conflicts: 1973000 | #Constraints: 36910
3301.62/3310.46 c #Conflicts: 1974000 | #Constraints: 37910
3301.62/3310.46 c #Conflicts: 1975000 | #Constraints: 38910
3301.62/3310.46 c #Conflicts: 1976000 | #Constraints: 39910
3301.62/3310.46 c #Conflicts: 1977000 | #Constraints: 40910
3301.62/3310.46 c #Conflicts: 1978000 | #Constraints: 41910
3301.62/3310.46 c #Conflicts: 1979000 | #Constraints: 42910
3301.62/3310.46 c #Conflicts: 1980000 | #Constraints: 43910
3301.62/3310.46 c #Conflicts: 1981000 | #Constraints: 44910
3301.62/3310.46 c #Conflicts: 1982000 | #Constraints: 45910
3301.62/3310.46 c #Conflicts: 1983000 | #Constraints: 46910
3301.62/3310.46 c #Conflicts: 1984000 | #Constraints: 47910
3301.62/3310.46 c #Conflicts: 1985000 | #Constraints: 48910
3301.62/3310.46 c #Conflicts: 1986000 | #Constraints: 49910
3301.62/3310.46 c #Conflicts: 1987000 | #Constraints: 50910
3301.62/3310.46 c #Conflicts: 1988000 | #Constraints: 51910
3301.62/3310.46 c #Conflicts: 1989000 | #Constraints: 52910
3301.62/3310.46 c #Conflicts: 1990000 | #Constraints: 53910
3301.62/3310.46 c #Conflicts: 1991000 | #Constraints: 54910
3301.62/3310.46 c #Conflicts: 1992000 | #Constraints: 55910
3301.62/3310.46 c #Conflicts: 1993000 | #Constraints: 56910
3301.62/3310.46 c INPROCESSING
3301.62/3310.46 c GARBAGE COLLECT
3301.62/3310.46 c #Conflicts: 1994000 | #Constraints: 29910
3301.62/3310.46 c #Conflicts: 1995000 | #Constraints: 30910
3301.62/3310.46 c #Conflicts: 1996000 | #Constraints: 31910
3301.62/3310.46 c #Conflicts: 1997000 | #Constraints: 32910
3301.62/3310.46 c #Conflicts: 1998000 | #Constraints: 33910
3301.62/3310.46 c #Conflicts: 1999000 | #Constraints: 34910
3301.62/3310.46 c #Conflicts: 2000000 | #Constraints: 35910
3301.62/3310.46 c #Conflicts: 2001000 | #Constraints: 36910
3301.62/3310.46 c #Conflicts: 2002000 | #Constraints: 37910
3301.62/3310.46 c #Conflicts: 2003000 | #Constraints: 38910
3301.62/3310.46 c #Conflicts: 2004000 | #Constraints: 39910
3301.62/3310.46 c #Conflicts: 2005000 | #Constraints: 40910
3301.62/3310.46 c #Conflicts: 2006000 | #Constraints: 41910
3301.62/3310.46 c #Conflicts: 2007000 | #Constraints: 42910
3301.62/3310.46 c #Conflicts: 2008000 | #Constraints: 43910
3301.62/3310.46 c #Conflicts: 2009000 | #Constraints: 44910
3301.62/3310.46 c #Conflicts: 2010000 | #Constraints: 45910
3301.62/3310.46 c #Conflicts: 2011000 | #Constraints: 46910
3301.62/3310.46 c #Conflicts: 2012000 | #Constraints: 47910
3301.62/3310.46 c #Conflicts: 2013000 | #Constraints: 48910
3301.62/3310.46 c #Conflicts: 2014000 | #Constraints: 49910
3301.62/3310.46 c #Conflicts: 2015000 | #Constraints: 50910
3301.62/3310.46 c #Conflicts: 2016000 | #Constraints: 51910
3301.62/3310.46 c #Conflicts: 2017000 | #Constraints: 52910
3301.62/3310.46 c #Conflicts: 2018000 | #Constraints: 53910
3301.62/3310.46 c #Conflicts: 2019000 | #Constraints: 54910
3460.59/3469.89 c #Conflicts: 2020000 | #Constraints: 55910
3460.59/3469.89 c #Conflicts: 2021000 | #Constraints: 56910
3460.59/3469.89 c INPROCESSING
3460.59/3469.89 c GARBAGE COLLECT
3460.59/3469.89 c #Conflicts: 2022000 | #Constraints: 29706
3460.59/3469.89 c #Conflicts: 2023000 | #Constraints: 30706
3460.59/3469.89 c #Conflicts: 2024000 | #Constraints: 31706
3460.59/3469.89 c #Conflicts: 2025000 | #Constraints: 32706
3460.59/3469.89 c #Conflicts: 2026000 | #Constraints: 33706
3460.59/3469.89 c #Conflicts: 2027000 | #Constraints: 34706
3460.59/3469.89 c #Conflicts: 2028000 | #Constraints: 35706
3460.59/3469.89 c #Conflicts: 2029000 | #Constraints: 36706
3460.59/3469.89 c #Conflicts: 2030000 | #Constraints: 37706
3460.59/3469.89 c #Conflicts: 2031000 | #Constraints: 38706
3460.59/3469.89 c #Conflicts: 2032000 | #Constraints: 39706
3460.59/3469.89 c #Conflicts: 2033000 | #Constraints: 40706
3460.59/3469.89 c #Conflicts: 2034000 | #Constraints: 41706
3460.59/3469.89 c #Conflicts: 2035000 | #Constraints: 42706
3460.59/3469.89 c #Conflicts: 2036000 | #Constraints: 43706
3460.59/3469.89 c #Conflicts: 2037000 | #Constraints: 44706
3460.59/3469.89 c #Conflicts: 2038000 | #Constraints: 45706
3460.59/3469.89 c #Conflicts: 2039000 | #Constraints: 46706
3460.59/3469.89 c #Conflicts: 2040000 | #Constraints: 47706
3460.59/3469.89 c #Conflicts: 2041000 | #Constraints: 48706
3460.59/3469.89 c #Conflicts: 2042000 | #Constraints: 49706
3460.59/3469.89 c #Conflicts: 2043000 | #Constraints: 50706
3460.59/3469.89 c #Conflicts: 2044000 | #Constraints: 51706
3460.59/3469.89 c #Conflicts: 2045000 | #Constraints: 52706
3460.59/3469.89 c #Conflicts: 2046000 | #Constraints: 53706
3460.59/3469.89 c #Conflicts: 2047000 | #Constraints: 54706
3460.59/3469.89 c #Conflicts: 2048000 | #Constraints: 55706
3460.59/3469.89 c #Conflicts: 2049000 | #Constraints: 56706
3460.59/3469.89 c #Conflicts: 2050000 | #Constraints: 57706
3460.59/3469.89 c INPROCESSING
3460.59/3469.89 c GARBAGE COLLECT
3460.59/3469.89 c #Conflicts: 2051000 | #Constraints: 30308
3460.59/3469.89 c #Conflicts: 2052000 | #Constraints: 31308
3460.59/3469.89 c #Conflicts: 2053000 | #Constraints: 32308
3460.59/3469.89 c #Conflicts: 2054000 | #Constraints: 33308
3460.59/3469.89 c #Conflicts: 2055000 | #Constraints: 34308
3460.59/3469.89 c #Conflicts: 2056000 | #Constraints: 35308
3460.59/3469.89 c #Conflicts: 2057000 | #Constraints: 36308
3460.59/3469.89 c #Conflicts: 2058000 | #Constraints: 37308
3460.59/3469.89 c #Conflicts: 2059000 | #Constraints: 38308
3460.59/3469.89 c #Conflicts: 2060000 | #Constraints: 39308
3460.59/3469.89 c #Conflicts: 2061000 | #Constraints: 40308
3460.59/3469.89 c #Conflicts: 2062000 | #Constraints: 41308
3460.59/3469.89 c #Conflicts: 2063000 | #Constraints: 42308
3460.59/3469.89 c #Conflicts: 2064000 | #Constraints: 43308
3460.59/3469.89 c #Conflicts: 2065000 | #Constraints: 44308
3460.59/3469.89 c #Conflicts: 2066000 | #Constraints: 45308
3460.59/3469.89 c #Conflicts: 2067000 | #Constraints: 46308
3460.59/3469.89 c #Conflicts: 2068000 | #Constraints: 47308
3460.59/3469.89 c #Conflicts: 2069000 | #Constraints: 48308
3460.59/3469.89 c #Conflicts: 2070000 | #Constraints: 49308
3460.59/3469.89 c #Conflicts: 2071000 | #Constraints: 50308
3460.59/3469.89 c #Conflicts: 2072000 | #Constraints: 51308
3460.59/3469.89 c #Conflicts: 2073000 | #Constraints: 52308
3460.59/3469.89 c #Conflicts: 2074000 | #Constraints: 53308
3460.59/3469.89 c #Conflicts: 2075000 | #Constraints: 54308
3460.59/3469.89 c #Conflicts: 2076000 | #Constraints: 55308
3460.59/3469.89 c #Conflicts: 2077000 | #Constraints: 56308
3460.59/3469.89 c #Conflicts: 2078000 | #Constraints: 57308
3460.59/3469.89 c #Conflicts: 2079000 | #Constraints: 58308
3460.59/3469.89 c INPROCESSING
3460.59/3469.89 c GARBAGE COLLECT
3460.59/3469.89 c #Conflicts: 2080000 | #Constraints: 30710
3460.59/3469.89 c #Conflicts: 2081000 | #Constraints: 31710
3460.59/3469.89 c #Conflicts: 2082000 | #Constraints: 32710
3460.59/3469.89 c #Conflicts: 2083000 | #Constraints: 33710
3460.59/3469.89 c #Conflicts: 2084000 | #Constraints: 34710
3460.59/3469.89 c #Conflicts: 2085000 | #Constraints: 35710
3460.59/3469.89 c #Conflicts: 2086000 | #Constraints: 36710
3460.59/3469.89 c #Conflicts: 2087000 | #Constraints: 37710
3460.59/3469.89 c #Conflicts: 2088000 | #Constraints: 38710
3460.59/3469.89 c #Conflicts: 2089000 | #Constraints: 39710
3460.59/3469.89 c #Conflicts: 2090000 | #Constraints: 40710
3460.59/3469.89 c #Conflicts: 2091000 | #Constraints: 41710
3460.59/3469.89 c #Conflicts: 2092000 | #Constraints: 42710
3460.59/3469.89 c #Conflicts: 2093000 | #Constraints: 43710
3460.59/3469.89 c #Conflicts: 2094000 | #Constraints: 44710
3460.59/3469.89 c #Conflicts: 2095000 | #Constraints: 45710
3460.59/3469.89 c #Conflicts: 2096000 | #Constraints: 46710
3600.02/3609.60 c #Conflicts: 2097000 | #Constraints: 47710
3600.02/3609.60 c #Conflicts: 2098000 | #Constraints: 48710
3600.02/3609.60 c #Conflicts: 2099000 | #Constraints: 49710
3600.02/3609.60 c #Conflicts: 2100000 | #Constraints: 50710
3600.02/3609.60 c #Conflicts: 2101000 | #Constraints: 51710
3600.02/3609.60 c #Conflicts: 2102000 | #Constraints: 52710
3600.02/3609.60 c #Conflicts: 2103000 | #Constraints: 53710
3600.02/3609.60 c #Conflicts: 2104000 | #Constraints: 54710
3600.02/3609.60 c #Conflicts: 2105000 | #Constraints: 55710
3600.02/3609.60 c #Conflicts: 2106000 | #Constraints: 56710
3600.02/3609.60 c #Conflicts: 2107000 | #Constraints: 57710
3600.02/3609.60 c #Conflicts: 2108000 | #Constraints: 58710
3600.02/3609.60 c INPROCESSING
3600.02/3609.60 c GARBAGE COLLECT
3600.02/3609.60 c #Conflicts: 2109000 | #Constraints: 30914
3600.02/3609.60 c #Conflicts: 2110000 | #Constraints: 31914
3600.02/3609.60 c #Conflicts: 2111000 | #Constraints: 32914
3600.02/3609.60 c #Conflicts: 2112000 | #Constraints: 33914
3600.02/3609.60 c #Conflicts: 2113000 | #Constraints: 34914
3600.02/3609.60 c #Conflicts: 2114000 | #Constraints: 35914
3600.02/3609.60 c #Conflicts: 2115000 | #Constraints: 36914
3600.02/3609.60 c #Conflicts: 2116000 | #Constraints: 37914
3600.02/3609.60 c #Conflicts: 2117000 | #Constraints: 38914
3600.02/3609.60 c #Conflicts: 2118000 | #Constraints: 39914
3600.02/3609.60 c #Conflicts: 2119000 | #Constraints: 40914
3600.02/3609.60 c #Conflicts: 2120000 | #Constraints: 41914
3600.02/3609.60 c #Conflicts: 2121000 | #Constraints: 42914
3600.02/3609.60 c #Conflicts: 2122000 | #Constraints: 43914
3600.02/3609.60 c #Conflicts: 2123000 | #Constraints: 44914
3600.02/3609.60 c #Conflicts: 2124000 | #Constraints: 45914
3600.02/3609.60 c #Conflicts: 2125000 | #Constraints: 46914
3600.02/3609.60 c #Conflicts: 2126000 | #Constraints: 47914
3600.02/3609.60 c #Conflicts: 2127000 | #Constraints: 48914
3600.02/3609.60 c #Conflicts: 2128000 | #Constraints: 49914
3600.02/3609.60 c #Conflicts: 2129000 | #Constraints: 50914
3600.02/3609.60 c #Conflicts: 2130000 | #Constraints: 51914
3600.02/3609.60 c #Conflicts: 2131000 | #Constraints: 52914
3600.02/3609.60 c #Conflicts: 2132000 | #Constraints: 53914
3600.02/3609.60 c #Conflicts: 2133000 | #Constraints: 54914
3600.02/3609.60 c #Conflicts: 2134000 | #Constraints: 55914
3600.02/3609.60 c #Conflicts: 2135000 | #Constraints: 56914
3600.02/3609.60 c #Conflicts: 2136000 | #Constraints: 57914
3600.02/3609.60 c #Conflicts: 2137000 | #Constraints: 58914
3600.02/3609.60 c INPROCESSING
3600.02/3609.60 c GARBAGE COLLECT
3600.02/3609.60 c #Conflicts: 2138000 | #Constraints: 30914
3600.02/3609.60 c #Conflicts: 2139000 | #Constraints: 31914
3600.02/3609.60 c #Conflicts: 2140000 | #Constraints: 32914
3600.02/3609.60 c #Conflicts: 2141000 | #Constraints: 33914
3600.02/3609.60 c #Conflicts: 2142000 | #Constraints: 34914
3600.02/3609.60 c #Conflicts: 2143000 | #Constraints: 35914
3600.02/3609.60 c #Conflicts: 2144000 | #Constraints: 36914
3600.02/3609.60 c #Conflicts: 2145000 | #Constraints: 37914
3600.02/3609.60 c #Conflicts: 2146000 | #Constraints: 38914
3600.02/3609.60 c #Conflicts: 2147000 | #Constraints: 39914
3600.02/3609.60 c #Conflicts: 2148000 | #Constraints: 40914
3600.02/3609.60 c #Conflicts: 2149000 | #Constraints: 41914
3600.02/3609.60 c #Conflicts: 2150000 | #Constraints: 42914
3600.02/3609.60 c #Conflicts: 2151000 | #Constraints: 43914
3600.02/3609.60 c #Conflicts: 2152000 | #Constraints: 44914
3600.02/3609.60 c #Conflicts: 2153000 | #Constraints: 45914
3600.02/3609.60 c cpu time 3577.48 s
3600.02/3609.60 c deterministic time 1 1.00e+00
3600.02/3609.60 c optimization time 3577.48 s
3600.02/3609.60 c total solve time 0 s
3600.02/3609.60 c core-guided solve time 0 s
3600.02/3609.60 c propagation time 0.000272 s
3600.02/3609.60 c conflict analysis time 0 s
3600.02/3609.60 c propagations 0
3600.02/3609.60 c resolve steps 0
3600.02/3609.60 c decisions 0
3600.02/3609.60 c conflicts 0
3600.02/3609.60 c restarts 0
3600.02/3609.60 c inprocessing phases 0
3600.02/3609.60 c garbage collections 0 ,( -nan )
3600.02/3609.60 c input clauses 832 ,( 100.00 )
3600.02/3609.60 c input cardinalities 0 ,( 0.00 )
3600.02/3609.60 c input general constraints 0 ,( 0.00 )
3600.02/3609.60 c input average constraint length 6.48
3600.02/3609.60 c input average constraint degree 1.00
3600.02/3609.60 c learned clauses 0 ,( 0.00 )
3600.02/3609.60 c learned cardinalities 0 ,( 0.00 )
3600.02/3609.60 c learned general constraints 0 ,( 0.00 )
3600.02/3609.60 c learned average constraint length 0.00
3600.02/3609.60 c learned average constraint degree 0.00
3600.02/3609.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3609.60 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3609.60 c watched constraints 0 ,( -nan )
3600.02/3609.60 c counting constraints 0 ,( -nan )
3600.02/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3609.60 c gcd simplifications 0
3600.02/3609.60 c detected cardinalities 0
3600.02/3609.60 c weakened non-implied lits 0
3600.02/3609.60 c weakened non-implying lits 0
3600.02/3609.60 c original variables 1073
3600.02/3609.60 c clausal propagations 0
3600.02/3609.60 c cardinality propagations 0
3600.02/3609.60 c watched propagations 0
3600.02/3609.60 c counting propagations 0
3600.02/3609.60 c watch lookups 0
3600.02/3609.60 c watch backjump lookups 0
3600.02/3609.60 c watch checks 0
3600.02/3609.60 c propagation checks 0
3600.02/3609.60 c constraint additions 0
3600.02/3609.60 c trail pops 0
3600.02/3609.60 c formula constraints 832
3600.02/3609.60 c learned constraints 0
3600.02/3609.60 c bound constraints 0
3600.02/3609.60 c core-guided constraints 0
3600.02/3609.60 c encountered formula constraints 0
3600.02/3609.60 c encountered learned constraints 0
3600.02/3609.60 c encountered bound constraints 0
3600.02/3609.60 c encountered core-guided constraints 0
3600.02/3609.60 c LP total time 0 s
3600.02/3609.60 c LP solve time 0 s
3600.02/3609.60 c LP constraints added 0
3600.02/3609.60 c LP constraints removed 0
3600.02/3609.60 c LP pivots internal 0
3600.02/3609.60 c LP pivots root 0
3600.02/3609.60 c LP calls 0
3600.02/3609.60 c LP optimalities 0
3600.02/3609.60 c LP no pivot count 0
3600.02/3609.60 c LP infeasibilities 0
3600.02/3609.60 c LP valid Farkas constraints 0
3600.02/3609.60 c LP learned Farkas constraints 0
3600.02/3609.60 c LP basis resets 0
3600.02/3609.60 c LP cycling count 0
3600.02/3609.60 c LP singular count 0
3600.02/3609.60 c LP no primal count 0
3600.02/3609.60 c LP no farkas count 0
3600.02/3609.60 c LP other issue count 0
3600.02/3609.60 c LP Gomory cuts 0
3600.02/3609.60 c LP learned cuts 0
3600.02/3609.60 c LP deleted cuts 0
3600.02/3609.60 c LP encountered Gomory constraints 0
3600.02/3609.60 c LP encountered Farkas constraints 0
3600.02/3609.60 c LP encountered learned Farkas constraints 0
3600.02/3609.60 c CG auxiliary variables introduced 0
3600.02/3609.60 c CG solutions found 0
3600.02/3609.60 c CG cores constructed 0
3600.02/3609.60 c CG core cardinality constraints returned 0
3600.02/3609.60 c CG unit cores 0
3600.02/3609.60 c CG single cores 0
3600.02/3609.60 c CG blocks removed during cardinality reduction 0
3600.02/3609.60 c CG first core best 0
3600.02/3609.60 c CG decision core best 0
3600.02/3609.60 c CG core reduction tie 0
3600.02/3609.60 c CG core degree average 0.00
3600.02/3609.60 c CG core slack average 0.00
3600.02/3609.60 c CG core upper bound improvements 0
3600.02/3609.60 c STR number of successful calls 0
3600.02/3609.60 c STR number of unsuccessful calls 0
3600.02/3609.60 c STR number of inconclusive calls 0
3600.02/3609.60 c STR number of successful attempts 0
3600.02/3609.60 c STR number of unsuccessful attempts 0
3600.02/3609.60 c STR number of inconclusive attempts 0
3600.02/3609.60 c STR average degree increase per successful call inf
3600.02/3609.60 c STR average degree increase per successful attempt inf
3600.02/3609.60 c STR total number of conflicts for successful attempts 0
3600.02/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.60 c STR average number of conflicts per successful attempt inf
3600.02/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.60 c AVG.sumWPerc -nan
3600.02/3609.60 c bigint constraints 0
3600.02/3609.60 s UNKNOWN
3600.02/3609.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61566 MiB free)
memory of node 1: 64465 MiB (63448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490979-1751386099/watcher-4490979-1751386099 -o /tmp/evaluation-result-4490979-1751386099/solver-4490979-1751386099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751386099-55804 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490979-1751386099.opb PROOFDIR/proof-4490979-1751386099
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=55857, runsolver pid=55843
[startup+0.100059 s]*
/proc/loadavg: 0.71 2.14 3.22 5/264 55864
/proc/meminfo: memFree=128006804/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=66032 memory=18892 CPUtime=0.07 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 2205 0 0 0 6 1 0 0 20 0 1 0 54286504 67616768 4723 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 16508 4723 2368 1147 0 3935 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 21964 KiB
[startup+0.205475 s]*
/proc/loadavg: 0.71 2.14 3.22 6/262 55872
/proc/meminfo: memFree=127950396/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=81984 memory=32972 CPUtime=0.17 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 5723 0 0 0 15 2 0 0 20 0 1 0 54286504 83951616 8243 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 20496 8243 2368 1147 0 7923 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 86176 KiB
Current children cumulated memory: 36044 KiB
[startup+0.305702 s]*
/proc/loadavg: 0.71 2.14 3.22 6/262 55872
/proc/meminfo: memFree=127951872/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=82128 memory=36428 CPUtime=0.28 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 6597 0 0 0 25 3 0 0 20 0 1 0 54286504 84099072 9107 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 20532 9107 2368 1147 0 7959 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 86320 KiB
Current children cumulated memory: 39500 KiB
[startup+0.700186 s]
/proc/loadavg: 0.71 2.14 3.22 5/262 55872
/proc/meminfo: memFree=127900840/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=111312 memory=61496 CPUtime=0.67 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 11848 0 0 0 61 6 0 0 20 0 1 0 54286504 113983488 15374 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 27828 15374 2368 1147 0 15255 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115504 KiB
Current children cumulated memory: 64568 KiB
[startup+1.50016 s]
/proc/loadavg: 0.71 2.14 3.22 5/262 55872
/proc/meminfo: memFree=127879896/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=138648 memory=85084 CPUtime=1.46 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 17218 0 0 0 138 8 0 0 20 0 1 0 54286504 141975552 21271 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 34662 21271 2368 1147 0 22089 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 142840 KiB
Current children cumulated memory: 88156 KiB
[startup+3.10551 s]
/proc/loadavg: 0.71 2.14 3.22 6/267 55911
/proc/meminfo: memFree=127734096/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=181000 memory=112028 CPUtime=3.07 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 23453 0 0 0 294 13 0 0 20 0 1 0 54286504 185344000 28007 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 45250 28007 2368 1147 0 32677 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 185192 KiB
Current children cumulated memory: 115100 KiB
[startup+6.30015 s]
/proc/loadavg: 0.97 2.17 3.23 6/267 55911
/proc/meminfo: memFree=127634232/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=190216 memory=122376 CPUtime=6.25 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 25525 0 0 0 604 21 0 0 20 0 1 0 54286504 194781184 30594 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 47554 30594 2368 1147 0 34981 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 194408 KiB
Current children cumulated memory: 125448 KiB
[startup+12.7001 s]
/proc/loadavg: 1.21 2.20 3.23 6/267 55911
/proc/meminfo: memFree=127450752/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=200972 memory=132488 CPUtime=12.63 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 28051 0 0 0 1228 35 0 0 20 0 1 0 54286504 205795328 33122 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 50243 33122 2368 1147 0 37670 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 205164 KiB
Current children cumulated memory: 135560 KiB
[startup+25.5002 s]
/proc/loadavg: 1.83 2.29 3.24 6/269 55913
/proc/meminfo: memFree=127164264/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=204460 memory=142060 CPUtime=25.4 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 29949 0 0 0 2482 58 0 0 20 0 1 0 54286504 209367040 35515 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 51115 35515 2368 1147 0 38542 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 208652 KiB
Current children cumulated memory: 145132 KiB
[startup+51.1057 s]
/proc/loadavg: 2.64 2.45 3.27 6/270 55915
/proc/meminfo: memFree=126610260/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=247728 memory=172660 CPUtime=50.93 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 37078 0 0 0 5003 90 0 0 20 0 1 0 54286504 253673472 43165 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 61932 43165 2368 1147 0 49359 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 251920 KiB
Current children cumulated memory: 175732 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 2.69 3.31 6/272 55919
/proc/meminfo: memFree=125727684/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=278984 memory=194436 CPUtime=101.99 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 41013 0 0 0 10061 138 0 0 20 0 1 0 54286504 285679616 48609 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 69746 48609 2368 1147 0 57173 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 283176 KiB
Current children cumulated memory: 197508 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 2.95 3.36 6/273 55923
/proc/meminfo: memFree=124852408/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=286664 memory=213108 CPUtime=161.83 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 44129 0 0 0 15993 190 0 0 20 0 1 0 54286504 293543936 53277 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 71666 53277 2368 1147 0 59093 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 290856 KiB
Current children cumulated memory: 216180 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.17 3.42 6/273 55929
/proc/meminfo: memFree=123954364/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=287508 memory=219124 CPUtime=221.67 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 45164 0 0 0 21924 243 0 0 20 0 1 0 54286504 294408192 54781 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
################
# More data... #
################
/proc/55863/statm: 150322 126277 2368 1147 0 137749 0
Current children cumulated CPU time: 3034.21 s
Current children cumulated vsize: 605480 KiB
Current children cumulated memory: 508180 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/273 56077
/proc/meminfo: memFree=101669444/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=601288 memory=505108 CPUtime=3094.06 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 97607 0 0 0 307408 1998 0 0 20 0 1 0 54286504 615718912 126277 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 150322 126277 2368 1147 0 137749 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 605480 KiB
Current children cumulated memory: 508180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/272 56092
/proc/meminfo: memFree=101307516/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=601288 memory=505108 CPUtime=3153.9 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 97607 0 0 0 313361 2029 0 0 20 0 1 0 54286504 615718912 126277 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 150322 126277 2368 1147 0 137749 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 605480 KiB
Current children cumulated memory: 508180 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/274 56100
/proc/meminfo: memFree=100919708/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=601288 memory=505108 CPUtime=3213.75 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 97607 0 0 0 319317 2058 0 0 20 0 1 0 54286504 615718912 126277 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 150322 126277 2368 1147 0 137749 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 605480 KiB
Current children cumulated memory: 508180 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/274 56102
/proc/meminfo: memFree=100577496/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=601288 memory=505108 CPUtime=3273.59 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 97607 0 0 0 325269 2090 0 0 20 0 1 0 54286504 615718912 126277 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 150322 126277 2368 1147 0 137749 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 605480 KiB
Current children cumulated memory: 508180 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/273 56104
/proc/meminfo: memFree=100223324/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=601288 memory=505108 CPUtime=3333.43 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 97607 0 0 0 331225 2118 0 0 20 0 1 0 54286504 615718912 126277 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 150322 126277 2368 1147 0 137749 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 605480 KiB
Current children cumulated memory: 508180 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/273 56106
/proc/meminfo: memFree=99895476/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=601288 memory=505108 CPUtime=3393.27 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 97607 0 0 0 337178 2149 0 0 20 0 1 0 54286504 615718912 126277 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 150322 126277 2368 1147 0 137749 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 605480 KiB
Current children cumulated memory: 508180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/273 56108
/proc/meminfo: memFree=99507392/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=606412 memory=508568 CPUtime=3453.12 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 99024 0 0 0 343130 2182 0 0 20 0 1 0 54286504 620965888 127142 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 151603 127142 2368 1147 0 139030 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 610604 KiB
Current children cumulated memory: 511640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/272 56111
/proc/meminfo: memFree=99163848/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=616164 memory=519596 CPUtime=3512.96 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 101169 0 0 0 349086 2210 0 0 20 0 1 0 54286504 630951936 129899 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 154041 129899 2368 1147 0 141468 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 620356 KiB
Current children cumulated memory: 522668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.13 4.10 6/272 56113
/proc/meminfo: memFree=98821580/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=623860 memory=524820 CPUtime=3572.79 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 102860 0 0 0 355043 2236 0 0 20 0 1 0 54286504 638832640 131205 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 155965 131205 2368 1147 0 143392 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 628052 KiB
Current children cumulated memory: 527892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.22 4.13 4.10 6/272 56115
/proc/meminfo: memFree=98614924/131250000 swapFree=33010684/33010684
[pid=55857] ppid=55843 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55857/stat : 55857 (run-opt-log.sh) S 55843 55857 55791 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 54286503 4292608 768 18446744073709551615 94520608538624 94520609433157 140721973121696 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520609672208 94520609719952 94520640700416 140721973127457 140721973127652 140721973127652 140721973133254 0
/proc/55857/statm: 1048 768 704 219 0 110 0
[pid=55863] ppid=55857 vsize=623860 memory=524820 CPUtime=3600.02 cores=5,7
/proc/55863/stat : 55863 (roundingsat) R 55857 55857 55791 0 -1 4194304 102860 0 0 0 357748 2254 0 0 20 0 1 0 54286504 638832640 131205 18446744073709551615 4227072 8923433 140726432026944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16838656 140726432029010 140726432029224 140726432029224 140726432034794 0
/proc/55863/statm: 155965 131205 2368 1147 0 143392 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 628052 KiB
Current children cumulated memory: 527892 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 55857 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001485 s, system=0.001488 s
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 55863 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.49 s, system=22.5754 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.71
CPU time (s): 3600.06
CPU user time (s): 3577.49
CPU system time (s): 22.5754
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 628052
Max. memory (cumulated for all children) (KiB): 527892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.49
system time used= 22.5754
maximum resident set size= 525204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17629712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2357
involuntary context switches= 4851
# summary of solver processes directly reported to runsolver:
# pid: 55857,55863
# total CPU time (s): 3600.06
# total CPU user time (s): 3577.49
# total CPU system time (s): 22.5754
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38607 second user time and 17.8401 second system time
The end
Begin job on nodeC014 at 2025-07-01 18:08:19
IDJOB=4490979
IDBENCH=147641
IDSOLVER=3351
FILE ID=nodeC014/4490979-1751386099
RUNJOBID= nodeC014-1751386099-55804
SLURM_JOB_ID= 9598243
Free space on /tmp= 433008 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490979-1751386099/watcher-4490979-1751386099 -o /tmp/evaluation-result-4490979-1751386099/solver-4490979-1751386099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751386099-55804 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490979-1751386099.opb PROOFDIR/proof-4490979-1751386099
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0fa37067d8fd8d743bdd08ab1a39bb11
RANDOM SEED=2082826083
nodeC014 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 : 3523.051
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.23
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.138
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.23
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 : 3464.963
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.23
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.844
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.23
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 : 3554.126
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.23
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.380
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.23
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 : 3205.777
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.123
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128011792 kB
MemAvailable: 129759684 kB
Buffers: 3280 kB
Cached: 2544432 kB
SwapCached: 0 kB
Active: 335660 kB
Inactive: 2287032 kB
Active(anon): 93048 kB
Inactive(anon): 0 kB
Active(file): 242612 kB
Inactive(file): 2287032 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29948 kB
Writeback: 4 kB
AnonPages: 78464 kB
Mapped: 103504 kB
Shmem: 18068 kB
KReclaimable: 114976 kB
Slab: 204124 kB
SReclaimable: 114976 kB
SUnreclaim: 89148 kB
KernelStack: 4064 kB
PageTables: 2864 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 340744 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC014 at 2025-07-01 19:08:29